r of 216/(-32)*-32*(0 - -1)?
False
Let d(g) be the third derivative of g**6/360 + g**5/40 + g**4/6 - g**3/6 + g**2. Let x(f) be the first derivative of d(f). Does 2 divide x(-3)?
True
Suppose -5*k + 2*m - 2 = 0, -3*k - 3*m + 5 = 2. Suppose 2*g - 3*g + 4 = k. Is g a multiple of 4?
True
Does 26 divide (-156)/(-65)*(-585)/(-6)?
True
Suppose 3*r - 151 = -25. Is 7 a factor of r?
True
Let b be (-4 - -1 - 22/(-6))*3. Suppose 20 = 3*v + 2*v. Is 9 a factor of (1/b)/(v/80)?
False
Let m be 5/20 - (-11)/4. Let q(g) = g**2 + 5*g - 4. Is 20 a factor of q(m)?
True
Suppose s - 5*m = -4*s + 250, s + 2*m = 50. Is 10 a factor of s?
True
Suppose 3*z - 144 = -5*f, -4*z + 9 = 4*f - 103. Is f a multiple of 16?
False
Suppose 2*m - 60 - 20 = 0. Is 20 a factor of m?
True
Suppose -4*w = -4*m - 504, -3*w + 2*w - 3*m + 142 = 0. Does 9 divide w?
False
Let d = 25 - 6. Let f(k) = k**3 + k - 1. Let b be f(-2). Let y = b + d. Is y a multiple of 8?
True
Let k(t) = 5*t**2 - 2*t - 3. Suppose 2*d - 9 = -d. Let x be k(d). Suppose -3*q = -q - x. Does 9 divide q?
True
Let m(p) be the second derivative of -p**3/6 + 3*p**2/2 + 2*p. Let r be m(0). Suppose -r*j + 80 = -j. Is 20 a factor of j?
True
Let b = 3 - 3. Suppose 0 = -b*u + 4*u - 20. Suppose u*j - 19 = 11. Does 3 divide j?
True
Let u(w) = 2*w**2 - 10*w + 8. Let f be u(9). Suppose j = 6*j - f. Is 4 a factor of j?
True
Let l be ((-5)/15)/((-2)/24). Let d(h) = 4*h - 1. Let g be d(l). Suppose g = 3*s + 2*s. Is 2 a factor of s?
False
Let v = 41 - 28. Is 3 a factor of v?
False
Let t = -2 - -4. Let w be (-3 + 4)/(t/(-4)). Does 13 divide -30*(8/(-3) - w)?
False
Let q(n) = -2*n - 1. Let g be q(-7). Is 12 + g - (-1 + -2) a multiple of 9?
False
Is (-2 + 3)*(2 - 0) even?
True
Suppose -5*b = -2*b - 84. Is 13 a factor of b?
False
Suppose 44 = 4*q - 4*s, 4*q - 4*s - 36 = -2*s. Is q + -1*(-1)/(-1) a multiple of 6?
True
Suppose 6 = w + 2. Suppose a = -a - 3*u + 70, w*a - 138 = -5*u. Suppose 3*t - 4 - a = 0. Is t a multiple of 4?
True
Suppose 4*k - 130 = 2*k. Is 9 a factor of k?
False
Let c(b) = 2*b**2 - 5*b + 2. Let p be c(3). Suppose 0 = 4*o - p*m + 1 - 24, 2*o = 4*m + 16. Suppose 3*d - 31 = o*i, -12 = -0*d - d - i. Is d a multiple of 11?
True
Let x(j) = 21*j**2 - j - 4. Does 41 divide x(4)?
True
Suppose -4*t + 91 + 29 = 0. Suppose q - 6*q - t = -5*b, -2 = 2*q. Is b a multiple of 3?
False
Let m(j) = j**2 + 2*j. Let v be m(-2). Suppose 24 = 3*f - v*f. Is 5 a factor of f?
False
Let c(k) = -9*k**3 + 1. Let w be c(1). Is w/20 - 224/(-10) a multiple of 11?
True
Suppose -2*w = -d + 66, -7*w = -3*d - 4*w + 204. Is 7 a factor of d?
True
Let z = 40 + -16. Suppose 5*a - 3*a = z. Is a a multiple of 7?
False
Suppose 65 = -2*r + 3. Let x = r + 58. Does 9 divide x?
True
Let j = 3 - 1. Suppose 2*n = -8, j*v - 5*n - 9 = 53. Does 9 divide v?
False
Let z be ((-18)/(-12))/((-1)/2). Does 12 divide -6 + 3 - z*5?
True
Is 15 a factor of ((-819)/98)/((-6)/8)*14?
False
Does 9 divide (-19)/((-3 + 2)*1)?
False
Let b = -7 - -11. Suppose -4*u = -d - 0*u - 20, 0 = d + b*u - 20. Suppose 2*x - x - 11 = d. Is x a multiple of 4?
False
Let z(x) = -x + 2. Let f be z(0). Suppose -r = -5*s - 12 - 8, -f*r + 5*s + 20 = 0. Suppose d + 3*c - 7 + 1 = r, -5*c - 12 = -2*d. Does 3 divide d?
True
Suppose -8*a = -3*a - 385. Does 23 divide a?
False
Let j(f) = f + 5*f - 4*f + 1 + 1. Let s be j(-5). Let q = -3 - s. Is 2 a factor of q?
False
Let n(i) = -i**3 - i**2 + 3. Does 31 divide n(-6)?
False
Let b(p) = -p**3 + 3*p**2 + p + 200. Is 20 a factor of b(0)?
True
Let a be -1*(2 + -3 + 0). Is (a - -40)/(-1 + 2) a multiple of 16?
False
Let o be 9/12 - 69/12. Let p = o + 22. Does 5 divide p?
False
Let h(x) = 48*x + 4. Is h(4) a multiple of 14?
True
Let i = 3 + -3. Does 9 divide (i - 9)*(-3 + 2)?
True
Let x be 133 + (-2)/4*4. Let f = x + -75. Is 20 a factor of f?
False
Is 19/(-57) + 0 + 614/6 a multiple of 13?
False
Suppose 3*a + b - 9 = 0, -3*b + 3 = -2*a + 9. Suppose -a*j + 4 = -8. Is j even?
True
Suppose -25 = -3*m - 2*m. Is 5 a factor of m?
True
Suppose 3*l + l = z - 35, 0 = 2*l + 5*z + 45. Is -1*4*l/4 a multiple of 6?
False
Let v(b) = b**2 + 12. Let p = -7 + 7. Is v(p) a multiple of 8?
False
Is 15 + 4*(-1)/(-4) even?
True
Suppose 2*g + l - 15 = 2*l, 2*l = g. Does 6 divide g?
False
Let j = 39 + -7. Is 17 a factor of j?
False
Let h(j) = 2*j - 2*j**2 + 5*j**2 + 0*j + 4. Let i(q) = q**3 - 2*q**2 + 3*q - 3. Let y be i(2). Does 18 divide h(y)?
False
Suppose 69 + 51 = 5*b. Is 12 a factor of b?
True
Let c(r) = -r**3 + 7*r**2 + 6*r - 6. Does 12 divide c(7)?
True
Suppose 4*n - n - 6 = 0. Does 15 divide (-8 + -22)*n/(-4)?
True
Is 2 a factor of 1 + -1 - 32/(-8)?
True
Let p(c) = c**3 + 6*c**2 + c - 2. Let q(y) = y**3 + y**2 + 14. Let v be q(0). Let w be 20/70 + (-60)/v. Is p(w) a multiple of 13?
True
Let x = 12 - 9. Suppose -18 = -x*g + 18. Is g a multiple of 12?
True
Suppose -2*v - 12 = -t, -t - v = -4*t + 16. Suppose 0 = -6*z + t*z + 186. Let x = z - 63. Is 15 a factor of x?
True
Let k(l) = -2*l**3 - 3*l**2 + 5*l + 4. Let w be k(-3). Suppose 0 = 5*u - 4*u - 5. Suppose t - u*t = -w. Is t even?
True
Let k(d) = 4*d + 95. Is k(0) a multiple of 15?
False
Suppose -5*u + 104 = -106. Is 6 a factor of u?
True
Let q = 83 + -40. Let z = q + 12. Is 14 a factor of z?
False
Suppose 3*r = 2*j + 38, 2*r + 0*j + 2*j - 22 = 0. Does 11 divide r?
False
Let d = 63 + -27. Is (7/(-14))/((-2)/d) a multiple of 9?
True
Suppose -10*n + 460 = -8*n. Does 23 divide n?
True
Let m(g) = -7*g**2 - 4*g - 2. Let k = 3 - 6. Let v be m(k). Let d = -29 - v. Is d a multiple of 15?
False
Is 22 a factor of 10/(-65) - 2292/(-26)?
True
Suppose 8 = -2*c + 18. Suppose -c*o + 180 = -o. Is o a multiple of 10?
False
Let z(x) = 3*x**2. Suppose 0 = -4*q + 2 + 6. Does 12 divide z(q)?
True
Suppose -3*c + 23 = 5. Suppose -5*h = 15, 0 = -5*i - 4*h + c + 37. Is 7 a factor of i?
False
Let y(q) be the second derivative of q**4/6 + 7*q**3/3 + q. Does 20 divide y(-10)?
True
Suppose -q + 5*g + 23 = 0, 0 = -4*g - 6 - 14. Let b be -2*1 - 100/q. Suppose 2*i + 0*i = b. Does 15 divide i?
False
Suppose 8*h = 12*h - 16. Suppose -h*l - l = -60. Is l a multiple of 3?
True
Let a(m) = -m + 13. Let y be a(10). Suppose c - 12 = -3*t, -y*c = -3*t + t + 8. Let q = t - -3. Is 4 a factor of q?
False
Does 3 divide 2/4*-3*-2?
True
Let j(h) = 8 + h + 0*h + 6. Let u be j(-7). Let o(b) = -b**2 + 9*b - 8. Does 6 divide o(u)?
True
Suppose 5*f - 20 = 0, -2*f = 4*b - 0*f - 168. Is b a multiple of 20?
True
Suppose -123 = -3*h + q + 512, -5*h - 4*q = -1081. Does 10 divide h?
False
Suppose d - 28 = -x, 0*d + 2*x = 4*d - 112. Let i = 127 - d. Suppose -f - 2*f + i = 0. Is 11 a factor of f?
True
Let z be -1*((-45)/(-3))/(-3). Let r be (-8)/10*z/(-2). Does 11 divide 18 - r - (2 + -4)?
False
Suppose 0 = -z + 174 - 45. Is z a multiple of 28?
False
Let o = 53 + -39. Does 6 divide o?
False
Suppose -3*t + 423 = 114. Is t a multiple of 17?
False
Suppose -2*g = k - 4*k + 27, 3*k + 4*g = 9. Is k a multiple of 7?
True
Let q(h) = h**2 + 2*h - 25. Is q(-10) a multiple of 32?
False
Let l be 0 - 2/((-4)/14). Let m be 3*((-2)/(-3) + 0). Let f = l + m. Is 7 a factor of f?
False
Let s(m) = -m + 6. Let f be s(-6). Suppose -3*l + f = -2*l. Let g = l - -2. Is g a multiple of 10?
False
Is 2 + 67 - (-4 + 0 + 7) a multiple of 18?
False
Let c = -170 + 180. Is c a multiple of 4?
False
Let i(v) = 39*v**2 + v + 1. Is 9 a factor of i(-1)?
False
Let l(g) = -g**2 - 13*g - 11. Is 17 a factor of l(-9)?
False
Let s(i) be the first derivative of i**5/120 + i**4/6 + 2*i**3/3 + 1. Let a(w) be the third derivative of s(w). Is 9 a factor of a(5)?
True
Suppose -2*a + 4 + 14 = 0. Suppose 5*x - 227 = 148. Suppose a*y - x = 4*y. Does 11 divide y?
False
Is (-15)/35 - 5144/(-14) a multiple of 10?
False
Let r(n) = -9*n - 3. Is 21 a factor of r(-5)?
True
Suppose i - 5*i = 16. Let y(b) = -3*b + 6. Let a be y(8). Is i/18 - 562/a a multiple of 18?
False
Is 14/4*(0 + 6) a multiple of 17?
False
Let t = 18 + -27. Is 7 a factor of (t/6)/(2/(-20))?
False
Let v = 62 + -34. Let k = v + -16. Does 6 divide k?
True
Suppose 2*l + 45 = 1. Let k = l + 40. Is 8 a factor of k?
False
Let f = 65 + -24. Suppose -2*z - 2*z = -w + f, 2*w + 3*z = 27. Does 21 divide w?
True
Let w(g) = 2*g**3 + g**2 - 2*g + 2. Let c be w(2). Does 13 divide (0 - (-3 + 2)) + c?
False