c?
True
Suppose 4*v - 118 = -3*x + 124, v = 5. Is 6 a factor of x?
False
Let f(q) = q**3 - 6*q**2 - 8*q + 1. Let h be f(7). Let p = h - -28. Let x = p + -6. Does 4 divide x?
True
Suppose 2*v + 2*s - 482 = 0, 3*v - 733 = -0*v - 5*s. Suppose 2*w + v = 4*n - n, 0 = -w - 1. Does 26 divide n?
True
Suppose 0 = 4*a - f + 56, 4*a - 4*f + 2*f = -56. Is (-539)/a - (-1)/2 a multiple of 16?
False
Suppose -3*p + 39 = 3*y, -2*y = -11 + 3. Let h = 122 - p. Is 24 a factor of h?
False
Suppose -2*y - 180 = -17*y. Is y a multiple of 4?
True
Let u(x) = -2*x + 15. Let z(h) = h - 8. Let q(r) = -2*u(r) - 5*z(r). Let c be q(8). Suppose -o = 5, 7 = -c*j + 4*o + 57. Is j a multiple of 15?
True
Suppose 420 = -5*x + 9*x. Let w = 181 - x. Is 38 a factor of w?
True
Let r(n) = -n**3 - 12*n**2 - 22*n - 34. Is 31 a factor of r(-13)?
False
Let d(g) be the second derivative of -1/12*g**4 - 3*g**2 + 3*g + 3/2*g**3 + 0. Is 8 a factor of d(7)?
True
Suppose -24*y + 800 = -22*y. Is 12 a factor of y?
False
Let q(c) be the second derivative of c**5/20 - 2*c**4/3 - c**3/2 + 5*c**2/2 - c. Let z(a) = -a**3 + 25*a**2 + 9. Let i be z(25). Is q(i) a multiple of 21?
False
Suppose -2*c + 551 = -5*i + 176, 4*i + 946 = 5*c. Is c a multiple of 4?
False
Let b(h) = 10*h**2 - h + 103. Is b(-7) a multiple of 20?
True
Suppose -346 = 21*h - 22*h. Is h a multiple of 21?
False
Let j(v) = 2*v**3 - 10*v**2 + 9*v - 13. Let u be j(6). Let d = u - 38. Is 9 a factor of d?
False
Suppose -a + 5*n + 1263 = 258, 2*n = -4*a + 3910. Does 28 divide a?
True
Let i = 26 - 18. Suppose -i*b + 32 = -96. Is b a multiple of 4?
True
Let g = 2160 + -1491. Does 20 divide g?
False
Suppose 10*z - 100 = 5*z. Suppose -o - 1 = -3*t - 0, -4*o + 11 = 3*t. Suppose o*m - m - z = 0. Is 20 a factor of m?
True
Let a(g) = -8*g + 6. Let o(p) = 7*p - 5. Let v(t) = 5*a(t) + 6*o(t). Let l be v(1). Suppose 0 = 4*w - l*f - 94, -5*w - f + 143 = 8. Does 13 divide w?
True
Let p(h) = 2*h - 3. Let k be p(4). Suppose -3*l = k*q - 7, -6*l - q = -l - 41. Is 3*l/((-27)/(-14)) a multiple of 7?
True
Let t(z) = -z**2 - 2*z - 5. Let a be t(7). Let h(f) = 25*f**2 + 2*f + 2. Let j be h(-2). Let y = j + a. Is 5 a factor of y?
True
Suppose 0*o + 780 = -4*o. Does 6 divide (-4)/30 + (-5876)/o?
True
Let z(a) = a**2 + a + 1. Let u be z(-2). Suppose -u*v - 2*b + 26 = 0, v - 4*b - 4 = -0. Suppose -o = -3*o + v. Is o a multiple of 3?
False
Suppose 4*y + 4*f = 160, 5*y - 3*f = -f + 193. Does 39 divide y?
True
Let y = -20 - -306. Does 10 divide y?
False
Suppose -u + 26 = -4*v, 2*u - 3*u - 2*v - 4 = 0. Let z = 21 + u. Is z a multiple of 8?
False
Suppose -2*n + 14 = 3*v, -v - 2*n + 3*n = 2. Let r = -8 + 13. Suppose -123 + r = -v*h. Is h a multiple of 21?
False
Suppose 2*x + t - 2250 = 0, 0 = -3*x + 134*t - 130*t + 3375. Is x a multiple of 25?
True
Let y = -604 + 1021. Is y a multiple of 27?
False
Let k be (-2)/(-6)*1*105. Let v(j) = 36*j**2 - 4*j - 3. Let h be v(-1). Let a = h + k. Is 18 a factor of a?
True
Suppose 4*y = c - 483, 5*c - 6*y - 2367 = -10*y. Does 15 divide c?
False
Suppose 4*t = -2*i + 34 - 14, 3*i = 5*t + 74. Suppose -12 - i = -5*w. Is 8 a factor of (-255)/(-10) - (-3)/w?
False
Let w = 194 - 98. Is 32 a factor of w?
True
Suppose 2*y = -5*j - 5, -3*j + 5*y + 23 = -5. Is 25 a factor of ((-200)/(-6))/(j/3)?
True
Suppose -3*q - 162 = -o, 7*q - 4 = 5*q. Is o a multiple of 7?
True
Let c(b) = 5*b**2 + 150*b + 91. Does 9 divide c(-37)?
True
Is (13/((-195)/(-612)))/(8/20) a multiple of 4?
False
Let r be 15/25 - 828/(-20). Suppose 3*f = -9 + r. Suppose -3*t = -19 - f. Is t a multiple of 10?
True
Suppose 2 = 5*q + 12. Let m(p) = -2*p**3 - 4*p**2 - p + 2. Let u be m(q). Suppose -u*y + 36 = -5*w, 3*y + 2*w = -0 + 4. Is y a multiple of 3?
False
Suppose 30*i - 36*i - 30 = 0. Does 8 divide 4/(-2) - -115 - (i + 8)?
False
Suppose 0 = -5*f + 4*f - 5*l + 3, 4*l - 9 = -3*f. Let o(t) = 7*t - 6. Does 5 divide o(f)?
True
Suppose 0 = -4*q - 2*p + 14, -2*p + 6 + 0 = 2*q. Suppose q*h - 187 = -71. Let z = h - 4. Is 13 a factor of z?
False
Let l be -4*1/(-2 - 0). Suppose 24 = 3*c - 3*h, 5*h + 0*h = -c - 4. Suppose 7*u - 2*u - 3 = 4*f, -l*u + 4*f - c = 0. Is u a multiple of 3?
True
Let a be (1 - 13)*(-6)/18. Suppose 2*i = 6*i + j - 81, a*i = 3*j + 93. Is 3 a factor of i?
True
Let w(v) = -v**3 + 35*v**2 + 40*v. Is 6 a factor of w(36)?
True
Is (-6232)/(-6)*78/52 a multiple of 19?
True
Let b = 2208 - 1515. Is 63 a factor of b?
True
Suppose -2*i + y + 2724 = 0, -23*i + 22*i + 1380 = -5*y. Does 20 divide i?
True
Let p(v) = -2*v**3 - 31*v**2 - 3*v - 50. Is 22 a factor of p(-16)?
False
Suppose 3*p + 0 = 3. Suppose 3*v + p = -k, -5*k - 5*v = -0*v + 15. Is k/(-20) - (-109)/5 a multiple of 7?
False
Suppose 0 = -29*h + 3417 + 1165. Is 15 a factor of h?
False
Suppose 74 = s - 216. Suppose 2*n + 3*n - s = -5*o, -5*o = -5*n - 270. Does 18 divide o?
False
Suppose -q = -26 + 174. Let j = -100 - q. Is j a multiple of 8?
True
Suppose 30 = 3*l + 2*l + 5*p, -3*p = l - 10. Suppose 3 = -3*q, -w = -l*w - 5*q + 103. Let f = w - -24. Does 15 divide f?
True
Let f(y) = -y**3 + 4*y**2 - 5*y + 4. Let q = 21 + -26. Is 25 a factor of f(q)?
False
Suppose -18 = -2*h - 4*h. Let c = 24 - 19. Suppose h*m = -c*l + 96, -4*l - 4*m = -l - 51. Is l a multiple of 3?
True
Let w = 629 + -569. Does 60 divide w?
True
Suppose -2 = -4*c - 14. Let m = c + -7. Is (465/m)/(12/(-32)) a multiple of 31?
True
Let d(v) = v**2 + 8*v + 7. Let t = -35 + 65. Suppose 4*i = 2*s - t, 0 = -3*i - i - s - 33. Does 4 divide d(i)?
False
Suppose 7*i - 273 = 6*i. Let n = i + -112. Is n a multiple of 17?
False
Suppose -3*l + s + 124 = -62, 0 = -l + s + 64. Does 11 divide l?
False
Let h(x) = -x - 3. Let c be h(-5). Suppose c*v + 28 = -5*v. Does 3 divide v/(-24) + (-284)/(-24)?
True
Suppose 5*j - j + 16 = 0. Is j/32 + 569/8 a multiple of 11?
False
Let q be (-6)/(-3 + (-21)/(-9)). Suppose 0 = 3*z - 0*z - q. Suppose -x + z*c = -66, 2*x - 5*c = x + 62. Does 24 divide x?
True
Is (-5)/20 - 51468/(-48) a multiple of 16?
True
Suppose 4*m - 5 = 3. Suppose m*o = -3*l + 124, 3 + 1 = 2*l. Is 43 a factor of o?
False
Suppose 2960 = 5*m + 5*y, 4*m + 6*y = y + 2364. Does 20 divide m?
False
Let l be ((-76)/(-6))/(4/18). Let o = 188 + l. Suppose 5*z = -5*k + o, -5*z - 4*k + 106 = -3*z. Is z a multiple of 9?
True
Let a(l) = -5*l**2 + 14*l + 8. Let g(u) = -u**2 - u. Let m(t) = a(t) - 4*g(t). Let o(v) = v**2 - 7*v + 5. Let s be o(8). Is 22 a factor of m(s)?
False
Let u be (-42)/4 - (-1)/(-2). Let j = 6 + u. Does 5 divide 2 + 0 - (-1 + j)?
False
Let r(o) = 22*o**2 + 3*o. Let b be r(-2). Let n = -10 - -47. Let w = b - n. Is w a multiple of 15?
True
Let u = 1897 - 1102. Is u a multiple of 53?
True
Let u(y) = -y**3 - 7*y**2 + 8*y. Let i be u(-8). Suppose i*l = 5*l - 235. Suppose -4*z + 57 + l = 0. Is 8 a factor of z?
False
Let b(u) = -32*u - 4. Let g be b(-6). Let n = g - 73. Is n a multiple of 12?
False
Let l(x) = 4*x + 304. Let c be l(0). Suppose 291 = -5*d - c. Is 680/d*14/(-4) a multiple of 10?
True
Let g(p) = p - 5. Let t be g(7). Let n(s) = 6*s**t - s**2 - 2*s - 7 - 2 - 4*s**2. Is n(-6) a multiple of 18?
False
Let a(p) = -p**3 + 4*p**2 - 2*p - 2. Suppose 4*o + 0 = 24. Suppose -15 = 3*u - 3*j, 7*j = -4*u + 4*j - o. Does 17 divide a(u)?
False
Let u(c) = -c**2 - 5*c + 4. Let y be u(-6). Let r = y + 16. Does 10 divide r?
False
Is 4 a factor of -1*(-289 - 3)/4?
False
Let t be 4/2 + 12 + -2. Let m(v) = -v**2 + 18*v - 7. Is 13 a factor of m(t)?
True
Suppose 769 = 2*m - 3*l, -2*m - 4*l = 3*m - 1934. Suppose 0 = 6*g - m - 856. Is g a multiple of 18?
False
Let b = 400 - 268. Is 3 a factor of b?
True
Suppose 1 = 4*q - 7. Suppose w - 183 = -q*w. Suppose -z + 2*y = -0*z - 12, -w = -3*z + y. Does 11 divide z?
True
Let x(p) = -p**3 - 6*p**2 + 7*p - 4. Let r be x(-7). Let s be (-1224)/(-40) - r/10. Suppose -b + 31 = 2*m, 4*m - 30 - s = -3*b. Is 8 a factor of m?
True
Suppose -q = 3*q - 52. Let b = q - 16. Let h(g) = 5*g**2 - g. Is 13 a factor of h(b)?
False
Let b be (225/(-4))/(1/4). Let m be ((-4)/(-5))/(10/b). Let v = m - -28. Does 5 divide v?
True
Suppose -5*u = -10*u + 185. Let z = -23 + u. Is z*4/4 - -2 a multiple of 5?
False
Let p = 40 - -55. Is 8 a factor of p?
False
Let c = 2 + 2. Suppose -16*y + 200 = 8. Suppose c = 2*u + 6, -a = 5*u - y. Is a a multiple of 11?
False
Let k(t) = -