vative of c**3/3 + 4*c**2 - 9*c + 2. Is 9 a factor of l(-10)?
False
Let m(f) = 5*f - 4*f - 4*f + f - 4. Is m(-4) a multiple of 4?
True
Let j = -9 + 7. Let s(y) = y**2 + 2*y + 2. Let m be s(j). Suppose -m*o - 5*c = -24, 0 = 5*o + 5*c - 43 - 17. Does 12 divide o?
True
Let d = -19 - -4. Let l = 28 + d. Is l a multiple of 7?
False
Let w = 2 + -5. Is ((-69)/w)/((-5)/(-5)) a multiple of 14?
False
Let b(h) = -h - 2. Let q(x) = 2. Let f(g) = -5*b(g) - 6*q(g). Is 2 a factor of f(1)?
False
Suppose -3*n = -n, -3*b + 9 = 4*n. Suppose 0 = -7*z + b*z + 184. Suppose 2*m - z = -2*y, -2 = -y + 2*y. Is 25 a factor of m?
True
Let h be 32/24*(-6)/(-4). Suppose -2*l + 74 = -2*s - 24, -4*l = h*s - 202. Is l a multiple of 25?
True
Suppose 4*d = 9 + 83. Does 23 divide d?
True
Suppose 4*j = j + 36. Is 8 a factor of j?
False
Suppose 4*u - 2*u + 2 = 0. Let f(t) be the second derivative of -11*t**5/20 - t**2/2 + t. Does 7 divide f(u)?
False
Suppose -6 = 2*y - y. Let t be (-43*1)/((-6)/y). Let n = 75 + t. Does 11 divide n?
False
Suppose -4*j + 6 + 2 = 0. Suppose -5*w + 286 = -14. Does 12 divide (2/5)/(j/w)?
True
Let u(h) = h**2 - h + 5. Let b be 0 + (-1 + 1)/2. Let y be u(b). Suppose 4*o - 3*f = 68, f - y = -1. Does 20 divide o?
True
Suppose 2*j + 2 = 0, -3*j = 4*d + d + 13. Is d/(5 - 3)*-7 a multiple of 3?
False
Let m(v) = 8*v - 1. Let a be m(4). Suppose 2*b + 3*n - 11 = -2*b, 2*n + a = 5*b. Let g(i) = i**2 + 3*i + 1. Does 19 divide g(b)?
False
Suppose -5*y - 138 = -s, 4*s - 153 = -5*y + 449. Is 19 a factor of s?
False
Suppose -7*i = -3*i - 232. Does 16 divide i?
False
Suppose -c - 2*c = -327. Does 38 divide c?
False
Let g = -151 - -223. Suppose g = 3*f + 4*d, -2*f - 2*d - 23 = -69. Suppose -u = 8 - f. Does 12 divide u?
True
Let d = 59 + -54. Let g(a) = -5 - a + 7 + 8. Is g(d) a multiple of 2?
False
Suppose z - 6 = -0*z. Let g = -6 - -6. Suppose g*q + 2*q - z = 0. Is 3 a factor of q?
True
Suppose 4*r + 4*z = 8, -3*r - 4*z = -6 - 2. Suppose -o + 4*o - 180 = r. Is 20 a factor of o?
True
Let i(f) be the second derivative of -f**5/2 - f**4/4 - f**3/6 + f**2 + f. Is 22 a factor of i(-2)?
False
Let o(f) = -35*f**3 - 3*f**2 + f + 1. Let h be o(1). Is 5 a factor of (10/8)/((-3)/h)?
True
Does 2 divide (5 + -2 + -15)/(-2)?
True
Suppose 6*r - r - 63 = -4*h, -3*h + 6 = 0. Is 11 a factor of r?
True
Suppose -r + 3*d + 1 = 12, -5*d = 2*r - 22. Let z be r*3 - (2 - 76). Let u = -38 + z. Is 15 a factor of u?
False
Suppose 4*a - 48 = 2*a. Let h = 50 - a. Is h a multiple of 17?
False
Suppose 10 = -3*x + 307. Is x a multiple of 21?
False
Suppose -54 = 2*o - 4*o. Suppose 2*v = 3*l - 19, -v + 4*l - 8 = -1. Let z = o + v. Is 16 a factor of z?
True
Let g(z) be the first derivative of z**4/4 - z**2/2 - 8*z - 1. Let f be g(0). Is 9 a factor of (6/f)/((-1)/24)?
True
Let d = 279 - 197. Suppose d = -4*x + 6*x. Is 10 a factor of x?
False
Let s(c) = 5*c - 15. Let y be 124/20 - 8/(-10). Is s(y) a multiple of 6?
False
Let b = -10 + 15. Does 16 divide b*6 + -2 + 4?
True
Let v = 498 - 174. Does 31 divide v?
False
Let p = 36 - 13. Let s = -15 + p. Does 3 divide s?
False
Suppose 2*i - 6*i = -192. Does 28 divide i?
False
Suppose 3 = 3*u - 36. Let t(b) = u + 28*b - 13. Does 13 divide t(1)?
False
Suppose 5 = t - 0. Suppose 3*k = -3*w + 45, -t*w + 0 = -5. Does 5 divide k?
False
Suppose -3*u = 6, 4*z + 108 = -4*u + 560. Is z a multiple of 10?
False
Let c be 1/(-2) - 310/(-4). Suppose 24 = j + 2*k - 6*k, 3*k - c = -4*j. Is j a multiple of 4?
True
Suppose -192 = -3*w - w. Is w a multiple of 16?
True
Let q(g) be the second derivative of -2*g**3/3 - g**2 - g. Is q(-2) even?
True
Suppose -a + 96 = -15. Is a a multiple of 37?
True
Let n(z) = -141*z**3 - z - 1. Let p be n(-1). Suppose 4*g = -5*x + 2*g + p, -3*x + 72 = -3*g. Is x a multiple of 13?
False
Let j(i) = i**2 - i + 1. Let p be j(2). Suppose 0 = -5*n + 3*d + 109, p*n + n - 4*d - 92 = 0. Is n a multiple of 15?
False
Suppose -3*h - o = -12, 4*h + h - 20 = -o. Suppose 136 - 340 = -h*x. Is x a multiple of 15?
False
Let t(y) = -y**2 + 7*y - 2. Let h(n) = -n + 1. Let i(u) = -6*h(u) - t(u). Let q be i(3). Suppose -q*x + 15 = -5. Does 5 divide x?
True
Suppose 0*j = 13*j - 3640. Does 20 divide j?
True
Suppose 5*j - j - 384 = 0. Suppose 3*d + j = 6*d. Is d a multiple of 8?
True
Suppose -2*l - 2*w + 6 = -w, -3*w = -3*l + 27. Suppose -2*c - l*x + 38 = 0, 2*c - 90 = -2*c - 3*x. Is 12 a factor of c?
True
Let i(j) = j**2 - j + 1. Let w(k) = 4*k**2 - 10*k + 12. Let h(l) = 5*i(l) - w(l). Let y be h(-5). Let b = 0 - y. Does 5 divide b?
False
Suppose 0 - 2 = d. Let h(q) be the first derivative of 2*q**3/3 + 2*q**2 + 3*q + 1. Is 3 a factor of h(d)?
True
Does 13 divide (-2334)/(-30) - (76/20 - 3)?
False
Let d be ((-12)/(-30))/(2/70). Suppose 103 = 5*v + s, -4*s + 2*s - d = -v. Suppose 5*i + 16 = 3*l - 16, 2*l = 2*i + v. Does 9 divide l?
True
Is 28 a factor of -2 + 170 + (-5 - -5)?
True
Let a = 35 + -7. Is a a multiple of 21?
False
Suppose 2*f = 108 - 28. Is f a multiple of 10?
True
Suppose 9 = h - 51. Does 11 divide h?
False
Let z(o) = 40*o - 3. Is 5 a factor of z(1)?
False
Suppose 9 + 39 = -t. Let i = -16 - t. Is i a multiple of 16?
True
Let i(s) = 20*s - 3. Does 19 divide i(3)?
True
Let m = -2 + 6. Suppose -f = -2*f + m, -4*t + 4*f - 16 = 0. Let b(v) = -v**3 + v**2 + v + 8. Is 8 a factor of b(t)?
True
Let a = -30 - -52. Suppose -a - 26 = -c. Is 16 a factor of c?
True
Let r(x) = -31*x**3 - x - 1. Is 31 a factor of r(-1)?
True
Suppose -16*d + 14*d + 304 = 0. Does 19 divide d?
True
Suppose 0*o = o. Suppose -5*w + 86 = a + 2*a, o = -2*w - 4. Suppose -4*q = 3*n - a, -5*n = q + q - 16. Is 4 a factor of q?
True
Let n be ((-10)/(-4))/((-1)/(-2)). Suppose 0*o - x = -o + 53, n*o + 3*x = 241. Suppose 5*d - o = -5*w, 4*d = 2*d + 10. Is w a multiple of 5?
True
Let h(b) be the second derivative of 5*b**3/6 - 5*b**2/2 - 5*b. Is 31 a factor of h(8)?
False
Suppose 5*x = 27 + 73. Is x a multiple of 8?
False
Suppose 5*r = 8 + 7. Suppose -3 = -a, -3*a = -5*p + 90 + 181. Suppose p = r*u + u. Does 4 divide u?
False
Let u = -9 - -10. Let x be (-2)/5 + 9/(-15). Is (-2 - x/u) + 27 a multiple of 13?
True
Let c(v) = v**2 - 6*v + 10. Let t = -3 + 12. Does 11 divide c(t)?
False
Suppose -3*u + 252 = -4*n, u - 5*n = 5*u - 336. Is 6 a factor of u?
True
Let j be (-6)/(-15) - (-69)/15. Suppose -3*t + 3*d - j = -77, -94 = -4*t + 2*d. Does 6 divide t?
False
Let p be (-2 - 74)/(2/2). Let h = 13 + p. Let x = -23 - h. Does 12 divide x?
False
Suppose 2*d + 2*d + 24 = 0. Let c be (5 + -2)/(d/(-4)). Suppose 2*m + u = -u + 24, 4 = -c*u. Does 5 divide m?
False
Suppose 0*i + 5*i = -3*o - 12, -3*o - 15 = 4*i. Let r(k) = -k**3 - 9*k**2 - 7*k. Let b be r(o). Let c = b + -26. Does 14 divide c?
False
Let p(y) = 8*y + 1. Let l(q) = q**3 + 8*q**2 + 6*q - 6. Let n be l(-7). Is p(n) a multiple of 5?
False
Let d(k) = -k**2 - 7*k - 5. Let s be d(-5). Suppose 4*p = 2*l - l + 221, -s*p = 4*l - 250. Does 18 divide p?
True
Let d = 167 + -93. Let p = d - 46. Is 14 a factor of p?
True
Let b be -4 + (-72 - (0 - 3)). Let d = b + 107. Is 11 a factor of d?
False
Let v be 8/(-20) + 44/10. Suppose 5*r = w - 8, -4*r = -2*w - 0*r + v. Let t = 0 - w. Is t even?
True
Let s(o) = -o**2 - 12*o + 5. Let u be s(-8). Let f = u - 17. Does 10 divide f?
True
Let a(o) = 2*o**2 - 3*o. Let j be a(2). Let k be ((-8)/(-2))/j*-4. Let s = -4 - k. Is s a multiple of 3?
False
Suppose -5*u + 66 = -2*u. Suppose m - 5 = u. Is m a multiple of 27?
True
Let x(n) = 46*n + 4. Let t be x(3). Suppose 4*u = -162 - 214. Let o = u + t. Does 16 divide o?
True
Let f = -2 + 4. Suppose f*i = i + 19. Does 19 divide i?
True
Let j(b) = 2*b**3 + 11*b**2 - 8. Is 14 a factor of j(-5)?
False
Let y = -37 - -65. Suppose 4*z - y = -5*r, -r = 4*z - 2*r - 4. Suppose -2*w - z*c + 7 = -27, w + 5*c = 5. Does 19 divide w?
False
Let o(f) = -f. Let i(l) = 13*l + 8. Let t(k) = -i(k) - 5*o(k). Let c = -10 - -4. Does 20 divide t(c)?
True
Let u(n) be the first derivative of 23*n**4/12 - n + 2. Let o(k) be the first derivative of u(k). Is 9 a factor of o(-1)?
False
Let f(m) = -m + 21. Is f(-7) a multiple of 7?
True
Suppose -4*n = -5*n - 2*o + 2, n = -3*o + 5. Let h be (n/(-5))/((-6)/(-30)). Suppose -h*w = -0*w - 64. Does 10 divide w?
False
Let r = 9 + -21. Is r/9*99/(-6) a multiple of 11?
True
Suppose 0