or of w(14)?
False
Suppose -2*i + 178 = z, -3*i = 8*z - 6*z - 353. Is z a multiple of 4?
True
Suppose -3*z = 101 + 55. Let a be (z/5)/((-10)/25). Is 1720/a - 2/13 a multiple of 14?
False
Let i = -2403 - -6358. Does 8 divide i?
False
Suppose -6*t = -2*t - 8. Suppose -340 = t*v - 7*v. Suppose -2*g = -5*r + 170, -3*r = -5*r + 3*g + v. Is 17 a factor of r?
True
Suppose 2 = -0*a - 2*a - 2*v, -3*a + 7 = v. Let c(l) = l**3 - 2*l**2 + l + 11. Is c(a) a multiple of 17?
False
Does 3 divide 114/(8 + -2) + -4?
True
Is (-69482)/(-12) + 8 + 1/(-6) a multiple of 26?
True
Let a = 153 - -617. Does 11 divide a?
True
Let c be (-2)/(16/4)*0. Let i be (-1 - (1 - 2))*1. Suppose -5*z - t - 3*t + 112 = i, c = 4*z + 5*t - 95. Is z a multiple of 5?
True
Let h(s) = -s**2 - 5*s + 8. Let j be h(-6). Suppose j*u = 1 + 3. Does 5 divide 16/10*25/u?
True
Let k(j) = -2*j**3 - 13*j**2 + 31*j - 9. Is 4 a factor of k(-10)?
False
Suppose x - 148665 = 3*m, m + 3*x + x = -49568. Is m/(-195) - 4/30 a multiple of 14?
False
Let k = 164 + 34. Suppose -k = -10*s - s. Does 6 divide s?
True
Suppose 4*i - 12 = 4*u, 5*i - 2*u + 5*u = 31. Suppose 3*r + 630 = i*b + 4*r, -105 = -b + 4*r. Is b a multiple of 25?
True
Let i(r) = 22*r**3 - 2*r**2 - 5*r + 19. Let q(p) = 7*p**3 - p**2 - 2*p + 6. Let s(x) = -2*i(x) + 7*q(x). Is 25 a factor of s(3)?
True
Let a(o) = -o**3 - o**2 - 4*o - 5. Does 29 divide a(-6)?
False
Let m(t) = 541*t**2 + 1. Let q be m(1). Suppose 2*u - 100 - q = 0. Suppose 4*a - 168 = -2*f, 2*a = -4*f - a + u. Does 13 divide f?
True
Let c(r) = -r**3 - r**2 - 4. Let w be c(0). Let a = w - 7. Is 23 a factor of 43*1 - (8 + a)?
True
Suppose -2*c + b = -360, b + 962 - 59 = 5*c. Is c a multiple of 13?
False
Let j(q) = -2*q**2 - 113*q - 168. Is 25 a factor of j(-52)?
True
Suppose 34*y - 1456 = 30*y. Does 14 divide y?
True
Let f(w) = w**3 + w**2 + w. Let s(g) = -5*g**3 - 31*g**2 - 40*g - 46. Let k(m) = 4*f(m) + s(m). Does 56 divide k(-26)?
False
Suppose 5*g + 2*f = 25, 4*g = -3*f + 31 - 4. Suppose g = 5*o - 127. Is o a multiple of 13?
True
Let f = -3 + 7. Suppose 2*s = f*s + 5*t - 31, 5*s = -4*t + 35. Does 18 divide (-1)/(s*(-3)/486)?
True
Let t(d) = -d**2 - 15*d - 18. Let h be t(-14). Is (h + 1)*10/(-2) a multiple of 5?
True
Let j(h) = -h**3 - 7*h**2 + 3*h - 7. Let l be j(-9). Suppose 5*q + 64 - 584 = 4*c, 0 = q + 4*c - l. Is q a multiple of 12?
True
Suppose -3*f + z = -8*f + 15004, -3*z - 15008 = -5*f. Does 21 divide f?
False
Is 8 a factor of (-4)/30 - 69223/(-435)?
False
Let s = -180 + 994. Does 16 divide s?
False
Let y(f) = 94*f - 174. Does 12 divide y(9)?
True
Suppose 5*w - 4*z - 10 = 0, -w - 8 = -5*w - z. Suppose 4*t + 5*d = 42, 5*d = w*t + 2*d - 32. Does 13 divide t?
True
Let t(r) = 19*r + 6. Suppose 7 = 4*w - 9. Let d be t(w). Suppose 4*p - 9 + 232 = 5*m, 2*m = 4*p + d. Does 16 divide m?
False
Suppose 2142*v - 2143*v = -2803. Does 149 divide v?
False
Let l be -2*3/(-2) + 23. Let s be ((-3)/(-2))/(13/l). Suppose s*m + j = 112, -2*j - 3*j = -4*m + 162. Does 19 divide m?
True
Let s(w) be the first derivative of -w**4/4 - 14*w**3/3 + 17*w + 7. Is 4 a factor of s(-14)?
False
Let d = 13 - 14. Let b = 5 + d. Suppose 0*n = b*n - 72. Does 5 divide n?
False
Let v be (-1)/6*-3*12. Let u(d) = v*d**3 - 3*d**3 + d - 3*d. Is 16 a factor of u(2)?
False
Let q be (-5)/(15/(-48)) - -1. Suppose s = 4*t - q, 3*t + 0*t + 5*s = 7. Suppose 40 = t*r - 2*r. Is r a multiple of 20?
True
Let n(m) = -13*m + 55. Does 11 divide n(-11)?
True
Suppose -2 = -3*b + 4. Suppose q - b*f = -f + 70, 0 = 3*q - 4*f - 214. Is 22 a factor of q?
True
Let z(g) be the second derivative of 5*g + 1/2*g**3 + 0 + g**2 + 1/3*g**4. Is 4 a factor of z(-2)?
True
Let h be 308/(-10) - 12/60. Let n = 13 + h. Let r = 10 - n. Is r a multiple of 14?
True
Let a be ((-2)/1)/((-4)/10). Suppose r + c = 4*c + 6, a*c - 25 = 0. Does 7 divide r?
True
Suppose 3*c + 4*u - 220 = 0, -3*c = -2*c - 2*u - 70. Suppose z + c = 3*z. Is z a multiple of 36?
True
Let y(a) = a**3 + 12*a - 8*a**2 + 4 - 17 - 17*a. Let p = 27 - 18. Is y(p) a multiple of 7?
False
Let q = -427 + 672. Is q a multiple of 7?
True
Let v = -11 - -26. Suppose 0 = 4*j + 8, -r + j - 2 = -v. Let a = r + -3. Does 8 divide a?
True
Let q(v) = v**2 - 8*v + 11. Let w be q(8). Let m = 8 - w. Let b = 19 - m. Is b a multiple of 11?
True
Suppose 0 = c + 286 + 238. Let n = c + 771. Suppose 4*k - n - 41 = 0. Does 18 divide k?
True
Let u be 1*(8 - 1) + -3. Suppose -7*z + 9 = -u*z. Suppose 4*q = -12, -98 = -z*f + q + 73. Is f a multiple of 14?
True
Let a be -73*(2 - (1 + -2)). Let h = a + 342. Is h a multiple of 31?
False
Let q(u) = 2*u**2 + 6*u + 4. Let x be q(-8). Suppose 0 = -7*m + 11*m + x. Let z = m + 55. Is z a multiple of 11?
False
Let g(c) = 15*c - 7. Let l(q) = -14*q + 7. Let j(m) = 6*g(m) + 7*l(m). Let k be j(5). Is 33 a factor of -5*k/5*2?
True
Let y = -22 - -22. Suppose y = 5*w - 5*u - 11 + 31, w = 3*u - 14. Let d = w + 11. Is d a multiple of 10?
False
Let t be 6*(-41)/((20/(-8))/(-5)). Let m = 701 + t. Is m a multiple of 31?
False
Let p(b) = 6*b**2 + b - 2. Let u be p(-2). Does 9 divide (-8)/u + 728/20?
True
Suppose 0 = -2*q + 3*q - 81. Suppose 4*x + q = 389. Suppose 27 = 2*r - x. Does 7 divide r?
False
Suppose -5*t + 256 = 1176. Let j = -340 - t. Let g = -90 - j. Is g a multiple of 23?
False
Suppose -2*q = 6*q - 32. Suppose -q*v + 3*p = -731 + 8, 363 = 2*v - 3*p. Is v a multiple of 30?
True
Let a(j) = -j**2 + 8*j + 3. Let k be a(4). Suppose -4*f - 51 = -q, -2*f - 2*q = -k + 57. Let i = f - -20. Is i a multiple of 3?
True
Suppose -2*l - 148 = -p + 2*p, -3*p - 5*l - 442 = 0. Suppose -4*v = -5*d - 1161, v + 4*v + 704 = -3*d. Let g = p - d. Is g a multiple of 22?
False
Suppose -8 - 168 = -z. Is 8 a factor of z?
True
Let j(b) = 18*b**2 - 3. Let g be j(2). Let w be g/4 - 12/(-16). Suppose 0 = -2*m + 8 + w. Is 4 a factor of m?
False
Suppose -2*f = -0*f + 2, 4*w = 2*f + 78. Let s = w + 53. Suppose 344 = 4*j - 2*c, 4*j - 4*c = -s + 424. Does 21 divide j?
True
Let j be -1*3*(-3 + 9 - 3). Is (-2)/j - (5104/(-36))/1 a multiple of 16?
False
Suppose 19*z - 145635 = -54*z. Is 57 a factor of z?
True
Is (-6)/(48/(-8)) - -167 a multiple of 8?
True
Suppose -2*l = 5*q - 492, -4*l - 115 = -4*q - 1071. Suppose -6*r = -275 - l. Does 22 divide r?
False
Let s = 1758 + -736. Is 7 a factor of s?
True
Let t be ((-4)/(-3))/(20/30). Suppose -2 = b, 0 = 4*q - q - t*b + 41. Let h = 27 + q. Is 3 a factor of h?
True
Suppose -49*u + 46*u + 4455 = 0. Is u a multiple of 11?
True
Let s be -4 + 3/((-9)/57). Let f = s - -25. Is 7 + (3 - (f + 1)) a multiple of 7?
True
Suppose 15*v - 3356 = 5884. Is v a multiple of 28?
True
Let k = -167 + 182. Is k a multiple of 2?
False
Suppose -4*o + 277 - 13 = 4*l, 0 = 2*l. Does 50 divide o?
False
Let a(q) = -q**3 - 2*q**2 - q. Let v be a(-2). Suppose -14 = -v*d - 2*d + 2*s, 4*d + 4*s = 32. Suppose 0*t = d*t - 90. Is t a multiple of 13?
False
Suppose 10 = c + 5*u, -2*c + 0*u - 3*u + 13 = 0. Suppose c*o = t - 64, 3*t - 2*o - 153 = -0*t. Is 7 a factor of t?
True
Let g be (-10)/3*24/10. Does 14 divide g*-14*(-4)/(-16)?
True
Let l(q) = -q**3 + 21*q**2 + 21*q + 30. Let u be l(22). Let y(t) = t**3 - 6*t**2 - 3*t + 6. Does 13 divide y(u)?
False
Suppose -213 = 8*t - 5*t. Let w = -63 - t. Does 2 divide w?
True
Let p(a) = -a**2 + 14*a + 10. Let h be 4 + 7/(21/18). Let n be p(h). Let c = n + -18. Does 8 divide c?
True
Suppose -2*x = -2*p + 6, 5*p = -10 + 30. Let t be -1*(3 + x*-16). Let l(a) = -a**3 + 14*a**2 - 10*a. Is l(t) a multiple of 9?
False
Let t(a) = a**3 + 12*a**2 + 7*a + 36. Is 2 a factor of t(-8)?
True
Suppose -552 = 10*q - 1702. Is q a multiple of 10?
False
Suppose 0 = -8*r - 773 + 2725. Does 40 divide r?
False
Let r = -512 + 722. Does 15 divide r?
True
Suppose 2*c + 6 = 0, -374 = -3*z + 2*c + 37. Let x = 199 - 295. Let d = z + x. Does 10 divide d?
False
Let t(d) = 7*d**3 - 3*d**2 + 8*d - 6. Let c(a) = 20*a**3 - 9*a**2 + 23*a - 18. Let x(b) = 6*c(b) - 17*t(b). Does 7 divide x(4)?
False
Let t = -130 - -271. Does 46 divide t?
False
Let j be (-1)/1 + 3 + 2. Let g(v) = -v**2 + 7*v - 7. Let d be g(j). Suppose -q - 2*n = q, -d*q + 5 = 4*n. Is q even?
False
Let q = -18 - -23. Suppose -q*p - 12 = -9*p. Suppose 0 = p*d - d - 64. Does 8 divide d?
True
Let t = 89 - 89. Is 2 + 1 + t + 585/5 a multiple of 6?
T