0 = 0. Suppose f = b*f - 216. Does 23 divide f?
False
Let c(f) be the second derivative of -f**6/60 - f**5/120 + f**4/12 - f. Let w(n) be the third derivative of c(n). Does 24 divide w(-3)?
False
Suppose -3*k = -2*z + 102, -2*z - k + 102 + 0 = 0. Suppose 5*b - 5*x = 75, -2*x = 4*b + 3*x - z. Is b a multiple of 14?
True
Let x = -133 - -191. Let v be 4*(2 - 3/2). Suppose 0*g - v*g + x = 0. Does 8 divide g?
False
Let h(n) = -n**2 + 9*n - 7. Let d be h(8). Let x(g) = 34*g + 1. Is x(d) a multiple of 18?
False
Suppose -2*y + 0 = -10. Suppose 0 = -3*d, 22 = 2*p - y*d - 8. Is p a multiple of 12?
False
Let v(n) = n**2 + 6*n + 11. Does 34 divide v(-13)?
True
Suppose 2*y = -2, 3*f - 2*y + y = 505. Does 8 divide f?
True
Let a = 15 - 6. Let r be 173/(-3) - 3/a. Let j = 83 + r. Is 17 a factor of j?
False
Let s(g) = g + 10. Is s(0) a multiple of 6?
False
Let y be 142/4 + (-9)/6. Suppose b = 10 + y. Does 20 divide b?
False
Suppose 27 + 5 = -4*v + 5*u, -4*v + 2*u - 20 = 0. Let f = v - -2. Is 12 a factor of (2 - (f - -2))*15?
False
Suppose 5*s - 2*m + 333 = 1193, 3*s - 516 = 3*m. Is s a multiple of 43?
True
Is 8 a factor of 1 + 43 + -5 + -4 + 5?
True
Suppose -5*b + 148 + 32 = 0. Let v = b - 6. Is v a multiple of 15?
True
Let t = -28 - -60. Is 21 a factor of t?
False
Let n = 123 + -76. Is n a multiple of 4?
False
Let d = -19 + 29. Suppose -l + d = 1. Is 4 a factor of l?
False
Let w be 70 - (3 + (-3 - 1)). Let m = w - 32. Is m a multiple of 13?
True
Let u = -29 + 20. Does 19 divide (2 + u/6)*76?
True
Let m(s) = 7*s + 4. Suppose -t - d + 2*d + 2 = 0, -d + 28 = 4*t. Does 23 divide m(t)?
True
Suppose 8*k - 2*f - 36 = 3*k, -3*f + 9 = 3*k. Is k a multiple of 6?
True
Suppose 4*f - 93 - 111 = 0. Does 7 divide f?
False
Suppose -213 = -5*w + 4*s, -3*w + 86 = -w - 2*s. Suppose 4*k = -2*l - 70, -4*l - 5 = 3*k + 40. Let h = w + k. Does 9 divide h?
False
Suppose -4 = -5*b + 6. Let g(u) = 4*u + 3. Let j be g(4). Suppose 3*c = -b*x + 21 + j, 2*x = -c + 12. Is c a multiple of 7?
True
Let t(a) = -5 - a**2 + 0*a**2 - a + 7*a. Let d be t(4). Suppose -7*z + d*z = -48. Does 12 divide z?
True
Let c be (-1 + 0)*3 + 2. Let w(z) = 30*z**2 - z. Does 14 divide w(c)?
False
Let l(k) = k**2 + 8*k - 6. Is 14 a factor of l(-10)?
True
Suppose b + 4 = 134. Does 26 divide b?
True
Let j(t) = 30*t - 5. Let s(x) = -89*x + 16. Let a(w) = 7*j(w) + 2*s(w). Let q be a(4). Suppose q = 3*r + 2*r. Is r a multiple of 10?
False
Let r(c) = -15*c**2. Let y be r(1). Let l = 55 + y. Is 10 a factor of l?
True
Let q be 4/(-18) + 76/18. Suppose x - q*x + 135 = 0. Suppose 6*n - x = 3*n. Is n a multiple of 15?
True
Let l(x) = x**2 - 6*x + 5. Let u be l(5). Suppose o + 16 - 88 = u. Let n = o + -37. Does 16 divide n?
False
Let a(p) = -p + 19. Is a(-16) a multiple of 7?
True
Let r(i) = i**2 - 8*i + 8. Let x be r(6). Let s = x - -7. Suppose -2*g - 3*j + 18 = -j, 35 = s*g - j. Is g a multiple of 11?
True
Let v(i) = i + 1. Let a be v(1). Let u be (0 - -1) + 1 + -10. Does 10 divide u - -7 - a*-6?
False
Let s(f) = -9*f. Let k be s(-5). Suppose 5*a - k = 2*a. Is 15 a factor of a?
True
Is 1460/100 - (-2)/5 a multiple of 4?
False
Does 3 divide (18/2)/(1 + 0)?
True
Let i(c) = 2*c**2 + 6*c + 5. Is 13 a factor of i(-6)?
False
Let x(m) = 2*m + 22. Does 9 divide x(7)?
True
Suppose 4*a = 5*r + 2, -11 = 2*r - 5*a - 0. Suppose r*u = -2*u + 84. Is 7 a factor of u?
True
Let y(u) = 10*u - 5. Let l be y(8). Let i = l - 37. Does 19 divide i?
True
Let u(g) = -4*g - 19. Is u(-8) a multiple of 13?
True
Let a be -3 + -2 + 2 - 1. Let q be a/(-14) + (-36)/(-21). Suppose -2*f - q*f + 48 = 0. Is 6 a factor of f?
True
Let v = 3 + -3. Let r = 2 - v. Does 4 divide 1*((11 - r) + 2)?
False
Suppose -2*n - y + 4 = 0, -5*n = -0*n + 4*y - 4. Let g = n + 10. Is g a multiple of 14?
True
Does 32 divide (-2 - -127) + -3 + 6?
True
Let n(f) = 2*f**2 + 3*f + 1. Let s be n(-2). Is (-14)/(2 - s) + 0 a multiple of 14?
True
Let r be 15/(-9) + (-3)/9. Does 33 divide r/(3/111*-1)?
False
Suppose -z = -0*z - 1. Let a = 0 + z. Suppose -13 - a = -2*m. Does 7 divide m?
True
Suppose -h + 23 = -6. Is h a multiple of 21?
False
Suppose -61 = -3*c - 5*j, 0 = 2*c + 2*c + 5*j - 73. Is 6 a factor of c?
True
Let f be (-156)/(-10) + (-15)/25. Does 24 divide 729/f - 6/10?
True
Suppose 0*y = -y + 55. Suppose 5*t - 2*k + k - 50 = 0, -2*k = -5*t + y. Is 5 a factor of t?
False
Suppose 16 = 2*b - 4*c - 4, -40 = -b - 4*c. Suppose 4*v = -b + 272. Does 21 divide v?
True
Let f(c) be the first derivative of 10*c + 3*c**3 - 1/4*c**4 - 1 - 7/2*c**2. Does 7 divide f(8)?
False
Let u be 1*(0 + (1 - -2)). Suppose k - u = -2. Does 8 divide (-67)/(-4) - k/(-4)?
False
Let n = 300 - 159. Is 47 a factor of n?
True
Let y(p) = p**3 + 11*p**2 + p + 15. Let q be y(-11). Suppose 0 = q*n - 12, -g = -5*g - n + 107. Let b = -13 + g. Is 13 a factor of b?
True
Let p be 18*1*(-3)/(-9). Suppose -3*c + 2*c - p = 0. Is 21 a factor of c/1*-5 - -1?
False
Suppose j = -2*h - 16, 0 = 5*h - 0*j + j + 34. Let k = 23 + h. Does 6 divide k?
False
Let p = -144 - -336. Is 32 a factor of p?
True
Let v(z) = -z**3 + 115. Is 23 a factor of v(0)?
True
Let h(k) = 14*k**2 + 6*k + 4. Is 16 a factor of h(-2)?
True
Suppose 3*t - 2*t = -42. Does 16 divide -2*(-1)/((-4)/t)?
False
Let b(s) = 6*s - 21. Is b(13) a multiple of 19?
True
Suppose 34 = 5*n - 11. Does 15 divide (-12)/(-54) + 133/n?
True
Let m(v) = -3*v**2 + 2*v + 9. Let w(a) = -2*a**2 + a + 4. Let f(u) = 4*m(u) - 9*w(u). Is 13 a factor of f(-2)?
True
Let m be (-4)/(-2)*10/4. Let s(t) = m*t**2 - 3*t - 2*t**2 + 2*t. Does 2 divide s(1)?
True
Suppose -3*l - 8 = -5*l. Let d(u) = -u**2 + 4*u - 1. Let n be d(3). Suppose -2*o = -2*t + n*o + 72, l*t + o = 126. Does 16 divide t?
True
Let m(b) = 1 + 2 + 4*b + 4*b**2 - 10. Is 19 a factor of m(-5)?
False
Does 4 divide 3552/112 + (-4)/(-14)?
True
Suppose 0 = -f + 4*f + 6. Let n = f + 2. Is 1 - n - (2 - 29) a multiple of 14?
True
Let b = 66 + -10. Does 11 divide b?
False
Does 9 divide (-2 + 2*-1)/(9/(-90))?
False
Let u = -7 + 6. Let g = u + 4. Suppose -2*m - g*b + 21 = 0, -m + 3*b + 10 = 5*b. Does 7 divide m?
False
Let s(q) = 3*q**2 + 6*q - 1. Let f be s(-5). Let p = f + -14. Is p a multiple of 11?
False
Let g(s) = -s**3 + 21*s**2 + 8*s - 7. Is g(21) a multiple of 23?
True
Let v be 0/4 + 8 + -1. Let a(s) = -3 - s**2 + 0*s**2 + 12 + 7*s. Does 9 divide a(v)?
True
Suppose -2*a - 3*a = 425. Let o = a + 145. Is o a multiple of 20?
True
Let z = 16 + -1. Suppose -3*g - z = 0, 0*f + 3*f = -5*g + 2. Does 8 divide f?
False
Let q(r) = r**3 + 7*r**2 + 6*r + 4. Is 24 a factor of q(-5)?
True
Let g(c) = -2*c + 4. Let o be g(8). Let q be (-2 - -74)*(-2)/4. Let h = o - q. Is h a multiple of 12?
True
Let s(r) = -2*r**3 + 23*r**2 + 4*r + 10. Does 21 divide s(11)?
False
Let j = -24 - -40. Does 16 divide j?
True
Let k be (-1184)/(-10) - (-4)/(-10). Suppose 2*w + k - 1 = 5*j, -3*w - 3 = 0. Is j a multiple of 7?
False
Suppose 3 = -0*h - 3*h, 5*h + 89 = 2*y. Is y a multiple of 7?
True
Let c(t) = 6*t**2 + 2*t - 1. Let u be c(-2). Let d = u - 42. Let k = 54 + d. Does 11 divide k?
False
Suppose 3*q - 4*a - 33 = 0, -4*a - 22 = -2*q - 4. Does 10 divide q?
False
Suppose 0*q = -q - 5*v + 2, 5*q + 3*v + 34 = 0. Let c = q - -12. Is 3 a factor of c?
False
Suppose 4*f + 0*f = -40. Let s = -18 - f. Let y(a) = a**3 + 8*a**2 - 3*a + 4. Does 12 divide y(s)?
False
Is 12 a factor of 42/(-4)*(-4 + -4)*1?
True
Suppose 5*h + 0*h = 185. Let u = 61 - h. Is u a multiple of 10?
False
Let j be (-4)/(-10) + 104/(-10). Let b = 66 + j. Is 14 a factor of b?
True
Let b be ((-1)/1)/(-4 - -5). Let q(p) = -9*p**2 - 1. Let r be q(b). Is 2 a factor of (-26)/(-10) + 6/r?
True
Suppose -7*y + 2*y = 5*z - 1145, 2*z + 5*y = 464. Is 35 a factor of z?
False
Suppose -5*c + 0*c + 100 = 0. Is c a multiple of 20?
True
Suppose -f - 26 = 5*d, 3*f + 13 = d - 3*d. Does 3 divide (-11 + f)*(-3)/6?
True
Let v = 14 + 34. Does 12 divide v?
True
Let y = 2 - 9. Does 7 divide y*((3 - 1) + -3)?
True
Suppose 5*k - 18 + 3 = 0. Suppose 26 = k*r - r. Let c = r - -3. Is 5 a factor of c?
False
Let q(y) = -3*y + 7. Let l be q(8). Let n = 28 + l. Does 8 divide n?
False
Suppose 11 = -3*d + 47. Suppose -5*b + d = -4*b. Is b a multiple of 4?
True
Let a = 303 + -148. Is 15 a factor of a?
False
Let g(r) = 258*r**3 - r + 1. Let s be g(1). Su