2 + 13*b + 19. Let t be o(8). Does 12 divide (-39)/(-8) + t + (-97)/(-8)?
True
Let c be (2 - -7)*50/15. Let w be c*1*(-4)/3. Is w*(-2 - (-1)/1) a multiple of 18?
False
Let a = 9 + -9. Let d(f) = -f**3 - 2*f + 88. Does 22 divide d(a)?
True
Suppose 0 = 3*x + 5*o + 236, 5*o - 114 = 3*x + 82. Let j = x + 115. Is j a multiple of 10?
False
Suppose -78*x + 71*x = -1001. Is 14 a factor of x?
False
Suppose -2*o + 228 + 14 = -5*g, 3*o - 363 = -2*g. Does 47 divide o?
False
Let y(k) = 3*k**2 + 62*k - 141. Is y(-33) a multiple of 40?
True
Let k(q) = q**2 + 2*q + 10. Let z be k(8). Let p be z*(9/3 - 2). Let g = p + -36. Is 18 a factor of g?
True
Let t(c) = 11*c**3 - 41*c**2 - 38*c - 17. Let o(y) = -4*y**3 + 14*y**2 + 13*y + 6. Let l(a) = 17*o(a) + 6*t(a). Is 16 a factor of l(-5)?
False
Suppose -4*p = -2*i - 2*i + 212, -5*i - 3*p + 241 = 0. Suppose -2*f + i = 2*f - 5*l, 4*l + 7 = f. Does 15 divide f?
True
Let a = 17 + -17. Suppose a*m = -m. Suppose -3*u + 152 = 5*p - m*u, -5*u = 5. Is p a multiple of 5?
False
Suppose 3*t = -15, 5*s - 4*t = -0*t + 885. Suppose 3*f + s = 5*y, f + 35 = -0*y + y. Does 16 divide y?
False
Let f = -14 + 16. Suppose -3*i + 3 = -f*i. Suppose i*l = 4*l - j - 112, -4*j - 8 = 0. Is l a multiple of 14?
False
Suppose 4*v - s - 1109 = 0, 44*v + 3*s - 813 = 41*v. Does 12 divide v?
True
Suppose -291*r = -289*r - 1210. Is 61 a factor of r?
False
Let t be (-6)/(-6)*(1 + 5*3). Let f = t + 12. Is 7 a factor of f?
True
Let s = 47 + -41. Suppose -10 = -2*y + s. Is 4 a factor of y?
True
Is 115 a factor of ((-6158590)/45)/(-34) + 4/(-18)?
True
Let x be 48/(-36) - (-148)/3. Let f = x - 32. Is f a multiple of 6?
False
Suppose 7 = 4*k + m - 2, k + 4 = m. Is 120/k*(-2)/(-6) a multiple of 10?
True
Suppose 0 = -2*s - 3*s + 40. Let d = s - 22. Let g = -7 - d. Is 5 a factor of g?
False
Suppose -3*t - 383 = -4*y + 7128, 5*y = 5*t + 9390. Is 64 a factor of y?
False
Let k = -1 + -3. Let z = 13 + -17. Is 8 a factor of (-34)/z + 2/k?
True
Let g be -2 - -1 - 12/(-4). Is 2*31*g/(4 - 3) a multiple of 7?
False
Let p(q) = 2*q + 18. Let u be p(6). Suppose 325 = -25*x + u*x. Is x a multiple of 20?
False
Let u be (-1)/2*-8 + 21. Let z = 27 - u. Suppose 2*s - 5*f - 43 = 0, 5*s - 35 = -4*f + z*f. Is 2 a factor of s?
False
Suppose -24 = -4*m + 16. Let a(n) = n**3 - 11*n**2 + 15*n - 6. Is a(m) a multiple of 8?
False
Suppose w - 470 = -92. Does 21 divide w?
True
Suppose 3*m = -2*l + 3995, 4*l + 2658 = 3*m - m. Does 21 divide m?
False
Suppose 5*m - 3*l - 2857 = 0, -3*m + 3*l + 1719 = -0*m. Does 59 divide m?
False
Let d = -66 - -29. Let q = -32 - d. Suppose -s = -q*s + 24. Is 6 a factor of s?
True
Suppose -6 = -4*f + 3*f - 2*s, 4*s - 12 = 0. Suppose f = -y - 4*y - l + 77, 0 = l + 3. Suppose 0 = -4*m + y, 4*j = -0*j - m + 196. Does 12 divide j?
True
Let s(j) = -3*j**3 + j. Let q be s(-1). Suppose q*n = -20 + 56. Does 6 divide n?
True
Is 33 a factor of 227 - (-4 + (0 - (-1 - -1)))?
True
Let p = 29 + -13. Suppose -p = -5*u + u. Suppose 3*y - 3*o = 123, -u*o = -y - 0*o + 56. Does 12 divide y?
True
Let x(f) = 6*f**2 - 3*f - 1. Let c be x(-2). Suppose -4*l - 3*i = -c, 3*i = l + 2 + 2. Suppose -l*z + 332 = -z. Is z a multiple of 30?
False
Let i = 9 + -30. Let a be 32/14 + 6/i. Is 43 + -3 + -1 + a a multiple of 5?
False
Let u(r) = -r**2 - 39*r**3 + 40*r**3 - 4 - 3 - 2*r + 2. Does 7 divide u(3)?
True
Let t = 215 - 107. Is 12 a factor of t?
True
Let h be (-1)/((-40)/64) + (-6)/10. Suppose -p + 4 + 0 = 0. Suppose 0 = 3*x - p*d - 25, -x = 2*d - h - 4. Is x a multiple of 5?
False
Let v = 17 - 21. Let d be ((-6)/v)/(7/14). Is (-27 + 1)/(d/(-6)) a multiple of 14?
False
Suppose -x + 179 = l, -26*x = 4*l - 29*x - 688. Is l a multiple of 5?
True
Suppose 0 = -w - w - 2*u + 80, -w + 3*u = -36. Suppose -3*q + 10 = 2*p, 4*p + 0 = -3*q + 8. Suppose s + w = q*a, s - 5 = -0. Does 7 divide a?
False
Suppose 5*p - q - 56 = 0, -3*q = 3*p + p - 41. Suppose p - 5 = 3*h. Suppose -h*k = -3*v - 46, -2*k + 2*v + 64 = k. Does 4 divide k?
True
Let b = -5 - -5. Suppose b = -3*y + 5*j - j - 19, -4*y = 2*j - 4. Let m = 8 + y. Is m a multiple of 3?
False
Suppose -74*a + 77*a - 2682 = 0. Is 149 a factor of a?
True
Let d = 750 + 174. Is d a multiple of 42?
True
Let g(c) = 13*c + 35. Suppose 68*u = 75*u - 91. Does 13 divide g(u)?
False
Let z(m) = m**3 - 4*m**2 + 4*m - 5. Let c(u) = -2*u**3 - 10*u - u**2 + 5 - 3*u**2 + 3*u**3 + u**2. Let h be c(5). Is z(h) a multiple of 10?
True
Let z(p) = -p**3 - 6*p**2 - 6*p - 9. Let h be z(-6). Suppose 2*x = 3*b + 49, 5 = 3*b - 4*b. Let v = h - x. Is v a multiple of 5?
True
Let a(d) = -d**3 - 11*d**2 + 13*d - 55. Is a(-13) a multiple of 6?
True
Let h(n) = -2*n**2 + n - 1. Let y(f) be the second derivative of -f**4/4 + f**3/3 - f**2/2 - 6*f. Let t(s) = -5*h(s) + 3*y(s). Is t(-2) a multiple of 2?
True
Let k(l) = l**2 + 3*l + 4. Is k(-3) a multiple of 3?
False
Let f(k) = k**2 - 13*k + 2. Let n be f(11). Let i(d) = d**2 + 18*d - 17. Is 4 a factor of i(n)?
False
Let r(y) = -2*y**3 - 68*y**2 + 69*y + 77. Is r(-35) a multiple of 112?
True
Let b(n) = 16*n - 2. Let a(q) = q**3 - 7*q**2 - 9*q + 9. Suppose -4*r + 60 = r + 4*z, 3*r - z = 19. Let k be a(r). Is 4 a factor of b(k)?
False
Suppose 5*d - 6*d - 82 = 0. Is 43 a factor of (-18)/(-15)*50/15 - d?
True
Suppose 5*n - 3*n = 8. Let p(j) = -3*j + 21. Let m be p(7). Suppose -2*z + n*o - o + 83 = m, 93 = 2*z - 5*o. Is z a multiple of 12?
False
Let i(o) = o**2 - 9*o + 5. Let r be i(9). Suppose 4*c + 4*f - 44 = -0*f, -10 = -r*c + 4*f. Does 4 divide (2/c)/((-6)/(-72))?
True
Suppose 0 = -9*x + 13*x - 240. Suppose 0 = 10*q - 7*q - x. Is q a multiple of 10?
True
Suppose 3*b + 118 - 487 = 0. Does 7 divide (4/(-6))/((-616)/b - -5)?
False
Let t = 63 - -114. Does 20 divide t?
False
Is (-80)/(-48) + 3235/3 a multiple of 15?
True
Let a = -512 + 922. Does 9 divide a?
False
Let g = 31 - -276. Is g a multiple of 8?
False
Suppose 3*o = 4*o. Let l = o - -2. Suppose l*x - 6*x = -160. Is x a multiple of 10?
True
Let a = -932 + 1157. Is a a multiple of 25?
True
Is 7 a factor of (-5)/(-2)*(-13984)/(-190)?
False
Let j(g) be the second derivative of -g**5/20 + 7*g**4/12 + g**3/3 + 2*g**2 - 5*g. Does 25 divide j(4)?
False
Let u be -46*(0 + (-35)/2). Suppose 5*o + 0*q + 3*q - 765 = 0, 5*o - u = 5*q. Is o a multiple of 39?
True
Suppose 4*g + 51 = 2*g - 3*c, g + 33 = -4*c. Let q(l) = -4*l - 42. Is q(g) a multiple of 14?
True
Let v(w) = w - 8. Let m be v(12). Suppose -m*t + 3*t + 5*o + 10 = 0, -4*t + 140 = 5*o. Suppose -3*x = -5*x + t. Is x a multiple of 6?
False
Let x(h) = h**3 - h - 286. Let o be x(0). Let p = o + 402. Does 29 divide p?
True
Let p = -19 + 16. Let z(r) = 5*r**2 - 3*r + 6. Let v(c) = -4*c**2 + 2*c - 7. Let w(l) = p*z(l) - 4*v(l). Is w(0) a multiple of 10?
True
Let o(v) = 3*v**2 - 23*v - 2. Let i be o(10). Suppose 3*b - b - i = 0. Does 17 divide b?
True
Does 21 divide ((-34)/(-10) + -3)/(6/2520)?
True
Suppose 0 = -10*g - 2 - 8. Is 11 + (g + 2)*-2 a multiple of 3?
True
Let b = -9 - -7. Let v(c) = 7*c**2 - c - 2. Is v(b) a multiple of 28?
True
Let h be (-1)/1 - (5 - 9). Suppose 4*u + 11 = h*g - 25, -9 = -3*u. Is 3 a factor of g?
False
Let i(g) = -g**3 + 6*g**2 - 7*g + 8. Let l be i(5). Is (80/(-12) - -4)/(l/84) a multiple of 14?
True
Let g be 10 + (-3 - -6)/(1 + -2). Suppose k - 82 = -c, 10 = 2*c + 2. Suppose 5*l = g*l - k. Is 9 a factor of l?
False
Let j = 35 - -63. Is 12 a factor of j + ((-2)/6)/(2/18)?
False
Let c(i) = -i**3 - 5*i**2 - 3*i + 6. Let k = 14 + -11. Suppose 3*j - k = -21. Does 15 divide c(j)?
True
Let a = -39 - -43. Suppose 23 = 3*q + a*s, q - 7 = -2*s - 0*s. Is q a multiple of 3?
True
Let m = 469 - 448. Is m a multiple of 5?
False
Let l = -5 - -7. Let f(o) = 42*o. Let q be f(l). Suppose 0 = 3*c - 2*n - q, 2*c - 23 - 33 = n. Does 11 divide c?
False
Let m be 2*57 + (-13 - -14). Suppose -5*y - m + 610 = 0. Suppose -3*w + y - 6 = 0. Is w a multiple of 6?
False
Let o = -351 - -636. Is 19 a factor of o?
True
Suppose -5*k - 10 = 2*m, -m - 4*k = -5 + 16. Suppose -m*t + 16 = -4. Suppose -150 = -3*h - 5*a + 80, 0 = t*h + 4*a - 296. Does 16 divide h?
False
Let b(x) = -6*x - 7. Let g(j) = 18*j + 22. Let n(y) = -16*b(y) - 5*g(y). Suppose 3*m - 10 = -1. Does 5 divide n(m)?
True
Let s(b) = 1 + 24*b - 4*b - 11*b - 5*b. Suppose -3 = 3*a - 9. Is s(a) a mult