 2?
True
Suppose c - 2*v + 6*v - 162 = 0, -2*v = -3*c + 444. Is 10 a factor of c?
True
Suppose 0*m = -5*m + 25. Suppose -5*g = -5 - m. Suppose -16 = -2*u + g. Is u a multiple of 9?
True
Let l(f) = -f**2 + f - 3. Let p be l(0). Let y(i) = -i**3 - 2*i**2 + 5*i + 3. Let g be y(p). Is 12 a factor of (-1)/g - 213/(-9)?
True
Let t(p) = 0*p + 2*p + 2*p + 10 - 3*p. Does 5 divide t(-5)?
True
Suppose 4*a = -a + 20. Let t = 7 - a. Suppose -3*i + 0*j + j = -73, t*i - 75 = 3*j. Does 9 divide i?
False
Suppose 11231 = 4*v - 4829. Is 7 a factor of 4/(-22) + v/121?
False
Let q(o) = -o**3 - 2*o**2 - 2*o - 3. Let i be q(-2). Is 1 + i - -1*32 a multiple of 15?
False
Suppose 3*b - b - 6 = 0, 2*b + 9 = 5*d. Suppose -q - 2*z - d*z - 4 = 0, 5*z = -2*q + 7. Let c = q + 19. Is c a multiple of 12?
False
Does 16 divide 3/18*-3*-32?
True
Suppose -2*a - 3*a = 3*i - 100, -152 = -4*i - 2*a. Is 10 a factor of i?
True
Suppose -2*c + 3*t + 69 = 0, -2*c + 3*t = -3*c + 48. Does 7 divide c?
False
Is 60 - (0 - 1 - -5) a multiple of 7?
True
Suppose 0*h + 3*h = 45. Does 9 divide h?
False
Let i be 3/2*4/6. Let g be (1 - i)/(-3 - -1). Suppose -a - 39 = -4*k, 6*k - k + a - 42 = g. Is k a multiple of 4?
False
Let p = 7 - 11. Let i be 3/(-6)*p + 10. Let u = 22 - i. Is u a multiple of 10?
True
Suppose 5*i + 0*y - 67 = 4*y, -5*i - 3*y + 46 = 0. Is i even?
False
Suppose 8 = 2*b - 0. Suppose 0 = -0*z + 5*z - 10. Suppose -z*c + 0*i = -b*i - 96, 0 = -3*c - 5*i + 111. Does 12 divide c?
False
Let n = -76 - -112. Is 27 a factor of n?
False
Let s(o) be the second derivative of 11*o**5/10 + o**4/12 - o**3/6 + o**2/2 + 2*o. Does 9 divide s(1)?
False
Let c = -3 - -5. Let u be c*3 + -3 + 2. Suppose -u*w + 36 = -3*w. Is 9 a factor of w?
True
Let c(o) = -6*o - 8. Is 11 a factor of c(-5)?
True
Suppose 0 = 9*u - 3*u - 210. Is u a multiple of 23?
False
Let v(s) = -s**3 - 4*s**2 + 12*s - 9. Does 9 divide v(-7)?
True
Let u(a) = -a + 24. Let z be u(0). Let f = z - 10. Does 13 divide f?
False
Let b(m) = 8 - 4*m - 19 - m**2 - 9*m. Does 19 divide b(-10)?
True
Let p = -47 + 81. Is 19 a factor of p?
False
Let h(x) = -3 - 2 + 1 + 0 + x + 8*x**2. Does 30 divide h(-3)?
False
Suppose 0 = 2*c - 0*z - 2*z, 3*z + 6 = c. Is 3 a factor of 3 + c + 4 + 2?
True
Suppose 4*h - 2 + 16 = -5*q, 4*h - 28 = 2*q. Let f(l) = -l**3 - 6*l**2 - 3*l + 4. Does 11 divide f(q)?
True
Let v(u) be the second derivative of 0*u**3 - 1/4*u**4 - u**2 + 2*u - 1/10*u**5 + 0. Is 13 a factor of v(-3)?
False
Let z = 218 - 57. Is 9 a factor of z?
False
Let h(m) = -m**2 + 15*m - 13. Is 15 a factor of h(12)?
False
Let m(c) = -c**2 + 18*c + 14. Let z be m(11). Suppose -2*a + a - 2*b = -z, -b = 0. Is 34 a factor of a?
False
Suppose 2*l + 0*l = -162. Suppose b = -2 - 51. Let z = b - l. Does 14 divide z?
True
Suppose -b - 26 = 2*b - 4*h, -b - 12 = -3*h. Let c be (-4)/b*(-195)/(-10). Suppose c + 12 = g. Does 19 divide g?
False
Let d be 177/(-18) - (-4)/(-24). Does 21 divide ((-504)/20)/(3/d)?
True
Let k = -1 - -4. Is 2 a factor of k?
False
Let p = -25 + 55. Does 6 divide p?
True
Let i = -48 - -58. Does 8 divide i?
False
Let h(q) = -6*q + 11. Let f(r) = -2*r + 4. Let p(b) = 17*f(b) - 6*h(b). Is p(6) a multiple of 7?
True
Let q be (-3)/9 + (-152)/12. Let a = -1 - 2. Let i = a - q. Is 10 a factor of i?
True
Suppose 2*g - 204 = -4*v - 2*g, -2*v + 3*g = -87. Suppose v = 3*p - p. Does 9 divide p?
False
Let j = -9 - -7. Let l(f) = -3*f**3 - f**2 + 3*f + 5. Let c(b) = b**3 - 2*b - 3. Let w(d) = 5*c(d) + 3*l(d). Is w(j) a multiple of 15?
False
Is (-74)/(-10) - 3/(-5) a multiple of 3?
False
Let a(u) = 2*u**2 - 8*u - 4. Let n = 2 - -4. Is a(n) a multiple of 10?
True
Let a be ((-18)/8)/((-6)/16). Suppose 2*m + 4*h + a = -2, -m - 7 = 3*h. Is 4*(m + (-9)/(-6)) a multiple of 7?
True
Let z be (-14)/49 - 44/(-7). Let d(c) = c**3 - 4*c**2 + 5*c. Is d(z) a multiple of 34?
True
Let u(q) = 4*q**2 - 20*q - 14. Is u(7) a multiple of 14?
True
Let m(n) = 2 - 2 - 2 + 3*n. Does 4 divide m(2)?
True
Suppose 11*d - 10*d - 36 = 0. Is d a multiple of 4?
True
Suppose -7*b + 2*b + 45 = 0. Is b a multiple of 9?
True
Suppose 272 = 4*s - 0*s + 2*q, 0 = -5*s - 2*q + 339. Does 5 divide s?
False
Let i(b) = -b**2 + 7*b + 2. Let g be i(7). Suppose -g*z + 8 = 2*z. Does 2 divide z?
True
Suppose -7*t + 84 = -t. Is 3 a factor of t?
False
Let k be (13/(-3))/(2/(-6)). Let h = 28 - k. Suppose -h - 6 = -3*g. Is g a multiple of 4?
False
Let u = -112 - -202. Suppose -2*z = -92 - 10. Let p = u - z. Is 16 a factor of p?
False
Let j(s) = 3*s**2 + 10*s - 9. Let l = -2 - 6. Let y be j(l). Suppose w + 98 = 5*f - w, 5*f - y = -3*w. Is f a multiple of 10?
True
Let t be 2/(-5) - (-2128)/20. Suppose 391 = -4*h - 2*s - 43, 2*s - t = h. Does 12 divide h/15*(-3 + -2)?
True
Suppose 0 = -2*v + 4, -1 = 5*g - 4*v - 3. Suppose 4*c + z + 15 = 0, 2*z - 6*z + 4 = 0. Does 6 divide 2/c + 37/g?
True
Suppose 0*b - 2*b = -26. Is b a multiple of 11?
False
Let y = 50 + -29. Is 13 a factor of (175/y)/(1/9)?
False
Suppose 0 = 2*v - 10, -2*c - 5*v = -4*c + 527. Is 23 a factor of c?
True
Suppose 0 = o + 3*g - 2, -1 = -6*o + 4*o - 3*g. Let i = o - 3. Does 12 divide ((-2)/i)/((-3)/(-186))?
False
Is 12 a factor of 335/20 - 5 - 2/(-8)?
True
Let a(h) = h**2 - 2*h - 13. Does 3 divide a(6)?
False
Suppose -2*q + 20 + 16 = 0. Let h = q + -13. Is 5 a factor of h?
True
Let q(p) = p**3 + 5*p**2 - 4*p - 4. Let c be q(-5). Suppose 2*s - c - 12 = 0. Does 14 divide s?
True
Suppose -152 = -4*w + 3*f, 2*w - w - f - 39 = 0. Is w a multiple of 8?
False
Let n be -1 - (2 - 5) - -54. Let k = n - 26. Is 15 a factor of k?
True
Let y(d) = -d**3 + 7*d**2 + 2*d + 3. Let b be y(8). Let o = 78 + b. Suppose -3*s + 4*s - 5*v = 25, -o = -5*s + 2*v. Does 4 divide s?
False
Let r(w) be the second derivative of 2*w**3/3 - 3*w**2 + 3*w. Is r(5) a multiple of 5?
False
Let v(a) = a**3 + 8*a**2 + 8*a + 6. Suppose -7*c + 3*m - 41 = -2*c, -5*m = -10. Let r be v(c). Let u(x) = -45*x**3 - x**2 + x + 1. Is u(r) a multiple of 16?
False
Is 17 a factor of 6*34/8*2?
True
Is (84/70)/(3/10) a multiple of 3?
False
Suppose -2*u - 52 = -6*u. Let j = 0 + u. Is 13 a factor of j?
True
Is ((-224)/(-3 + -1))/1 a multiple of 4?
True
Suppose 356 = -0*g + 5*g - x, -285 = -4*g + x. Does 12 divide g?
False
Suppose 0 = -3*s - n + 403, 5*n - 419 = -2*s - s. Does 7 divide s?
True
Let p be (-2 + 35)*(-2)/(-6). Let z(q) be the first derivative of q**2/2 - 5*q - 3. Does 4 divide z(p)?
False
Suppose 4*v = 128 + 308. Does 27 divide v?
False
Let c = 107 + -57. Is c a multiple of 5?
True
Let u(p) be the second derivative of p**4/6 + 7*p**3/6 + p**2 + 2*p. Is 16 a factor of u(-6)?
True
Let q = 4 - 1. Let k(j) = j + q + j - 5. Is 8 a factor of k(5)?
True
Let i(x) = x + 27. Does 12 divide i(9)?
True
Let w(q) = 5*q**3 - 12*q**2 + 8*q - 6. Let l(k) = -9*k**3 + 24*k**2 - 15*k + 13. Let n(r) = 6*l(r) + 11*w(r). Does 12 divide n(-12)?
True
Suppose 0*y + 4*y = 5*i + 160, 4*i = -y + 40. Does 20 divide y?
True
Suppose 2*g - 5 - 123 = 2*y, 3*g - 196 = 4*y. Is 6 a factor of g?
True
Suppose -3 = z - 10. Suppose z = 4*t - 5. Suppose 4*j = -t*q + 2, 0*q - 4 = -j + q. Is j a multiple of 2?
True
Let q(l) = -l**3 - 4*l**2 - 4*l - 3. Let s be q(-3). Suppose -3*t = 3*c - 39, s = t - 4*t - 2*c + 34. Is 4 a factor of t?
True
Suppose -w - 4*w + 5 = 0. Does 10 divide ((-19)/w*2)/(-2)?
False
Let b = 29 + 28. Does 9 divide b?
False
Let o be 4/5*55/22. Suppose -53 = -o*s - 5. Is s a multiple of 8?
True
Let d be (-1)/(-3) - 5/(-3). Let i be 265/55 - d/(-11). Suppose 0*x + 120 = 3*x - i*f, -5*x = 4*f - 200. Does 20 divide x?
True
Suppose -5*d + 622 + 1493 = 0. Does 49 divide d?
False
Let s(c) = -c**2 + 11*c - 13. Let x be s(9). Suppose 4*j = x*j - 54. Is j a multiple of 27?
True
Suppose r - 2 + 0 = 0, -2*z = -r. Let q be 66*1/(z/(-2)). Is (q/15)/(2/(-10)) a multiple of 15?
False
Suppose 9 + 3 = 4*v. Suppose v*c = 2*c - 8. Does 6 divide (c/(-3))/(1/3)?
False
Suppose 0 = 3*q - 7 - 2. Suppose 211 = 5*p - 4*y, -q*p - 179 = -8*p - 4*y. Does 12 divide p?
False
Suppose -4 = -5*r - 19. Does 20 divide (24/3 + r)*12?
True
Suppose -5*p + 41 = -4*p. Let w = 83 - p. Does 21 divide w?
True
Suppose -2 = -4*a + 6. Suppose -w = -1 - 3, 20 = k + a*w. Is 12 a factor of k?
True
Let j = 0 + 5. Suppose -2*v + 3*z = -0*z - 24, 4*z + 46 = j*v. Is 3/v + 150/4 a multi