 b. Is p a multiple of 20?
False
Let o(c) = -c**2 + 28*c + 46. Let k be o(19). Suppose 4*d - 2*i = 1260, 3*i + k - 1180 = -3*d. Is d a multiple of 14?
False
Suppose -10 = 3*d - 5*j, 5*d - 3*d - 4*j = -10. Suppose -4*n - f = -860, -n + 9*f = d*f - 232. Does 36 divide n?
True
Suppose 0*w = w - 25. Let l = w - -30. Does 55 divide l?
True
Let s be (0*9/(-99))/(1 + 1). Suppose 6*t - 37*t + 27962 = s. Is 49 a factor of t?
False
Let v(m) = 246*m**3 - 3*m**2 - 8*m + 11. Is v(4) a multiple of 75?
True
Let d = -1015 - -3475. Does 12 divide d?
True
Suppose 487*x + 37598 = 3*h + 482*x, -4*h - 5*x = -50049. Is h a multiple of 19?
True
Suppose 0 = -8*s - 872 + 10408. Suppose 0 = -2*t - 2*t + s. Let o = t - 194. Is 26 a factor of o?
True
Suppose -16*u = -144703 + 35839. Suppose 7*s - 25*s + u = 0. Is 4 a factor of s?
False
Suppose 2*w - b - 718 = 0, w = 5*w + 3*b - 1426. Suppose 2*f = 4*f - w. Suppose r = -64 + f. Does 23 divide r?
True
Let z(a) be the second derivative of 5*a**3/2 - 6*a**2 + 4*a. Let r(u) = u**3 + 25*u**2 + 21*u - 66. Let m be r(-24). Is z(m) a multiple of 13?
True
Suppose -600*n - 561594 = -667*n. Is n a multiple of 33?
True
Let x = 128 + -145. Let s(a) = -3*a**2 - 66*a - 94. Let w(p) = -p**2 - 22*p - 31. Let j(l) = x*w(l) + 6*s(l). Is 3 a factor of j(-17)?
True
Suppose -3*v + 3*v - 2*v = 0. Let h be ((-2 - 2) + 3)*(v - -113). Let x = h + 177. Is x a multiple of 16?
True
Suppose 41*m - 653048 = -52*m - 88*m. Is 24 a factor of m?
False
Let q(t) = -75*t**2 - 5 - 10*t + 17 + 86*t**2. Does 55 divide q(-5)?
False
Suppose 0 = -4*z + 2*i + 232, -51 = z - 2*z + 4*i. Suppose -u = -2*u + z. Suppose -c + u = -5*x, 3*x + 5 = 5*c - 268. Is 26 a factor of c?
False
Let d(k) = -k**3 - 63*k**2 - 66*k - 66. Is d(-63) a multiple of 124?
True
Let u(i) = -i**3 - 56*i**2 + 14*i - 1113. Is u(-57) a multiple of 223?
True
Let f(j) = -521*j + 74 + 351*j + 250*j. Is f(11) a multiple of 15?
False
Is 22 + -9 - (-2028)/1 a multiple of 69?
False
Suppose -4 + 8 = -h. Let s(t) = -t**2 - 11*t - 24. Let c be s(h). Is (-1 - c)*-5*(1 - -1) a multiple of 5?
True
Let j(x) = 37*x + 370. Does 24 divide j(14)?
True
Let i(y) = 70*y + 1 - 27 + 15*y**2 + 66*y - 164*y. Does 12 divide i(11)?
False
Let g = -23329 + 34069. Is 4 a factor of g?
True
Suppose -7*h + 19*h - 16680 = 0. Suppose -41*d + 36*d = -h. Does 16 divide d?
False
Suppose -4*f = s + 476, -5*f + 4*s - 496 = -f. Suppose 413 = 56*a - 259. Is 30 a factor of (-2)/a + (-12620)/f?
False
Suppose -4*y + 4295 = -3917. Suppose -4*j = 3*o - y, 0 = -3*j + 5*o - 421 + 1968. Let c = j - 304. Does 21 divide c?
True
Let p(u) = -u**3 - u**2 - u + 16. Let a(c) = c**2 + 17*c - 31. Let i be a(-19). Suppose i*m = 8*m. Is p(m) a multiple of 16?
True
Suppose 22833 = -6*k + 60783. Is 115 a factor of k?
True
Suppose 232014 = -13*u + 79*u - 334266. Is u a multiple of 52?
True
Let f = 125931 + -70311. Is f a multiple of 20?
True
Is 27 a factor of 27874/12 + (-45)/54?
True
Suppose 5*k - 4*k = 3*k. Suppose -l + k + 1 = 0. Does 12 divide l + (3 + -1 - -110)?
False
Let v = 79 + -79. Let f be (2 + v)*(-40)/(-16). Suppose 4 = -2*b, 0*d + 6 = 2*d + f*b. Does 4 divide d?
True
Let h be (-15)/(-25)*(19 - -1). Is (-6 + h)/6 - -305 a multiple of 34?
True
Let m = -60 - -63. Suppose -5*a - 5*p + 5 - 25 = 0, 2*a - m*p - 7 = 0. Does 25 divide (4 - 1) + a*(1 + -126)?
False
Suppose -14628 = -4*h - 5*x, 0 = 5*h - 4*x - 9226 - 9059. Does 46 divide h?
False
Suppose 133*g - 53136 = 124*g. Is 4 a factor of g?
True
Suppose 5*u + 185 = -75. Let q = 86 - u. Is 25 a factor of q?
False
Suppose 2*l - 264 = -66. Suppose -u - 8 = 2*u + 5*g, 5*u - 24 = g. Suppose u*x - l = 461. Is 20 a factor of x?
True
Let z be -17*(-1 + 0) - (-14)/(-7). Let s(u) = -u**3 + 15*u**2 + 7*u - 19. Does 57 divide s(z)?
False
Suppose -u - 4*u = t - 29, -35 = -5*u + 5*t. Suppose 2*j + u = 4. Is 2 a factor of 8 + 3 + j + (-4)/(-2)?
True
Suppose 231*z = -105*z - 96*z + 5930496. Is z a multiple of 176?
True
Suppose 3*g + 187 = -4*f, 0 = g + f - 24 + 88. Is ((-92)/g)/(2/27) a multiple of 3?
True
Let q(m) = m**2 - 6*m - 13. Let l be q(8). Suppose 21 = l*j - 2*v, -2*j + 11 = v - 3. Suppose 35 = r - 3*c - j, -2*c = 10. Is r a multiple of 2?
False
Suppose -70*a + 205463 = -214117. Is 54 a factor of a?
True
Suppose -3*v = -5*v + 2000. Let n = v - 472. Suppose 0 = 5*q + q - n. Is q a multiple of 17?
False
Suppose 2*a = 7 + 1. Let y = 8 - a. Suppose 2*v + 2*v - 86 = -x, 439 = y*x - 3*v. Is x a multiple of 19?
False
Let b = 118 - 114. Let p be (b/6)/((-5)/(-30)) - 2. Suppose 2*x - p*q + 28 = 128, -2*x + 5*q + 106 = 0. Does 24 divide x?
True
Let k(g) = 89*g - 25. Let t(x) = x**2 + 4*x - 42. Let v be t(5). Does 22 divide k(v)?
True
Let q(h) = 20*h - 10*h + 21*h**2 + 4 + 4*h**3 - 9*h. Let i(r) = -5*r**3 - 21*r**2 - 2*r - 4. Let m(t) = 3*i(t) + 4*q(t). Is m(-21) a multiple of 23?
True
Let o(j) = 2*j - 26. Let n be o(17). Is 53 a factor of (-5)/10 - (-4572)/n?
False
Suppose -3476 - 2034 = -5*g. Suppose 5*o + 3*i = 1738, 4*o - 294 - g = -i. Does 15 divide o?
False
Let b = -1823 + 1885. Let p = -163 - -277. Let f = p - b. Is f a multiple of 13?
True
Let z(j) be the first derivative of j**4/12 - j**3/6 + j**2 - 10*j - 10. Let w(m) be the first derivative of z(m). Is w(6) a multiple of 8?
True
Let h(l) be the first derivative of l**4/4 - 4*l**3 + 9*l**2/2 - 23*l - 21. Let g be h(10). Let x = -91 - g. Does 14 divide x?
True
Let j = 20061 + -2009. Does 15 divide j?
False
Let s = -36 + 53. Suppose 0 = 3*q - 12, -2*u - 18*q = -s*q - 400. Is 32 a factor of u?
False
Let c(s) = -s + 4. Let y be c(11). Let j(l) = -85*l + 5. Let n be j(y). Suppose 90*o - n = 86*o. Is 15 a factor of o?
True
Let f(c) = 89*c + 13. Let b = -184 - -187. Does 63 divide f(b)?
False
Let w(r) be the third derivative of r**7/1008 + 11*r**6/720 + r**5/6 - 10*r**2. Let s(q) be the third derivative of w(q). Is s(6) a multiple of 9?
False
Let z = 15202 - 10919. Is z a multiple of 33?
False
Suppose 142*f = 141*f + 2610. Is 29 a factor of f?
True
Let d = -338 + 145. Let k = -182 - d. Is 11 a factor of k?
True
Suppose -1972*p + 74675 = -1947*p. Does 100 divide p?
False
Let x be (-168)/(-60) + (-1)/(-5). Suppose 3*p = -3 + 27. Suppose 5*w = -q + w + p, x*q + 4*w - 56 = 0. Is q a multiple of 3?
True
Let d = -3371 - -6570. Is 81 a factor of d?
False
Let d(o) = 53*o - 419. Is 9 a factor of d(45)?
False
Let f be (1 - -3)*(-9)/12. Suppose 2*o = -2*m + 3*o, 2*m + 6 = 4*o. Is 11 a factor of 55/(4 + f/m)?
True
Suppose 5*l = 974*b - 973*b + 117, -3*l = -3*b - 51. Let w(a) = -a + 5. Let p be w(0). Suppose -5*h = -l, 0*f + p*h = f - 54. Does 49 divide f?
False
Let t = -1177 + 6806. Is 62 a factor of t?
False
Suppose -3*w + 623 = -5*s, -3*w + 3*s - 1095 = -8*w. Suppose u = w + 410. Is 17 a factor of u?
False
Let n(y) = -y**3 + 6*y**2 + 8*y - 17. Let w be n(7). Let k = w - -335. Let t = k - 229. Does 12 divide t?
True
Let a = -11451 - -16861. Is a a multiple of 10?
True
Is 23 a factor of 1*184/(-12)*1782/(-44)?
True
Let z(c) = -c**2 - 25*c + 5. Let u(f) = -5*f**2 - 101*f + 21. Let y(n) = 2*u(n) - 9*z(n). Let q(s) = 14*s - 60. Let j be q(5). Is 22 a factor of y(j)?
False
Let a(p) = -p**2 + 7*p - 6. Let h be a(5). Suppose -12 = h*f, 5*f - 1688 = -5*y + f. Does 20 divide y?
True
Suppose -5*s - z + 0*z + 602 = 0, 106 = s + 5*z. Let n = 136 - s. Does 5 divide n?
True
Let w(i) = 195*i + 1. Suppose -5*h + 55 = -5*x, -h + 6*x = 4*x - 13. Suppose h*p - 2*p - 7 = 0. Is 49 a factor of w(p)?
True
Let m be 4/30 + 0 - 168/(-90). Is 13 a factor of ((-2)/(-3))/(5/8625*m)?
False
Suppose -10*c + 9*c = 2*k - 2330, 0 = -5*c + 2*k + 11590. Suppose -2*g - 2*g + c = 4*l, -5*l + 3*g + 2860 = 0. Does 6 divide l?
False
Let s be -1 + 14/12 - (-11042)/(-12). Let r = -206 - s. Is r a multiple of 17?
True
Suppose 60200 = -108*c + 158*c. Is c a multiple of 35?
False
Suppose -25*u - 2*w - 13678 = -29*u, 3*w = 9. Does 48 divide u?
False
Suppose 1270*u - 1273*u - 3*j + 41052 = 0, 13726 = u - 5*j. Does 48 divide u?
False
Let x = 41 + -31. Suppose x*z + 100 = 15*z. Suppose -2*v - z + 160 = 0. Does 10 divide v?
True
Let g(m) = m**3 + 6*m**2 + 5*m - 7. Let l be g(-4). Suppose -o - 4*r = -2*o + 170, 15 = -l*r. Does 9 divide o?
False
Let i(x) = -3*x**3 + 20*x**2 - 19*x + 130. Is i(-13) a multiple of 5?
False
Let h 