vide f(-2)?
True
Let v(x) = -61*x + 7. Let p(g) = -1. Let m(u) = -p(u) - v(u). Is m(4) a multiple of 36?
False
Let h(u) = -12*u**3 - 11*u**3 + 28*u**3 - 6*u**3 + 4 - 5*u**2 + 2*u. Is h(-8) a multiple of 22?
False
Suppose 663 = 5*r - b + 16, -2*r + 264 = -3*b. Is r a multiple of 3?
True
Let g = 51 + 364. Does 10 divide g?
False
Does 10 divide ((20/(-14))/1)/(141/(-166803))?
True
Let k(b) = 3*b + 12. Let v be k(-4). Suppose -5*w = -4*q + 85, -5*q + w = -v*q - 80. Is 3 a factor of q?
True
Let r be ((-6)/4)/(2/124). Let s = 177 + r. Is 32 a factor of s?
False
Let k(x) = 2*x - 15. Let a be k(12). Let h(g) = -10. Let b(u) = -u + 20. Let v(n) = a*h(n) + 4*b(n). Does 26 divide v(-9)?
True
Let m(l) = -l**3 + 23*l**2 - 20*l - 34. Let b be m(21). Suppose -2*d - b + 1152 = 0. Is d a multiple of 33?
False
Let n(q) = -q**3 + 12*q**2 + 15*q - 146. Does 17 divide n(12)?
True
Let v(j) be the third derivative of -j**5/60 - 11*j**4/24 - 5*j**3/6 + 7*j**2. Is v(-6) a multiple of 3?
False
Let u be (-1 + 39/21)/((-2)/(-7)). Suppose -z - u*n + 49 = -124, -4*z = -5*n - 760. Is 13 a factor of z?
False
Let n = 120 + -216. Let p = -38 - n. Is 21 a factor of p?
False
Let j = -22 + 59. Let t = j + -32. Suppose 4*l + t*b = 93, 4*b = -0*l + 2*l - 66. Is l a multiple of 9?
True
Let v be 517 - (5 + -3 - 4). Let h = v - 330. Is h a multiple of 27?
True
Suppose 0 = 4*y - k + 36, 28 - 10 = -2*y - 4*k. Let h = y + 9. Suppose 4*j + a - 92 = 0, h*a = j + 2*a - 30. Is j a multiple of 9?
False
Let c be 5/(5/12) - 2. Let a = 14 - c. Suppose a*o = 2*o + 32. Is o a multiple of 8?
True
Let u(x) = 16*x - 5. Let p be u(5). Let s = 45 + p. Is s a multiple of 40?
True
Let y(c) = c + 3*c**2 + 2*c**2 - 2*c**2 - 17. Is y(5) a multiple of 12?
False
Suppose 7*c = -40 + 12. Is 5 a factor of 16/(-120)*-213 + c/10?
False
Let o(l) = -l**3 - 37*l**2 - 49*l + 43. Is 10 a factor of o(-36)?
False
Let z be (112/(-6))/((-976)/(-492) - 2). Suppose 5*j + 16 = j, 0 = 5*l - 2*j - z. Is 19 a factor of l?
True
Let y be (1 - -148) + (0/6 - 2). Suppose 5*z + d - 318 = -3*d, -2*z + 5*d + y = 0. Does 9 divide z?
False
Let f be (-2)/10 + 9/45. Suppose -3*u + 62 = -t, -4*u + t = -f*t - 81. Suppose -124 = -5*q - u. Does 7 divide q?
True
Let r(m) = 0 - 6*m**2 + 19*m - 4 - 16*m - 2. Let y(z) = -5*z**2 + 2*z - 5. Let a(i) = 4*r(i) - 5*y(i). Is 25 a factor of a(4)?
True
Suppose 0 = o - 2 - 13. Let z = o + -7. Let d(s) = s**2 - 6*s - 2. Is d(z) a multiple of 14?
True
Suppose -4*w + 8*w = 732. Suppose -4*c = -16, -3*n - c - 8 = -w. Is n a multiple of 13?
False
Suppose 4*s + 4*u = 2156, 28*s = 33*s - 5*u - 2705. Is s a multiple of 15?
True
Let a(x) = -4*x - 58. Let c be a(0). Let h = c + 86. Does 14 divide h?
True
Let v(o) = 5*o. Let g be v(0). Suppose -3*w = -5*p + 616, -p + 6*p - w - 612 = g. Does 6 divide p?
False
Let a(k) = 88*k - 48. Let u be a(5). Let b = -215 + u. Does 15 divide b?
False
Suppose 3 = -4*o + 11. Suppose -3*c + 90 = o*s, c - 71 = -5*s + 128. Is s a multiple of 13?
True
Let b(k) = -2*k - 13. Let d(v) = -28*v**2 - v - 1. Let i be d(-1). Let r = i - -16. Does 10 divide b(r)?
False
Suppose -2*c - 2*h + 1410 = 0, -6*c + 9*c - 2*h = 2105. Does 19 divide c?
True
Does 80 divide 94*6/7*7?
False
Let k(v) = v - 4. Let g be k(4). Let j be -13 + g*(-4)/(-8). Let n(l) = l**2 + 14*l + 19. Does 6 divide n(j)?
True
Let f(y) be the second derivative of -3*y - 2*y**3 - 50*y**2 + 51*y**2 + 0*y**3 + 0*y. Does 11 divide f(-2)?
False
Let m(z) = -z + 5. Let w be m(0). Let u(f) = -f**2 - 7*f - 7. Let l be u(-4). Suppose v - w = 4*y + 19, 3*y - 51 = -l*v. Does 5 divide v?
False
Suppose 502*p + 10890 = 511*p. Is p a multiple of 10?
True
Let x be (2 + 1)*8/4. Suppose -2*h = 4*j - 20, h = x*h + 3*j - 50. Suppose -m + h = -2*s - 19, 4*m = -4*s + 176. Is 15 a factor of m?
False
Let g(z) = z**2 - 6*z. Let j be g(7). Suppose -j = 4*n + 45. Let m = 3 - n. Is m a multiple of 5?
False
Let p(v) = -3*v**2 - 34*v**3 + 2*v**2 - v**2 + 42*v - 44*v. Does 16 divide p(-1)?
False
Suppose -5*u - 539 = -4*v, -3*v - 3*u - 27 = -438. Suppose 4 = 4*y - v. Is y a multiple of 5?
True
Let j = 2150 - 855. Is 5 a factor of j?
True
Suppose 0 = 3*i - 13 + 7. Let y(j) = -4*j + 0*j**2 - 2*j**i + j**3 - 2 + j**2. Is 10 a factor of y(4)?
True
Let b = 1046 - 668. Suppose 2*p - b = -4*m, 10*p - 8*p + 2*m = 380. Is p a multiple of 13?
False
Suppose -440 = -4*d - 4*w, 3*w + 188 + 217 = 4*d. Let c = d + -77. Is c a multiple of 14?
True
Let v = 141 + -147. Let j(c) = 4*c**3 + c**2 + 2*c + 1. Let r be j(-1). Does 22 divide 68 + v - 1*r?
True
Let j be 992/(-20) - (-4)/(-10). Let y = 112 + j. Does 10 divide y?
False
Let h = -11 + -60. Suppose i - 1 = 0, 2*i = -2*s - 76 + 24. Let n = s - h. Does 15 divide n?
False
Is 5 a factor of (6/(-12))/(((-21)/(-66))/(-7))?
False
Let s(w) = -2*w - 1. Let o be s(-1). Let r(m) = m**3 + 2*m**2 - 1. Let b be r(o). Suppose b*h + 2*h - 240 = 0. Is 14 a factor of h?
False
Let z be 1*-2*(-3 + 2). Suppose 10*v + 7*v - 119 = 0. Suppose z*s = s + v. Is s even?
False
Let b = 829 - 733. Is 6 a factor of b?
True
Let v(r) = r**2 + 10*r + 13. Let p be v(-9). Does 9 divide (-755)/(-35) + p/(-7)?
False
Let k be 8/(-3)*(-39)/26. Suppose 2*z = -3*f + 16, 6*z - 18 = -4*f + k*z. Is ((-348)/30)/(f/(-20)) a multiple of 25?
False
Let y be (3 + (-15)/9)*3. Suppose y*b = 22 - 2. Let v = 30 - b. Is 13 a factor of v?
False
Suppose 1858 - 7286 = -46*a. Is a a multiple of 4?
False
Let f = -20 - -41. Let m be 51/f + 6/(-14). Suppose 0 = -b + 3*y + 20, 34 = m*b - 2*y - y. Is b a multiple of 14?
True
Let q = -25 - -10. Let i be (-2 + (-8)/(-6))*q. Suppose -38 = -3*u + i. Is u a multiple of 7?
False
Let w(s) = -20 + s**3 + 0*s + 12 + 4*s. Does 2 divide w(2)?
True
Suppose -3*r + 9 + 18 = 0. Is 4/(-36) - (-307)/r a multiple of 17?
True
Suppose -3*a - 903 = -3*x, x - a = 2*x - 305. Is x a multiple of 26?
False
Let j(o) = o**3 + 2*o**2 - 10*o + 13. Is 8 a factor of j(6)?
False
Suppose -22468 = -17*h + 6500. Is h a multiple of 10?
False
Suppose 3*c + 1575 = 10*c. Let f = c - 152. Suppose -3*q - 23 = -5*j + f, 3*j - 4*q = 62. Is j a multiple of 5?
False
Suppose 11*y - 42 = 57. Suppose -y*q + 118 = 19. Is q even?
False
Suppose 15*y - 58860 = -12*y. Is y a multiple of 80?
False
Let t be (-18)/(-4)*(-440)/(-33). Suppose -4*o + 80 = -t. Does 34 divide (-7)/o - 341/(-5)?
True
Suppose 0 = -m + 5*r - 68, 0 = -3*m - 5*r + 7*r - 204. Let c = m + 133. Is c a multiple of 18?
False
Let j(f) = -f**3 + 3*f**2 + 2*f. Let x be j(-3). Let g = x + -73. Is 4 a factor of (55/g)/((-2)/10)?
False
Is -3 - ((-30)/6 - 1312) a multiple of 9?
True
Suppose -8*l + 12*l = -136. Let x = 84 + l. Is 25 a factor of x?
True
Let u = 28 - 22. Suppose 0 = u*l - 4*l - 94. Does 15 divide l?
False
Suppose -1651 - 887 = -6*h. Does 41 divide h?
False
Suppose -172*u + 182*u - 1210 = 0. Is u a multiple of 29?
False
Let x(h) be the third derivative of -h**6/60 - h**5/10 - h**4/12 + 9*h**2. Does 10 divide x(-4)?
True
Suppose -2*t - 4*q = 4, q = 3*t - 1 - 0. Let f be 0 + (-21 + 1 - t). Is 7 a factor of 4 - f/(-12)*-3?
False
Let s = 23 - 19. Suppose -g + 6*g - 466 = -4*m, 4*g = s*m + 344. Is 15 a factor of g?
True
Suppose 71 + 70 = c. Does 41 divide c?
False
Let a be ((-4)/(-4))/((-2)/(-20)). Let s(p) = 2*p**2 - 52*p**3 + a*p**3 + 0*p - p**2 + p. Is s(-1) a multiple of 9?
False
Let d be 1*((-192)/10)/(3/(-40)). Is (d/80)/(2/10) a multiple of 16?
True
Let s = 963 - 743. Does 22 divide s?
True
Let s(m) = -16*m - 2. Let w be s(4). Let j = -88 - 6. Let d = w - j. Is d a multiple of 7?
True
Let j = -1452 - -1455. Suppose -4*t = 4*z - 712, 2*t + 3*t = z - 190. Is 20 a factor of z/3 + (-9)/j?
False
Suppose 5*h - 2*u - 14 = -3*u, h + 2*u - 10 = 0. Let r be 0/((2 - 2) + h). Suppose r = 4*d - 16, -o - 4*o + 207 = 3*d. Is o a multiple of 13?
True
Let g(f) = 2*f - 6. Let k be g(4). Suppose -81 = -k*z + 5*b, 2*b - 74 = -3*z - 0*b. Is (-7)/(z/16) - -9 a multiple of 5?
True
Suppose -2*o = 3*s - 4718, 8*o - 3*o - 11805 = -5*s. Is 12 a factor of o/33 + 2/6?
True
Let f(l) = 177 - 171 + 0*l + 10*l**2 - 2*l**2 + l**3 - 2*l. Let s be f(-7). Let v = -15 + s. Is 18 a factor of v?
True
Suppose -g - 5*o - 12 = 0, 3*o + 2*o + 6 = -3*g. Suppose -2*h = -2*u - 18, 0*h - 4*h + 28 = -g*u. Is (-68)/u - 2/(-4) a multiple of 9?
True
Suppose 1096 + 3399 