a multiple of 8?
True
Let i(b) = -43*b + 1. Let n be i(-3). Suppose -2*q + 4*q - n = 0. Is 12 a factor of q?
False
Let u(h) = -3*h - 3. Let j(x) = 3*x + 3 + 0 + 0. Let i(l) = -6*j(l) - 4*u(l). Does 14 divide i(-10)?
False
Let x = 50 - 27. Is x a multiple of 4?
False
Let m(l) = l**2 + 5*l + 2. Is 4 a factor of m(-9)?
False
Suppose -2*f = -0*f + 10, 0 = 5*n + 2*f - 215. Does 15 divide n?
True
Let j(u) = -u**2 + 6*u - 5. Let n be j(4). Let v = n - -24. Does 9 divide v?
True
Suppose -2*a + 6*a - 88 = 0. Is 3 a factor of a?
False
Let y = 28 + 14. Does 12 divide y?
False
Let v(l) = -l**2 + 3*l - 3. Let d be v(3). Is 7 a factor of (0 + 7)*d/(-3)?
True
Let j(x) = x**2 + 1. Let y(d) = -8*d**2 - d - 5. Let l(f) = -3*j(f) - y(f). Is l(-2) a multiple of 10?
True
Suppose 0 = 4*x + 5*l + 33, 0*x + l + 13 = -4*x. Let u be ((-2)/(x/3))/1. Suppose -o + u*w = -34, 5*w = 5*o - 57 - 63. Is o a multiple of 19?
True
Suppose -14*g + 3479 - 371 = 0. Does 27 divide g?
False
Suppose 0 = -x + 41 - 11. Let v = x - -15. Is 15 a factor of v?
True
Does 4 divide 1/(-3) + 184/12 + 4?
False
Suppose d - 2*d = 31. Let j = 1 - d. Is j a multiple of 16?
True
Is (-2)/(-10) + 695/25 a multiple of 11?
False
Suppose -4*j = -j - 18. Suppose j*l = l + 55. Does 9 divide l?
False
Suppose -s - 2*y = -100, y = -0*s - 2*s + 185. Is s a multiple of 30?
True
Let d(g) = -23*g**2 + 9*g - 1. Let c(b) = 11*b**2 - 4*b. Let y(j) = 5*c(j) + 2*d(j). Is 15 a factor of y(2)?
True
Let y(o) = -o**3 + o**2 + 37. Let w be y(0). Let t = w - 18. Is 19 a factor of t?
True
Suppose 7*z - 15 = 2*z. Suppose n - 25 = 2*n - 5*m, -z*m + 15 = 4*n. Suppose v - 6*v + 45 = n. Does 5 divide v?
False
Let f(y) = 3*y**3 - 3*y**2 - 2*y - 3. Let l be f(4). Suppose -4*j = x + 3*x - 140, -3*x + 4*j = -l. Let m = -11 + x. Is m a multiple of 14?
True
Suppose -7*i + 9 = -4*i. Let p be (6/5)/((-2)/(-180)). Suppose 0*h + p = i*h. Is 18 a factor of h?
True
Suppose 3*j - 175 = -5*i + 7*j, -5*j + 140 = 4*i. Suppose b - 3*m - i = -m, -m + 60 = 2*b. Is 17 a factor of b?
False
Let l(t) = 3*t - 2 + 3 - 4 + 3*t**2. Let x = -42 - -45. Is l(x) a multiple of 16?
False
Let c = 84 - 7. Does 17 divide c?
False
Suppose -m - 15 = -5*l, -5*l + 2*l = 2*m - 9. Suppose m = 5*h - 4*h - 4. Does 4 divide h?
True
Let z(c) = c**3 - 7*c**2 + c - 9. Let n be z(7). Does 3 divide ((-42)/(-9))/(n/(-3))?
False
Suppose 5*p + 12 = p, 0 = -2*w - 2*p + 4. Does 5 divide w?
True
Suppose 0 = 6*k - 266 + 50. Is 12 a factor of k?
True
Let d(t) = t**3 - 5*t**2 + 2*t - 7. Suppose -j + 1 = 5*g - g, g + 11 = j. Let v be 51/9 - 6/j. Does 3 divide d(v)?
True
Let s(i) = i**3 + i**2 + 11. Is s(4) a multiple of 7?
True
Suppose -4*i - 3*w = -47 - 426, 3*i = -w + 356. Let h = i - 79. Is h a multiple of 10?
True
Let v = 28 - -48. Does 18 divide v?
False
Suppose 4*m = 291 + 1. Is m a multiple of 19?
False
Let n = 51 + -27. Let w = 40 + -26. Is 10 a factor of (-4)/(n/w - 2)?
False
Let x = 154 - 89. Is 18 a factor of x?
False
Suppose -95 = -5*u - 3*r + r, 57 = 3*u - 4*r. Is 2 a factor of u?
False
Suppose -2*t + 201 = t. Is 18 a factor of t?
False
Let w(x) = x**2 - 6*x - 8. Let v = 14 + -6. Is w(v) a multiple of 3?
False
Let u be (-33)/9 + (-1)/3. Let g = u + 20. Let z = g - 3. Is 13 a factor of z?
True
Suppose -m + 2 = 0, -3*m - 1 + 7 = -5*t. Suppose t = 3*p - 15 - 60. Is p a multiple of 15?
False
Suppose 8 = 4*i + d - 5*d, 4*i - 8 = d. Suppose i*c - 46 = -6. Is c a multiple of 8?
False
Is 35 a factor of (27 + 1)*(-150)/(-40)?
True
Suppose -103 = -3*z + 4*o + 35, 2*z + o = 103. Does 25 divide z?
True
Suppose 9*k + k = 1110. Does 30 divide k?
False
Suppose -3*s - 82 = 2*r, -2*r - 52 = 2*s + 26. Let o = 52 + r. Does 17 divide o?
True
Let o(l) = -3*l - 6. Let f be o(-4). Suppose 2*d - 33 = -3*u, -57 = -3*d - f*u + 3*u. Let z = 34 - d. Does 4 divide z?
False
Let f be 4/(-6) + 22/6. Suppose 3*t - 13 = -2*m, -f*m + 4*t = -5*m + 16. Suppose 0*n + m*n - 198 = -3*q, q - 74 = 2*n. Does 19 divide q?
False
Let s(t) = -t + 16. Let n be s(8). Let j = -2 + n. Does 6 divide j?
True
Suppose 4*i = 5*t - 313, 3*t - 59 = 2*t - i. Is 12 a factor of t?
False
Let o(z) = -z + 2. Let y be o(-2). Let j(k) = y*k**3 - 2*k + 1 + 1 + 4*k - 3*k**2. Is 13 a factor of j(2)?
True
Let k(d) be the first derivative of d**4/4 + d**3 + d**2/2 - 3*d - 3. Let l be k(-3). Let n = 11 + l. Is n a multiple of 5?
True
Let m(c) = -7*c + 1. Let p be m(5). Let b = 54 + p. Does 12 divide b?
False
Let w = 1 + -1. Suppose -4*v = -w*v + 4. Is 21/(-5)*(-4 + v) a multiple of 11?
False
Let q = 126 + -72. Does 20 divide q?
False
Suppose 0 = -5*t + t + 8. Suppose -6*a + 16 = -2*a. Suppose t*y + 64 = a*y. Is y a multiple of 16?
True
Let y = 95 + -63. Does 8 divide y?
True
Let h be 26/(-12)*4*-9. Suppose 5*k - 265 = 5*r, 0 = -2*r - 0*r - 5*k - h. Let i = -33 - r. Does 11 divide i?
False
Suppose 3*q - 15 = -2*q. Suppose -q*n - 4*k = 14, 2*n + 0*n = 3*k + 19. Suppose -2*z + 4 = 2*u, 5*z - 26 = n*u + u. Does 2 divide z?
True
Let u be (-1)/(-4) - (-10)/(-8). Let r(z) = -z - 1. Let g(f) = -11*f + 1. Let p(a) = g(a) + 2*r(a). Is 9 a factor of p(u)?
False
Does 9 divide -3 - (-2 - -4 - 66)?
False
Let h(s) = s**2 - 2*s - 1. Let n be h(3). Does 8 divide 3/n*(-16)/(-3)?
True
Suppose 3*o - 110 = -y, 4*y = -7*o + 3*o + 152. Is o a multiple of 36?
True
Let t(l) = -23*l + 4. Does 16 divide t(-4)?
True
Suppose -t = -2*t - 4. Let d = t - -10. Is (10/3)/(d/18) a multiple of 5?
True
Suppose -3*a - u + 9 = -19, 5*u = -a + 14. Let h(j) = j**2 - 8*j + 4. Does 13 divide h(a)?
True
Suppose -5*q + 119 = -181. Let d = q + -33. Is d a multiple of 9?
True
Does 12 divide (-3)/7 + ((-2196)/(-28) - -2)?
False
Suppose -8*h + 828 = -1188. Is h a multiple of 18?
True
Suppose 112 + 260 = 6*c. Does 10 divide c?
False
Let c = 2 - 4. Is 14 a factor of -4*(-1)/c - -21?
False
Let g(l) = -l**2 - 2*l - 2. Let y be g(-3). Let s be ((-6)/8)/(y/20). Suppose 88 = s*w - w. Does 22 divide w?
True
Let m be 0 + (-1 - (3 + -10)). Suppose 2*z = 4*z - m. Is 0 + 9/z - -21 a multiple of 21?
False
Let q(x) be the second derivative of x**4/12 - x**3/6 + 3*x**2/2 + 3*x. Let k be q(0). Suppose 2*p + 10 = k*p. Is p a multiple of 8?
False
Let h = 0 - 2. Let m = 1 - h. Suppose 0 = -r - 2*r + m, 4*c - r - 143 = 0. Does 13 divide c?
False
Suppose 2*b + 0*b + 19 = a, a - 25 = -b. Is 7 a factor of a?
False
Let k be 127/3 + (-2)/(-3). Let t = -20 + k. Is t a multiple of 10?
False
Let m = 1714 + -901. Let p be m/21 + (-4)/(-14). Let j = p - 17. Is j a multiple of 9?
False
Suppose 5*c - 65 = -0*c. Is 3 a factor of c?
False
Let t(b) = -b**2 - 18*b - 12. Is t(-12) a multiple of 20?
True
Let y(o) = -o - 5. Let w be y(-3). Let h be w/3 - (-12)/18. Suppose -n = z - 43, n = 3*z - h + 23. Is n a multiple of 19?
True
Suppose 1 = l - 1. Suppose 0*f + 22 = l*f. Is f a multiple of 11?
True
Suppose -4*j + 2*j = 0. Suppose j = 3*h + h - 44. Does 7 divide h?
False
Let o(h) = -22*h**2 + 1. Let r(k) = 67*k**2 - 3. Let n(t) = -7*o(t) - 2*r(t). Suppose -l - 4*w = 2*l - 23, -l + 2*w = 9. Does 10 divide n(l)?
False
Is ((-4)/2 - -3)*100 a multiple of 34?
False
Let l be (28/(-5))/(2/(-5)). Let k = l - 4. Is k a multiple of 10?
True
Suppose 0 = -5*s + 2*s - 6, 0 = -k + 5*s + 13. Let j(p) = 5*p**3 - p**2 - 2*p + 4. Let t be j(k). Let o = t - 86. Does 18 divide o?
False
Let x(p) = 4*p**2 - 2*p + 3. Does 3 divide x(2)?
True
Suppose 2*i + 4*s = 5*s + 56, -i + 2*s = -28. Is 7 a factor of i?
True
Let t = 115 + -98. Does 12 divide t?
False
Suppose -9*w = -13*w + 640. Is w a multiple of 40?
True
Suppose -2*a - 2*a = -16. Suppose -a*m = -2*w + 32, -4*w = -4*m - 4 - 56. Is 7 a factor of w?
True
Suppose 0*g = -2*g + 100. Suppose l - g = -l. Is l a multiple of 13?
False
Let x = 69 + -37. Suppose 5*p - 54 = 4*q, 2*q = 3*p - 2*p - 24. Let w = q + x. Is w a multiple of 13?
False
Let s = 9 - 7. Suppose s*x - 31 = 5. Does 18 divide x?
True
Suppose 13*c - 12*c = -21. Is (-270)/(-4)*(-28)/c a multiple of 30?
True
Let a be 3/9 + 4/6. Suppose -4*f + a = -19. Suppose -4 = -f*s + 71. Does 15 divide s?
True
Let s(h) = -h**2 + 2. Let r(y) = -y**2 - y + 1. Let b(u) = 5*r(u) - 6*s(u). Suppose x - 13 = -2*l - l, l = -3*x + 23. Is 7 a factor of b(x)?
True
Suppose 4*v - 101 = -k + 121, 2*k - 4 = 0. Suppose -v = -7*s + 2*s. Is s a multiple of 7?
False
Let n(v) =