+ 10*f + 9*f**2 - f**3 + 3*f**3 - 11 - f**3. Is u(-8) a multiple of 15?
False
Let u = -75 - -176. Is u a multiple of 20?
False
Let v = 84 - -8. Does 25 divide v?
False
Is 10 a factor of (-3)/((0/3 + 3)/(-37))?
False
Let o = -7 + 6. Let z = o + -1. Let w(f) = 2*f**2 - 2*f - 3. Is w(z) a multiple of 3?
True
Let j = -25 + -1. Let y = j - -39. Is 4 a factor of y?
False
Suppose -52 - 20 = -4*i. Does 9 divide i?
True
Is 13 a factor of 105/4 - (65/20 - 3)?
True
Suppose l - 40 = 47. Is l a multiple of 8?
False
Suppose -3 = -2*c + 5. Suppose 3*y - c = y. Suppose -35 = -y*u + u. Does 14 divide u?
False
Let m(r) = 104*r**2 + r + 2. Is m(-1) a multiple of 7?
True
Suppose -l + 5*x - 14 = 0, -l + 9 = x - 1. Suppose 4*r - 4 - 4 = 0. Let j = l + r. Is 3 a factor of j?
False
Suppose 1113 = 4*c + 321. Is c a multiple of 18?
True
Let m = -8 + 21. Is m a multiple of 6?
False
Suppose 0*q = 3*q + 2*b - 63, -b - 26 = -q. Is 6 a factor of q?
False
Let d = 6 + -3. Suppose 0 = -d*n - 26 + 92. Is n a multiple of 22?
True
Let r(p) = -p**2 + 6*p. Let y be r(-5). Let o = y - -106. Is o a multiple of 17?
True
Suppose 755 = 4*z - 5*s, 4*s = -5*z - 474 + 1387. Is z a multiple of 40?
False
Suppose 4*v = 129 - 49. Does 7 divide v?
False
Does 29 divide (5 - -10)/(3 + 5/(-2))?
False
Let i = 1 - -10. Let z = i + -3. Is 2 a factor of z?
True
Suppose -2*a + 8 = -2*z, 3*z + 3*a - 13 = -1. Suppose z = -6*l + 2*l. Suppose l = -w - 5*v, -5*w + 3*v + 120 = -2*v. Is 12 a factor of w?
False
Let x(l) = l**3 - 6*l**2 + 13*l - 7. Is 21 a factor of x(6)?
False
Suppose -3*p - k = -17, -2*p + 7*p + 3*k = 35. Suppose 45 = r + p*r. Does 9 divide r?
True
Let b(k) = -k**3 + 8*k**2 + 2*k - 4. Suppose 0 = -2*m + 3*m - 8. Let c be b(m). Let j = -6 + c. Is j a multiple of 6?
True
Suppose -7*w + 494 = -2691. Does 65 divide w?
True
Suppose 2*q = 5*p + 54 + 77, 5*p + 68 = q. Does 21 divide q?
True
Let x(k) = k**3 + 4*k**2 - 5*k - 1. Let t be 0*3/(-9) - 4. Let v be x(t). Suppose -5*c + 51 + v = 0. Does 14 divide c?
True
Let s(y) = y**3 + 4*y**2 - 6*y - 2. Let n be s(-5). Let i(t) = 3*t**3 + 3*t**2 + t + 2. Let u be i(-2). Is 5 a factor of ((-10)/4)/(n/u)?
True
Let u = -70 - -75. Is 3 a factor of u?
False
Suppose -m + 0 + 42 = 0. Is 20 a factor of m?
False
Suppose -3*s + 5*c = s - 64, 3*c + 56 = 4*s. Is s a multiple of 8?
False
Is 22 a factor of 1/3 - 2*(-1052)/24?
True
Is 21 a factor of (9 - 16)*3/(-1)?
True
Let o(q) = 3*q**2 + 4*q - 3. Let z be o(2). Suppose 5*h = z + 8. Suppose 4*x = 0, k - h*x + 5 = 17. Does 6 divide k?
True
Let y(s) = 2*s**2 - 4. Let n be y(-2). Does 14 divide (440/30)/(n/18)?
False
Let j = -177 + 252. Does 15 divide j?
True
Does 13 divide (0 + 78)*(-3)/(-9)?
True
Suppose 4*c = -z - 14, 3 + 3 = 5*z + c. Suppose 3*v = -z*t - 3, -2 = -2*t + 3*v - v. Is t + 3 + (2 - 0) a multiple of 5?
True
Suppose -6*z = -10*z + 72. Is z a multiple of 9?
True
Suppose 3*u - 3*v - 21 = 0, -2*u + 3*v = 3*u - 33. Let z(s) = 4*s + 6. Is z(u) a multiple of 15?
True
Suppose 4*w + 0*s = -5*s + 586, -2*w + 292 = 2*s. Is w a multiple of 36?
True
Suppose -490 = -5*u + 5*j, -u = -4*u + 4*j + 298. Let l = -67 + u. Is 11 a factor of l?
False
Let q(d) = -d + 4. Let n be q(4). Suppose -2 + n = f. Let s = f + 13. Is 11 a factor of s?
True
Let p = -1 + 6. Suppose -n + 2*i + p = 4, -5*i - 2 = -2*n. Does 20 divide n - (1 + 2*-23)?
False
Let k(v) = v**2 + 10*v + 5. Let o be k(-10). Suppose 3*h = o*h - 84. Is h a multiple of 21?
True
Suppose 23 = 3*i - 4. Suppose 204 = 5*b + i. Is 13 a factor of b?
True
Let s(l) = -5*l - 9. Does 17 divide s(-12)?
True
Suppose 0 = 2*y + 2*y + 5*q - 31, 3 = -3*y + 5*q. Let v = 9 + y. Does 4 divide v?
False
Suppose -20 = 4*w, 2*t - 2*w + 10 = -6*w. Suppose -5*v - 2*b + 117 = 0, -2*v + 49 = b + 2*b. Let q = v - t. Is 14 a factor of q?
False
Let c(o) = o**3 - 14*o - 4*o**2 + 1 - 5 + 20*o. Is 20 a factor of c(4)?
True
Let p(t) = 5*t**2 + 0*t**3 + t**2 + 6 + t**3 - t + 0*t**3. Let u(s) = -2*s - 2. Let f be u(2). Does 6 divide p(f)?
True
Let o = -384 + 749. Suppose 5*y - 2*h = o, -73 = -y - 0*h + 2*h. Is 13 a factor of y?
False
Let d = -15 - -11. Let p be (0 + 2)/(-2)*d. Suppose n + n = p*w + 24, 5*n - 5*w = 50. Is 8 a factor of n?
True
Let i(n) = n**2 - 2*n - 5. Let g be i(4). Suppose 2*p + 2 = 4*p, 5*p = g*h - 22. Does 4 divide h?
False
Suppose b - 14 - 28 = 3*q, 3*q - 198 = -4*b. Is b a multiple of 4?
True
Let d = 0 + 10. Is d a multiple of 3?
False
Let r(s) = s**3 + 9*s**2 + 9*s + 11. Let p be r(-8). Suppose 4*x = p*t - x - 83, -5 = -x. Is 12 a factor of t?
True
Let o(t) = 2*t**3 - 4*t**2 + t + 3. Let n be o(3). Let y = -11 + n. Does 13 divide y?
True
Let m(c) = 3*c - 2. Let r be m(4). Suppose -2*t + r = -t. Is t a multiple of 10?
True
Let o = -73 - 0. Let a(y) = 4*y**2 - 40*y - 8. Let w be a(9). Let c = w - o. Is 11 a factor of c?
False
Let m(n) = n**3 + 6*n**2 - 7. Does 6 divide m(-5)?
True
Let s be (-2)/(((-15)/(-6))/(-5)). Suppose 2*c = 3*c - 3*b - 27, -178 = -s*c - 2*b. Let n = -25 + c. Does 17 divide n?
True
Let n(t) = t**2 + 6*t + 2. Let l = 6 + -12. Let x be n(l). Suppose 7*u - x*u = 20. Does 2 divide u?
True
Let o = 2 + -3. Let r be (-3)/2*-2*1. Does 8 divide 3 + o - (-4 - r)?
False
Let a = -1 + 6. Does 3 divide a?
False
Let a = -5 - -16. Does 4 divide a?
False
Suppose -5*w = 2*i - 24, -4*i + i = -3*w + 27. Let p(o) be the first derivative of o**3/3 - 3*o**2/2 - 7*o - 2. Is p(w) a multiple of 11?
True
Is (-5)/(-30)*0 - -168 a multiple of 21?
True
Let v(q) = -q**3 + 4*q**2 + 2*q - 1. Does 7 divide v(-2)?
False
Let j(b) = b + 13. Let n be j(-10). Let d = 12 + n. Suppose 0*k - k + d = 0. Is 8 a factor of k?
False
Let b be (-21)/(-9) + 4/6. Let o(f) = -1 - 12*f**2 - 15*f**3 - f + b + 11*f**2 - 3. Is o(-1) a multiple of 7?
True
Let d(v) = 2*v - 9. Let i be d(6). Let p(h) = 19*h + 1. Let r be p(i). Suppose o - 3*o + r = 0. Is o a multiple of 15?
False
Suppose 5*i - 9 + 47 = 4*d, 0 = 3*i - 6. Is d a multiple of 12?
True
Let r(b) = -b**2 + 15*b - 14. Is 17 a factor of r(10)?
False
Suppose 4*v + 4*y - 51 = v, 0 = 5*v + 2*y - 71. Suppose 33 = 4*b + v. Is b even?
False
Let n(w) = -w**3 - 2*w**2 + 6*w + 3. Let b(f) = -3*f**3 - f**2. Let z be b(1). Let o be n(z). Suppose 23 = v - o. Does 17 divide v?
True
Is (1/(-3))/(1/(-123)) a multiple of 11?
False
Suppose 0 = -3*f + 15, -5*b - 5*f + 67 = -2*b. Let u = b + 17. Does 15 divide u?
False
Suppose -39 - 21 = -2*p. Suppose -p = 3*c - 129. Suppose 0 = 5*l - 3*d - 145, -5*d = 4*l - 46 - c. Is 13 a factor of l?
True
Let q = 1 + 1. Suppose 0 = o - 0*o - q. Is o even?
True
Let m(s) = -12*s - 5. Let k(w) = 25*w + 10. Let a(z) = 3*k(z) + 7*m(z). Is 14 a factor of a(-4)?
False
Does 19 divide 18/(-7)*(-224)/24?
False
Let j be (-1)/(-2)*(0 - -2). Let c(q) = 2*q**2 - 6*q + 2*q + 2*q - j. Is c(2) even?
False
Let u(b) = -2*b**2 + 4*b + 5. Let p be u(4). Let q = p - -38. Does 27 divide q?
True
Let m = 7 - 5. Suppose -2*s - m + 26 = 0. Is s a multiple of 4?
True
Suppose m + 0*m - 23 = 0. Let t = -10 + m. Is 6 a factor of t?
False
Let u(n) = 10*n + n - 18*n. Is u(-9) a multiple of 9?
True
Let a = -11 + 19. Suppose 9*b - a*b - 42 = 0. Is b a multiple of 14?
True
Suppose -4*w = 236 + 120. Let o = w + 125. Is 11 a factor of o?
False
Let v be (7 + 3)*1/2. Suppose -2*w = -w + 5, -20 = v*s + 4*w. Suppose s*y + 48 = 4*y. Does 6 divide y?
True
Suppose 0 = 7*o - 2*o - 15. Let a = o - -4. Is 7 a factor of a?
True
Let t = -3 - -5. Let w be t/(-4) + (-129)/6. Does 6 divide w*(-1)/2 + 1?
True
Let g be 133 - 4/(-2 + 0). Let c = 199 - g. Let b = -34 + c. Is 10 a factor of b?
True
Is 18 a factor of (-84)/(-35)*100/3?
False
Let o(n) be the second derivative of -n**5/20 + n**4/12 - n**2 - n. Let s be o(0). Does 8 divide ((-48)/(-9))/(s/(-6))?
True
Does 3 divide (-18)/4*6/(-9)?
True
Suppose -5*x + 312 = 3*v, x - 62 = -0*v - v. Suppose 3*h - x = 9. Is 19 a factor of h?
False
Let h be 3*-1 + (-12)/(-4). Suppose -5*c = -2*m - 17, -3*m - c + 6*c - 13 = h. Is 4 a factor of m?
True
Let x(v) = 3*v**2 + 8. Is x(4) a multiple of 13?
False
Let k(r) = r**3 - 6*r**2 - 7*r - 2. Let u be k(7). Let w = u - -10. Is w a multiple of 8?
True
Suppose -2*f - 754 = 2*o, -2*f - 10 = -0*f. Let m be (o/(-20))/((-1)/(-5)). Let t = m - 51. Does 21 divide t?
True
Let r(n) = -n. Let b be r(-6). Let o(t) = t**3 + 