 Is 2 a factor of b?
False
Suppose -42*c + 36*c = -3*h - 109635, 4*c + h - 73111 = 0. Is c a multiple of 57?
False
Let k(t) = -t**2 + 26*t + 17. Let q be k(27). Let x(c) = -c**2 - 10*c + 4. Let z be x(q). Suppose -z*i - 102 = -5*i. Is i a multiple of 11?
False
Suppose -3*i + 21*h + 5177 = 16*h, 3*i + 2*h - 5212 = 0. Does 17 divide i?
True
Suppose 0 = 4*r + 2*q - 8782, -11798 + 3017 = -4*r - 3*q. Is r a multiple of 18?
True
Suppose 4*z - z - 12 = 0. Suppose -2*o - a - 4*a = -94, -z*o - 3*a = -188. Let u = 66 - o. Is u a multiple of 4?
False
Let m(z) = -z**3 - 3*z**2 + 8*z - 6. Let b be m(-5). Suppose -b*f + 993 + 351 = 0. Is 16 a factor of f?
True
Let h = 2633 + -1517. Is h a multiple of 36?
True
Let g(z) = 5*z. Let t(u) = -4*u. Let k(s) = 3*g(s) + 4*t(s). Let c(v) = -5*v**3 + v**2 - 2*v - 4. Let r(q) = c(q) + 3*k(q). Is 10 a factor of r(-2)?
True
Suppose -56 = -5*r + 3*a - 20, 0 = 4*r - 2*a - 28. Suppose -38 = r*d + 16. Let p = d - -31. Is 5 a factor of p?
False
Suppose -4*t - 57 = -49. Is -1294*-4*3/12 - t a multiple of 13?
False
Suppose r = -1, 2*j - j + 3*r = -2. Is (82 - j)*(-48)/(-18) a multiple of 27?
True
Suppose -2*g - 6 = -p + 3*g, -2 = 3*p - 5*g. Let v(m) = 10 - 43*m**2 + 49*m**2 - 4*m - 20. Does 17 divide v(p)?
True
Let q be 120/(1 - 3) - 0. Let k = -61 - q. Let a = 24 - k. Does 2 divide a?
False
Suppose -11*m + 51 = -4. Suppose -2*w + 0*w = -1602. Suppose -m*s - 3*p = -w, 0 = 3*s - 2*p - p - 495. Is 30 a factor of s?
False
Is (-23 + 128)*258/10 a multiple of 31?
False
Let v = 2163 - -1015. Is v a multiple of 14?
True
Let j(z) = z**2 - 2*z - 354. Does 9 divide j(44)?
True
Suppose 0 = 5*u + 3*i + 2*i - 2705, 2*i + 1094 = 2*u. Let b = u - 312. Is b a multiple of 58?
True
Let u be (1043/28 + -3)/((-2)/(-8)). Let v = u - 128. Is 3 a factor of 230/15 + 6*1/v?
False
Let p(t) = 7*t**3 + 19*t**2 + 22*t + 9. Let b(c) = 13*c**3 + 37*c**2 + 43*c + 19. Let q(z) = -6*b(z) + 11*p(z). Is q(-15) a multiple of 25?
True
Let q(l) = -2*l**2 + 162*l - 1232. Is q(66) a multiple of 97?
False
Let h(z) = 2*z**3 + 21*z**2 + 4*z - 3. Let y(p) = p**3 - p + 1. Let i(n) = -h(n) + y(n). Does 29 divide i(-21)?
False
Let d(k) = -17*k + 1227. Let f be d(72). Let v be (-2*1)/(-2) + 12. Suppose 0*p = -p - f*h + v, -h + 107 = 5*p. Is 22 a factor of p?
True
Suppose -40*v + 36*v - 162461 = -17*v. Is v a multiple of 12?
False
Let b(r) = r**3 - 25*r**2 + 33*r - 6. Let p be 3/(44/96 + (-1)/3). Is b(p) a multiple of 21?
True
Suppose -407*g + 224*g = -130066 - 173348. Does 8 divide g?
False
Let l be (4/(-10)*(-4 - -24))/2. Let w(q) = q**2 + 5*q + 23. Does 2 divide w(l)?
False
Let o = -1047 - -533. Let k = 240 - o. Is k a multiple of 13?
True
Let r(v) = 284*v - 3630. Does 22 divide r(44)?
True
Suppose -5*a - c = -2*c - 996, c + 596 = 3*a. Let f = a + 190. Is 15 a factor of f?
True
Suppose p - 4*n + 20 = 0, -6*p + 3*n - 15 = -2*p. Suppose 943 = 3*g + i, p = g + 2*i - 0*i - 316. Is g a multiple of 47?
False
Let d be (-146)/(-6) + ((-48)/18)/(-4). Let q = -20 + d. Suppose -5*w + 755 = -q*o, 2*o = -2*w + 94 + 204. Is 15 a factor of w?
True
Let s(q) = -3*q + 23 + 4*q + 12. Let p = 978 - 993. Is s(p) even?
True
Suppose 38*d - 3*r = 40*d - 2026, 4*r = 0. Does 24 divide d?
False
Suppose -28793*t + 28807*t = 215754. Does 212 divide t?
False
Let y = -1017 + 1021. Let p = -3 - 1. Is 47 a factor of 374/y - ((-2)/p - 1)?
True
Suppose 318 + 263 = -c. Does 48 divide 1 - c - (-25 + 31)?
True
Suppose w + 293 = -u, 0 = -w + 2*w - 5*u + 311. Let q = -170 - w. Is 21 a factor of q?
True
Let m be (60/45)/(-1*16/(-60)). Suppose m*r - 631 = -2*y + 2222, 2*y = -4*r + 2284. Is r a multiple of 16?
False
Let o be 3/2*(-2304)/(-54). Suppose 0 = 29*t - 31*t + o. Is t a multiple of 18?
False
Suppose -h + 161 = -45*o + 42*o, 0 = -3*h - 3*o + 471. Does 19 divide (-26)/(-78) + h/3?
False
Suppose 0 = -58*d + 69*d. Suppose d = -k + s + 503, -34 = -5*k - 3*s + 2465. Is k a multiple of 27?
False
Let x(j) = j**3 + 7*j**2 + j + 10. Let p be x(-7). Let d be (2 + (-32)/(-12) - 3)*p. Suppose -2*i + 21 = -3*i - 5*n, 5*i + 5 = -d*n. Does 2 divide i?
True
Let f be -5*(-588)/(-30) - 1*-1. Let n = 405 + f. Is 11 a factor of n?
True
Suppose 5*l - 43315 = -2*k, -k + 5*l + 6445 = -15250. Does 5 divide k?
True
Is 35 a factor of ((-4)/(-30)*-5)/(50/(-2581650))?
False
Let n(f) = -f**3 + 18*f**2 + 17*f - 38. Let g be n(17). Suppose 4*u - g - 168 = 3*r, -2*u - 3*r = -336. Is u a multiple of 20?
False
Suppose 15*l - 551067 = -3*y, -10*y - 110215 = -3*l - 9*y. Does 11 divide l?
False
Let x(i) = i**3 - 48*i + 5742. Does 14 divide x(0)?
False
Let l(r) = 4*r**2 - 22*r - 3. Let y(z) = z + 1. Let c(k) = -l(k) - 3*y(k). Let f be c(-4). Let m = -52 - f. Is m a multiple of 8?
True
Let u = 4343 + -1751. Is u a multiple of 96?
True
Let n(c) = -c**2 + 9*c + 39. Let f be n(12). Suppose f*h = -5*g - 161, -3*h + 2*g - 171 = 5*g. Does 26 divide ((-6)/33 - h/(-22)) + 34?
False
Let g = -26375 - -51008. Is 51 a factor of g?
True
Suppose -6*h + 846 = -102. Suppose -p + 11396 = 13*p. Suppose -6*s = -p - h. Is 27 a factor of s?
True
Let h(f) = -3*f**2 + 61*f + 25. Let s = 418 + -399. Does 4 divide h(s)?
False
Let g(w) = -w**3 - w**2 - 2. Let s be g(-2). Let m be 171/76*(3680/6)/s. Suppose n - m = -5*n. Does 23 divide n?
True
Let a(c) be the first derivative of -c**3/3 + 6*c**2 - 24*c + 47. Let y be a(8). Suppose -g + y*g - 595 = 0. Does 17 divide g?
True
Let h = 19 - 16. Suppose 4*m - m = -4*i + 7, -h*m + i = -2. Suppose 4*u - 11 = 5*n, m = 5*u - 4*n - 15. Is u a multiple of 4?
True
Let n be ((-40)/(-50))/(2/5). Suppose -n*q - 37*q = -3549. Does 13 divide q?
True
Does 68 divide (2/1 - 18/2) + 1 + 414?
True
Is (-197 - 185)/(2/(-7)) a multiple of 7?
True
Suppose 5*y - 4 - 11 = 0. Suppose 9*z = -101 + 569. Suppose y*u - z = 104. Is u a multiple of 8?
False
Let w be (-13)/2*(-386 + 8 + -20). Let q = -1810 + w. Does 37 divide q?
True
Suppose 53*z - 28*z - 443425 = 0. Does 14 divide z?
False
Suppose 5*d + 2*l = 668, 3*l + 3 + 381 = 3*d. Is d a multiple of 32?
False
Is 36 a factor of -2781*(-21 + 77)/(-7)?
True
Is 22 a factor of (12/24*-2)/((-2)/13074)?
False
Let a = 2099 - 819. Is a a multiple of 17?
False
Let g(l) = 1284*l + 10787. Is g(23) a multiple of 86?
False
Suppose 7*i + 3 = -4*y + 2*i, -2*i - 21 = -5*y. Suppose 144*p - 141*p - 1224 = 0. Suppose y*b - p = -5*b. Is 13 a factor of b?
False
Let k(h) = 131*h - 141. Let u(i) = 33*i - 35. Let a(t) = -2*k(t) + 9*u(t). Is 38 a factor of a(16)?
False
Let r(h) = -367*h + 2737. Does 75 divide r(-25)?
False
Let j(t) = t**2 + 10*t + 18. Let x be j(-2). Suppose -x = 11*a - 332. Does 6 divide a?
True
Suppose 841 = 8*m + 873. Is 18 a factor of m/16*-791 + 3/12?
True
Let a(q) = q**2 - q + 1. Let s(c) = c**2 - 22*c - 47. Let f(k) = -2*a(k) + s(k). Let p be f(-17). Suppose p*t + t - 490 = -5*r, 2*r = t + 185. Does 11 divide r?
False
Let l(y) = -134*y**2 - y**3 + 23*y + 2*y**3 + 152*y**2 - 4. Suppose -n - 17 + 1 = 0. Is l(n) a multiple of 28?
True
Let r = 198 - 133. Let q be (4/5)/(13/r). Suppose -2*h + 130 - 12 = -4*i, 0 = q*h + 2*i - 216. Is h a multiple of 11?
True
Suppose 48 = 2*j - 6*a + 3*a, 5*j - 109 = 2*a. Let m be 6/j - (-4)/14*-1. Suppose 5*x + d + 2*d = 559, m = -x - 4*d + 122. Does 16 divide x?
False
Let a = 12 - 24. Let d = -16 - a. Is (72/(-45))/(d/150) a multiple of 10?
True
Let r be (1 - (-45)/(-35)) + 2/7. Let h be (4 - (r - 2))*3. Suppose h = 4*i - 150. Is 12 a factor of i?
False
Let q(y) = y**2 - 79*y + 849. Is 2 a factor of q(76)?
False
Let h = 77 + -76. Let n be h - -4 - (-5 - 165). Suppose -575 = -5*i - n. Is 40 a factor of i?
True
Suppose -2*f + 1 - 69 = 0. Let v = f - -265. Does 17 divide v?
False
Suppose 3*l - 30942 = -4*c, 5*c + 36455 - 5540 = 3*l. Is l a multiple of 10?
True
Let l(v) be the third derivative of v**4/24 + 4*v**3/3 + 5*v**2. Let r be l(-7). Is -2*(1 + (-19)/r) a multiple of 9?
True
Let c be (4/12*-1)/(1/(-6)). Suppose -3*x = -3*t - 9, c*t = 2*x - x - 3. Suppose -u - 4*w = -25, -3*u + t*u + 135 = -3*w. Is u a multiple of 12?
False
Let a be 3 + (-2 - 1) + 2. Suppose -3*n = 4*l - 750, a*l = -0*l - 2*n + 374. Is 9 a factor of l?
True
Suppose 170*c + 132*c = 41*c + 9267066. Is c a multiple of 41?
True
Let u = 2640 - 210. Is u a multiple of 27?
True
Suppose 0 = -5*x + 2*x + 24. Supp