 + 4. Is 6 a factor of y(3)?
False
Suppose 0 = 6*r - 4*r - 246. Does 17 divide r?
False
Suppose -q + 8 = -11. Suppose s = q + 22. Is s a multiple of 14?
False
Let w = -7 - -13. Is 84/w - 0/(-1) a multiple of 14?
True
Let h(b) = 3*b - 3*b + 18 - 2*b. Is h(0) a multiple of 12?
False
Suppose 3*y = 2*r - 6*r + 18, 5*y - 1 = 3*r. Let l be (6 - 8)*(-4)/y. Suppose -l*n = -3*n - 27. Is n a multiple of 9?
True
Is 12 a factor of 585/12 + (-15)/20?
True
Is ((-16)/6)/((-2)/12) a multiple of 16?
True
Suppose -3*h + 3 = -9. Suppose -5*x + 6 = t - 4*t, 4*t = -h*x + 24. Suppose 3*f = -0*g + 3*g + 12, 0 = -t*f - 2*g + 27. Does 7 divide f?
True
Let g = -12 - -36. Is g a multiple of 12?
True
Let s(k) = 5*k**2 - 5*k + 5. Let n(c) = c**2. Let u(b) = -3*n(b) + s(b). Does 17 divide u(4)?
True
Let r(i) = 3*i**2 - 3*i + 2. Is 14 a factor of r(-2)?
False
Suppose -2*m = 5*d - 0*m + 2, 0 = -3*d + 3*m - 18. Does 24 divide 322/7 - d/1?
True
Let n(y) be the first derivative of -y**4/4 + 4*y**3/3 + 3*y**2/2 - 5*y + 1. Let b be n(4). Let w = b + 20. Is w a multiple of 13?
False
Let v = 414 - 291. Is 14 a factor of v?
False
Let m(z) = 2*z**2 + 8*z + 24. Is m(-7) a multiple of 11?
True
Suppose 6 = -q + 1. Let o = 3 + q. Does 9 divide 3*21/9 - o?
True
Let i(z) = -30*z**2 - 2*z - 7. Let q(a) = 20*a**2 + a + 5. Let g(c) = -5*i(c) - 7*q(c). Does 17 divide g(-2)?
True
Let g = 6 - 5. Let j be g - (-159)/(0 + 1). Suppose j = 6*z - z. Is z a multiple of 11?
False
Let g(a) = 3*a**2 - 2*a - 5. Is g(-6) a multiple of 26?
False
Suppose 0 = -4*m - v + 18, 4*v - 2 = 3*v. Suppose -2*t - m*c + 6 = -c, -3*c = -2*t - 6. Suppose -5*g + 60 = -t*g. Is g a multiple of 8?
False
Let l = 24 - 22. Suppose c - u - 57 = 0, 2*u - l = c - 64. Is c a multiple of 13?
True
Let j be 2/5 + 6/10. Suppose -3*x + 10 = j. Suppose 2*k - x*k = 1, 4*q - 75 = 3*k. Does 10 divide q?
False
Suppose 0 = 4*k, -s - 2*k = 2*k - 46. Suppose -5*t + 0*u - 2*u + s = 0, -9 = -3*u. Suppose 4*n = 3*n + o + 31, 4*o = t. Is n a multiple of 12?
False
Suppose -60 = r - 5*f, 5*r + 0*f - 3*f = -190. Let d be (-9)/(3/60*-2). Is 6 a factor of d/r*28/(-6)?
True
Let r(h) = -h**2 - 7*h - 5. Let k be r(-5). Let i(v) = v - 2. Is 3 a factor of i(k)?
True
Suppose -16 - 36 = -2*d. Suppose s + s = d. Is s a multiple of 8?
False
Let k = -4 + 4. Let n be (2 - 1)*(k - 1). Let r = n + 9. Is r a multiple of 8?
True
Let x(n) = -2*n**3 - 6*n**2 + 2*n + 6. Let s be x(-5). Suppose s = 3*j - 72. Is 13 a factor of j?
False
Let x be ((-3)/6)/((-1)/70). Suppose -5*b + x = -0*b. Suppose -3*v - 18 = -4*k - b, 0 = 5*k - 3*v - 16. Is k even?
False
Let a(z) = -4*z + 31. Does 11 divide a(-6)?
True
Let y be (2/(-3))/(11/(-132)). Suppose i = 28 + y. Does 16 divide i?
False
Let y be 2/3*(-6)/(-4). Let q(b) = 12*b. Is 9 a factor of q(y)?
False
Suppose -4*k = 4, -5*x + 36 = -5*k + 6. Suppose -2*d - c = -3*d + 15, -3*d - x*c = -69. Does 6 divide d?
True
Let g(a) = -a**2 + 4*a - 2. Let p be g(5). Let f(w) = w**3 + 8*w**2 + 6*w + 8. Is f(p) a multiple of 3?
True
Does 3 divide ((-26)/4)/(1/(-2))?
False
Let k = -59 - -162. Does 13 divide k?
False
Let q(l) = -l**2 - 7*l - 5. Let b be q(-6). Does 10 divide (-1)/(-1) + b - -10?
False
Let r = -141 + 248. Is 45 a factor of r?
False
Suppose -p + m + 113 = -2*m, -3*p + 3*m = -363. Suppose t = 5*o + 25, -3*o + p = 5*t - o. Is t a multiple of 7?
False
Let o be 4/(-22) - (-14)/77. Suppose o = 5*v + 21 - 181. Does 16 divide v?
True
Suppose -2*v = -48 - 26. Let b = 23 + v. Is b a multiple of 15?
True
Let j(n) = n**2 + 2*n - 1. Does 3 divide j(-5)?
False
Let p(t) = t**3 - 10*t**2 + 8*t - 1. Let m be p(9). Let n = m + 22. Is n a multiple of 6?
True
Suppose -49 = -4*z + 5*l, 8*z = 3*z + 3*l + 71. Does 8 divide z?
True
Let h = 33 + 95. Is h a multiple of 64?
True
Suppose 5*a = 4*v + 80, -10 + 110 = -5*v - 3*a. Let r = -12 - v. Is 8 a factor of r?
True
Let x be (0 + -1)/(2/4). Let h = 18 + x. Is h a multiple of 4?
True
Let t(r) = -r**3 - 9*r**2 + 7*r + 15. Is t(-10) a multiple of 3?
True
Suppose -2*g + 9 = 1. Let t(v) = 2*v - 5. Let x be t(g). Suppose -3*j + c = -64, 0 = 4*j + x*c - 76 - 31. Is j a multiple of 13?
False
Suppose 0 = 3*b + b + 4*g - 180, 5*g = 3*b - 159. Suppose -v = v - b. Does 19 divide v?
False
Let m be 3 + -1 + -18 + -2. Let j = m + 10. Is (-66)/j - 2/8 a multiple of 8?
True
Let i(g) = 3*g + 7. Let v(j) = -3*j - 8. Let p(b) = -6*i(b) - 5*v(b). Let m be p(-2). Suppose -z + 13 = -5*x - 11, -4*x - m = 0. Is 11 a factor of z?
False
Suppose n + a - 18 = -2, -3*n + 20 = -4*a. Is n a multiple of 3?
True
Let v be -2 - (-4 - -3) - -6. Suppose v*d - 329 + 127 = -2*s, -3*s = 4*d - 163. Is 7 a factor of 2/(-6) - d/(-3)?
False
Let m(p) = p**2 + p + 7. Let t be m(0). Let c(k) = 8*k + 5 - k**2 + 8*k**2 - k**2 - k**3. Does 11 divide c(t)?
False
Suppose 41 = -3*i + 173. Suppose 4 = 3*w - i. Is w a multiple of 8?
True
Let q = 13 + -11. Suppose q*b = 35 + 71. Is b a multiple of 16?
False
Let c be (0 - 5/1) + 2. Let z be (-926)/(-10) - c/(-5). Suppose 5*w - z = -12. Is 13 a factor of w?
False
Let f = 7 + -3. Suppose 45 = f*x + 1. Is x a multiple of 3?
False
Suppose -4*n + 455 + 157 = 0. Is 9 a factor of n?
True
Let n be ((-5)/(-10))/((-3)/(-228)). Suppose -2*j + 2*s + 28 = 0, -2*s + n = 3*j - 4*s. Is 10 a factor of j?
True
Let f be (-2)/(-11) + (-294)/(-77). Suppose -p + 3 = -f. Does 2 divide p?
False
Suppose -8 = 2*j - 18. Suppose 3*c = 2*p + 61, 5*p = -j*c + 82 + 53. Is 7 a factor of c?
False
Suppose -5*w - 25 = -5. Suppose -5*t - 13 = -3*c, t = -c + 11 - 4. Let h = w + c. Is h a multiple of 2?
True
Let t be -2 + (0 - -14) + -2. Is 8 a factor of 344/10 + 6/t?
False
Let a(j) = j**2 + 6*j - 3. Suppose 0 = -2*u - 5 - 13. Does 6 divide a(u)?
True
Let w = 12 + -6. Let n(s) = s**3 - 11*s**2 + 9*s + 7. Let f be n(10). Let g = f + w. Is g a multiple of 3?
True
Let u(i) be the second derivative of -5*i**3/6 + 5*i**2/2 - 3*i. Is u(-8) a multiple of 15?
True
Let r(c) = c - 4. Is 3 a factor of r(9)?
False
Let d be -1 + -2 + 1 + -2. Is (96/56)/(d/(-42)) a multiple of 9?
True
Suppose 10 = 5*y - 0, 0 = -5*d + y + 598. Does 12 divide d?
True
Let v(t) = -2*t**2 + 13*t - 13. Let y be v(11). Let g = -74 - y. Does 19 divide g?
True
Let k = -85 - -155. Is k a multiple of 10?
True
Let f(p) = 11*p + 14. Does 12 divide f(9)?
False
Does 15 divide 16245/60 - 6*2/16?
True
Let y(r) = r + 7. Let v be y(-5). Let i be (-7)/(-21)*78/v. Suppose -4*k = -4*w - 24, i = 2*k + 4*w + 1. Is 2 a factor of k?
True
Let j be 2/(-3) + (-4)/(-6). Suppose j = -3*u - 0*u + 63. Is 21 a factor of u?
True
Let g(b) be the first derivative of 8*b**4 - 2*b**3/3 + b**2/2 - 5. Does 7 divide g(1)?
False
Let y(l) = l**2 - 3*l + 4. Does 16 divide y(7)?
True
Suppose -3*j + v + 2 = -2, -j = 3*v - 8. Suppose 2*d + 6 = 0, 10 - j = -5*f - d. Is f/(-1) + 10/2 a multiple of 3?
True
Let o(q) = q - 7. Let g be o(0). Let a be g/((-21)/(-18)) - 1. Let v(s) = -s**3 - 8*s**2 - 10*s + 1. Is 11 a factor of v(a)?
True
Let p = 22 - 58. Let c be (-2)/(1 + 1) + -63. Let g = p - c. Is 14 a factor of g?
True
Suppose -a + 4*a - 5*t - 497 = 0, 5*t = a - 149. Is a a multiple of 28?
False
Let l(x) = -x**3 - 10*x**2 - 10*x - 6. Let o be l(-9). Suppose -8 = -v - o*k, k - 4*k = -5*v + 4. Suppose -v*g = -53 + 1. Does 13 divide g?
True
Let k be 2967/2*(-12)/9. Let i be 2/10 - k/10. Suppose -4*y = 2*d - 102, 14 = -4*d - 3*y + i. Is 13 a factor of d?
False
Let g be 2/(-6) - 7/(-3). Suppose -5*d + g*y = -13, -2*y + 9 = 2*d + y. Is d a multiple of 3?
True
Suppose 17 = v - 6. Suppose -v = -o - 4*j + 15, -4*o + 152 = -2*j. Is 10 a factor of o?
False
Let z = 0 + 2. Does 17 divide (34/4)/(z/4)?
True
Let w = -4 - -6. Let c be (-6)/27 + 400/18. Suppose -1 = -5*t + w*v + 36, 2*t + v - c = 0. Does 9 divide t?
True
Suppose 0 = 4*s - 3*s + 6. Is (-3)/s - (-21)/2 a multiple of 7?
False
Let x(k) = -k**2 - 7*k. Let z be x(-6). Let d = z + 3. Is 7 a factor of d?
False
Does 13 divide (34/(-6))/(6/(-54))?
False
Let l(n) = 2*n**3 - n**2 - n + 2. Let d = 6 + -4. Let o be l(d). Let u = o - 7. Is u a multiple of 2?
False
Let v(h) = h**3 - 8*h**2 + h - 3. Let n be v(8). Suppose c + d - 5*d - 21 = 0, n*c - 41 = 4*d. Does 5 divide c?
True
Let y be ((-2)/(-4))/((-4)/(-136)). Suppose -2*d = -5*d - g + y, -2 = -2*d + 4*g. Is 5 a factor of d?
True
Suppose -