+ 37*z**3/3 - 9*z**2. Is s(0) a multiple of 15?
False
Suppose -6*j - 16 = -2*j + 4*u, -2*j = -4*u - 16. Suppose -5*g + 596 = i, j*g - 4*g + i = -484. Let r = g - 47. Does 19 divide r?
False
Let r = -313 + 559. Does 23 divide r?
False
Is 40 a factor of 3/1 - (-1090 - (7 - 13))?
False
Let t be 7 - (13/6 + (-6)/36). Let i(w) = -w**3 + 8*w**2 - 5*w - 9. Let r be i(7). Suppose -m = -5*m - 3*k + 37, -r*m + t*k = -90. Is m a multiple of 13?
True
Let k(r) = 2*r**3 + r**2. Let x be k(1). Suppose -4*m + 40 = 4*h, -2*h = -x*m + 10 + 20. Is m a multiple of 2?
True
Suppose 4*n - 2*b + 4 = 0, 3*b = -5*n + 3 + 3. Let l be 9 - -5*20/(-25). Suppose -l*w - f + 243 - 61 = n, -3*w = -5*f - 98. Is 10 a factor of w?
False
Suppose 3*q = -2*v + 12, -2*v = -q - 3*v + 5. Suppose -360 = -q*t - 3*t. Is 14 a factor of t?
False
Let p be (-2)/3 - 56/(-12). Suppose -5*u + p = -16. Does 4 divide 1/(-3*u/(-396))?
False
Suppose -4*v - v + 2*b = -76, -4*v + 3*b + 65 = 0. Suppose w = -18 + v. Let q = w + 17. Does 2 divide q?
False
Let z be (-4 + 7)*(2 + 16/(-12)). Suppose -2*s + 810 = 3*i, 2*i - 559 = 7*s - z*s. Is 16 a factor of i?
True
Let b(g) = 2*g**2 - g + 7. Let d be b(-7). Suppose 4*l - d = -q, 16 = l - 2*q - 12. Is 7 a factor of l?
True
Is (-16)/(-12) - 26*(-7)/3 a multiple of 31?
True
Let c(z) = -15*z**3 + 5*z**2 + 3*z - 3. Is c(-3) a multiple of 16?
False
Suppose 0 = -0*n - 2*n. Suppose -3*j = -n*l - 2*l - 593, 3*l + 4*j + 932 = 0. Is (-2)/4*l/8 a multiple of 3?
False
Let n(w) = w**3 - 9*w**2 - w + 13. Suppose 4*f - 1 - 6 = h, h + 2*f = 17. Let i be n(h). Suppose 5*l + 0*l = -2*m + 525, l - i*m = 105. Does 35 divide l?
True
Suppose 4*h - 873 - 1203 = 0. Is h a multiple of 12?
False
Suppose 4*x + 4*p = 16, 0*x + 3*p = -4*x + 14. Suppose -6*i + 11*i + 1247 = 4*q, x*i + 622 = 2*q. Does 32 divide q?
False
Let o(b) = -b**2 + 1. Let m(p) be the first derivative of -p**3 - 9*p**2/2 + 8*p - 8. Let k(y) = m(y) - 2*o(y). Is k(-8) a multiple of 2?
True
Let o(x) = -x + 3. Let t be o(3). Is 17 a factor of 11/22*(t - -166)?
False
Let n be 1/2 - 6*159/(-12). Let r = 112 - n. Is 16 a factor of r?
True
Let h(d) = -6*d + 13. Let n be h(4). Does 4 divide 16/(-3)*(5 + n)?
True
Let y = 190 - 10. Suppose 4*u = 5*b + 144, -10*u = -5*u + 2*b - y. Does 8 divide u?
False
Let y = 121 + -33. Does 8 divide y?
True
Let q(g) = 662*g**3 - 4*g**2 + 2*g + 1. Is 8 a factor of q(1)?
False
Let b = 0 + 1. Let y be 3 + (b - 0/3). Suppose -y*h - i + 1 + 82 = 0, 2*i - 26 = -h. Does 10 divide h?
True
Let d(o) = -64*o - 3. Let l be 1*4*(-2)/4. Is d(l) a multiple of 10?
False
Let q = 430 - 219. Is q a multiple of 6?
False
Suppose 19*q + 11*q = 9000. Is 10 a factor of q?
True
Let z(g) = 3*g**2 + 2*g + 1. Let d be z(-1). Suppose -b = 5, d*b = 3*j - 26 - 11. Is 5 a factor of j*1 + (-1 - -2)?
True
Suppose 1 = -2*j + 3, 3*b + 4 = j. Is (83 - b - 0) + 3 a multiple of 40?
False
Let c = 14 + -9. Suppose 326 + 364 = c*d. Is d a multiple of 35?
False
Let p(n) be the first derivative of -3*n**2/2 + 13*n + 8. Is p(-13) a multiple of 23?
False
Let y be (-2 + -1)*1 - -7. Suppose 3*t + 52 = 4*i - 2*t, t - y = 0. Suppose -i = 3*l - 6*l. Is 2 a factor of l?
True
Let c = 209 - 293. Let n be (c/5)/((-2)/10). Suppose n = 2*x + 4. Does 12 divide x?
False
Let d(p) = p**3 - 9*p**2 + 3*p + 2. Let w be d(6). Let s = 87 - w. Is ((-12)/10)/((-10)/s) a multiple of 14?
False
Let f(m) = m**3 + 12*m + 31. Let h(p) = 3*p**3 - p**2 + 37*p + 94. Let v(l) = -7*f(l) + 2*h(l). Is v(-5) a multiple of 29?
False
Let j = 705 - 612. Is j a multiple of 31?
True
Suppose 3*h = 5*h - 6. Is (-6)/(-15) - (143/(-5) - h) a multiple of 8?
True
Let p(d) = d**3 - d**2 + 348. Is 29 a factor of p(0)?
True
Let s be 64/20 - 4/20. Suppose 3*z + 4 + 105 = t, -121 = -t - s*z. Is 6 a factor of t?
False
Suppose 4*n - 633 + 138 = t, 0 = -5*n + 2*t + 615. Suppose 9*k = 91 + n. Does 8 divide k?
True
Let k(x) = x**3 + 3*x**2 + x - 12. Does 45 divide k(3)?
True
Let i be (-188)/6 - (-1)/3. Let f = 61 + i. Does 3 divide f?
True
Let k = -158 - -345. Does 18 divide k?
False
Suppose -2*c + 31 = 2*a + 13, -c = 5*a - 29. Suppose -c*x + 202 = 3*t, -4*x + 3*t = -t - 188. Is x a multiple of 9?
False
Suppose 29*p = 42*p - 18655. Is p a multiple of 35?
True
Suppose 0*p + 6 = -2*p - 5*v, -3*v = 3*p + 9. Let o(j) = j + 6. Let s be o(p). Suppose -s*w + n - 4*n + 30 = 0, 2*w = 4*n - 4. Is 6 a factor of w?
True
Suppose -4*x + 8*x = 352. Let m = x + -41. Is m a multiple of 20?
False
Let j = 17 - 14. Suppose 0 = -2*d - 0*m + j*m - 15, 2*d = -m + 5. Suppose -4*s - s + 240 = d. Does 12 divide s?
True
Let t(u) = -u**3 + 23*u**2 - 41*u + 16. Is t(16) a multiple of 9?
True
Let r(f) = f**2 + 23*f - 249. Is 19 a factor of r(-35)?
True
Suppose -13*y + 11*y + 468 = 0. Is 9 a factor of y?
True
Suppose -5*w + k = -2*k + 71, 4*k = 4*w + 52. Let j = -11 - w. Suppose -j*u = -35 - 335. Does 16 divide u?
False
Suppose -502 = 4*t + t - 4*o, -2*t - 205 = -3*o. Let x = t - -146. Is 6 a factor of x?
True
Suppose 10*m + 2214 = 6584. Is 8 a factor of m?
False
Suppose 3*u = u - 16. Let q be ((-174)/u)/(3/16). Suppose 2*c + c = 3*k - 180, 2*k - 3*c - q = 0. Does 16 divide k?
True
Suppose 54 + 76 = 5*h. Let q be ((-10)/6)/(2 + 35/(-15)). Suppose 3*b - h + q = 0. Is b a multiple of 4?
False
Let p = -4153 - -9519. Does 16 divide p?
False
Suppose 2*z - 854 = -3*b, 3*b = 5*b - 4. Does 53 divide z?
True
Let l be 23/(-3)*30/(-10). Let u(a) = -4*a + 1. Let h be u(3). Let v = h + l. Is v a multiple of 7?
False
Let w = 791 + -221. Suppose -3*v = -4*j - 516, 4*v - w = -3*j + 93. Is v a multiple of 24?
True
Let r(j) = 85*j**3 - 3*j**2 + 19*j - 29. Is 82 a factor of r(3)?
True
Let i = -37 - -142. Is 3 a factor of i?
True
Suppose 2 = 2*q, -5*u - 6*q = -4*q + 148. Let v(j) = j**3 + 2*j**2 - 7*j - 8. Let y be v(-6). Let z = u - y. Does 33 divide z?
False
Let z(m) = m - 4. Let u be z(6). Suppose -3*v = -5*t - 189, -3*v = u*v - t - 293. Suppose -v = -l - 19. Is 12 a factor of l?
False
Suppose 4*t = 12, 2*o - o - t + 109 = 0. Let w = o + 202. Is w a multiple of 16?
True
Let d(q) = -q**3 - 36*q**2 + 33*q - 81. Is 54 a factor of d(-39)?
False
Suppose 267 = d - 182. Is d a multiple of 53?
False
Let v be -38*(-2)/6*(-2 - 1). Is 21 a factor of (-1 + v)*20/(-6)?
False
Suppose 5*s + 3*o = 1534, -5*s + 7*s - 4*o = 598. Let i = 531 - s. Is 13 a factor of i?
False
Suppose -4*a + 98 + 14 = 0. Suppose -3*b + z + 22 = 3*z, -a = -5*b + z. Is 6 a factor of b?
True
Let s(t) = 135*t**3 + 6*t**2 - 10*t + 1. Is s(2) a multiple of 31?
True
Let f = -74 - -174. Let j = -28 + f. Is j a multiple of 15?
False
Let y(t) = 3*t**3 - 3*t**2 + 5*t - 2. Let g(o) = -3*o - 16. Let w be g(-6). Is 4 a factor of y(w)?
True
Let v(u) = 24*u + 96. Is 48 a factor of v(22)?
True
Suppose 88*z = 91*z + 1140. Let h(f) = -11*f**3 + f**2 + f + 1. Let a be h(-1). Is 8/a - z/6 a multiple of 32?
True
Let p = -1494 + 1566. Is 24 a factor of p?
True
Let b(c) = c**3 + 13*c**2 - 4*c + 11. Let l = 120 + -172. Let w be (8/16)/(2/l). Does 17 divide b(w)?
False
Let g(o) = 8*o**3 - 13*o**2 + 8*o + 12. Does 40 divide g(6)?
True
Let q be (-3 - -2 - -2)*1. Let h be q*((-159)/(-3) - -2). Let l = h - 23. Does 11 divide l?
False
Let s(f) = 9*f + 21. Let h(l) = 9*l + 22. Let a(u) = 2*h(u) - 3*s(u). Is 16 a factor of a(-6)?
False
Suppose 141 = -3*u - 54. Let l = -28 - u. Is 7 a factor of l?
False
Let c be -2*(-2 - -1)*1. Suppose 5*w + c*s - 12 = 5*s, 0 = w - 3*s. Suppose 0 = w*l + 4*i - 103, 3*l - 5*i - 89 - 5 = 0. Is l a multiple of 13?
False
Let v(l) = 453*l - 24. Does 16 divide v(1)?
False
Suppose t - 3*p + 2 = 7, -t + 2*p + 5 = 0. Suppose -2*b - 4*x = -4, -b + 14 = -0*b + t*x. Is (-232)/b + (-5)/(-15) a multiple of 19?
False
Let f = -15 + 18. Suppose 3*a = -f*c - 0*a + 36, 34 = 2*c + 4*a. Is c/(-1 - (-3)/2) a multiple of 7?
True
Let g be (16 - 12)/(-1 + (-613)/(-615)). Does 26 divide g/(-6) - (1 + -4)?
True
Let w = -242 + 400. Does 27 divide w + (2 - (4 - 4))?
False
Is 778/5 + 52/130 a multiple of 12?
True
Let m = 29 - 22. Suppose 8*g - m*g - 102 = 0. Is g a multiple of 10?
False
Let f = 54 - 33. Is 1/(15/(-126) + 6/f) a multiple of 6?
True
Let a be (-8)/28 + 1 + (-394)/(-7). Suppose 0 = -a*z + 54*z + 252. Does 21 divide z?
True
Let y be (-405)/(-18) - (-1)/(-2). Let a = -34 + y. Let d = a + 21. 