7 = f - 19, -4*f - 2*l = -292. Does 25 divide f?
False
Let m be (-1)/5 - 2/(-10). Suppose 0 = 3*a - m*a - 42. Suppose -3*k - a = -4*k. Is 4 a factor of k?
False
Let c(t) = -5*t**3 - 8*t**2 - 5*t - 3. Let w(j) = -j**3 - 1. Let b(h) = -c(h) + 4*w(h). Let u = -39 + 35. Does 13 divide b(u)?
False
Suppose 6*f = 9*f + 120. Let d = 53 + f. Does 13 divide d?
True
Suppose -z - 2*c + 163 = -4*z, -165 = 3*z - 3*c. Let s = z + 13. Let i = 59 + s. Is 6 a factor of i?
False
Let j = -19 + 25. Let b = 24 + j. Does 6 divide b?
True
Let c(u) = 20*u + 11. Suppose 0 = 22*n - 27*n + 45. Does 26 divide c(n)?
False
Suppose -5*d = -15, 5*x - 5*d - 1288 = -148. Is 72 a factor of x?
False
Suppose 6 = w - 2*z, 6*w - 3*z + 1 = 2*w. Let f(h) = -11*h + 1. Is 9 a factor of f(w)?
True
Let h be (11 + 1)*(-24)/(-18). Let z = h - 13. Suppose 0 = z*u + 2*c - 198, u - 3*u = -2*c - 132. Is 11 a factor of u?
True
Let k(u) = -7*u + 18. Let n(x) = -6*x + 18. Let t(d) = 2*k(d) - 3*n(d). Let m(z) = z**2 - 2*z - 1. Let q be m(5). Is t(q) a multiple of 23?
False
Let p(b) = 10*b + 9. Let l be p(4). Let n = l - 0. Is n a multiple of 28?
False
Let l be (-2)/4*522/(-3). Suppose -5 = -4*g + x, -8 = 5*x + 17. Suppose -6*v + l + 111 = g. Is 26 a factor of v?
False
Let m be ((-58)/6)/(3/45). Let p = m - -82. Let s = p - -88. Does 13 divide s?
False
Suppose -2*p - 2*p = -16. Suppose 3*k - 262 = -5*d, p*d = d + 6. Does 14 divide k?
True
Suppose -5*s - 5 = -4*a, -5*s - 1 + 6 = -2*a. Let v = -1 - -8. Suppose s*b - 4*i + 64 = v*b, 0 = -3*b - 5*i + 52. Is b a multiple of 6?
False
Let q be (5/15)/(1/(-69)). Let c = q + 26. Suppose 4*l = -a + 1, -2*a + 3*l - 3 = -c*a. Is a a multiple of 9?
True
Suppose -35*q + 72 = -34*q. Is q a multiple of 2?
True
Let s(z) = 4*z**2 - 17*z + 535. Does 20 divide s(23)?
True
Let f(j) = j**2 - j + 4. Let b be f(3). Let v be (6 - b)/((-2)/90). Suppose -2*h + v = 50. Does 11 divide h?
False
Suppose -3*g + 3040 = -5*q, 2*g - 232 = -5*q + 1803. Is g a multiple of 35?
True
Let x be 6/(-5)*210/(-28). Suppose -3 = 6*w + x. Is 2 a factor of (-2 + -3 + -1)*w?
True
Let m = -1887 - -2811. Is m a multiple of 28?
True
Let p(c) = 43*c**2 - 8*c + 0 - 44*c**2 - 9. Let i be p(-6). Suppose -2*y + 349 = 4*s - i*y, -s + 97 = 3*y. Does 22 divide s?
True
Suppose 4*l = -5*y + 20 + 7, 2*y = 2*l. Suppose -5*a + 8 = 4*t, 0 = -4*a + 2*t + l*t + 31. Suppose -5*p + 69 = a*c - 0*p, 0 = p - 1. Is c a multiple of 3?
False
Suppose 0 = 8*o - 13*o + 15. Does 5 divide -2 - (1 - 21) - o?
True
Let k be 94/8 - 30/40. Suppose 2*z - 7*z = -3*u + k, -5*z - 18 = -4*u. Is u a multiple of 7?
True
Is 3 a factor of (-2*1/(-3))/(104/8268)?
False
Suppose -c = -0*c + 5*j + 22, 3*c - 19 = 2*j. Is c/(-1)*11/(-9)*57 a multiple of 14?
False
Let z(c) = -14*c - 33. Let m be z(-10). Suppose -7*k = -278 - m. Does 5 divide k?
True
Let t(s) = -30*s + 119. Does 25 divide t(-16)?
False
Let j(a) = -a**3 - 6*a**2 - a + 2. Let u be j(-5). Let w be 35/(-3) + 6/u. Let n = w + 110. Does 20 divide n?
False
Let l(o) be the second derivative of -o**5/8 + o**3/3 + 5*o. Let k(v) be the second derivative of l(v). Is 3 a factor of k(-1)?
True
Suppose -12 + 36 = 6*l. Suppose j - 90 + 352 = 3*m, l*j - 8 = 0. Does 31 divide m?
False
Suppose 0 = -100*x + 86*x + 1232. Does 11 divide x?
True
Suppose -4*x = 2*a - 16, 2*a + a + 3*x = 15. Let h be 2/a*(0 + 5). Let i(v) = v**3 - 5*v**2 + 6*v - 7. Does 12 divide i(h)?
False
Let c(w) be the third derivative of 7/2*w**3 - 1/24*w**4 + 0 + 0*w + 9*w**2. Does 2 divide c(9)?
True
Let i(j) = -j**3 - 16*j**2 - 16*j - 11. Let r be (-9)/2*(-70)/(-21). Let l be i(r). Suppose 5*o + l*v - 275 = 0, 5*o + v + 0*v - 275 = 0. Is o a multiple of 20?
False
Let q(b) = 2*b**2 + 14*b + 40. Does 46 divide q(-15)?
False
Suppose 2*n + 4*c - 29 = -3*n, -5*c = 4*n - 25. Suppose n = l, -3*d = 5*l - 99 - 115. Is d a multiple of 9?
True
Suppose -402 = 2*o - 4*o. Let f = -120 + o. Does 20 divide f?
False
Let u(v) = -2*v**3 + 6*v**2 - v. Let w be u(5). Let t = -62 - w. Let r = t - -13. Is r a multiple of 25?
False
Is 26 a factor of ((-13)/4)/(3/48*-1)?
True
Let m(i) = 243*i - 3. Let f be m(1). Suppose -5*p + 72 = o, -o + f = 4*o - 5*p. Is 26 a factor of o?
True
Suppose -5*h = -25, 4*h + 0*h = -5*w + 1100. Does 18 divide w?
True
Let v(l) = 3*l**2 - l - 4. Let o(f) be the third derivative of f**5/30 - f**4/24 - f**3/2 - 3*f**2. Let c(k) = -4*o(k) + 3*v(k). Is 10 a factor of c(5)?
True
Suppose 6*k - 3*k - 10 = -5*m, 4*k - 20 = 0. Let a be 2*m*(-62 + 7). Let z = a - 68. Is z a multiple of 14?
True
Let r be (203/(-14) - 5)*22/(-3). Suppose -3*q = -5*o - 125 - 122, -4*o - 192 = -q. Let x = o + r. Is x a multiple of 24?
True
Let j(l) = -l + 28. Let u be j(-10). Suppose 4*w = -u + 370. Is w a multiple of 15?
False
Let j(z) = z**3 - 28*z**2 + 19*z - 67. Does 49 divide j(30)?
True
Let z be 10 + -3 - (1 - 2). Suppose 11*g - z*g - 87 = 0. Is 29 a factor of g?
True
Suppose 3*g + 18 = l, 4*g = -4*l + 2*l - 14. Suppose i + 0 = l. Suppose -i*r = -23 - 61. Is r a multiple of 14?
True
Let h = -25 + -6. Let n = h + 47. Does 27 divide ((-324)/n)/(3/(-8))?
True
Suppose 5*a + 10 = 2*h, -a - 31 = -h - 5*a. Is 11 a factor of 2800/15 + 2 + h/(-9)?
True
Does 32 divide 16*3/((3/38)/1)?
True
Let l = 476 + 7. Does 23 divide l?
True
Suppose -3*q + 0*o + 11 = -2*o, -4*o = 4. Suppose 11*a = q*a. Suppose a*p = 3*p - 102. Is p a multiple of 23?
False
Let i(d) = 6*d**3 - 6*d**2 + 12*d - 8. Is 17 a factor of i(5)?
False
Is (-45)/(-9) + (-332)/(-6 + 4) a multiple of 3?
True
Let o = -22 - -14. Let h(x) = 2*x**2 + 11. Let l(v) = -5*v**2 - v - 23. Let p(z) = -7*h(z) - 3*l(z). Does 9 divide p(o)?
False
Let m be 0 + 1 + -5 + -2. Let v(u) = -16*u - 43. Does 10 divide v(m)?
False
Let f = -17 - -19. Let o = -24 + 89. Suppose 11 - o = -f*c. Does 12 divide c?
False
Let o(c) = 115*c**2 - 2*c - 1. Does 51 divide o(2)?
False
Let f(m) = -4*m**2 - 20*m - 19. Let o be f(-13). Let q = 633 + o. Is q a multiple of 33?
True
Let m(f) = -f**3 + 17*f**2 - 16*f + 5. Let z be m(16). Let j(b) = -2 + 9*b + 3*b + b**2 - z. Is 23 a factor of j(5)?
False
Let t(k) = k**2 - 7*k - 10. Let y = 39 + -27. Let i = 21 - y. Is 6 a factor of t(i)?
False
Suppose 4*m + 5*j - 4*j - 87 = 0, -j = 5*m - 108. Does 21 divide m?
True
Let b be 21/4 - 4*(-3)/(-48). Does 9 divide 0/(-3) + (219 + -1 - b)?
False
Suppose 4*d + 8 + 0 = 0. Let g be d*(-2 + 3) + 11. Suppose -3*u = -2*u - g. Is u a multiple of 3?
True
Does 15 divide (-4225)/(-26)*(-24)/(-20)?
True
Suppose 0*b + 5*y = -2*b + 18, 2*y = -4*b + 20. Let m(g) = -g**3 - 7*g**2 - 21*g - 6. Let v be m(-4). Suppose b*t = t + v. Is 4 a factor of t?
False
Let v(q) = q**3 - 3*q**2 + 4*q - 7. Let p be v(3). Suppose -16 = p*m - 116. Does 5 divide m?
True
Let z = 895 - 232. Is 27 a factor of z?
False
Let p = -1525 - -2185. Is 12 a factor of p?
True
Let k = -217 - -295. Is 9 a factor of k?
False
Let r(l) = 65*l**3 + l. Suppose 2*c = 3 - 5. Let d be r(c). Let s = d - -134. Does 14 divide s?
False
Suppose v - 3*t = 4*v + 387, 2*t + 4 = 0. Let j(o) = -2*o**3 - 23*o**2 - 10*o - 14. Let f be j(-12). Let b = v + f. Is b a multiple of 41?
True
Does 71 divide (-72)/504 + (-35786)/(-14)?
True
Let a(p) = -9*p + 10. Let i be (-256)/44 + 6/(-33). Is 8 a factor of a(i)?
True
Suppose -4*i + 700 = i. Suppose 2*n - i = -2*n. Is n a multiple of 3?
False
Let m(j) = -j**3 - 31*j**2 - 4*j + 66. Is m(-31) a multiple of 19?
True
Let d = -17 - -13. Let x be 4 + d/(-2 + 3). Is -4 + 4 + x - -52 a multiple of 13?
True
Let b = 46 - 14. Let g(r) = r**2 + 12*r + 10. Let d be g(-10). Is 21 a factor of -30*(b/d + 2)?
False
Suppose -949 = -3*i + 899. Suppose 5*c - i = c. Is 22 a factor of c?
True
Suppose -12 = 2*q - 2. Let t(m) = -m**3 - 4*m**2 + 7*m - 2. Let r be t(q). Let p(g) = -g**3 - 11*g**2 + 11*g + 12. Is 24 a factor of p(r)?
True
Suppose 3*c - 7 = 5*y + 2, -2*y = -2*c + 6. Suppose -g - 17 = -5*q - 4*g, q - 3*g + 11 = y. Is 56/4 - (-3 + q) a multiple of 4?
True
Let d = -1 + 3. Suppose 2*c - d = 4. Suppose -3*g + c*r + 0*r = -21, -10 = -2*r. Does 12 divide g?
True
Suppose 2*r = 4*r + 5*l + 7, 0 = 3*r + l - 9. Suppose -6*s + r*s + 720 = 0. Is 72 a factor of s?
True
Suppose -15*o = -62 + 17. Let u = -4 + 0. Is 5 a factor of (o + -9)*(1 + u)?
False
Let v = -17 - -21. Suppose -x = 2*o - 29, 7*x - 3*o - 51 =