25 = 0, -4*n + 2*i - 6 = 0. Let z be (33/(-9) - -2)*n. Suppose 5*g - 5*l - 12 = 8, 0 = z*l + 5. Is g a multiple of 3?
True
Suppose 4*t = 4*q - 544 - 568, -q + 266 = 5*t. Is q a multiple of 5?
False
Let q(f) = 8*f**2 + 5*f + 3 + f**3 - 4*f**3 + 2*f**3. Is 29 a factor of q(7)?
True
Suppose 0 = -1515*f + 1518*f - 216. Is f a multiple of 24?
True
Suppose 4*u = 8, -5*u + 425 = 5*v - 185. Suppose 0 = -5*s - 0 - v. Let x = 40 + s. Does 8 divide x?
True
Let c(z) = z**3 + 8*z**2 - 4*z - 10. Let p = -15 + 7. Let t be c(p). Let s = t - 2. Does 13 divide s?
False
Suppose -9*b + 3*b - 270 = 0. Is 5 a factor of (-4)/1*b/12?
True
Suppose -q = 179 - 33. Let d(y) = -2*y**3 - 7*y**2 - 28*y + 5. Let v be d(-5). Let t = v + q. Is 19 a factor of t?
False
Let r(m) = -2*m + 8. Let o be r(0). Suppose -o = -3*n + 13. Suppose -n*z - 6 + 104 = 0. Is 7 a factor of z?
True
Suppose -3*x - 855 = -6*x. Suppose -8*h - x = -13*h. Does 7 divide h?
False
Suppose -59*j + 68*j - 5301 = 0. Is j a multiple of 53?
False
Let o = 5 - 15. Suppose -3*r - 3*y + y = -1204, 5*y = -20. Is 4/(-10) - r/o a multiple of 20?
True
Let y be (-3 + (-6 - -4))*(-8)/10. Let v be (1 - 7)/((-8)/76). Suppose -y*z + v = -231. Is z a multiple of 18?
True
Suppose 38*c - 5*b - 70 = 33*c, -b = -4*c + 50. Suppose -w = 2*w - 60. Let n = w - c. Is 2 a factor of n?
True
Suppose -6*q = -q + 340. Does 3 divide 6/9 - q/6?
True
Let p(a) = 28*a**2 - 58*a - 451. Is 30 a factor of p(-7)?
False
Is (3458/(-3))/((-184)/276) a multiple of 89?
False
Is 40 a factor of 35113/219 + (-1)/3?
True
Let q = -127 + 179. Let m be -1 - (-3 - 0/2). Suppose m*c - q = -2*c. Is c a multiple of 4?
False
Suppose 2*x - 82 + 40 = 0. Let i = x + 4. Does 4 divide i?
False
Suppose 1631 = -6*l + 3389. Is l a multiple of 10?
False
Suppose 49*w - 3034 = 3483. Is 5 a factor of w?
False
Let a(z) = -28*z**2 + z + 29*z**2 - 2*z + 4. Let m be a(7). Let g = m + -12. Does 17 divide g?
True
Let k(x) = -2*x + 22. Let c be k(8). Let j be ((-188)/c)/(8/(-12)). Let v = -25 + j. Is v a multiple of 22?
True
Let x(c) = -c**3 + 6*c**2 + 10*c + 1. Let s be x(7). Suppose -k = k + s. Let w = 27 + k. Is w a multiple of 8?
True
Suppose f + 10 = 15. Suppose 5*s - 3*r = 11, f*s - 2*s - 27 = -5*r. Suppose -4*t - s*h = -40, 0 = -0*t - 5*t + h + 50. Does 4 divide t?
False
Let j(h) = h**2 + 7*h + 6. Let r = -7 - 0. Let k be j(r). Is 38 + -2 + k + -3 a multiple of 13?
True
Is 31 a factor of (837/18)/((-1)/(-4))?
True
Let q(r) be the first derivative of -r**3 - r**2 + r + 2. Let w be q(2). Let d = 2 - w. Is 7 a factor of d?
False
Suppose -101 = -5*o + 2*k + 10, -4*k = -5*o + 117. Suppose 5*v + o - 681 = 0. Is v a multiple of 22?
True
Let q(u) = -u**3 + 27*u**2 + 23*u - 27. Is 29 a factor of q(25)?
True
Suppose 2*q + 16 = -5*s - 2*q, 0 = 5*s + q + 4. Let k(v) = -v**3 - v**2 - v - 7. Let p be k(s). Let b = 15 + p. Is 4 a factor of b?
True
Suppose -217*x + 220*x - 303 = 0. Is x a multiple of 7?
False
Let y(g) = 5*g**2 + 9*g + 155. Is y(-12) a multiple of 59?
True
Let l(f) = -651*f + 18. Is 17 a factor of l(-1)?
False
Let q = 38 + -24. Let n be 26/6*(q - 2). Let g = n + -36. Does 4 divide g?
True
Suppose 3*i - 1503 = v, 4*i + 5*v - 8*v - 2009 = 0. Is 50 a factor of i?
True
Let x = 3734 - 575. Does 117 divide x?
True
Suppose 0 = 2*q + 4*h - 368, -30*h = -5*q - 29*h + 975. Is q a multiple of 3?
False
Let w(l) = 2*l**2 - 35*l + 7. Suppose -4*z + 90 = 5*b, -4*z = -4*b - 2*z + 72. Does 3 divide w(b)?
False
Let t(o) = o**2 + 5*o + 7. Let s be -3 + (3 - 5) + -3. Let x be t(s). Suppose -x = -4*a + 53. Is 8 a factor of a?
False
Suppose -15*c + 12*c + 72 = 0. Let m = c - 26. Is m*((-33)/6 + 2) even?
False
Let c(l) = -24 - l**2 - 24 - 18*l + 9 - 9. Is c(-12) a multiple of 19?
False
Suppose -2*u - 2*u - x = -39, -4*x = 4. Let a = 4 - -12. Is 482/u - a/80 a multiple of 12?
True
Let q be 2*(-3)/(6/145). Let c = 284 + q. Is 32 a factor of c?
False
Let b(g) = 366*g + 29. Is 12 a factor of b(2)?
False
Let m(f) = 27*f - 1. Suppose y - x = 5, 11 = -5*y - 4*x - 0. Is m(y) a multiple of 4?
False
Let b be (-2)/(-2)*(3 + -1). Let d = 3 + b. Suppose -d*k - 3*g + 120 = -180, 5*k = 4*g + 265. Is 18 a factor of k?
False
Let n = -26 - -36. Suppose 0 = 3*a + 2*a + n. Does 13 divide -3*(328/12)/a?
False
Let y(x) = 7*x - 21. Let l(u) = -13*u + 42. Let o(s) = 6*l(s) + 11*y(s). Let j be o(0). Suppose 18 = r - j. Is r a multiple of 18?
False
Let g be (19 + -33)*2/2. Let y = -11 - g. Suppose 5*k = 3*f + 2*k - 63, 0 = y*f - 4*k - 62. Does 11 divide f?
True
Suppose 870 = 3*u - x, -4*x + 543 = 2*u - 23. Let v = u + -155. Does 15 divide v?
False
Suppose 3*z - 4 = -4*i, 2*i + 3*z = 6*i - 28. Suppose 9*j - i*j - 35 = 5*h, 4*h = -j - 3. Does 7 divide 7/(-14) + (-43)/h?
True
Let y(h) = h**3 + 6*h**2 - 7*h - 10. Let w be y(-7). Does 17 divide (-170)/(-4)*(-12)/w?
True
Let g = -1611 + 2686. Is 25 a factor of g?
True
Let d(u) = 4*u + 164. Does 6 divide d(28)?
True
Let u = -37 + 16. Let n = 60 + u. Is n a multiple of 3?
True
Let j = -133 - 57. Let n = j + 302. Is n a multiple of 7?
True
Let n be (-2318)/(-12) + (51/18 - 3). Suppose -309 = -3*v + 3*j, -2*j - n = -4*v + 225. Is v a multiple of 9?
False
Let g(q) = 3 - q**3 - 6*q + 9*q**2 - 7*q**3 + 9*q**3 + 3. Is 17 a factor of g(-9)?
False
Let a(s) = 2*s**2 - 31*s - 18. Is 15 a factor of a(32)?
False
Let u(b) = -2*b**3 - 9*b**2 - 2*b + 9. Is u(-5) a multiple of 11?
True
Let r(c) = -480*c - 279. Does 153 divide r(-6)?
True
Suppose 3*x = v - 1273, -13*x + 18*x = 3*v - 3815. Is v a multiple of 10?
True
Suppose -4*d + 746 = 5*n, -n - 29*d + 138 = -31*d. Is n a multiple of 4?
False
Suppose 10 = 3*i + 2*i. Let p(r) = 0*r**3 - r**2 + 3*r**2 + 4*r**3 - 3*r**3 - 4. Is p(i) a multiple of 2?
True
Let i be 6/21 + 5223/21. Suppose 0*c - i = -3*c. Let t = 129 - c. Is 23 a factor of t?
True
Let n = 17 - 11. Is 10 a factor of (140/21)/(4/n)?
True
Let u(w) = 37*w + 5. Let i(v) = -v**3 - 3*v**2 - 4*v - 2. Let k be i(-2). Is u(k) a multiple of 7?
False
Let z = 27 + -23. Suppose 0 = 2*h + u + 3*u - 2, 0 = -z*h + u + 22. Suppose g = 3 - 2, 211 = h*o + g. Is o a multiple of 21?
True
Suppose -n + 5*r = 4*n + 2040, -2*n = -3*r + 819. Let f be 39/(-52) - n/(-4). Let w = f + 161. Is 12 a factor of w?
False
Suppose 2*b - 10 = 2. Let o(u) = 2*u**2 - 8*u + 9. Let h be o(b). Suppose -4*d + h - 9 = 0. Does 6 divide d?
True
Suppose 0 = 2*g + 4*t + 6 - 46, -3*g + 5 = -5*t. Let l be (-666)/g - (-6)/(-15). Let p = 94 + l. Is 9 a factor of p?
True
Let w(i) = -i - 11. Let h be w(-9). Let s(f) = -26*f - 2. Let v(g) = -26*g - 1. Let k(q) = -3*s(q) + 4*v(q). Does 17 divide k(h)?
False
Suppose 82*x - 12 = 78*x. Let k(s) = 8*s**3 - 4*s**2 + s + 3. Is k(x) a multiple of 31?
True
Let q(v) = 5*v + 9. Let w(p) = p. Let g(o) = q(o) - 6*w(o). Let r be g(10). Is 14 a factor of 28 + (2 + -2)/r?
True
Let f(s) = -28*s - 43. Let j be (92/12)/(-1) - (-2)/(-6). Is 26 a factor of f(j)?
False
Suppose 3*l + 28 = 7*l. Suppose 6*c = l*c - 6. Let o(y) = 6*y + 1. Does 13 divide o(c)?
False
Let l(f) = 2*f - 11. Let h be l(6). Is ((-39)/26)/(h/(-36)) a multiple of 14?
False
Suppose -16 + 13 = -3*a. Is 6 a factor of a/(-5) - 93/(-15)?
True
Let l = 184 + 16. Is l even?
True
Suppose 260 = 4*y + 4*f, -2*y - 23 = 3*f - 158. Suppose -8*j + y = -2*j. Is 10 a factor of j?
True
Let j(s) = s**3 + s**2 - 2*s - 1. Let u be j(2). Let k = 7 - u. Suppose -4*z + 4 = k, z + 15 = 2*y + 2*z. Is y even?
False
Suppose -2*p = 2*s - 2, 6*p + 32 = 8*p - 4*s. Suppose -p*i + i + 440 = 0. Does 9 divide i?
False
Let z = 234 + 18. Suppose -3*h + z = -h. Is 18 a factor of h?
True
Suppose -37 = -3*h + 2*u + 60, 4*u + 89 = 3*h. Suppose h = c - 65. Is 20 a factor of c?
True
Let t = 70 + -68. Suppose -4*g + t*n + 700 = 0, -3*g + 5*n + 240 + 292 = 0. Is 12 a factor of g?
False
Let f(r) = r**2 + 10*r + 21. Does 10 divide f(-20)?
False
Suppose -2*z + z - 5*j - 4 = 0, 5*j = 4*z - 59. Suppose -5*y + z*y - 78 = 0. Suppose -5*s - 7 = y, -4*s - 280 = -4*f. Does 31 divide f?
False
Suppose 0*b - 5*b - 34 = -4*m, 0 = 4*b + 8. Suppose -d = -m*d. Suppose g - 1 = d, 19 + 16 = 5*z - 5*g. Is z a multiple of 4?
True
Let a be ((-6)/2)/(-3)*1. Suppose 0 = -l - a. Is 17 a factor of (22 - (1 - 3)) + l?
False
Let j = -963 - -1356. Is j a multiple of 9?
False
Let o(i) = -i**2 + 17*i - 2. Let y 