es 36 divide i(-40)?
True
Is 19 a factor of (-10697)/(-38) + (-2)/4?
False
Suppose -16*g - 141 = -2861. Does 12 divide g?
False
Suppose 2*o + 3*o = -5*z + 770, -o + 149 = 2*z. Let b = -76 + o. Suppose b = -5*v + 383. Is v a multiple of 10?
True
Suppose j + 25 = 30. Suppose l = 2*f + 5*l - 366, -732 = -4*f - j*l. Is f a multiple of 28?
False
Suppose -2*f = -3 + 5. Let h(g) = -g - 1. Let w be h(f). Suppose w = -3*d + 47 + 94. Is d a multiple of 17?
False
Suppose -7*n + 112 = -49. Does 23 divide n?
True
Let l(h) = 2*h**2 + 7*h - 12. Let z be l(-11). Suppose 7*n - z = 29. Is n a multiple of 13?
True
Let c(v) = -12 + v - v**2 + 44 - 8*v**3 - 20*v**3 + 27*v**3. Suppose 4*r = 5*r. Is c(r) a multiple of 26?
False
Let f(k) = -6*k + 47. Let w(b) = 2*b - 16. Let t(p) = 3*f(p) + 8*w(p). Let m be t(6). Let v = 2 + m. Does 3 divide v?
True
Let w(b) = -b**2 - 6*b - 5. Let g be w(-4). Let y(j) = -j**3 + 5*j**2 + 15*j - 5. Let o be y(7). Suppose 3*n = 4*s + g, 3*s - 19 = o*n - 4*n. Is n even?
False
Let r be -102 + (-1 - -2) + -3. Let a = r + 153. Let x = a - 25. Does 12 divide x?
True
Let a(w) = -w**3 + 8*w**2 - 7*w + 5. Let z be a(7). Suppose 4*s = -3*b + 1, -z*s - 1 - 12 = -b. Is 2 a factor of (-8)/12*27/s?
False
Suppose -1 + 15 = 7*y. Let t(x) = 37*x + 2. Does 4 divide t(y)?
True
Let x(f) = -f**2. Let y(b) = -b**3 - 2*b**2 + 4. Let j(v) = -3*x(v) + y(v). Let c be j(0). Is 4 a factor of (1/(-2))/(c/(-48))?
False
Suppose -4*f = 4, 0 = 4*l - 2*f + 4*f - 114. Does 6 divide l?
False
Suppose 20 = 4*x - 4*a, 3*x + 2*a - 10 = -0*a. Suppose -388 = -4*n + 4*i, 5*n - 175 = -x*i + 328. Does 36 divide n?
False
Let k = -872 - -1877. Does 6 divide k?
False
Let k = -556 - -1678. Is k a multiple of 33?
True
Suppose z + 11 = 3*r, 7*r - 4*z = 3*r + 12. Suppose 127 = 3*l - l - 3*k, -r*l + 287 = 5*k. Is l a multiple of 22?
False
Suppose 3320 = 5*w - x, x + 392 + 272 = w. Is 82 a factor of w?
False
Let l(k) = -k**3 - 7*k**2 + 13*k + 11. Suppose -5*s + s = -2*x + 32, 0 = 4*s + x + 38. Does 14 divide l(s)?
True
Let c be 12*(-4 - (-1 + -4))/(-2). Does 37 divide (-1 - -19)*(8 + c) - -1?
True
Let o(u) = 11*u - 5. Let n(m) = 2*m + 4. Let a(d) = 2*d - 16. Let r be a(8). Let h be n(r). Does 11 divide o(h)?
False
Suppose 0 = -2*q - 2*u + 4062, -16*u - 2029 = -q - 18*u. Does 19 divide q?
True
Let u(g) = -12*g**3 + 2*g**2 - 2*g - 7. Is u(-3) a multiple of 11?
True
Suppose 0 = 5*h - 8*h + 9. Let a(q) = q**2 + 14*q + 10. Let c(d) = -d**2 - 14*d - 9. Let y(b) = h*a(b) + 4*c(b). Does 17 divide y(-10)?
True
Let k(n) = -2*n + 8. Let x be k(7). Is x/9 - 29/(-3) even?
False
Let g(p) = p**2 - 6*p - 5. Let a be g(8). Suppose 6*c - a*c = -40. Is -2*(-12)/c + 46 a multiple of 10?
False
Let f = 34 - 32. Suppose f*d + 4 = 126. Is d a multiple of 11?
False
Let r be (-1)/(2/(-56)) + 2. Let k be 4/(-10) - (-1632)/r. Suppose -k = -3*z - 5*t - 5, 0 = -z + 3*t - 7. Does 5 divide z?
False
Let z = -1 - -19. Suppose 4*d + 0*d = -4*j + 4, j - 5*d - 25 = 0. Suppose 2 = j*g - z. Does 2 divide g?
True
Let p be (-5)/(5/9) + -6 + 5. Let l(v) = 5*v**2 - 2*v**2 + 0*v**2 - 2*v**2 + 7*v + 18. Does 21 divide l(p)?
False
Suppose -g = 13*g - 8190. Is 15 a factor of g?
True
Suppose -2*u + 2*c + 72 = 0, -6*u + 172 = -u + 3*c. Is 8 a factor of u?
False
Let p(c) = -2*c**2 + 6*c + 24. Is p(0) a multiple of 8?
True
Is (-289)/68*(0 - 196) a multiple of 90?
False
Suppose -54*k - 3*q = -57*k + 2034, 0 = 5*k - 2*q - 3381. Does 42 divide k?
False
Let m = 51 + -60. Does 14 divide 14/5*(m - -24)?
True
Suppose 2*k - 2*r - 386 = -2*k, -2*r = 2*k - 208. Suppose 2*a - k = -a. Is a a multiple of 11?
True
Let i be (-25)/(-2) + (-2)/4. Let f = i + -12. Does 6 divide -6*(2 + f - 3)?
True
Is -2 - (-2700)/8 - (-11)/22 a multiple of 24?
True
Let l be ((-1)/(-2))/(19/95)*-2. Let y(o) = 3*o**3 - 4*o**3 - o - 9 + 0*o - o**2 + 0*o**2. Is y(l) a multiple of 32?
True
Let x = -2045 - -3935. Is 21 a factor of x?
True
Suppose -2*x - 49 - 25 = 2*y, 3*x = -2*y - 76. Let d = 81 + y. Is d a multiple of 23?
True
Let j = -70 + 117. Is 7 a factor of j?
False
Suppose 2*m + 5*b - 161 = 0, 2*m = m + 4*b + 87. Let z = m - 43. Is 15 a factor of z?
False
Let i(d) be the third derivative of -7*d**5/120 + 4*d**3/3 - 4*d**2. Let b(r) be the first derivative of i(r). Is 14 a factor of b(-3)?
False
Is 1*(6 - -97) - -1 a multiple of 13?
True
Let a = 19 - 17. Suppose 1 = -a*y - 1, 5*c = -5*y. Does 4 divide -10*(-3)/6 - c?
True
Let j(h) = -12*h**3 + 2*h**2 + 3*h. Let z be j(-2). Suppose -5*v = 27 + z. Let r = v - -37. Is 6 a factor of r?
True
Suppose 0 = -2*v + v + 210. Suppose -v = 4*i - 7*i. Does 10 divide i?
True
Let l = 93 - -167. Is 8 a factor of l?
False
Let p be 0/((2 + 4)/(-3)). Suppose p = -y - 4*a + 19, y - 3*a - 10 = 23. Is y a multiple of 9?
True
Suppose -2*l - 122 = -0*l + 4*j, 2*l + 120 = -2*j. Let i = -35 - l. Does 13 divide i?
False
Let r = 3515 + -1732. Is r a multiple of 17?
False
Let k(f) = -4*f**2 + 31*f - 23. Let y(a) = -7*a**2 + 61*a - 45. Let q(w) = -5*k(w) + 3*y(w). Is 21 a factor of q(17)?
False
Suppose -85 = -5*s + 3*r + 2*r, -3*r + 33 = s. Is s a multiple of 7?
True
Suppose -5*p - 11*p = -13440. Is 20 a factor of p?
True
Let y = 434 - -286. Is y a multiple of 9?
True
Let u(i) = -i**2 - 2*i + 4. Let f(k) = -k. Let t(q) = 5*f(q) - u(q). Is t(7) a multiple of 6?
True
Suppose 5*d + 13 = -2*k, 0*k - 14 = k + 4*d. Suppose -5*q = -3*r - 68, 3 = -k*r + 3*r. Is q a multiple of 7?
False
Suppose -4*w + 4*l = -27 - 9, w - 11 = 3*l. Suppose w*r = 2*r + 1050. Does 41 divide r?
False
Let u(y) = 9*y + 8. Let q be u(8). Let n = 44 - q. Is 21 a factor of (112 - 1)*(-12)/n?
False
Suppose 43*v - 49*v = -8670. Does 55 divide v?
False
Suppose -10 + 5 = 5*m. Let j = m + -4. Is (-99)/(-6) - j/10 a multiple of 6?
False
Let c(z) = 9*z**2 - z - 1. Let l(h) = -h**3 - 3*h**2 - 3*h - 3. Let j be l(-2). Let w be c(j). Suppose s + w = 4*s. Is s a multiple of 3?
True
Is (-21*1)/(((-8)/192)/1) a multiple of 14?
True
Suppose -2*i - 5*y + 547 = 0, -3*y + 355 = 3*i - 461. Suppose 4*z + 5*q = i, 377 = 5*z - 4*q + 69. Is 37 a factor of z?
False
Suppose 2*v + 96 + 122 = 0. Let l = v + 35. Let p = l - -149. Is 15 a factor of p?
True
Suppose -18*s = -15*s + 3*b - 522, -5*s = b - 890. Is 2 a factor of s?
False
Let c(k) = k - 2. Let p be c(6). Let u = 4 + -4. Suppose -72 = -p*s - t, u = -4*s + 3*t + 51 + 21. Is s a multiple of 6?
True
Suppose -840 = -3*h + 177. Is h a multiple of 16?
False
Let h(z) = z**3 - 6*z**2 + 14*z - 8. Suppose 6 = 2*k - k. Does 33 divide h(k)?
False
Let v = 122 - 18. Does 26 divide v?
True
Let n be ((-12)/8 - -3)/((-2)/(-4)). Suppose 2*i = 2*w - 130, -w - 110 = -n*w - 2*i. Does 10 divide w?
True
Let s be 3/(15/(-2)*(-1)/20). Is 430/s - 4/(-16) a multiple of 18?
True
Let k be 4/(1*(0 + 1)). Suppose 3*d - 705 = -k*j, -j = -4*d + 59 - 259. Is 12 a factor of j?
True
Suppose -3*f - 516 = j - 2249, -7002 = -4*j + 2*f. Does 92 divide j?
True
Suppose -15*g + 13*g + 3*s = -702, -2*s - 1043 = -3*g. Is 23 a factor of g?
True
Let m be 2/(51/12 + -4). Let v(y) = y**3 - 6*y**2 - 9*y + 9. Is 8 a factor of v(m)?
False
Let l(h) = h**3 + 8*h**2 - 10*h - 7. Let f = 14 + -23. Let k be l(f). Suppose -3*d + 170 = k*d - 5*o, 4*d - 144 = 2*o. Is d a multiple of 11?
False
Let o(f) = -30*f**3 + 3*f**2 - 2. Suppose -4*s = -5*p - 17, 4*p - 2 + 18 = 4*s. Is o(p) a multiple of 5?
False
Let s(a) = 4*a**2 - 1. Let o be (-4)/8 - (-1)/((-4)/(-18)). Does 8 divide s(o)?
False
Let f be (-3)/6*(-2 - 4). Is 2 a factor of (18 - 2) + ((-12)/f - -1)?
False
Let l(c) = 4*c**3 + 3*c**2 + 16. Does 68 divide l(6)?
False
Let c = 40 + -41. Is ((-16)/10 - c) + 11960/100 a multiple of 17?
True
Let x(o) = -o**3 + 3*o**2 + 2*o - 10. Let c be x(7). Let h = 386 + c. Does 10 divide h?
False
Let b = -93 + 97. Suppose -151 = -b*z + 5. Is 6 a factor of z?
False
Let w be (-14)/(-3) - (-1)/3. Let j be (7 + -11)*-3*1/2. Suppose i - j = w. Is i a multiple of 7?
False
Suppose 4*t - 20 = 0, -x - 69 = x + 5*t. Is 14 a factor of -5 - 0/4 - x?
True
Let d(s) = s**3 - 4*s**2 - 2*s + 4. Let h be d(4). Let a be (-1)/h + (-1176)/(-32). Suppose -k - 1 + a = 0. Is 12 a factor of k?
True
Suppose -2*k = 5*k - 21. Suppose -g = -0*g + a - 54, k*a = 4*g - 251. Is g a multiple of 8?
False
Let g = 28 - -2. Does 22 divide (2 - 66/g) + (-662)/(-10)