-w + 1 = -4*i. Is 2 a factor of i?
False
Let p(v) = -v**3 - 7*v**2 + v + 8. Let h be p(-7). Is h*-1*(12 + -41) a multiple of 10?
False
Suppose 5*s = -4*f - 0*s + 26, 4*s - 8 = 0. Suppose -f*k = -0*k - 48. Is k a multiple of 8?
False
Let t = 7 - 0. Let n(d) = -d + t + 0*d + 2*d. Is n(10) a multiple of 17?
True
Suppose 2*a = 5 - 1. Suppose 0 = -a*i - 2*i - 44. Let y = i - -20. Is 6 a factor of y?
False
Suppose -2*a + 330 = a. Suppose -5*s = 2*k - 3*k + 22, 0 = -5*k + 4*s + a. Is 11 a factor of k?
True
Suppose -7*k + 2216 = k. Does 52 divide k?
False
Suppose 5*x + 35 = 4*i, i - 2*x = 3*i - 4. Suppose d + 540 = i*r - 2*d, -324 = -3*r - 2*d. Suppose -4*o = -2*k + k + 8, -3*o = 4*k - r. Does 12 divide k?
True
Is 6 a factor of 11 + -2 - (-22)/(-11)?
False
Let f(m) = -m**3 - m**2 + 12. Let t be f(0). Is 2 a factor of 6/t*6/1?
False
Suppose 0 = -2*s + 25 + 37. Is s a multiple of 16?
False
Suppose 0*t + 24 = 4*t. Let c(w) = -w**3 + 7*w**2 - 3*w + 2. Does 9 divide c(t)?
False
Suppose 2*x = -3*x + 180. Suppose -w + x = -0*w. Is 12 a factor of w?
True
Suppose -5*i = 5*w - 175, -5*w = -3*w + 4*i - 64. Is w a multiple of 13?
False
Let j(w) = w**3 + 5*w**2 - 4*w + 2. Let y be j(-6). Does 10 divide (-2)/y + 228/10?
False
Suppose -5*m - 70 = -7*m. Does 12 divide m?
False
Suppose 4*t + 3*f - 1 = 0, t + 3*f + 7 = 5*t. Let p be (t + -4)*(-1 + 0). Is 4 a factor of 5*2*p/6?
False
Suppose 0 = 5*f - 0 - 20. Is 3 a factor of (f/6)/(2/30)?
False
Let x(t) = 9*t**2 + 3*t. Does 10 divide x(3)?
True
Let j = 85 + -29. Is j a multiple of 8?
True
Let q be 3 + 79/1 + 2. Let k = q - 49. Let o = k + -19. Is o a multiple of 16?
True
Let t = -26 - -111. Suppose y - 216 = -5*j - 0*j, 2*j - y = t. Does 33 divide j?
False
Let g(x) be the first derivative of 2*x**3 + x**2/2 - x - 2. Is g(1) even?
True
Let p(n) = n - 24. Let z be p(0). Let u = 42 + z. Does 6 divide u?
True
Does 13 divide (-330)/(-4)*(-10)/(-15)?
False
Let i = 20 + 51. Let v = -50 + i. Is 21 a factor of v?
True
Suppose 8 - 58 = -5*g. Is (-1)/(-4)*0 + g a multiple of 10?
True
Let t(p) = 15*p**2 - p. Let k be t(-1). Suppose -k = 2*x + 40. Is x/(-6) + (-6)/(-18) a multiple of 2?
False
Let n(l) = l**3 + 6*l**2 - 4*l + 14. Is n(-6) a multiple of 5?
False
Suppose -5*z + 6 + 4 = 0, -n + 61 = 5*z. Does 17 divide n?
True
Let a(t) = 3*t**2 + 8*t + 4. Suppose 3*o + 4 = -11. Let z be a(o). Let w = -17 + z. Is 11 a factor of w?
True
Is (-5)/(9/5 + -2) a multiple of 25?
True
Let v be -2*(-3 + (-6)/(-4)). Suppose 3*m - o = v, -o + 3 = 2*m - 4. Suppose -3*d + m*d = -30. Is d a multiple of 21?
False
Let u(o) = -o. Let q be u(-5). Let j = 1 - 1. Suppose j*g + q*g = 65. Is g a multiple of 13?
True
Suppose 5*x = 9 + 11. Suppose g + x = 13. Does 6 divide g?
False
Let c(p) = 2 + 0*p - 4*p - 11*p. Let a be c(-4). Let b = a + -25. Does 14 divide b?
False
Let a(q) = -q + 1. Let d be a(-1). Suppose -d*i + j = -34, 71 = 5*i - j + 2*j. Is 15 a factor of i?
True
Suppose 0 = -4*h - 0*x - 4*x + 52, 0 = -5*h - 4*x + 62. Is h a multiple of 5?
True
Let f(s) = -s**3 + 6*s**2 - 5*s - 3. Let n = -3 - -7. Does 8 divide f(n)?
False
Let o(m) = -10*m**2 + m. Let w be o(-1). Let z = -5 - w. Suppose -j - 2*d = -5, 2*j + 5*d = z*d + 35. Is 11 a factor of j?
False
Let c = 10 - 14. Suppose -8*d + 24 = -4*d. Is 2/c*(-4 - d) a multiple of 5?
True
Suppose 71 = 5*r + 251. Is (r/(-5))/((-12)/(-80)) a multiple of 8?
True
Suppose -6 = -5*r + 4. Suppose -v + r*o + 3*o = 4, 5*v = 2*o + 72. Suppose 2*j = -n + v, -4*j + 35 - 87 = -4*n. Is 7 a factor of n?
True
Suppose 0 = -2*z + 8. Suppose z*m = 4*q + m - 78, 3*q - 69 = -3*m. Is q a multiple of 15?
False
Is 93/9*(3 + 0) a multiple of 19?
False
Let g(l) = -l**3 - 8*l**2 - 3*l. Let p be g(-4). Suppose 220 - 639 = 5*a + n, -a - 2*n = 82. Let s = p - a. Is s a multiple of 16?
True
Let r(p) = -p**3 - 5*p**2 - 6*p - 6. Let t be r(-4). Suppose t*h - 3*q = -0*h + 43, h + q - 29 = 0. Let w = h - 16. Is 8 a factor of w?
False
Suppose -3*a + 4*l + 25 = 3, 0 = 2*a + l. Let j(f) = -15*f - 6. Let m(g) = -5*g - 2. Let h(p) = -3*j(p) + 8*m(p). Is 8 a factor of h(a)?
False
Let i = 17 - 29. Let k = -8 + 33. Let a = k + i. Does 5 divide a?
False
Let u(x) = -2*x**3 - 6*x**2 + 4*x - 8. Is u(-5) a multiple of 13?
False
Suppose -60 - 103 = -g. Is 27 a factor of g?
False
Let r(z) = -6*z - 12. Let w be r(-10). Suppose 4*o + 61 = -3*i, -3*o + 4*o + 2*i + 9 = 0. Let s = o + w. Is 10 a factor of s?
False
Suppose -194 = -5*p + 251. Let x = p - 53. Does 12 divide x?
True
Let p = -22 + 41. Is 15 a factor of p?
False
Let i = -2 + 4. Suppose -2*t + 8 = i*t. Let f = t + 16. Is f a multiple of 15?
False
Let b(m) = m**3 + 5*m**2 - 5*m - 3. Is 31 a factor of b(4)?
False
Let w(d) = d**3 + d**2 + d. Let s be w(0). Suppose 96 + 9 = j + 3*p, 5*j - 4*p - 582 = s. Suppose 2*v = -3*v + 3*r + j, -5*v - 2*r = -124. Is 12 a factor of v?
True
Let d = -59 - -89. Does 10 divide d?
True
Let i = 23 + -19. Suppose y = i*y - 36. Is y a multiple of 12?
True
Let u(v) = -4*v**2 - 22*v - 2. Let t(s) = -s**2 - 7*s - 1. Let r(a) = -7*t(a) + 2*u(a). Let m be r(5). Suppose 6 = -m*c + 51. Is 7 a factor of c?
False
Suppose -9 = -2*k - k. Suppose -4*m + k = -21. Is 3 a factor of (2/(-4))/((-1)/m)?
True
Let v = 28 - -59. Is v a multiple of 14?
False
Let d(s) = 35*s**3 + s**2 + 2*s. Let t be d(2). Suppose 6*g - t = 2*g. Is g a multiple of 24?
True
Suppose -s + 5 = 10, i - 5*s = 22. Let q = i + 6. Suppose -q*r + 0*t = -5*t - 117, 4*r + t - 179 = 0. Is r a multiple of 22?
True
Suppose 4*l - 64 = -0*b + 4*b, -l = -4*b - 10. Does 18 divide l?
True
Let o(k) = k + 3. Let b be o(0). Suppose -4*h = -9*h + b*c + 175, 140 = 4*h + 4*c. Does 9 divide h?
False
Let m(z) = z**2 - 2*z - 2. Is m(5) a multiple of 2?
False
Let b(s) = s**2 + 2*s - 1. Is 7 a factor of b(-5)?
True
Suppose 51 = 4*o + 5*n, -5*o - n + 37 = -53. Does 13 divide o?
False
Let i be 36 + 1 - (1 + -1). Suppose 480 + 80 = 8*r. Let f = r - i. Is 12 a factor of f?
False
Let p be (2 + 10)*(0 - 1). Let o = p - -17. Is o even?
False
Let s(y) = y**2 - 6*y - 9. Let g be s(-5). Let i be (-43)/2 - 1/(-2). Let p = i + g. Is p a multiple of 20?
False
Suppose -10*l + 14*l = 168. Is l a multiple of 7?
True
Let m = -21 - -19. Is 7 a factor of 3 + m + 84/3?
False
Suppose -p = -21 - 1. Does 11 divide p?
True
Suppose -3*o - 19 = k - 165, 0 = 4*o - 3*k - 199. Suppose 10 = 2*s - q - 10, 3*q + o = 5*s. Is s a multiple of 11?
True
Let t(l) = -l**3 - l**2 + 5*l + 3. Let x be t(-3). Does 16 divide 4/(-6) + 196/x?
True
Let k(l) = -l**3 + 6*l**2 - l + 4. Is k(4) a multiple of 13?
False
Let v = 20 - 14. Let w be (2/v)/((-2)/(-18)). Let t(g) = g**2 - 1. Does 4 divide t(w)?
True
Suppose -2*y = -5*f - 65 + 18, 5*f = -4*y + 19. Is 11 a factor of y?
True
Suppose 0 = 5*j - 11 - 19. Let f = -2 - -8. Suppose k - f = j. Is 6 a factor of k?
True
Let r = 8 - 6. Let g(k) = -2*k + r*k + 5*k. Does 13 divide g(4)?
False
Let x(n) = -n - 1. Let t(j) = j**2 + 9*j - 14. Let u be t(-10). Let h be x(u). Suppose 2*s - 4*s + 105 = 5*q, 5*q = h*s + 130. Does 10 divide q?
False
Suppose 7 = 3*x - 20. Suppose 4*o - x = 5*u, 2*o + 0*o + 3*u - 21 = 0. Does 3 divide o?
True
Let g(t) = -12*t**2 - 12*t**2 + 28*t**2 + 3. Does 13 divide g(3)?
True
Suppose -3*m = 5*g - 180, 25 = -g - m + 61. Is g a multiple of 6?
True
Suppose 214 = 8*p - 26. Does 10 divide p?
True
Suppose 5*f - 2*i + 56 = 0, 2*f - i + 12 = -11. Let k = f + 31. Does 11 divide k?
False
Let c = 0 + 4. Suppose b - 2*x = 17, -93 = -5*b + c*x - 2*x. Does 19 divide b?
True
Suppose 9 = l + 3. Is l/21 - (-75)/7 a multiple of 11?
True
Suppose -4*f - 4*s + 20 = 0, -19 + 7 = -4*f + 4*s. Suppose -6 = 2*o - f*m, 6*m - 15 = -o + 2*m. Suppose o*w - 34 = w. Does 16 divide w?
False
Suppose 4*c = c + 171. Is c a multiple of 19?
True
Let v(g) = 9*g**2 - 5*g + 9. Is v(5) a multiple of 29?
False
Suppose d + 3*d - 120 = 0. Let x = d - -3. Is (x/9)/((-1)/(-9)) a multiple of 16?
False
Does 5 divide -4 + 7 + -1 + 13?
True
Suppose -b - 14 = -4*z, -5*b - 4*z = -7*z + 2. Suppose 2 = b*r - 124. Does 18 divide r?
False
Let t = 33 - 5. Does 7 divide t?
True
Let f be (-1 - -5)/(1 + 1). Suppose -f*l + 5 = -39. Is l a multiple of 7?
False
Let q = 86 + -28. Does 29 divide q?
True
Let c = 26 - 23. Suppose -c*z + 2*m + 72 = -2*m, 0 = z + 5*m - 43. Is z a multiple of 