-2)/(-2)). Let p = 122 + i. Does 12 divide p?
False
Suppose 12*s - 14*s = -10. Suppose -s*k = -3*o - 2 - 9, k + 29 = -2*o. Is (-3)/o - 35/(-4) a multiple of 4?
False
Let j(u) = 5*u + 205. Is 37 a factor of j(-27)?
False
Let r(s) be the first derivative of s**2/2 + 12*s - 5. Let m be r(-12). Suppose m = 4*t + 2*j - 0*j - 284, 5*t - 356 = -2*j. Does 24 divide t?
True
Let y be 50*((-2)/5 - 0). Let d = y - -23. Suppose 0*v = -d*v - 3, 0 = -3*h - v + 197. Does 10 divide h?
False
Let a = -148 + 138. Let z be -1*(-1 + 1) + 4. Is 13 a factor of z/a - 132/(-5)?
True
Suppose 7233 + 709 = 11*s. Is s a multiple of 38?
True
Let z = 16 + -11. Suppose 0 = -5*t - 4*f + 125, 0 = z*t - 3*t - 2*f - 50. Does 3 divide t?
False
Let d(c) = 11*c**2 + 6*c - 1. Suppose -4 - 4 = y + 3*b, 0 = 4*y - 4*b - 32. Let s be d(y). Suppose -176 - s = -5*l. Is l a multiple of 25?
True
Does 16 divide ((-8607)/(-38))/((-4)/(-8))?
False
Let k be 704/(3 - 2 - 0). Suppose 144 = -4*a + k. Is 18 a factor of 250/7 + 40/a?
True
Let v = 165 - 97. Suppose v = -4*k + 8*k. Does 5 divide k?
False
Let c = -69 - -69. Suppose c = -19*t + 2197 + 881. Is 54 a factor of t?
True
Does 10 divide ((-84)/10)/6 + 1434/10?
False
Suppose -4*r = 2*x - 2840, r + 1571 + 1244 = 2*x. Is x a multiple of 47?
True
Is (0 - 0 - -6) + 329 a multiple of 44?
False
Let r = 1072 - 583. Is 34 a factor of r?
False
Suppose -2*d - 24 = -3*d + 2*n, -d + 27 = -5*n. Suppose -4*j + 30 = d. Is j a multiple of 2?
True
Let q be (10/15)/((-6)/(-135)). Is 25 a factor of (0 - q - -5)*-5?
True
Let i = -1480 - -1512. Does 7 divide i?
False
Suppose 2*m = -0*m + 36. Suppose 2*x + m = -0*x. Is 16 a factor of 24 + 1 - (x + 6)?
False
Let g(k) = -k + 4. Let c be g(-2). Suppose 14 = -3*w + a - c*a, -3*w = -5*a + 4. Let d = w + 90. Is d a multiple of 18?
False
Let p(j) be the first derivative of 2*j**3/3 - 3*j**2 - 7*j - 3. Suppose 42 = -3*g + 57. Does 13 divide p(g)?
True
Let q(l) = 154*l + 44. Does 44 divide q(10)?
True
Suppose s + 109 = 3*n + 2*s, -3*n + 5*s + 103 = 0. Suppose 2*j + y - 28 = 0, 4*j + 3*y - 6*y - n = 0. Is (-1687)/(-28) - (-9)/j a multiple of 10?
False
Let m(d) = d**3 - 16*d**2 - 19*d + 42. Suppose 0 = 7*b - 83 - 36. Does 4 divide m(b)?
True
Does 43 divide 2/(-3) + (-7625)/(-75)?
False
Let p(m) = m**3 - 34*m**2 + m + 61. Is 5 a factor of p(34)?
True
Suppose -101 = -49*o + 48*o. Suppose -5*d = -c + o, -3*c + 4*d - d + 255 = 0. Is c a multiple of 27?
True
Let c be 346*(3 - 21/6). Is 24 a factor of 0 + (11/(-22) - c/2)?
False
Suppose 10*s + 232 = 3*d + 14*s, d + s - 77 = 0. Is 28 a factor of d?
False
Suppose 4*f + 2*g - 760 = 3*g, f = 2*g + 190. Suppose -f = -j + 4*s, 5*j - 488 = s + 367. Suppose -11*w - j = -16*w. Is 34 a factor of w?
True
Suppose -10*u - 12 = -13*u. Suppose 5*q + 5*h - 13 - 12 = 0, u*h = 0. Is q a multiple of 5?
True
Let k(n) = n + 6. Let b be k(0). Let v(l) = l**3 - 6*l**2 + 2. Let y be v(b). Suppose y*z + i - 88 = 0, 0 = -2*z - z - i + 130. Is 21 a factor of z?
True
Let z = 97 + 47. Suppose -6*h = -0*h - z. Does 36 divide 1436/h + (-2)/(-12)?
False
Let a be (5 - (-10 - -5))*1. Let q(y) = -y**2 + 21*y - 18. Let u(m) = -m**2 + 22*m - 19. Let g(t) = 6*q(t) - 5*u(t). Is 10 a factor of g(a)?
False
Suppose -27*r = -25*r - 480. Is 16 a factor of r?
True
Suppose -2*q + 2*n + 7 + 7 = 0, 0 = -3*q - 2*n + 6. Suppose -753 = -q*m + 435. Suppose -m = -7*t + 319. Does 23 divide t?
False
Let d(z) = 3*z - 17. Let u be d(13). Let t = u + -5. Suppose -6*s + 125 = t. Is 6 a factor of s?
True
Suppose -2*q + 9 - 3 = 5*i, -4*q + 5*i = -12. Suppose -q*w + 112 = -32. Does 23 divide w?
False
Let h = 10 - 10. Suppose c - 3*c - 3*m + 66 = h, 0 = c - m - 33. Does 16 divide c?
False
Let l(n) = -3*n + 2. Suppose g + 54 = 4*g - 3*t, -4*t + 48 = 4*g. Let p = g + -17. Is 3 a factor of l(p)?
False
Let y(i) = -7*i**2 + 20*i + 2. Let l(q) = q**2 - q. Let s(o) = 6*l(o) + y(o). Let z = -85 - -93. Is s(z) a multiple of 19?
False
Let p(m) = 151*m**3 + 2*m**2 - m. Let n be p(1). Suppose 150 = 3*y + 3*u, 3*y - 2*u = -7*u + n. Does 14 divide y?
False
Does 7 divide (-24)/(-10)*((23 - -2) + 5)?
False
Suppose -2*b = 2*b. Suppose -5*m + 3 + 12 = b. Suppose -2*w + 40 = m*w. Does 7 divide w?
False
Suppose -6*b = 11*b - 19278. Is b a multiple of 14?
True
Let a(h) = 7*h - 7. Let s(m) = 4*m - 4. Let g(j) = -3*a(j) + 5*s(j). Let b be g(-4). Suppose b*f = f + 24. Is f a multiple of 2?
True
Suppose -2220 + 64 = -7*s. Is s a multiple of 28?
True
Let p be (-12)/((-3)/(18/3)). Let j = 56 + p. Is 22 a factor of j?
False
Let y = 2254 - 1609. Let t = -430 + y. Is 22 a factor of t?
False
Does 18 divide (-1)/5 + 8652/60?
True
Is 10 a factor of (-477)/(-3) - -3*(-15)/9?
False
Let u(y) = y + 10. Let g be u(-5). Let x(w) = -w**3 + 4*w**2 + 4*w + 1. Let b be x(g). Is 13 a factor of ((-10)/b)/(3/78)?
True
Suppose r + 3*r = -12, 2*n - 17 = -r. Let g = 26 - n. Is g a multiple of 8?
True
Suppose y + 2 + 59 = 0. Let k = -50 - y. Is k a multiple of 2?
False
Suppose 3810 = 13*o + 326. Is o a multiple of 7?
False
Let j = -15 + 20. Suppose 0 = 9*q - j*q. Suppose q = v + 4*o - 19, -v + 25 = -o + 2*o. Is 9 a factor of v?
True
Suppose -4*s + 149 = 2*n + s, s = -1. Let p = n - 57. Is 10 a factor of p?
True
Let j(r) = r**3 - 22*r**2 - 22*r + 3. Let v be j(23). Suppose 0 = -4*u - y + v + 327, -5*u = -5*y - 435. Does 11 divide u?
True
Let j(z) = 63*z**3 - z. Let r be j(1). Let w = 7 - r. Let p = 87 + w. Is 10 a factor of p?
False
Let s be 2 - 2/5*5. Is 46 + s - 2 - 4 a multiple of 20?
True
Let w(d) = 8*d - 9. Let z be w(7). Suppose -c = 14 - z. Does 33 divide c?
True
Suppose -9 = -3*o, 2*t - o = 5*t - 1389. Is 66 a factor of t?
True
Let m = -105 + 592. Does 7 divide m?
False
Suppose 0 = -13*l - 4390 + 16597. Does 10 divide l?
False
Let f(b) = b**3 - 2*b**2 + 4*b - 29. Is 7 a factor of f(6)?
False
Let v = 60 + -54. Suppose -7*l + 832 = v*l. Is 26 a factor of l?
False
Is ((-495)/22)/((-5)/270) a multiple of 81?
True
Suppose 0 = -y - 3*r + 21, 3*r = 15 - 0. Let m be 10/(-4)*(-71 + -1). Suppose -y*v + 4*v = -m. Is 30 a factor of v?
True
Does 56 divide 37/((-7)/35*10/(-4))?
False
Suppose -2*n - a + 109 = 0, 77 = n + 2*a + 3*a. Let x be n/1 + 1/(-1). Suppose 0*k = k - x. Is k a multiple of 13?
False
Let s(l) = 6*l**3 - l**2 - 10*l + 15. Let f be s(2). Suppose 0 = -4*t + 233 - 37. Let r = f + t. Does 22 divide r?
True
Suppose -7*x + 3*x + 28 = 0. Suppose 3*i + 3*s - 69 = 0, -6*s = -5*i - x*s + 107. Is i a multiple of 21?
True
Suppose -14 = -4*b - 26. Let x be b/6*(-24)/3. Suppose 84 = x*l - i, i + 33 + 11 = 2*l. Does 3 divide l?
False
Suppose 27*q - 622 = 1322. Is 18 a factor of q?
True
Let n(k) = 7*k**2 + k + 40. Is n(8) a multiple of 8?
True
Let p be 1 - 2 - -1 - (3 + -32). Let o = 73 - p. Is 20 a factor of o?
False
Let z(b) = 3*b + 8. Let g(t) = -t**2 - 6*t + 5. Suppose 7*v - 5*y = 3*v, 4*v + y + 24 = 0. Let r be g(v). Is z(r) a multiple of 19?
True
Let m = 7497 - 5312. Does 23 divide m?
True
Let g(b) = b + 1. Let l be g(4). Suppose -l*z + x + 12 = -11, 2 = x. Is 9 a factor of 35/2 + z/10?
True
Let f(w) = -2*w**3 + w + 1. Let k be f(-1). Let s be (k - 5)/(6/(-10)). Is 9 a factor of 15/(-6)*(-52)/s?
False
Suppose 0 = -3*k - 3*k + 210. Does 11 divide (-3)/5 - (-1946)/k?
True
Let v(n) = n**2 - 6*n + 2. Suppose -3*t = 0, 3*d - 2*t - 18 = -4*t. Suppose 5*l + 8 = d*l. Is v(l) a multiple of 18?
True
Let b(a) = 7*a**2 + 10*a + 14. Does 18 divide b(6)?
False
Suppose 0 = -3*g - 3*g + 48. Let p be (g - -572)*2/5. Suppose 0*t = 4*t - p. Is t a multiple of 10?
False
Suppose 0 = -8*l + 1945 + 119. Let q = l + -78. Is q a multiple of 18?
True
Suppose 3*v - 26 = -14. Suppose -4*i + 252 = -v*n, 0*n + 257 = 4*i - 5*n. Does 10 divide i?
False
Suppose -4*v - 2*w = -856, -5*v + w + 1092 = -2*w. Let i = v - 87. Is 43 a factor of i?
True
Let j(u) = u + 17. Let x be j(-14). Suppose -29 = -x*i + 100. Does 12 divide i?
False
Let i(c) = -4*c**2 - c + 5. Let n be i(-5). Let d = 82 - n. Let u = d - 101. Is 8 a factor of u?
False
Let s be 32/(5*(-4)/(-10)). Let o be 3/(-2)*s/12. Is 25 a factor of 16/6*(-51)/o?
False
Let t(r) = -3 + 6*r + 2 - 17*r. Let y be t(-2). Suppose -39 = -5*a + y. Does 6 divide a?
True
Let t(w) = w - 1. Let o be t(12). Suppose -f + 3*d = -o, 6*d = -4*f + 2*d + 12. Suppose 4*c = f*c - 29. Is c a mul