3*g + 4*n = 0. Is 10 a factor of j(g)?
False
Let b(w) = 4*w**2 + w. Suppose 3*a = a - 4*p - 28, -2*p = -5*a - 10. Is b(a) a multiple of 15?
True
Let o(w) = w + 1. Let y(z) = 32*z + 3. Let t(a) = 5*o(a) - y(a). Let x be t(-2). Suppose 0*p = -2*p + x. Is p a multiple of 14?
True
Let f = 6 - 3. Suppose -26 = 2*g - 3*q, f*g + 2*q + 27 = -2*g. Is g + 4 + (-1 - -22) a multiple of 9?
True
Suppose -3*v + 119 - 2 = 0. Is 13 a factor of v?
True
Let m = -53 - -29. Is m/(2 - 5) + 4 a multiple of 12?
True
Let u(v) = -165*v. Let b be u(-1). Suppose 25 = 5*t + b. Let q = -18 - t. Is 4 a factor of q?
False
Let d(j) = -4*j**2 + j**3 - 2*j**3 + 1 + j - j**3. Does 16 divide d(-3)?
True
Is 13 a factor of 208 - 3/6*4?
False
Let x(d) = 2*d + 117. Let c be x(0). Suppose -45 = w - c. Does 24 divide w?
True
Let c(l) = l**2 + 5*l - 3. Let r be c(-4). Is 3 a factor of 3 + -2 - 1*r?
False
Let m(l) = 2*l + 1. Let o be 15/4 - (-3)/12. Let j be m(o). Let p = j + -2. Does 7 divide p?
True
Let o(g) = -g**3 + 25*g**2 + 3*g. Is 25 a factor of o(25)?
True
Let n = 7 + -10. Let t be (13/(-5) - n)*65. Suppose -3*o = 3*s - 5*o - 44, -t = -2*s + 3*o. Does 16 divide s?
True
Let l = -2 + 2. Let z be l - (-1)/1*5. Suppose 0 = -z*q + 86 - 1. Does 12 divide q?
False
Let r be 11 + -2*(-1)/(-2). Let f = 16 - r. Is 4 a factor of f?
False
Let z(w) = -w**3 - 8*w**2 + 11*w + 1. Let b be z(-9). Is 17 a factor of -1 - -1 - (b + -7)?
False
Let i(u) = 2*u**2 + 7*u - 11. Is 25 a factor of i(5)?
False
Suppose u = -3*u + 3856. Suppose -4*g - u = -2*o, 5*o - 3*g = 1342 + 1103. Is 6/(-27) + o/27 a multiple of 13?
False
Let n(t) = -4*t - 1. Let j be n(-1). Is 21 a factor of 56/(-1 + -1 + j)?
False
Suppose -350 = -2*w - 3*w. Suppose -5 = -3*i + w. Is 10 a factor of i?
False
Let z(p) = 9 + 2*p + 0*p - 2. Let k be z(-5). Does 8 divide ((-39)/9 + 1)*k?
False
Suppose -7*i - c - 296 = -10*i, 0 = -5*i + 5*c + 480. Is i a multiple of 10?
True
Suppose 4*f = 6*f - 32. Is f a multiple of 16?
True
Suppose 4*h = -5*k + 209, h - 2*h + 66 = 4*k. Does 10 divide h?
False
Let w = 98 - 12. Is 17 a factor of w?
False
Suppose 195 - 65 = 5*q - 2*f, 5*q - 95 = -5*f. Does 12 divide q?
True
Let f(w) = w**3 + 4*w**2 + 2*w - 2. Let s be f(-2). Let q(a) = 0*a**2 + 6*a + 2*a**2 - a**s - 1. Is 13 a factor of q(4)?
True
Let s(c) = 0*c - 10*c + 0*c - 6. Let b be s(-6). Suppose b = 2*z - 2*v, -z + 19 = -v + 2*v. Does 8 divide z?
False
Let u be -2*2/12*-12. Suppose 3*v - 6 = v, 4*r + u*v = 24. Suppose 2*d - 3*a - 18 = -0*a, r*d + a = 38. Is d a multiple of 12?
True
Let s(x) = x**3 - x**2 + x. Let r(u) = 2*u**2 + 4*u + 2. Let z be r(-2). Does 6 divide s(z)?
True
Suppose -972 = -7*n - 314. Is n a multiple of 22?
False
Let w(l) = 22*l + 4. Is w(1) a multiple of 13?
True
Suppose 6 = g - 0. Let s(x) = -x**3 + 4*x**2 - 2*x**2 + 3*x**2 + 5 + 6*x. Is s(g) even?
False
Suppose 73 = -4*f + 29. Let k = f - -38. Is k a multiple of 27?
True
Let y = -17 + 0. Let i = y + 12. Let h(c) = -c**3 - 3*c**2 + 4*c. Is 15 a factor of h(i)?
True
Suppose -11*q = -16*q + 250. Is q a multiple of 25?
True
Let g(t) = -t**2 - 5*t + 1. Let h be g(-5). Let c(i) = -2*i**2 + 1 - 3 + 3 + 20*i**3. Is 10 a factor of c(h)?
False
Suppose 0 = 3*b - b - 20. Is 7 a factor of b?
False
Let s(k) = k**3 + 9*k**2 - 9*k - 6. Does 11 divide s(5)?
False
Let t be 2/(-4) + 5/2. Let n be 8*5/t + 0. Suppose 5*c = 15 + n. Does 7 divide c?
True
Suppose 2*k = -0*k + 4. Suppose 0 = -5*v + 5*b - 10, -k*v + v + 5*b = 6. Does 15 divide 31*1 + 0 + v?
True
Suppose -9*w = -13*w + 584. Does 10 divide w?
False
Let u(f) = -32*f**2 - 3*f + 2. Let y(o) = o - 1. Let m(z) = -u(z) - 2*y(z). Let s be m(1). Let h = 28 + s. Is h a multiple of 23?
False
Suppose 14*q - 243 = 3635. Is q a multiple of 29?
False
Let m(n) = n**3 - 8*n**2 + 8*n - 5. Let v be m(7). Suppose 0 = -2*p + v*a + 10, 0*p - 3*p + 2*a + 14 = 0. Is p even?
True
Let l(m) = -27*m**3 - 2*m**2 - m. Let f be l(-1). Suppose 3*b + 13 = -t, 3*t - f = 7*b - 3*b. Does 5 divide 6*1/t - -2?
True
Let m = 113 + -27. Is 7 a factor of m?
False
Let m(o) = -o**2 - 8*o + 10. Let u(t) = 3*t - 2. Let h be u(-2). Is 10 a factor of m(h)?
True
Let w(m) = m**2 + 8*m + 7. Let r = 2 - 9. Let a be w(r). Suppose 2*l = -a*l + 42. Is 21 a factor of l?
True
Let p = -11 + 8. Let q be ((-3)/(-2))/p*-100. Suppose -2*j - r + q + 17 = 0, -2*r - 2 = 0. Does 13 divide j?
False
Suppose -5*y + 5*h = 11 + 19, -h = 3*y + 10. Let l = 5 - y. Suppose -18 = -3*w + l. Is 9 a factor of w?
True
Suppose s - 5*s + j = 47, 26 = -2*s - 2*j. Let i = s + 32. Does 10 divide i?
True
Suppose 5*k + 17 = j, -4*j + 2 = -k + 3*k. Let m(s) = 4*s**3 - 3*s + 3. Let v be m(j). Suppose -q - 6 = -v. Is q a multiple of 23?
True
Let z(t) = -t + 9. Let y be z(9). Let v(q) = q**3 + q + 14. Is 14 a factor of v(y)?
True
Let c(x) = -4*x + 5*x + x**2 - 3*x**2 + x**2 + 3. Let l be c(4). Does 4 divide -2 - l - (-1 + 4)?
True
Let g(f) = -f**3 - f - 149. Let u be g(0). Let x = -105 - u. Is x a multiple of 13?
False
Let x(i) = -2 + 9 + 2*i - i. Is x(-4) a multiple of 2?
False
Suppose 4*m - 402 = -2*f, -m - 2*f = -26 - 76. Does 5 divide m?
True
Let k(y) = -3*y - 3. Let o be (-1)/(-4) - (-185)/(-20). Is 8 a factor of k(o)?
True
Is 5/((-30)/4)*504/(-7) a multiple of 6?
True
Suppose -2*n = -7 - 3. Let m be 4/(-10) + 342/n. Let c = m - 33. Is c a multiple of 13?
False
Suppose 2405 = 2*f + 11*f. Does 15 divide f?
False
Let v(n) = n**3 + 2*n**2 + 96. Does 12 divide v(0)?
True
Suppose -10 + 2 = -2*v. Suppose v*z - 23 - 69 = 0. Is 15 a factor of z?
False
Suppose -n + 3*n - 6 = 0. Suppose -6*g + 96 = -n*g. Does 18 divide g?
False
Suppose -5 = -l, 2*q - 2*l - 22 - 6 = 0. Is 19 a factor of q?
True
Suppose 3*k - k - 485 = d, -3*k = d - 735. Suppose 3*w - k - 170 = 5*j, -5*j + 4*w - 417 = 0. Let z = j + 124. Does 15 divide z?
False
Let i(b) = -b**3 - 3*b**2 - 4*b - 1. Let y be i(-5). Is -2 + (y - (-1 - 3)) a multiple of 20?
False
Let v = -69 + 209. Suppose 4*q - v = -q. Is 22 a factor of q?
False
Let d(p) = -5*p - 6. Let u be d(7). Let z = -23 - u. Is 18 a factor of z?
True
Suppose -2*i = 8, -3*u = -i + 4*i - 114. Is 21 a factor of u?
True
Suppose -66 - 224 = -5*r. Does 15 divide r?
False
Suppose 0 = 4*i - 2*i + 106. Let h = -31 - i. Is h a multiple of 16?
False
Let b(t) = 17*t - 1. Let o = -1 + 2. Is 16 a factor of b(o)?
True
Let x(f) be the first derivative of 13*f**2/2 - 7*f + 2. Does 18 divide x(3)?
False
Let w be 19/(-2)*(-3 - 1). Let m = -23 + w. Is m a multiple of 5?
True
Let l(j) = j**3 - 4*j**2 + j. Let m be l(4). Suppose -m*p = p - 25. Suppose p*x - s = 3*s + 87, -23 = -x - 2*s. Does 19 divide x?
True
Let c(l) = -l**3 - 5*l**2 + 4*l + 4. Let o = 5 + -11. Does 8 divide c(o)?
True
Let z = 85 - -23. Is 18 a factor of z?
True
Let a = -30 + 33. Let l be 2/5 + 33/5. Is 11 a factor of (a - l)*22/(-8)?
True
Let s = -25 + 27. Suppose -2*g - s*g = -304. Is 19 a factor of g?
True
Suppose 4*k = 5*k - 24. Suppose 0 = -3*d + 2*d + k. Is d a multiple of 12?
True
Is (-177)/6*(-3 + 1 + -2) a multiple of 13?
False
Suppose 2*z - 174 = -50. Does 25 divide z?
False
Let x(l) = l**3 - 6*l**2 + 6*l - 4. Let n be x(5). Let z(s) = 4 + 13*s**2 - 3*s**2 + 9*s**2 - 5. Is 11 a factor of z(n)?
False
Let l(r) = -r**3 - 11*r**2 + 10*r + 6. Does 5 divide l(-12)?
True
Suppose 0 = -4*k - 4*c + 420, -5*k - 5*c + 421 = -k. Is k a multiple of 13?
True
Let l(c) = c**3 + c. Let v be l(2). Let x(n) = 3*n**2 + 5*n - 3. Let z(i) = -7*i**2 - 9*i + 6. Let y(r) = -9*x(r) - 4*z(r). Does 12 divide y(v)?
False
Let p(s) = 4*s + 16 - 3*s - 2*s. Is 16 a factor of p(0)?
True
Let r = 430 + -166. Does 44 divide r?
True
Suppose -5*x = -5*h + 605, -2*h + 3*x - 4*x = -239. Is h a multiple of 20?
True
Let p be 1/(-4) + 3/12. Let k(i) = -i + 35. Does 9 divide k(p)?
False
Suppose 0 = 16*l - 17*l + 12. Is 12 a factor of 90/8 - (-9)/l?
True
Let f(y) = -y**2 - 10*y + 13. Let i be f(-10). Does 9 divide 1 + (i - (1 + -3))?
False
Does 41 divide (16/(-10))/(-2)*(322 - -33)?
False
Let j = -126 - -364. Is j a multiple of 17?
True
Does 9 divide 0 - 34/((-28)/(-36) + -1)?
True
Let p(d) = -d**3 - 6*d**2 - 8*d - 17. Does 11 divide p(-7)?
True
Does 13 divide (-124)/(-10) + (-27)/(-45)?
True
Suppose 0 = 2*w - 8, -4*i - 3*w + 612 - 24 = 0. Suppose -4*y + 4*n - 67 = -187, 4*n - i = -4*y. Is 15 a factor o