Is t a multiple of 10?
True
Let h(l) = l**3 + 10*l**2 + 8*l + 9. Is 15 a factor of h(-6)?
True
Let h = -11 - -5. Is -2*(-2 + 165/h) a multiple of 15?
False
Let u = 74 - -6. Is 10 a factor of u?
True
Let l = 2 + 3. Suppose 4*g + l*t = 141, 3*g - 4*t - 46 - 52 = 0. Is 16 a factor of g?
False
Let g(a) = a**3 - 2*a**2 - a. Let w be g(-1). Is w + (33/1)/1 a multiple of 13?
False
Let p = 113 - 41. Does 13 divide p?
False
Suppose 0 = -5*m - 189 + 24. Let b = -16 - m. Does 5 divide b?
False
Let j(z) = z**3 + 9*z**2 + 4*z + 10. Is 21 a factor of j(-8)?
True
Let l(q) = -q**2 - 7*q - 7. Let m be l(-5). Let g = m + 14. Is 17 a factor of g?
True
Let w(y) be the third derivative of y**6/120 + 3*y**5/20 - 13*y**4/24 - 2*y**3 - y**2. Is w(-10) a multiple of 18?
True
Suppose -31 = 6*b - 3*b - 5*w, 0 = -4*w + 20. Let j be (b/4)/(1/(-10)). Suppose 2*v = j*v - 96. Is 16 a factor of v?
True
Suppose 0 = 2*n + 2 - 6. Let d(p) be the third derivative of p**6/30 - p**5/20 + p**4/12 + p**3/6 - 9*p**2. Does 10 divide d(n)?
False
Let f(q) = q - 4. Let c be f(8). Suppose c*x + 66 - 178 = 0. Is 10 a factor of x?
False
Suppose 15 = q + 4. Suppose -c - q = 2*x, 5*c - 4*x + 44 = -3*x. Is 4 a factor of (21/c + 2)*-15?
False
Let a(s) = -5*s - 5 - 1 + 5 + s**2 + 0. Let d(y) = 7*y**3 + 2*y**2 - 2*y + 1. Let q be d(1). Does 12 divide a(q)?
False
Let h(d) = -4*d**3 + 2*d**2 - 3*d - 2. Let n(a) = -a**3 - a**2 - a - 1. Let j(b) = h(b) - 5*n(b). Is 9 a factor of j(-6)?
True
Let o = 88 - 35. Is o a multiple of 17?
False
Let c = -184 - -371. Does 17 divide c?
True
Suppose -s = 5*d - 18, -4*s + 5*d + 10 = -12. Suppose j = 3*j - s. Suppose 4*i - 76 = -j*v, -5*i + 59 = 3*v - 4*i. Does 10 divide v?
True
Suppose -3*x = -27 - 12. Is 5 a factor of x?
False
Suppose -2*k = 4*w + 96, 4*k - 4*w + 185 = -67. Let a = 83 + k. Does 10 divide a?
False
Let d(o) = o**2 + 4*o + 3. Let t be d(-4). Suppose -h - t = -12. Suppose -2*w + 1 = -h. Does 5 divide w?
True
Let c(r) = 49*r**2 + r + 1. Let u be c(-1). Let s = u - -19. Is s a multiple of 20?
False
Let j be 28*(-5)/2 + 3. Let b = 98 + j. Is 14 a factor of b?
False
Is (-11)/(-2)*(-10)/(-5) a multiple of 3?
False
Let f(y) be the first derivative of -19*y**2/2 - 9*y + 8. Is f(-3) a multiple of 16?
True
Suppose -2*l = 5*o - 175, -5*l + 3*o = -l - 285. Is 20 a factor of ((-90)/l)/(2/(-75))?
False
Suppose 3*c - 396 = -15. Let g = c + -77. Is g a multiple of 12?
False
Suppose -3*b = -0*b - 90. Suppose 2*y + y = b. Does 10 divide y?
True
Let y(p) = -16*p**2 + 3*p + 2. Let k(r) = 15*r**2 - 4*r - 3. Let w(u) = -3*k(u) - 4*y(u). Suppose -4*c = -3*q - 3, -3*c = -2*c. Is w(q) a multiple of 20?
True
Suppose -9 = -2*z + 7. Does 2 divide z?
True
Let z = -126 + 202. Let a = 137 - z. Does 22 divide a?
False
Suppose -3*b = -b + w - 113, 261 = 4*b - 5*w. Suppose 2*p - 3*v = p + 50, 150 = 5*p + 5*v. Let u = b - p. Is u a multiple of 12?
True
Let p = -178 - -241. Does 3 divide p?
True
Let a(z) = -8*z + 28. Is 33 a factor of a(-13)?
True
Let m = 59 + 25. Suppose 2*h - 6*h + m = 0. Is 21 a factor of h?
True
Suppose 3*i - 945 = 3*j, 950 = 3*i - 7*j + 5*j. Suppose -x + i = x. Suppose 0 = -3*l - 2*l + x. Is 12 a factor of l?
False
Suppose -5*s + 588 = 2*s. Does 42 divide s?
True
Suppose 3*n = 4*n - 2*a + 4, 0 = -n + 4*a - 6. Let z be 2 - (-4)/(-2) - n. Suppose y - 54 = -z*m, -43 - 89 = -5*m - 4*y. Is m a multiple of 14?
True
Let m = 58 - 21. Let t = 27 + m. Suppose 159 - t = 5*v. Does 17 divide v?
False
Let j(g) = g**2 - 4*g - 9. Let y = 14 - 22. Is 29 a factor of j(y)?
True
Let y(x) = 2*x + 11. Does 3 divide y(-4)?
True
Let d(w) = -2*w**2 + 2*w + w**2 + 2*w**2 - 6. Suppose 4*p + 2 - 18 = 0. Does 9 divide d(p)?
True
Suppose -s - s + 4 = 0. Suppose 2*p + 98 = 2*r, s*p = -5*r + 5*p + 243. Is r a multiple of 16?
True
Suppose 16 = 8*m - 6*m. Suppose -m*u + 12*u - 124 = 0. Is u a multiple of 8?
False
Let q be 2/2*(0 + 3). Suppose q*u + 2*u - 35 = 0. Does 2 divide u?
False
Is 6 + -3 + -6 - -7 a multiple of 4?
True
Suppose -x + 3*b + 10 = -0*x, -2*b = 6. Is 12 a factor of (4/6)/(x/21)?
False
Suppose 2*m + 0*m = -10. Let b = 5 + m. Suppose -3*q + 68 + 82 = b. Is q a multiple of 19?
False
Suppose 9 = -3*q - 5*x - 18, 0 = -2*q - x - 18. Does 6 divide 136/6 - (-6)/q?
False
Is 12 a factor of 14 + 3*(-2)/3?
True
Let s = -8 - -5. Is 28 a factor of -14*((-5 - s) + -2)?
True
Let k(n) = 10*n**3 - 4*n**2 + n + 2. Let p be k(2). Suppose -6 = 2*y - p. Suppose 5*d = y + 29. Is 6 a factor of d?
True
Suppose -3*c = -2*f, c - f = 3*f. Suppose c = j + j - 10. Let p = -3 + j. Is p a multiple of 2?
True
Suppose k + p - 34 = 3*p, 4 = -p. Let i = -10 + k. Does 8 divide i?
True
Suppose 0 = 5*d - x - 105, 5*d + 0*x - 100 = 2*x. Let f = d + -7. Is 5 a factor of f?
True
Let q = -22 + 108. Is q a multiple of 43?
True
Suppose -30 = 147*x - 150*x. Does 3 divide x?
False
Let o(r) = 2*r**2 + 12*r - 11. Is 16 a factor of o(5)?
False
Suppose 3*l + 5*f = -10, 5*l + 4*f + 9 + 12 = 0. Let k(c) = -c**2 + 8*c + 8. Let v be k(7). Let z = v + l. Does 6 divide z?
False
Suppose 2*k + 0*k + 16 = 0. Does 17 divide (-338)/k - (-2)/(-8)?
False
Let v be ((-2)/2)/(2/(-2)). Suppose -16 = -4*m + 3*q, -q - v - 15 = -4*m. Is m a multiple of 3?
False
Let l(t) = -4*t**2 + 2*t + 1. Let a be l(-1). Let x(r) be the first derivative of r**4/4 + 2*r**3 + r**2 - 5*r - 2. Is 4 a factor of x(a)?
False
Suppose 5*o - 7 - 13 = 0. Let n(s) = -s**2 + 3*s - 5. Let b be n(o). Let i = b + 33. Is 13 a factor of i?
False
Is 1*(21 - -2) - -3 a multiple of 6?
False
Does 33 divide 11/(((-8)/(-12))/2)?
True
Suppose 5*o + j - 379 = 0, -j = -3*o - 4*j + 225. Is o a multiple of 19?
True
Let w = -2 + 18. Is w a multiple of 6?
False
Let v(n) = n**3 - n**2 + n + 2. Let x be v(0). Suppose -5*r = 0, -5*r = j + j - 4. Is 24 a factor of (76/x - j) + 0?
False
Suppose 9*w - 4*w + 4*q - 112 = 0, 3*q - 109 = -5*w. Suppose 3*y - 10 - 2 = -2*m, 5*y - m - w = 0. Is y a multiple of 4?
True
Let l = 11 - -10. Does 6 divide l?
False
Let m(p) = -p**2 - 9*p + 3. Let o be m(-9). Let j(s) = 7*s + 12 + o*s - s**2 + 0*s**2 - 6. Is 2 a factor of j(10)?
True
Let h = -20 + 60. Is 10 a factor of h?
True
Let o(w) = -w**2 - 10*w - 9. Is o(-7) a multiple of 3?
True
Suppose 5*r = -18 + 68. Does 9 divide r?
False
Let z(v) = -v**2 - 3*v - 1. Let r be z(-2). Let f = 2 + r. Does 11 divide 1*4*f*1?
False
Let b = -192 + 306. Is 38 a factor of b?
True
Let f = 3 + -2. Let q(y) = 14*y**3 + y**2. Let u be q(f). Suppose -5*p = -4*p - u. Does 6 divide p?
False
Let k = -9 - -14. Let y(g) = g**2 - 3*g + 1. Is 4 a factor of y(k)?
False
Suppose 0 = -x + 3*f - 0*f - 8, 4 = -x - f. Let w(q) = -q**2 - 9*q - 6. Is 8 a factor of w(x)?
False
Let j = 953 + -561. Suppose 5*t = -92 + j. Does 18 divide t?
False
Let n(i) = -2 - 9*i - 1 + 1 - 2*i**2 + i**2. Let f be n(-9). Is 23 a factor of ((-12)/(-5))/(f/(-50))?
False
Suppose -u = 3*u. Let m(y) = -y + 51. Is 17 a factor of m(u)?
True
Suppose -9*n - 492 = -13*n. Is n a multiple of 21?
False
Let q = -2 - 1. Let v(k) = -k**2 - 5*k + 2 + k + k. Is v(q) a multiple of 2?
True
Let r = 27 - 15. Is r a multiple of 12?
True
Suppose -10 = -2*g - o, 0*g + 24 = 5*g + 3*o. Is g a multiple of 4?
False
Suppose 4*u - 49 = 35. Suppose 14 = 3*q - 4*l - 48, -l - u = -q. Is q a multiple of 11?
True
Let d(l) = -1 + 0 + 1 - 4*l. Is 22 a factor of d(-11)?
True
Let o be (-3)/2 - (-95)/10. Suppose z - 4 = -b, -2*b = -3*z - 1 + o. Is z even?
False
Suppose 12 = -4*y + y. Does 22 divide y/(-12) + 80/3?
False
Let i(t) = 6*t**2 - t - 2. Let d(k) = k**2. Let z(f) = -5*d(f) + i(f). Is z(-4) a multiple of 8?
False
Let b be (-466)/(-14) - (-4)/(-14). Suppose b = 2*p - 7. Does 13 divide p?
False
Suppose 7 = -5*q + 32. Let g = 19 - q. Is 13 a factor of g?
False
Does 10 divide ((-32)/(-8) - 4) + 20*4?
True
Let k = -12 + 6. Let x(p) = -4*p + 2 - 3*p + 4*p. Does 10 divide x(k)?
True
Suppose -2*k = -5*k + 24. Is k a multiple of 3?
False
Let i(t) = t**2 + t - 4. Let c be i(-3). Let y(n) = -10*n + 6. Let a(d) = 9*d - 5. Let f(g) = 4*a(g) + 3*y(g). Is f(c) a multiple of 4?
False
Let u(z) = -3*z**3 - 4*z**2 - z - 2. Let f be u(-3). Suppose -2*j + f = -14. Suppose j = 5*m - 125. Is m a multiple of 16?
False
Suppose -3*t + 7 - 31 = 0. Is 10 a factor of 309/12 - (-6)/t?
False
Let x = 0 - 2. Let z(p) = 4*p**2 - 7*