3*r + 2*t + 7 + 249, -2*r + 2*t = -174. Suppose 2 = -5*c + r. Let s = c - 8. Is s a multiple of 4?
True
Let o = -114 - -318. Does 2 divide (-4)/14 + o/28?
False
Suppose -u - 28 = -5*f + 2*u, -2*u - 12 = -2*f. Suppose 4*q = k - 38, -3 = f*q - 8*q. Is k a multiple of 14?
True
Let i be 2 - 1/1*-1. Suppose -i*g + 22 = -41. Does 21 divide g?
True
Suppose 3*d - 49 = 2*q, 2*d = -3*q - 2*q + 58. Let t = d + -11. Is 7 a factor of t?
False
Let u be (35/(-7))/(2/6). Is 4 a factor of ((-16)/(-3))/((-5)/u)?
True
Let g = -6 - 0. Let b be (-130)/(-14) - (-4)/(-14). Let s = b + g. Is 3 a factor of s?
True
Let n(k) = -k**2 - 2*k + 3. Let m be n(2). Let a(b) = -b - 1. Let c be a(m). Does 5 divide c/(-22) - (-835)/55?
True
Let t = -128 - -258. Suppose 0*r - 4*r + x = -t, 3*r - 5*x - 106 = 0. Is 14 a factor of r?
False
Let u be -15*(3 + 19/(-5)). Is 22 a factor of (-302)/(-12) + u/(-72)?
False
Let v = -77 + 257. Is 15 a factor of v?
True
Let t = -31 - -16. Let r = 48 + t. Does 11 divide r?
True
Let v(r) = 4*r - 37. Is 15 a factor of v(13)?
True
Suppose p = -0 + 1. Is 6 a factor of ((-22)/8)/(p/(-4))?
False
Suppose -f + 155 = 3*y, -4*y + 4*f = 78 - 274. Does 17 divide y?
True
Let n(k) = -k**2 - 13*k + 6. Let w be n(-11). Does 16 divide w + (-2 - (-2)/1)?
False
Let o(a) = 4*a + 6. Let w be o(8). Suppose 0 = t - 14 - w. Is t a multiple of 26?
True
Let p be -1*14/(-6)*-6. Let h(f) = 5*f - 1. Let m be h(5). Let d = m + p. Does 10 divide d?
True
Let b(z) = 5*z**2 - 4*z - 5. Let c be b(5). Suppose -s - 4*s = -c. Is s a multiple of 7?
False
Let i(w) = -24*w + 5. Let a be i(-6). Let n = a + -90. Does 30 divide n?
False
Let f(d) = 4*d - 26. Is f(16) a multiple of 19?
True
Suppose 2*g = a + 3*g - 41, -g = -a + 31. Does 4 divide a?
True
Let g(q) = q**3 - 2*q. Let j be g(2). Suppose -2 - 7 = -5*p + j*f, -3*f + 22 = 2*p. Does 4 divide p?
False
Let v(s) = 12*s + 2. Let j be v(-1). Does 5 divide 1/(-5) - 92/j?
False
Suppose -14 = -5*c + 6. Does 4 divide -6*1*c/(-6)?
True
Suppose 0*w = w + 5*p - 49, -p + 49 = w. Let l = -67 - -94. Let r = w - l. Is 8 a factor of r?
False
Suppose -5*y - 4*o = -195, 2*y + 3*o - 2*o = 78. Does 17 divide y?
False
Suppose -6*u + 10*u = 80. Is u a multiple of 4?
True
Suppose 4*v = -10 + 6. Is 11 a factor of v + 28*1 + -3?
False
Let h(n) = 3*n**3 - 4*n**2 + 2*n**3 - 6*n**3 + 4*n. Is 16 a factor of h(-6)?
True
Let o(w) be the first derivative of -w**2/2 + 7*w + 5. Does 7 divide o(0)?
True
Let l(j) = -13*j - 18. Let b = -22 + 16. Is l(b) a multiple of 12?
True
Suppose -2*v + 131 = 3*x - 2*x, -x - 141 = -2*v. Does 4 divide v?
True
Suppose -4 - 12 = -4*p + u, 4*p - 5*u = 16. Let g(m) = m + 3. Let w be g(-2). Suppose q - p = -w. Is 2 a factor of q?
False
Let h(o) = 5*o**3 - 2*o**2 + 2*o - 8. Let v(j) = -4*j**3 + 3*j**2 - 2*j + 7. Let r(s) = -3*h(s) - 4*v(s). Is 4 a factor of r(6)?
True
Suppose 0 = -2*q + 5*a + 375, 2*a = -6*q + q + 894. Is 60 a factor of q?
True
Is ((-52)/6)/(8/(-12)) a multiple of 5?
False
Let h = 40 + -14. Does 26 divide h?
True
Let w(p) = -4*p + 92. Is w(-23) a multiple of 17?
False
Let r(b) = -3*b - 13. Suppose 0 = -3*y - 21 - 6. Let k = y + -1. Does 17 divide r(k)?
True
Suppose 3*k = -4*a + 186, -9 = 5*a + 6. Is k a multiple of 22?
True
Let k be (-1)/(-5)*-1*-5. Let s be (-1)/(k/(-3)) - -1. Suppose -18 = -i + s*y, 0*y - 31 = -2*i + 3*y. Is i a multiple of 4?
False
Let i = 30 - 16. Suppose -82 + i = -b. Suppose 4*n + 3*x - 98 = 0, -4*x = -3*n - 9*x + b. Is 22 a factor of n?
False
Suppose 5*w - 136 = -0*w - 2*s, 0 = 2*w + 2*s - 52. Is 11 a factor of (-7)/(w/15)*-8?
False
Suppose -4*p + 106 = -4*g + 2*g, -2*p - 4*g + 68 = 0. Let l = 9 + -5. Suppose l*r - 8*r = -p. Does 7 divide r?
True
Suppose 0 = 5*l - p - 2*p - 26, -12 = -4*l - 2*p. Suppose -4 - 28 = -l*b. Is 4 a factor of b?
True
Suppose 2*m + 3*m - 20 = 0. Suppose 11 = -m*j - 1, -181 = -4*q + 3*j. Does 26 divide q?
False
Let f = -16 - -43. Suppose 0 = 5*p - 73 - f. Does 10 divide p?
True
Let h be 5/10 - (-201)/(-2). Does 10 divide h*4/(-8) + 0?
True
Let t = -2 - -6. Suppose -2*b + t*b - 4*o = -6, 15 = 3*o. Does 19 divide (-1 - -2)/(b/133)?
True
Let c(i) = i**2 + 6*i - 4. Let y be c(-7). Let r be 2 + -4 - 1*y. Let t(j) = 2*j**2 + 7*j + 4. Is 7 a factor of t(r)?
False
Suppose 147 = 4*v - 133. Does 7 divide v?
True
Suppose -5*m + f = -5, 5*m + 1 = 4*f - 9. Let o = m - 0. Does 18 divide -2*o*45/(-10)?
True
Let a(y) = 3*y. Suppose -5*j + 4 = -6. Let s be a(j). Does 2 divide -3*s/(-9) + 5?
False
Let m(b) = b**3 + 3*b**2 + 2*b + 2. Let p be m(-2). Suppose 57 = 3*j - 4*t, -p*j + 4 + 17 = 3*t. Is 8 a factor of j?
False
Suppose 2*m - m + 5 = 2*o, 0 = -3*o + 2*m + 10. Let n = -1 - o. Does 20 divide (54/(-5))/(n/5)?
False
Let m be ((-56)/6 + 0)*-3. Let j = m - 18. Suppose 4*p - 68 = 2*x, -5*x = p + p - j. Is 15 a factor of p?
True
Let a be ((-4)/(-10))/(4/(-20)). Let d(o) = 2*o**2 + 3*o. Let s be d(a). Suppose s*k + 8 = z, z + 8*k - 38 = 4*k. Is 10 a factor of z?
False
Let b = 195 + -120. Is 15 a factor of b?
True
Does 4 divide ((-6)/5)/(21/(-140))?
True
Let m(b) = -3*b**2 + 5*b + 3. Let z(s) = -7*s**2 + 11*s + 7. Let r(d) = 9*m(d) - 4*z(d). Is r(-6) a multiple of 13?
False
Let d(n) = 2*n - 4. Let u be d(4). Suppose 0 = j - u*j + 36. Is j a multiple of 4?
True
Suppose 4*f + 5*n = 133, 3*n + 23 = 3*f - 43. Is f a multiple of 9?
True
Let s(k) = -k**3 - k + 18. Let j(u) = u**2 + 2*u - 3. Let y be j(-3). Is s(y) a multiple of 4?
False
Let z = -47 - -187. Is 14 a factor of z?
True
Let p = 117 - 57. Is p a multiple of 15?
True
Let b(s) = -s**3 - 11*s**2 - 8*s. Let o be b(-10). Let k = 7 - o. Is k a multiple of 9?
True
Let i = 121 - 73. Does 16 divide i?
True
Suppose 2*n + 2 = -12. Let b be 284/14 - (-2)/n. Suppose b = h + 6. Does 11 divide h?
False
Is 17 a factor of ((-712)/(-10))/(1/5)?
False
Is 73/(42/(-9) - -5) a multiple of 16?
False
Suppose 2*a + 3*v + 13 = 0, 2*a - 2*v = -0*v + 2. Is 20 a factor of (-1812)/(-30) + a/5?
True
Let c = 12 - 7. Suppose 0 = c*g - 3*g - 4. Suppose -42 - 24 = -g*y. Does 15 divide y?
False
Suppose -a - 4*f + 33 = 0, 0 = -2*a + f + 24 + 51. Let c = -13 + a. Does 11 divide c?
False
Let y be (2/3)/(4/(-66)). Let u(n) = -4*n + 14. Is 20 a factor of u(y)?
False
Let d(x) = -x - 2. Let g be (0 - (-2 + 9)) + 1. Let b be d(g). Suppose -t + b*i + 30 = 0, -2*i + 30 = 3*t + i. Does 12 divide t?
False
Let f(q) = -q**3 + 11*q**2 - 6*q + 5. Does 39 divide f(5)?
False
Let d(f) be the second derivative of -7*f**3/6 + 2*f**2 - 4*f. Is d(-6) a multiple of 13?
False
Suppose -2*h - 4 = 0, 5*i + 3*h = -2*h - 10. Suppose i*u - 56 = -2*u. Does 16 divide u?
False
Let o(y) = 3*y - 7. Let m(q) = 10*q - 20. Let k(c) = 3*m(c) - 8*o(c). Is k(8) a multiple of 22?
True
Let h = 20 - 19. Is 1 - (-2 + h) - -53 a multiple of 11?
True
Suppose -4*c = 16 + 8. Let z(i) = i**3 + 7*i**2 + 6*i + 5. Let w be z(c). Suppose 3*f + 4*s = 72, 35 = -3*f + 4*f + w*s. Does 20 divide f?
True
Let x be (20/6)/(1/(-3)). Let m = -4 - x. Is m a multiple of 5?
False
Let r(n) = n**3 - 5*n**2 + 5*n - 6. Let q be r(4). Let k(y) = -22*y + 4. Does 13 divide k(q)?
False
Suppose 0 = 6*d - 2*d - 8. Suppose 2*s = -h + 4*s + 48, -93 = -d*h + s. Does 18 divide h?
False
Let x(v) = -16*v + 10. Let d be x(6). Suppose 2*n - 5*n + k = 144, -n - 5*k - 48 = 0. Let w = n - d. Is w a multiple of 17?
False
Let q be ((-6)/(-4))/(4/120). Is (24/9)/(6/q) a multiple of 14?
False
Let z(r) = r**2 - 8*r + 10. Let k = 7 + -5. Suppose 0 = 3*b - i - 32, 4*i - i - 14 = -k*b. Is 15 a factor of z(b)?
True
Suppose -j = -0*j - 22. Is j a multiple of 10?
False
Let m = -5 + 17. Suppose 4*a + m + 12 = 0. Let i(g) = -g**3 - 7*g**2 - 7*g. Is i(a) a multiple of 3?
True
Suppose 2*p + 40 - 152 = 0. Suppose -24 = -4*r + p. Is 4 a factor of r?
True
Suppose 0 = 3*g + g - 8. Suppose 180 = 5*i - n, -g*n + 130 = 3*i + i. Is 6 a factor of i?
False
Let q = 29 + -15. Is q a multiple of 14?
True
Let m(j) = -j + 41. Does 23 divide m(14)?
False
Suppose -11 + 1 = 2*q. Let k = 12 + q. Is 3 a factor of k?
False
Let j = -4 + 4. Suppose -5*q - 4*l + 60 = j, -q = -4*l + 18 - 54. Does 8 divide q?
True
Let c(q) = q**2 + q + q - 6 - q. Is 19 a factor of c(-9)?
False
Let w(j) = -5 + 0 - j + 2. Let d be w(-5). Is 3 a factor of (16/20)/(d/15)?
True
Suppose -8*t = -2*t - 1434. Is t a multiple 