tive of 0 + 4*i + 0*i**3 - 1/2*i**2 + 49/12*i**4. Is d(-1) a multiple of 21?
False
Let k = 17 + -4. Does 10 divide k?
False
Let v(h) = h**2 - 9*h + 8. Let l be v(6). Let n = 11 - l. Does 7 divide n?
True
Suppose 0 = -5*y + 312 - 57. Let k = y - 21. Is k a multiple of 8?
False
Does 9 divide (2 + -4)/(-1) + 25?
True
Let b(k) = -k**2 + 12*k - 6. Let d be b(10). Suppose -d = 5*n + 6. Let m(r) = 3*r**2 + 5*r - 3. Does 10 divide m(n)?
False
Let m(a) = a + 8. Let s be m(-6). Suppose i - s = -0*i. Let g = i - -18. Is g a multiple of 10?
True
Suppose -12*f + 9*f + 9 = 0. Suppose -f*s + 2*o - 3*o = -153, -2*s = -3*o - 102. Is s a multiple of 7?
False
Let q = -2 + 6. Suppose -j - 5*a + 31 = j, -q*a + 29 = 3*j. Suppose j*v + 21 = 6*v. Does 5 divide v?
False
Let p be (-1 + 2)*-1 + 65. Suppose 0 = 4*j - 4*l - p, -5*j + l + 76 = -0*l. Is 7 a factor of j?
False
Let x(i) = -25*i - 56. Is x(-6) a multiple of 20?
False
Let x(w) = 2*w**2 - w + 2. Let q be x(2). Suppose q = 2*s - 2. Suppose s*h - 68 = 22. Does 11 divide h?
False
Suppose 0 = -0*a - 2*a + 6. Suppose -276 = -c - a*c. Suppose -c = -4*b - 5. Is b a multiple of 6?
False
Suppose 7*l - 102 = 4*l. Is 12 a factor of l?
False
Suppose -5*u - x = 105, -u + 0*x = -4*x. Let y be (8 - -1)/(-3) - -32. Let k = y + u. Is 9 a factor of k?
True
Let c(i) = -i**2 - 6*i - 5. Let o be c(-6). Let n = o + 5. Suppose -5*v + 9 + 16 = n. Does 5 divide v?
True
Let l = 14 + -4. Does 5 divide l?
True
Let b(i) = -3*i**2 + 4*i - 5 + i**3 + 12 + 2*i**2 - 3*i**2. Does 26 divide b(5)?
True
Suppose 2*x - 2*a - 94 = 2*a, -x - 5*a = -68. Does 14 divide x?
False
Suppose -5*a + a - 30 = -q, 4*a - 170 = -3*q. Is q a multiple of 10?
True
Let o(f) be the first derivative of -4*f**5/15 + f**3/3 - 1. Let h(v) be the third derivative of o(v). Is 13 a factor of h(-1)?
False
Let j = 50 - -306. Suppose 5*b + 4*i = j, -4*i + 7*i - 12 = 0. Is b a multiple of 29?
False
Suppose 0 = -2*y - 8, c = y + 7 - 2. Is (244/(4 - 0))/c a multiple of 13?
False
Suppose 576 = z + 7*z. Is 22 a factor of z?
False
Let r = -190 - -103. Let q = r + 135. Is 12 a factor of q?
True
Suppose -12 = -3*o, -6*q + q = 5*o - 55. Let c(w) = w**2 - 7*w + 4. Let x be c(q). Suppose -4*r + x*z = -60, -3*r + 37 = -2*z - 5. Is r a multiple of 6?
True
Let l(r) = 2*r**2 - 16*r + 26. Does 11 divide l(9)?
True
Let x(l) = 5*l - 23. Is x(6) a multiple of 3?
False
Let i(y) be the first derivative of 0*y - 1/4*y**4 + 1/2*y**2 - 1 + 5/3*y**3. Does 11 divide i(4)?
False
Let i = -26 - -15. Suppose 5*q - 4*l = -3*l - 130, -3*l + 130 = -5*q. Let z = i - q. Is z a multiple of 6?
False
Let h be -2*(513/6)/(-9). Let n = -16 + 10. Let c = n + h. Does 7 divide c?
False
Let q(g) = -g + 1. Let s(d) = 6*d - 20. Let w(k) = -5*q(k) - s(k). Suppose 2*n + 0*n = 16. Does 7 divide w(n)?
True
Let z be ((-3)/2)/((-15)/(-20)). Let p be (z - 3)*12/15. Is 11 a factor of ((-11)/p)/((-1)/(-4))?
True
Suppose 0 = 5*h + 2*h + h. Let k(u) = u**3 - u**2 - u + 2. Let y be k(0). Suppose y*z + h*z - 8 = 0. Does 3 divide z?
False
Is 16 a factor of (1*-4 + 3)*-49?
False
Let p(b) be the third derivative of -b**6/120 + b**5/12 + b**3/2 + b**2. Does 19 divide p(4)?
True
Let l(z) = -z + 8. Suppose -b = -4*a + 13, 0*b - 5*a + 14 = -2*b. Let t = b - 3. Is 4 a factor of l(t)?
True
Let q(p) = p**3 + 3*p**2 - 5*p + 2. Let v be q(3). Let x = v - 25. Is x a multiple of 10?
False
Suppose 0 = 4*c + 5*s - 15, -19 = -4*c - 0*c - s. Let u(y) = 2*y - 2. Is u(c) a multiple of 4?
True
Suppose 0*m = -2*l + m + 55, 2*m + 26 = l. Does 10 divide l?
False
Let l be (2 + 1)*20/(-6). Let a(j) = j - 2. Let i be a(l). Is 6 a factor of i/10*(-10 + 0)?
True
Let n(t) = 20*t - 2. Suppose 4*i = -0*i + 20. Does 25 divide n(i)?
False
Suppose -4*h + 135 - 47 = 0. Does 11 divide h?
True
Does 5 divide 1/1*(-7 - -127)/5?
False
Is (18 - 7)/((-2)/(-6)) a multiple of 9?
False
Let s(x) = 3*x**2 - 1. Let v be s(4). Suppose 0 = -3*h + 3*m + 75, 0 = -0*h - 2*h + m + v. Does 22 divide h?
True
Let d = -56 + 146. Suppose 2*a - d = -3*a. Is 4 a factor of a?
False
Suppose 12 = 3*c - 2*g, 2*c - 1 = 6*c + 3*g. Suppose c*a + 165 = 7*a. Does 11 divide a?
True
Suppose 2*y = -2*y + 2*h + 134, 5 = h. Let u = -25 + y. Let o = u - -9. Is 14 a factor of o?
False
Suppose 2*h + 5*h = 1218. Is 7 a factor of h?
False
Let o = 7 + -4. Suppose -2*l - l + 3*p = -57, l + o*p = 39. Does 12 divide l?
True
Suppose g = 5*g. Suppose -5*m - p - 157 = g, -5*m - 166 = p - 3*p. Let u = -14 - m. Does 9 divide u?
True
Suppose -z = z + 50. Let v be 0 - 1 - (z + -2). Suppose 0*q + q - 3*y - v = 0, -74 = -4*q - 3*y. Is q a multiple of 10?
True
Let k be 2/12 - (-734)/(-12). Let h = 29 + k. Let o = h - -50. Does 6 divide o?
True
Let g = -83 - -178. Is 37 a factor of g?
False
Let r = 98 - 28. Is 14 a factor of r?
True
Let i = -20 + 38. Does 13 divide i/(-3)*13/(-2)?
True
Suppose -5*t = -3*t - 12. Does 2 divide t?
True
Let w(j) = j + 4. Let c be w(-5). Let u = c - -8. Suppose u*d = 2*d + 20, 2*l + d = 24. Is l a multiple of 5?
True
Let l(h) = h**3 + 5*h**2 - 7*h. Does 3 divide l(-6)?
True
Let u = -31 - 15. Suppose 38 - 363 = -5*m. Let b = u + m. Does 16 divide b?
False
Let p(d) = -6 + 0 - d + 2. Let g be p(-3). Is 8 a factor of g*(-1)/((-1)/(-13))?
False
Let j = -3 - -19. Is 5 a factor of -3*3/(-18)*j?
False
Let o(d) = 2*d**2 - 3*d - 1. Let k be o(-3). Does 6 divide 6/(-12) + k/4?
True
Suppose -a + 0*a - 14 = 2*n, -a - 26 = 4*n. Let h = -2 - n. Suppose h*r + 9 = 49. Is 5 a factor of r?
True
Suppose 0 = -6*k + 740 + 136. Does 26 divide k?
False
Let f(l) = -l**2 + 16*l - 25. Does 14 divide f(13)?
True
Let b(t) = -2*t + 3. Suppose -r + d - 3 = -2, -12 = -3*d. Suppose r*w + 14 = w. Does 17 divide b(w)?
True
Is (-2185)/(-9) - (-34)/153 a multiple of 22?
False
Let u(b) = 2*b**2 - 31*b + 37. Let l(x) = x**2 - 16*x + 19. Let y(f) = -5*l(f) + 3*u(f). Is 5 a factor of y(13)?
False
Suppose -2*f = -u + 4*u + 4, 4*f + 30 = 5*u. Let a = 4 - u. Suppose 4 = a*d - 16. Is 10 a factor of d?
True
Suppose 4*z + r - 48 = 5*r, -3 = r. Let j = -4 + z. Suppose -5*k = -5, 5*b - 112 = 3*k - j*k. Is b a multiple of 11?
True
Let y = 9 + -6. Let x = y + 1. Suppose -p + 0*p = -5*l - 3, -x*p + l + 31 = 0. Is 3 a factor of p?
False
Let w = 35 - 5. Does 15 divide w?
True
Let u(z) = 93*z - 1. Is u(1) a multiple of 23?
True
Let x = -5 - -7. Let b(s) = 9*s**2 - s - 2. Let n be b(x). Let u = n + 10. Is u a multiple of 21?
True
Suppose 0 = 4*l - 5*l + 5*b + 250, -l = -b - 250. Does 50 divide l?
True
Suppose -107 = 5*l - 177. Is l a multiple of 7?
True
Let w(a) = a**2 + 6*a + 7. Let k(s) = s**2 + 6*s + 7. Let p(b) = 3*k(b) - 2*w(b). Does 5 divide p(-6)?
False
Let z(p) = p. Let g(r) = 6*r**2 - r - 1. Let j(w) = g(w) - 2*z(w). Let y be j(3). Suppose 0*k + y = 2*k. Is k a multiple of 11?
True
Suppose 3*b + 56 = 347. Does 36 divide b?
False
Suppose -5*n + 136 = -4*f, 5*f + 13 = 2*n - 38. Let j be 2 + -3 - n - -1. Is 14 a factor of j/3*3/(-1)?
True
Let c(d) = 2*d**2 - 8*d - 30. Is 13 a factor of c(-5)?
False
Let f(i) = -60*i - 4. Let r be f(-4). Suppose 3*c = r + 52. Is 32 a factor of c?
True
Let l = 45 - 24. Does 8 divide l?
False
Let d = 14 - -22. Does 9 divide d?
True
Let d(z) = 6*z**3 - 3*z**2 + z. Does 4 divide d(2)?
False
Suppose -r = -10 + 1. Let w(z) = 5 + z + 1 - 2. Is w(r) a multiple of 13?
True
Suppose 2*g = 3*h + 18, g - h = 3*g - 2. Suppose g*l - 63 = -0*l. Is 11 a factor of l?
False
Let c(x) = -x**3 + x + 17. Let w be 4/14 - 10/35. Does 6 divide c(w)?
False
Suppose 12 = 4*l - n, -4*l = 6*n - n - 12. Suppose -4*k - f - l*f = -212, -155 = -3*k - 5*f. Is 30 a factor of k?
False
Is 0/(-1) - 75*-1 a multiple of 11?
False
Let u(b) = -57*b. Let z be u(-1). Let l = 105 - z. Suppose -4*q + l = 4. Is q a multiple of 7?
False
Let w(r) = -r**2 + 4*r + 1. Let l be w(4). Is 10 a factor of (-198)/(-10) - l/(-5)?
True
Is (-1)/(-4) + 666/24 a multiple of 9?
False
Let n = 72 - -10. Is n a multiple of 6?
False
Let o be -2 + 3 + 2/2. Suppose -5*i + c + 22 - o = 0, -i = -5*c + 20. Suppose 5*w = 4*v + 202, i*w - v = 168 + 40. Is 14 a factor of w?
True
Is 18 a factor of (-32 - 5)*(-2)/1?
False
Let q(f) = -4*f + 0 - 2 + 4*f - 3*f. Suppose -3*v + 16 = -5*v. Does 11 divide q(v)?
True
Let h(i) = -i**3 - 9*i**2 + 5*i - 6. Suppose 2*d = -d - 30. Is h(d) a multiple of 15?
