False
Let g(u) = 17*u**2 - u. Does 11 divide g(2)?
True
Does 8 divide ((-11)/2)/((3/(-3))/2)?
False
Let k = 6 + 38. Is 6 a factor of k?
False
Let t be (26/(-5))/((-1)/(-5)). Let p = t - 4. Let b = 43 + p. Does 13 divide b?
True
Let b(t) be the first derivative of -t**4/4 + 8*t**3/3 + 5*t**2 + t + 1. Does 10 divide b(9)?
True
Let r be ((-7)/2)/(-7)*2. Does 19 divide -10*r*(-22)/4?
False
Let m(x) = 12*x + 8. Let h be m(-6). Let i = -44 - h. Does 10 divide i?
True
Suppose 4*h - 3*p - p = 0, p - 4 = 0. Is h a multiple of 4?
True
Is 22 a factor of (-2 + -60)/(8 + -9)?
False
Suppose 27*m - 20*m - 1540 = 0. Does 12 divide m?
False
Suppose -x + 6*x = -645. Let o = x + 224. Is 26 a factor of o?
False
Does 28 divide 1 + (79 - (2 - 4))?
False
Let k = 16 + -6. Suppose -4*z - 108 = -k*z. Is z a multiple of 6?
True
Suppose -4*c + 5*p = -35, -6*p + 53 = 5*c - 3*p. Let i = c + 0. Is 7 a factor of i?
False
Suppose 3*f - 34 = 5*j, f - 2*j = -5*j - 12. Suppose 3*m + k + 3*k + 6 = 0, 5*m - 2*k - 16 = 0. Is 13 a factor of m - f*-11 - 2?
False
Let q = 7 - 7. Suppose 4*p + 3*l - 103 = q, -p - l = 2*p - 71. Is p a multiple of 13?
False
Let v(w) = w**3 - 20*w**2 + 36*w + 32. Is v(18) a multiple of 12?
False
Let b(o) = 4*o**3 - o**2 + o + 1. Is 32 a factor of b(3)?
False
Let l be 34 + (2 - 2)/(-2). Suppose 0*t - 4*o = 3*t - 58, l = t + 5*o. Is 7 a factor of t?
True
Suppose 8*g = 2*g + 360. Does 10 divide g?
True
Suppose -3*o + o = -26. Is 13 a factor of o?
True
Let z(q) = -5 + 0*q**2 + 12 + q**3 + 6*q**2. Suppose -3 = l + 2. Is z(l) a multiple of 13?
False
Is (-7)/(7/2) - -119 a multiple of 39?
True
Suppose 3*x + 0*v - 58 = -v, 4*x = -2*v + 74. Is x a multiple of 9?
False
Let f = 26 + 4. Suppose 0*w - f = -w. Does 15 divide w?
True
Let y(i) = -i**3 + 7*i**2 - 2*i + 11. Does 11 divide y(6)?
False
Suppose -2*m - 6 = m. Let v be (4/(-10))/(m/110). Suppose 0 = 6*r - 7*r + v. Is r a multiple of 7?
False
Suppose -3*q + 2 = 4*j - 4*q, -3*j - 1 = -2*q. Does 15 divide (-2*j + 33)*1?
False
Suppose -135 = -2*c + 43. Is c a multiple of 16?
False
Let u(v) = -v**3 + 4*v + 4*v**2 + v - 7*v - 3. Let q be u(3). Suppose 0 = -4*m - 5*o + 11, -o + q = 1. Does 4 divide m?
True
Suppose 2*r = -3*r + 70. Suppose -3*q - 5*h = -97, 0*q - 2*h = -4*q + 86. Let o = q - r. Is o a multiple of 4?
False
Suppose -29 = -7*h + 5*h - g, -4*h = -4*g - 76. Is h a multiple of 2?
True
Let q = 17 - 12. Suppose -2*y = -5*w - 61, -7 = -2*y - q*w + 4. Does 10 divide y?
False
Suppose 0 = 2*k - 1 - 1, 3*h = 3*k - 135. Suppose 3*g - 218 - 16 = 0. Let w = g + h. Is 17 a factor of w?
True
Let z(t) = -t**3 - 5*t**2 - 5*t - 4. Let m be z(-3). Let k(j) = 2*j**2 + 5*j - 1. Is 21 a factor of k(m)?
False
Let z(b) = -b - 6. Let h be z(0). Is 23 a factor of 70/3 - h/(-18)?
True
Let p(s) = -19*s - 1. Let v be p(-3). Let z = -40 + v. Let g = z + 9. Is g a multiple of 19?
False
Let j(b) = -b**3 - 5*b**2 + 6*b + 5. Let r be 4/6*9/(-1). Let z be j(r). Suppose 0 = -i + 5*d + 16, -i + 4*i - z*d - 88 = 0. Is 21 a factor of i?
False
Suppose -x - 1 = 5*b - 2*b, -4*x + 14 = 3*b. Suppose -62 = -4*p - 3*i, x*p - 2*p = -3*i + 48. Is 7 a factor of p?
True
Is (2 - -1 - 4)*-155 a multiple of 49?
False
Suppose 5*x + 3*k - 382 = 0, -2*k + 168 = 2*x + 3*k. Does 37 divide x?
True
Let q(r) = -r**3 + 8*r**2 + 12*r - 11. Let u be q(9). Suppose 0 = 2*m - 3*l - 12, -5*l - u = -m - 3. Is m even?
False
Let h be (6/(-4) - -1)*14. Let m = -3 - h. Is (m/6)/((-4)/(-42)) a multiple of 2?
False
Suppose 0 = -2*g + 3 + 7. Let u = -2 + g. Suppose -17 = -u*s + 25. Is s a multiple of 7?
True
Suppose 8 = b + 3*b. Suppose 4*k - b*k = o, -k = -2*o. Let h(j) = -j + 22. Is h(k) a multiple of 11?
True
Suppose -7 = -n - 1. Suppose -3*j = -4*j - 3. Is 1/j - (-44)/n a multiple of 7?
True
Suppose -2*u + 1390 = 3*u. Suppose 0 = -5*j + u + 167. Does 15 divide j?
False
Suppose 3*r = -6, -2*r - 7 - 12 = 3*d. Does 5 divide (d/1)/(1/(-2))?
True
Let n be (3 + -2)*(23 - -1). Let i = 47 - n. Does 13 divide i?
False
Let q = -11 - -15. Let d(z) = z**3 - 3*z**2 - 2*z - 4. Let k be d(q). Let s = 4 + k. Is 3 a factor of s?
False
Suppose -2*w + 14 = -10. Suppose 100 = 4*h + w. Is 11 a factor of h?
True
Let b = -2 - -5. Does 18 divide 2/b*(48 - -6)?
True
Let p = -11 - -16. Suppose p*y = b + 119 + 54, 4*b - 158 = -5*y. Is 17 a factor of y?
True
Suppose -4*l = l + 30. Is 2*3/l*-18 a multiple of 9?
True
Let c(j) = 35*j**3 - 4*j**2 + 12*j - 2. Does 25 divide c(2)?
False
Suppose 0 = 3*s - 9 - 3. Suppose 2*p - s = -2. Suppose -5*z - 4*y + 5*y = -99, 0 = y - p. Does 20 divide z?
True
Suppose -a + 4*f = -150, -6*a - 5*f = -5*a - 123. Is a a multiple of 46?
True
Suppose l = 4, -3*c + l - 2 = -7. Suppose 0 = q + 2*q - 2*u - 76, 0 = q - c*u - 37. Is 9 a factor of q?
False
Let v = 663 - 429. Suppose 5*l = -v + 69. Let c = 50 + l. Is 17 a factor of c?
True
Let u be (-4 - -1)/((-18)/(-12)). Let h be u - 34*(-2 - -1). Suppose 41 = 4*o - 2*s - 23, 0 = -2*o - 3*s + h. Does 8 divide o?
True
Let s be ((-1)/(-3))/(18/216). Suppose 5*g - 3*c = 461, -82 = -5*g + 4*g + s*c. Is g a multiple of 23?
False
Let p = 3 - -1. Suppose -p = 2*r, 5*s - 3*r + 40 - 96 = 0. Is 10 a factor of s?
True
Suppose 0 = r + 1 - 6. Suppose r*d + 45 = 5*i, 0*d = 5*d + 4*i. Is 5 a factor of (15/(-6))/(2/d)?
True
Let v = -4 - -7. Suppose j = -v*j. Does 4 divide 1 - ((j - -1) + -5)?
False
Let r(i) = -5*i**3 - 13*i**2 - 6. Let y(x) = -x**3 - x**2 - 1. Let s(v) = -r(v) + 4*y(v). Let d be s(-9). Suppose c + 5*o = 4, 3*o = d*o. Is 2 a factor of c?
True
Suppose 3*b - 9 = 4*o - 7*o, o = -3*b + 13. Is 16 + 0 + (-4)/o a multiple of 9?
True
Let j be 4/8 - 18/(-4). Suppose 0 = -c, -j*c - 6 = -4*b + 34. Does 7 divide b?
False
Let a(z) = 3*z**2 - 3*z - 7. Does 31 divide a(-6)?
False
Let h = 21 + -42. Let v be 219/13 - (-4)/26. Let z = v - h. Is 19 a factor of z?
True
Suppose -4*k = t - 6*t + 466, -t = 4*k - 98. Is t a multiple of 30?
False
Let f(d) = 22*d**2 - 3*d + 3. Is 6 a factor of f(1)?
False
Let k(c) = 2*c**3 - c**2 - 3*c**3 + 3 + 4*c**3 + 3*c. Let p be k(3). Let i = p + -57. Is 10 a factor of i?
False
Suppose 11*g - 10*g = -273. Let b = -177 - g. Is b a multiple of 28?
False
Let b = -14 - -27. Suppose 0 = -3*g + 2*f + 12, g + f = -4*f - b. Suppose -t + 18 = -3*d, -g*t - 5*d + 47 = -0*d. Is t a multiple of 7?
True
Let g = 3 + -2. Let t be ((-9)/(-4))/(g/(-4)). Is 8 a factor of ((-16)/(-3))/((-3)/t)?
True
Let d(o) = 6*o - o - 6 + 1 + 3 + o**2. Is d(-7) a multiple of 6?
True
Suppose -l - 4*h = -56, 4*l - h = 5*l - 41. Is l a multiple of 29?
False
Suppose 0 = -3*u - 2*u - 305. Let l(s) = -33*s**2 + 1. Let t be l(1). Let y = t - u. Is y a multiple of 13?
False
Let t = 29 + 23. Is 13 a factor of t?
True
Suppose -d = 3 - 200. Let h = d - 125. Suppose 4*m = 4*c + 60, -2*c = -5*m + 2*c + h. Is 4 a factor of m?
True
Let v = -7 - -24. Is v a multiple of 2?
False
Let d be -9*(-3 + 33/9). Let w be (d/(-9))/(1/3). Is 25 a factor of 2*(-25)/(-4)*w?
True
Let z = 27 + -15. Does 8 divide z?
False
Let w(u) = 8*u**2 + u. Let l be w(-3). Suppose -3*r = -l - 72. Suppose -7*o - 3*n + r = -2*o, -5*o = 4*n - 46. Does 9 divide o?
False
Suppose -2*o + 0*o = -3*s + 8, -5*s + 2*o + 12 = 0. Suppose 5*w - s*a + 2 = -2, -2*w - 6 = -3*a. Suppose -2*p + 39 + 17 = w. Is p a multiple of 12?
False
Suppose 0 = -4*g + 5*g - 2*x - 13, 5*g + x - 21 = 0. Suppose -172 = -4*i - g*c, -4*i + 0*c + 212 = -5*c. Does 27 divide i?
False
Suppose 0 = -5*r + 2*r + 504. Is 46 a factor of r?
False
Suppose 0*r - r + 36 = 0. Let i = r - 19. Is 17 a factor of i?
True
Let u be 1 + -1 + (3 - 1). Suppose 233 = 3*l + u*s, 5*l - 54 = -2*s + 341. Does 23 divide l?
False
Suppose -62 = -t + 4*d + 12, -4*d = 2*t - 208. Suppose 3*g + 0*i = i + t, 4*g - 127 = i. Is 11 a factor of g?
True
Suppose r + 24 = -3*j, -2*r - 2*j = -7*j + 92. Let n = 55 + r. Is 17 a factor of n?
False
Let d be (-4)/18 + 38/9. Suppose c - 5*y - 51 = 0, -1 - 15 = d*y. Suppose 4*m - 3*m = c. Does 16 divide m?
False
Suppose -2*n = -n - 5*m - 152, 676 = 5*n + 3*m. Does 49 divide n?
False
Is 29 a factor of (3/(-9))/((-3)/1305)?
True
Suppose -180 = 6*j - 10*j. Does 3 divide j?
True
Let i(n) = -n**2 + 2. Let m be i(0). Suppose 2*p - 3*b = 41, 42 = -5*p - m*b + 135. Is p a multiple of 19?
True
Let j(t) = t**3 - 3*t**2 + 2. Let v be j(3). Sup