r of n(-4)?
True
Suppose -135 = -2*s - 11. Suppose -2*p + s = -42. Does 25 divide p?
False
Let n(o) = 6*o**2 - 2*o**2 - 1 + o**2 - 2*o**2 - 2*o. Let l be (3/(-4))/(4/16). Does 9 divide n(l)?
False
Let q = 140 - 70. Does 18 divide q?
False
Let b(t) = t**3 - 8*t**2 + 3*t - 12. Let o be b(8). Let m = -7 + o. Suppose -3*v + m*g + 6 = 0, -4*g + 3*g = 0. Is v even?
True
Suppose 19 - 67 = -4*u. Is u a multiple of 10?
False
Let m(w) = w**3 + 5*w**2 - 6*w - 2. Let y be m(-6). Let g be y/4 - 5/(-2). Suppose 0 = -t + 1 + g. Does 3 divide t?
True
Does 14 divide -1*(3/3 + -60)?
False
Suppose -4*s = 3*v - 2*v - 50, 5*v = 5*s - 50. Suppose -s = -3*g - g. Is g even?
False
Let h = 66 - -9. Is 25 a factor of h?
True
Let m(g) = 5*g**2 - 2*g + 1. Is m(1) a multiple of 2?
True
Does 23 divide 2634/24 + 5 - (-1)/4?
True
Is 2 + 257 + 2 + -1 a multiple of 26?
True
Suppose -5*t = -4*u - 162, 3*t + 2*u = 4*t - 36. Is t a multiple of 13?
False
Suppose -11*n = -1080 - 97. Is n a multiple of 39?
False
Is (6 - 16)*16/(-10) a multiple of 8?
True
Let m(g) = -2*g**2 - 5*g + 7. Let k(z) = z**2 + 2*z - 3. Let b(c) = 14*k(c) + 6*m(c). Is 14 a factor of b(-3)?
False
Does 6 divide (10 - 1 - -2) + (-30)/(-10)?
False
Let n be 0/(2/(-2) - -3). Suppose -z - 18 = -2*a, 3*z + n*z = a - 29. Let j = z - -14. Does 6 divide j?
True
Let k(w) = -4*w - 33. Is k(-22) a multiple of 10?
False
Let p(q) = q**2 - 5*q + 2. Let w be p(6). Let d(b) = -b**3 - 8*b**2 + b + 11. Let g be d(-8). Suppose w*z = g*z - 20, 4*z + 28 = 2*u. Is 6 a factor of u?
True
Suppose -251*d = -248*d - 432. Is 48 a factor of d?
True
Suppose -g - 81 = -5*b, -g - 2 - 11 = -b. Is b a multiple of 3?
False
Suppose 2*t = -2*m + 72, 0*t - 144 = -4*t + 2*m. Is t a multiple of 9?
True
Let j(k) = k - 2. Let v be j(4). Suppose -v*n + 55 + 1 = 0. Does 13 divide n?
False
Let f = -9 + 17. Is 6 a factor of (f/(-3) - -2)*-33?
False
Let q(v) be the second derivative of 6*v**5/5 - v**4/12 - v. Is 23 a factor of q(1)?
True
Let w(t) = t**3 - 5*t**2 + 2*t. Let q = -7 + 12. Let p be w(q). Suppose 50 = 3*z - p. Is 10 a factor of z?
True
Let c be 15/10 - 39/6. Let q(z) = z**2 - z + 3. Is 27 a factor of q(c)?
False
Let h = 6 - 4. Is 8 a factor of 15/h + (-4)/(-8)?
True
Is 7 a factor of -1 + 1 + (10 - 3)?
True
Suppose -t - 4*y = -23 + 2, 4*t - 42 = -2*y. Let w = t - 5. Suppose w*x - 36 = -4*n, n + 5*x = 2*x + 7. Does 10 divide n?
True
Let x = 82 + -8. Does 37 divide x?
True
Let b(c) = -c**2 + 4*c + 9. Let f be b(6). Does 4 divide (-3)/(f + 90/33)?
False
Suppose 3*d = d. Suppose -3*o + 2*o + 35 = d. Is 13 a factor of o?
False
Suppose 0 = -12*c + 961 - 277. Does 29 divide c?
False
Suppose -2*q - 4*k + 8 = 0, -k - 4*k + 7 = q. Suppose -l = q*l - 18. Suppose 0 = -h - r + 10, -l*r - 8 = -4*h - 2*r. Is h a multiple of 3?
True
Suppose -8 = 4*x - 2*x. Is 12 a factor of 988/15 + x/(-30)?
False
Let y be 2 - 1 - (-230)/(-5). Let w = y + 3. Let x = -18 - w. Is 8 a factor of x?
True
Let s(i) = 15*i + 4. Is s(6) a multiple of 8?
False
Let f(z) = -10*z + 10. Is f(-6) a multiple of 19?
False
Let x be 12/(-42) + 12/(-7). Let i be 1*(x - (0 + 0)). Is 24 a factor of (-476)/(-10) + i/(-5)?
True
Let y = 87 + -51. Is y a multiple of 30?
False
Is ((-96)/(-18))/((-3)/(-9)) a multiple of 3?
False
Suppose -852 = -3*a + p, 5*a - 3*a - 5*p = 568. Is a a multiple of 12?
False
Suppose 2*b - 16 = 56. Let k = b + -16. Is 5 a factor of k?
True
Suppose -4*i + 2*s = -62, 2*i - 44 = -i + 4*s. Let m = i + -3. Is 13 a factor of m?
True
Let b(s) = -s**2 - 3*s + 3. Let m be b(-4). Let n be (1 - m)*8/4. Suppose -3 - 3 = -3*x, -j + n*x + 13 = 0. Does 11 divide j?
False
Suppose v - 4 = -1. Is 7 a factor of (96/20)/(v/10)?
False
Let x(s) = 56*s - 74. Is x(5) a multiple of 14?
False
Suppose 0*q + 52 = q - 4*z, 0 = 3*q + 4*z - 124. Is 15 a factor of q?
False
Suppose -2 = -q + m - 3*m, -3*q - 4*m = -2. Does 7 divide q + 2 + 1 + 15?
False
Let p(h) = h**2 + 1. Let r be p(0). Does 7 divide (r/1)/(6/84)?
True
Let k = 39 + -23. Suppose -2*p = -38 - k. Is 20 a factor of p?
False
Let b = 7 + 75. Does 13 divide b?
False
Suppose 4*m - 31 = 3*p, -3*m = -0*m - 5*p - 15. Suppose 4*x = 3*w + 9, 9 - 25 = -4*x - 4*w. Suppose m = x*s - 71. Is 21 a factor of s?
False
Let k be (1 + (-1 - 1))*-4. Suppose -k*d = -5*d + 76. Suppose 0*s = -4*s + d. Does 19 divide s?
True
Let l = 12 + -20. Let v = 6 + l. Is 4/((v/(-3))/1) a multiple of 2?
True
Is 7 a factor of 5/(-3*(-4)/84)?
True
Suppose 4 = 3*w - 2*i, 5*w + 3*i - 11 = 2*i. Suppose -w*j - j = -90. Is 15 a factor of j?
True
Let t(m) = -12*m + 1. Let f(j) = -1. Let i(q) = 6*f(q) - t(q). Is i(7) a multiple of 14?
False
Suppose n - 4 = 6. Does 5 divide n?
True
Let i(r) = -108*r**3 + 1. Does 13 divide i(-1)?
False
Suppose x - 20 = 3*y, 2*y - 6*y = 5*x - 119. Does 23 divide x?
True
Suppose 0 = -u + 5*u - 1060. Let h = u - 188. Let m = -53 + h. Is m a multiple of 11?
False
Suppose -v = 11 + 4. Let j = v + 6. Is 11 a factor of (2 - j)/((-2)/(-4))?
True
Let h(u) = u**3 + 7*u**2 - u - 4. Let l be h(-7). Suppose 4*i - 15 = -l*w, 3*w + i - 2*i - 15 = 0. Suppose 0 = -w*o + 40 + 185. Does 19 divide o?
False
Suppose 0 = 4*h - 4 - 4. Let o = h + 3. Suppose -2*b = 8, -2*d - o = 3*b - 3. Does 2 divide d?
False
Suppose x = j + 26, 5*x - 8 = 2*j + 125. Let i = 74 - x. Let t = i + -28. Is t a multiple of 16?
False
Let t(h) = 5*h**2 + 5*h - 6. Does 2 divide t(1)?
True
Let b(j) = -j**3 + 3*j**2 + j - 4. Let k be b(3). Is (1 + 0 - 11)*k a multiple of 5?
True
Let f(k) = 0 + 3 + k + k**2 - 4*k. Let s be f(3). Suppose 0 = o - 3*o + s*h + 10, -5*h + 75 = 5*o. Is 5 a factor of o?
False
Let i be 130/(-20)*2*-1. Let w = i - 5. Is w a multiple of 4?
True
Let k(c) = -c**2 - 6*c + 4. Let n be k(-6). Suppose -14 = n*d - 5*d. Is 5 a factor of d?
False
Does 15 divide 5*-3*4/15 + 169?
True
Let w(s) = s**3 - 5*s**2 - 8*s + 8. Let d be w(7). Let k(c) = c**3 + 2*c**2 - 4*c + 1. Let t be k(-3). Suppose -d = -t*o + 86. Is 17 a factor of o?
True
Let h be 4/2 - -1*1. Suppose 0*o + 9 = h*o. Is 6 a factor of (-36)/8*(-8)/o?
True
Suppose -2*o + 52 = -4*b, 0*o - 4*b = -5*o + 130. Suppose -4*l + o = 2. Is 2 a factor of l?
True
Suppose 3*y = -5*c - 2, -3*c - 26 = -6*c + 5*y. Suppose -x - q = -54, 5*x - 3*q - 230 = c*q. Is x a multiple of 20?
False
Let d = 477 + -274. Suppose -5*c + d = -202. Does 2 divide 225/c + 4/18?
False
Suppose -168 = 7*t - 10*t. Does 7 divide t?
True
Suppose 2*r = -r + 216. Is 22 a factor of r?
False
Let k(i) = i + 1. Let a(t) = 2. Let f(b) = -2*a(b) + 3*k(b). Let u(x) = -4*x + 1. Let m(o) = -3*f(o) - 2*u(o). Is m(-1) even?
True
Let r = 2 + 10. Is 6 a factor of r?
True
Let u = 7 - 11. Does 5 divide u/(-6)*4*3?
False
Suppose -7 = -4*l + 5. Let w be (-260)/(-15) + 2/l. Suppose 3*c + w = 4*c. Is c a multiple of 18?
True
Let r be (-282)/(-5) + 3*(-8)/60. Suppose 2*h - 87 = -5*m, -m + 75 = 6*h - 4*h. Is 12 a factor of (h/(-14))/((-12)/r)?
True
Suppose 2*i + 6 = -4*v, 9 = 4*i - 5*i - 4*v. Suppose -5*q = -2*u + 33, -u + 40 = u + 2*q. Suppose i*z = u + 62. Does 10 divide z?
False
Let d(w) = 195*w**3 - 2*w**2 - 4*w + 4. Let z be d(2). Is 2/(-6) - z/(-27) a multiple of 32?
False
Suppose 2*d + 2 = -s, -3*s - 2*d = s - 4. Let z be (26/2)/(-1) + s. Let o = 19 + z. Does 8 divide o?
True
Is 51 + 21/12 + 12/(-16) a multiple of 13?
True
Let p(o) = 10*o - 83. Let k(r) = 7*r - 55. Let h(i) = 7*k(i) - 5*p(i). Does 10 divide h(0)?
True
Does 10 divide (-18)/(-45) + 2199/15?
False
Is 10/(160/(-55) + 3) a multiple of 21?
False
Let r = 48 + 82. Is r a multiple of 13?
True
Let i = 28 - 19. Is 5 a factor of i?
False
Let k be (-18)/4*(-4)/6. Suppose 5*o = -4*t + 403, 4*o + 0*o = -k*t + 302. Suppose 5*w = -2*b + t, w - b = -4*b + 10. Is w a multiple of 6?
False
Is -3 - (0 - 108/4) a multiple of 6?
True
Suppose 0 = 2*z + 3*n - 29 - 30, 2*z - 64 = -2*n. Is z a multiple of 14?
False
Let c = -1 + 3. Suppose -2*s + 3*q + 16 = c*s, 3*q - 16 = -4*s. Is 4 a factor of s?
True
Let p(i) = i + 9. Let w be p(-10). Let v = 6 + w. Suppose -v*j + 128 = 4*c, 0*c = -4*c - 4*j + 128. Does 9 divide c?
False
Does 3 divide ((-6)/(-4))/((-7)/(-14))?
True
Suppose 2*k - 7*k = 2*v - 15, 4*k + 6 = 2*v. Suppose -w + k = -4. Does 2 divide w?
False
Let y = 82 + -32. Does 20 divide y?
False
Suppose 0 = -4*p + 4*c - 5*c + 1, 3*p = -3*c + 12. Let u be 