51323/(-34))/(3/(-6)) a multiple of 78?
False
Let v = 4087 + -2723. Is 11 a factor of v?
True
Let g = 24 - 19. Suppose -3*v - g*a = -v - 5, 0 = -3*v - 2*a + 35. Does 3 divide v?
True
Let k(y) = y**3 + 10*y**2 + 12*y + 35. Let t be k(-9). Does 8 divide 2/t + 3/48*124?
True
Let d = -14 + 17. Suppose 4*q - 3 - 34 = -3*x, -4*x = d*q - 54. Let p = x - -32. Does 9 divide p?
False
Let p(y) = -y**3 - y**2 + y + 2. Let x be p(-2). Is 46/1*2 + x a multiple of 8?
True
Let t be (-460)/140 - (-2)/7. Let d be (-51)/5 + (-2)/(-10). Let k = t - d. Is k even?
False
Let d = -35 - -40. Suppose c = -0*z + 4*z - 208, 224 = 4*z - d*c. Let i = -15 + z. Is i a multiple of 12?
True
Let p be 0*(3 - 7 - (-30)/8). Let g = 31 + 11. Let m = g + p. Is m a multiple of 15?
False
Let l(n) = -458*n + 19. Does 53 divide l(-1)?
True
Let n(c) = -c**3 - 3*c**2 + c + 3. Let i be n(-3). Suppose -4*b + u + 344 = i, 0 = b - 3*u - u - 86. Is b a multiple of 24?
False
Suppose 2*j = -0*j + t - 5, -2*t + 10 = j. Suppose b + 5*k - 59 = j, -3*b - 4*k = b - 188. Is 4 a factor of b?
True
Suppose 5*f = -20, -3*f + 0*f - 6 = -3*j. Is ((-5)/(-15))/(j/(-372)) a multiple of 9?
False
Let y be 0 + 1/((-1)/2). Let i be -3 + 1 + (-4 - y). Is 11 a factor of 7 + i + 3*12?
False
Let r(z) = 3*z + 69. Let y be r(-22). Let g(s) = -13*s**2 + 4*s - 12. Let q(c) = -4*c**2 + c - 4. Let u(i) = -4*g(i) + 11*q(i). Is u(y) a multiple of 13?
False
Suppose 0 = r + 3, -5*k - r + 235 = -532. Does 22 divide k?
True
Suppose -629*b = -630*b + 189. Is 27 a factor of b?
True
Let i(w) = -w - 10. Let k be i(-15). Let r be ((-8)/(-4) + -3)*-53. Suppose h = -g + r, -k*h = -3*h. Is g a multiple of 13?
False
Let c be 0 + (4 - (-4 + 8)). Suppose 4*w + 3*n = 104, -n + c*n + 112 = 4*w. Suppose -w*m = -32*m + 108. Is m a multiple of 10?
False
Suppose -55*u + 64460 = -31735. Does 53 divide u?
True
Let w(m) = m**2 + 7*m - 5. Let x be w(-8). Let o(l) = -2*l**x + 9*l**2 - 5*l**3 + 3*l**3 + 3*l**3 - 5*l - 2. Is 12 a factor of o(8)?
False
Let c = 10 - 11. Let q(h) = 3*h**2 - h - 1. Let w be q(c). Suppose 0 = -2*m + w*s + 61, 3*s - 3 = -18. Is 9 a factor of m?
False
Suppose 2*a - 2*c - 1802 = 0, 5*a - a - 3601 = c. Is a a multiple of 36?
True
Let n be 4/(6 - (-16)/(-4)). Suppose 2*y - 12 = n*s, -s = -3*y + 7 + 15. Let a = y - 0. Does 2 divide a?
True
Let c be (2/1)/(3/6). Suppose -5*l - 2*r + 10 = 3*r, -c*l + 10 = 3*r. Suppose 0 = -2*h - 2, m - 208 = -3*m + l*h. Is m a multiple of 17?
True
Suppose -3*p + 0*p + 39 = 0. Suppose k - 73 = p. Suppose -o - 3*b + 1 + 19 = 0, 0 = 3*o - 4*b - k. Is o a multiple of 13?
True
Let y(s) = -2*s + 15. Let g(i) = -5*i**3 + i**2 + i - 1. Let p be g(1). Is y(p) a multiple of 22?
False
Let u be 4/(-10) - (-82)/5. Suppose q + 5*a = a + u, 4*a + 4 = 4*q. Suppose 0*o - q*o = -28. Does 7 divide o?
True
Suppose -2*h + 4*c + 108 = 0, 2*h - 4*c = 3*h - 66. Is 11 a factor of h?
False
Let p(f) = f - 1. Let d(n) = -11*n + 7. Let t(o) = d(o) - p(o). Does 9 divide t(-6)?
False
Is (-351 - 0/(-4))*-2 a multiple of 9?
True
Let g(w) = -436*w - 271. Is g(-6) a multiple of 35?
True
Let b(w) be the second derivative of w**4/3 - w**3/6 + w**2 + 6*w. Does 9 divide b(2)?
False
Let j(y) = y**2 - y + 12. Is j(-11) a multiple of 72?
True
Suppose 0*j + 11 = -3*y + 2*j, 3*y - 5*j + 23 = 0. Is 12 a factor of (5 + y - -31) + (1 - -2)?
False
Let l(d) = -d + 7. Let m be l(7). Let k(z) = z + 42. Let v be k(m). Suppose 4*f - f = v. Does 7 divide f?
True
Suppose -2*u + 22 = -2*x - x, 0 = u + 5*x + 15. Suppose -2 = -u*c - 17. Let v = 37 - c. Is v a multiple of 10?
True
Let r be 5*(-2)/(-5) - -354. Suppose -3*y = y - r. Is y a multiple of 23?
False
Let a = 4188 - 925. Is a a multiple of 55?
False
Let z(d) = d**2 + 5*d - 16. Let u be z(-7). Does 27 divide u/(1 + 84/(-81))?
True
Suppose -4*p = p - 200. Let g be (27 + 4 + -9)*8/16. Suppose -z = -g - p. Is 12 a factor of z?
False
Let j(m) = m + 13. Let c be j(0). Suppose -c*h + 112 = -11*h. Does 8 divide h?
True
Let z(b) = -b**3 - 14*b**2 - 8*b + 17. Let m be z(-13). Let p = m - -73. Does 5 divide p?
True
Let w(x) = 95*x**3 + 2*x**2 - 2*x + 1. Suppose -16 - 3 = -4*k + 5*j, -4*k = -3*j - 13. Is 12 a factor of w(k)?
True
Let n(g) = -2*g**2 + 54*g + 62. Is n(28) a multiple of 6?
True
Suppose 43*h = 42*h + 98. Let t = h + -45. Is t a multiple of 11?
False
Suppose -3*o - 25 = 2*o. Let f(k) = -2*k - 8. Let h be f(o). Suppose -6*v + 3*v + 6 = 0, w = h*v + 81. Is 30 a factor of w?
False
Let i = 758 - 442. Does 5 divide i?
False
Does 8 divide 3*(-8)/252 - (-824920)/420?
False
Let l be 68/(-20) + 4/10 + 2. Is 0 + (64 - l) + -3 a multiple of 31?
True
Does 13 divide 7/(175/(-5)) + (-29405)/(-25)?
False
Let a(j) = -1198*j + 24. Does 26 divide a(-1)?
True
Let p be 1/(-5) + (-266)/(-5). Let f = 36 - 32. Suppose w + w = 3*h - 39, -3*w - p = -f*h. Is h a multiple of 11?
True
Let q(l) = l + 6. Let m be q(-6). Suppose m = f + 2*f - 969. Let p = -215 + f. Is 27 a factor of p?
True
Suppose 22*b - 21*b = 2. Suppose -5*g = -b*g - 255. Does 28 divide g?
False
Suppose 0 = -10*p + 11*p. Suppose p = -5*o + 5*j + 255, -4*o + 2*j + 205 = -j. Is o a multiple of 25?
False
Let l(g) be the second derivative of 13*g**4/12 - g**2/2 + 17*g. Let r = 9 - 10. Is 11 a factor of l(r)?
False
Let l = 52 + -49. Suppose 2*a = u - 78, 0 = -l*u + 5*a + 125 + 114. Is 9 a factor of u?
False
Suppose 3*q - 2*b = 311, 4*q = 4*b + 231 + 189. Is q a multiple of 5?
False
Suppose 2*c + 6*a - 3383 = 5*a, 0 = -c - a + 1693. Does 10 divide c?
True
Let n(b) = b. Let c be n(6). Suppose -1 = c*d - 5*d. Let z = d + 20. Is z a multiple of 14?
False
Let k(w) = w**3 - 2 + 16 + 7*w**2 + 14*w**2 - 10*w**2 + 7*w. Is k(-10) a multiple of 11?
True
Let m = 1914 + -1139. Does 25 divide m?
True
Let r be (2 - 0)/((-10)/815). Let k = -99 - r. Is k a multiple of 8?
True
Let r(i) = -29*i - 57. Let d(f) = 29*f + 59. Let v(w) = -5*d(w) - 4*r(w). Does 57 divide v(-6)?
False
Let k = 476 - 218. Suppose 220 = 4*m + 4*f - 40, -4*m - 2*f = -k. Is 25 a factor of m?
False
Suppose 61 = 2*i - 415. Does 14 divide i?
True
Let d(y) = 15*y + 8 - 1 - 3 - 25*y. Is d(-8) a multiple of 12?
True
Does 6 divide -2 - (-4)/2 - (-82 - 680)?
True
Let u be 10*(0 - 45/(-6)). Let i = u + -24. Does 17 divide i?
True
Let t be ((-2)/4)/(2 + (-1842)/924). Let v = -69 - t. Is v a multiple of 8?
True
Let g = 436 - 296. Is 10 a factor of g?
True
Let b(t) = t**2 + 4*t - 1. Let s be b(-4). Let g be s + (0 - 2) + -97. Let v = -1 - g. Is 27 a factor of v?
False
Let j = -27 - -31. Suppose 3*x = 5*g - 77, -14 = -j*g + 2*g - 3*x. Does 6 divide g/2 - 1/2?
True
Suppose 0 = 8*v - 401 - 79. Suppose -2*k + 33 = -29. Let t = v - k. Is 7 a factor of t?
False
Let t(p) = 24*p**2 + 4*p + 6. Does 16 divide t(-3)?
False
Let b(a) = 2*a**3 - 4*a**2 + 2*a - 3. Let v be 3 + (0/(-3))/1. Is b(v) a multiple of 7?
True
Let x be 68/16 - 3/(-4). Let w be ((-10)/(-6))/(x/(-540)). Let l = -102 - w. Does 26 divide l?
True
Suppose -6*r + 13 = -11. Suppose -r*s - y + 235 = -154, -2*s + 2*y + 192 = 0. Is s a multiple of 21?
False
Suppose -3*c = -5*m + 8, 4*c - m + 7 = -15. Let j(t) = 6*t**2 + 8*t + 6. Let k be j(c). Is 7 a factor of ((-4)/6)/((-4)/k)?
False
Suppose 8 = 45*h - 41*h. Suppose 0 = -x + 4*n + 215, -h*x - 3*x = 3*n - 1190. Does 43 divide x?
False
Suppose -n + 3*u - 2 = 0, u = 5*n - 8 - 10. Suppose -3*w = 2*x - 17, 2*x + 3*x - 53 = -n*w. Is 13 a factor of x?
True
Let k(f) = -157*f - 199. Is k(-7) a multiple of 50?
True
Suppose 6*u = 9*u - 3*c - 291, 4*u + 4*c = 372. Is u a multiple of 11?
False
Let j(v) = -v**2 - 8*v + 1. Let u = -51 + 44. Is j(u) a multiple of 2?
True
Let b = 35 - -59. Is b a multiple of 8?
False
Let g(t) = t**3 - 11*t**2 - 10*t - 13. Let s be g(12). Let b = 97 + -88. Suppose -b*u - 160 = -s*u. Is 20 a factor of u?
True
Suppose -4*c - 2*u - 598 = 0, -319 = -0*c + 2*c - 3*u. Let m = c + 217. Is 26 a factor of m?
False
Let p = -111 + 87. Suppose w = -3*f - 8, 4*f - 37 = w + 2*w. Let q = w - p. Is 13 a factor of q?
True
Does 20 divide (-5)/(30/4)*(9 - 372)?
False
Suppose -a + 2*a - 86 = 0. Let b be -51*((-16)/6)/4. Let u = a - b. Does 18 divide u?
False
Suppose 0 = 9*s + 28 - 478. Suppose -31 + s = c. Does 13 divide c?
False
Does 6 divide (-12)/(-3 - 2244/(-756))?
True
Let v(g) = g**3 + 5*g**2 - 9*g - 13. Let d be v(-