or of c?
False
Suppose 2*o - 2*p = -0*o - 50, 3*o + 3*p = -81. Let f = o + 50. Is f a multiple of 3?
True
Let q(c) = 7*c**2 - 27*c + 6. Is q(8) a multiple of 9?
False
Let p be (2 - -21)/((-4)/(-20)). Suppose 3*s - p = 74. Does 40 divide s?
False
Suppose 3*w = f + 1, 2*f + 2*w = -2*f + 38. Let v(x) = -4*x**2 - 10*x + 0*x**2 + 3*x**2 + 3*x**2 - 8. Is 10 a factor of v(f)?
True
Let t be ((96/(-7))/4)/((-6)/42). Suppose -4*i = -2*f - 66 - t, f = -5. Is i a multiple of 2?
True
Suppose 2*p - 210 = 6*p - 2*y, 0 = p + 4*y + 39. Let o = p - -148. Does 13 divide o?
False
Let p = -358 + 736. Is p a multiple of 11?
False
Suppose -268*u + 273*u = 2280. Is 19 a factor of u?
True
Let p = -11 - -277. Is 68 a factor of p?
False
Let z(f) be the first derivative of f**2 + 9*f - 8. Let h be z(-4). Let w(r) = 16*r**2 + r. Is w(h) a multiple of 4?
False
Let p(g) = -g**3 + 34*g**2 + 51*g - 96. Is 58 a factor of p(35)?
True
Suppose f - 189 = -6*f. Suppose -i = m - f, 0*m - 2*m = -2*i - 70. Is 9 a factor of m?
False
Let b(c) = -5*c - 88. Let u be b(0). Is 4 a factor of u/6*(-1 + -2)?
True
Let o = -30 + 44. Suppose -78 = -4*y - o. Let q = y - -1. Is q a multiple of 6?
False
Suppose 6 = 5*w - 2*s + 1, 2*w = -4*s + 26. Let b(m) be the first derivative of m**4/4 + 2*m**3/3 - m**2 - 3*m - 3. Is 11 a factor of b(w)?
False
Suppose 0 = -5*g + 609 - 24. Is g a multiple of 13?
True
Does 13 divide (87 - 2) + 0 - (5 - 4)?
False
Let x = 29 + -26. Let m(v) = -2*v**2 + v + 30. Let s(i) = i**2 - 10. Let w(f) = x*m(f) + 8*s(f). Is 9 a factor of w(4)?
True
Suppose 4*d = -2*o + 6, -o - 3 = d - 2*o. Suppose -4*s + 74 - 26 = d. Is 12 a factor of s?
True
Suppose -20*q = -q - 50160. Is 27 a factor of q?
False
Suppose 0 = 2*n - j - j + 2, -4*n + 3*j = 0. Let y(h) = 2577 - 4*h - 2579 + 7*h. Is y(n) even?
False
Let s(j) = -j**3 - 3*j**2 - 7*j. Let y be s(-4). Suppose 5*i - y = -3*k + 54, 0 = -k + i + 46. Is 7 a factor of k?
False
Let g be 1*(-2 + 4/(-1)). Let b be (-2)/(-15) - (-34862)/(-15). Is 20 a factor of (b/42)/(4/g)?
False
Suppose 5*s - a = 209 + 701, 5 = -a. Is s a multiple of 10?
False
Suppose 4*k - 2*t = 36, 2*t - 3*t = -2. Suppose 0 = -k*s + 901 + 1329. Is s a multiple of 16?
False
Let d = -116 + 233. Does 29 divide d?
False
Let c(v) = 15*v - 101. Let o be c(10). Let g be 93/6*(-2 - 0). Let k = g + o. Does 6 divide k?
True
Let f be 113 + 1 + -1 + (-10 - -8). Let s = -23 + f. Is 10 a factor of s?
False
Let t(b) = -b - 15. Let n be t(-11). Let m be (3 - (-60)/(-16))*n. Suppose -m*w - 2*k - k = -153, -5*w = 3*k - 251. Is 8 a factor of w?
False
Suppose k - 5*d - 164 = 0, 4*k - 3*d + 2*d - 675 = 0. Is k a multiple of 36?
False
Let b = 143 - 88. Is 14 a factor of b?
False
Let q = -3 - -8. Suppose 4*z - 117 = q*o, 0 = -z - 2*z + 3*o + 87. Is z a multiple of 14?
True
Let b(f) = -3*f**2 - 14*f - 23. Let u be b(-12). Let c = -203 - u. Does 28 divide c?
True
Let i be 0/11 + 1*-3. Let g be 54 + (i - -6) + -6. Let c = -23 + g. Is 8 a factor of c?
False
Suppose -5*n + 15 = 0, 2*c + 4*n - 46 - 64 = 0. Suppose -51*x + c*x = -168. Is 5 a factor of x?
False
Suppose -f = -r - 184, 7*r + 732 = 4*f + 4*r. Let q = f - 120. Is 20 a factor of q?
True
Let l(x) = x**2 + 18*x - 304. Does 39 divide l(-41)?
False
Suppose -p - t = 3*p - 159, -p + t + 41 = 0. Is 10 a factor of p?
True
Let z = -233 - -112. Let c(s) = -4861*s**3 - s**2. Let j be c(1). Is j/z - (-4)/(-22) a multiple of 14?
False
Suppose 56*a + 29*a - 32980 = 0. Is a a multiple of 4?
True
Let s(q) = 3*q**3 - 4*q**2 + 6*q - 5. Let k be s(3). Suppose k = -2*m + 90. Is 4 a factor of m?
True
Let p(a) = a**3 - 10*a**2 + 9*a + 2. Let c be p(9). Suppose o - 20 = c*t - 0*o, 4*o = -3*t - 30. Let v = t - -37. Is 27 a factor of v?
True
Let w(d) = d**2 - 7*d + 8. Let j be w(4). Is 3 a factor of 7 + (4 - (j + 12))?
True
Let q be (-177)/(-5)*(-20)/(-4). Suppose m + 2*s = q, -s - 481 = -5*m + 371. Suppose 3*l + 5*g - 120 = 0, 3*g - m = -5*l + l. Is 20 a factor of l?
False
Suppose 0 = -2*g + 3*g + 2*s - 296, g - 288 = -4*s. Suppose 4*t - 180 = t + 3*a, -g = -5*t + a. Does 17 divide t?
False
Suppose 20*h - 24024 = -19*h. Is 77 a factor of h?
True
Let v = 47 - 47. Suppose v = 2*d - 5 - 193. Is 7 a factor of d?
False
Let q be (-3)/(-2) + 4/8. Suppose -q = -t + 2. Is 13 a factor of 3/12 - (-175)/t?
False
Let s = -580 - -1229. Is s a multiple of 11?
True
Let g(t) = t**3 - 18*t**2 + 15*t + 11. Does 6 divide g(18)?
False
Let n(c) be the second derivative of c**6/360 - c**5/40 + c**4/4 + c**3/6 - 4*c. Let s(y) be the second derivative of n(y). Is s(7) a multiple of 12?
False
Let b = -8 - -86. Suppose -2*t = -b - 94. Is t a multiple of 9?
False
Let p(b) = -b + 95. Is 24 a factor of p(23)?
True
Let s = -291 - -756. Suppose s = 8*g - 119. Is g a multiple of 24?
False
Suppose 0 = -4*f - 2*d, 0 = 2*f - 0*f - 5*d. Is 8 a factor of (-1 - (f - -1)) + 22 + 28?
True
Let m(b) = -b**3 + 4*b**2 + 17*b - 33. Does 27 divide m(5)?
True
Let p = -217 + 318. Suppose 7*l - p = 6*l. Suppose 5*m - l = 94. Is m a multiple of 17?
False
Let v be (-6)/(-15) + (-2)/5. Suppose i - 2 - 1 = v. Suppose i*u + 4*d = 2*d + 101, -104 = -3*u - 5*d. Does 7 divide u?
False
Suppose 0 = -2*d - 2*w - 2*w - 14, 4*d + 8 = -4*w. Let g(u) = u**2 + 2*u - 7. Let k be g(d). Suppose -7*z + k*z - 97 = 0. Does 25 divide z?
False
Let v = -706 + 993. Does 41 divide v?
True
Suppose -q = -10 + 12. Is 53 a factor of q*(1 - (-770)/(-4))?
False
Suppose -5*v = -870 - 165. Is 12 a factor of v?
False
Suppose 0 = 3*j - 4 - 53. Let p be 1 + -1 - -2 - 0. Suppose -t - 8 = -d, 0*d = p*d + t - j. Is d a multiple of 9?
True
Suppose -4*j - 106 = -22. Let z = -19 - j. Suppose -5*t = -b - z, 5*t + 11 = 5*b - 59. Is 12 a factor of b?
False
Let r = 3807 + -1620. Is 39 a factor of r?
False
Let l(x) = -24*x - 10. Let v be (0/1)/3 + -9. Let h be l(v). Is 15 a factor of 6/21 + h/14?
True
Let t = -12 - -792. Does 60 divide t?
True
Suppose -9 - 9 = -3*k. Suppose -2*l = 4, -c - k*l + 182 = -l. Is 24 a factor of c?
True
Suppose -i - 4 = -7. Suppose -975 = -16*v + i*v. Is v a multiple of 15?
True
Let w(q) = -2*q**2 - 3*q - 4. Let a be w(-2). Is ((-123)/a)/((-2)/(-4)) a multiple of 11?
False
Suppose 1078 = 7*n + 7*n. Is n a multiple of 7?
True
Let w = -875 + 2855. Is 30 a factor of w?
True
Suppose 7 = 3*y - 2. Let m(h) = 5*h**3 + 3*h**2 - 4*h. Is m(y) a multiple of 30?
True
Suppose -2*o + 17 = 19. Let u(q) = 25*q**2 - 2*q. Does 9 divide u(o)?
True
Let j be (810/4)/3*(-36)/(-30). Suppose -j = -3*u - 3*t, 5*u - 4*t - t = 185. Is u a multiple of 5?
False
Let r be 1*(6/3 + 0). Let q(o) = 3*o + r - 2*o + o**2 + 0*o + 2. Does 7 divide q(4)?
False
Suppose 5*o - 1513 = 1217. Is 39 a factor of o?
True
Let p be -14*(-1)/2*-5. Let b = 84 + p. Is b a multiple of 11?
False
Suppose 2*j = 6*b - 4*b + 276, 311 = -2*b - 5*j. Let u = b + 229. Suppose 5*m = u + 64. Is m a multiple of 15?
True
Let w(a) = -10*a + 216. Is 9 a factor of w(0)?
True
Let x(n) = -2*n**2 + 17*n + 14. Is x(6) a multiple of 14?
False
Let z be (-8)/(0 + 4)*-1. Let c be z - 2/(2 - 3). Is 2 a factor of ((-18)/12)/((-2)/c)?
False
Suppose -4*x = -3*b + 226, 4*b + 210 = -4*x - b. Let f = x - -97. Does 15 divide f?
False
Let x(t) = 230*t**2 + 6*t + 7. Is 33 a factor of x(-1)?
True
Suppose -4*f + 40 = r + 3*r, -f - 20 = -5*r. Let a(t) = r + t - 2 - 2 + 5. Does 9 divide a(6)?
False
Let x = -286 + 161. Is 17 a factor of x/(-5) + 0/(-2)?
False
Suppose 0 = 3*h + 1 - 13. Suppose h*l = 3*l + 33. Suppose -3*c + l - 6 = 0. Does 5 divide c?
False
Let o be 4/((-4 - -5)/5). Let f = -3 + o. Suppose -f = -5*u + 83. Does 10 divide u?
True
Let r = 599 - 334. Is 14 a factor of r?
False
Suppose -5*x - 319 = -69. Let d = -18 - x. Is 4 a factor of d?
True
Suppose -477*n + 484*n = 5040. Is 45 a factor of n?
True
Let u = -40 + 41. Does 14 divide (-2)/(-3) - u/(6/(-524))?
False
Let c(z) = -z**3 + 2*z**2 + 3*z - 3. Let f be c(2). Suppose 28 = -y - d + 106, f*d + 246 = 3*y. Is y a multiple of 16?
True
Suppose -1881*a = -1889*a + 4944. Is 6 a factor of a?
True
Suppose 12*t - 25*t = -1352. Is 26 a factor of t?
True
Suppose 37*o = 74*o - 27195. Does 35 divide o?
True
Let j = 98 - 90. Let s = 23 - j. Does 7 divide s?
False
Let n be (-2)/(-11) + (-265)/(-55). Suppose 5*b - 13 - 2 = -n*j, -5*j = 3*b - 13. Suppose -j*v + d = -d - 18, 3