t b be m(-4). Let x = 8 - b. Is 12 a factor of 1 + -1 - (-36 - x)?
True
Suppose 3*q - 4*g = -22, 3 = 2*g - 5. Is 40 + 2 + q + 0 a multiple of 8?
True
Let q = 7 + 53. Is 17 a factor of q?
False
Suppose 0 = -u + 3*i + 72, -3*u = 4*i - 248 + 45. Is u a multiple of 11?
False
Let i(b) = -2*b - 14. Is i(-21) a multiple of 6?
False
Suppose 4*k - 27 = 5*o, 2*k + 2*o - 4*o = 14. Is 4 a factor of k?
True
Suppose -h - 4*t + 46 = 0, -4*h - 4*t + 319 - 75 = 0. Is h a multiple of 19?
False
Let m = 47 - 32. Let y = 2 - m. Let q = y + 49. Does 18 divide q?
True
Suppose -8*q = -5*q + 27. Let r = 3 - q. Is r a multiple of 9?
False
Suppose -8*n + 19*n = 1012. Does 15 divide n?
False
Let t = -357 - -562. Is t a multiple of 27?
False
Suppose 4*n - 2*j = 261 + 261, -j = 4*n - 507. Does 5 divide n?
False
Suppose 5*v = -11 + 26. Suppose -4*h - 3*p = -4*p - 163, 0 = -p - v. Is 20 a factor of h?
True
Suppose -s - s = 0. Let i = -15 - s. Let b = i - -36. Is 7 a factor of b?
True
Let h be (-56)/(-10) - 2/(-5). Let t(r) = -6*r**2 - 7*r + 8*r**2 + 4 - 12. Is 11 a factor of t(h)?
True
Let r(q) = q - 3. Let u be r(3). Let k = 5 + u. Suppose -k*c - 65 = -4*t, 3*t = -4*c + 11 - 1. Does 8 divide t?
False
Let j(c) = c**2 - 2*c - 1. Suppose -2*h - 3 = -3*r + 4*r, 2*h + 5*r + 15 = 0. Suppose h = 4*x + 9 - 1. Does 5 divide j(x)?
False
Let k = 1 + -3. Is -3 - k/(4/14) a multiple of 4?
True
Suppose 4 = 6*x - 2*x. Is x*(-12)/(-3)*2 a multiple of 7?
False
Let w be (-8)/(-6) + 4/6. Suppose 79 = 3*o + 5*g, -5*o - w*g = -3*g - 169. Is o a multiple of 11?
True
Is 27 a factor of 2*3/(-12) + 327/6?
True
Suppose j + 4 = 5*s, j + 0*j = 3*s. Let b be ((-8)/j)/(2/36). Let k = b + 39. Is 10 a factor of k?
False
Suppose -2*r = -r - 13. Is r a multiple of 2?
False
Let i(s) = -s**2 + 1. Let d be i(2). Does 2 divide 3 + 8/4 + d?
True
Suppose 2*h = 2*l - l - 6, -4*h - 4 = 2*l. Suppose -5*r - 32 = -l*s, 5*s - 3*r = -r + 101. Does 10 divide s?
False
Let o be (0 - -1) + (2 - 0). Suppose -5*t - 25 - 16 = -l, 3*l = o*t + 75. Suppose -2*k + 11 = -l. Is k a multiple of 11?
False
Let f(t) = 14*t + 7. Is 16 a factor of f(4)?
False
Let q = 1 + 3. Let u(s) = q + 6*s + s**3 - 2 + 0 + 6*s**2. Is 5 a factor of u(-4)?
True
Suppose 0 = -5*p - 2*x + 19, -x = 3*x - 8. Let v(q) = q**2 + q + 4. Does 8 divide v(p)?
True
Let g = 65 - 52. Is g a multiple of 2?
False
Let p(j) = -3*j**2 - j**2 - j**3 + 4*j**2 + 44. Is p(0) a multiple of 22?
True
Suppose -a - a - 4 = 0. Let j(y) = 3*y**2 - y - 1. Is 13 a factor of j(a)?
True
Let r(v) = -v**3 + 20*v**2 - 11*v + 44. Is 49 a factor of r(19)?
True
Let m be 0 - (-1 + -27 + 3). Does 9 divide 171/5 - (-20)/m?
False
Let d = -41 + 47. Is d a multiple of 3?
True
Suppose 2 = 7*s - 12. Is s a multiple of 2?
True
Let l(m) = -m**2 - 21*m + 42. Is 18 a factor of l(-19)?
False
Let x(g) = -11*g + 4. Let f be x(-3). Suppose 33 = 2*c - 2*y - 1, f = c + 3*y. Let n = c - 12. Is n a multiple of 5?
True
Let j(i) = i**2 + 3*i - 2. Does 7 divide j(-6)?
False
Does 24 divide (((-12564)/8)/9)/1*-2?
False
Let g = -4 - -16. Does 12 divide g?
True
Let x(o) = -13*o - 1. Let t be x(-1). Let q(v) = -v**2 + 8*v - 9. Let z be q(6). Suppose -z*b - t = -4*b. Does 8 divide b?
False
Let p = 131 + 16. Does 15 divide p?
False
Let b = 0 + 59. Let t = b - 11. Does 16 divide t?
True
Let g(x) = -19*x - 5. Is 14 a factor of g(-2)?
False
Suppose -2*t - 27 = -5*r - 0*r, r - 10 = 5*t. Suppose -r*u - 1 = -26. Suppose -175 = -u*d - 0*d. Is d a multiple of 13?
False
Let j be (-4 + -2)/(6/(-4)). Suppose a + 112 = -3*a + j*y, 3*a + 82 = 2*y. Is (-5)/(2 + a/12) a multiple of 15?
True
Let x(t) = t - 1. Let f be x(1). Let p be -1*(2 - 1)*f. Suppose 2*g + 0*g - 12 = p. Is 6 a factor of g?
True
Suppose 480 = 22*s - 17*s. Is s a multiple of 30?
False
Let w be 3/(1 + 4/(-5)). Suppose 0 = -t + 4*f - 4 + 1, 2*f = -3*t - 9. Let s = t + w. Is 6 a factor of s?
True
Let v(n) = -n**3 - 16*n**2 + 23*n - 2. Is 15 a factor of v(-18)?
False
Let u be 1/(3 + 84/(-27)). Let g(c) = -c**3 - 4*c + 4 - 2*c**3 + 9*c**2 + 4*c**3. Is 14 a factor of g(u)?
False
Let x be 4/(-3)*(-5 - 61). Suppose 0*m - 2*m = -x. Does 25 divide m?
False
Suppose 0 = 2*m - m - 2. Suppose -5*a + 10 = -2*c, -2*a = -a + 2*c - 2. Does 5 divide a*(m + 1/2)?
True
Suppose -34 = -4*j - t + 3*t, 5*j = 3*t + 44. Is 3 a factor of j?
False
Let q(l) = 5*l - 5. Let f be q(-7). Let h = f + 81. Is 11 a factor of h?
False
Let p(f) = -53*f - 3. Is 39 a factor of p(-3)?
True
Suppose 5*y - 318 = 307. Suppose -3*a = 5 - y. Is a a multiple of 10?
True
Let s(j) = -3*j**3 - 6*j**2 - 3*j - 4. Is s(-5) a multiple of 14?
False
Is 216 + ((-20)/12 - (-2)/3) a multiple of 23?
False
Is 8 a factor of (-3 + 4)/((-2)/(-56))?
False
Suppose -2*x = -3*u - 5*x - 12, 0 = 5*u + 3*x + 12. Suppose -3*i - 2*w + 34 = u, 4*w = 5 - 21. Let a = i + -7. Is 3 a factor of a?
False
Suppose 8*l = 3*l + 405. Suppose 4*g - l = 3*f, 5*f = -g - g + 47. Is 7 a factor of g?
True
Suppose 48 = 3*u - 2*a, 15 = -0*a + 5*a. Is 18 a factor of u?
True
Let g(t) = 3 + 3*t**2 + 2*t**3 - 3*t - t**3 - 5 + 4. Let q be g(-4). Let a = 7 + q. Is 5 a factor of a?
True
Let g be (2 + 3 + -6)*-87. Is 21 a factor of g/(-9)*(3 - 6)?
False
Does 14 divide (456/30)/(6/15)?
False
Let c(g) = -3 + 2*g - 5 + 5*g**2 + 3 + 3. Is c(-2) a multiple of 7?
True
Let r(h) = 4 + 7*h - 8 + h. Is r(4) a multiple of 14?
True
Suppose 6*u - 15 = 3*u. Suppose -q + 47 - 13 = -d, -u*d = 2*q - 96. Is q a multiple of 15?
False
Does 10 divide (1 + -9)*(-20)/16?
True
Let g(l) be the first derivative of -9*l**2/2 + 4*l + 1. Does 11 divide g(-3)?
False
Let b = 112 - 78. Suppose -f + b = f. Does 7 divide f?
False
Suppose -4*p + 1 = -7. Let a(r) = 2*r - 2. Let y be a(p). Suppose 0 = 4*x + y*h - 3*h - 33, -5*h + 6 = -x. Is 9 a factor of x?
True
Suppose -3*f + 0*r + 2*r = 107, 4*r = -3*f - 83. Let m = f + 47. Is m a multiple of 7?
True
Suppose 3*z - 8 = -z. Suppose w = -4, w - z*w = 2*y - 6. Is 3 a factor of y?
False
Let t(z) = 3 + 3*z**3 + 2 - 5*z - 2*z**3 + 4*z**2. Let s be t(-5). Is 12 a factor of ((-44)/(-5))/(2/s)?
False
Let l = 57 + -21. Is 12 a factor of l?
True
Suppose 3*i = i. Suppose i = -3*u - u + 40. Suppose u + 16 = 2*c. Is c a multiple of 8?
False
Suppose k - 1 = 23. Let r = -10 + k. Is 7 a factor of r?
True
Let u = -13 - -27. Is u a multiple of 4?
False
Suppose 2 + 5 = 3*z + 4*l, 0 = 2*z + l - 8. Suppose 5*v - 16 = -2*p, 4*p - p = -z*v + 19. Let k(d) = 4*d - 2. Is 3 a factor of k(v)?
True
Let u(j) be the second derivative of j**4/12 + j**3/3 - 7*j**2/2 + j. Let d be u(-8). Suppose 5*x - d = 4. Is x a multiple of 9?
True
Suppose -94 = 10*n - 344. Is n a multiple of 5?
True
Suppose 5*a - 3*a + 4*w = 0, -5*w = -2*a + 45. Let c = -18 + a. Let q = -2 - c. Does 3 divide q?
True
Let s(u) = 4*u**2 - 1. Let a be s(1). Suppose a*y - 2*c = 15, -5 = -0*y - y + 5*c. Is 3 a factor of y?
False
Suppose -1 = m, 0 = -3*h - 4*m + 2 - 21. Let y be (-2*2)/1 - -1. Does 12 divide (h*9)/y + 0?
False
Let m be 27/15*5/1. Let t = m + 15. Is 12 a factor of t?
True
Suppose 5*k + 2*f - 149 = 0, 6*k - 97 = 3*k - 5*f. Suppose b - k = -y - 5, -b = 4. Is 14 a factor of y?
True
Let b(n) = 6*n**2 - 3. Let k(t) = 5*t**2 - t - 2. Let i(a) = 4*b(a) - 5*k(a). Let j be i(3). Suppose -20 = -h - j*z, -43 = -5*h - 3*z + 2*z. Is 3 a factor of h?
False
Suppose -44 - 1 = 5*a. Let g(w) = -w**3 - 7*w**2 + 9*w - 21. Is g(a) a multiple of 12?
True
Let i(r) = 2 + 0 + 15*r - 3. Is 12 a factor of i(3)?
False
Suppose -31 = -2*s + 5. Is s a multiple of 18?
True
Let b = -97 - -102. Does 3 divide b?
False
Let t = 44 + -8. Suppose t = 4*i + 2*o, -2*i = -0*i + 3*o - 10. Is 7 a factor of i?
False
Suppose b + 2*b = 12. Is b a multiple of 4?
True
Let w be 2/(-10) + (-1728)/(-40). Let y = -22 + w. Is y a multiple of 7?
True
Suppose -3*y + 0*y - 3*k = -114, y - 4*k - 53 = 0. Suppose 0*j - 2*j + 3*w + y = 0, -53 = -j - 5*w. Suppose -l = l - j. Does 14 divide l?
True
Let l = 25 - 19. Suppose -60 = -3*i + l. Is 5 a factor of i?
False
Does 5 divide 20*(5/(-25) + 2)?
False
Suppose 5*l + 227 = 1767. Let a be l - (0 - 0/(-3)). Is 12 a factor of a/10 - (-2)/10?
False
Suppose -3*j - 112 = -7*j. Does 10 divide j?
False
Suppose -3*d = -3*y + 2*d - 22, -2 = y + d. Let q(j) be the second derivative of -j**3/3 - 2*j**2 + 4*j. Does 4 divide q(y)?
True