 + 2*w**4/3 + w**3/3 - 6*w**2 + 4*w. Does 10 divide a(-5)?
False
Is 14 a factor of 4 + (4 - -157) + -3?
False
Let o be 4*4/16*4. Suppose -o*b - 74 = -6*b. Is b a multiple of 13?
False
Suppose -q - 5*l = q - 68, 4*q = -3*l + 108. Is 14 a factor of q?
False
Suppose 645 = -17*a + 3484. Is 9 a factor of a?
False
Suppose -3*x - 10 = j, -4*j - x = -2*x - 25. Suppose -h + 3*k = -3*h - 5, k = -j*h + 7. Suppose -h*w = -w - 19. Is w a multiple of 7?
False
Suppose w - 16 = 5*a, -w + 2*w - 4*a = 14. Does 4 divide w?
False
Let k = -24 + 35. Let z(r) = 5*r - 3. Is z(k) a multiple of 19?
False
Let g(p) = -7*p**3 - p**2 - p. Let u be 4*(3 + 39/(-12)). Does 4 divide g(u)?
False
Suppose 2*l = f - 93, 0 = 5*f - 4*l - 163 - 272. Let u be (-29)/(-1)*(-3 - -1). Let a = f + u. Does 12 divide a?
False
Let a(b) = 4*b - 2*b + 8*b. Let k be a(1). Let g = k + 9. Is g a multiple of 12?
False
Suppose -5*p - 3*d + 36 = -2*d, -5*p - 4*d + 39 = 0. Suppose 0 = -p*k + 8*k - 24. Does 12 divide k?
True
Let b(c) = -35*c - 59. Is 17 a factor of b(-8)?
True
Let v = -3 + 4. Suppose -2*y - 10 = 0, -2*y - 9 = u - v. Is 5 a factor of u + 27/(2 - -1)?
False
Suppose -2 - 8 = -2*s. Suppose s*c + 4*i = 90, 3*c - 32 = -5*i + 22. Is 9 a factor of c?
True
Suppose 10*a = 5*a + 150. Is 10 a factor of a?
True
Suppose -4*r - r = -75. Is 5 a factor of r?
True
Let t = 7 - 1. Is t a multiple of 4?
False
Suppose 5*z - 7*z = -6. Suppose 5*o = -4*g + 105, -3*g - 63 = -0*o - z*o. Does 7 divide o?
True
Suppose -4*r = r - 195. Let v = r - 7. Is v a multiple of 16?
True
Let p = 8 - 4. Is 2 a factor of p?
True
Suppose -o = -0*o - 16. Suppose 6*t - 2*t = o. Suppose 3*f = t*q + 10, -5*q = -f - 0*f - 15. Is 10 a factor of f?
True
Suppose -z + 53 = 8. Does 9 divide z?
True
Is (-12)/(((-3)/15)/(32/20)) a multiple of 3?
True
Suppose l = -5*h + 10, 5*l + 0*l = 3*h + 162. Let i be (4 + -1)/((-9)/l). Let q = -6 - i. Is q even?
True
Let o be ((-4)/3)/(6/81). Let j be ((-6)/o)/((-2)/(-30)). Suppose -z - j*s + 34 = -2*s, 2*z - 73 = -s. Is z a multiple of 13?
False
Is 60 - 0*(-1)/(-4) a multiple of 20?
True
Suppose f - 227 = -4*d, 3*d + 7*f = 4*f + 159. Is d a multiple of 13?
False
Suppose 1 = i - 24. Is i a multiple of 12?
False
Let o(s) = -5*s + 3. Suppose -4*x + 4 = 16. Is 13 a factor of o(x)?
False
Suppose 2*l - 10 = -2*n, -2*n + 20 = 2*n - 4*l. Is n a multiple of 3?
False
Suppose -3*f + 9 = -0. Suppose 3*a + a - 4 = -f*u, 15 = -3*a. Is u a multiple of 4?
True
Let w = 17 - 10. Suppose a - w = 13. Is a a multiple of 8?
False
Let p = 15 + -3. Suppose -p = -s - 0. Does 5 divide s?
False
Suppose 0 = h + h - 126. Does 13 divide h?
False
Let t = 677 - 388. Does 17 divide t?
True
Let x = -11 + 15. Suppose -q = 3*q + x*f - 8, 4 = -q + 5*f. Let g = 6 - q. Is g a multiple of 5?
True
Suppose 5*s - 4*d = 293, -2*s + d - 6*d = -137. Is s a multiple of 10?
False
Suppose 4*f + 4*z + 6 = z, 8 = -2*f - 4*z. Let u(i) = 3*i**2 + 10*i + f*i**2 - 6*i + 5. Is u(-4) a multiple of 21?
False
Let q(l) = l**3 + 5*l**2 - 8*l - 7. Let a be q(-6). Suppose 0*d = -a*d. Suppose c + 3*f - 47 = -d*c, -2*c + 5*f = -83. Is 19 a factor of c?
False
Suppose -t + 35 = 3*o - 28, -t + 69 = -3*o. Does 6 divide t?
True
Suppose -i = -2*t + 39, 2*i - 4*i = -t + 24. Is t a multiple of 16?
False
Let h = 5 + -1. Does 12 divide -2 - (3 - h) - -50?
False
Let q(g) = -g**2 - 10*g - 8. Let l = -15 - 0. Let x = l + 7. Does 8 divide q(x)?
True
Let a be -7*(-2)/28*4. Let j be -1*(-2 + a) - -1. Suppose -j + 19 = 2*c. Does 7 divide c?
False
Is 10 a factor of (-574)/(-4) + (-5)/10?
False
Let r(d) = -d**3 + 5*d**2 + 4. Suppose 3*w + 5 = 4*w. Let k be r(w). Suppose -n - v = -11, 5*n = k*n + 3*v - 1. Is 4 a factor of n?
True
Let j be 60/(-8)*4/(-6). Suppose -5*u - 356 = j*r - 41, 4*u + 225 = 5*r. Let a = 90 + u. Is 12 a factor of a?
False
Suppose 3*t - 5*t + 26 = -3*y, -4*t - 4*y + 12 = 0. Suppose g = 2*g - t. Is 7 a factor of g?
True
Let r = -16 + 31. Does 5 divide r?
True
Let z = -10 + 14. Suppose z*f - 4*r - 70 = 3*f, -3*f + 240 = 3*r. Suppose f = 2*h + 8. Is h a multiple of 12?
False
Let f(m) = m**2 + 7*m - 6. Is 6 a factor of f(-10)?
True
Let j(q) = 2*q - 2. Let a = -15 + 21. Does 6 divide j(a)?
False
Let v(m) = -m - 5. Let r be v(-9). Suppose 2*b - k = 43, 0 = -b + r*k - 14 + 53. Suppose -j = -b - 18. Does 11 divide j?
False
Let o(p) = p + 13. Does 2 divide o(-11)?
True
Let q(g) = 4*g**2 + 7*g**2 - g**3 - 17*g + 12 + 6*g. Let n be q(10). Suppose n*y + y = 24. Is 4 a factor of y?
True
Suppose 4*s - 16 = -0. Let f be (2 + -14)*(3 - s). Suppose -f = -4*q + 4. Is 4 a factor of q?
True
Let w = -6 + 2. Let a = -2 - w. Suppose 3*r - 5 = 2*q + a, 0 = 4*r - 4*q - 4. Is r a multiple of 2?
False
Suppose -4*u - 14 = -2*f, 9*f - u - 63 = 5*f. Does 16 divide f?
False
Suppose -3*u = -8*u + 185. Suppose 23 = 2*w - u. Does 10 divide w?
True
Let u(f) = 23*f**2 + 3*f. Let t(q) = 47*q**2 + 7*q. Let g(v) = -4*t(v) + 9*u(v). Is g(1) a multiple of 9?
True
Let n be 5/(-2)*4/(-5). Suppose -s = -n*s - 3*w + 92, 4*s - 336 = -4*w. Is 24 a factor of s?
False
Suppose -100 = -2*s - 2*s + 4*i, 0 = -2*s - 4*i + 74. Is 15 a factor of -1 + s + 4/2?
True
Suppose -49 - 7 = -4*r + 3*x, r + 9 = -5*x. Does 11 divide r?
True
Let p = 55 - 19. Is p a multiple of 6?
True
Suppose -5*i - 1 - 29 = 0. Does 9 divide i*(-4)/(-9)*-9?
False
Suppose 76 = 5*w + o, 4*w = -2*o - 9 + 65. Let i(l) = -3*l**3 + l. Let z be i(-1). Suppose -n - w = -z*n. Does 16 divide n?
True
Let v be (-8)/12 - 28/(-6). Suppose -2 = -v*a - 6. Is 7 a factor of (-9 - (a + 4))*-1?
False
Let p be 79/2 + (-1)/2. Suppose 477 - p = 6*i. Does 16 divide i?
False
Suppose -b + 0*b = 0. Let t be -1*b*1/2. Does 9 divide 1*(19 - (t - -1))?
True
Let r = -173 - -248. Let n = r + -21. Is n a multiple of 27?
True
Let j(i) = -3*i - 35. Is 4 a factor of j(-13)?
True
Suppose r - 5 = -2. Suppose 102 = 4*k - 3*n, 9 = -3*n + r. Is k a multiple of 7?
False
Suppose 60 = 7*b - 2*b. Is 6 a factor of b?
True
Suppose 18 = -5*i + 8*i. Let o be 7*4/(8/i). Is 13 a factor of (18/o)/((-3)/(-63))?
False
Let x be 2/10 - 2/10. Suppose x = -r + 6*r - 405. Suppose -4*y = f - 2*f - 75, 3*f = 4*y - r. Is 9 a factor of y?
True
Suppose -2*q = -10, 3*f - 16 = f - 2*q. Suppose -f*l - 2*l = -60. Is l a multiple of 12?
True
Let u(j) = 6*j**2 + 2*j - 6 - j**3 + 3 - 14*j**2 - 3*j. Is 5 a factor of u(-8)?
True
Is 9 a factor of (0 - -45)*4/10?
True
Let m be (-7)/28 - 41/(-4). Let u be (4 - -6)*4/m. Suppose -u*k + 42 - 6 = 0. Is 9 a factor of k?
True
Let o be 3 + 63/3 - -2. Let a = -2 + o. Does 12 divide a?
True
Suppose -65 = -0*c - 5*c. Does 13 divide c?
True
Let b = -7 + 7. Suppose b = -w + 4*w - 174. Is w a multiple of 18?
False
Does 5 divide 1 + -4 - (-5 + -23)?
True
Let w(h) = h**2 + 10*h. Let y be w(-10). Let u(d) = -d**2 + 4*d + 2. Let o be u(3). Suppose 2*r - o + 1 = y. Is r a multiple of 2?
True
Suppose 4*y - 5 - 1 = -g, -4*y = -4*g + 4. Suppose b - 3*p = 63, 2*b + g*p = 6*p + 126. Does 19 divide b?
False
Let b(u) = -2 + 2*u - 4*u - 5 + 3. Is 4 a factor of b(-5)?
False
Suppose p = 6*p - 20. Suppose -21 = -p*z + z. Is 2 a factor of z?
False
Let o = 131 + -86. Is o a multiple of 21?
False
Suppose 2*q = -5*l + 121, 2*l + 153 = 2*q + q. Is q a multiple of 29?
False
Let d = -12 + 45. Suppose -2*t = t - d. Does 3 divide t?
False
Let f(l) = -l**3 - 1. Let y(s) = 2*s**2 + 5 - 2*s**2 + 2*s**3 + 48. Let r(h) = 3*f(h) + y(h). Is 17 a factor of r(0)?
False
Suppose 2*z = 3*c + 258, -4*z - 7 + 539 = 2*c. Suppose -3*a - a = -z. Does 11 divide a?
True
Suppose 0 = 2*p - 212 + 50. Does 27 divide p?
True
Suppose 3*i - 10 = -w, i + 0*i = w - 6. Does 5 divide w?
False
Let q be (-4)/(-10) + (-713)/(-5). Let r = q - 100. Suppose -2*l = -109 + r. Does 11 divide l?
True
Let n = 23 - 14. Is 354/n - 2/6 a multiple of 13?
True
Let k(g) = -2*g**3 - 4*g**2 - 8*g + 3. Let s(t) = -t**3 - t**2 - t + 1. Let c(m) = -k(m) + 4*s(m). Does 16 divide c(-3)?
False
Suppose 5*z + 2*x - 44 = 0, 6*z - 49 = 2*z + 3*x. Does 5 divide z?
True
Suppose 0 = 3*w - x + 3 - 1, 2 = 3*w - 2*x. Let l = 6 - 4. Is 1 - (l - (25 + w)) a multiple of 11?
True
Let v(f) = -f + 13. Let a be v(0). Suppose -t = j - 14, -2*t = 2*j + 3*t - a. Is j a multiple of 16?
False
Let p(r) = 2*r**2 - 6*r - 5. Suppose 4*s + 21 = -5*y, 3*s - 1 = 2*s + 5*y. Does 14 divid