ivide (o - -4)/(-2) + 49/1?
False
Suppose -83 = -10*j + 37. Is 12 a factor of j?
True
Let l(b) = b**3 - 6*b**2 - 2*b + 5. Let d(t) = -t**3 - 10*t**2 - 2*t - 14. Let m be d(-10). Let x be 14*1*3/m. Is 10 a factor of l(x)?
True
Let x = 591 - -500. Is x a multiple of 6?
False
Suppose -2*f - 17 + 250 = -5*y, f = 5*y + 124. Is 38 a factor of f?
False
Let z = -27 - -27. Suppose g = -z*g + 77. Is g a multiple of 48?
False
Suppose 3*j - 640 = -27*r + 25*r, 4*j + r = 860. Does 22 divide j?
False
Does 11 divide (-189)/(-35)*(-330)/(-6)?
True
Let l(b) = b**3 + 22*b**2 - 6*b - 31. Let q be l(-21). Suppose -4*f + q = -2*x, -3*f + 544 = f - 4*x. Is f a multiple of 22?
True
Let p = -2388 + 4635. Is 125 a factor of p?
False
Is 22175/19 + 1 - 398/3781 a multiple of 7?
False
Suppose 318 - 44 = 2*g. Does 15 divide (-1 + -1)/(-2)*g?
False
Let t(p) = p**3 + 7*p**2 + 9*p + 3. Let n be t(-6). Let d(r) = 2*r - 5. Let z be d(1). Is ((-70)/n)/((-2)/z) a multiple of 3?
False
Let p(d) = -30*d**3 + 2. Is p(-2) a multiple of 22?
True
Suppose 0 = b + 206 - 723. Is 48 a factor of b?
False
Is 2/(-7) + 5088/21 - -6 a multiple of 3?
False
Let u be 15/10*332/6. Suppose 0 = -f + k - 5*k - u, 0 = -5*f - 2*k - 379. Let o = 141 + f. Does 22 divide o?
True
Suppose 4*i + 4*a = 516, -a - a = -4*i + 510. Suppose m = 2, d - i = 3*m + 12. Is 23 a factor of d?
False
Suppose 3 = -3*r, -r = -g - 2*g + 55. Suppose l - g = -5*l. Suppose 0 = k + l*k - 304. Is k a multiple of 36?
False
Is 41/123 - (-608)/3 even?
False
Let f(l) = l**2 + 6*l + 25. Is f(-27) a multiple of 37?
True
Let s(u) = u**3 - 10*u**2 - 17*u - 17. Let p be s(14). Let w = p + -358. Is 25 a factor of w?
False
Suppose 1376 = 4*b + 3*i, -7*i + 3*i = 0. Is b a multiple of 43?
True
Suppose i - 325 = -3*z, -917 - 763 = -5*i - 4*z. Does 17 divide i?
True
Let h = 56 + -32. Does 8 divide (-206)/(-8) + 2*(-9)/h?
False
Let d(o) = -9 - o**3 - 7*o**2 - 6*o + o - 4*o. Suppose 8*u = 3*u - 30. Is d(u) a multiple of 6?
False
Suppose -4*b - 3*o = -24, -5*o + 3*o = 3*b - 18. Suppose b = p - 33. Is p a multiple of 7?
False
Let q(n) = n**2 + n. Let w be q(-2). Suppose 0*h - 22 = -h - 3*b, 0 = -3*h + 3*b + 66. Suppose -s = -w*s + h. Is s a multiple of 22?
True
Let v = 4 - 11. Let p(j) = j**3 + 7*j**2 - 8*j + 4. Is p(v) a multiple of 15?
True
Let b(d) = 12*d - 7 - 1 + 1. Let f be b(5). Let n = f - 21. Is 13 a factor of n?
False
Let d = -727 - -1574. Is 7 a factor of d?
True
Suppose -y = -3*p + 3 + 1, -4*y = 16. Suppose 4*i + 4*f - 140 = p, 3*i + 4*f = i + 68. Is i a multiple of 7?
False
Let i = -152 - -321. Suppose 25 = -3*b + i. Is b a multiple of 18?
False
Does 40 divide ((-160)/(-6))/((-3)/(-54))?
True
Let c be 2/(-1 + -1) + 4 - 37. Let y = c - -52. Is y a multiple of 3?
True
Let j be 2/(3/((-30)/(-4))). Suppose -20 = j*t - 0*t. Let f(i) = -2*i**3 - 4*i**2 + 3*i - 7. Is 15 a factor of f(t)?
True
Let o = -17 - -17. Suppose 2*r = 4*t, -2*r - 3*t + 7 + 0 = o. Suppose 92 = 6*f - r*f. Is 9 a factor of f?
False
Let n = 10 + -7. Suppose 3*q - 140 - 130 = 0. Suppose 0*p + 4*p = -2*f + 60, 0 = -n*f - 5*p + q. Does 10 divide f?
True
Let n(t) = 3*t. Let b be n(1). Let w be (b/9)/((-2)/(-66)). Suppose 2*m - w = -2*d + 7*m, 2*d + 3*m = 35. Is d a multiple of 13?
True
Let z = 1354 + 406. Is z a multiple of 31?
False
Let s = 13 - 18. Let l = 7 + s. Suppose -l*f = -7*f + 170. Is f a multiple of 9?
False
Suppose -149*n + 117900 = -18*n. Does 2 divide n?
True
Let c(l) = -l**3 + 12*l**2 - 1. Let s be c(12). Let m(w) = -1. Let o(g) = 3*g - 15. Let d(x) = s*o(x) + 15*m(x). Is d(-10) a multiple of 21?
False
Suppose 5*a + 3*t - 1742 = 0, -5*a + 0 = -5*t - 1750. Suppose 0 = 4*g - a - 139. Does 24 divide g?
False
Suppose 2*h - 2*c = 2 - 8, 15 = 3*c. Is 35 - (-3)/(-5 + h) a multiple of 27?
False
Let o(c) be the first derivative of -c**4 + c**3 + 3*c**2/2 - 2. Let z be o(3). Let v = 107 + z. Is v a multiple of 13?
False
Let r(j) = -3*j**2 - 11*j + 24. Let l be r(-10). Let v = -94 - l. Does 36 divide v?
True
Let u = 498 + -407. Let p = -178 - -114. Let r = u + p. Is 18 a factor of r?
False
Let j be (-30)/((-2)/(-8) + -1). Suppose j = -z + 3*z. Is z a multiple of 11?
False
Is 3 a factor of 354/10*(-5)/10*-10?
True
Let n(h) be the third derivative of 1/4*h**4 - 3/2*h**3 + 0*h + 0 + 7*h**2. Does 9 divide n(6)?
True
Suppose 10 = 5*p + 30. Let k(j) = j**2 + 7*j - 7. Let l be k(-9). Let c = p + l. Does 4 divide c?
False
Let o = -84 - -896. Suppose 7*c - o - 343 = 0. Is c a multiple of 15?
True
Let b = 9 - 21. Suppose p + 22 = -0*p. Let s = b - p. Is 5 a factor of s?
True
Suppose -18*u + 14*u = 4. Let c(m) = 67*m**2 - 2*m - 3. Is 22 a factor of c(u)?
True
Let f = -85 + 136. Let l = f - 21. Is l a multiple of 15?
True
Is 10 a factor of 11590/40 - (-1)/4?
True
Let s = 269 + -186. Suppose 5*n = n - 4*m - 80, s = -4*n - 5*m. Is 16 a factor of (-1)/(-2 - -3) - n?
True
Suppose 0 - 292 = -4*i. Let f = i - 36. Is f a multiple of 13?
False
Suppose -15 = -5*v, 4*o + v + 810 = -v. Is 7 a factor of o/(-18) + 3/(18/4)?
False
Suppose -2*y + 1059 = -9*h + 12*h, -5*y + 2664 = 2*h. Does 36 divide y?
False
Let z = 13 + -19. Let d = z + 12. Suppose d*w - w + 4*n = 98, 3*n - 79 = -4*w. Is w a multiple of 11?
True
Suppose -2*y + 5*a + 8 + 35 = 0, -5*y = 5*a - 20. Suppose -2*k - 4*x = -28, k - 4*x - y = 11. Suppose 2*n = -5*z + 15, n + 3*n = 4*z + k. Is 2 a factor of n?
False
Let h(a) = -a**3 - 19*a**2 - 14*a + 67. Let j be h(-18). Let x(c) = -7 - 3*c + 20 - 4*c. Is 24 a factor of x(j)?
True
Suppose 5*g = 10*g + 5*t - 70, t + 46 = 4*g. Is 8 a factor of g?
False
Let x = 0 + -4. Let r be (-42)/2 - (1 + x). Is 17 a factor of 142/6 + 12/r?
False
Let p be 10 + (-3 - 0 - -2). Suppose -5*c + 2*c + p = 0. Is c even?
False
Let h(b) = 12*b**2 + 9*b - 13. Is h(3) a multiple of 47?
False
Suppose -3*h - 5*t - 731 + 2465 = 0, -5*t = -h + 598. Does 11 divide h?
True
Let j = -1733 + 3893. Does 9 divide j?
True
Suppose 5*v = 445 + 35. Let j = v - 55. Let r = j + -6. Does 9 divide r?
False
Let j = 11 - 14. Let b(z) = -4*z**3 - 3*z - 9. Does 18 divide b(j)?
True
Let p = -195 + 1266. Is 81 a factor of p?
False
Let l(d) = 2*d**2 - 15*d + 13. Is l(11) a multiple of 18?
True
Let d(l) = -16*l - 466. Is 30 a factor of d(-46)?
True
Let w(i) = -13*i + 23. Let q be w(-9). Suppose -n + 4*s + 8 + 132 = 0, q = n - 2*s. Does 35 divide n?
True
Let d(g) = 0 + 2*g - g**2 + 24 - 9. Is d(4) a multiple of 4?
False
Let g(r) = -r**3 + 43*r**2 - 164*r - 38. Is 8 a factor of g(38)?
False
Suppose 21*d + 36 = 27*d. Suppose -d*t + 193 = -107. Does 10 divide t?
True
Suppose i - 2*y - 316 = 0, -y = 4*y. Suppose -40 = -4*c + i. Is 25 a factor of c?
False
Let h(m) = -m**2 - 15*m - 13. Let j(v) = 2*v**2 + 31*v + 25. Let u(a) = -7*h(a) - 4*j(a). Let p = -13 - -6. Is u(p) a multiple of 16?
False
Suppose -11*o + 5*o + 4446 = 0. Is o a multiple of 25?
False
Suppose 0 = -3*t - 5*f + 3*f + 898, 0 = -5*t - 5*f + 1500. Suppose -t = -5*s + 332. Suppose 0 = u + 2*u - s. Does 15 divide u?
False
Let l = 1298 - 744. Does 6 divide l?
False
Let s(t) = t**2 - t - 1. Suppose y - 10 = -a, 2*a + 3*y = a + 18. Let k(h) = h**3 - 7*h**2 + 8*h - 5. Let u be k(a). Is s(u) a multiple of 6?
False
Suppose 3*h + 19 = 1. Let d be h/2 + 17/1. Suppose p - d = 7. Is p a multiple of 6?
False
Suppose 7*j = 3*j. Suppose -3*y + 3 + 6 = j. Is 6 a factor of y + -3 + 22 + -4?
True
Let v be -3 - 220/((-12)/(-3)). Let a = 66 - v. Is 31 a factor of a?
True
Let z be -3 + -6*(-5)/10. Suppose t + 21 - 25 = z. Suppose 60 = -0*a + t*a. Does 4 divide a?
False
Suppose -2*b + 3*h = -6*b + 58, 5*h + 42 = 4*b. Is b a multiple of 13?
True
Suppose -4*y = -4*k + 103 + 69, -y = k + 41. Let g = 70 - y. Is 13 a factor of g?
False
Let o(y) = 28*y**3 - 2*y**2 - 2*y. Is o(2) a multiple of 12?
False
Let a be (-67)/2 - 2/(-4). Does 11 divide (-4 - 0)/(3/a)?
True
Let v be (-85)/(-17) - ((-4)/(-2) + -2). Suppose v*r - 416 = 3*r. Is 13 a factor of r?
True
Let r(d) = d. Let x(n) = 7*n - 2. Let p(a) = 4*r(a) - x(a). Let l(u) = -u + 1. Let y(w) = 6*l(w) - 3*p(w). Is y(6) a multiple of 6?
True
Let u(g) = -110*g**3 - 4*g**2 + 5. Is 23 a factor of u(-3)?
False
Let v = 819 + -491. Is v a multiple of 17?
False
Suppose z = 259 + 352. Is z a multiple of 9?
False
Let v = 20 + -18. Suppose v*o - 133 - 79 = 0. Does 36 divide