28?
True
Let n(m) = 2*m**2 - 4*m + 1. Let i be n(3). Let t = i - 5. Suppose t*g + 0 = 8. Does 2 divide g?
True
Let u(r) = r - 1. Is 4 a factor of u(7)?
False
Suppose 3 = -5*m - 172. Is 16 a factor of (-3)/(2 - m/(-16))?
True
Let v(q) = q**2 + 7. Let j(y) = 3*y**2 + 20. Let z(a) = 4*j(a) - 11*v(a). Suppose -2*i - i = 9. Does 7 divide z(i)?
False
Suppose 0 = 2*p + o - 4 - 0, -3*o + 6 = 4*p. Let y be (3/p)/((-1)/31). Let a = -12 - y. Is a a multiple of 11?
False
Let z be 63*(1 - 0 - 0). Suppose 0 = i - 5*s - 89, i - s = 14 + z. Let b = i + -44. Is b a multiple of 15?
True
Let x be (2/6)/((-1)/(-9)). Suppose -x*n - 18 = -n. Let m = 11 - n. Is m a multiple of 8?
False
Let t be 5*3/(-15)*-14. Let z = t - 20. Let w = 22 + z. Is 8 a factor of w?
True
Let d(a) = 6*a**3. Let o be d(-1). Is -2 + 3/1 - o a multiple of 7?
True
Let c be 159/15 + 9/(-15). Let g = c + 0. Is 8 a factor of g?
False
Is 0 + 0 - -22*1 a multiple of 11?
True
Let u = 13 - -5. Is u a multiple of 6?
True
Let c be 46/10 - 4/(-10). Is 13 a factor of 2/c - (-189)/15?
True
Let c be 6/45 - (-2216)/30. Let h be 1 + -1 - 8*5. Let n = c + h. Does 17 divide n?
True
Suppose -22 = -8*a + 4*a - 2*u, -2*u = -3*a + 13. Suppose 0*t - a*t = -25. Suppose -34 = -o - t*i, 6*i - 6 = 3*i. Is o a multiple of 12?
True
Suppose 3*c + 23 = 56. Does 5 divide c?
False
Let g(z) = -2*z**3 + 2*z**2 + 2*z + 1. Let p = -8 + 7. Is 2 a factor of g(p)?
False
Let c(h) = 4*h**3 + h - 1. Let x be c(1). Suppose 0*i - x*i + 76 = 0. Is (-2 - (-3 + 2)) + i a multiple of 7?
False
Let s = 22 - 8. Suppose -2*i + 3*t = -3, -2*i - i - 5*t + s = 0. Does 16 divide 180/6 + -1 + i?
True
Let y be 0*((-3)/(-1) + -2). Suppose -g - h + 6*h = -43, 4*g - h - 77 = y. Suppose -4*k + 18 + g = 0. Is k a multiple of 9?
True
Suppose -4*h = z + h + 15, 3*z - 7 = -2*h. Suppose -2*s = -z*s + 60. Is s a multiple of 14?
False
Let s(a) = 6*a**2 - a. Let k be s(1). Let l = k + -11. Is (-4)/l*234/12 a multiple of 13?
True
Suppose -o + 135 = 2*o. Let t = o + -25. Is t a multiple of 10?
True
Suppose -7 = 3*x - 1. Let c be (-1)/(3/((-9)/3)). Is 19 a factor of c + 1 + (-34)/x?
True
Let u be (2 - 6)*(-4)/8. Suppose 3*v - v + u*y - 38 = 0, -4*y + 62 = 3*v. Is 7 a factor of v?
True
Let a(b) = 3*b + 8. Does 15 divide a(4)?
False
Suppose 0 - 21 = 3*c. Let p(x) = -3*x**2 + 15*x + 4. Let z(u) = -2*u**2 + 14*u + 4. Let s(r) = 3*p(r) - 4*z(r). Is 12 a factor of s(c)?
True
Let n = -10 - -15. Suppose 0 = -3*v + 6*v - 18. Suppose -4*q = -n*q + v. Does 4 divide q?
False
Let c be 8*1 + -2 - 2. Let y = 4 - c. Suppose -n = -2*m + 27, -12 = 4*n - y*n. Is m a multiple of 10?
False
Suppose 3*g = -g - 56. Does 14 divide (-4)/g + 876/21?
True
Let q = -18 - -22. Suppose -27 = o - q*o. Does 3 divide o?
True
Suppose 0 = i + 34 + 4. Let k = i + 67. Is k a multiple of 21?
False
Suppose -3*u + 7 = -u - f, 5*u + 3*f = 23. Suppose 4*g + u = 6*g. Suppose 2*n = g*d + 5*n - 17, -d = -2*n - 12. Does 10 divide d?
True
Let s(m) = -20*m - 4. Is 13 a factor of s(-3)?
False
Suppose s - 172 = -2*u - 3*s, -5*s + 80 = u. Does 19 divide u?
False
Let k(b) = 2*b**2 + 2 - 1 + 2*b**2 - 6*b**2. Let u be k(4). Let n = u - -43. Is 6 a factor of n?
True
Let m be -1*(2 - (-57)/(-3)). Suppose 3*h - m = -4*z, -z - 1 = -3*h + 6. Is z/(-1) + (13 - 0) a multiple of 9?
False
Suppose 0 = 3*x - 6, 5*g + 4*x + 652 + 210 = 0. Is ((-10)/15)/(4/g) a multiple of 12?
False
Let n(u) = u + 13. Is 9 a factor of n(-3)?
False
Let n(c) = 5*c + 20. Is n(10) a multiple of 14?
True
Suppose s + 250 = 6*s - 5*k, 0 = -s - 2*k + 62. Is s a multiple of 9?
True
Suppose 62 = 2*f - 4*f + m, -3*m - 144 = 4*f. Is 11 a factor of ((-1)/3)/(1/f)?
True
Let u = 13 - 9. Suppose m + 35 = 5*p, 2*p + 3*p - u*m = 50. Is p a multiple of 6?
True
Let i = 14 - 11. Suppose -2*l + 10 = -a + 33, 2*a = 3*l + 45. Suppose i*g - 4*g = -a. Is g a multiple of 15?
False
Suppose 2*p + 3*y = -2*y + 20, 3*y - 6 = 0. Suppose -p*m + 111 - 46 = 0. Does 13 divide m?
True
Suppose 72 = q + 24. Is q a multiple of 16?
True
Let b = -10 + 24. Suppose -b = -2*m + v, m - 25 = -0*m + 5*v. Let x = m + 6. Is 11 a factor of x?
True
Let u(m) = -5*m**3 + 5*m**2 + 3*m**2 + 9 - 10*m - 2*m**2. Let f(i) = 4*i**3 - 6*i**2 + 9*i - 8. Let k(l) = 6*f(l) + 5*u(l). Is 9 a factor of k(-7)?
True
Let m = 138 + -123. Is m a multiple of 8?
False
Suppose 0 = -t - 2 - 8. Suppose 0 = 5*g + 20 + 10. Is (-56)/t - g/15 a multiple of 3?
True
Let h(j) be the third derivative of -j**4/24 - j**3/6 + 2*j**2. Let m be h(-3). Is 16 + -2*(-1 + m) a multiple of 7?
True
Let x(n) = n**2 + 7*n - 5. Let g be x(-8). Let z be 0 + (-177)/3 + g. Let d = z + 80. Does 10 divide d?
False
Let g(v) = v**3 - 6*v**2 - 6*v + 2. Let l be g(7). Let u = 11 - l. Suppose 0 = u*d + 3*d - 90. Is 18 a factor of d?
True
Let v = 117 + -60. Is v a multiple of 11?
False
Suppose g - 822 = 3*v - 6*v, -2*g = 0. Is 10 a factor of v?
False
Suppose -4*w + 109 = -3. Is w a multiple of 8?
False
Suppose 0*r - 2 = -r + 3*m, 6 = r + m. Does 5 divide r?
True
Let b(h) = 3*h + 6. Let s be 42/(-10) - (-4)/20. Let a be b(s). Is 2 a factor of a/4*(-10)/3?
False
Let s be 6 + -8 + 2 + 0. Is 14 a factor of (s + -32 + -1)/(-1)?
False
Suppose -6*z + 150 = -180. Is 12 a factor of z?
False
Let b = 15 - 4. Suppose 0 = 2*d - b - 39. Does 9 divide d?
False
Let w(a) be the second derivative of a**4/12 + 11*a**3/6 - 9*a**2/2 + 8*a. Is w(-13) a multiple of 7?
False
Does 3 divide 2*(28/8 + -1)?
False
Let u(l) = 10*l - l**3 + 3*l**2 - 7*l + 3*l**2. Let a be -4*(1 + 15/(-6)). Is 11 a factor of u(a)?
False
Suppose 5*a + 3*j = 4*a + 12, 4*a - 82 = 5*j. Is 7 a factor of a?
False
Is (3/15*-94)/(6/(-15)) a multiple of 14?
False
Let s(x) = 2*x**2 + 32*x + 41. Let i(f) = f**2 + 16*f + 21. Let l(z) = 5*i(z) - 3*s(z). Does 7 divide l(-14)?
False
Let r be 3/6*(123 - 1). Let u be (-4)/8 + 171/(-6). Let i = u + r. Is 16 a factor of i?
True
Suppose -2*i - 45 = 4*h - 5, -2*h = -3*i + 12. Let p = h + -6. Let u = p + 29. Is u a multiple of 5?
False
Let z = 72 + -10. Suppose -2*q + z = b, -11 = q + b - 40. Is 16 a factor of q?
False
Let n = 11 - 8. Suppose -w - w + 176 = 3*z, 0 = -n*z - w + 178. Suppose 4*y - z = -0*y. Is 6 a factor of y?
False
Let w = -22 + 16. Let o = w - -14. Is 5 a factor of o?
False
Let u = -18 + 23. Is 2 a factor of u?
False
Does 4 divide (1/(-3))/((-1)/33)?
False
Let y(v) = -v**3 + v**2 + v. Let d be y(0). Suppose d = 5*b - 2 - 8. Suppose -4*k - p + 65 = -4*p, -3*p - 25 = -b*k. Is 10 a factor of k?
True
Suppose -2*v = 4*y + 1 - 9, 0 = 4*y - 4*v - 32. Let i = y - 4. Suppose 0 = -i*d - 2*d + 8. Is d a multiple of 2?
True
Let l(m) = 144*m**3 + 3*m**2 - 4*m + 1. Does 23 divide l(1)?
False
Let k = 73 - 51. Suppose -l = 3*u - 2*u - k, 0 = 5*u + 4*l - 109. Is u a multiple of 10?
False
Suppose -4*w - 16 = 0, 106 = 2*x + w + 26. Suppose p - k = 1 - 4, p + 2*k = 6. Suppose 3*f + p*v = -3*v + x, 3*f + 4*v = 44. Is 6 a factor of f?
True
Let q = 8 - 4. Suppose -3*j = -4*w + 3 - 0, -4*w + 2 = -2*j. Let c = q + w. Is 2 a factor of c?
True
Let v = 119 + -71. Is v a multiple of 12?
True
Suppose -6*x + 45 = -x. Let g = x + -6. Suppose g*s + 0*s = 108. Does 12 divide s?
True
Does 26 divide (832/(-48))/((-2)/3)?
True
Let w = 7 + -3. Let y(v) = 7*v - 1. Is 10 a factor of y(w)?
False
Is 78 + (-2 - 1) + 2 a multiple of 11?
True
Let r be ((-15)/2)/((-12)/80). Suppose 0 = 2*t - 7*t + r. Is 10 a factor of t?
True
Let u be -2 - -2 - (0 + -5). Suppose u*x + 10 = -0*x. Is 8 a factor of x*16*1/(-2)?
True
Is 50/150 + 1/(6/1246) a multiple of 13?
True
Does 7 divide (64/(-10))/((-6)/30)?
False
Let y(z) = z**3 + 16*z**2 + 3*z + 3. Does 9 divide y(-5)?
False
Let t = -1 + -3. Is t/(-14) - (-542)/14 a multiple of 11?
False
Let n(b) = b**2 + 6*b + 7. Let t be n(-5). Let f be t - (-4)/6*3. Suppose o + 236 = f*z, -3*z = -z - 4*o - 104. Is z a multiple of 21?
False
Let i(t) = 3*t**2. Let c(a) = 11*a - 2. Let f be c(2). Suppose 4*q - 14 = -2*o, -3*q = -7*q - 4*o + f. Does 6 divide i(q)?
True
Let z(w) = w + 3*w - 6*w + 4*w**2 - w. Is z(2) a multiple of 5?
True
Let v = 69 - 30. Is v a multiple of 16?
False
Suppose -3*b = -0*b - 9. Let r be 370/15 - 2/(-6). Suppose 4*a - r = b. Is 7 a factor of a?
True
Let x(l) = l**3 - l**2 + l + 16. Is 10 a factor of x(0)?
False
Is 13 a factor of (-2)/8 - (-186)/8?
False
