)/2)?
True
Suppose 3*a + 869 = n, 5*a - 3503 = -4*n - 27. Is n a multiple of 4?
False
Suppose 3*b = -y + 1, 2*y - 7*y - 5*b = -45. Is y a multiple of 4?
False
Let o(c) = 117*c**2 + 145*c - 287. Is 27 a factor of o(2)?
False
Let i be 2/(-6)*(-1575)/25. Suppose -5*h + q - 3*q = -i, h - 3 = -q. Suppose h*w + 440 = 5*o, -w = 2*o + 2*w - 156. Is o a multiple of 12?
True
Suppose 0 = -2*h + 4*j + 686, -6*j + 2*j - 1023 = -3*h. Is h a multiple of 18?
False
Suppose -3*f + f + 36 = 0. Let d be (-61)/(-9) - (-4)/f. Suppose -d*j + 92 = -3*j. Does 10 divide j?
False
Let v be 1 - (10*3)/3. Let d be ((-120)/v)/((-10)/(-75)). Suppose -d = -2*j - 38. Does 8 divide j?
False
Let n = 10 + -8. Let u = n - -4. Is 49 + 5 - u/(-2) a multiple of 21?
False
Let b = -70 + 300. Is 5 a factor of b?
True
Let n = 545 - 537. Is 8 a factor of n?
True
Let k be (6/(-3) + -20)*-2. Suppose 5*q - k + 429 = 0. Does 9 divide (q + 8)/(6/(-4))?
False
Let y(n) = 36*n**2 - 13*n - 21. Does 53 divide y(-3)?
False
Suppose -5*u + r = -1361, 4*u - 21*r + 20*r = 1088. Is 16 a factor of u?
False
Let q be ((-160)/60)/(2/(-9)). Is 11 a factor of (-3 + -124 + 1)*(-8)/q?
False
Is 16 a factor of (-2)/(-4)*(3 + 64 + -3)?
True
Suppose -4*n = -111 + 23. Let q(k) = 8*k - 128. Let v be q(24). Suppose -6*y - n = -v. Is 7 a factor of y?
True
Is 40 a factor of (0 - 192/(-112))/(1/476)?
False
Let k(l) = l - 2. Suppose -2*o = -42 + 6. Does 12 divide k(o)?
False
Suppose 2232 = q + 5*q. Does 31 divide q?
True
Let l(x) = 2*x**2 + 8*x - 18. Let a be l(-7). Let q be 5/1*(-4)/(-5). Suppose -q*y + a = v, -v - y = -15 - 12. Is v a multiple of 7?
True
Suppose -5*f - 6*w + 420 + 372 = 0, -4*f = -3*w - 657. Is 3 a factor of f?
True
Suppose -1 = -2*v - 13. Let h = 11 + v. Suppose -5*d - 4*r = -0*d - 198, -d + h*r = -28. Is d a multiple of 11?
False
Suppose -5*r + 2*r + 141 = 0. Suppose 0 = -5*x + 3*l + 17, -4*x + 2*l + 20 = -2*l. Suppose 4*a - x - r = 0. Is a a multiple of 12?
True
Let l(m) = -6*m**2 + 3. Let w be l(-6). Let j = 301 + w. Does 22 divide j?
True
Let b be (-1 + 2 - 94) + -2. Let x = b - -158. Is 3 a factor of x?
True
Suppose 2*o + 3*t = 3686, -8*t + 4*t = -2*o + 3714. Does 9 divide o?
False
Suppose 12 = -3*y, 3*y + 11 = 4*v - 17. Suppose -v = c - 20. Is c a multiple of 5?
False
Suppose 4*l - 5*x = 473, 0*x + 233 = 2*l + x. Let n = l - 59. Let m = 108 - n. Is 11 a factor of m?
False
Suppose -5*h + 1320 = 6*h. Let a = 144 - h. Is a a multiple of 6?
True
Suppose 1216 = v + p, 5*v - p - 5733 - 323 = 0. Is 101 a factor of v?
True
Let q(m) = -17*m**2 - 9*m - 3*m**3 - 3 + 2*m**3 - 5 + 1. Let z be q(-16). Is 14 a factor of (z/51)/((-1)/24)?
True
Suppose 590 = 3*h - 2*r, -2*h + 5*r = -373 - 24. Is 9 a factor of h?
False
Let f be (-12 - (-3 + 3))*4. Let i = f - -88. Is 10 a factor of i?
True
Suppose -3*f - 14890 = -5*n + 9065, 0 = 5*n - f - 23945. Does 38 divide n?
True
Suppose 0*s = -2*s - 5*o + 9, 0 = 2*o - 2. Suppose s*j - 5*j + 165 = 0. Does 11 divide j?
True
Suppose 3*i = -1 + 13. Suppose -b - 15 = i*b. Is 52*1 + 0 - b a multiple of 24?
False
Let m(x) = 6*x + 24. Let t be m(-4). Suppose t = 3*s - 5*s + 228. Is s a multiple of 19?
True
Suppose -5*a + 838 = -4*x, 3*a = 4*a + 3*x - 179. Suppose 0 = -5*r + z + z + a, 5*z = -r + 61. Is r a multiple of 12?
True
Suppose -z - 145 = -6*z + 5*o, 3*z - 89 = 5*o. Let j be (3/(-2))/(12/(-32)). Let q = z + j. Is 8 a factor of q?
True
Suppose 0 = b - 2, 2*m + 3*b = -2*m + 618. Suppose 4*k = k + m. Is 6 a factor of k?
False
Let g(y) = 2*y**3 - 7*y**2 + y + 7. Let v be g(5). Suppose 4*l + 144 - 16 = 0. Let u = v + l. Does 15 divide u?
False
Let x(s) = -s**3 - 28*s**2 + s + 47. Does 2 divide x(-28)?
False
Let k be (-28)/6*(-15)/(-10). Let b = k - -9. Suppose -3*a + m = -65, 46 = 2*a - 0*a - b*m. Does 21 divide a?
True
Suppose -2 = -4*p + 10. Suppose -8*w + 40 = -p*w. Is w a multiple of 5?
False
Let h be (-12)/(-78) - 386/(-26). Let k = 11 + h. Is k a multiple of 26?
True
Suppose -5*w - 10 = 5*m, 0 = -2*w + 3*m - 2*m - 4. Let z be (w - 1)*(-32)/12. Suppose g - 66 = 3*x - z*x, -4*g = -3*x + 58. Does 6 divide x?
False
Let c(m) = 3*m**2 - 27*m - 282. Does 73 divide c(-19)?
True
Suppose -b + 67 = 3*w, -8*b + 5*b + 197 = 5*w. Is b a multiple of 4?
True
Let n = 2442 - 1722. Does 9 divide n?
True
Let c be (-7)/(21/(-18)) - 3. Suppose -423 + 105 = -c*i. Does 31 divide i?
False
Is ((-180)/(-150))/((-4)/10) - -785 a multiple of 17?
True
Let a(f) = f**2 - f. Let v(k) = k**3 - k**2 + 8*k + 2. Let s(z) = -3*a(z) - v(z). Let r(b) = -b**3 + 7*b**2 - 8*b + 9. Let u be r(6). Is s(u) a multiple of 11?
True
Let l = -14 + 58. Suppose 0 = o + 3*o + l. Let h = o + 31. Is 10 a factor of h?
True
Suppose 7*h - 116 = 2*h + 4*k, 36 = 2*h + k. Let v = h + 200. Suppose -v = -3*m - t + 52, 188 = 2*m - t. Is 23 a factor of m?
True
Is 68/(-340) + (-2801)/(-5) a multiple of 14?
True
Suppose 21*a = 17*a + 2000. Is 25 a factor of a?
True
Let w be (391/(-1))/(39/(-6) - -6). Is 4/(-10) + w/5 a multiple of 27?
False
Suppose -3661 = 12*f - 10621. Is f a multiple of 58?
True
Suppose 12*w = 6*w. Let p(n) = -n**2 + n + 5. Let u be p(w). Suppose 4*r - 65 + 14 = -v, -v = u*r - 56. Is v a multiple of 22?
False
Is 42 a factor of (-5)/(-4) + 8814/104?
False
Let w(i) = -i**2 + 12*i - 17. Let h be w(12). Let b = h - -19. Does 20 divide 60/b - -2 - 2?
False
Let a = -105 + 153. Is 17 a factor of a?
False
Let y = -214 + 116. Let r = -8 + -51. Let p = r - y. Is p a multiple of 13?
True
Let j(w) = w. Suppose 5*p = 2*p - 12. Let x(n) = 15*n + 2. Let t(q) = p*j(q) - x(q). Is 11 a factor of t(-3)?
True
Suppose f = -2*f - 9. Let r be f/1 + (-1)/1. Let g(a) = -a**3 + a**2 + 5*a + 5. Is g(r) a multiple of 13?
True
Let r = 1230 - 676. Is r a multiple of 34?
False
Suppose r - 4*y - 19 = 9, r - 5*y - 33 = 0. Suppose -6*w = -r*w + 160. Is w a multiple of 20?
True
Let z be -4*6/(-8) - -22. Suppose 5*w + 5 = 2*y + z, -3*y - 2*w + 8 = 0. Suppose y = -4*j + 18 + 18. Is 3 a factor of j?
True
Let z(r) = r**2 + 1. Let g(i) = 1. Let s(q) = -7*q**2 + 17*q - 18. Let b(a) = 5*g(a) + s(a). Let t(p) = b(p) + 6*z(p). Is 8 a factor of t(12)?
False
Let s(r) = -6*r**2 - 13*r + 16. Let l(j) = j**2 - 4*j**2 + 12 - 7 + j**2 - 4*j. Let d(o) = 11*l(o) - 4*s(o). Is d(-7) a multiple of 13?
False
Suppose c - 76 - 264 = -m, 4*m - 1332 = 3*c. Let r = m - 106. Is r a multiple of 38?
False
Let x be -4*4/(-8) + -5. Let b be (-10)/(x*(-2)/(-6)). Suppose b*u = 7*u + 60. Is u a multiple of 5?
True
Let z = 65 + -63. Let c(p) = 22*p - 21. Does 11 divide c(z)?
False
Suppose -25 = -0*x - x - 4*j, 5*x = -j + 220. Let m be 234/x - (-2)/(-10). Suppose -m*z + 98 + 82 = 0. Does 31 divide z?
False
Suppose -5*o + 3*x + 94 = 0, -4*x + 0*x + 8 = 0. Suppose -5*m - 2*f = -4*f - o, 5*m + 4*f = -10. Suppose 0 = -2*a - a - 9, -m*z - a = -39. Is z a multiple of 7?
True
Let v = -32 + 36. Suppose -v*j = -75 - 405. Is j a multiple of 15?
True
Suppose 2*u - 35 = 5*c, 31 = 2*u + c - 34. Is 4 a factor of 1245/u - (3/2 + -1)?
False
Is 1399/4 + (-10)/(-8) a multiple of 39?
True
Let l = -902 + 1646. Does 24 divide l?
True
Suppose 5*p + 1366 = 3*w, 4*w - 6*p = -8*p + 1778. Does 4 divide w?
False
Suppose -3*v + 73 = -0*v + z, -3*v = 2*z - 74. Does 6 divide v?
True
Suppose 8*h - 3*h = 20. Suppose -h*q = q - 560. Is q a multiple of 16?
True
Suppose 0 = -5*l + 5*v + 2845, 8*l + 5*v = 9*l - 553. Is 14 a factor of l?
False
Let f = 26 - 26. Suppose f = -2*s - w + 9, 0*s + 2*s - 3*w - 5 = 0. Is 27 a factor of (-1)/(-3 + s)*-27?
True
Suppose -11*r + 15*r = -8. Is 9 a factor of r/(2 + (-68)/30)*18?
True
Let a(q) = -7*q**2 - 10*q - 12. Let h(g) = -g**2 + g + 1. Let w(b) = a(b) - 6*h(b). Let i be w(-14). Is 22 a factor of ((-8)/i)/(2/(-110))?
True
Let q(r) = 36*r + 17. Does 47 divide q(6)?
False
Let t be ((-7)/4 - -2) + 1425/12. Let a = -60 + t. Is a a multiple of 5?
False
Let p be (-128)/(-40)*(-10)/(-4). Let b(n) = -2*n - 3 + p*n**2 - 5*n**2 - 4*n**2 + 12*n. Does 13 divide b(8)?
True
Let k be (6 + -12)*(-196)/(-3). Let p = -217 - k. Suppose p + 49 = 3*t - 2*z, -70 = -t + 3*z. Is t a multiple of 10?
False
Suppose 1463 + 175 = 13*l. Is 18 a factor of l?
True
Let m = 26 - 14. Suppose -23 = -5*u + m. Suppose 2*d = c - u, -3*d = 2*c - 4*d - 17. Is 5 a factor of c?
False
Suppose 0 = 20*s - 7304 - 52216. Is s a mult