 - 4*d + 0*d + 2 = 0, -16 = -t - 2*d. Suppose -1 = -3*r + 26. Let n = t + r. Does 15 divide n?
True
Suppose 24*i - 28*i = -88. Is 2 a factor of i?
True
Suppose 4*d = 2*j + 71 - 19, -3*d = -2*j - 54. Is 23 a factor of 18/j*-1 + (-1144)/(-10)?
True
Let s(q) = q**2 + 3*q + 4. Let f(h) = 5*h**2 + 12*h + 17. Let x(j) = 2*f(j) - 9*s(j). Let b be x(5). Does 15 divide (-1 + -81)*(-4)/b?
False
Let t be -6*((-15)/(-6) + -3). Suppose b + t*s = 2*b + 73, 0 = 4*b - 5*s + 292. Let z = -28 - b. Does 15 divide z?
True
Suppose -o = 5*j + 422, -o + 6*o - 185 = 2*j. Let s = j + 143. Is s a multiple of 14?
False
Let r be (-4)/8*(0 - 10). Suppose 0*a = r*a. Suppose 2*l = -l - 4*q + 27, a = q. Is 9 a factor of l?
True
Suppose -3*z + z = -5*c - 16, 0 = -4*c - 16. Let o be -1*(z - 1 - 74). Let i = o - 22. Is i a multiple of 17?
False
Let n = -83 + 573. Suppose -5*m + n = -0*m. Does 14 divide m?
True
Let g be -58*(-1)/2 - (-19 - -17). Let x = g + -10. Is 2 a factor of x?
False
Let a = -16 + 20. Suppose 5*r - 17 + 1 = -4*m, -a*r = -3*m - 19. Suppose -2*f = -3*u - 144, 2*f - r*u + 328 = 6*f. Is f a multiple of 26?
True
Let q be 0 + 8/4 - -1. Suppose q*t = -3*z + 4*z - 3, -4*z = -2*t - 52. Is z a multiple of 3?
True
Let m be ((-2)/2)/((-3)/66). Suppose -r = -0*r - m. Is 4 a factor of r?
False
Suppose -t = 2*t - 15. Suppose -107 = 4*z - t*z. Is z a multiple of 8?
False
Suppose 2*v + 4*m = 22, 0*v + 2*m = 2*v - 28. Let i be 2 - (-2 + 7*-12). Suppose v*o - 15*o + i = 0. Is 11 a factor of o?
True
Let f be (-10)/((-2)/(-3 + 2)). Let r be (-3)/6*(5 + f). Suppose r = -3*u + 4*o + 94, 5*o - 25 = -2*u + u. Is 10 a factor of u?
True
Does 24 divide (-70)/3*1764/(-343)?
True
Let i = -2253 - -3825. Suppose 0 = 19*p - 24 - i. Is 3 a factor of p?
True
Let p(c) = -2*c**2 - 1. Let r(l) = 27 - 27 - l**2. Let i(o) = p(o) - 3*r(o). Is i(6) a multiple of 9?
False
Let j = 36 - 65. Let x = j + 66. Is 20 a factor of x?
False
Let t = 738 - 518. Does 10 divide t?
True
Is 4 a factor of 30/(-12) + 1 + (-1164)/(-8)?
True
Let p = -54 - -59. Let w(l) = 10*l. Does 6 divide w(p)?
False
Let n(q) = -138 + 10*q + 156 - 2*q**2 + q + 3*q**2. Is 8 a factor of n(-10)?
True
Let i(s) = -s**3 + 27*s**2 - 23*s + 74. Is 9 a factor of i(21)?
False
Suppose 4*y = 170 + 502. Is 22 a factor of y?
False
Suppose -4*b - s + 3374 - 759 = 0, 1311 = 2*b - 3*s. Does 33 divide b?
False
Suppose 37*z + 1771 = 21566. Is 5 a factor of z?
True
Let y = -2 - -4. Suppose -250 = y*u - 7*u. Suppose -3*d + 60 = 3*l, 0*d + u = 3*l + d. Does 7 divide l?
False
Let m(v) = 6*v**3 - 9*v**2 - 13*v - 6. Let y(b) = -7*b**3 + 10*b**2 + 13*b + 7. Let s(h) = -6*m(h) - 5*y(h). Is s(6) a multiple of 7?
True
Let o = 13 + -10. Suppose -3*g + 39 = -o*u, 4*g = -5*u - 0*g - 74. Does 17 divide (8/10)/(u/(-490))?
False
Suppose 0 = 2*w - 18 - 18. Suppose m = -m + w. Suppose -2*v = -m*g + 4*g + 120, -120 = -5*g - v. Does 4 divide g?
True
Let a = 265 - 260. Is 3 a factor of a?
False
Suppose 15 = -3*r, 5*i - 3*r - 4789 - 8361 = 0. Does 13 divide i?
False
Let r(n) = 21*n**3 - 2*n**2 + 12*n - 10. Is r(6) a multiple of 15?
False
Let y(k) = k**3 - 12*k**2 + 15*k - 2. Let x be y(12). Suppose 4*s - 161 - 365 = -3*n, 0 = n + 2*s - x. Does 22 divide n?
False
Let n(y) be the third derivative of y**4/6 + 4*y**3/3 + 5*y**2. Suppose -48 = -8*z + 5*z. Is n(z) a multiple of 12?
True
Suppose i - 3*q = 14, 20 = 2*i + q - 5*q. Suppose 10 = -i*m, 0 = -x - x + 5*m + 339. Is 12 a factor of x?
False
Suppose y + x = 0, 3*y - x - 16 = -0*y. Suppose 206 = y*m - 54. Does 5 divide m?
True
Suppose 0 = 4*b - 14*b. Suppose -5*s - 77 + 282 = b. Is s a multiple of 19?
False
Let v be 2*(-5)/40*(2 + -14). Suppose 0 = v*s + 222 - 540. Is s a multiple of 24?
False
Suppose -5*i = -9*i - 3872. Let l be i/(-20) + 8/(-20). Suppose 5*s + 0*o - 4*o = l, -4*s + 5*o = -33. Does 6 divide s?
True
Let c(k) = -13*k - 402. Let p be c(-36). Let m be -25*(3 + -2) + -2. Let v = p + m. Is 25 a factor of v?
False
Suppose -15*k - 1484 = -11399. Is k a multiple of 8?
False
Suppose -24 = -3*z - 0*z. Let q = z + -1. Is q even?
False
Suppose -10*v + 7*v = -7*v. Suppose -y = -2*d - 405, v = 3*y + d - 294 - 900. Does 57 divide y?
True
Let d = 4 + 5. Suppose d*z - 5*z - 184 = 0. Is 3 a factor of z?
False
Let n(x) = 95*x**2 - 2*x + 4. Does 38 divide n(2)?
True
Let w = 257 + -199. Does 58 divide w?
True
Let f = -317 + 477. Suppose 2*i + f = 7*i. Does 8 divide i?
True
Let l = -2327 + 3065. Is l a multiple of 123?
True
Suppose -14*v = -12*v - 1270. Suppose -5*w + 3*s = 2*s - v, -w - s + 121 = 0. Is w a multiple of 9?
True
Suppose 13 = 3*p + 1. Let c(n) = n - 2. Let i be c(p). Is 4 a factor of i/10 + 59/5?
True
Let z = 10 - 0. Suppose -10*j + z = -5*j. Suppose -22 - 12 = -j*r. Does 17 divide r?
True
Let q = 90 - 25. Let x(j) = j**2 - 3. Let z be x(-6). Let o = q - z. Is 8 a factor of o?
True
Let c = -158 - -316. Is 19 a factor of c?
False
Suppose i - 4 = 0, -5*h + 275 - 38 = 3*i. Is h a multiple of 15?
True
Suppose 2*g = 3*d - 155, 0 = -d + 4*g - 0*g + 45. Let q = -33 + d. Suppose -7*s = -6*s - q. Does 5 divide s?
True
Is 13 a factor of 26/117 + (-4561)/(-9)?
True
Suppose -5*i + 447 + 198 = 0. Suppose -3*n - 2*r = -5*r - i, 5*r + 5 = 0. Does 14 divide n?
True
Let t(g) = g**2 - g + 1. Let v(h) = -h**3 - 16*h**2 - 29*h + 43. Let b(f) = -4*t(f) + v(f). Does 9 divide b(-19)?
True
Let j(u) be the third derivative of -3*u**2 + 0 + 0*u - 1/24*u**4 + 10/3*u**3. Is 11 a factor of j(0)?
False
Let n = 127 + -67. Let g = n + -34. Does 3 divide g?
False
Let d(g) = -70*g - 8. Let j(h) = 23*h + 3. Let l(k) = -3*d(k) - 8*j(k). Let y = 17 - 16. Is 17 a factor of l(y)?
False
Is 13/(-52) + 1965/4 a multiple of 12?
False
Let t(s) = 2*s**2 - 26*s + 99. Is t(6) a multiple of 3?
True
Let g(b) = 2*b - 3*b + 5*b - 2 + 2*b**2. Let h = 66 + -63. Does 12 divide g(h)?
False
Let p(q) = q**3 + 4*q**2 - 10*q + 3. Let u be p(0). Suppose -2*d = -1 - 3. Suppose 0 = 2*g - 0*n + u*n - 174, 3*g + d*n = 251. Does 17 divide g?
False
Is 23 a factor of 778 + 1 - ((0 - 17) + 14)?
True
Let x(o) = -o**2 - 2*o - 1. Let l be x(-1). Suppose -n + 16 = 4*z, -5*z - 2*n + 17 = -l*n. Suppose 2*q - z*q = -24. Is q a multiple of 8?
True
Let g(h) = 5*h - 1. Let j be g(1). Suppose j*i + 2*n + 3*n = 14, -5*i + 4*n + 38 = 0. Let t = 14 - i. Is 5 a factor of t?
False
Let d = 13 - 11. Is 18 a factor of 712/16 + d/(-4)?
False
Let v = 11 + -6. Suppose i = x - 62, x = -v*i + 24 + 26. Is 10 a factor of x?
True
Let n = 283 + -256. Does 4 divide n?
False
Let b = 54 + -47. Suppose 404 = -3*m + b*m. Is 20 a factor of m?
False
Let f = 4 - -8. Is 1/(-18)*-933 - (-2)/f a multiple of 10?
False
Let l(k) = -2*k - 6. Let u = 38 - 26. Suppose 5*a - 5*y = 0, -a - 2*y - u = -0*y. Is l(a) a multiple of 2?
True
Let y(c) = -c**3 + 5*c**2 + c - 5. Let x be y(5). Suppose -5*q - z + 148 = -x*z, -2*q - z + 58 = 0. Does 15 divide q?
True
Suppose 4*c - 2 = 2*c, -5*k + 3*c = -52. Let v = k + -3. Does 2 divide v?
True
Suppose 5*n = -3*w + 2*n - 42, w - 5*n + 2 = 0. Let p = -10 - w. Suppose p*g = 2*r - g - 108, -r = g - 64. Is r a multiple of 20?
True
Suppose -3*g = -6*g + 12. Suppose g*v - 13 = -5*n + 15, -5*n = 3*v - 31. Is 8 a factor of n?
True
Is 1409006/738 - 2/9 a multiple of 14?
False
Let q be 1 - -1 - 1 - 2. Let n be (3 + q)/(14/21). Suppose 5*c - 124 = 4*v, c = -n*c + v + 108. Is 10 a factor of c?
False
Let r = -10 - -12. Let s(d) = 0 + d**r + 5 - 1 + 4*d. Does 12 divide s(-6)?
False
Let u(z) = z**3 + 10*z**2 - 24*z - 15. Is u(-11) a multiple of 32?
True
Suppose 2*h - h + 145 = 0. Let w = 206 + h. Let y = -41 + w. Is 10 a factor of y?
True
Let i(r) = -39*r**3 + 9*r**2 + 31*r - 4. Does 35 divide i(-3)?
False
Let g(d) = d**3 - 22*d**2 + 26*d - 5. Let z be g(21). Let i = 180 - z. Is 10 a factor of i?
True
Let o(k) = -k**3 + 8*k**2 - 6*k - 5. Let d be o(7). Suppose -24 = -2*a - d*a. Does 18 divide 2750/34 + a/51?
False
Let u(s) = 137*s**3 + s. Let f be u(1). Suppose 84 = 6*a - f. Is a a multiple of 7?
False
Let y(i) be the first derivative of 4*i**3/3 - 3*i**2 + 6*i + 14. Does 8 divide y(3)?
True
Let g be (-2 - -2) + 0 - 1*-2. Is (-1 + 76)/(g/2) a multiple of 15?
True
Let a = -319 + 419. Does 6 divide a?
False
Suppose -30242 = -36*t + 49678. Is 13 a factor of t?
False
Let p = -2226 - -3721. Is p a multiple 