 + 152, g = -4*a + 56. Suppose 0 = 4*x + 4*v - 24, 2*x - 66 = -3*x + 4*v. Suppose 11*w - g = x*w. Is 7 a factor of w?
False
Suppose -15*y = -17*y + 280. Let l = -80 + y. Is 20 a factor of l?
True
Suppose -3*y + 24*y = 5313. Does 17 divide y?
False
Let c(u) = u**3 + 3*u + 3. Let o be c(-2). Let t(b) = -b**3 - 10*b**2 + 13*b + 12. Let i be t(o). Is 37 a factor of (-8)/(-20) - 656/i?
False
Suppose 0 = -4*b + 5*d + 159 + 96, -d = -b + 63. Is 20 a factor of b?
True
Suppose -4*z - s - 91 + 58 = 0, 2*z + 12 = 4*s. Let c = -82 - -146. Let x = z + c. Is 22 a factor of x?
False
Let i(w) = 2*w - 5. Let q be i(6). Let z be (-13 + q)*4/(-6). Suppose 5*p - 44 = -z. Is p a multiple of 4?
True
Let k(p) = 12*p + 13. Let c be k(8). Let z = c + -45. Is z a multiple of 8?
True
Let x(w) = -7*w - 171. Is 2 a factor of x(-34)?
False
Suppose 8*x - 7074 - 18846 = 0. Is 162 a factor of x?
True
Does 2 divide (306/81)/(2/18)?
True
Let r = 123 - -189. Is r a multiple of 39?
True
Let c(z) = z**2 - 2*z - 2. Let o be 290/(-35) - (-2)/7. Is 22 a factor of c(o)?
False
Suppose 251 = 5*j - m - m, 3*j - 147 = 3*m. Let g be (-16)/136 - (-4902)/j. Suppose g + 49 = 5*h + 2*z, -3*h + z + 87 = 0. Is h a multiple of 10?
False
Suppose 61*v = 56*v + 630. Is v a multiple of 6?
True
Let r = 87 + -84. Suppose r*d = -5*x + 39, 3*x - 2*d - 37 = 3*d. Is x even?
False
Let g be (28/(-8) + 5)*216. Suppose 2207 = 7*v + g. Does 15 divide v?
False
Let p(c) = 26*c**3 - 2*c**2 - 2*c. Let l be p(2). Suppose 4*h = 3*z - l, h + 20 = 2*z - 114. Suppose -3*t - 20 = -z. Does 16 divide t?
True
Suppose 4*h - 1522 = o + o, 3*o = 2*h - 759. Is 25 a factor of h?
False
Let f = 188 - 62. Is 3 a factor of f?
True
Suppose 3*j = 8*j - 400. Let g = -50 + j. Is 20 a factor of g?
False
Let p = 3 + 0. Let r be (2 + 41)/(p/3). Suppose 62 = 5*c - r. Is 7 a factor of c?
True
Let h(y) = y**2 - 14*y + 55. Does 19 divide h(-38)?
False
Suppose 3*z = 2*z. Let i(d) = d + 3. Let c be i(z). Suppose -c*x = -b + 8, -x = -b + 5 + 1. Is b a multiple of 5?
True
Let g(n) = 6*n**2 + 12*n + 44. Is 4 a factor of g(-6)?
True
Is 22 a factor of 5256/48 - (-1)/2?
True
Let t(h) = 0 - 43*h - 25*h - 2. Let w be -4*3/10 + 1/5. Is 17 a factor of t(w)?
False
Suppose 291 = -4*b + 711. Suppose -h - 2*p = p - 40, b = 4*h + p. Does 11 divide h?
False
Suppose -125*l = -32*l - 210552. Is 56 a factor of l?
False
Is 3 a factor of (((-1220)/50)/(-2))/((-1)/(-5))?
False
Let f(t) = 43*t - 131. Does 19 divide f(11)?
True
Is 21 a factor of (-9*8/24)/(6/(-1502))?
False
Let v = -56 + 166. Does 10 divide v?
True
Let d(v) = 2 - 1 + 28*v**3 - 6*v**2 - 29*v**3 - 6*v. Let r be d(-5). Suppose 140 = -r*y + 11*y. Does 14 divide y?
True
Suppose 328 = y - 4*f, -y + 313 = -5*f + 4*f. Is y a multiple of 34?
False
Let d be 5/2 - (-8)/16. Let v(i) = 3*i**2 - 2*i + 1. Let k be v(d). Suppose -65 = -n - k. Is 11 a factor of n?
False
Suppose 0 = -0*v + 4*v + 344. Let u = -49 - v. Is 14 a factor of u?
False
Let j be (-45)/6*7/((-84)/8). Suppose 0 = 4*f + j*i - 600, f - 3*i = i + 150. Is f a multiple of 10?
True
Let r = 82 + -80. Suppose r*q + 72 = 5*s - 915, 0 = -2*s - 2*q + 406. Is 27 a factor of s?
False
Let k = 119 + 11. Suppose x + 2*o = 6*o + 47, k = 5*x + o. Does 3 divide x?
True
Let m be 3/(-2)*40/(-12). Let x be (-1)/m + (-63)/(-15). Does 23 divide ((-16)/12)/(x/(-222))?
False
Let h(c) = 4 + 7 - 3*c**3 + 7*c**2 + 4*c**3 + 5*c. Is 18 a factor of h(-5)?
True
Let h(l) = 3*l**3 - 1. Let v be h(1). Suppose 0 = -v*y - 2*y + 264. Does 11 divide y?
True
Suppose -684 = -63*r + 51*r. Let d(i) = 3*i**2 + 5*i + 7. Let q be d(-6). Suppose -5*z + 2*f = -r, 3*z + 5*f - q = -2*z. Is z a multiple of 2?
False
Suppose -565 = -3*l + 8*l. Let n = l - -200. Is 18 a factor of n?
False
Let l(w) be the second derivative of -w**5/20 - 7*w**4/12 + w**3/6 - 2*w**2 - 17*w. Is l(-8) a multiple of 10?
False
Suppose 0 = -3*l - 9, 1 - 5 = 2*m + 4*l. Suppose -4*r = m*j - 408, 2*r = r + 5*j + 126. Suppose 3*c - k - r = 86, -3*c = 3*k - 180. Is c a multiple of 20?
False
Suppose -2*o + 2 = 0, -3*v = 2*v + 4*o - 29. Suppose 4*h - 5*r = -h + 110, 2*h = -v*r + 16. Is h a multiple of 9?
True
Suppose 3*r + 1369 = 4*s, 5*s = 4*s + 5*r + 355. Does 24 divide s?
False
Suppose 4*x = 100 + 72. Let s = -28 + x. Is 24 a factor of (-108)/(1 - s/6)?
True
Suppose -7*o + 4755 = -3197. Does 16 divide o?
True
Let g(j) = 8*j + 486. Let q be g(0). Suppose 9*b = -0*b + q. Is b a multiple of 6?
True
Suppose 11*b + 1 = 12. Suppose b = -v + 66. Does 5 divide v?
True
Let n be 34/(-4) + 3/6. Let y = 10 - n. Suppose -3*l + 0 = -y. Is l even?
True
Let k(u) = 6*u**2 - 7*u + 1. Is k(-3) a multiple of 19?
True
Let t(l) = -28*l - 64. Does 6 divide t(-4)?
True
Let m(v) = -19*v - 27. Is m(-14) a multiple of 15?
False
Suppose 2*a - 15 = -2*p + 5, -55 = -2*p + 5*a. Let r(x) = 42*x + 0 - 21*x - 3 - 12*x. Does 33 divide r(p)?
True
Let x = -20 + 6. Let t = 20 + x. Let j(o) = 6*o - 8. Is 23 a factor of j(t)?
False
Let u(r) = -r**3 + 2*r**2 + 5*r + 2. Let z be u(-3). Suppose -4*q = -8*q + z. Is 14 a factor of 457/7 - q/28?
False
Let r(c) = c + 27. Let q(v) = v + 14. Let u(j) = -5*q(j) + 3*r(j). Suppose -3*w - x = -0*w + 33, -55 = 5*w - 4*x. Is u(w) a multiple of 11?
True
Let c(w) = -w**3 - 2*w**2. Let r be c(-2). Suppose -f - l - 4*l + 12 = r, l = 4*f - 90. Does 5 divide f?
False
Let v = 755 + -432. Is v a multiple of 12?
False
Let t be (4/2)/(-1) + 4. Suppose 3 = -t*s + 9. Suppose -4*z + 5*p = -272, 0 = 2*z - s*z - 2*p + 68. Does 17 divide z?
True
Suppose -4*t + 424 + 200 = 0. Suppose t = 4*b + 5*c - 4*c, 0 = -4*c. Is b a multiple of 7?
False
Suppose -7*t + 26 + 2 = 0. Let z = -25 + 66. Suppose -z = -t*b + 11. Is b even?
False
Let s(m) = -m**3 - 2*m**2 - 2*m. Let j be s(-2). Suppose 5*a = -5*b - 485, j*a - 13 = 5*b + 427. Is 6 a factor of b/(-8) + (-1)/(-2)?
True
Let a(u) = -4*u - 2*u + 3*u - 5*u - 23. Is a(-11) a multiple of 24?
False
Suppose -253*q + 258*q - 7035 = 0. Is 14 a factor of q?
False
Let v be -6 + 13 - 6/(-2). Suppose -2*w + 5*u + 30 = 0, 2*u = w - v - 6. Suppose -4*r - w = -5*n, -4*n + 3 + 13 = r. Is 4 a factor of n?
True
Suppose -7*v = 4*v - 638. Is v a multiple of 29?
True
Suppose 2*c + z + 2*z = 6, 3*c + 25 = 4*z. Let l be ((-9)/c - 37) + -1. Let m = 54 + l. Is 5 a factor of m?
False
Suppose 5*w = 17 - 7. Suppose -3*g - 9 = 2*s, -w*g - g - 15 = 0. Suppose -s*u + 3*b + b = -1, -1 = 3*u - 5*b. Is u a multiple of 2?
False
Let m = 204 - 36. Suppose -m = -4*b + 4*c, -c = 4*b + 2*c - 154. Is b a multiple of 5?
True
Let z(q) = -7 - 2 + 3*q**2 - 2*q**2 - 6*q. Let n be 30/40 + (-3)/(-12) - -9. Is 8 a factor of z(n)?
False
Suppose 14 = 5*w + 3*a, -4*w + 8*a + 26 = 3*a. Is (w/(-10) + -2)/(6/(-280)) a multiple of 28?
True
Suppose -12 - 2 = -2*o. Suppose 4*h = o*h - 159. Suppose 5*n - 3*q - 47 = 0, n - 6*n - 3*q = -h. Is n a multiple of 4?
False
Suppose 1947 = p + 502. Suppose -24 + p = 7*b. Is b a multiple of 29?
True
Is 59 a factor of 1*(-559 + -6)*-1?
False
Let m = 7 - 15. Let k be (25 - m/4) + 1. Suppose k = 4*q - 28. Is 7 a factor of q?
True
Let x(o) = -6*o + 51. Let q be x(11). Is 43 a factor of (2 - (-782)/(-4))*10/q?
True
Let p = 8 - 14. Let m = p - -4. Is 10 a factor of (-136)/(-4) + 2 + m?
False
Suppose y - 10 = -0*o + 2*o, 0 = -2*o - 8. Suppose 0*l + y*l - 14 = -5*a, -10 = -2*l - 3*a. Suppose l*p - 59 = p. Is p a multiple of 12?
False
Let x = 30 - 17. Let h = x + -12. Is 17 a factor of 68/(-16)*-4*h?
True
Let h = -626 - -774. Is h a multiple of 5?
False
Suppose 0 = -6*q + 2*q + 20. Suppose -q*s = -2*r + 27 + 31, -5*s = 20. Let m = r + -3. Is 8 a factor of m?
True
Is ((-60)/8 - -2)*-50 a multiple of 11?
True
Let y = 15 - -188. Does 14 divide y?
False
Let k(r) = -139*r**3 + r**2 - r - 1. Let l(u) = 2*u + 9. Let q be l(-5). Let v be k(q). Suppose 5*i - v = -0*i. Is i a multiple of 14?
True
Let x be -1 - -4 - (2 - 6). Suppose x*k - 8*k + 45 = 0. Suppose -10 = -2*m + 4*t, 0*m + 2*m - k = -3*t. Does 15 divide m?
True
Suppose 2*g = -3*g + 10. Suppose w - 6*q = -g*q + 195, 5*w - q - 937 = 0. Is 32 a factor of w?
False
Let b(l) = 21*l - 1. Let o(r) = 12*r + 2 + r**2 - 1 - 18*r. Let q be o(6). Does 14 divide b(q)?
False
Let x(o) = 8*o**3 - o**2 - 2*o - 1. Let y be x(-1). Let f = -4 - y. Suppose -4*m - f*q = -120, -16 - 8 = -m + q. Is m a mult