4). Suppose 0 = -c - v + 16 - 1, 81 = y*c - 3*v. Suppose 4*q = 5*q - c. Is 7 a factor of q?
False
Let i(w) = 2*w**3 - 23*w**2 - 18*w - 37. Let c(g) = -g**3 + 11*g**2 + 9*g + 18. Let h(v) = 7*c(v) + 4*i(v). Does 18 divide h(16)?
True
Suppose -15*b - 32 + 92 = 0. Suppose -927 - 69 = -b*a. Does 32 divide a?
False
Let a be -1 + (-1 - -4)*1. Let k = a - -30. Suppose -c + 20 = h, -c - c - 4*h + k = 0. Is 6 a factor of c?
True
Let a(h) = 11 - 3*h + 19 - 37. Does 12 divide a(-10)?
False
Let o(u) = 6*u - 7. Let y be o(3). Suppose 2*a + p - y = 0, -a = -0*p + 3*p - 3. Does 15 divide 0 + 9/a*18?
False
Let g = 58 + -51. Suppose -230 = -17*l + g*l. Is 7 a factor of l?
False
Let p = -6 + 111. Is 7 a factor of p?
True
Let h(j) = -2*j**3 - 18*j**2 - 19*j - 189. Is 31 a factor of h(-13)?
False
Let p = 1242 - 509. Is p a multiple of 12?
False
Let d = 212 + -183. Is 15 a factor of d?
False
Let g = 110 - -5. Let n = 56 + g. Is 25 a factor of n?
False
Suppose -u - 7*l - 16 = -3*l, 5*u + 16 = -4*l. Suppose -m + 3*m - 226 = u. Is m a multiple of 20?
False
Let g = -83 - -99. Does 6 divide (g/6)/((-10)/(-315))?
True
Suppose 6*s = 4*i + 3*s - 789, -3*s = -3. Suppose 64 = 3*q - n - 58, 5*q = -n + i. Does 4 divide q?
True
Let r = 28 - 22. Suppose 0 = -r*x + x - 55. Let w = x + 19. Is w a multiple of 8?
True
Let w = 6 + 21. Let p = 40 - w. Is p a multiple of 13?
True
Let r = 27 - 30. Is 18 a factor of 6/(r - 0) + 102?
False
Suppose 43*x + 1284 = 46*x. Is 39 a factor of x?
False
Let j be (2/(-4))/((-17)/3332). Let n = j + 12. Is 13 a factor of n?
False
Suppose 2*g = 3*g + 41. Let q = g + 76. Is 301/q - (-3)/(-5) a multiple of 4?
True
Suppose 5*a - 1971 = 5*x - 2*x, -4*x - 780 = -2*a. Does 11 divide a?
True
Let t(x) = x + 28. Let p be t(-19). Suppose p*n - 5*n = 204. Is 17 a factor of n?
True
Let g(w) = -w. Let k(s) = -6*s**2 - 8*s + 2. Let r(f) = 4*g(f) - k(f). Is r(4) a multiple of 28?
False
Let a(r) = -r + 5. Let z be a(0). Let h(t) = t - 6. Let c be h(z). Is 116/(-8)*(c - 1) a multiple of 21?
False
Suppose 2*a - 471 = -3*r + 621, 2*r + 2*a = 730. Is 89 a factor of r?
False
Let a(n) = n**3 - 20*n**2 + 38*n - 39. Is 23 a factor of a(19)?
True
Suppose 5*s - 28 = 3*s. Let q = -26 + s. Is -42*(-2 - 16/q) a multiple of 14?
True
Let k be (14 + -13)*(2 - (-1 - -2)). Is 5 a factor of -1 + (23 - (1 + k + 0))?
True
Suppose 0 = -3*j - 13*j + 2720. Does 25 divide j?
False
Suppose 0 = -5*c + 14 + 11. Suppose -4*j - 5*y = -105, -c*j + 115 = -0*j + 3*y. Is j a multiple of 4?
True
Let l be 2 - (12/3)/(-4). Suppose -q - 94 = -l*q. Is 9 a factor of q?
False
Suppose 3*a - 4*a - 9 = 0. Let b be (1 - 4)/(-1) - a. Does 19 divide 41 + (b + 0)/(-3)?
False
Is 13 a factor of (-1569)/(-6) + 1 + 3/(-6)?
False
Suppose r = -15 + 42. Suppose -5*b = g - 271, 2*g - 299 = -5*b - r. Is 27 a factor of b?
True
Let r(l) = -l**3 - 11*l**2 + 30*l + 15. Let n(d) = d**3 + 10*d**2 - 30*d - 16. Let h(i) = 3*n(i) + 4*r(i). Is 44 a factor of h(-16)?
True
Let f = 5 + 4. Let a be f - (-2)/8*-4. Suppose -a = -h + 5*h, 3*y = h + 59. Is 13 a factor of y?
False
Let a = 103 - 100. Is 12 a factor of 5*40 - (-4 + a + 0)?
False
Let a(u) = -u + 10. Let j be a(7). Suppose j*g + 12 = -0*g. Does 12 divide -1*19*(3 + g)?
False
Let w be 12/(-8) + 83/(-2). Let d = -13 - w. Suppose -z + 13 + 6 = 2*x, -3*x - z + d = 0. Does 3 divide x?
False
Suppose -7*b - 19 = -54. Suppose 5*j - 66 - 189 = -3*w, 2*j - b*w - 102 = 0. Is 8 a factor of j?
False
Let d(b) = -2*b + 125 + 2*b - 25*b**3 - 124. Is 13 a factor of d(-1)?
True
Is ((-255)/(-10))/17 - (-11070)/4 a multiple of 13?
True
Let o(d) = -d**3 + 14*d**2 - 15*d - 14. Let u be o(13). Let m = 52 + u. Does 4 divide m?
True
Is (80/(-14))/(6/(-105)) a multiple of 5?
True
Suppose 33 = 5*w + 4*v - 94, 2*w = -v + 52. Let f(b) = b**3 + 6*b**2 + 2*b - 5. Let u be f(-6). Let p = u + w. Does 7 divide p?
False
Let o(z) = 8*z**2 - 9*z + 6. Is o(-5) a multiple of 8?
False
Let n = -1789 + 2157. Does 12 divide n?
False
Suppose -180*h = -189*h + 7425. Is h a multiple of 33?
True
Suppose 2215 - 43390 = -25*m. Is 9 a factor of m?
True
Suppose -4*y = 4*v - 44, 4*v = y + 2*v - 17. Let s = y + 2. Does 2 divide s?
False
Suppose -3*z + 3*q = 12, -3*z - 4*q + q = -12. Suppose z = -6*r + 3*r + 24. Suppose 0*i + b + r = i, 3*b - 12 = 0. Does 3 divide i?
True
Let y be 2/(-3)*(-9)/(-6). Let h = 12 - y. Does 3 divide h?
False
Let o(t) = 69*t**2 + 40*t - 170. Is o(5) a multiple of 45?
True
Let w = 1429 - 832. Is 4 a factor of w?
False
Let l = 8 - 6. Suppose 28 = -11*k + 28. Suppose k = -4*v + 3*o + 279, 3*v + l*o = 3*o + 203. Is v a multiple of 11?
True
Suppose d - l = -22, -4*l = 2*d + 50 - 12. Is 126 - ((-4)/(-14) + 6/d) a multiple of 18?
True
Suppose -2*y - 16*y + 2052 = 0. Does 19 divide y?
True
Suppose 0 = -t - 4 + 2. Let k(z) = -20*z - 5. Let l be k(t). Suppose l = 3*y - 22. Is 17 a factor of y?
False
Suppose 1993 = -7*x + 250. Let u = -115 - x. Is u a multiple of 9?
False
Let z(l) = -15*l + 4. Let b be z(-6). Let y(r) = r + 13*r**2 - 1 - 22*r**2 + b*r**2. Is y(1) a multiple of 26?
False
Suppose -136*x = -137*x + 150. Is 25 a factor of x?
True
Let p(w) = w - 2*w + 1 + 3*w - 6*w. Let t be p(-1). Suppose -i = x - 36, -t*i = -2*i. Does 12 divide x?
True
Suppose -5*f + 242 = 6*f. Let z = 1 + f. Does 7 divide z?
False
Let i(c) = -2*c**3 - 5*c**2 - 2*c + 3. Let p(h) = -h + 4. Let g be p(5). Let b(n) = 4*n**3 + n**2 + n + 1. Let o be b(g). Is 9 a factor of i(o)?
True
Let u(p) = -2*p**3 + 2*p**2 + 4*p + 1. Let g be u(-1). Let a = g - -117. Is a a multiple of 21?
False
Let i = 0 - -2. Suppose i*s = -3*s - 625. Let r = 185 + s. Does 20 divide r?
True
Let v = -18 + 23. Suppose 2*y + l = 68, -v*y + 56 + 116 = 2*l. Does 18 divide y?
True
Let c = 1320 + 3384. Is 147 a factor of c?
True
Let x be -25*((1 - 0) + -3). Let j = 0 + 0. Suppose u + u - x = j. Is u a multiple of 8?
False
Let q(g) = -2*g**2 - 4*g - 2. Let r be q(-2). Is r/6 - (-872)/24 a multiple of 8?
False
Let f(z) = -3*z**3 - 61*z**2 + 39*z + 27. Is 18 a factor of f(-21)?
True
Suppose 0*k = 2*o - k - 488, 4*o - 976 = -4*k. Suppose 6*y + o = 8*y. Is 15 a factor of -3*y/(-6) + -1?
True
Let x(m) = 11*m**2 + 2*m + 1. Suppose 5*h - 13 = -3. Let c be x(h). Suppose c = 2*q - 25. Is 10 a factor of q?
False
Is 50 - -77 - 2/1 a multiple of 2?
False
Let q(z) = -z**3 - 11*z**2 - 3*z - 29. Let k be q(-11). Suppose 0 = l + 5*r - 23, 132 - 10 = k*l + 5*r. Is 8 a factor of l?
False
Let c = -139 - -596. Does 19 divide c?
False
Suppose 0 = -4*r - 0*r + 20. Suppose 5*i = 2*v + 4, 3*v + 2*v = r*i - 10. Suppose 2*t + 2*b = 52, i = -3*t - 5*b + 82 - 12. Does 17 divide t?
False
Let t = 48 - 168. Let h = -60 - t. Does 20 divide h?
True
Does 132 divide 3447 + -1*(-5 + 6)?
False
Let s(f) = f. Let h be s(4). Suppose -q + 118 = 4*q + 3*u, -h*q + 2*u + 90 = 0. Is 16 a factor of q?
False
Let k be (4/9)/2 + (-25632)/162. Let o = k - -251. Does 15 divide o?
False
Suppose 15*x = 3*x + 1632. Is 29 a factor of x?
False
Suppose p - 24 = -0*p - 4*w, 0 = 3*p - 2*w - 2. Suppose 3*u = -2*v - 2*v + 30, -p*u + 2*v + 18 = 0. Let k(a) = a**3 - 6*a**2 + 8*a + 1. Does 14 divide k(u)?
False
Let z be (-2)/(-6) - (-20)/(-6). Suppose -24 = 3*g - 6. Is 12 a factor of z - g - (-22)/2?
False
Let f = 2682 + 1157. Is 11 a factor of f?
True
Let m = 19 - 24. Let j be 3 + (m - -2) - 0. Suppose -45 = -j*c - c. Does 9 divide c?
True
Suppose 4 = 6*z - 10*z. Let u = z - -43. Is 11 a factor of u?
False
Suppose -3*r - r - 48 = 0. Let l = 18 + r. Let a = 9 + l. Does 6 divide a?
False
Let x = 24 - 21. Suppose -4*a + 5*w - 11 - x = 0, 4 = -2*a + w. Does 11 divide 33/(-2)*(a - 1)?
True
Suppose -p = -3*m + 153, -p + 0*p - 2*m = 148. Let f be p/(-12)*(-1 + 3). Suppose -6*q + f = -5*q. Does 8 divide q?
False
Let x(a) = 21*a**2 + 4*a + 3. Let p be x(-5). Suppose -j + 16 + 19 = 0. Does 9 divide (-10)/j + p/14?
True
Suppose 12 = -4*t + 5*v, 0 + 6 = 5*t - v. Suppose -3*h - t*s = 11, 3*h + 23 = -h - s. Let r = h + 11. Is 4 a factor of r?
True
Is 2 a factor of 39/13 + 196/2?
False
Let b(o) be the first derivative of 5*o**2/2 + 76. Suppose -2*r = 2*r - 20. Is b(r) a multiple of 13?
False
Suppose 0 = -2*q + 253 + 27. Suppose 0 = -4*v + 4*z + q, -1 - 1 = -2*z. Is 9 a factor of v?
True
Let y be 0/(((-3)/9)/(2/(-24))). Suppose -3*h - 24 = -y*a -