30. Suppose -2*j + o = 33. Is j a multiple of 7?
True
Suppose 0 = -2*s - 2*d + 13788, 30*s + 27570 = 34*s + 3*d. Is s a multiple of 34?
False
Suppose -34791 = -12*i + 31206 + 2403. Is i a multiple of 150?
True
Suppose 20*t = 19*t + 3*h + 7554, 11*t - 83158 = h. Is t a multiple of 20?
True
Let b = 37 - 51. Let h be 1/1 - (b + 7). Suppose 0 = -i + 19 - h. Is 3 a factor of i?
False
Let r = -20818 + 24478. Is 12 a factor of r?
True
Is 18 a factor of (480/880 + 2712/110)*35?
True
Let u = -98 + 118. Suppose -u*p + 345 = -15*p. Is p a multiple of 7?
False
Suppose -5*d + 12003 = 4*u, -211*u = -d - 207*u + 2367. Is d a multiple of 32?
False
Let o = -2 - -42. Suppose 24*k - 28*k = -o. Suppose -4*m = i, 5*i = m + 11 + k. Is i even?
True
Is ((-374)/(-10) - (-204)/(-510))/((-5)/(-1360)) a multiple of 15?
False
Let p = 27 + -23. Let c(g) = -3*g - 18. Let r be c(-6). Suppose -4*j - 141 = -5*q, r*j + 16 = -p*j. Is 5 a factor of q?
True
Let h(w) = w**2 + 94*w - 102. Let m be h(39). Is 55 a factor of 5/(9/m*5)?
False
Let a = -36 - 17. Let h = a - -31. Is 7 a factor of h/(-3) - ((-4)/6 + 1)?
True
Suppose 0 = -4*t - 2 + 6. Let m be t*4*(-105)/(-30). Suppose -9*h = -m*h + 450. Does 17 divide h?
False
Is 40 a factor of (-12)/(-56)*(-28)/24 + 25922/8?
True
Let g(u) = u**2 - 4*u + 53. Let o be g(22). Suppose -2539 + o = 10*v. Let t = -118 - v. Does 13 divide t?
True
Let b(w) = 18*w**2 - 131*w + 7. Does 9 divide b(-18)?
False
Let d = -17 + 35. Suppose -d*r = -21*r. Suppose 10*u - 6*u - 164 = r. Is 14 a factor of u?
False
Suppose -14*d = -16*d + 16*d - 553840. Is d a multiple of 172?
True
Let a(d) = d**2 + 13*d + 6. Let w(l) = -l**2 - 26*l + 9. Let y be w(-27). Is 16 a factor of a(y)?
True
Let y be -90*((-325)/(-10))/(-13). Let i = y + 139. Does 22 divide i?
False
Suppose 3*u = 0, 3*s + 5*u = -2*s - 30. Let f be (-2)/((-968)/(-99) + -10). Is 35 a factor of (-420)/18*f/s?
True
Let p(b) = -11*b**2 - 8*b + 18. Let i be p(2). Is (i/8)/(63/(-7392)) a multiple of 17?
False
Let h = -195 - -355. Let m be (4 + -2 - 12)/((-10)/h). Suppose 0 = -3*p - p + m. Is p a multiple of 8?
True
Suppose -9086 + 384 = -4*p + c, 2*p = -3*c + 4358. Is 17 a factor of p?
True
Let x = -5 + 6. Let k be (-18)/24 - (-91)/4. Is (-2 - x) + 682/k a multiple of 18?
False
Suppose -3*f + 16891 + 63990 = 5*g, 0 = 2*g + 2. Is f a multiple of 34?
True
Suppose -602*j + 590*j = -63132. Is j a multiple of 7?
False
Let t(s) = -s**2 - 28*s - 70. Let g be t(-26). Let r be (-6)/(-27) + (-20732)/g. Suppose -417 = 15*h - r. Is 6 a factor of h?
False
Let r(d) = -3*d**3 - 2*d**2 - 3*d - 2. Let a be r(-1). Let l(c) = 111*c**a - 17*c**2 - 1 - 43*c**2. Is l(-2) a multiple of 49?
False
Suppose -2*d + 24 = 4*q, 8 = 3*q - q. Suppose -5*j - d*a = -517 - 66, 4*j + a - 473 = 0. Does 16 divide j?
False
Suppose 9*z - 11*z = 350. Let y = -97 - z. Is 7 a factor of y?
False
Suppose -m - 6*l + 90 = -578, -5*l = 5*m - 3265. Does 11 divide m?
False
Let s(x) = -x**3 - 9*x**2 + 9*x - 5. Let b be s(-10). Let g be 6/b*((-300)/9)/(-2). Is (g/(-15))/(2/(-42)) a multiple of 5?
False
Let i(v) = -v**2 + 29*v - 100. Let z be i(10). Does 24 divide (z/1)/(123/820)?
True
Suppose -3*c - 5*a = -6*c - 12, -2*c - 2*a - 8 = 0. Is -4 + 1167/27 - c/(-18) a multiple of 2?
False
Let p(g) = -2*g**3 - 12*g**2 - 25*g - 24. Let y be p(-10). Suppose -y = -8*i + 4294. Does 18 divide i?
False
Let r = -9504 + 26149. Does 20 divide r?
False
Is 5 a factor of 22739 + (-171)/(-4 + 13)?
True
Let f = 868 + -853. Is f - (13/52 + (-18)/8) a multiple of 15?
False
Suppose -3*k + 2*u = -103, -4*u + 160 = 5*k - 5*u. Let m(z) = -z**3 - 4*z**2 + 3*z - 6. Let p be m(-5). Let t = k + p. Does 12 divide t?
False
Suppose 0 = 117*h - 134*h + 14484. Does 2 divide h?
True
Suppose 4*v - 59679 = 4*u - 22315, -12 = -2*u. Does 7 divide v?
False
Let f = 447 - 444. Suppose -4*u = 3*h - 1974, -f*u + 819 = -2*h - 653. Is 19 a factor of u?
False
Let c(h) = 76*h**2 - 152*h + 1278. Does 26 divide c(10)?
True
Let x(u) = u**3 - 87*u**2 + 18*u - 3136. Does 128 divide x(90)?
True
Let a = -4 - -4. Let p be 6/9*-22*(9 - a). Is (-1)/(3 + (-2 - p/(-129))) a multiple of 34?
False
Suppose -a - 44 = a. Let w = a + 90. Let q = w + -2. Is q a multiple of 10?
False
Suppose -2*s - 1 = -r - 26, -3*s + 3*r = -39. Suppose -9*y - 726 = -s*y. Is y a multiple of 26?
False
Let h(a) = a**3 - 12*a**2 + 9*a - 19. Let u(y) = -3*y**3 + 37*y**2 - 27*y + 59. Let q(f) = -7*h(f) - 2*u(f). Is q(7) a multiple of 6?
False
Suppose -m = 6*m - 7. Suppose 0 = 5*w + m + 4. Let v(y) = -10*y**3 - y**2 + 1. Does 10 divide v(w)?
True
Suppose 17*i = -4482 + 63642. Is i a multiple of 12?
True
Let j(r) = 1792*r - 6604. Is 11 a factor of j(5)?
False
Suppose -v - 35 = -3*l - 7, -5*l + 75 = 4*v. Let d(x) be the first derivative of 19*x**2/2 - 3*x + 26. Is 32 a factor of d(l)?
False
Let f be 2/2*(-1 + -2). Let j(a) = -7*a + 18. Is 18 a factor of j(f)?
False
Suppose -14355 = -17*l - 12*l. Suppose 178*q - 179*q = -l. Is 15 a factor of q?
True
Let k(v) = 2*v**2 + 6*v - 25. Let j be k(-6). Does 40 divide 1*4/(-22) + 442/j?
True
Let t = 765 - 509. Suppose 24 = -2*h + 4*k + t, 5*h - 536 = -k. Suppose -h = -7*m + 3*m. Does 9 divide m?
True
Suppose 0 = -2*r + 388 + 460. Let m = -221 + r. Does 26 divide m?
False
Suppose -9*b + 5*b - 3*j = 160, 5*b - 4*j + 231 = 0. Let y = 402 + b. Does 12 divide y?
False
Let q = 22 + -16. Suppose -10*l = -q*l - 1056. Does 13 divide l?
False
Suppose -5*n + 27 = -23. Suppose -4*r + n = -x, -4*r - 3*x + 5*x = -12. Suppose r*c - 3*c = i - 118, -i = 2*c - 116. Does 32 divide i?
False
Suppose 2*s + 1 - 5 = 0. Suppose 84 - 436 = -s*k. Does 44 divide k?
True
Suppose -3*p = -3*r - 114, -4*p = -5*r - 0*r - 153. Suppose 2*v = 74 + 80. Suppose v + p = 3*g. Is 19 a factor of g?
True
Let v(c) = c**3 - 16*c**2 - 3*c + 844. Does 4 divide v(0)?
True
Let w(c) = -5*c**3 - 22*c**2 - 41*c - 40. Does 68 divide w(-7)?
True
Let w = 9065 + -3005. Is w a multiple of 64?
False
Let u(w) = w**2 - 14*w - 48. Let s be u(17). Let m be s*1 + (7 - (-5 - -14)). Does 17 divide (30/(-40))/(m/(-68))?
True
Let n = 50 - -450. Suppose -n = -13*l + 11*l. Is l a multiple of 25?
True
Suppose 1230*f - 1221*f - 18936 = 0. Is 9 a factor of f?
False
Let h(b) = -52 - 17*b - 2*b**2 + 42 + 2*b**2 + 3*b**2. Is 11 a factor of h(10)?
False
Suppose 63*o - 61*o = 88. Is ((-84)/8)/(2 - 91/o) a multiple of 12?
False
Let l(d) = 1121 + 4*d**2 + 0*d - 1121 + 4*d. Is l(-4) a multiple of 2?
True
Suppose 898*o - 711*o = 6387359. Is o a multiple of 228?
False
Suppose -3*z = -12, -8213 = -2*x - 4*z + 4265. Is x a multiple of 93?
True
Let t be ((-4)/8)/((7/(-38))/7). Suppose 22*u = t*u + 2352. Suppose 0 = -7*x - x + u. Is 14 a factor of x?
True
Suppose 0 = 65*r + 22*r + 90891 - 971853. Does 20 divide r?
False
Let d(l) = -l**3 - 6*l**2 + l - 26. Let p be d(-7). Suppose 0*w - p = -2*w. Does 4 divide (-292)/(-12) - w/(-12)?
False
Let n = 502 + -498. Suppose 2*z = 5*r + 659, -5*r - 1313 = -n*z - 0*z. Does 10 divide z?
False
Suppose 3*d = -0*d - 0*d. Suppose 3*c = -15, -6*h + 5*h + 4*c + 37 = d. Is 11 a factor of h?
False
Let l = 10899 + 37381. Does 8 divide l?
True
Let b(h) = -h**3 + 14*h**2 + 15*h + 22. Suppose -2*a + 3*a = 14. Is b(a) a multiple of 8?
True
Let u = -10628 - -14337. Is u a multiple of 23?
False
Suppose 0 = -14*j + 16*j + 3*u - 35, 0 = -3*j - 2*u + 55. Suppose j*x - 5432 = -9*x. Is x a multiple of 15?
False
Let j = -63089 - -107969. Does 66 divide j?
True
Suppose 76*t - 77*t + 212 = 0. Let l = t + -7. Is l a multiple of 3?
False
Let i = 2862 + -2514. Is i a multiple of 29?
True
Suppose q - 12*g - 14195 = -16*g, 0 = -3*q - g + 42651. Does 59 divide q?
True
Let y(t) = 4*t**2 - t. Let d be y(1). Let c = -4694 - -4697. Suppose 0 = -3*g + d*f + 222, -5*g + 4*f + 140 = -c*g. Is g a multiple of 39?
True
Suppose -2561919 + 43576 = -239*p. Does 214 divide p?
False
Suppose 3*s - 3*n = -n - 290, -420 = 4*s + 4*n. Let l = -290 - s. Let b = 7 - l. Does 35 divide b?
False
Suppose 28 = 2*y - 4*w, 3*y + 3*w = -0 + 6. Suppose -27 - 129 = -y*x. Suppose 87 = -23*p + x*p. Does 7 divide p?
False
Let v be -1968 + (5 - (-8 - -6)). Let j = v + 2833. Is 10 a factor of j?
False
Is (-7049)/21*-27 - 23 a multiple of 20?
True
Let g(w) = -302*w - 5599. Is g(-19) a multiple of 17?
False
Suppose -49 = -