 Suppose -8 = -i*z + 1. Is z a multiple of 3?
True
Suppose -3*d = 4*w - 669, d - 765 = -4*w - 86. Is w a multiple of 9?
True
Let v = 355 + -521. Let w = -111 - v. Is w a multiple of 19?
False
Suppose 0 = -322*s + 320*s + 1782. Does 9 divide s?
True
Let q = 53 + -31. Is 6 a factor of q?
False
Let b(t) = t**3 - 9*t**2 - 11*t + 14. Let w be b(10). Suppose -r - w*d = -0*d - 102, 2*d = -2*r + 186. Is 30 a factor of r?
True
Let s be (-28 + -2)/((-6)/(-4)). Let g = s - -25. Suppose 34 = 4*j - g*a, 3*a + 2 = -j - a. Is 6 a factor of j?
True
Let y(l) = 13*l**2 - l. Let v be y(1). Suppose -q - v = -4*q. Suppose 5*d - 36 = -q*k, -2*d = 4*k - 9 - 3. Is d a multiple of 2?
True
Let w = 2967 - 1455. Does 54 divide w?
True
Let a be 3 + 0 - (-3 + 1). Suppose 64 - 19 = a*r. Does 4 divide (-3)/((r/8)/(-3))?
True
Suppose -3*y - 30*i = -27*i - 564, y - 180 = -3*i. Is y a multiple of 64?
True
Suppose 18*n = 13*n - 75. Let t = n + 21. Is t a multiple of 3?
True
Suppose 3*a - 242 = -3*h + 34, 0 = 4*h - 5*a - 323. Does 18 divide h?
False
Let n(m) = -8*m + 3. Suppose 4*l = 4*d - 76, -2*l - d - 18 = 8. Let u = 12 + l. Does 6 divide n(u)?
False
Let d be 4*-62 - 1/(-6)*0. Suppose -p - 3*j - 160 = 0, 408 = -2*p + 4*j + 128. Let b = p - d. Is 25 a factor of b?
True
Suppose -z + 4*d = 6*d + 15, -4*d = z + 17. Let t(c) = -c**3 - 7*c**2 - 2*c + 8. Let p be t(-6). Let h = z - p. Is h a multiple of 3?
True
Suppose -6*a - 55 = -a. Let d be (-2)/a - 334/22. Is (16 + -1)*(-9)/d even?
False
Let m = -510 - -317. Let q = -83 - m. Is q a multiple of 22?
True
Suppose 3713 = 23*u - 45622. Does 9 divide u?
False
Let g(m) = m**2 + m + 15. Let s be g(0). Suppose -w + 4*q - q = -s, -5*w + q + 61 = 0. Is 6 a factor of (w/7)/(3/21)?
True
Suppose -4*v + 514 = h - 822, -5*h = -v + 313. Is 37 a factor of v?
True
Suppose 23*z - 492 = 83. Is z a multiple of 7?
False
Let q(k) = 2*k**3. Let n be q(1). Suppose 0 = 2*y - 3*y + n*z + 52, -2*y - 2*z + 134 = 0. Is 11 a factor of y?
False
Let w be 6 + -1 - 1*(2 + 1). Is 4*w*(217/14 - 7) a multiple of 9?
False
Suppose 0 = 31*m - 28*m - 174. Suppose 0*v + 3*v - 34 = 2*d, -2*d - 3*v - m = 0. Let p = d - -35. Is 12 a factor of p?
True
Is 46 a factor of 201/90*1208 + 4/30?
False
Let k = 1115 + -690. Is 25 a factor of k?
True
Let j(f) = f + 0 + 0 + 5 + 7. Let m be j(-8). Suppose 0 = -5*o - m*t + 108, t - 1 + 4 = 0. Does 8 divide o?
True
Let j(x) = -1 - 4*x - 4*x**2 + 7*x + 3*x**2 + 2*x**2. Let t be j(-2). Is (-2)/(-1*t/(-54)) a multiple of 10?
False
Let x = -1 - -3. Let r(j) = j**3 + 15*j**2 + 6. Let n be r(-15). Let k = x + n. Is k a multiple of 8?
True
Let b(x) = x**2 - 15*x + 9. Let k be b(11). Let r = k + 91. Is 14 a factor of r?
True
Let s = 9 - 4. Suppose -s*y + 0*y + 140 = -3*j, y - 2*j = 28. Is 7/y - (-30)/8 a multiple of 4?
True
Suppose -7588 = -12*m - 2008. Does 14 divide m?
False
Let s(a) = -a**3 + 15*a**2 + 18*a - 25. Let c be 10/(-35) - 570/(-35). Is s(c) even?
False
Is 12 a factor of (3/((-3)/(-17)))/((-2)/(-24))?
True
Let v(k) = k**3 + 3*k**2 - 2*k + 5. Let c be v(-5). Let f = c + 28. Let l(o) = 3*o**2 + 3*o + 4. Is l(f) a multiple of 30?
False
Let r = 578 - -612. Is 10 a factor of r?
True
Suppose -2*d + w + 2293 = 3*d, d + 3*w - 465 = 0. Does 9 divide d?
True
Suppose u = -0 + 2. Let w(k) = -5 - 2*k - 4*k**2 + 5*k**u - 2 - 4. Does 12 divide w(7)?
True
Let n(f) = 58*f**3 - f**2 - 2*f + 6. Is 77 a factor of n(2)?
True
Suppose -2*w - 3 = -5*w. Let n(g) = 3*g - 1. Let k be n(w). Suppose 2*x - 77 + 251 = 4*l, 4*l + k*x - 178 = 0. Is 22 a factor of l?
True
Suppose 5*o + 2*m - 326 - 474 = 0, o - 3*m - 177 = 0. Suppose 0 = -50*j + 47*j + o. Is j a multiple of 6?
True
Let q = 76 - 79. Let t = q - -91. Is t a multiple of 3?
False
Let f(u) be the first derivative of u**4 + u**3/3 + u**2/2 - u + 2. Let r be f(1). Suppose -3*m + 78 - 3 = 4*d, 4*d + r*m - 85 = 0. Is 12 a factor of d?
False
Let x(h) = 2*h**2 - 23*h + 52. Is 15 a factor of x(13)?
False
Let j = -17 + 25. Suppose 2 + j = 2*d. Suppose 0 = -d*l, 0 = 4*a + 2*l - l - 84. Is a a multiple of 5?
False
Is 5 a factor of ((-639)/(-7) - (-20)/(-70)) + 5?
False
Suppose -2*n = 3*h - 25, -2*n - 5 = -2*h - h. Suppose -d = -h*i - 31, 4*d + 4*i + 80 = 6*d. Suppose 3*b - 78 = -5*o, 3*o + 58 = 4*b - d. Is 8 a factor of b?
False
Let v be ((-24)/16)/(6/(-8)). Suppose -f + v = -1. Suppose 4 = h, 4*o + f*h = -2*h + 72. Is 13 a factor of o?
True
Let y(b) = -40*b + 41. Let o be y(10). Let z = o - -546. Is z a multiple of 17?
True
Let u(w) = w**3 - 24*w**2 - 34*w + 91. Is 8 a factor of u(27)?
True
Let i = -45 + 57. Suppose -i*l + 11*l + 236 = 0. Is l a multiple of 17?
False
Let t(d) = -d**3 + 21*d**2 - 56*d. Is 26 a factor of t(12)?
True
Let k = -54 + 51. Is (k + -4 - -6)/(2/(-200)) a multiple of 20?
True
Let v(d) = d + 1. Let i(g) = g + 1. Let q(u) = u + 2. Let k(x) = -3*i(x) + q(x). Let y(p) = -2*k(p) - 10*v(p). Is y(-6) a multiple of 13?
False
Let r = 57 + -45. Suppose 54 = -11*k + r*k. Is 18 a factor of k?
True
Suppose 2*m + 523 = 4*m + 3*d, 0 = 4*m + 5*d - 1041. Suppose -3*u - 62 = -m. Does 32 divide u?
True
Let o(c) = -2*c**3 - 85*c**2 + 41*c + 71. Does 2 divide o(-43)?
False
Let n be -16 + 1 + (-2 + 5)*1. Is (-2)/n - 1354/(-12) - 4 a multiple of 30?
False
Suppose 4*d = -6*d + 9400. Is 10 a factor of d?
True
Let j(c) = 3*c**3 - 8*c**2 + 17*c + 4. Does 24 divide j(5)?
True
Let h(o) = 49*o**2 - 36*o + 121. Does 22 divide h(4)?
False
Let i(p) = 3*p**2 - 3*p - 12 - 4*p**2 - p**3 + 2*p**3 + 15. Is 6 a factor of i(3)?
True
Let b = -1226 + 1798. Is 13 a factor of b?
True
Suppose 0*x + 4*x - 192 = 0. Let g be (x/(-14))/((-2)/28). Suppose -5*n = -n - g. Is 8 a factor of n?
False
Let q = 3534 + -1972. Is 22 a factor of q?
True
Suppose 3*y - 5*u = y + 9, -3*u + 7 = 5*y. Suppose 3*i - 146 = i - 2*z, 142 = 2*i - y*z. Suppose 0 = -v + i - 22. Is v a multiple of 25?
True
Let f(c) = c**2 + 15*c + 27. Suppose 0 = -2*y + 5 - 41. Does 36 divide f(y)?
False
Is 16 a factor of (-30)/(-42) - (-84504)/98?
False
Suppose 3349 = 3*l + 2*o, 3*l - 1128 = 2*l - 3*o. Is 21 a factor of l?
True
Let y = -65 + 185. Is 24 a factor of y?
True
Suppose 149 = -2*i + 761. Does 6 divide i?
True
Let b be 217/28 - 3/4. Suppose 3*p + 8 = -5*w - b, p - 29 = 4*w. Let o(m) = m**2 + 2*m - 2. Is o(w) a multiple of 8?
False
Let o = -115 + 177. Is (-20 + 18)/((-4)/o) a multiple of 8?
False
Suppose p - 22 = -3*y, 4*y + 3*p = -0*y + 36. Suppose 0*r + 3*r = -y. Is 9 a factor of (35 - 2)/3 + r?
True
Let h(d) = 3*d**2 + 14*d + 18. Let g = -120 + 110. Is 28 a factor of h(g)?
False
Suppose -6 = w - 10. Suppose -3*l - 75 = -w*l. Is 15 a factor of l?
True
Let c(m) = 7*m**3 + 6*m**2 - 11*m + 13. Is c(4) a multiple of 76?
False
Let g(u) = 66*u - 1. Let s be (1 - 3) + -1 + -9. Let i be (-1 - 16/s)*3. Is g(i) a multiple of 19?
False
Suppose -11*q + 7*q + 24 = 0. Suppose 9*l + 2*v - 37 = q*l, 4*l - 4*v = 76. Is 15 a factor of l?
True
Let k be (-6)/(-27) - (-4125)/27. Suppose -4*q = 4*u - 29 + k, 0 = 4*q + 3*u + 119. Let w = q + 29. Is w a multiple of 3?
True
Let s(c) = c**3 + c**2 + c + 20. Let g = 20 + -13. Let x = g - 7. Does 6 divide s(x)?
False
Suppose 21 = 4*u + 97. Suppose 5*v + 2*b = 206, v - 5*b - 52 = -0*b. Let o = v + u. Is 10 a factor of o?
False
Suppose b + 4*b - 293 = -3*a, 0 = -a - 4. Let i(y) = -y**3 + y**2 + y + 40. Let z be i(0). Let g = b - z. Does 7 divide g?
True
Let d = -5 - -5. Let l be d/(5/(15/(-6))). Suppose l = 3*g + 5 - 65. Does 20 divide g?
True
Let o = -35 - -35. Suppose -16 + o = -2*y. Is 7 a factor of y?
False
Let t(i) = -2*i**3 - 10*i**2 + 18. Does 32 divide t(-7)?
False
Let c(o) = -2*o**3 + o**2 - 3*o - 3. Let z be c(-1). Suppose 0*n + 38 = 3*q + 2*n, -z*n + 3 = 0. Is 5 a factor of q?
False
Suppose -6 = -2*h + 10. Does 21 divide h - 5 - -6*3?
True
Let g be (-2)/(-8) + 1218/(-8). Let n = g - -83. Is 23 a factor of -1*(-1)/(-3)*n?
True
Suppose 697*l + 5544 = 708*l. Does 12 divide l?
True
Let n = 10 - 7. Suppose 0 = -n*i + 84 + 66. Let y = 98 - i. Is 16 a factor of y?
True
Suppose -5*h = -3*i - 50, i + 84 = -3*i - 2*h. Let k = i - -62. Is k a multiple of 14?
True
Let q(h) = h**2 + 7*h + 12. Let f be q(-5). Suppose -3*c + 739 = 4*p, 7*p - f*p = -2*c + 915. Let b = p - 118. Is b a multiple of 11?
False
Let o(w) be the third derivative of 7/6*w**3 - 1