 - 2. Let s be q(-4). Let g(i) = s*o(i) + z(i). Does 21 divide g(1)?
True
Suppose -102 = -0*l - 3*l. Does 9 divide l?
False
Suppose -6 = 4*v - 18. Is 14 + (v - 9)/2 a multiple of 11?
True
Let z = -82 - -115. Does 4 divide z?
False
Suppose 0*s + 4*u + 6 = s, -9 = -s + 3*u. Suppose m = s + 4. Does 9 divide m?
False
Suppose 4*c = -5*k + 551, -5*c = -9*k + 8*k - 725. Is 24 a factor of c?
True
Let u = -70 - -142. Is 24 a factor of u?
True
Let o = 16 - 1. Is o a multiple of 8?
False
Suppose 0 = -5*y + 5, -2*r - 2*y + 9 = -7. Let x(q) = -1. Let t(h) = h**2 - 10*h + 9. Let w(f) = -t(f) - 2*x(f). Is w(r) a multiple of 5?
False
Let x = -17 + 79. Is x a multiple of 7?
False
Suppose -k + 2*q = 3*k - 60, 0 = -k + 3*q + 20. Is k a multiple of 7?
True
Suppose -46 - 114 = -2*n. Let a = -43 + n. Suppose 3*k + 1 - a = 0. Is k a multiple of 6?
True
Suppose 3*m + 0*m = 60. Suppose -m = 5*c - 180. Is c a multiple of 8?
True
Suppose -2*a + 193 = -175. Does 42 divide a?
False
Suppose l = 5*g + 1, -2*l = -4*l - 3*g + 15. Suppose w - l - 14 = -s, -12 = 3*w. Is s a multiple of 8?
True
Let h(b) = 6*b**2 + 7*b + 19. Is h(-8) a multiple of 11?
False
Let i(q) = 3*q**2 + 6*q + 5. Suppose w + 2*w = -18. Is 22 a factor of i(w)?
False
Let v be (-2)/7 + (-19)/7. Let c = 18 - v. Does 2 divide 38/14 + 6/c?
False
Let t = 9 + -8. Is ((-16 + t)/1)/(-1) a multiple of 11?
False
Is 19 a factor of 77 + (75/5)/5?
False
Suppose 4*z - 152 = -0*z. Is z a multiple of 15?
False
Suppose -2*y = 2*y - 16. Let d = -14 + y. Let p = 2 - d. Does 12 divide p?
True
Let a(r) = -14*r - 60*r + 2*r. Is a(-1) a multiple of 24?
True
Let j(y) = -y**3 - y**2 + 2*y + 169. Is 13 a factor of j(0)?
True
Let x = 1 + -2. Let l = 1 - x. Suppose l*y + 16 - 44 = 0. Does 7 divide y?
True
Does 14 divide 9/(45/20) + 52?
True
Let k(x) = -x**3 + 4*x**2 + x + 1. Let a be k(4). Suppose -4*w + 53 = 5*b, 3*w + a*b - 16 = 20. Does 14 divide w?
False
Suppose x = -2*x + 12. Let g = x + -2. Suppose -3*q = g*q - 160. Is 11 a factor of q?
False
Suppose 0*r + 22 = 2*r. Is r a multiple of 3?
False
Suppose -g + 0 - 2 = 0. Is -1 - 10*1*g a multiple of 19?
True
Suppose 2*s - 4 = 2*f, -4*f + 5*f = -2*s + 13. Suppose 5*i - 60 = -z + 6*z, 3*z = s*i - 70. Does 13 divide i?
False
Let v(j) = 2*j**3 + 1. Let o be v(1). Suppose o*l + l = 56. Is 14 a factor of l?
True
Let a be (-1 - 2)*-1 - 0. Suppose p - 4*x = 5*p - 104, -a*p + x + 82 = 0. Does 6 divide p?
False
Suppose u - 223 = 12*k - 16*k, -3*u = -k + 59. Is 4 a factor of k?
True
Is 5*3*(9 - 8) a multiple of 15?
True
Let m = 7 - 4. Suppose 3*t - v + 194 = 6*t, 0 = 2*t + m*v - 127. Is t a multiple of 20?
False
Suppose 4*h - 2*v + 0*v = 2, 3*h - 14 = -v. Suppose 0*k - h*k + 60 = 0. Does 20 divide k?
True
Let h(b) = -3*b**3 + 13*b**2 - b - 2 + 2*b**3 - 5*b**2. Is h(6) a multiple of 16?
True
Let j = 56 - 28. Is 28 a factor of j?
True
Let c = 19 + 29. Does 13 divide c?
False
Suppose -3*k - 4*q = -108, -2*k + 9*q - 6*q + 89 = 0. Is 10 a factor of k?
True
Does 9 divide 31 + 2*(-2)/4?
False
Let d(p) = 3*p**2 + 8*p + 21. Is 4 a factor of d(-5)?
True
Suppose 2*w = 5*w - 285. Let h = w - 40. Let n = h - 13. Is 17 a factor of n?
False
Let l = 120 - -14. Suppose 5*x = -g + l + 9, 3*x + 3*g - 93 = 0. Is 14 a factor of x?
True
Suppose -q - 2*x = -79, -4*q = -0*x + 4*x - 328. Let f = q + -61. Suppose f = k - 4*j, 3*k - 17 - 5 = 2*j. Does 3 divide k?
False
Suppose -9*v = -8*v + 4*f - 188, -4*v + 812 = 4*f. Does 52 divide v?
True
Suppose 0 = i - 2*j, -5*i + 0*j + 5*j = -10. Suppose 4 = i*y - 4. Suppose 27 = y*b - 73. Is b a multiple of 25?
True
Suppose 2*y + 5*z - 18 = 0, -z = -4*y + 11 + 47. Is 14 a factor of y?
True
Let f(v) = v + 2. Let g be f(3). Suppose -g*m = -2*m - 96. Does 11 divide m?
False
Let p be ((-544)/12)/((-4)/6). Suppose 4*c - 180 - p = 0. Is c a multiple of 18?
False
Is 2 a factor of 70/28*32/10?
True
Let d(q) = 1 + q**2 - 2 - q + 3*q. Let s be d(-3). Suppose 0 = -5*n + s*n + 78. Is n a multiple of 13?
True
Let c be 3/((-9)/84)*-3. Suppose j - 5*j = c. Is 79/7 - (-6)/j a multiple of 10?
False
Let k be 5*2/2 - 1. Suppose -z - 99 + 5 = -k*p, -z = 2*p - 44. Is p a multiple of 23?
True
Let n = 17 + 15. Does 16 divide n?
True
Let q(c) = c**2 - 4. Is 15 a factor of q(-7)?
True
Suppose 0 = 6*h - h - 30. Let s = 21 - h. Is s a multiple of 4?
False
Let r(c) = -c**2 + 3. Let z be r(-2). Let n = 36 + z. Is n a multiple of 7?
True
Suppose 15 = -i + 4*i. Suppose -i*g = -g. Suppose 3*y - 2*y - 13 = g. Is 7 a factor of y?
False
Is 3 a factor of 10/((-6)/(-4) + 1/2)?
False
Suppose 3*s - 3*k + 9 = 6*s, 0 = 2*s + 3*k - 8. Let g be 36/(-4) - (s - 1). Let o = g + 21. Is 6 a factor of o?
True
Let u = -6 - -11. Is u a multiple of 5?
True
Let h = 20 - 10. Suppose -u + 4*n - 6 - 8 = 0, 5*u - 5*n + h = 0. Is 5 a factor of (-1 + 11)*1/u?
True
Suppose -8 - 19 = -n. Does 9 divide n?
True
Let y(n) = n**3 + n**2 + 6. Is y(0) a multiple of 5?
False
Suppose -18*d + 135 = -15*d. Is 3 a factor of d?
True
Is 40 a factor of (-2)/(-6) - (-239)/3?
True
Suppose 0 = 3*w - 9, 0 = 4*l - 5*l + 3*w + 56. Is l a multiple of 12?
False
Let x = 54 + -34. Does 4 divide x?
True
Let w = 19 - 19. Suppose -5*p = -w*p - 20. Is 4 a factor of p?
True
Let m = -16 - -31. Is m a multiple of 5?
True
Let l(a) = -5*a**2 - 8*a + 5. Let m(c) = 4*c**2 + 9*c - 5. Let d(b) = -3*l(b) - 4*m(b). Is d(-9) a multiple of 16?
True
Is (4 + 48/(-15))*35 a multiple of 4?
True
Let i(w) = w**2 - 3*w - 4. Does 11 divide i(-5)?
False
Suppose 7 + 6 = p. Let h = -9 + p. Suppose -8 = h*x, -x - 7 - 9 = -v. Is 14 a factor of v?
True
Let h(n) = -n**2 + 5*n + 6. Let d be h(5). Suppose -d*l + l = q - 140, -3*l - 3*q = -84. Is 14 a factor of l?
True
Suppose -2*u + 2*b = -336, 5*b = b - 12. Suppose -u = -4*g - 29. Is 9 a factor of g?
False
Let n(g) = g**3 - 5*g**2 - 5. Let t be n(5). Let x(y) be the second derivative of y**5/20 + y**4/3 - 7*y**3/6 - 2*y**2 - 2*y. Does 6 divide x(t)?
True
Let s(t) = -18*t**2 + t. Let m be s(1). Let h = m - -37. Is 8 a factor of h?
False
Let w(m) = 4*m**2 - m - 2. Is w(-2) a multiple of 8?
True
Let q be 74/14 - 8/28. Suppose 113 = 2*l + q*o, 0 = -3*l + 4*o - 28 + 232. Does 10 divide l?
False
Let d(q) = -2*q + 4. Let i be d(-8). Let s = i - 14. Does 7 divide (-44)/(-6) + (-2)/s?
True
Suppose 2*x - 4*s = -9*s + 126, -4*s + 315 = 5*x. Suppose -12 = h - z - 87, h + 3*z - x = 0. Is 24 a factor of h?
True
Suppose -18*j + 2*j = -2464. Does 13 divide j?
False
Let y(k) = -k**3 - 7*k**2 - 5. Let f be y(-7). Let q be (-2)/(8/(-12)) + 7. Is q*(10/(-4))/f a multiple of 2?
False
Let a = 48 - 31. Suppose -4*f - g + a = -30, 0 = f + 4*g - 23. Is f even?
False
Suppose 0 = 4*b - 2*b - 152. Is b a multiple of 10?
False
Let y(r) = r**2 + 7*r + 6. Let s be y(-6). Suppose s - 14 = -2*j - z, 0 = j - 4*z - 16. Does 8 divide j?
True
Suppose 4*a + 2*l - 24 = 0, l = 5*a + 2*l - 27. Suppose a*x - 245 = 185. Suppose 5*c + x = 4*d + 256, -c - 2*d + 48 = 0. Is 13 a factor of c?
False
Suppose u = 4*n - 290, -2*n + 151 = -u + 5. Let q be (112 - 2) + (1 - -1). Let w = q - n. Is 16 a factor of w?
False
Let r(x) = 0*x + x + 3 + 4*x. Is r(4) a multiple of 23?
True
Let q be (-3)/(-12) - (-30)/8. Let i(t) = -t**3 + 4*t**2 + 4*t. Let a be i(q). Is 11 a factor of 3/3*2 + a?
False
Suppose 15*j = 11*j + 20. Suppose i - 19 = -0*b + 3*b, -4*i - j*b - 9 = 0. Is i even?
True
Is 18 a factor of 1 - (-21 - (-16)/4)?
True
Let m(q) = -q**2 - 9*q - 5. Let j be 76/(-10) + (-4)/10. Let i be m(j). Let n = i + 15. Is 12 a factor of n?
False
Let n(v) = 2*v**3 - v**2 + 1. Let j be n(1). Suppose -3*c - 469 = -5*f + 7, j*f - 5*c - 179 = 0. Suppose -23 = -3*s + f. Is 15 a factor of s?
False
Is 7 a factor of 196/16 - 1/4?
False
Suppose 0*h - 4*h = 8, -44 = -w + h. Let s be (-1700)/(-70) + (-4)/14. Is (w/s)/((-1)/(-12)) a multiple of 10?
False
Suppose 8 = 4*m, -3*p = m - 4 + 2. Let t(x) = -x. Let q be t(p). Let r(h) = -h**3 + h**2 + 42. Does 14 divide r(q)?
True
Let q be 168/(-20)*60/(-9). Let l = q - 34. Does 5 divide l?
False
Does 11 divide 3 + 1/((-2)/(-76))?
False
Let f(m) = -m**3 - m**2 - m. Let n(w) = -4*w**3 - 7*w**2 - 10*w + 3. Let i(v) = 5*f(v) - n(v). Let b be i(3). Does 3 divide (10/6)/(b/9)?
False
Suppose -5*b = -183 - 22. Does 6 divide b?
False
Let p(q) = -10*q - 10. Does 30 divide p(-12)?
False