 19 a factor of m?
False
Let c = 2 + 0. Suppose -17 + 7 = -c*z. Is z a multiple of 4?
False
Let k(p) = p**2 + 74. Let u be k(0). Let g = u + -44. Is 15 a factor of g?
True
Let j(i) = -12*i + 23. Let n(y) = 18*y - 34. Let q(x) = -8*j(x) - 5*n(x). Is q(10) a multiple of 19?
False
Suppose 3*r + 2 = v + 5, 2*v + 6 = -5*r. Suppose -5*n - 10 + 115 = r. Does 13 divide n?
False
Let d(l) = 10*l - 5. Suppose 2*b - 3*p = -5*p + 8, -2*p = 0. Let y(o) = -o + 1. Let c(n) = b*y(n) + d(n). Is c(5) a multiple of 16?
False
Let z(l) = -l**3 + 11*l**2 - l + 12. Let t be z(11). Does 6 divide (-46)/(-8) + t/4?
True
Suppose n - 29 = -8. Is 7 a factor of n?
True
Suppose 0 = -c - 2*c + 522. Does 29 divide c?
True
Let i be 2*1 + (9 - 11). Suppose -4*v + 85 - 21 = i. Is 8 a factor of v?
True
Let h(y) = -2*y + y + 5 + 4 - 2. Let g be h(0). Let v = g - -8. Does 15 divide v?
True
Let y = 10 - 6. Suppose -3*m = -y*m + 2. Suppose m*z - 2*o = 30, -4*z + o + 80 = 2*o. Is z a multiple of 11?
False
Suppose -2*y + 5*h = -0*y - 24, 0 = -2*y + 4*h + 20. Is y even?
True
Suppose -3*q + 1 = -b - 0, 3 = 4*q - b. Suppose 0 = f - 2*g - 11, -3*f - 2*g + 11 = -q*f. Is 10 a factor of f?
False
Is (-1254)/(-45) - 4/(-30) a multiple of 10?
False
Let v(k) = -k**2 - 7*k + 3. Let r be v(-4). Suppose 0 = 5*c - 5 + r. Is c/(1 - -1) - -4 a multiple of 3?
True
Let b be (-4)/18 + (-168)/(-27). Suppose 0 = r - 0 - b. Is r a multiple of 3?
True
Suppose -3*f + 0 = 6. Let n be (2/(-5))/(f/50). Suppose -n = -5*b, 2*b = -4*x + 102 + 46. Does 18 divide x?
True
Suppose -1 = r + 3. Let z be -1*((-3)/1 - -2). Is 8 a factor of 60/r*z/(-1)?
False
Let o = -5 + 6. Let b(j) = 15*j**3 - 1. Is b(o) a multiple of 5?
False
Let o(t) = -3*t**2 - 2*t + 1. Let c be o(-2). Let y(m) = 11*m**2 - 5*m + 5. Let p(j) = 16*j**2 - 7*j + 7. Let v(w) = c*y(w) + 5*p(w). Is v(2) a multiple of 12?
True
Suppose -2*r - 5*z = 3*r - 515, 2*z = -3*r + 308. Let p be 1/(-2*2/(-24)). Suppose -r = -4*g - h, -p*h - 62 = -2*g - h. Does 13 divide g?
True
Suppose 0 = -4*l + 4*j - 8*j + 180, 0 = 2*l - 4*j - 72. Does 6 divide l?
True
Let z(k) = -k - 13. Let g(u) = -7. Let t(d) = 5*g(d) - 2*z(d). Is t(8) a multiple of 4?
False
Suppose -2*m + t + 80 = 0, 3*t = m + m - 80. Is 8 a factor of m?
True
Let r(o) = -8*o - 12. Does 18 divide r(-5)?
False
Suppose 12*m + 1285 = 17*m. Is 17 a factor of m?
False
Let g = 142 - 34. Suppose -3*q + 6*q = -186. Let p = g + q. Does 16 divide p?
False
Suppose 12*i + 214 = 13*i. Is i a multiple of 13?
False
Let z(d) be the first derivative of d**3/3 + 3*d**2/2 + 2*d - 1. Is 20 a factor of z(-6)?
True
Let y = 123 + -70. Let s = -36 + y. Is s a multiple of 12?
False
Suppose 5*q = 5*t - 60, q = -t + 6*q + 12. Is t a multiple of 4?
True
Suppose -9*t + 3*t + 156 = 0. Is 11 a factor of t?
False
Let y = 12 - 3. Suppose -240 = 4*r - y*r. Is 16 a factor of r?
True
Suppose 5*d + 57 = 5*c - 133, 44 = c - 4*d. Is 10 a factor of c?
False
Let v = -342 - -591. Is 39 a factor of v?
False
Suppose 2*r = 117 - 29. Is 9 a factor of r?
False
Is 23 a factor of (-2)/3 + 142/6?
True
Suppose -3*a = -2*v - 60 - 30, a + 4*v = 30. Is a a multiple of 30?
True
Let z(o) = -4*o**2 - 4*o + 3. Let i be z(2). Does 18 divide (-6)/i + (-2020)/(-35)?
False
Let h be 0 - 10 - 3/1. Let w = 35 + h. Is 11 a factor of w?
True
Let y(d) = -d**3 + 8*d**2 + 16*d - 43. Is y(8) a multiple of 17?
True
Let v(u) = u + 7*u**2 - 3*u**2 - u**3 + u**2 - 7. Let t be v(5). Is 14 a factor of ((-25)/t)/((-1)/(-2))?
False
Let m = 1 + -2. Let x(l) = -35*l**3 + 2*l**2 + l. Is x(m) a multiple of 11?
False
Let z = 65 + -36. Suppose -t - 5*l - 9 = -37, -z = -2*t - l. Suppose 4*v - 6 = 4*x - 22, -2*x - 3*v + t = 0. Is x a multiple of 2?
False
Let u = -17 - -14. Let t(o) = -3*o + 3. Let y(q) = -9*q + 8. Let v(k) = -11*t(k) + 4*y(k). Does 6 divide v(u)?
False
Let v = -16 + 26. Is v a multiple of 10?
True
Let f(j) = 5*j - 11. Is 14 a factor of f(10)?
False
Let k(g) = g**2 + g - 6. Let a be k(0). Let s be ((-3)/a)/(2/(-16)). Does 9 divide ((-2)/s)/(3/90)?
False
Let k = -118 + 42. Let z = 128 + k. Is 18 a factor of z?
False
Suppose -3*m = -7*m + 4. Let v(r) = -3 + 2 + 11*r + 8*r. Is 9 a factor of v(m)?
True
Let j = 0 - 2. Is 246/9 - j/(-6) a multiple of 10?
False
Let w be (-13)/(-4) + (-3)/12. Let o(g) = 6*g**2 - 3*g + 1. Let t(s) = -7*s**2 + 4*s - 1. Let r(b) = 6*o(b) + 5*t(b). Is r(w) a multiple of 9?
False
Is 17 a factor of (-152)/(-5) - (-2)/(-5)?
False
Suppose -9 = -3*k + 54. Does 12 divide k?
False
Suppose -j + 5*i + 23 = 0, 0 = j + j + i - 68. Suppose -3*z - 3*g + j = 0, 3*z - g = -2*z + 25. Suppose 3*b + 54 = z*b. Is 16 a factor of b?
False
Let s be -2*18*12/16. Let d = 44 + s. Does 13 divide d?
False
Let r(a) = a**2 - 17*a + 14. Let q be r(16). Is (-400)/8*q/5 a multiple of 5?
True
Suppose 4*u + 5*f - 227 = 0, -5*u - 2*f + 325 = -4*f. Does 7 divide u?
True
Let k be (-16)/(-6) + 3/9. Suppose 3*i + 3 = -3*h + 15, k*h - i - 4 = 0. Suppose -3*z + 37 = -4*m, -6*m = -z - h*m + 15. Is z a multiple of 9?
False
Let g(y) = 10*y**3 + 1. Let d be g(1). Suppose 5*q + d = 71. Suppose 3*r - 42 = q. Is 13 a factor of r?
False
Let a = -6 - -6. Let z(l) = 5*l**2 + 5*l + 2 - 7*l + l**3 + a. Is z(-3) a multiple of 16?
False
Let g be (-1*2)/(-2)*50. Suppose -g = -5*b - c, 22 = 3*b + c - 10. Let u(m) = -m**3 + 9*m**2 + m + 11. Is u(b) a multiple of 10?
True
Let u = 42 - -18. Does 20 divide u?
True
Let w be 64/((-6)/(-2) - 4). Let u = w - -109. Does 17 divide u?
False
Suppose 3*v - 42 = -2*y, -2*v = v - 3*y - 57. Suppose 0 = -5*l - 5, -2*i + 3*l = -l + v. Let a = i - -19. Is a a multiple of 6?
False
Does 18 divide -1 + 67 - (4 + 0)?
False
Let h be 111/(-2)*(-8)/6. Suppose 3*b = -15, y - 15 = -b + h. Is y a multiple of 17?
False
Let l(o) = 8*o + 6. Let q(m) = 3*m + 2. Let p(g) = 4*l(g) - 11*q(g). Let r be p(11). Is 8 a factor of (-50)/(-6) + 3/r?
True
Suppose -7*d + 29 = -146. Is d a multiple of 5?
True
Is (5/1)/((-5)/(-15)) a multiple of 4?
False
Let d be (-14)/21 + (-22)/(-6). Suppose -d*b - b = -l + 17, -l + 17 = -3*b. Is l a multiple of 13?
False
Let h be 5 + 6/(-9)*3. Suppose m - 15 = h. Suppose -2*r + m = -30. Is 7 a factor of r?
False
Suppose 3*s - 138 = 387. Does 27 divide s?
False
Let n(l) = 4*l**2 + 2*l + 2. Suppose 0 = v - 4*v. Suppose -t + 5*i + 23 = v, -2*t + 6*t + 2*i = -18. Is 5 a factor of n(t)?
False
Let h = -6 + 6. Suppose -c + 64 = 2*n, n - c + 2*c - 30 = h. Is n a multiple of 22?
False
Let n(x) = -x**3 - 7*x**2 - 4*x + 7. Let y be n(-6). Let b = y + 9. Suppose -4*t + b*u = -80, -u + 100 = 3*t + 2*t. Does 8 divide t?
False
Suppose l = 78 - 4. Does 19 divide l?
False
Does 5 divide (-2)/(-3) + -1 + 332/6?
True
Suppose -10 = 2*z + p, z + 2 = -0*p - 2*p. Let c(y) = y + 1. Let j be c(z). Let b(d) = d**2 + 3*d - 2. Is 7 a factor of b(j)?
False
Let x = -13 - -23. Let m be (2 - x/4)*0. Suppose 4*n + m*n = 108. Is n a multiple of 9?
True
Let m = -70 - -264. Does 13 divide m?
False
Suppose -o + s + 4*s + 170 = 0, -520 = -3*o + 5*s. Does 25 divide o?
True
Let p(s) = -1. Let z(a) = -2*a - 8. Let h(n) = -8*p(n) + z(n). Let o be h(1). Let w(u) = -4*u**3 + 2*u. Is w(o) a multiple of 11?
False
Suppose o - 3*x - 44 = -7*x, o = -3*x + 49. Suppose 5*y - y = o. Does 4 divide y?
True
Suppose -r + 2*h = 12, -r + 3*h - 20 = r. Let g(a) = a + 9. Let j be g(r). Suppose -55 = -j*v + 45. Is v a multiple of 10?
True
Let j(l) = l**2 + 5*l - 21. Is 38 a factor of j(-12)?
False
Is 14 a factor of (-1)/(-3) - (-7370)/66?
True
Suppose 3*h = -6*c + 2*c + 20, -h - 25 = -5*c. Does 4 divide 8 + (-2)/(-2)*h?
True
Let m be (1 - -2)/(-3) + 1. Suppose -4*d - 24 = -m*d. Is 13 a factor of (-74)/(-6) + (-4)/d?
True
Let b be 115 - (1 - -1)/(-1). Let v = b - 41. Suppose -4*r + 44 = -v. Is 15 a factor of r?
True
Suppose -3*s = z - 221, 9*s - 4*s - 4*z - 340 = 0. Let j = -7 - -12. Suppose -2*m + j*g = 20 - s, 0 = 3*m + 5*g - 78. Is 13 a factor of m?
True
Let k(i) be the second derivative of -i**4/12 + 3*i**3/2 + 7*i**2/2 + 3*i. Is k(7) a multiple of 14?
False
Suppose -7*u = -10*u + 315. Is u a multiple of 15?
True
Does 4 divide (2 - (-2)/(-2)) + 15?
True
Suppose -3*t = -12, t + 8 = 2*n + 3*t. Is 5 a factor of 14/(n - (-6)/3)?
False
Suppose t = -0 + 4. Suppose -m = t*m - 80. Is m a multiple of 6?
False
Suppose 5*p - 3 = k - 86, -2*k + 1