?
True
Let r(y) be the third derivative of y**6/120 - y**4/24 + 2*y**3/3 - y**2. Let s be 0 - 1 - -3 - -1. Is r(s) a multiple of 14?
True
Suppose 2*k - 5*u + 20 = 0, k + 4*u - 7 = 9. Suppose -2*b + 18 + 14 = k. Is b a multiple of 8?
True
Is 9 a factor of (1 + (-1)/4)*(10 - -26)?
True
Let z(w) = -w + 10. Let h be z(6). Suppose h*x + 10 = 42. Does 8 divide x?
True
Let q(z) = 12*z - 39. Does 15 divide q(12)?
True
Let n(x) = -1. Let z(k) = -14*k + 6. Let a(p) = 5*n(p) + z(p). Let w be a(1). Is -1*2/2 - w a multiple of 10?
False
Suppose 2*g - 6*g - 4*l = -372, 4*l + 204 = 2*g. Is g a multiple of 18?
False
Let w be 9/2 - 1/2. Suppose 4*o + 0*o = 3*x - w, -5*x - 3*o = 3. Suppose -2*l + 50 = -2*t, l = 3*t - x*t + 23. Does 13 divide l?
True
Let x be 14/4 - (-3)/(-6). Is -1*1*(x + -13) a multiple of 10?
True
Let x be -5*(14/(-10) - -1). Suppose -2*l + 25 = q, q - 20 = -x*l + l. Is 15 a factor of q?
True
Let x(w) = 6*w**2 - 6*w + 3. Is x(5) a multiple of 34?
False
Does 4 divide (-2)/5 - 81/(-15)?
False
Let s = 3 - 0. Suppose -12 = -s*l + 2*l. Let h = 15 + l. Is 18 a factor of h?
False
Let n(d) be the first derivative of 2*d**4 + 2*d**3/3 - 3*d**2/2 + 2*d - 1. Let y be n(4). Is (-4)/22 + y/33 a multiple of 7?
False
Let d = -4 + 6. Suppose -d*y - j + 0 = -3, 4*y - 11 = 3*j. Suppose y*z - 106 = -4*v - z, 3*v = -5*z + 85. Does 25 divide v?
True
Does 6 divide 92/5 - 12/30?
True
Suppose -5*d + d + 2332 = 0. Suppose -2*s - 586 = -3*j, -6*s = -3*j - s + d. Does 7 divide 1/(-3) + j/12?
False
Suppose 5*r = 2*p - 21 - 10, -2*r - 14 = -p. Let h(s) = s**2 - 6*s - 4. Is h(p) a multiple of 6?
True
Let p(z) = 2*z**3 - 4*z**2 + 3*z - 1. Let x be p(2). Suppose 4*k = -x*i + 80, -4*k = -5*k - 5. Let a = 46 - i. Does 13 divide a?
True
Is 2 + (0 + (-48)/(-4))/1 a multiple of 7?
True
Let u be 30/(-35)*(-7)/2. Suppose -a = 2*p + 4*a - 115, -u*p + 159 = 3*a. Is p a multiple of 10?
True
Let x be -1 + 104 - (0 - -1). Suppose -5*w + 337 - x = 0. Is w a multiple of 10?
False
Is 32 a factor of -3*(3 + (-260)/6)?
False
Let q(j) be the first derivative of 3*j**2/2 - 2*j - 2. Let p be q(8). Suppose -3*h = -4*i + 50, 0 = -2*i - 0*h + 3*h + p. Does 8 divide i?
False
Let l(y) = 2*y + 296. Does 34 divide l(0)?
False
Let v(a) = a**2 + 2*a - 1. Let h be v(-3). Suppose 3*p - 12 = 0, 7*m - 36 = h*m + p. Is m a multiple of 4?
True
Let y(d) = -1 - d + 0 - 2*d + 0. Does 12 divide y(-8)?
False
Suppose 0 = -2*j - 6*j + 800. Is 10 a factor of j?
True
Let o be -3*3/((-9)/2). Let v = 6 + 1. Suppose -g = -v + o. Is 4 a factor of g?
False
Suppose 12*a = 10*a. Is 5 a factor of -2 - a - (-11 + -1)?
True
Is -1 - -4 - (-57 + 5 + -2) a multiple of 19?
True
Let h(d) = 2*d + 1. Let b(c) = c. Let l = -6 - -14. Let v(p) = l*b(p) - 3*h(p). Does 7 divide v(5)?
True
Let u = 97 - 178. Suppose -10*f + 908 = -312. Let d = u + f. Does 17 divide d?
False
Suppose 0 = 5*x - 3 + 13. Let z(y) = 3*y + 1. Let b be z(x). Does 5 divide 8 + (-6)/(2 + b)?
True
Let r(k) = 3*k**2 + k - 3. Suppose -2*t + 4*s - 4 = 2*s, -s = -3. Let f(c) = -c**2 + c. Let x(n) = t*f(n) + r(n). Is x(4) a multiple of 10?
False
Suppose 5*w + 4*p = -234, -2*w + 3*p - 90 = p. Let x(h) = h**3 - 8*h**2 + 4*h - 9. Let j be x(7). Let c = j - w. Is 5 a factor of c?
False
Suppose -3*z + 254 = 5*o - 5*z, 5*z = 2*o - 110. Does 25 divide o?
True
Let l(y) = 4 + 0*y + 5*y - 2 + 3*y. Is 6 a factor of l(2)?
True
Let g(c) = 2*c**2 + 22*c + 36. Is 26 a factor of g(-15)?
True
Let d = 331 + -224. Does 10 divide d?
False
Let t(s) = s**3 - 7*s**2 - 4*s - 4. Let n be 0 - (2 + 0 + -10). Let j be t(n). Suppose 3*l + 2*y = l + j, l = -4*y + 26. Is l a multiple of 10?
True
Does 2 divide 9/(-2 - ((-4)/(-8) - 3))?
True
Let z(a) = 3*a - 4. Does 8 divide z(7)?
False
Let k be (-14)/(-2) + -2 + 0. Suppose -17 + 47 = k*c. Is 4 a factor of (3/2)/(c/24)?
False
Let q(g) = g**3 + 6*g**2 + 6*g + 4. Let c be q(-5). Let m = c - -1. Does 16 divide 2 - ((-1 - m) + -37)?
False
Suppose p = -4*s + 2 - 1, -2*s = -5*p - 61. Let h = 2 - p. Is h a multiple of 4?
False
Let d(q) = -q**2 + 7*q - 2. Let m be d(6). Let i = m + 2. Suppose i*u - u - 60 = 0. Does 12 divide u?
True
Let i(s) = 4*s**2 - 2*s - 9. Is i(5) a multiple of 20?
False
Let o = -36 - -50. Suppose -u + o - 4 = 0. Suppose -114 + u = -4*h. Is h a multiple of 13?
True
Suppose 5*g - 49 = w, w - 3*w = -5*g + 48. Is g a multiple of 5?
True
Let n(r) = 2*r + 1. Let z be n(2). Suppose 90 = z*c - 2*c. Is c a multiple of 10?
True
Let f(h) = -h**3 + 9*h**2 + 8*h + 4. Is f(8) a multiple of 12?
True
Suppose -2*g - 3*p + 0*p - 4 = 0, 4*g - 24 = 2*p. Is ((-12)/6)/((-1)/g) even?
True
Let a be (2/1*-63)/(-1). Let v = a + -72. Is v a multiple of 35?
False
Let d(p) = p**3 - 4*p**2 - 3*p + 7. Suppose -4*h + 2*h + 4 = 0. Suppose 0 = 2*q - h*k, -2*q + 3*k - 5 = -0*q. Is d(q) a multiple of 7?
False
Let g = -26 - -14. Let a be 27/g*(-208)/3. Let z = -110 + a. Is 23 a factor of z?
True
Suppose -4*i + 2*a = -132 + 20, 0 = 2*i - 5*a - 56. Is 7 a factor of i?
True
Let g(u) = 4*u**2 + 3*u + 2. Let n = -2 - -5. Is g(n) a multiple of 16?
False
Suppose -5*h - 4*a - 41 = 0, -5*h + 4*a - 2*a = 17. Let g = -4 - h. Does 15 divide (g + -6)/(1/(-3))?
True
Let g(w) = -w**2 + 9*w + 1. Is 15 a factor of g(7)?
True
Does 8 divide (-46 - 2)*(-1)/2?
True
Let y = -432 - -612. Is y a multiple of 18?
True
Let l be 0/((-6)/(-3) + -4). Suppose l = -4*d - 4*p + 20, -5*d = -0*p - 2*p - 11. Does 10 divide ((-16)/(-3) + -2)*d?
True
Let g(s) = s**3 - 3*s**2 + s - 4. Let u be g(3). Suppose 12*z = 11*z. Is 7 a factor of (-1)/(u/14) + z?
True
Let u be (16/(-24))/(2/(-30)). Suppose 4*v - p - 9 = 0, p + u = -0*v + 5*v. Is 5 a factor of (-3 - (v + -5))*14?
False
Suppose -3*x = 3*f - 405, -3*x - x + 4 = 0. Is 28 a factor of f?
False
Suppose -4*v - 12 = -5*x + 4, 0 = -5*x. Let f be v/14 - (-40)/(-7). Is (-2)/f*(36 + 3) a multiple of 7?
False
Let o(f) = 3*f**3 + 3*f + 7 - 2*f - 3*f**3 + 7*f**2 - f**3. Is 7 a factor of o(7)?
True
Suppose -4*o + 14 + 2 = 0. Suppose 2*w = 4*x + 6*w - 300, 20 = o*w. Is 14 a factor of x?
True
Suppose -2*c - 4*p = 28, -4*p + 18 + 10 = -2*c. Let a = c - -79. Is 15 a factor of a?
False
Let l be (1 + -2)/(3/(-63)). Let v = l - 1. Is v a multiple of 13?
False
Suppose 0 = 4*w + v + 37, -3*v + 7*v + 4 = 0. Let z = w - -19. Is 4 a factor of z?
False
Suppose -5*a = -2*t - 581, -4*a + 3*t + 466 = t. Is 23 a factor of a?
True
Let a(c) = 23*c**3 + c**2 - 2*c + 1. Let i be a(1). Let y(f) = f**2 - 7*f - 6. Let l be y(6). Let b = i + l. Is b a multiple of 11?
True
Suppose -4*q = -7*q + 63. Let u = q - 29. Is 21 a factor of ((-4)/u)/(1/42)?
True
Suppose -5*b + 24 = -2*b. Suppose 4*i + 0 = b. Does 8 divide (i - -12 - 0) + 2?
True
Suppose -124 = -4*w + 2*t + 74, 2*t = 3*w - 151. Is 8 a factor of w?
False
Let g = -1 + 10. Suppose g*w - 190 = 4*w. Is 16 a factor of w?
False
Suppose 2*h = 3*g - 0*h - 306, -327 = -3*g - 5*h. Let w(k) = -k - 1. Let r be w(-6). Suppose -r*i + i = -g. Is 13 a factor of i?
True
Let l(g) = g**2 + 4. Let d be l(0). Is 5 a factor of 136/14 + d/14?
True
Let d = 32 + -1. Is 7 a factor of d?
False
Suppose -127 + 28 = -3*x. Is 9 a factor of x?
False
Suppose 5*t - 7 = -3*k + 4, 3*k + 4*t = 7. Let u(s) = -s - 2. Let p be u(k). Suppose b = 4 - p. Is b a multiple of 3?
True
Suppose -2*n - 3*n + 120 = -2*g, 0 = -n + 3*g + 24. Does 27 divide 1708/n + (-2)/12?
False
Let x(r) = r + 16. Is 9 a factor of x(11)?
True
Let j(q) = -q**3 + 11*q**2 - 9*q + 5. Let d be (0 - -2)/((-4)/(-20)). Let a be j(d). Suppose i = o + 2*o + a, 0 = -4*i + 5*o + 32. Is i a multiple of 3?
True
Let z(p) = p**2 + 10*p - 4. Does 7 divide z(-11)?
True
Let g = 15 - 8. Suppose 53 + g = 5*q. Is 8 a factor of q?
False
Let o(i) = 9*i**2 + i - 8. Let n be (0 - 3/9)*-15. Let v(g) = 10*g**2 + 2*g - 9. Let r(k) = n*o(k) - 4*v(k). Is 15 a factor of r(3)?
False
Suppose -w + 2*m + 3 = -m, 5*m + 7 = w. Suppose 6*l - 5*l = 1. Is (-22)/(-6) - l/w a multiple of 4?
True
Let z(w) = w - 9. Let j(m) = 9*m**2 - 2*m + 1. Let i be j(1). Let n be z(i). Is 0 + n - (2 - 24) a multiple of 11?
False
Let v(a) be the second derivative of a**5/20 + 2*a**4/3 + a**3/6 - 7*a**2/2 - a. Let y = 45 + -52. Is v(y) a multiple of 14?
False
Suppose -15*u + 12*u + 66 = 0. Suppose 2*a + 10 = l, 2*l + 2*a + u = 72. Does 10 divide l?
True
Suppose -2*u