ppose -2*j - 52 = -3*j. Suppose 3 = -4*l - 1, 2*d + 2*l = j. Is 27 a factor of d?
True
Suppose 2293 = 25*o + 368. Is 7 a factor of o?
True
Suppose 0 = k + 4*x - 30, 3*k - x = k + 96. Let y = -22 + k. Is 9 a factor of y?
False
Suppose 0 = 4*n - g - 119, 0 = 3*n - 0*n - 3*g - 78. Let k = n + -25. Let y = k + 9. Is 6 a factor of y?
False
Let n(q) = q**3 - 4*q**2 + 3*q - 15. Suppose l - 10 = 4*g, -4*g + 3*g = -l + 7. Is 14 a factor of n(l)?
False
Let p(b) be the first derivative of -b**3/6 + 3*b**2/2 + b - 4. Let l(y) be the first derivative of p(y). Does 3 divide l(-6)?
True
Let w(t) = -t + 11. Let g be w(6). Let s(f) = -4*f + 2*f**2 + 5 + 6*f**2 - g*f**2 - 2. Does 20 divide s(5)?
False
Let j = -1321 - -2016. Is j a multiple of 37?
False
Let b = -4 + 35. Suppose 2*q + 41 = 4*m + m, -3*m - 2*q + b = 0. Suppose -2*r + m = -1. Is r a multiple of 4?
False
Is 18 a factor of (723/9)/(50/150)?
False
Let w = 54 + 31. Let l = w + -27. Let d = -35 + l. Does 3 divide d?
False
Suppose -11232 = -5*i - 1557. Is i a multiple of 27?
False
Suppose 10*z - 5*u - 15 = 9*z, z = 2*u. Is (-368)/z + (-36)/(-180) a multiple of 2?
False
Does 5 divide (12/90*-9)/(24/(-4520))?
False
Suppose -5 - 40 = 5*b. Let q(f) = f**3 + 8*f**2 - 8*f + 9. Let r be q(b). Suppose 5*n - 61 - 79 = r. Is 14 a factor of n?
True
Suppose d = 4*h - 1077, 2*h + d + d - 546 = 0. Is h/20 - (-1)/(-2) a multiple of 13?
True
Suppose 4*j = -l + 533, -5 = -4*l - l. Is 3 a factor of (-4)/14 + 3097/j?
False
Let b(c) = 167*c - 22. Is 45 a factor of b(7)?
False
Suppose 0 = q + 33 - 87. Suppose 0 = -3*v - 0*v - q. Let t = v - -46. Is 13 a factor of t?
False
Suppose 5*k - 15 = 0, -3*b + k = -3*k - 303. Is b a multiple of 3?
True
Let k be (20/50)/(4/(-20)). Let y be (-28)/6 + (-4)/(-6). Does 6 divide ((-36)/y)/((-1)/k)?
True
Is 18/8 + 1 - (-2)/(-8) a multiple of 3?
True
Does 15 divide -3 + (1435 - 0) + 5?
False
Is 35 a factor of 14 - 11 - (-1 - (3 - -2100))?
False
Suppose -19*b - 294 = -25*b. Is b a multiple of 7?
True
Let n(g) = -g**3 - 9*g**2 + 9*g + 1. Let r be (-1008)/(-22) + (-2)/(-11). Suppose 3*w = 2*v - 34, -5*w - 2*v + 0*v = r. Is n(w) a multiple of 3?
False
Let a = 1972 - 905. Does 11 divide a?
True
Let n(d) = d**3 + 7*d**2 + 7*d + 7. Suppose 2*u + 3 = -2*r - 3, 15 = -4*u - r. Is 19 a factor of n(u)?
False
Suppose -45 = -6*d + 63. Let j = d - -96. Is j a multiple of 19?
True
Is 4 a factor of (-136)/(-85)*5/2?
True
Let t = 568 - 350. Does 26 divide t?
False
Let a be (-1)/7 - (-1331)/7. Suppose -3 = -5*r + 2*r, 3*l - a = -r. Let h = 100 - l. Is 8 a factor of h?
False
Suppose 0 = -2*l + 4*l + 5*t + 51, 126 = -4*l - 2*t. Is 11 a factor of l/(-44) + 409/4?
False
Let f(c) = -c**3 + 6*c**2 + 2*c - 1. Let i be f(6). Let p = i + -2. Does 13 divide 3*6/p + 37?
True
Suppose 2*k + 2*k + 44 = 0. Let c(u) = -2*u + 2. Does 12 divide c(k)?
True
Suppose 20*p - 10 = 18*p. Suppose 4*m + 6*q - p*q = 600, -4*m = 4*q - 588. Does 35 divide m?
False
Suppose d - 4*m + 5*m = 121, 0 = -4*d - 2*m + 478. Let s = 223 - d. Is 4 a factor of s?
False
Let q(s) be the first derivative of -7*s**2 + 2*s - 18. Does 25 divide q(-10)?
False
Suppose 0*m - 4*b = 2*m - 1296, -2*m - b = -1293. Does 47 divide m?
False
Suppose 8*o = -1656 + 16632. Does 8 divide o?
True
Suppose -29 = -5*v + 91. Suppose 2*f + s = 3*f - v, -100 = -4*f + 3*s. Is f a multiple of 4?
True
Let g be ((-34)/(-6) - 5)/(2/1635). Suppose -5*y = -5*w - g, -4*y + 26 = w - 425. Is 8 a factor of y?
True
Let p(h) = 5*h - 8. Let f be p(-2). Does 35 divide (9/3)/((-1)/f)?
False
Suppose 2*x = x - 3. Let w(j) = -4*j**2 - j**2 + 6*j**2 - 2*j + 4 - 2. Is w(x) a multiple of 8?
False
Let f = 433 + -12. Is f a multiple of 49?
False
Does 16 divide (-9916)/(-6) - 4/(-3)?
False
Let l(f) = f**3 - 6*f**2 - 40*f - 17. Is l(12) a multiple of 8?
False
Let c be (-15)/(225/340) - (-8)/(-6). Is 35 a factor of c*((-141)/12 - -4)?
False
Let m = 7 + 2. Suppose -27 = v + m. Is 21 a factor of (-1828)/v + 4/18?
False
Suppose 69 = -4*v + v. Let p = 11 - v. Is p a multiple of 5?
False
Suppose 0 = -o + 23 - 4. Suppose -5*w + o = -11. Is 6 a factor of w?
True
Let t(y) = -8*y + 8. Suppose 15*f - 17*f - 8 = 0. Is t(f) a multiple of 8?
True
Let b(v) = -v**3 - 5*v**2 + 7*v - 12. Let y be b(-9). Let k = y + -170. Does 12 divide k?
False
Let r = 168 + -79. Let w = 53 - r. Let o = w - -97. Does 13 divide o?
False
Let f = -33 - -89. Suppose -b + 3*d = -f, 3*b + 5*d - 134 = 6. Is b a multiple of 10?
True
Let k(m) = m + 11. Let r be k(-6). Suppose 0 = 4*a - r*a + 16. Is 2 a factor of a?
True
Suppose 0 = 5*z - 3438 + 513. Is 45 a factor of z?
True
Suppose -4*l + 3*g + 915 = 0, -4*l - g = 4*g - 907. Suppose -3*q + 4*a + 176 = 0, a = 5*q - l - 54. Does 5 divide q?
False
Suppose 4*j - 669 = -5337. Does 26 divide j/(-9) - (-5)/15?
True
Let d(j) = j**3 - 5*j**2 + 4*j. Let n be d(3). Let z be ((-40)/12)/(4/n). Suppose -2*g + 57 + 21 = -2*l, -3*g - z*l = -85. Is 6 a factor of g?
False
Suppose 2*a - a - 5 = 0. Suppose -3*b = -a*b + 132. Does 11 divide (b/18)/(3/27)?
True
Let a(i) = 48*i**2 - 11*i - 6. Is 17 a factor of a(5)?
True
Let m(n) = -2*n**3 + 4*n**2 + 26*n - 120. Is 34 a factor of m(-9)?
True
Suppose 0 = 6*v - v - 5*a - 30, 5*a - 12 = -v. Let t(z) = z**3 - 6*z**2 - 12*z + 13. Let d be t(v). Let g = -6 - d. Does 4 divide g?
True
Let v = 445 - 135. Does 10 divide v?
True
Let v = -98 + 170. Is 6 a factor of 4 + v/4 + 3?
False
Suppose 4*o = -3*b + 39 - 6, 0 = -5*b + 5*o + 90. Suppose -b*d = -3142 + 1147. Is d a multiple of 7?
True
Let k be (-50)/(-225) - 8449/(-9). Suppose -5*a = -2*l - k, 4*a - 195 = 3*a - 2*l. Is 21 a factor of a?
True
Let a(d) be the third derivative of d**6/120 - d**5/15 - d**4/24 - 5*d**3/6 + 2*d**2. Let c(h) = h**3 + 3*h**2 - h + 2. Let n be c(-3). Does 5 divide a(n)?
True
Let w be 132/(-28) - (-2)/(-7). Is w*12/330 - (-1588)/22 a multiple of 3?
True
Suppose 10*t - 1280 - 4970 = 0. Is 25 a factor of t?
True
Suppose -5*t + 12 = 2, 0 = -5*l - 5*t + 80. Let q = -9 + l. Does 4 divide q?
False
Let v = -672 + 944. Does 10 divide v?
False
Let h = 49 + -71. Let z = -17 - h. Suppose 8 + 32 = z*v. Is v a multiple of 4?
True
Does 63 divide (-3033)/(-24) - 57/152?
True
Suppose -5*c + 288 = -2*c. Suppose -c = -4*o - n, -7*o + 2*o + 5*n + 95 = 0. Does 7 divide o?
False
Suppose -8*b + 314 = -750. Is b a multiple of 15?
False
Suppose 0 = -5*n + 9*z - 13*z + 2442, 5*n + 2*z = 2446. Is n a multiple of 10?
True
Let u(r) = 28*r**3 + r + 1. Let n be u(-1). Is n + 27 + -2*71/(-2) a multiple of 7?
True
Let i = -104 - -179. Is i even?
False
Suppose 5*o - 3*p = -17, -o - 4*o - 5*p - 25 = 0. Let n(w) = w**3 + 5*w**2 + w - 5. Let k be n(o). Suppose 37 = 8*q - k*q. Is 8 a factor of q?
False
Let c = 6 - 6. Suppose c = 3*u - 82 + 22. Let k = u - 8. Does 12 divide k?
True
Let v = -5 + 7. Suppose -v*f + 5*f - 3 = 0. Is 5*12*(0 + f) a multiple of 20?
True
Let s(x) = 2*x - 25. Let z be s(15). Let o(d) = 13*d + 11. Is 20 a factor of o(z)?
False
Suppose -2*i + 6 = 5*a, -2*i + 4*a + 3 = -i. Suppose -5*p + 14 = 2*b, i*p - 4*b + 2 = -0*b. Suppose -3*u + p = -10. Is 3 a factor of u?
False
Let q = -17 + 2. Let p = q - -45. Does 6 divide p?
True
Suppose -2 = -2*j, -g + 72 = 2*j - 38. Is g a multiple of 9?
True
Let f be (-24)/(-3) + 1 + 3. Let o be -4 + f/4 + 3. Suppose 0 = q + o*x - 11, -68 = -q - 2*q + x. Is 4 a factor of q?
False
Let s = -91 + 94. Suppose 2*h - 128 = -4*k, 213 + 15 = 3*h - s*k. Does 15 divide h?
False
Suppose c + 7305 = 5*s, 2*s - 17*c - 2929 = -18*c. Does 12 divide s?
False
Let q = -88 - -100. Suppose -b + q*b - 385 = 0. Is b a multiple of 35?
True
Suppose -2265 = -5*v + 740. Does 17 divide v?
False
Let t(m) = m**2 - 11. Let f be t(-5). Let y = -9 + f. Suppose -102 = 4*a - y*a. Does 30 divide a?
False
Let a(w) = -w**3 - 6*w**2 - w + 1. Let b be a(-6). Let f(u) = 15*u + 18. Is f(b) a multiple of 41?
True
Is (-2)/(-12) - (2549/(-6) - -1) a multiple of 53?
True
Let j(g) = -89*g + 8. Suppose 5*o - f + 10 = -10, -8 = 2*o + 4*f. Let z be j(o). Let x = -251 + z. Is 19 a factor of x?
False
Suppose 2*d - 154 = d. Suppose -b + d = 6*b. Is 22 a factor of b?
True
Suppose r = -6*b + 3*b - 2, 2*r - 12 = 2*b. Let u(s) be the first derivative of 5*s**3/3 - 3*s**2/2 - 2*s + 2. Is u(b) a multiple of 6?
True
Suppose -2*y - 2*k = -78, 23 +