= c + 42. Is g a multiple of 3?
False
Suppose -7 = 5*f + 8. Let x be f/(-4 - (-9)/3). Suppose 0 = -x*d + 267. Is 25 a factor of d?
False
Let d(v) = -2*v**2 - 4*v - 3. Let n be d(-3). Let r(q) = q**3 - 16*q**2 + 15*q - 15. Let l be r(15). Does 8 divide n/(-15) - 231/l?
True
Let f be -6*((-1)/7 + (-30)/84). Suppose -f*d - 1080 = -11*d. Is 15 a factor of d?
True
Let q = -1161 + 1184. Is q a multiple of 3?
False
Suppose 0 = -u - 4*u - 20. Let k(s) = 2*s**2 + 5*s + 2. Let p be k(-3). Is u/(-20) - (-214)/p a multiple of 14?
False
Suppose -6*z = -10*z + 40. Suppose 8*x = z*x - 278. Is x a multiple of 29?
False
Suppose -2*a - 3*q + 2*q + 4 = 0, a - 20 = 4*q. Suppose -3*r - a = -r. Does 4 divide r/7 - 300/(-70)?
True
Is 109 a factor of ((-36)/45)/((-4)/18530)?
True
Let w be 2/(-2) - (-45 + -1). Let y(a) = 14*a - 59. Let m be y(11). Let p = m - w. Does 12 divide p?
False
Let x(v) = -55*v + 21. Let c be x(9). Let s = -306 - c. Is s a multiple of 33?
False
Let o(x) = -2*x + 1. Let j be o(-2). Suppose -j*s + 514 = -21. Is s a multiple of 52?
False
Let l = 1 - -2. Suppose 0*x + x = l*z - 102, -3*x = -z + 26. Is 16 a factor of (38/(-5))/((-7)/z)?
False
Suppose 2 = -w, -15 = -u + 4*w + w. Suppose 2*s - u*s + 150 = 0. Is s a multiple of 16?
False
Is 3 a factor of 24/30*(-95)/(-2)?
False
Suppose k - 19*k + 666 = 0. Is k a multiple of 5?
False
Let h(u) = -u**3 + 17*u**2 - 10*u + 33. Is h(14) a multiple of 10?
False
Let r(q) = -6*q**3 + 2*q**2 + 13*q - 11. Let j(x) = -7*x**3 + x**2 + 13*x - 11. Let m(z) = -5*j(z) + 6*r(z). Is m(8) a multiple of 6?
False
Suppose -2*k = 8*k - 370. Suppose 0*r + 3*r - 36 = 0. Let n = r + k. Is 25 a factor of n?
False
Let j = 121 + -77. Suppose u + 4*b - j = 0, -u + 82 = 2*u + 2*b. Is u a multiple of 12?
True
Let z = -63 + 318. Suppose 0 = s + 6*b - 2*b - 36, -z = -5*s - 5*b. Is s a multiple of 14?
True
Let n be -2 + -3 + 11 - 1. Let i be (8/(-10))/((-1)/n). Is i/(-14) - (-1680)/49 a multiple of 17?
True
Suppose -3*d + l + 287 = 0, 5*d = 2*l - 289 + 767. Is ((-9)/(-2))/(12/d) a multiple of 4?
True
Let m(o) = 9*o**2 - 4*o - 7. Let q be m(4). Suppose q = 2*v + 4*l - 243, -531 = -3*v - l. Is v a multiple of 16?
True
Is 6 a factor of (-140)/(-3) - 64/(-48)?
True
Suppose t + x = -2*t + 7, -15 = 3*x. Is 22 a factor of ((-29)/t)/(2/(-16))?
False
Let a(s) be the third derivative of s**6/120 + s**5/60 - 5*s**4/24 + 5*s**3/6 + 14*s**2. Is a(2) a multiple of 2?
False
Let f(u) = -376*u**3 + u**2 - u. Let m = 16 + -15. Let r be f(m). Does 12 divide (-2)/(-9) + r/(-9)?
False
Let f = -64 - -18. Let v = 133 + f. Does 19 divide v?
False
Let i(g) = 3*g**2 + 2*g + 1. Let a be i(-1). Suppose d = a*d - 46. Suppose -90 = -4*f + d. Is f a multiple of 11?
False
Suppose 0 = 3*v + n - 1401 - 579, -5*v + n = -3300. Is v a multiple of 110?
True
Suppose 19*t + 232 = 23*t. Does 26 divide t?
False
Let i be 4 + (-3 - -5)/(-1). Suppose -t - i*t = -195. Is t a multiple of 13?
True
Let k = 266 + 31. Is k a multiple of 27?
True
Let z = 878 - 733. Does 11 divide z?
False
Suppose 38*p - 37*p - 1408 = 0. Is 32 a factor of p?
True
Let o be 0/(-2)*(-3 - -4). Suppose o - 6 = -2*i. Let c = i - -8. Is c a multiple of 11?
True
Let v be (4/5)/((-2)/355). Let k = v + 394. Is 42 a factor of k?
True
Let s be (4/5)/((-2)/25). Let t be (-2)/10 - 342/s. Let k = t + -3. Does 12 divide k?
False
Suppose -12 = -3*j - 3. Suppose 201 = 3*k + 195. Suppose -3*s + 106 = -k*u, -61 - j = -2*s + 3*u. Does 34 divide s?
False
Is 1/(868/6060 - (-2)/(-15)) even?
False
Let z = -42 - -123. Suppose -3*r + r - 5*g = 17, 4*g = -2*r - 18. Let x = z + r. Is x a multiple of 16?
False
Let j be (-102)/((-5)/(-10) - -1). Let p = j + 144. Does 19 divide p?
True
Suppose s = -2*l + 279, 3*s + 3*l - 831 = -l. Is 30 a factor of s?
False
Suppose 56*x - 49*x - 2583 = 0. Is 10 a factor of x?
False
Suppose 4*s = 4*y + 24, 3*s + 10*y - 10 = 5*y. Let n = -7 + 9. Suppose s*w - 26 = t + 3*t, 2*w - 12 = n*t. Is 2 a factor of w?
True
Is 17 a factor of -9 + 3*1227/9?
False
Suppose 4*o + 487 = 1935. Suppose c + o = 5*p, 0 = -4*p + p + 4*c + 224. Is 12 a factor of p?
True
Let w be (58/(-5))/((-1)/(-10)). Let a = 172 + w. Does 10 divide a?
False
Let x(u) = -6*u - 27. Let h be x(-8). Suppose 4*w - 93 = -h. Does 12 divide w?
False
Let u = -847 - -2067. Is 9 a factor of u?
False
Suppose -5190 = -13*s - 1654. Is 17 a factor of s?
True
Let i(n) = -11*n - 5. Let b(f) = f**2 - 9*f + 14. Let w be b(4). Is i(w) a multiple of 5?
False
Let u(k) = 9*k + 12. Let c = 14 - 12. Suppose -12 = -5*q + c*q. Is 13 a factor of u(q)?
False
Is (-18)/(-21) - 13836/(-28) a multiple of 15?
True
Let j(a) = -a - 15. Let w be j(-7). Let l(p) be the second derivative of p**4/12 + 5*p**3/6 - 3*p**2 + p. Is l(w) a multiple of 9?
True
Suppose 4*a - 2 - 6 = 0. Suppose 4*q - 2*u = 302, 0 = a*q - 3*q + 3*u + 78. Is q a multiple of 9?
False
Let x(v) = v**3 - 7*v**2 + 2*v + 7. Let n be x(7). Let r be 28/n*(-153)/(-2). Suppose -c = i - r, 0 = i - 5*i + 2*c + 396. Is i a multiple of 25?
True
Let r be ((-68)/(-3))/((-2)/(-3)*1). Suppose -5*i + 134 = r. Is 7 a factor of i?
False
Suppose 4*c - 2*c + 4*p = 18, 24 = 3*c + 5*p. Let s(q) = 2 - 2*q**3 - q - 4*q**c + 8*q**3. Does 4 divide s(2)?
True
Suppose 17*q = 12*q + 2*o + 1606, 5*q = -o + 1612. Is 7 a factor of q?
True
Suppose -139 = -3*n + 170. Suppose o = -4*o - 5*q + 95, 5*o = -3*q + n. Does 9 divide o?
False
Let r = -544 + 661. Does 28 divide r?
False
Suppose 4*k = -4*v - 68, -3*v + 3*k + k - 16 = 0. Does 17 divide ((-280)/v)/(((-4)/(-3))/2)?
False
Is 20 a factor of -1*1/1*(90 + -1258)?
False
Suppose -2*k = 4*l - 1790, 7*l - 2*l = 4*k + 2244. Is l a multiple of 14?
True
Let c = 50 + -269. Let j = c - -335. Is 16 a factor of j?
False
Is 632 - 27*8/24 a multiple of 31?
False
Suppose 4 = 4*t + 4*o, -4*t + 7*t - 2*o = 8. Suppose y + 252 = t*k, -394 = -5*k - 2*y + 227. Does 25 divide k?
True
Let h be (-1 + 1)*(-1 + 2). Let d be 176/20*(-5)/(-2). Suppose d*w - 19*w - 21 = h. Is w a multiple of 2?
False
Let z(a) be the first derivative of a**3/3 + a**2 - 3*a - 2. Let f be z(-6). Is 14/f + (-176)/(-6) a multiple of 10?
True
Is 12 a factor of 3*163/(-9)*-9?
False
Let r be 78*(-1)/(-15)*10/4. Does 15 divide 21/14*(r - 3)?
True
Suppose 0 = 4*b - 12, 5*z - 611 = -6*b + 4*b. Is z a multiple of 11?
True
Let f(x) be the first derivative of 7*x**5/60 + x**4/24 - x**3 - 5. Let s(m) be the third derivative of f(m). Is s(2) a multiple of 4?
False
Let g(w) = -26*w + 16. Let v be g(-6). Suppose -4*u = 2*q - v, 4*q = -u + 314 + 9. Is q a multiple of 10?
True
Let c = -15 + 48. Suppose 0*d + 2 = d. Suppose -d*m + c = -m. Does 15 divide m?
False
Let f(b) = -15*b + 14*b - 3 + b**2 - 4. Let r be f(0). Let m(n) = -n**3 - 6*n**2 + 4*n - 7. Is 7 a factor of m(r)?
True
Let o(b) = b**2 - 9*b - 5. Let c(g) = g**2 + g. Let a(p) = 5*c(p) + o(p). Suppose 6*j = 4*j + 8. Is 29 a factor of a(j)?
False
Suppose 0 = -3*b - g + 2801, 295 = -3*b - 5*g + 3104. Does 27 divide b?
False
Let g(u) = -u + 60. Is 44 a factor of g(9)?
False
Let f(k) = 27*k**2 + 3*k. Let j be 0*-4*1/(-8) + -2. Is f(j) a multiple of 17?
True
Let j = -166 - -241. Suppose -2*w - 3 + j = -2*v, 3*w + 5*v - 76 = 0. Is w a multiple of 8?
True
Suppose 2*c = 2*n + 86, 10*c - 8*c - 89 = 5*n. Is 13 a factor of c?
False
Suppose 17*c - 20 = 13*c. Suppose -c*o = -93 - 92. Does 8 divide o?
False
Let s(g) = 7*g**2 + 9*g - 16. Let m be s(-5). Suppose -492 + m = -3*f. Is 29 a factor of f?
False
Let x(t) = -t**3 - 5*t**2 + 7*t + 11. Let j be x(-6). Suppose -528 = -j*b + 42. Is 18 a factor of b?
False
Let t = -599 - -265. Let s be (-6)/24 - t/(-8). Does 4 divide (-73)/(-6) + 7/s?
True
Let t be (4 - 7) + 5 + 10. Let l be (t/15)/(8/40). Suppose -3*y - 96 = -l*p, 2*p + p = 4*y + 72. Is p a multiple of 17?
False
Suppose -6958 - 2678 = -11*o. Is o a multiple of 79?
False
Let o(t) = -33*t - 3. Let w be o(9). Let q = -79 - w. Does 30 divide q?
False
Suppose -2*f + 2*g + 446 = 0, -3*g = -4*f - 5*g + 898. Let q = f - 123. Is q a multiple of 14?
False
Suppose 3*b + 0*h + 25 = 5*h, b - 4*h = -20. Suppose b*j - 4 = j, 0 = 5*o + 5*j - 280. Is o a multiple of 5?
True
Let s = 6 - 5. Let t be (s*-6)/((-3)/2). Suppose n = -t*n + 160. Does 26 divide n?
False
Let n(a) = -a**2 - 11*a - 15. Let w be n(-9). Suppose 3*f + k = 