-8)?
False
Suppose 4*y + 0*y - 4*x = -12, -3*x + 9 = 0. Let n(g) = -g**2 - 3*g + 6. Let v be n(4). Let j = y - v. Does 11 divide j?
True
Suppose 2*g + 9 = 5*g. Let r(q) = 11*q**3 - 2*q**2 + 1. Let u be r(2). Suppose -u = -g*s - 21. Is 10 a factor of s?
True
Let v(i) = -i. Let b be v(-2). Suppose 3*z + 8 = b, 5*z = -q - 8. Does 2 divide q?
True
Let l be (-75)/(-18) + (-2)/12. Suppose -c - c + 71 = 3*w, -150 = -l*c + 2*w. Does 13 divide c?
False
Let c(k) = -k**2 + 6*k - 9. Let v be c(9). Let m be (-100)/v - (-4)/18. Suppose 10 = m*z - 2*p, 0 = 2*z - 4*z - 2*p + 20. Is 5 a factor of z?
False
Suppose -783 = -2*x + 5. Suppose y = 3*q + 71, -5*y + x = q - 3*q. Suppose z - 3*z + y = 4*b, 0 = b - 4*z - 11. Is 12 a factor of b?
False
Let l = 5 - 1. Let w be 1/(l/(-2) - -3). Is (-2)/(0 + w/(-11)) a multiple of 11?
True
Suppose -b = b - 70. Let s = -20 + b. Is 5 a factor of s?
True
Let g(j) = -j**3 + 3*j**2 + 4*j + 4. Suppose -2*d = 3*d - 20. Let l be g(d). Suppose -w + 150 = l*w. Is w a multiple of 15?
True
Suppose -3*h + 756 = 4*h. Is h a multiple of 12?
True
Let c(n) = -n**3 + 6*n**2 + 5*n - 3. Is c(6) a multiple of 14?
False
Let q(a) = 2*a**2 - 6*a + 4. Is q(5) a multiple of 12?
True
Let m be 1*(-6)/(-3) - 4. Let y be 1/m*(-7 - -9). Is ((-16)/(-10))/(y/(-20)) a multiple of 14?
False
Suppose -4*n + 0*n + 68 = 0. Let j(z) = n - z + 18 - 9. Does 13 divide j(0)?
True
Suppose 0*j - 46 = 2*j. Let t = -11 - j. Is (2 + -41)*(-4)/t a multiple of 6?
False
Let w(x) be the third derivative of -x**5/60 - 11*x**4/24 + 4*x**3/3 + 3*x**2. Suppose -11 = -2*r - 33. Does 7 divide w(r)?
False
Let x(w) = -w**3 - 4*w**2 + 5*w - 7. Let m be x(-5). Let t = -2 - m. Suppose 5 = 5*n - t. Is n even?
True
Does 23 divide 2/4*3*42?
False
Does 12 divide (-106)/(-5) + 3/(-15)?
False
Let f be -1*3 + -1 + 3. Does 8 divide (4 + f)*(-16)/(-2)?
True
Let l = 395 - 200. Is l a multiple of 15?
True
Let w be 1/4 - 371/(-4). Suppose -3*l + 54 = -3*u, 5*u + w = 2*l + 2*l. Is 5 a factor of 144/14 - (-6)/u?
True
Let o be (12 - 0)*(-12)/(-9). Suppose -3*s - o + 103 = 0. Suppose 5*u - 53 = -4*c, -c = c + 5*u - s. Is c a multiple of 4?
True
Suppose j = -4*p + 23, 4*p - 4*j + 0 - 8 = 0. Let g = p + -3. Suppose -4*m - 184 = -4*l, 5*l - m = -g*m + 260. Is 17 a factor of l?
True
Let y(m) = 3*m + 1. Let d be y(3). Let j(c) = -c**3 + 10*c**2 + 3*c + 10. Is j(d) a multiple of 17?
False
Let y = 445 + -205. Is y a multiple of 16?
True
Let c be (13/4)/((-1)/(-4)). Let a be (13/(-4))/((-4)/(-16)). Let x = c - a. Does 11 divide x?
False
Let k = -34 - -71. Does 14 divide k?
False
Let o be 468/16 - (-2)/(-8). Let y = -17 + o. Let j = 18 - y. Does 6 divide j?
True
Suppose 2*a = -2*w + 18, 5*a + 3*w = 13 + 26. Does 28 divide 2 + 51 - a/(-2)?
True
Let k(s) = s + 2. Let z be k(0). Suppose 3*t - c - z = 2, 2*t + 2*c = 0. Does 11 divide (-4 + -40)*t/(-2)?
True
Let b = 7 - 9. Is 25 a factor of ((-58)/(-3))/(b/(-9))?
False
Let t = 11 + -7. Is (t/6)/((-2)/(-36)) a multiple of 12?
True
Let q(a) = -2*a**3 + 7*a**2 - 2. Let x(n) = n**3 - 7*n**2 + 2. Let w(z) = 2*q(z) + 3*x(z). Is w(-7) a multiple of 2?
True
Let d = 28 + 7. Does 7 divide d?
True
Let u = 4 + -1. Suppose 6*a = u*a + 39. Does 13 divide a?
True
Let i(b) = 288*b**2 - 4*b. Let t(k) = 72*k**2 - k. Let l(g) = -2*i(g) + 9*t(g). Is 16 a factor of l(1)?
False
Let q be (-2)/4 - (-5)/(-10). Let g be 0*q/(-2)*1. Let n(x) = -x**3 + x + 15. Is n(g) a multiple of 15?
True
Let j = 106 - -81. Is j a multiple of 11?
True
Suppose 6*n - n = 300. Does 30 divide n?
True
Let j(k) = k**3 - 7*k**2 + 7*k - 1. Let x be j(6). Let q = 10 + -2. Does 8 divide q/x*30/3?
True
Suppose -19*a + 23*a - 100 = 0. Is 5 a factor of a?
True
Does 2 divide 1/5*103 + (-8)/(-20)?
False
Suppose 3*i = -5*d - 236, -i = -5*d - 76 - 172. Let b = -20 - d. Suppose 3*g - b = t, 5 = -t - 0. Is g a multiple of 4?
True
Let h(t) = 25*t**2 - 2*t + 3. Is 17 a factor of h(2)?
False
Suppose -2*y - 3 = -3*y. Suppose 5*k - y*b = 45, -51 + 6 = -5*k - b. Is k a multiple of 6?
False
Let r(c) be the second derivative of -c**3/2 + 5*c**2/2 + c. Is 9 a factor of r(-6)?
False
Let g be (-10)/(-6) - 4/(-12). Let v be 20/25*5/g. Suppose 0 = -v*t + 9 + 83. Is 18 a factor of t?
False
Let j(f) = -f - 3. Let x be j(-6). Let l(z) = -z**2. Let n(t) = 6*t**2 - 3*t - 3. Let s(y) = 2*l(y) + n(y). Is 12 a factor of s(x)?
True
Let d(r) = 0*r**2 - 2*r + 10*r + 5*r**2 - 6*r**2 + 1. Let g = -7 + 11. Does 17 divide d(g)?
True
Let l(g) = 3*g**2 + 4*g + 2. Let u be (-1)/(0 - (-1)/5). Is l(u) a multiple of 20?
False
Let d(o) = -3*o**3 - 11*o**2 + 12*o + 7. Let p(u) = -7*u**3 - 23*u**2 + 25*u + 15. Let v(g) = 9*d(g) - 4*p(g). Is 10 a factor of v(6)?
False
Suppose -3*i + 208 = 2*c, -5*c + 355 = 3*i + 2*i. Is 14 a factor of i?
False
Let w = -9 + 9. Suppose 4*k + k - 75 = w. Is 5 a factor of k?
True
Suppose -3*j = 2*u - u - 717, -231 = -j - 3*u. Is j a multiple of 40?
True
Is (((-24)/5)/2)/(24/(-1600)) a multiple of 40?
True
Let m(r) = r**2 - r - 2. Let d(h) = h - 10 + 2*h + 6. Let c be d(3). Does 9 divide m(c)?
True
Let p(o) = -4*o - 8. Let k(h) = h - 1. Let v(t) = -2*k(t) + p(t). Is v(-5) a multiple of 8?
True
Let t(y) = -5*y**2 - 2*y - 4. Let a(c) = c**3 + 6*c**2 + c + 5. Let p(w) = -2*a(w) - 3*t(w). Is 10 a factor of p(-2)?
False
Let p = -109 + 165. Is 14 a factor of p?
True
Suppose 0 = t + 2*s + 2 + 4, -6 = -2*t + 5*s. Does 10 divide (31 - (0 - 2)) + t?
False
Let x(d) = 2*d**2 + 2*d - 1. Is x(5) a multiple of 8?
False
Let k = 4 - 6. Let w be k/(90/(-94) - -1). Is 7 a factor of w/(-7) + (-4)/(-14)?
True
Suppose -3*v + 7*v = -60. Let n = v - -21. Is 9/((n/(-20))/(-1)) a multiple of 14?
False
Suppose 3 - 15 = -3*u. Suppose -u*w + 9*w + 30 = 0. Is ((-4)/w)/((-10)/(-45)) a multiple of 2?
False
Let n(g) = g**3 + 4*g**2 + g - 4. Let t be n(-3). Suppose k = -0*k - 5, s - t*k = 11. Let u = 10 + s. Does 8 divide u?
False
Suppose 5*d - 5*m = 180 + 420, 0 = 3*d - 5*m - 370. Is 23 a factor of d?
True
Let w(x) = -x**3 - 9*x**2. Let q be w(-9). Let v(k) be the first derivative of -k**4/4 - k**3/3 + k**2/2 + 19*k + 1. Is v(q) a multiple of 8?
False
Suppose 6 = -3*i + 42. Let y(x) = x**3 - 12*x**2 - x + 16. Is y(i) a multiple of 2?
True
Suppose -13 = q - 4. Let k = q + 13. Suppose -2*b - 26 = -k*b. Is b a multiple of 9?
False
Let y(r) = 4*r**3 + r**2 - 2*r + 1. Suppose 2 = 2*t - 0*t. Let w be y(t). Suppose -w*v - 7 = -19. Does 2 divide v?
False
Let s(i) = -i. Let l be s(-6). Let y = -2 + l. Is (-2 + y)*-1 - -5 a multiple of 3?
True
Let n = 15 - 8. Let d(r) = r**2 - r - 2*r + 0*r + n. Is d(6) a multiple of 18?
False
Suppose 6 = 5*l - 2*l. Suppose c = -l*c + 48. Is c a multiple of 9?
False
Let b(n) = -n**3 - 3*n**2 + 4*n. Let i be b(-4). Suppose 4*u - 212 = -i*u. Is (u - 2)*(-2)/(-6) a multiple of 7?
False
Suppose -2*h - 5 + 15 = 0. Is h a multiple of 5?
True
Suppose 0 = -5*v + q - 371, 5*q = 2*v + 3*v + 375. Let c(l) = -2*l**2 + 10*l + 4. Let w be c(8). Let y = w - v. Is 15 a factor of y?
True
Let l be (-3)/4 - (-85)/(-20). Let y(v) = v**2 + 3*v + 1. Is 3 a factor of y(l)?
False
Let k(l) = l**3 - 6*l**2 - 2*l - 7. Let z = -7 - -12. Let u be k(z). Let b = u - -78. Does 18 divide b?
True
Let n(a) = a**2 + 26*a + 16. Is 11 a factor of n(-26)?
False
Suppose 37 + 73 = 5*c. Suppose -c + 52 = i. Is 10 a factor of i?
True
Let v = 3 + 26. Is v a multiple of 14?
False
Let u(b) = 2*b + 8. Is 20 a factor of u(6)?
True
Let x be 4/(-6) - (-144)/(-27). Let n = 9 + x. Suppose -n*s - s = -28. Does 3 divide s?
False
Suppose -d = -0*s - s + 14, -3*d - 2*s - 32 = 0. Let j(r) = 0*r**2 + r**2 - 16 - r + 11*r. Does 4 divide j(d)?
True
Suppose 4*v = 71 + 317. Suppose -4*f + v = -79. Is 18 a factor of f?
False
Let q be ((-2)/3)/((-4)/60). Let y(a) = -a**3 + 11*a**2 - 10*a + 7. Let u be y(q). Suppose -s + u = 1. Is s a multiple of 3?
True
Suppose 33 = t + 8. Does 25 divide t?
True
Suppose -5*z - 36 + 276 = 0. Suppose -a = -2*a + z. Does 12 divide a?
True
Let g(z) = -z - 20. Let n be g(0). Suppose -p = 5*w - 39, -3*w = -8 - 7. Let v = p - n. Is 12 a factor of v?
False
Is 19 a factor of 16/12*114/4?
True
Suppose -5*r + 2*r = 0. Suppose 5*m - 14 - 6 = r. Does 4 divide m?
True
Let y(i) = -i**3 - 9*i**2 - 11*i - 6. Let u be y(-7). Let x = -14 - u. Is x a multiple of 5?
False
Let i(w) = -3*w**