uppose 0 = k + 3*n - 12, 2*n = -5*k - 0*n + 73. Suppose -5*m = 15, 4*m + k = b - 21. Is 12 a factor of b?
True
Let c = -2 + -3. Let x be (-117)/c + (-2)/5. Let w = x + -13. Is 5 a factor of w?
True
Let x = 65 + -25. Let j = x - 23. Does 6 divide j?
False
Suppose 150 = 4*p - 90. Is p a multiple of 20?
True
Suppose 23*u - 19*u = 480. Does 15 divide u?
True
Let w = 9 - -4. Is 15 a factor of 1 - (w/(-1) - 1)?
True
Let c(s) = 2*s**2 - 15*s - 16. Is 51 a factor of c(-6)?
False
Suppose -2*p = p - 90. Is p a multiple of 12?
False
Suppose 8*f = 5*f + 123. Does 6 divide f?
False
Suppose d = 5, -a + 3*d - 635 = -3*a. Is 40 a factor of a?
False
Suppose -76 + 25 = u. Let g be (-2)/(u/24 - -2). Suppose -2*k + 14 + g = 0. Is 7 a factor of k?
False
Let p(y) = y**3 - 6*y**2 + 7*y + 14. Does 8 divide p(7)?
True
Let x be (-1615)/(-35) + 3/(-21). Suppose 2*j - 202 = -x. Does 26 divide j?
True
Let q(j) = j**2 - 3*j - 2. Does 26 divide q(9)?
True
Let w = 2 + -2. Does 5 divide (4 + w)/2 + 3?
True
Suppose 3*y - 2*z + 11 = 0, 5*z - 13 = 7. Is (-29)/y + (-9)/3 a multiple of 13?
True
Suppose -4*m + 1229 = 5*y, 2*m = 3*y - y - 488. Is 21 a factor of y?
False
Let x(i) = 2*i**2 + 5*i. Let l be x(5). Suppose j = 4*g - l, 3*j - 16 = -g - 7. Is g a multiple of 5?
False
Let k(d) = -20*d + 20. Does 7 divide k(-3)?
False
Let p(h) = h - 10. Let m be p(10). Suppose 4*i - 8 + 0 = m. Suppose 5*c - 5*f - 5 = 0, -5*f = -i*c - f - 2. Is 3 a factor of c?
True
Suppose -y - z + 100 = 2*y, 0 = -2*y + 2*z + 64. Is 11 a factor of y?
True
Suppose 5*t - 150 = 55. Is 13 a factor of t?
False
Does 21 divide 2431/55 - 2/10?
False
Is 13 a factor of (-1 - (-1)/(-1)) + 332?
False
Let t = -63 + 19. Let l = 80 + t. Suppose 2*w + 2*j - l = 0, 2*w = 3*j + 37 - 1. Is 9 a factor of w?
True
Suppose -2*t = -5*o - 15, -o = -4*o + 2*t - 13. Is (2 - 4 - o)*-7 a multiple of 2?
False
Suppose c - 20 - 18 = -4*t, 122 = 5*c + 3*t. Is 22 a factor of c?
True
Does 15 divide -1*18/27*(-1902)/4?
False
Let j = -32 + 88. Let b = -36 + j. Is 20 a factor of b?
True
Let z be ((-6)/(-15))/(4/5)*2. Let v(s) = s**2 - s. Let t be v(1). Is 9 a factor of (15 - 6)/(t + z)?
True
Let g(n) be the first derivative of n**4/4 - 2*n**3/3 + n**2 + n - 4. Is g(2) even?
False
Suppose 6*a = -36 + 12. Let r(d) = d**3 + 3*d**2 - 8*d - 4. Does 4 divide r(a)?
True
Suppose 6*d = 4*d + 52. Does 11 divide d?
False
Let n = 32 - 40. Let h = 22 + -16. Let y = h - n. Is 5 a factor of y?
False
Suppose 18 = -3*g + 54. Let y(x) be the first derivative of -x**2/2 + 26*x - 2. Is 5 a factor of y(g)?
False
Suppose -146 = -5*v - 36. Is v a multiple of 11?
True
Suppose 0 = -9*y + y + 792. Is y a multiple of 11?
True
Let x(q) = 5*q**2 + 3*q - 4. Is x(-3) a multiple of 9?
False
Let x(t) = -4*t - 7. Does 13 divide x(-7)?
False
Suppose 5*y = 99 + 11. Let q = y + -8. Is q a multiple of 14?
True
Let w(f) = 6*f - 2. Let u be w(2). Suppose -3*z = 14 + 4. Let y = u + z. Does 4 divide y?
True
Let p(t) = -t - 2. Let x be p(-5). Is ((-19)/3)/(x/(-9)) a multiple of 10?
False
Suppose 0*s - 3 = -s. Let b(i) = 2 - 3*i + i**s - 4*i - 3*i**2 + 4*i. Is 3 a factor of b(4)?
True
Suppose 3*v = -2*t + 19, 0 = -4*t + 2*v + 3*v + 49. Is t a multiple of 2?
False
Suppose 5*k = s - 6, 2*s + 0*k - k = 3. Suppose -2*f + 71 = s. Suppose -z = -3*m + 17 + 11, 5*m - 4*z - f = 0. Does 8 divide m?
False
Suppose k - 3 + 1 = 3*n, -2*k - 3*n + 13 = 0. Suppose 25 = k*h - 5*y, -y = -h - 3*y - 1. Is 2 a factor of h?
False
Let x(p) = -3*p**3 + p**2. Let c be x(-1). Suppose -3*y = 12, -2*i + 27 + 29 = -c*y. Is i a multiple of 10?
True
Is 9 a factor of 3/1 + (0 - -6)?
True
Let l(s) be the second derivative of -s**4/12 + 7*s**3/6 + 5*s**2 + 5*s. Does 16 divide l(6)?
True
Let t = 4 - 2. Let y(f) = f**3 + 4*f**2 - f - 4. Let n be y(-4). Suppose n = 2*s + s + 5*m - 13, 3*s - 25 = -t*m. Is s a multiple of 11?
True
Let x(f) = -29*f**3 + f**2 + 4*f + 3. Let l(r) = r**3 + r + 1. Let g(u) = -2*l(u) + x(u). Is 20 a factor of g(-1)?
False
Let n be 2/(-7) + 684/42. Let b = n - 9. Is 6 a factor of b?
False
Let o be (7/(7/(-6)))/(-2). Suppose 6*c - o*c = -36. Does 8 divide 2 + -1 - c/1?
False
Let v(s) be the first derivative of s**4/4 + 4*s**3 + 5*s**2 + 5*s + 3. Does 8 divide v(-11)?
True
Suppose 3*t = -2*t + 110. Does 5 divide t?
False
Suppose -s + 30 - 103 = 0. Let z = 125 + s. Is z a multiple of 13?
True
Suppose 0*c = 2*c - 8. Let v be (-2)/8 + 105/c. Is (-2)/13 - (-446)/v a multiple of 10?
False
Let v(i) = -i. Let k(f) = f**3 + 2*f**2 - f + 6. Let z(w) = k(w) + 4*v(w). Let a be z(-6). Is a/30*(-10)/3 a multiple of 12?
True
Let k = 61 - 26. Suppose -6*s + k = -s. Does 7 divide s?
True
Is -1 - 210/(-8) - 4/16 a multiple of 5?
True
Suppose -4*g = -2*g - 40. Let z be ((-12)/10)/((-6)/(-20)). Is 10 a factor of g/6*(-12)/z?
True
Suppose 3*r + 2*q + 7123 = -0*r, 5*r + 11871 = -3*q. Let y = -1215 - r. Is 24 a factor of y/24 - 2/8?
True
Let v(g) = -g**3 + 2*g**2 - 3*g - 3. Suppose -5*f = -0*f - 4*h + 6, 4*f = 2*h - 6. Does 13 divide v(f)?
False
Let c(q) = q. Let k be c(4). Suppose -2*v + 37 = -a + 104, -311 = -5*a + k*v. Is 14 a factor of a?
False
Let d(t) = 6*t**2 - 2*t + 2. Let w(z) = 12*z**2 - 3*z + 4. Let l(c) = -10*d(c) + 6*w(c). Does 8 divide l(-2)?
True
Let d(l) = 5*l**3 - 5*l**2 - l - 1. Let y(f) = -f**3 + f. Let v(s) = d(s) + 4*y(s). Let x be v(5). Is (-4)/(-1)*x/8 a multiple of 7?
True
Is 8/(-20) + 1624/10 a multiple of 27?
True
Let b(t) = t**2 - 7*t - 8. Let i be b(8). Suppose 0*v + 2*v - 6 = i. Is v even?
False
Suppose 4*d - 16 = -t, 4*t + 3*d = -t + 46. Let z(p) = p - 7. Let v be z(t). Let y = 27 + v. Is 13 a factor of y?
False
Let r(f) = f**2 - f - 1. Let o be r(-2). Suppose o*j - x - 30 = 0, -x = -3*j - 2*x + 26. Is 3 a factor of j?
False
Let r(o) = 2*o**2 - o - 3. Let m be r(6). Let t = -25 + m. Is t a multiple of 19?
True
Let k = -37 - -82. Is k a multiple of 9?
True
Suppose 1 - 4 = -k. Suppose 0*i = -k*i - 4*f + 16, -2*i + 5 = -3*f. Is (i - -19)/(1/1) a multiple of 10?
False
Suppose 0*v - 2*v = -48. Is v a multiple of 6?
True
Let y(r) = -r**2 + 36*r - 57. Is 21 a factor of y(19)?
False
Suppose 3*t = -0*t - 4*f + 5, 4*t = -f + 11. Suppose -t*s = 20 - 101. Does 9 divide s?
True
Suppose 3*a + 12 = -3*x, -3*x - 2*x - 3*a = 14. Is 43 + (0 - x)*1 a multiple of 26?
False
Does 20 divide (7/(-56))/(-1) - 639/(-8)?
True
Suppose j - 220 = -3*j. Let i = 78 - j. Is 20 a factor of i?
False
Let b = -261 + 466. Is b a multiple of 43?
False
Let r(z) = z - 4. Let s be r(6). Suppose -3*f + 4*f - 43 = 0. Suppose 5*b - 5*y + 2*y - 117 = 0, 5*y + f = s*b. Is 12 a factor of b?
True
Suppose 53 = 3*l - 193. Does 20 divide l?
False
Suppose -126 = -4*z + 46. Is z a multiple of 19?
False
Let o(d) = d + 1. Let z(f) = -5. Let u(x) = 2*o(x) + z(x). Let a be u(4). Suppose -a*r = -j - 16, -2*j = -3*r + 3 - 6. Does 3 divide j?
True
Let d(c) = c**2 + 2*c + 1. Let k be d(6). Let x = k + 10. Does 10 divide x?
False
Let o(z) = -z**3 - 10*z**2 + 10. Suppose -5*t = -8 + 58. Does 3 divide o(t)?
False
Suppose 75 = -4*b - 9. Suppose -r = 2*r - 102. Let j = r + b. Is 12 a factor of j?
False
Suppose -4*j + 8*j - 252 = 0. Let l = j - 17. Does 23 divide l?
True
Suppose 7*o - 3*o - 1404 = 0. Does 14 divide o?
False
Let d(f) = f**3 + 4*f**2 - 2*f - 3. Let g be d(-4). Suppose -184 = -g*v + v. Is v a multiple of 13?
False
Let b(u) = -u**2 - 7*u + 3. Let k be b(-7). Suppose -2*h = q - 86, 2*q + k*q = 5*h - 215. Does 12 divide h?
False
Let t = 63 - 57. Is 4 a factor of t?
False
Suppose 2*i = 4*u - 16, 1 + 11 = -3*i + 3*u. Suppose -3*j + j + 16 = i. Does 3 divide j?
False
Let a be 92/10 + 3/(-15). Suppose 11 = 5*i + p - 4*p, 3*p = 3*i - a. Is 20 a factor of i - (1 + 0)*-53?
False
Suppose -4*q + 382 = 102. Does 6 divide q?
False
Let q(x) = x**2 - 10*x + 4. Let l be q(4). Let h = l - -38. Does 6 divide h?
True
Let i(n) = 17*n**2 + 3*n + 8. Is 38 a factor of i(-5)?
True
Suppose 4*l = l - 6. Does 7 divide (0 - l)*(-22)/(-4)?
False
Let w(x) = -x**3 + x**2 - x + 10. Let s be w(0). Suppose -m = 3*m - 16. Suppose -r + m = -s. Is 7 a factor of r?
True
Let l = 2 - -1. Let o be 3*(3 + 1/l). Is 16 a factor of (-4)/o + 935/25?
False
Let r be 2/3 - (-1)/3. Let u = r + 1. Suppose u*l - 7 = 9. Does 3 divide l?
False
Suppose -2*b - 1 = 4*l - 23, -l = -2*b + 2. Suppose 0 =