+ t = -w - 37. Is m a multiple of 21?
True
Suppose 2*b + 5*x - 13 = -0*b, -b - 3*x + 8 = 0. Does 12 divide (-3 + 42*-1)/b?
False
Let j(x) = x**2 + x + 9. Let a be j(0). Suppose 0 = -3*q - a, 2*i - 3 = -3*q - 2. Suppose -i*v + 2*v + 252 = 0. Is v a multiple of 25?
False
Let i = -3240 - -5088. Does 22 divide i?
True
Let b(u) = -32*u**3 + 5 - u**2 + 55*u**3 - 25*u**3. Is b(-4) a multiple of 9?
True
Let f = 11 + 37. Let v = f + -22. Suppose 0 = 5*k - 4 - v. Is 4 a factor of k?
False
Suppose 413 = 3*b - 115. Suppose -b = 3*q - 5*q. Let h = q + -57. Is h a multiple of 16?
False
Suppose -2*i + 0 - 2 = 4*m, -4*i + m + 32 = 0. Suppose 1 = -r + 5*s, -2*s + i*s + 7 = 3*r. Does 9 divide r/(-7) - 895/(-35)?
False
Let g be (-76)/(-28) - (-6)/21. Suppose 2*o - g*i = 213, -5*i - 9 = 16. Is o a multiple of 9?
True
Suppose -141*j = -136*j - 175. Let m be (-7)/(-2) - 2/(-4). Suppose -5*k + j = 5*u, -2*k + m = u - 1. Is 9 a factor of u?
True
Let q = 85 + -15. Let m = q + -22. Does 24 divide m?
True
Let i(j) = -j - 1. Let r(m) = -m**3 - 6*m**2 + 8*m + 8. Let p be r(-7). Let g(z) = z**2 + z + 1. Let h(v) = p*g(v) + i(v). Does 12 divide h(6)?
True
Let v(n) = 20 - 13 + n + 11. Is v(10) a multiple of 11?
False
Let u(s) = s + 2. Suppose 5*r - 7 + 22 = 0, 4*f + 4*r - 28 = 0. Let b be 1/5 + 58/f. Does 4 divide u(b)?
True
Does 14 divide (258/(-16))/((-21)/(-98))*-8?
True
Suppose 17*o - 9*o - 568 = 0. Let r = o - 51. Does 4 divide r?
True
Does 4 divide (-258)/(-15) - 5/25?
False
Let v(f) = f**2 - 3*f + 3. Let c be v(0). Suppose -56 = -c*k + k. Is k a multiple of 10?
False
Suppose 4*t = 3*t - 5*h + 3, 0 = h. Suppose -1 - 4 = t*y - 5*u, -36 = -4*y - 4*u. Is y a multiple of 5?
True
Suppose -10*t + 130284 = 23*t. Is t a multiple of 94?
True
Let c(y) = 2*y**2 + 13*y + 22. Is c(-7) a multiple of 29?
True
Let w = 4800 + -2870. Does 77 divide w?
False
Let x = -33 + 34. Does 10 divide (-154)/(-8) + 3 - x/4?
False
Suppose h - 551 + 461 = 0. Is 9 a factor of h?
True
Let t(y) = -y**2 - 87*y - 18. Is 49 a factor of t(-19)?
True
Suppose -3*a - b + 553 + 126 = 0, 5*b - 898 = -4*a. Does 16 divide a?
False
Let v(l) = l**2 + 9*l - 26. Let r be v(3). Let g be 2/(1 + 2/(-4)). Let q = r - g. Is q a multiple of 2?
True
Let n(f) = 5*f**2 + 6*f**3 - 14*f - 9*f**3 + 8 + 4*f**3. Is n(-7) a multiple of 2?
True
Let w be 456/(-42)*21/(-6). Suppose w*s + 109 = 39*s. Is s a multiple of 14?
False
Let z(o) = -o - 6. Suppose 0 = 2*u - 8*u - 30. Let b be z(u). Does 27 divide (-5841)/(-72) + b/8?
True
Let w(k) = -153*k**2 + k + 1. Let q be w(2). Is 13 a factor of q/(-14) - (-6)/(-4)?
False
Suppose 0*k - 3*k = 0. Suppose 5*g - 4*j + 1 = 9, k = -5*g + 5*j + 5. Is (-1)/g + 249/4 a multiple of 15?
False
Suppose 3*k = -2*w - 11, -3 = w + 4*k + 5. Let g be (-63)/18 + (-2)/w. Is (-8)/g*153/34 a multiple of 12?
True
Let a(j) = 129*j**2 - 6*j - 6. Let q be a(-3). Let p = -837 + q. Is p a multiple of 56?
True
Is 58 a factor of 51/(-34) + 8702/4?
False
Let p be -3 - -2 - 8/(-2). Does 3 divide (p - 0) + (-3 - -7)?
False
Suppose 341 + 2600 = 17*k. Is 8 a factor of k?
False
Let h(v) = 12*v. Let n be h(1). Let m = 12 - n. Does 3 divide 13 + -2 + (m - 0)?
False
Does 6 divide (-25094)/(-17) - 1/(17/2)?
True
Suppose 44 = -3*f + f. Let j = -19 - f. Suppose 4*w - 3*w - j = 0. Is w a multiple of 2?
False
Suppose -2*p - 3604 = -3*i + 3*p, -7180 = -6*i - 4*p. Is i a multiple of 3?
False
Suppose -2*t - 3*t = -r - 48, -r + 3*t - 42 = 0. Let q be 16/(-6)*r/22. Is (q/(-6))/((-26)/2847) a multiple of 13?
False
Let x(w) = -w**2 + 9*w - 6. Let i be x(4). Let y = -10 + i. Suppose 4*z = -5*n + 270, -y*z + 0*n - 3*n + 266 = 0. Does 14 divide z?
False
Suppose -5*s = -2*o + 729, -o = 2*s - 369 + 27. Does 16 divide o?
True
Let z be 0*(1 + 1 + -3). Suppose z = 2*n - 4*n - 6. Is (15 - -2) + (-9)/n a multiple of 14?
False
Let o(x) = x**3 - 26*x**2 + 47*x + 14. Let h be o(24). Is (-3)/(-30) - 1599/h a multiple of 10?
True
Let w(v) = 2*v. Let o(y) = -9*y + 82. Let u(d) = o(d) + 4*w(d). Does 5 divide u(0)?
False
Suppose 4*t + 0*w - 14 = 3*w, 3*t = -4*w - 2. Suppose 132 = 4*u - t*u. Is 9 a factor of u?
False
Let f(t) = -t**3 - 9*t**2 - 4*t + 4. Is 14 a factor of f(-9)?
False
Let c(j) = -2*j + 2. Suppose 4*w = -3*p + 6, -2*p - 2*w + 12 = -5*p. Let t(x) = x**3 + 3*x + 2. Let r be t(p). Is c(r) a multiple of 13?
True
Suppose -4*o + 2*c + 106 = 0, 3*o + 3*c = o + 65. Let d be (-2)/1 + -9*2. Let a = d + o. Is 2 a factor of a?
True
Is (-22953)/(-18) + ((-171)/54 - -3) a multiple of 12?
False
Suppose -6*a - 16 = -10*a. Does 32 divide -256*(-2 + 6/a)?
True
Suppose 0 = -3*i + 5*u + 1935, -4*i - 2*u + 281 + 2325 = 0. Does 12 divide i?
False
Let y(b) = 0*b**2 + 24 + 5 - b**2 + 12*b - 11. Is y(10) a multiple of 19?
True
Let p(q) = q - 2*q + 2*q + 2*q - q**2. Let a be p(3). Let d = 20 + a. Is d a multiple of 20?
True
Suppose 121 = -4*m - 4*c + 577, 466 = 4*m - c. Is 2 a factor of m?
True
Suppose 0*t = 3*t + 324. Let s = t + 183. Is 15 a factor of s?
True
Suppose -z = -3*c + 1557 + 2115, -c + 3*z + 1232 = 0. Is c a multiple of 75?
False
Suppose -11*h - 1110 = -4256. Is h a multiple of 4?
False
Suppose 34650 = 28*l - 13*l. Does 14 divide l?
True
Let a(v) = -v**2 - 13*v - 3. Let x be a(-13). Let m be (-118)/(-4) - x/6. Suppose k + k = m. Is k a multiple of 5?
True
Let n(v) = -59*v + 56. Does 30 divide n(-2)?
False
Let l(q) = 4*q - 2. Let j be l(-1). Let a be (j - -9) + (1 - 5). Is (9/18)/(a/(-76)) a multiple of 19?
True
Let n = -343 - -520. Let o = n - 98. Is 15 a factor of o?
False
Let h(v) = -v - 3. Let r be h(-3). Let a(p) = 4*p + 66. Is 11 a factor of a(r)?
True
Let y = -3 + -1. Let m be 234/9 + (y - 0). Suppose 3*f - 2*n - 118 = -2*f, -f + 2*n + m = 0. Is f a multiple of 12?
True
Let z(d) = d**3 - 4*d**2 - d + 7. Let r be z(3). Let u be 83 - (r + 1)/(-4). Let w = u + -46. Does 9 divide w?
True
Let q = -63 - -23. Let c be ((-90)/q)/(1/20). Let w = c + -28. Is w a multiple of 11?
False
Let r = -26 - -30. Suppose r*o = -2*l - o - 34, -l = o + 14. Does 13 divide 1/6 + (-466)/l?
True
Let d be (-1)/6 - (-186)/36. Let t(o) = o**3 - 4*o**2 + 7*o - 4. Is 23 a factor of t(d)?
False
Let w(x) = -3*x**3 - 4*x**2 + 8*x - 1. Let m(u) = 3*u**3 + 3*u**2 - 9*u + 2. Let i(g) = -2*m(g) - 3*w(g). Is 24 a factor of i(3)?
False
Let i = 18 - -129. Does 7 divide i?
True
Let o(z) = -z**2 + 7*z + 11. Let s be o(8). Suppose -l = -2*b + 8, -s*l + 8*l - 44 = -4*b. Is -2 + (-14)/b*-3 a multiple of 2?
False
Suppose -3*h = 2*h - 15, 0 = -3*r + 5*h + 408. Let k = -75 + r. Is 22 a factor of k?
True
Suppose -5*n + 4530 = n. Does 43 divide n?
False
Suppose 2894 = 15*z + 1154. Is 7 a factor of z?
False
Suppose -4*o - o + 5*i = -575, 4*o - 5*i - 455 = 0. Suppose -4*b + 0*f = 3*f - 96, 5*b - 5*f = o. Does 12 divide b?
True
Let m = 34 + -16. Suppose 5*a - 32 = m. Is 5 a factor of a?
True
Suppose -4*b - 4*t = -72, -4*b - 3*t = 2*t - 68. Is b even?
True
Is (-48)/(-72) - (-3 + 3436/(-3)) a multiple of 30?
False
Is 9 a factor of (201 - 8) + (-5)/(-1)?
True
Suppose 0 = -38*h + 40*h - 232. Is 2 a factor of h?
True
Let i = 210 + -305. Let v = -67 - i. Is v a multiple of 28?
True
Suppose 100 = 9*w - 14*w. Let i(c) = -c**2 - 22*c - 15. Is 18 a factor of i(w)?
False
Let v = 18 - 19. Let g be v*(-476)/(-16)*-4. Let b = g - 15. Does 25 divide b?
False
Let i(d) = -d**3 + 11*d**2 + 13*d - 8. Let h be i(12). Suppose 2*j = h*g + 66, -5*j - 2*g = -0*g - 177. Does 7 divide j?
True
Suppose 0 = -9*z - 3*z + 2052. Does 9 divide z?
True
Suppose o = g + 4*g - 630, 0 = 3*o. Does 18 divide g?
True
Let r = 25 - 20. Suppose -r*h + 12 = -2*h. Suppose -h*o = 4*k - 36, -7 = 4*k + 3*o - 41. Is 2 a factor of k?
False
Let y(a) = -2*a + 29. Let c be y(18). Does 42 divide (-4)/14 - c/((-49)/(-884))?
True
Is 8 - (4 - -4 - 179) a multiple of 74?
False
Suppose 8*a - 6*a = 2*k + 12, -4*k = 4. Is (256/a)/((-5)/(-25)) a multiple of 26?
False
Let l be 84/18*(8/(-7) + 2). Suppose 2*y + 2*n - 6*n + 8 = 0, -2 = 2*y - 2*n. Suppose l*t - 60 = 4*c, -y*c = -5*t + 2*c + 77. Is 5 a factor of t?
False
Suppose -58*s + 59*s = 96. Let x = -56 + s. Does 9 divide x?
False
Let v(f) = -f**2 - 2*f + 1. Let o(l) = -2*l + 4. Let z be o(3). Let r(k) = -k**3 - 1. Let u(g) = z*r(g) + v(g). Does 3 divide u(2)?
False
Suppose -b + 3 = 2*u + 2*b, 4 = u + b. Suppos