?
True
Let m(x) = 53*x**2 + 2*x + 1. Suppose -5*s = 8 - 3. Is m(s) a multiple of 26?
True
Let h(o) = 2*o**2 + 8*o + 9. Suppose z - 6*z + 5*w = 45, z + w = -3. Is h(z) a multiple of 11?
True
Suppose 0 = -8*y + 130 + 1510. Is y a multiple of 57?
False
Suppose 5 = -5*t - 0. Let k be ((11 - t)/(-2))/(-2). Let l(q) = -q**3 + 4*q**2 + 1. Is 4 a factor of l(k)?
False
Let z(r) = r**3 + r + 11. Let u be z(0). Let k(g) = -g + 3. Let l be k(6). Let p = u + l. Is 8 a factor of p?
True
Let n = -15 - -8. Let r = -4 - n. Is r even?
False
Let r(x) = -8*x + 5*x**2 - x - 4*x**2 + 3*x - 1. Is 18 a factor of r(10)?
False
Let p(r) = r**2 + 67. Is p(0) a multiple of 20?
False
Let f(n) = 6*n**2 + n - 1. Let k be f(1). Let t = -1 + k. Let l(i) = i**2 - 3*i + 5. Is l(t) a multiple of 10?
False
Suppose 20 = 3*i + 2*i. Suppose 13 = 5*a + b, -i*b = 4*a - 3 - 1. Suppose 125 = 2*y + a*y. Is y a multiple of 16?
False
Let h = -11 - -7. Let a be (-2)/h - 3/6. Suppose -3*z + 4*z - i - 8 = a, 16 = 2*z - 4*i. Does 8 divide z?
True
Let t be ((-4)/6)/((-12)/18). Let w(v) = 18*v**3 + v**2 - v. Does 6 divide w(t)?
True
Suppose 4*n + 5*x + 14 = 82, 5*n - 68 = -2*x. Does 4 divide 730/60 + (-2)/n?
True
Let v(r) = 3*r**2 + r + 1. Let a be v(-2). Is 7 a factor of a - (-3 + 3 - 3)?
True
Suppose m - 2*j - 7 = -0*j, 0 = m + 5*j. Suppose -31 = -m*h - 6. Is h even?
False
Let t = -35 + 51. Let f = t + 5. Is 8 a factor of f?
False
Let h(i) = i**3 - 8*i**2 + 4*i - 4. Let m be h(8). Is 26 + 7/(m/8) a multiple of 13?
False
Let q = 202 - 136. Is 22 a factor of q?
True
Let s be 8*(-3 + 7/2). Is 12 a factor of 1 - (-3 + -133)/s?
False
Let s = -133 + 250. Does 13 divide s?
True
Let q(v) = 4*v + 4. Let s be q(-4). Let c = 22 + s. Is c a multiple of 5?
True
Suppose -4*i - 26 = -u, 3*u + 0*i - 105 = 3*i. Is u a multiple of 19?
True
Let c(s) = 6*s + 3*s + 11 - 6*s**2 + 0*s**3 - s**3. Is c(-8) a multiple of 18?
False
Suppose -4*c = -y - 34, c - 5*y = 4*c - 37. Is 2 a factor of c?
False
Is 20 a factor of 546/(-8)*((-4)/6 - 2)?
False
Let q = 8 - 8. Suppose f - 38 - 7 = q. Does 20 divide f?
False
Let g be (18/6)/((-3)/(-8)). Let z be (-8)/(-5) - (-4)/10. Suppose 4*w = -s + z*w + 32, 2*w = -g. Does 14 divide s?
False
Suppose 2*i = -i + 12. Suppose -38 = -i*v - 3*a - 2, -3*v + 4*a + 2 = 0. Does 4 divide 12 - (-2)/v*0?
True
Let r(u) = 5*u**2 - 7*u + 10. Is 15 a factor of r(3)?
False
Suppose -3*x = -11 - 16. Is 3 a factor of x?
True
Suppose 5*h - 400 = -4*z, 2*h - 4*z = 4*h - 148. Suppose 0 = y - 4*y + a + 133, 2*y - h = 3*a. Is y a multiple of 15?
True
Let s = 13 + -10. Suppose 4*y - s*p - 90 = 0, -1 = -p + 1. Is y a multiple of 8?
True
Suppose 0 = -5*l + 6*s - 2*s - 10, 3*s - 21 = -3*l. Suppose n = -l*n + 60. Does 20 divide n?
True
Suppose 5*f - 49 = -s, -127 = -2*s - 2*s + 3*f. Is 10 a factor of s?
False
Suppose 0 = 2*k - 6, 4*b = -5*k + 4*k + 371. Is b a multiple of 40?
False
Suppose -5*u - a + 2*a = -13, -4*a = -3*u + 18. Let d be (u/5)/((-4)/(-20)). Let b = d - -1. Does 2 divide b?
False
Let j(f) = 0*f - 9*f - f**2 + 3*f + 3. Let v be j(-6). Suppose -2*y = -v*y + 7. Is y a multiple of 5?
False
Let x = 46 - 26. Suppose a + x = 5*a. Is 3 a factor of a?
False
Let h(g) = g**2 - 5*g + 6. Let b be h(4). Suppose 0 = b*s - 96 + 380. Does 12 divide s/(-7) - 12/42?
False
Suppose -b = 5*n - 690, 0 = -n + b - 5*b + 138. Does 6 divide n?
True
Suppose -2*s = 2*s - 36. Does 3 divide s?
True
Suppose -4*v - 95 = 5*b - 311, -163 = -3*v - 4*b. Is v a multiple of 15?
False
Let a(u) = -u**2 + u + 0*u**2 - 4*u**2 + u**3 - 4*u. Does 18 divide a(6)?
True
Let l be (-4)/14 + 427/(-49). Let b = l - -16. Let r = b + -4. Does 2 divide r?
False
Suppose 0 = -5*a - 2*p - 14 - 11, a + 3*p = -5. Let t(n) = 2*n**2 + 6*n + 1. Does 6 divide t(a)?
False
Let g(k) = 3*k - 1. Is g(17) a multiple of 25?
True
Suppose 2*v - 3*z = v - 6, 2*v + 5*z - 32 = 0. Suppose -f = -v*f + 220. Is f a multiple of 20?
False
Suppose 3*g - 4 = a + 27, -5*g = -2*a - 52. Let b = 74 - g. Is b a multiple of 13?
False
Suppose 92 - 22 = 2*n. Is n a multiple of 7?
True
Does 52 divide (2/4)/(28/11424)?
False
Is (-868)/(-10) - (-1)/5 a multiple of 16?
False
Suppose 0*n + 4 = -3*r - 4*n, -2*r - 12 = 5*n. Suppose r*b = -170 - 10. Let m = b + 79. Does 18 divide m?
False
Suppose 0 = 3*u + u + 4. Let h be (3 + -1)/(0 + u). Let d = 0 - h. Is d a multiple of 2?
True
Suppose -354 = 4*p + 206. Let l be 8/36 - p/18. Let w = 1 + l. Does 4 divide w?
False
Let k be (-710)/(-35) + 4/(-14). Let u = 34 - k. Is u a multiple of 8?
False
Let g(p) = p**2 + 2*p - 5. Let s be g(7). Suppose r = -4*b + s, b = -0*b - 5*r + 24. Is 7 a factor of b?
True
Let c = 230 + -122. Is 36 a factor of c?
True
Let x = 24 + -17. Is 5 a factor of x?
False
Let j(f) = 8*f**3 + f + 1. Let q be j(-2). Let m = -23 - q. Does 21 divide m?
True
Suppose -3*q + 24 = 3*i + 2*i, -15 = -2*i - 3*q. Suppose -y + 5*t = i*t - 9, 5*y - t = 18. Suppose -7*w + y*w = 4*p - 20, -2*p - 25 = -5*w. Does 2 divide w?
False
Let y = -75 - -245. Let b = 8 - 2. Suppose k - b*k = -y. Is 14 a factor of k?
False
Suppose 5*l = 5*o - 10, 0*l = -3*o + 4*l + 6. Suppose -o*u - 2*y = -118, 3*u - 2*y - 50 = 2*u. Is u a multiple of 12?
False
Suppose -16*a = -18*a + 188. Suppose -y = -5*z + y + 104, -3*y + a = 5*z. Is z a multiple of 5?
True
Suppose 5*y + 5*m - m - 2 = 0, 0 = -4*y + 2*m + 12. Suppose -5*h - p + 529 = 0, -h = -y*h - 2*p + 104. Is h a multiple of 24?
False
Suppose 15 - 90 = -5*b. Is 8 a factor of b?
False
Let u(s) = -s**2 + 8*s + 6. Let z be u(10). Let l = z + 25. Does 11 divide l?
True
Is (-34)/(-4) - 2/4 a multiple of 2?
True
Let s = -26 + 52. Suppose -5*w = 0, n + 2*w = -0 + 4. Suppose -138 = -n*r - s. Does 12 divide r?
False
Let i = -18 - -31. Suppose -i = -s + 5. Does 9 divide s?
True
Let t(o) = 7*o + o**2 + 1 + 2*o + 2. Let z be t(-9). Suppose -5*y - 4*p + 26 = -z*y, 0 = y - p - 1. Is y even?
False
Suppose 4 - 1 = 2*k + m, 0 = 2*k + 5*m + 1. Let r = 13 - k. Is 3 a factor of r?
False
Suppose 619 = 5*c + 19. Does 20 divide c?
True
Let w be 6/3*(4 - 1). Is 395/55 - w/33 a multiple of 2?
False
Suppose -3*q = -3, -2*y - 2*q = -0*y - 6. Let a = 2 + y. Suppose -2*t - 5*h + 47 = 0, -a*h = -t + 2*t - 16. Is 12 a factor of t?
True
Suppose -2 = -4*n - 6. Let c = n - -11. Is 5 a factor of c?
True
Suppose -15*z = -18*z + 207. Is z a multiple of 13?
False
Suppose 5*i = 3*z - 370, z - 4*z = 5*i - 350. Is z a multiple of 24?
True
Let s = -4 + 0. Is s/14 - 156/(-7) a multiple of 11?
True
Suppose -544 = -4*w + v, 2*w - 6*w - 2*v = -556. Does 24 divide w?
False
Suppose -9 = -2*b + 3. Suppose -2*j = -b*j + 48. Does 6 divide j?
True
Suppose 6 = -2*a + 5*a. Let s(c) = 1 - 2*c**2 + 3*c + 2*c**2 + c**a. Is 2 a factor of s(-4)?
False
Suppose -5*w + 33 = 233. Let z be (-2)/((-2)/(-2)) + -18. Let a = z - w. Is 20 a factor of a?
True
Is (-154)/(-8) + (-10)/40 a multiple of 9?
False
Let q(i) be the first derivative of 10/3*i**3 + 1/4*i**4 - 1/2*i**2 - i - 1. Is q(-10) a multiple of 4?
False
Let z = 51 - 20. Is 4 a factor of z?
False
Let u = -145 + 298. Is 24 a factor of u?
False
Suppose -2*d + 7*d = 5. Let a(p) = 71*p**3 + p**2 + p - 1. Is 24 a factor of a(d)?
True
Suppose -6*w + 900 = 60. Does 23 divide w?
False
Let s = -5 + 7. Let n(y) = 4*y**3 - 4*y + 6*y**2 + 4 - 3*y**3 - s*y**3. Is n(5) a multiple of 6?
False
Suppose -2*a + 4*j + 51 = 5*j, 4*a = 2*j + 82. Is a a multiple of 23?
True
Let k be 2*(-1 + 3/(-6)). Let j = 5 + k. Does 23 divide 159/7 - j/(-7)?
True
Let r = -7 + -2. Is 48/r*6/(-4) a multiple of 3?
False
Suppose 3*l - 49 = 2*l + c, 0 = -2*c + 4. Does 3 divide l?
True
Suppose 0 = -3*p + 311 + 37. Is 29 a factor of p?
True
Let s(d) = -2*d - 7. Let u be s(-7). Suppose -7*p + u = -6*p. Does 7 divide p?
True
Is 17 a factor of (-3064)/(-18) + (-40)/180?
True
Let q(k) = k**2 - 7*k + 5. Is q(-6) a multiple of 9?
False
Let h = 52 - 14. Is h a multiple of 21?
False
Let y = 275 + -166. Let j = -51 + y. Is 18 a factor of j?
False
Suppose 4*q - 5*q + 22 = -3*k, -5*k = 2*q - 22. Is 4 a factor of q?
True
Suppose 0*r + 2*r - g = 20, 5*r - 50 = -4*g. Is 3 a factor of r?
False
Let t(z) = -z**2 + 15*z - 17. Does 33 divide t(10)?
True
Let o(w) = -w + 1. Is o(-3) a multiple of 2?
True
Let w(z) = -2*z**2 - 12*z + 8. Let a be w(-6). Let b(d) = d**3 + d**2 - 2*d. Let n be