ltiple of 10?
True
Let r = 1872 + -1604. Does 10 divide r?
False
Suppose 4*i + 5*r - 14 = 192, 0 = -3*i + 2*r + 166. Suppose -2*f - 5*j = -215, f - j = i + 43. Is f a multiple of 19?
False
Suppose 2*g - 3*s = 11, -3*g = -8*g + 5*s + 20. Let f(z) = 35*z + 2 - g + 1. Is 11 a factor of f(1)?
False
Suppose n + 5*t - 77 = 104, 0 = 3*n + t - 473. Is n a multiple of 13?
True
Let z = 46 + -27. Suppose -4*u = -3*v - z, -2*v = -4*u + 3*v + 21. Suppose 8*x - 4*x - 3*d = 27, 2*d = -u*x + 22. Is 6 a factor of x?
True
Does 12 divide 6004/10 - 147/(-245)?
False
Let w(b) = b**2 - 23*b + 16. Let u = -16 - -40. Is w(u) a multiple of 6?
False
Let g = -6 + 8. Suppose -6*q + g*q + 264 = 0. Suppose 4*z - 2*z - q = 0. Is 11 a factor of z?
True
Let x = -67 + 306. Does 3 divide x?
False
Let c = -3095 - -5683. Does 105 divide c?
False
Suppose 3*i = -i + 64. Suppose 4*a - 8*a + i = 0. Suppose 4*u + a*t = 2*t + 92, 5*u = 3*t + 104. Is 11 a factor of u?
True
Suppose 24*h = 3540 + 564. Is 8 a factor of h?
False
Let f(m) = 4*m**3 - 2*m**2 - 10*m + 10. Let y(s) = s**3 - s + 1. Let p(j) = f(j) - 8*y(j). Is 14 a factor of p(-3)?
True
Suppose 0 = 2*i + u - 3178, -u = -3*i + 6*i - 4769. Does 29 divide i?
False
Let b(d) = 248*d**2 - 43*d + 114. Is b(3) a multiple of 89?
False
Suppose 73*w - 70*w - 186 = 0. Is 31 a factor of w?
True
Let r(w) = 11*w**2 - 33*w + 19. Let x(k) = 5*k**2 - 16*k + 9. Let n(v) = 6*r(v) - 13*x(v). Let c be n(-11). Is 170/c + 11/(-44) a multiple of 5?
False
Suppose 0 = 25*i - 16*i - 3276. Is i a multiple of 28?
True
Let w = 8 - 12. Does 21 divide w + 3 + -6 + 91?
True
Let i(k) = -4*k**3 - 27*k**2 + k - 9. Is i(-8) a multiple of 20?
False
Let d = -2 + -49. Let c = d - -151. Is c a multiple of 10?
True
Let k = 11 - 5. Let q(a) = a**2 - 5*a + 8. Does 2 divide q(k)?
True
Let i(r) = r**2 + 12*r. Let v be i(-12). Suppose 0 = -2*g - 4*c + 10, v*g + 3*c = -g + 2. Does 3 divide g?
False
Suppose 4*h = 2*f + 4 + 2, f + 7 = 4*h. Suppose -369 - 233 = -h*x. Suppose -4*o + 5*b - 53 = -x, 5*o = 5*b + 305. Is 19 a factor of o?
True
Suppose 7 - 1 = -c - 4*j, -2*c - 6 = 5*j. Suppose 70 = 2*r + 3*r + 2*u, 0 = r - c*u - 2. Let h = 5 + r. Does 9 divide h?
False
Let q = 1106 - -658. Is q a multiple of 142?
False
Let h(j) = -43*j + 17. Let d be h(-4). Suppose 3*a + 0*a - d = -3*o, 5*a - o = 285. Is a a multiple of 29?
True
Suppose 3*m + 261 = 5*w + 2*m, w + 4*m = 69. Let l = 106 - w. Is 11 a factor of l?
False
Let x be (-1)/2*(-12 + 12). Suppose -4*b - 39 + 135 = x. Is 10 a factor of b?
False
Let b(c) = -9*c + 4. Let a(h) = h + 0*h + 5*h - 3*h - 1. Let p(w) = -17*a(w) - 6*b(w). Does 4 divide p(5)?
True
Suppose -3*x + 560 + 625 = 0. Let w = x - 133. Suppose w = 2*a + 68. Is 37 a factor of a?
False
Suppose 0 = 12*r + 1888 - 7516. Is 13 a factor of r?
False
Let m = -119 + 124. Is 14 a factor of ((-10240)/(-50) - (-1)/m) + 2?
False
Let q = 22 + 20. Suppose -185*m = -190*m + 390. Let p = m - q. Does 8 divide p?
False
Let l = 20 + -20. Suppose 7 = -5*n - 5*i - 3, -4*i + 20 = l. Is 8 a factor of (60/2)/(-6 - n)?
False
Is 9 a factor of 105/((-464)/(-66) + 140/(-20))?
True
Let y = 736 - 610. Does 9 divide y?
True
Let s(z) = 3*z**3 + 9*z**2 - 5*z - 10. Let h(p) = -4*p**3 - 9*p**2 + 4*p + 11. Let d = 14 + -12. Let f(w) = d*h(w) + 3*s(w). Is f(-9) a multiple of 16?
False
Suppose -4*q = -7*q + 1338. Suppose -3*s + 275 = -5*r, 6*s - s + 4*r - q = 0. Is 18 a factor of s?
True
Let m be 9*((-22)/(-30) - 2/5). Suppose -5*v - 5*i - 45 = 0, 2*v - 12 = -0*v + 4*i. Does 11 divide m*(v + 48/4)?
False
Let c(t) = t**3 - 9*t**2 + 31*t + 9. Is 6 a factor of c(6)?
False
Suppose -36*i + 776 = -28*i. Is i even?
False
Suppose 5*j + 2*m - 21 = 2*j, 3*m + 7 = j. Suppose 0 = f - 2*f + j. Is 16 a factor of (-7 - -17)/(2/f)?
False
Suppose 24 = g - 4*o - 5, 0 = -3*g + 2*o + 107. Does 3 divide g?
False
Let p(w) = -4*w**3 + 7*w**2 - 2*w - 5. Let n(i) = i**3 - i**2 - 1. Let m(h) = -3*n(h) - p(h). Does 16 divide m(4)?
True
Suppose 4*u - 2*m - 1358 = u, 0 = 5*m - 10. Is 30 a factor of u?
False
Let f be 10/3*(-48)/(-32). Suppose 3*p - p - 794 = -5*x, -2*x - f*p + 305 = 0. Does 32 divide x?
True
Suppose -30*j = -28*j - 2756. Is j a multiple of 26?
True
Let m = -351 - -401. Is 3 a factor of m?
False
Let b(d) = 3*d - 3. Let y(u) = -u + 6. Let g be y(4). Let s be b(g). Does 19 divide 74 + 4/(s - 1)?
True
Suppose -m = o - 104, -3*m + 55 + 55 = o. Is 34 a factor of o?
False
Let n(s) = -2*s**2 + 37*s + 18. Suppose 0 = 2*x - j - 31, j + 45 = 3*x - 0*j. Does 18 divide n(x)?
True
Let w(u) = -24*u + 6. Let t be w(-4). Suppose 4*i - 2*c = -t, 4*c + 11 = 2*i + 47. Is (-172)/(-14) - (-8)/i a multiple of 12?
True
Let u = 452 + -212. Does 15 divide u?
True
Let i be 1/2*(2 - -72). Suppose 5*n - 4*n - i = 0. Is 7 a factor of n?
False
Let v = 1280 - 216. Is 19 a factor of v?
True
Let a = 740 - -1669. Is a a multiple of 18?
False
Suppose 0 = -8*m + 293 + 1115. Is 22 a factor of m?
True
Suppose -21384 = -0*a - 27*a. Does 18 divide a?
True
Suppose -5*j - 5 = 5. Let g(v) = -5*v - 6. Let q be g(j). Suppose -2*b + q*b = 60. Does 6 divide b?
True
Let j(q) = -q**2 + 6*q + 7. Let w be j(-2). Let a = w + 42. Does 6 divide a?
False
Let c(n) be the third derivative of 5*n**4/12 + 2*n**2. Suppose 4*q - 4*w = 15 + 9, -5*q + 3*w = -24. Does 10 divide c(q)?
True
Let q be 0/((-1)/(1/(-2))). Suppose 2*m + 5*c = 194, 2*m - 3*c = -q*m + 178. Is 16 a factor of m?
False
Suppose -5*w = -z - 114, -z - 22 = -3*w + 2*w. Let s = 27 + w. Does 10 divide s?
True
Suppose -5*y + 3779 = 2*o, -3*o + 5*y = -6458 + 802. Does 62 divide o?
False
Let h be 236/8 - 3/2. Is 10 a factor of (200/h)/(4/28)?
True
Suppose 7841 = 12*j - 6259. Does 66 divide j?
False
Let k = -180 + 124. Let l = 108 + k. Is l a multiple of 13?
True
Suppose -5*s - 18 = -2*z, -z - 2 = 4*s + 15. Does 6 divide 50*(s + (-130)/(-25))?
True
Let y(x) = x**2 + 11*x - 3. Let z be y(-11). Let h = z + -4. Let b = h - -16. Does 8 divide b?
False
Let w be (-5)/(15/(-9))*11. Let x = 8 - 6. Suppose 5*o + 4*y = 137, -x*y - w = -0*o - o. Is 29 a factor of o?
True
Let m(n) = 2*n**2. Let z be m(-1). Let d(j) = -4*j**2 + 0 + 1 + z + 9*j**2. Is d(2) a multiple of 13?
False
Let u(i) = 211*i**2 + 6*i + 5. Let h be u(-1). Suppose -23*r + h = -16*r. Does 5 divide r?
True
Suppose -17 = -x - 13. Let v be (3 - -50) + (1 - x). Is (42/(-15))/((-2)/v) a multiple of 14?
True
Suppose 15*q - 8933 = 652. Is q a multiple of 33?
False
Let a = -18 - -20. Suppose -a = -j + 8. Does 5 divide 18/(-45) + 284/j?
False
Suppose -w - 26 = 58. Let o = 204 + w. Is o a multiple of 8?
True
Does 29 divide 3 + (-3027)/(-7) + (-6)/14?
True
Let c = -23 + 22. Let o be 16/(-56) + 18/14. Does 6 divide c + 4 + o + 26?
True
Let l be 9/3 + -8 - -598. Suppose -l = -8*p - 209. Is 48 a factor of p?
True
Suppose -1345*m + 176 = -1343*m. Is m a multiple of 13?
False
Suppose -3*h - 15 = 0, 3*r - h = h + 22. Suppose -2*d + 639 = -3*k, -1605 = -5*d + k + r*k. Suppose -4*y + f = -3*f - 252, -d = -5*y - 4*f. Does 17 divide y?
False
Suppose -4*k = -2*k - 252. Is 7 a factor of k?
True
Suppose 3*g + 11*g - 8582 = 0. Does 29 divide g?
False
Let b = -257 + 1605. Does 34 divide b?
False
Suppose 5*x - 260 + 2275 = 0. Let f = x + 566. Does 17 divide f?
False
Suppose 8*j - 4*j = -12, 2*l + 2*j = 508. Is 32 a factor of l?
False
Let c(d) = 5*d**2 - 2*d**3 - 4*d**2 + 2*d**3 - 2*d**3 - 5 - 3*d. Is 21 a factor of c(-2)?
True
Let v(d) be the first derivative of -d**4/4 - 10*d**3/3 + 9*d**2/2 - d - 15. Suppose -2*k + 11 = 33. Does 8 divide v(k)?
False
Suppose 15*g + 5 = 20*g. Is g + 19 + (-6 - -3) a multiple of 14?
False
Does 22 divide 7/(-4)*(-224)/12*33?
True
Suppose 7*b + 6 = 4*b. Let n be -3 + (-184)/b + -3. Suppose c + 49 = -3*x + 5*x, 4*x = -2*c + n. Does 11 divide x?
False
Suppose 3 = a - 4. Suppose -a = -p - 4*i, 3*i - 52 = -2*p - 3*p. Suppose -4*c + 3*c = -p. Is 3 a factor of c?
False
Suppose -3*w = -q + w + 3, 0 = -5*w - 5. Let a(s) = 0 - 3 + 4 - 33*s. Is 17 a factor of a(q)?
True
Suppose 72*c - 75*c = -900. Is 15 a factor of c?
True
Let h(y) = -2*y - 20. Let m be h(-12). Suppose 0 = -m*r - 31 + 111. Is 20 a factor of r?
True
Let n(j) = 5*j**2 + 12*j - 41. Does 8 divide n(5)?
True
Let s = -268 - -142. Is 4 a factor of (-1080)/s - 8/14?
True
Let i be -1*(-6)/2 + 2. Let y(v) = v**