ple of 3?
False
Let g(z) = -51*z**3 + z**2 - 1. Let h be g(-1). Let o = h - 23. Suppose -o = -m - 3. Is m a multiple of 10?
False
Let k(m) be the second derivative of m**4/12 + 2*m**3/3 + 5*m**2/2 - 5*m. Is 7 a factor of k(-6)?
False
Suppose -a - 1 + 2 = 0. Let k be (5/((-15)/12))/a. Let o(l) = 3*l**2 + 7*l + 4. Is 24 a factor of o(k)?
True
Does 7 divide ((-155)/25 + 2)/((-2)/10)?
True
Let r(l) = l**3 + 12*l**2 - 14*l - 14. Let f be r(-13). Does 9 divide 22*(f/1)/(-2)?
False
Suppose 4*n = 4*z + 4 - 0, -2*z + 10 = 2*n. Suppose -22 = a - n*a. Is a a multiple of 6?
False
Suppose 0 = -5*a + 180 + 80. Is 18 a factor of a?
False
Let b be (-1)/(-2)*-2 + 3. Is 21 a factor of (72 - 9)*b/3?
True
Suppose 5*f - 5*r = -10*r - 10, -3 = -r. Let y = 13 + -24. Let v = f - y. Is v a multiple of 4?
False
Suppose 12*h - 240 = 10*h. Is h a multiple of 15?
True
Suppose -2 = -0*m - m. Suppose 0 = u - m*w - 2, u + 3*w = 2*u. Is 20/u*12/5 a multiple of 8?
True
Suppose 96 = 4*o - v, 4*o = -0*o + 4*v + 96. Suppose 36 = 2*g + 4*u, u - 5 = 3*g - o. Is 8 a factor of g?
True
Suppose -3*p + 216 = -5*g, p + 4*g - 2 = 70. Is p a multiple of 24?
True
Is 28 a factor of 2197/13 - 2/2?
True
Is 11 a factor of 20/(-40)*(1 + -527)?
False
Suppose 5*l = m - 104 + 546, m + 178 = 2*l. Let x = l - 6. Let k = -50 + x. Is 16 a factor of k?
True
Let m = 1 + 27. Suppose 26 = y - 4*a, m = 4*y + a + 2*a. Is y a multiple of 10?
True
Is 20/6*3/(-12)*-42 a multiple of 4?
False
Let t(i) = 3*i**2 - 2 - i**2 - i + 3 - 3. Let a = -7 + 11. Is 7 a factor of t(a)?
False
Suppose 2*d = 2*p - 187 + 55, 0 = -p - 4*d + 61. Is p a multiple of 15?
False
Let j(z) = -627*z - 133. Let v(t) = -19*t - 4. Let g(x) = -4*j(x) + 133*v(x). Let k(p) = -38*p. Let b(w) = 13*g(w) - 6*k(w). Is 8 a factor of b(-1)?
False
Let x(f) = f + 32. Let z(q) = -q**2 + 6*q - 2. Let u be z(4). Suppose -s + u*s = 0. Is 13 a factor of x(s)?
False
Let z be 239 - ((3 - 1) + -4). Suppose 0 = -5*x + p + z + 182, x = 2*p + 90. Is x a multiple of 28?
True
Let j(o) = 15*o**3 + o**2 - o - 1. Let y be j(-1). Is 23 a factor of ((-60)/7)/(2/y)?
False
Let m = 25 - 0. Suppose r - m - 19 = -2*w, w = 2*r - 98. Is r a multiple of 12?
True
Suppose -5*s + 102 = 42. Does 12 divide s?
True
Suppose 5*n = 3*x - 14 + 39, x - 10 = -2*n. Let s = -8 + n. Is 5 a factor of (s/(-6))/((-1)/(-26))?
False
Suppose -4*j = 4*q - 52, -6*q + 65 = -q + 4*j. Is q even?
False
Let j(q) = q**3 + 5*q**2 - 6*q + 4. Let n be j(-6). Let f be -2 + n + (-1 - -1). Is 1/f + (-115)/(-10) a multiple of 6?
True
Suppose 3*a = -2*a + 10. Suppose 5*w + 199 = 4*u, a*u - u = -4*w + 34. Suppose -5*j = 5*r - 105, -2*r - j = 3*j - u. Does 10 divide r?
False
Suppose n - 7 = 3*u + 7, 2*u - n = -10. Let p(x) = 2*x**2 + 6*x + 6. Is p(u) a multiple of 14?
True
Let a(d) = -4*d - d + 2 + 4*d. Let v be a(0). Is 2 a factor of (3 - 1 - v) + 2?
True
Suppose -3 + 1 = -n. Let f be 55/(-20) - n/8. Is 4 a factor of (-1)/f - 58/(-6)?
False
Let w(k) = -3*k - 39. Does 3 divide w(-18)?
True
Let p = -2 - -7. Suppose 5*o + 8 = p*b - 17, -3*o = 3*b - 9. Let y = 6 - o. Does 3 divide y?
False
Let p = 1 + -1. Let s = p + 6. Does 7 divide (-43)/(-3) - 2/s?
True
Suppose -14 = -2*t + 3*p, 0 = t - 5*p - 18 - 3. Suppose 9 = 2*c + t. Is c a multiple of 2?
True
Let p = 13 - 35. Let k = p + 24. Is 2 a factor of k?
True
Suppose -3*g = -4*q - 814, 2*g - 3*q - 542 = -q. Is 15 a factor of g?
True
Let d = 47 + -39. Is d a multiple of 4?
True
Let x(i) = i**2 - 7*i + 9. Let m(u) = -2*u**3 - 2*u**2 - 2. Let f be m(-2). Is 2 a factor of x(f)?
False
Let v(i) be the first derivative of -5*i**4/4 + 4*i**3/3 + 3*i**2/2 - 5. Is 18 a factor of v(-2)?
False
Let a(w) = -5*w**3 - w**2 + 2*w + 4. Is 12 a factor of a(-2)?
True
Suppose 0 = -4*q - q + 5, -5*q = 2*l - 63. Let k = l - 6. Does 8 divide k?
False
Let f = 3 + 11. Suppose 3*v + f = y, 4*y + 2*v - 41 = 29. Is 12 a factor of y?
False
Suppose 0*l + 152 = 2*l. Is l a multiple of 13?
False
Let r(k) = 35*k**2 - k. Let z be r(-1). Is 14 a factor of 4/(-18) - (-1340)/z?
False
Let h(s) = -s**3 - 9*s**2 - 16*s - 5. Let q(n) = n**3 + 9*n**2 + 17*n + 4. Let p(r) = 7*h(r) + 6*q(r). Is p(-8) a multiple of 5?
True
Suppose 4*x - 60 = 36. Is x a multiple of 24?
True
Let i(m) = 10*m - 4. Let l be i(4). Suppose 7 = z - l. Is z a multiple of 16?
False
Suppose -39 = -z + 11. Is 4 a factor of z?
False
Let p(a) = -2*a**2 - 2. Let i(u) = -u**2 + 1. Let n(r) = -3*i(r) - p(r). Let g be n(1). Suppose 6*m - 3*m - 50 = g*o, -4*o - 8 = 0. Does 7 divide m?
True
Suppose 95 = 5*s - 3*p, s - 4*p = p + 19. Does 19 divide s?
True
Suppose 2*i = 3*p - p + 2, -4*p - i = -16. Let x be 20/p*(-15)/(-10). Let k = x + 2. Does 6 divide k?
True
Let j = 5 - -4. Suppose -h = -j - 13. Is 12 a factor of h?
False
Let s(q) = -102*q**2 + 3*q - 3. Let b(x) = 34*x**2 - x + 1. Let u(l) = -8*b(l) - 3*s(l). Is u(1) a multiple of 17?
True
Suppose 4*g - 429 = -3*s, -426 = -5*g + g - 2*s. Is g a multiple of 35?
True
Suppose -5*u = -62 + 2. Let q = 14 + u. Does 22 divide q?
False
Let b(t) be the third derivative of t**6/120 + t**5/10 + t**4/6 + t**3/3 + 2*t**2. Let y = -14 + 10. Is 9 a factor of b(y)?
True
Suppose 3*l - 2 = 16. Suppose -4*u + 30 = l. Suppose 9 = -3*y, -4*z - u*y + 67 = -3*y. Is 16 a factor of z?
False
Let l(j) be the first derivative of j**3/3 + j**2/2 - j - 3. Is 5 a factor of l(-5)?
False
Suppose 109 = z + 24. Does 17 divide z?
True
Let c(t) = t**2 - t. Let p(k) = 5*k**2 - 3*k - 2. Let i(v) = 6*c(v) - p(v). Does 14 divide i(9)?
True
Suppose -2*c + 5*i - 32 = 0, 3*i - 20 = -2*i. Does 4 divide (c/(-9))/((-4)/(-30))?
False
Let r = 6 - -26. Is 20 a factor of ((-5)/(-2))/(4/r)?
True
Suppose -4*b + 232 = -4*k - 68, 5*k = -2*b + 157. Does 38 divide b?
True
Suppose 0*r - 131 = 3*r + 5*u, -4*r - 160 = 3*u. Is 11 a factor of r/(-4 + 2 + 1)?
False
Let p = -17 - -90. Let y(c) = -c**3 - 8*c**2 - 7*c - 1. Let w be y(-5). Let h = w + p. Is 16 a factor of h?
True
Let y = -19 + 32. Is 3 a factor of 7/(-14) - y/(-2)?
True
Suppose -12 = 2*i + 3*y - 5, -5*i + 40 = -4*y. Suppose i*t - q - 2*q = 216, -108 = -2*t + 2*q. Is 12 a factor of t?
False
Let x = 10 - 4. Suppose 2*o = -2*m + x, -2*m = -4*o - 4*m + 12. Suppose -5 = -o*j - 5*d + 3, 2*j - 47 = 5*d. Is j a multiple of 11?
True
Suppose 780 = -h - h. Let m = 16 - 28. Is 15 a factor of (-1)/(-2) + h/m?
False
Let x = 116 - 36. Is 47 a factor of x?
False
Suppose 0*r = 5*a - 4*r + 7, -4*a - 16 = 2*r. Is ((-41)/a)/(6/18) a multiple of 8?
False
Let a = -26 - 14. Let w(k) = 13*k - 1. Let j be w(5). Let m = j + a. Does 12 divide m?
True
Let y(u) = 3*u**2 - 6*u - 6. Is y(-4) a multiple of 11?
True
Let c(u) be the second derivative of -u**5/20 - u**4/12 + 4*u**2 + u. Let d be 3*3/9 + -1. Is c(d) a multiple of 6?
False
Let h = 18 - 8. Let b = 14 - h. Is b even?
True
Let g be 3 - 2/(-3 + 2). Let i be ((-3)/2)/((-9)/60). Suppose g*r = -i + 35. Is 2 a factor of r?
False
Let b = -14 - -9. Let m = 9 + b. Suppose m*i + 4 = 28. Does 3 divide i?
True
Let u = -1 - -14. Does 13 divide u?
True
Let p be 27/2 + (-3)/(-2). Suppose -4*r + 0*d = -2*d + 10, 5*d = -p. Is ((-10)/r)/((-1)/(-2)) a multiple of 3?
False
Suppose -38*u = -35*u - 9. Is 3 a factor of u?
True
Let t be (3/(-2))/((-6)/8). Suppose -32 - t = 2*n. Let q = n - -31. Is q a multiple of 7?
True
Let j(c) = 6*c + 2 - c + 9 - c. Does 16 divide j(10)?
False
Suppose 4*c - 2 - 202 = 0. Does 17 divide c?
True
Let a(f) be the third derivative of f**6/360 + f**4/12 - 2*f**3/3 + f**2. Let j(i) be the first derivative of a(i). Is 11 a factor of j(3)?
True
Suppose -5*o - 2*w - 4 - 22 = 0, -2*o - 20 = -4*w. Let j be 4/o - 880/3. Does 11 divide j/(-9) + (-3)/(-9)?
True
Suppose -2 = x - 4. Let y(s) = -15*s + 2. Let c be y(x). Let t = c - -40. Is 11 a factor of t?
False
Suppose -112 = 3*j - 5*j. Is j a multiple of 28?
True
Let s = -2 - -6. Suppose 2*p + 6 = s*p. Suppose 2*q = -0*q + 8, p*r + 4*q = 100. Does 12 divide r?
False
Is 6 a factor of 1*-2 + (53 - (-8 - -6))?
False
Let n(y) = 6*y**2 + 3*y - 2. Let z be n(1). Let r = 16 - z. Is r a multiple of 9?
True
Suppose -j = -6*j - 455. Let m = 42 + j. Let n = -9 - m. Does 20 divide n?
True
Let u(c) = -17 + 3 + 8*c - 14*c. Is 25 a factor of u(-12)?
False
Let j = -8 - -17. Suppose 4*n = j*n - 35. Is 7 a factor of n?
True
Let u(w) = w**3