 + 2*w**3. Is 11 a factor of k(6)?
False
Suppose 3*c = 2*x + 51, -4*x = -c + 5 + 22. Suppose 3 = -w + c. Is 6 a factor of w?
True
Let b = -22 - -50. Is 14 a factor of b?
True
Suppose 0 = -5*q + 3*y + 9, 0 = -0*q - 2*q + 5*y - 4. Suppose a - q*r = -0*r + 54, a - 30 = -3*r. Is a a multiple of 14?
True
Suppose -6*m + 514 = -m - 2*p, -4*p - 508 = -5*m. Is m/6*(-6)/(-4) a multiple of 8?
False
Let r be 30*(1 + 0 - 0). Suppose r = -2*c - c. Is c/(((-3)/(-6))/(-1)) a multiple of 10?
True
Suppose x + 5*i - 35 - 1 = 0, x = 3*i + 44. Does 5 divide x?
False
Suppose 4 = -4*t - 12. Let l = -1 - t. Suppose 0 = 4*h - 20, -2*h - l*h = -5*x + 30. Is x a multiple of 6?
False
Let y = 11 - 35. Let i = 63 + y. Is 16 a factor of i?
False
Let j = 58 - 1. Let x = -30 + j. Is x a multiple of 7?
False
Let t(q) = q**3 - 15*q**2 + 14*q + 5. Let p be t(14). Suppose 2*u + 0*u + 158 = 5*b, -2*b = p*u - 40. Is b a multiple of 15?
True
Let v be 133/49 - 2/(-7). Suppose 4*s - 159 = -v*q, 2*q + 37 = s - 0*q. Does 15 divide s?
False
Suppose -a + 2*n + 24 = 2*a, -a = 2*n. Suppose f = 4 - 5, -4*i - 2*f = -a. Suppose 6*k - k = -3*s + 35, 5*s - 71 = -i*k. Does 15 divide s?
True
Let i(k) = k**2 + 8*k + 8. Let y be i(-8). Suppose y = 3*j + 20, j = -4*h + 128. Does 11 divide h?
True
Let z(i) = -i**2 - i - 1. Let l be z(3). Let y = l + 31. Does 11 divide y?
False
Is 20 a factor of 63/6*160/12?
True
Suppose 7*w - 2*w = 25. Suppose -5*j = -v + w, 6 = -4*j + 2. Suppose v*c = 3*c - 12. Does 4 divide c?
True
Is 79/(5/15 + 0) a multiple of 6?
False
Let q(w) = -w**2 + 10 + 0*w**2 + 0*w + 6*w. Let z be q(7). Suppose -u - 2*k + 85 = 0, 0*u = 2*u - z*k - 135. Is 27 a factor of u?
False
Let h = 35 + -21. Does 6 divide h/49 + 82/7?
True
Let u(s) = 3 - s**2 + s + s**3 - 7 - 6*s**2. Does 3 divide u(7)?
True
Suppose 3*k - 18 = -4*o, -3*o + 5*o + 46 = 4*k. Let m(j) = j**3 - 10*j**2 + j - 1. Does 3 divide m(k)?
True
Let x be 82*(-2)/(-4) - 1. Suppose -x = -b - 10. Does 10 divide b?
True
Suppose -4*x = -2*x. Suppose 4*k - 5*k + 5 = x. Does 3 divide k?
False
Suppose 1 - 13 = 3*z. Is 13 a factor of z/(-18) + (-2128)/(-63)?
False
Suppose -l + 240 = 7*l. Does 2 divide l?
True
Let a(g) = 4*g + g**3 + 9*g**2 + 2 + 0*g - 7 - 4*g**2. Let o be a(-5). Let u = o + 62. Does 17 divide u?
False
Does 17 divide (-42)/(-8)*80/6?
False
Let b be (1 - 27) + 0/(-1). Let x = 80 - 37. Let s = x + b. Is 17 a factor of s?
True
Let f = -19 - -15. Let z(d) = -d**3 - 6*d**2 - 1. Let y be z(-5). Is f/y + (-618)/(-39) a multiple of 13?
False
Let t = -10 - 5. Let x = 20 + -8. Is 15 a factor of x/t*75/(-2)?
True
Let q = -37 - -163. Is q a multiple of 9?
True
Suppose -53 + 128 = -5*t. Let n = t + 30. Is 7 a factor of n?
False
Let j(x) be the second derivative of x**3/6 + 11*x**2 - 2*x. Is j(-12) a multiple of 5?
True
Suppose 2*p + 216 = 5*p. Let g = p + -42. Suppose g = i + 5. Is 11 a factor of i?
False
Suppose 5*s - 126 = -4*s. Does 2 divide s?
True
Let l = 100 - 58. Suppose 2*g = -g + l. Does 9 divide g?
False
Let w be ((-414)/15)/(3/(-10)). Suppose -12 = 5*l - w. Suppose -5 - l = -x. Does 9 divide x?
False
Suppose 5*x = m + 79, -35 + 111 = 5*x - 4*m. Does 8 divide x?
True
Let m = 83 + -71. Is m a multiple of 12?
True
Suppose -4*s - 1 = 19. Let h be -4 - (3 + s) - -22. Suppose -5*b = -h, 31 = 4*u + b - 105. Is 10 a factor of u?
False
Let j(w) = w**3 - 7*w**2 + 8*w - 9. Suppose 5*b = 4*m - 32, b = -3*b - 4*m - 40. Let d = b + 14. Is j(d) a multiple of 2?
False
Suppose -4*a - 160 = -8*a. Is a a multiple of 10?
True
Let j = -14 - -94. Suppose v + v = j. Is 11 a factor of v?
False
Let d = -10 - -14. Suppose -z + 5*q = -79, -4*z + 5*q - d*q + 411 = 0. Suppose -3*n + 130 = 2*n - s, 0 = -4*n + 3*s + z. Does 7 divide n?
False
Let s be 150/12 - (-1)/2. Is 5*2/5*s a multiple of 13?
True
Let d be (3/(-5))/(4/(-20)). Suppose 2*u + 255 = 5*i - 2*u, -d*u = 0. Does 34 divide i?
False
Suppose -5*s + 365 = -5*y, 2*s = -0*y - 5*y + 181. Suppose 0 = -4*r + 8, -r = -3*w - s - 53. Let j = w + 82. Is 13 a factor of j?
True
Let y = -3 - -14. Is 9 a factor of y?
False
Suppose 15*r - 3386 = -566. Is r a multiple of 37?
False
Let u(n) = n**3 + 5*n**2. Let t(r) = 5*r**2 - r - 1. Let d be t(-1). Suppose -11 = -g + 5*a, -d*g = -3*g - 5*a - 7. Is u(g) a multiple of 16?
True
Let v be 0/(3 + 0 + -1). Suppose -d + 2*d - 40 = -5*r, -4*d - 5*r + 85 = v. Suppose -4*p - p + d = 0. Is p a multiple of 2?
False
Suppose 2*u - 43 - 31 = 0. Suppose -2*c = -3*a - a + 86, 3*a - u = -4*c. Is 16 a factor of a?
False
Suppose -20 = -5*z - s, -z - 5 = 2*s - 0*s. Let b(w) = 6*w - 6. Let h be b(z). Let o = h + -6. Is o a multiple of 9?
True
Suppose 8*u = 4*u + 252. Is 28 a factor of u?
False
Suppose 0*q + 12 = -q. Does 8 divide (64/q)/((-6)/45)?
True
Let s(y) = 6*y**2 - 22*y - 6. Is 26 a factor of s(6)?
True
Let g = 31 - -47. Is 13 a factor of g?
True
Suppose 3*f + 0*h = h + 410, -4*f + 3*h + 540 = 0. Is -9 + 12 - f/(-2) a multiple of 24?
True
Let a(s) = s + 9. Let t be a(-7). Suppose 0 = b, 30 = t*n - 2*b + 7*b. Is 12 a factor of n?
False
Is (-56)/(-6) - 12/(-18) a multiple of 3?
False
Let y = 26 - 16. Let i(d) be the second derivative of d**3/6 - 3*d**2 + d. Is 3 a factor of i(y)?
False
Let k(l) = 4*l + 8. Let n = 16 - 9. Is 12 a factor of k(n)?
True
Let k(n) = -n. Let p be k(2). Let x(a) = -6*a - 1. Is x(p) a multiple of 3?
False
Suppose -u = -3*u + 214. Is 23 a factor of u?
False
Suppose 4*z + 38 = 278. Does 20 divide z?
True
Let d = -7 - -16. Is d a multiple of 2?
False
Suppose w + 0*l - 3*l + 11 = 0, 7 = -2*w + l. Let x = w - -3. Is -24*(x - 15/9) a multiple of 13?
False
Let h(b) = -b**3 - 11*b**2 + 6. Let j be h(-11). Let d = 18 - j. Is 4 a factor of d?
True
Suppose 2*f = 3*f - 60. Is 20 a factor of f?
True
Let l(c) = -3*c - 4. Suppose u - 2 + 5 = 0. Let s be l(u). Suppose -s*q = -10, 3*t - 3*q + 1 = 7. Is 2 a factor of t?
True
Is 9 a factor of (9 + 18)/((-3)/(-2))?
True
Let c = 8 - 63. Is c/2*(-4 + 2) a multiple of 23?
False
Let b = 9 + -2. Is b a multiple of 2?
False
Suppose 2*s = -0*s + 22. Let n be ((-60)/(-70))/(1/(-7)). Let d = n + s. Is d a multiple of 2?
False
Is 9 a factor of 4/12 + (-53)/(-3)?
True
Let r = 111 + -75. Does 12 divide r?
True
Let s be 28/12 - 2/6. Let k(z) = 3*z**3 - 2*z**2 + 2*z - 2. Does 9 divide k(s)?
True
Suppose 3*b + 22 - 277 = 0. Is b a multiple of 5?
True
Suppose 49 + 149 = 3*p. Suppose -r + p = -0*r. Is r a multiple of 24?
False
Is 5 a factor of (-4)/6 - (-32)/3?
True
Let f = 94 - 55. Is 13 a factor of f?
True
Let s = -2 + 3. Is (0 + s)/(-1) + 25 a multiple of 12?
True
Let m(h) = 13*h - 28. Is m(7) a multiple of 22?
False
Suppose 0 = -t + 6*x - 2*x - 14, -t + 26 = 4*x. Suppose 22 - t = -4*m. Does 17 divide ((-17)/(-2))/((-2)/m)?
True
Let p be 2/(-8) + (-18)/(-8). Suppose -p*b - x = -5, -2*x - x = -b + 20. Does 5 divide b?
True
Suppose -3*f + 35 = 2*c - 16, -c - 5*f = -36. Is 7 a factor of c?
True
Let i be -2 + (-3 - 7 - 3). Let n = 3 - i. Is 13 a factor of n?
False
Let j = -5 - -22. Does 3 divide j?
False
Let o be 15/6*(-1 + -1). Is 5 a factor of ((-2)/2*o)/1?
True
Let d = 18 - 15. Let s(c) = c**3 + 2*c**2 + 6*c - 7. Is 14 a factor of s(d)?
True
Let g = 11 - 8. Suppose p - 40 = -4*w + 5*p, -58 = -g*w - 4*p. Does 7 divide w?
True
Let s = 154 - 69. Does 22 divide s?
False
Let x(a) = a**2 - 8*a - 21. Is 12 a factor of x(11)?
True
Suppose 85 + 5 = 2*w. Is 10 a factor of w?
False
Let a(p) be the third derivative of -p**8/6720 + p**7/315 + p**5/30 + p**4/12 + 2*p**2. Let v(o) be the second derivative of a(o). Is v(8) a multiple of 2?
True
Suppose 7*d - 38 = 5*d + 2*q, 3*d - 57 = 2*q. Is d a multiple of 6?
False
Suppose 3*w - 3*p - 394 = -4*p, 530 = 4*w - p. Suppose o + z - 20 - 10 = 0, -4*o + w = -2*z. Is 12 a factor of o?
False
Let u(w) = 4*w + 6 - 3 - w**2 + 0. Let d be u(9). Does 15 divide (-12)/d - (-103)/7?
True
Suppose -2*t + 6 + 20 = 0. Let n = -6 + t. Suppose -3*q + n*q = 128. Is 11 a factor of q?
False
Let r(t) be the second derivative of 5*t**3/6 - 7*t**2/2 - 5*t. Suppose c - 7 = -0*c. Does 14 divide r(c)?
True
Suppose 0*d - 3 = -3*d - 3*g, -3*d + g = -3. Let i(q) = 29*q - 1. Is i(d) a multiple of 28?
True
Suppose -j = -5*j. Let r(s) = -2*s**3 - s + s**3 + 12 + j*s**3 + 3 + 12*s**2. Is r(12) even?
False
Let l(t) = -t**2 - 4*t - 5. Let s b