
Let u(r) = r**2. Let i(b) = 2*b**2 - 9*b + 10. Let g(a) = i(a) - 3*u(a). Suppose -4*s + 36 = 64. Is 11 a factor of g(s)?
False
Let s be (-1)/(-3*(-1)/12). Is (-2)/(-3)*(-42)/s a multiple of 2?
False
Let i be 4/6 + (-7)/(-3). Is i/((-3)/2) + 40 a multiple of 19?
True
Suppose 0 = -2*u + 7*u - 655. Let v = u + -206. Is 15 a factor of ((-3)/9)/(1/v)?
False
Let d(x) = x**2 + 7*x - 4. Let o be d(-7). Let f = 4 - o. Does 5 divide f?
False
Suppose -3*n + 197 = -v, -5*n = -3*v - 0*v - 335. Is n a multiple of 16?
True
Let j(v) = v**3 + 9*v**2 + 7*v + 4. Let q(u) = -u**3 - 10*u**2 - 7*u - 4. Let b(p) = -3*j(p) - 2*q(p). Is b(-7) a multiple of 20?
False
Let z(t) be the second derivative of 3*t + 1/6*t**4 + 0 + 0*t**2 + 1/2*t**3. Is z(-4) a multiple of 16?
False
Let w = -23 + 50. Is 9 a factor of w?
True
Let b(r) = -r + 17. Is 16 a factor of b(-15)?
True
Suppose -2*i + 4 = 0, 2 = -2*x + 2*i + 4. Suppose -2*r = x*r - 260. Is 24 a factor of r?
False
Let q(a) = 4*a + 1. Is 4 a factor of q(2)?
False
Let p(y) = 1 - 4*y + 2*y + 6*y + 0. Does 21 divide p(8)?
False
Let i = 40 + -23. Let q = -11 + i. Is q a multiple of 4?
False
Does 20 divide 3/7 - (-277)/7?
True
Suppose -405 = -5*y - q, -q + 21 = y - 60. Let x = 124 - y. Does 12 divide x?
False
Suppose -d = 4*d - 60. Suppose 3*w + 4*n = d, 3*w + 2*w - 55 = 5*n. Is 3 a factor of w?
False
Does 11 divide (6/18)/(2/294)?
False
Let b(v) = -v**3 + 10*v**2 - 8*v - 4. Let y be b(9). Suppose y*k + 1 = -3*o + 14, 0 = -5*o - 5*k + 25. Does 6 divide o?
True
Let f(b) = -16*b**3 + 2*b**2 + b. Is f(-1) a multiple of 3?
False
Suppose 2*y = -3*c - y + 114, 5*y + 15 = 0. Is 6 a factor of c?
False
Let x be (-24)/18*(-2 - 1). Suppose -5*b = -x*o - 1 - 1, -4*b + 4*o = 0. Suppose -b*t = -7*t + 110. Does 6 divide t?
False
Let h be -5*6*2/5. Let o be 1/(-1 - h/10). Suppose -o*a = -0*a - 155. Is a a multiple of 13?
False
Let z(g) = 2*g + 1. Let x be z(1). Does 12 divide (-57)/(-2)*2/x?
False
Let c(m) = 2*m**3 + 3 + 12 - m**3. Let a be c(0). Suppose a - 47 = -4*o. Is o a multiple of 3?
False
Let x = -2 - -4. Let s be 1264/12 - x/(-3). Suppose 0 = 3*w - s - 29. Is w a multiple of 12?
False
Suppose -76 = -5*o - 31. Does 9 divide o?
True
Let w = -31 + -20. Does 21 divide 13 + -10 - w/1?
False
Let r be 75/(-11) + 2/(-11). Let h(m) = -3*m - 7. Is 7 a factor of h(r)?
True
Let v(k) = 13*k**2 + k + 1. Is 13 a factor of v(-1)?
True
Suppose 0 = 3*d - d + 68. Let x = d + 49. Does 15 divide x?
True
Suppose 3*n - 300 = -2*n. Is 16 a factor of n?
False
Let j = -38 + 77. Does 12 divide j?
False
Let q be (1 + -5)/(2/(-9)). Suppose q = p + 6. Does 12 divide p?
True
Let b be (-6)/36 + (-23)/6. Does 15 divide 12/16 - 177/b?
True
Let f = 265 - 391. Let n = -69 - f. Suppose d - 5*o - n = 0, 246 = 5*d + o + 39. Is d a multiple of 16?
False
Suppose 0 = -c - 85 + 24. Let y(q) = -34*q**2 + 2*q + 1. Let f be y(-1). Let k = f - c. Is 13 a factor of k?
True
Let o(l) be the second derivative of -l**4/12 - l**3/6 + 3*l**2/2 - 3*l. Let h be o(0). Is 4*1*(h - -8) a multiple of 22?
True
Let t(u) = -u**3 - 6*u**2 - 6*u - 2. Let s be t(-4). Suppose -4 + 12 = 4*a. Does 6 divide ((-24)/10)/(a/s)?
True
Suppose -2*i - 2*i = 20. Is 2 + i - (-23 - 0) a multiple of 10?
True
Let g be ((-2)/2)/((-3)/6). Suppose -g*y + 2 = -2. Is ((-5)/(10/(-32)))/y a multiple of 4?
True
Is 285/25 + 3/5 a multiple of 12?
True
Let i be -1 + (-3 - -3) + 4. Suppose 0 = 2*n + i*w - 40, -w = 4*n - 0*w - 100. Suppose 5*x = 5*p + 190, 2*p - n - 6 = -x. Does 18 divide x?
True
Let o(f) = -f**2 + 9*f + 6. Does 3 divide o(9)?
True
Let d(p) = p**2 - p + 4. Let h be d(5). Suppose -c = -3*c - h. Let y = -4 - c. Is 3 a factor of y?
False
Suppose v + 27 = -5*n, -2*v + 5*n = -5*v - 31. Let t(d) = -13*d - 6. Let j(o) = 13*o + 7. Let a(s) = 3*j(s) + 4*t(s). Does 11 divide a(v)?
False
Suppose 0 = -5*j - 4*j + 504. Does 4 divide j?
True
Let x(o) = -2*o - 6. Let v be x(-5). Let n be (1 - -1)/(v - 3). Suppose n*i = -3*p + 27, 2*p - 3*i = 3*p - 2. Is 9 a factor of p?
False
Suppose -4*c - 3*v = -v + 10, -3*c + 15 = -3*v. Let d be (-2 - (-2 + 0))/(-2). Suppose -3*m - 5*h + 42 + 53 = d, -3*m + 3*h + 135 = c. Does 20 divide m?
True
Let x be 1 + 6/1 + -3. Suppose -q + 30 = -4*z, z - 192 = -x*q - z. Suppose 2*w = 28 + q. Is 13 a factor of w?
False
Suppose -5*z = -m - 19, 4*z + 5*m - 4 = 3*m. Does 14 divide 27/(-4)*(-8)/z?
False
Suppose 3*u + 3 = -0*u. Let y be ((0 - -1)*-5)/u. Suppose 0*q = -y*q + 90. Is 8 a factor of q?
False
Suppose p + 8 - 24 = 0. Does 8 divide p?
True
Suppose 3*b + 0*b = 27. Suppose -11*f = -b*f - 66. Is 11 a factor of f?
True
Suppose 3*y - 2*h + 183 = 0, -5*y = -y + 5*h + 267. Let g = y - -130. Let r = g - 43. Is r a multiple of 9?
False
Suppose 3*l - 37 = -y + 2*l, 0 = 4*y - 2*l - 154. Let b = 5 + y. Is b a multiple of 15?
False
Let g(t) = t**3 + 2 - 2*t**2 - 3*t**2 + 2*t - 2*t. Let n be g(5). Let q = 6 - n. Is q a multiple of 2?
True
Let a = -24 - -26. Suppose -a*i + 108 = -24. Is i a multiple of 11?
True
Is ((-10)/(-3))/(7/21) even?
True
Let z be (3 + 2)*(-3 - -2). Let u(g) = -g**2 - 13*g - 4. Is u(z) a multiple of 12?
True
Let k be (10 + -11)*4*-4. Is (-218)/(-8) - (-12)/k a multiple of 14?
True
Let l(f) = 7*f + 5. Let u be l(-5). Let t = -8 - u. Is t a multiple of 11?
True
Let p = -2 - -41. Is p a multiple of 13?
True
Let m(d) be the first derivative of 2*d**2 - 2*d - 3*d**2 + 3 - d. Does 3 divide m(-3)?
True
Let j(b) = -2*b - 5. Let g be j(-4). Suppose 0 = -f + 2, -2*k + 30 = g*f - 0*f. Does 12 divide k?
True
Suppose n - 135 = i, 2*i = -3*n + 3*i + 407. Is 34 a factor of n?
True
Suppose 0 = -6*q + 2*q + 2*l + 330, 4*q - 4*l - 340 = 0. Let o = 13 + q. Is 26 a factor of o?
False
Suppose 3*m - 4*m + 2 = 0. Let r be 9/2 + (-5)/(-10). Suppose 228 - 36 = r*c - 4*n, 78 = m*c - 2*n. Is c a multiple of 18?
True
Suppose 2*r = -4*f + 42, 0*f + 105 = 5*r + 3*f. Does 3 divide r?
True
Let w(n) = n**3 + 21*n**2 + 26*n - 24. Is 17 a factor of w(-19)?
True
Suppose l - 4*l = 54. Is 14 a factor of l/(-1 - (-1)/2)?
False
Let o = -57 + 94. Does 37 divide o?
True
Suppose 12 + 34 = 2*o. Is 19 a factor of o?
False
Suppose -4 = -2*j - 0*j. Suppose 4*h = -4*d + 20, -3*d + 1 - 11 = -j*h. Suppose 3*v - 26 = -h*r - v, -2*r - v + 11 = 0. Does 3 divide r?
True
Let i be ((-9)/(-6))/3*4. Suppose -3*p + 4*k + 0 + i = 0, 4*p = 3*k - 9. Is 12 a factor of p/21 + (-107)/(-7)?
False
Is 4 a factor of (0 + 58)*(-12)/(-24)?
False
Let s = 4 - 2. Does 9 divide (-374)/(-14) - s/(-7)?
True
Suppose 6 = 3*x, 16 = 4*d - 2*x - 500. Does 25 divide d?
False
Suppose -g = -0*g. Suppose g = 5*b + 2*d - 17 - 12, 26 = 5*b + 3*d. Does 6 divide b?
False
Suppose -5*k - 11 = 3*n, -4 = 2*k - 2. Suppose 11 = 4*x - 85. Does 11 divide x*((-5)/4 - n)?
False
Let n(u) be the first derivative of u**3/3 + 4*u**2 + 13*u + 1. Is n(-11) a multiple of 10?
False
Let k(j) = j**3 + 0 + 4 + 2*j**2 + 12*j - 13*j**2. Let s be k(9). Let o = s - -72. Is o a multiple of 11?
True
Suppose -5*d + 17 = 4*t, -2*t = t + 4*d - 12. Suppose -5*q = -6*q - 1. Does 4 divide (-3 - -2) + t + q?
False
Suppose 2*s = 1 + 3. Is 11 + 2 + s/(-2) a multiple of 5?
False
Let y(h) = -1 + 4 + 1 + h. Let v be y(6). Let o = 20 - v. Does 5 divide o?
True
Suppose c + 3*c = 8. Suppose 5*x - 30 = -3*h - 2, c*h - 2 = 5*x. Does 4 divide h?
False
Let z be 4/(-2) + (5 - 3). Suppose -g - 10 = -x, z*x = 3*g - 5*x + 38. Is 3*(3 + 2/g) a multiple of 5?
False
Let t(q) = 2*q + 29 + 23 - q + q**3 - 12. Let f be t(0). Suppose 4*m - 2*s - 14 - f = 0, -s = m - 6. Does 11 divide m?
True
Suppose -14 = y + 5*n, -3*y + 4*n = y + 8. Let o(i) = -7*i. Is 14 a factor of o(y)?
True
Let o(t) = -2*t + 6 + 0*t - 4*t + 0*t. Is o(-5) a multiple of 18?
True
Let p(v) = 2*v**2 + 3*v - 14. Let t = -16 - -10. Is p(t) a multiple of 8?
True
Let d(x) = 12*x**2 - 8*x + 16. Is d(3) a multiple of 8?
False
Suppose 5*n - p = 535, 0 = 3*n - 2*p - 160 - 168. Is n a multiple of 14?
False
Let o = 20 + -10. Does 11 divide 1/((-15)/(-66))*o?
True
Let c = -55 + 71. Is 7 a factor of c?
False
Let s(t) = -t**3 - t**2 - 3*t + 9. Let y(j) = j - 1. Let n(q) = -s(q) - 6*y(q). Is n(3) a multiple of 12?
True
Suppose t + 9 = -4*r, t + r = 2*t - 11. Let f(b) be the first derivative of b**3/3 - 7*b**2/2 + 5*b + 2. Is 3 a factor of f(t)?
False
Let w = -105 - -159. Is 