 of 6?
False
Let b(l) = -l + 90. Let v be b(0). Suppose -3*w + 4 = -2*w - 2*o, -9 = -w + o. Suppose -4*g + v = -w. Is g a multiple of 7?
False
Suppose 2*s - 2 + 10 = -p, 24 = 2*p - 4*s. Suppose v = -5*j + 115, 4*v - p*j - 394 = -0*j. Is v a multiple of 22?
False
Suppose 5*p - 23 - 2 = 0. Suppose 3*a - 423 = -3*z - 2*z, p*z - 419 = a. Is 21 a factor of z?
True
Suppose j = -2*g - 4*j - 4, g = j - 2. Let q be -4 + 8 + g + 1. Suppose 2*i = q*h - 248, -h = -0*h - 4*i - 86. Is h a multiple of 25?
False
Suppose w + 1 = 0, -518 + 1660 = 2*a + 4*w. Let o be a/27 - (-2)/(-9). Let h = o + -12. Is h a multiple of 7?
False
Suppose 7*a = 5*a + 1064. Suppose 6*h - 392 = 3*h - 2*i, 5*i = -4*h + a. Is 16 a factor of h?
True
Let i(z) be the first derivative of 2*z**3/3 - 3*z**2/2 + 5*z - 8. Is 48 a factor of i(6)?
False
Suppose -5*x + m = -2*m - 462, 0 = 3*x + 5*m - 250. Let w = 134 - x. Does 15 divide w?
False
Let i(g) = 28*g - 1. Let w = -23 - -25. Is 11 a factor of i(w)?
True
Suppose 17 = x - 3. Let b(w) = w**3 + w**2 + 7*w - 9. Let z be b(3). Is (z/20)/(2/x) a multiple of 6?
True
Let u(a) = 4*a**3 + a**2. Suppose 3*j = -0*j - 12. Let z be (4 - (-3 - j)) + -1. Is 18 a factor of u(z)?
True
Let j(t) be the third derivative of 0*t + 1/6*t**3 + 6*t**2 + 61/24*t**4 + 0. Is 32 a factor of j(2)?
False
Let p(t) be the second derivative of 2*t**3/3 - 9*t**2 - 2*t. Does 2 divide p(10)?
True
Let l be 24/(2/((-16)/(-2))). Let y = l - 25. Suppose n = d - 31, -2*d + 0*n - n = -y. Is d a multiple of 7?
False
Let l(q) = q**3 + 6*q**2 - 2*q - 8. Let i be l(-6). Suppose 0 = 3*x - x + 4*k - 40, -i*x + 110 = 2*k. Is x a multiple of 13?
False
Let w = 11887 + -7948. Is 18 a factor of w?
False
Let l(m) = 3*m**3 - 52*m**2 + 50*m + 52. Let u(w) = w**3 - 17*w**2 + 17*w + 17. Let x(y) = -3*l(y) + 8*u(y). Is x(19) a multiple of 15?
True
Suppose 5*i - 215 = 400. Let u = i + -26. Does 13 divide u?
False
Let m(l) = 5*l - 6. Let q be m(3). Suppose 8*h + 57 = q*h. Is 19 a factor of h?
True
Suppose 2*j = 4, 2*j + 1 = -3*b + 17. Suppose b*m = 2*m. Suppose 3*h - 2*i = 45 + 64, 2*h - 2*i - 76 = m. Is h a multiple of 11?
True
Let i(t) = -44*t + 274. Does 10 divide i(6)?
True
Let j(x) = -5*x - 6. Let a = 5 - 10. Is 3 a factor of j(a)?
False
Suppose 39*c - 56 = 32*c. Let j = 46 + -33. Let u = j + c. Is u a multiple of 7?
True
Suppose -12*m = -11*m - 4. Suppose -m*v - 2*o = -142, -3*v = -5*o - 112 + 12. Is 7 a factor of v?
True
Suppose -2*s = -3*b - 46, 2*s - 6*s - 4*b + 72 = 0. Is 2 a factor of s?
True
Let g = -178 + 330. Does 6 divide (g/10)/((-42)/(-30) - 1)?
False
Let b(s) = -16*s - 8. Is b(-6) a multiple of 11?
True
Let g(q) be the first derivative of -q**4/4 - q**3/3 - 3*q**2/2 - 2*q + 7. Does 3 divide g(-2)?
False
Suppose 4*i + 3*a - 5279 = -788, 0 = 4*i - a - 4487. Is 51 a factor of i?
True
Let k(g) = -7*g**2 + 10*g + 2. Let i be k(-7). Let s = -185 - i. Is 9 a factor of s?
False
Is 27 a factor of (-2428)/(-6) + -1 + 20/15?
True
Suppose -1 + 6 = d, 4785 = 5*j + d. Does 36 divide j?
False
Let x(c) = c**3 - 16*c**2 + 6*c - 11. Is 2 a factor of x(16)?
False
Suppose -5*h = -0*h - 20. Suppose 4*k - 2*b - 140 = 0, -5*k - h*b - 54 = -216. Is k a multiple of 8?
False
Let c(p) = p**3 - 7*p**2 + 4*p + 13. Let o be c(6). Suppose -2*j - 8 = 0, -n - 3*j + 22 - o = 0. Is n a multiple of 11?
True
Let a(t) = -3*t + 168. Is a(0) a multiple of 24?
True
Suppose -3*d + 12 = -2*x, -5*x + 3*d - 30 = -0*d. Let g = x + -1034. Is 16 a factor of (12/(-10))/(39/g)?
True
Suppose 0 = -3*b - b. Suppose -f - 5*f + 252 = b. Is 14 a factor of f?
True
Let z = -14 - -31. Is z - 3 - 3/(-3) a multiple of 7?
False
Suppose -5*u + i = 13 - 54, -4*u + 35 = -3*i. Let r be 1/4 + 798/u. Suppose -2*o - r = -6*o. Is o a multiple of 7?
False
Let l(p) be the third derivative of -5*p**4/12 + 5*p**3/6 + 6*p**2. Is 15 a factor of l(-5)?
False
Let x(f) = 5*f**2 + 5*f + 3. Let q(y) = 2*y - 5. Let r be q(4). Is 7 a factor of x(r)?
True
Let u(m) = -1151*m**3 + 3*m**2 + 5*m + 3. Does 12 divide u(-1)?
True
Suppose 736 = 10*d - 864. Does 17 divide d?
False
Suppose 4*m - 2*m - 4 = 0. Let q be (-2 + m)*(-1)/(-2). Suppose q = -2*p + 4 + 32. Is p a multiple of 5?
False
Let j be 10/15*210/4. Suppose n + 14 - j = 0. Let x = n - -1. Does 12 divide x?
False
Suppose -30 = -c + 61. Suppose -g + 4*x + 41 = -3, 5*x = 2*g - c. Is g a multiple of 16?
True
Suppose -19*t + 4525 + 19073 = 0. Is t a multiple of 18?
True
Let d = -8 + 0. Let h be 3*-9 - (-2 - (-4 - -1)). Let u = d - h. Is u a multiple of 20?
True
Suppose 0*s + 2*s = -46. Let v = s - -22. Is 7 a factor of (6 - 7) + (-10)/v?
False
Let i be (-6 + 5)/(2/(-10)). Suppose i*x + 0*x = 25. Let m(g) = g**3 - 5*g**2 + 2*g - 5. Is m(x) even?
False
Let i(f) = f**3 - 3*f**2 - 3*f - 3. Let z be i(4). Let c be (z - 6)*21/(-35). Suppose -2*x - c*x - 4*k = -199, -2*k + 207 = 5*x. Is 13 a factor of x?
False
Let i = -1 - -4. Let y be (-6)/36 + (-38)/(-12). Suppose -k - 4*b + 14 = -3, i*b + 21 = y*k. Does 2 divide k?
False
Suppose -10*l + 15*l - 190 = 0. Let f = 110 - l. Is f a multiple of 17?
False
Let c(y) = 2*y**2 + 6*y + 20. Let u(s) = s**2 - 15*s + 46. Let t be u(9). Is c(t) a multiple of 19?
False
Suppose -l + 13 = 4*l + t, -2*l + 16 = 4*t. Suppose 0 = 4*k - l*k - 162. Suppose k + 9 = 2*f. Is f a multiple of 9?
True
Let l(b) = b**2 + 2. Suppose -2*o + 3 + 3 = 0. Suppose 2*d + o = -13. Does 22 divide l(d)?
True
Suppose -5*d - b + 485 = -0*b, 3*b - 111 = -d. Suppose -2*m = m - d. Is 8 a factor of m?
True
Suppose 0 = 11*l - 14*l - 3. Is 11 a factor of (-4 - l) + -1 + 114?
True
Suppose o - 14 = 2*m, -2*m - 32 = -2*o - 2*o. Suppose -2 + o = -j, -t - 4*j = -125. Suppose -l - t = -4*l. Does 14 divide l?
False
Suppose 11*w = 9*w + 28. Does 28 divide (-96)/(-40)*w*(-40)/(-6)?
True
Let m(v) = -4*v - 28. Suppose -5*q - 37 = -3*p, p = -0*q - q - 9. Let b be m(q). Suppose -b*n - c = -2*c - 67, -4*c + 38 = n. Is n a multiple of 9?
True
Suppose 2*v = 5*l - 680, 0*l - 3*l + 2*v + 408 = 0. Is l a multiple of 2?
True
Let h be 1334/6 - 4/12. Suppose -4*u = -7*u + h. Does 7 divide u?
False
Let p = -146 + 224. Does 6 divide p?
True
Let x(q) = 2*q**2 - q - 23. Does 11 divide x(-10)?
True
Let z(l) = 2*l - 2. Let f be z(3). Suppose 9*c - f*c = 0. Suppose -4*a + 50 = 3*n, 4*a - n = -c*a + 58. Is 12 a factor of a?
False
Let p = 1146 + -642. Is p a multiple of 24?
True
Let x(f) = f - 2. Let z be x(10). Let c = -5 + z. Suppose 2*v + c*d - 34 = 0, 3*d + 51 = 2*v + v. Is 5 a factor of v?
False
Let w(x) = x**3 + 8*x**2 + 5*x. Let s(i) = -i**2 - 2*i - 2. Let q be s(-2). Let h = -5 + q. Is 14 a factor of w(h)?
True
Suppose 3*k - 165 = -0*k. Suppose 5*g - 35 = k. Is g a multiple of 3?
True
Let n be ((-32)/(-12))/((-2)/6). Let m be ((-20)/n + 0)*-222. Is 3/4 + m/(-60) even?
True
Suppose s - 23 = 33. Suppose 0 = -3*m - 59 - 40. Let o = s + m. Is o a multiple of 23?
True
Let g = 34 - 46. Let n be (g/8 - -1)*-84. Suppose -2*d = -d - n. Is d a multiple of 7?
True
Let i(f) = 5*f**3 + 35*f**2 - 41*f + 49. Let u(y) = 2*y**3 + 12*y**2 - 14*y + 16. Let s(d) = -3*i(d) + 8*u(d). Does 32 divide s(10)?
False
Let g(h) = -h - 1. Let l(k) = -k**2 + k - 53. Let m(s) = 2*g(s) + l(s). Let f be m(0). Let y = -32 - f. Is y a multiple of 23?
True
Let h(c) = 3*c**2 + 12*c + 2. Let n be h(-6). Let l = n - 21. Is l a multiple of 13?
False
Let y(b) = -b**3 + 34*b**2 - 14*b - 36. Is y(30) a multiple of 135?
False
Let u = 7 + -4. Suppose u*l + 6 = -0*l. Let a = l - -8. Is 2 a factor of a?
True
Let n(v) = -3*v - 36. Let x be n(-26). Let o = x - 5. Is o a multiple of 6?
False
Let y be (-1 + 4)*(-4)/3. Suppose 0 = -9*q + 11 - 11. Is 9 a factor of 92/y*(-1 + q)?
False
Let k(x) = -x + 5. Let w be k(-9). Let z(p) = -8*p + w*p + p**2 + 4 + 1. Is z(-11) a multiple of 15?
True
Let m(y) = y**2 + 2*y - 2. Let t be m(2). Let p(g) = 10*g + 12. Let u be p(t). Suppose 4*l = 2*d - u, -10 - 2 = -4*l. Is 14 a factor of d?
True
Let l = 550 + -225. Does 6 divide (1820/l)/(2*(-1)/(-15))?
True
Let h(p) = p**3 + 13*p**2 + 9*p + 12. Let b be h(-9). Suppose -b = -5*f + 5*m, -3*f + 4*m = -m - 153. Is 14 a factor of f?
False
Let g(x) = 20*x**2 + x + 2. Let y = 83 + -81. Does 28 divide g(y)?
True
Let v(s) = 177*s - 30. Let f be v(8). Suppose -4*u - 2*u = -f. Is 50 a factor of u?
False
Let g(u) = u -