 -4 + c**3 - 1 - 2*c + 2*c**2 + 2. Let x(r) = -r**2 - 20*r - 72. Let n be x(-5). Is y(n) a multiple of 12?
True
Let h = 2 + 1. Suppose h*d = -f - 5 - 3, 4*d = -4*f. Suppose 0 = f*l + 4 - 60. Is l a multiple of 12?
False
Suppose 0 = -r - 5*x + 382, 2*r - 118 = 5*x + 706. Suppose 0 = 5*m - n - 3*n - r, -3*m = n - 248. Is 28 a factor of m?
False
Suppose 1302 = 6*x - 432. Suppose x + 215 = 3*v. Does 24 divide v?
True
Suppose 12*c - 7*c = -5*p + 775, 4*p - c - 615 = 0. Does 21 divide p?
False
Suppose g + 837 = 2*k, -5*g = -3*k - 0*g + 1259. Is 19 a factor of k?
True
Suppose -3*q - 5*h - 3 = -0*h, -5*h = 15. Suppose q*v = 8*v - 304. Is 16 a factor of v?
False
Let u be (-10)/(-55) - (-70)/(-22). Let x(c) = 0*c + 3*c + 2*c - c + 2*c**2 + 1. Is x(u) a multiple of 4?
False
Suppose y - 3*u = 372, 3*y - 1104 = 6*u - u. Is 6 a factor of y?
False
Let z(h) = -439*h + 460. Does 15 divide z(-3)?
False
Let i = 2 + 2. Suppose -z = -4*z + 2*a + 324, -5*z = i*a - 540. Is 12 a factor of z?
True
Is 43 a factor of (385/(-25))/((-15)/3225)?
True
Is ((-45)/2)/(120/(-3360)) a multiple of 6?
True
Let b = 124 - 7. Does 39 divide b?
True
Let n = -1621 + 2667. Is 16 a factor of n?
False
Suppose 5*m = 8*m - 156. Suppose -y + 33 = 4*r, 217 - m = 5*y - 4*r. Does 11 divide y?
True
Is ((-100)/6)/((25/(-30))/5) a multiple of 20?
True
Suppose 2849 = 3*h - 4333. Is 123 a factor of h?
False
Let f(z) = -568*z**3 - z**2 - 4*z - 3. Let t be f(-1). Suppose 9*l - 548 = t. Is l a multiple of 31?
True
Let b be (-40)/6*(-168)/35. Does 7 divide b/(-12)*(0 + (-51)/2)?
False
Let s(t) = 2*t**2 + 12*t - 5. Let f = -15 - -5. Let a be s(f). Suppose 6*n = n + a. Does 3 divide n?
True
Let r = 11 + -7. Suppose w - 88 = -0*w + u, 2*w - r*u = 184. Suppose w = 9*x - 6*x. Is x a multiple of 22?
False
Let l(d) be the second derivative of -8*d**3/3 - 9*d**2 + 10*d. Is l(-7) a multiple of 12?
False
Let x = 1022 + -950. Is x a multiple of 2?
True
Let i = -1100 - -2162. Is i a multiple of 16?
False
Let t be (-2 - (-2 + -2)) + -139. Let u = t - -217. Is 20 a factor of u?
True
Let h(i) = -63*i - 89. Is 26 a factor of h(-4)?
False
Suppose -176 = -5*o + 264. Let c = 183 - 179. Suppose -c*i = -5*w + 124, 4*i = -3*w + 3*i + o. Is 3 a factor of w?
False
Let c(a) = 36*a**2. Let d be c(-1). Suppose 0 = -3*l + d - 0. Is 3 a factor of l?
True
Is (46 - 47) + 325/1 a multiple of 18?
True
Let u(r) = 12*r**2 - 7*r - 70. Is 8 a factor of u(6)?
True
Let c(t) = -t - 1. Let g(b) = b**3 - 11*b**2 - 3. Let w be g(11). Let s be c(w). Suppose 4*l - s*j - 204 = 0, 0*j = -l - 2*j + 61. Does 14 divide l?
False
Let j(b) = b**3 - 17*b**2 - 3*b + 7. Let x be j(18). Suppose 6*s + 43 = x. Suppose -5*m + s + 6 = 0. Does 9 divide m?
True
Suppose -5*v + 4*k + 4994 = -3123, 5*k = 4*v - 6490. Does 59 divide v?
False
Let t(u) = 30*u**2 + 69*u - 13. Does 88 divide t(-9)?
False
Let a = 87 + 123. Is a a multiple of 15?
True
Suppose -5*h - 35 = 245. Let l be -30 - (-3 - -7 - 2). Is 2*12/l*h a multiple of 14?
True
Suppose -3*x - 4*o + 8 = 0, -4*x + 6*o - o - 10 = 0. Suppose x = -4*a + 2*a + 12. Suppose -a = -l + 4. Is l a multiple of 10?
True
Suppose -9*z + 28 = 5*z. Is 12 a factor of (z/(-4))/(3/(-726))?
False
Does 32 divide (-6*(-2 - -1))/(153/28356)?
False
Let c(v) = -52*v + 92. Let n be c(-7). Suppose -11*l + 6 + n = 0. Is 14 a factor of l?
True
Suppose 0 = -9*u + 3*u - 66. Let l = 31 - u. Does 14 divide l?
True
Let o = -16 - -26. Let w = o + -8. Let s(m) = m**2 + m + 2. Is s(w) a multiple of 6?
False
Let w(u) = u**3 - 13*u**2 + 6*u - 1. Let b be w(13). Suppose -2*l + 4*p = -162, -100 = -2*l + p + b. Does 8 divide l?
False
Let y(x) be the first derivative of 7*x**3/3 - x**2/2 + 6*x + 20. Is y(4) a multiple of 19?
True
Suppose t - 5*t = -5*f - 2432, 607 = t - f. Is 79 a factor of t?
False
Let v be -1*2/(6/(-51)). Suppose 4*x - 4*p - p = 83, -2*p = -x + v. Suppose x = -5*g + 192. Is g a multiple of 13?
False
Suppose 7025 = -14*b + 36775. Is b a multiple of 25?
True
Suppose 57 = 5*d - 168. Suppose -16*t + d = -15*t. Is 18 a factor of t?
False
Let t be (-33)/(-55) + 2904/10. Does 16 divide t/15 + (-14)/35?
False
Let j(c) = -9*c + 64. Is j(3) a multiple of 2?
False
Let a(h) = -h**2 + 10*h - 39. Let v be a(15). Let p be 10/40 - (-683)/4. Let n = p + v. Is n a multiple of 14?
False
Let b(f) = 186*f - 514. Is b(5) a multiple of 8?
True
Let v(r) = -8*r**3 - 4*r**2 + 6*r - 5. Let m(t) = -9*t**3 - 5*t**2 + 7*t - 6. Let n(j) = 4*m(j) - 5*v(j). Is 3 a factor of n(1)?
True
Let q(h) = h**2 + 13*h + 22. Let c be q(-12). Suppose 33 = -c*t + 1053. Is t a multiple of 10?
False
Let w = 791 - 458. Is w a multiple of 27?
False
Suppose -5*m - w + 23 = -169, -m + 3*w + 48 = 0. Suppose -5*v = -11 - m. Let t = 38 - v. Is 19 a factor of t?
False
Let r(u) = u**3 + 18*u**2 - 8*u + 12. Suppose 8 = -i - 5*p, 5*i + 100 = 2*p + 3*p. Is r(i) a multiple of 32?
False
Let h(l) = -2*l + 31. Let x be h(13). Let u = 9 - x. Suppose 23 = z + u*s - s, 3*z - 2*s = 47. Is z a multiple of 5?
False
Suppose 14*t = 9*t + 15. Suppose 0*p + 177 = 5*p - t*y, p = 5*y + 53. Is 15 a factor of p?
False
Let n = 14 - 10. Let x(h) = 2*h**2 + 6*h + 2. Is x(n) a multiple of 11?
False
Let f be 118/(-8) - (-9)/(-36). Is 26 a factor of -87*5/f - -3?
False
Suppose -3*s = -3*i + 1704, -7*s = 2*i - 4*s - 1136. Does 20 divide i?
False
Let w be ((-1)/(-2))/(6/4)*9. Suppose -2*k - 2*k = 16, f - 5*k = 132. Suppose 2*i = w*z + 227, 0*z - f = -i + z. Does 14 divide i?
False
Let a = 626 + -340. Does 12 divide a?
False
Let v be (-6)/(-9) - (-1644)/18. Suppose 328 + v = 4*m. Is m a multiple of 23?
False
Suppose 4*n - 54*n + 19950 = 0. Is n a multiple of 57?
True
Suppose -16*x - 1091 + 18035 = 0. Is x a multiple of 12?
False
Suppose -5*h = -6 + 1. Let c be (-4 + h)/(-3 - -2). Suppose c*a - 2*l - 292 = -2*a, 5*l + 280 = 5*a. Does 16 divide a?
False
Let d(l) = 30*l + 1. Let a be d(-2). Let x = a - -87. Is x a multiple of 7?
True
Suppose 2*d + 85 = 207. Let x = 178 - d. Does 10 divide x?
False
Let y be (1 - 1) + 10 + -12. Is 21 a factor of (1*y)/((-1)/16)?
False
Let o(v) = 4*v - 4. Let h = -11 + 15. Let j be o(h). Let s = 2 + j. Does 14 divide s?
True
Let r be (1 - 1/(-1))/(4/6). Is 1258/8 + r/(-12) + -1 a multiple of 21?
False
Suppose 6*l - 5088 = 3*l. Does 7 divide l?
False
Does 8 divide 10/1 - (-2502 + -32)?
True
Let n(l) = -391*l**3 - l**2 - 16*l - 15. Does 17 divide n(-1)?
True
Let t(s) = 2*s**3 + 64*s**2 + 21*s - 61. Is t(-31) a multiple of 18?
False
Suppose -53 = 3*b - 167. Suppose 2 = 4*s - b. Suppose -6*u + s*u - 112 = 0. Does 23 divide u?
False
Suppose -3*v + 181 = -170. Suppose 2*i + 3*o = o + 218, -i + v = -3*o. Let j = i + -68. Does 30 divide j?
False
Is ((-4)/(-30)*-3)/(7/(-5600)) a multiple of 12?
False
Suppose -5382 = -7*w + 2472. Does 22 divide w?
True
Let d(c) be the second derivative of c**5/20 - 5*c**4/6 + 11*c**3/6 - 9*c**2/2 - 10*c. Does 2 divide d(9)?
False
Let z(g) = 90*g + 1286. Does 45 divide z(-10)?
False
Suppose -2*m = 0, -240 = -4*l - 0*m + 5*m. Does 15 divide l?
True
Let w(l) = l**3 + 18*l**2 - 19*l + 26. Let z be w(-19). Suppose 5*x - 103 = -4*d, -x = 3*d - 2*d - z. Is d a multiple of 15?
False
Let n be (-1 - (-6 - 1))/((-12)/(-1664)). Suppose n = 5*l + 2*x, 3*l - 496 = 12*x - 14*x. Does 12 divide l?
True
Is 1*((-742)/(-28))/(1/22) a multiple of 53?
True
Suppose -418 = -m - 0*q - 5*q, 4*q - 836 = -2*m. Does 11 divide m?
True
Does 40 divide (2 - (-6256)/10)/(94/470)?
False
Let y(h) be the first derivative of -4 - 13/2*h**2 + 10*h + 2/3*h**3. Is 14 a factor of y(8)?
False
Let w = -33 - -129. Does 10 divide w?
False
Let r(y) = y**2 + 3. Let v = -4 + 4. Let u be r(v). Suppose m = 2*b - 48, u*m = 2*b - m - 54. Does 5 divide b?
False
Let k be 2/(-4)*1 - 646/(-76). Suppose -96 = -10*r + k*r. Is 44 a factor of r?
False
Suppose -5*w + 15*o = 13*o - 2248, -5*w + 4*o = -2256. Is 19 a factor of w?
False
Let n be 0/5 + 74 + -1. Let k = n + -59. Does 12 divide k?
False
Let q = 100 + -95. Is 585/q - -2 - -1 a multiple of 24?
True
Suppose 6 + 1 = 3*l + 2*m, -l = -5*m + 26. Let n = 9 + 8. Let g = n - l. Is g a multiple of 16?
False
Suppose 3 = 5*x + p, 5*p - 3*p = -5*x + 1. Let b = -1 - x. Is -6*1/b + 44 a multiple of 9?
False
Suppose 681 = s + 5*n + 121, 5*s = -5*n + 2720. Does 20 divide s?
True
Let a be 