 3. Is s(-2) a multiple of 21?
True
Suppose 3*b + 5*s - 542 = -0*b, b + s = 184. Suppose -3*d + 0*d - 4*g + b = 0, 262 = 4*d + 2*g. Is 7 a factor of d?
False
Suppose -20*a + 15*a + 805 = 0. Suppose 0*w - 2*l - a = -w, -l = 4*w - 644. Is w a multiple of 34?
False
Let b(x) = -287*x - 256. Is b(-5) a multiple of 8?
False
Let m(b) = -235*b + 2. Let a be m(-2). Suppose 6*d - 200 - a = 0. Does 17 divide d?
False
Suppose v = -0*v - 6. Let d be v/(-21) + (-1284)/(-14). Suppose 12*k = 8*k + d. Is k a multiple of 5?
False
Suppose -2*i - u - u = -320, -2*u = 4. Let b = -115 + i. Does 20 divide b?
False
Suppose -5*q - 3*u = 1800, -4*u = 3*q + q + 1440. Let y = -186 - q. Does 17 divide y?
False
Suppose -5*o - 4 = -14. Suppose 8*g - 48 = o*g. Suppose 2*q = 6 + g. Does 7 divide q?
True
Is (2 - 8)/(1 - 11/10) a multiple of 30?
True
Let t(w) = 2*w**3 - 15*w**2 + 17*w - 12. Is t(9) a multiple of 16?
True
Let d(b) = -5*b**2 + 2*b - 13. Let y(a) = 4*a**2 - 3*a + 13. Let t(x) = 3*d(x) + 4*y(x). Let n be t(6). Let h = n - 7. Does 3 divide h?
True
Suppose -2*m = -2*d - 12, 0 = -2*m + d - 0 + 10. Suppose m*h - 67 = -c, 4*c = -5*h + 91 + 1. Does 16 divide h?
True
Let w(b) = -b**2 + 2*b + 24. Let j be w(7). Let k = 25 + j. Does 7 divide k?
True
Suppose 0 = -3*u + 4*u - 3*r + 6, -3*u = 5*r - 10. Suppose p + u = 2. Let v(y) = 3*y**3 + 2*y**2 + 1. Does 13 divide v(p)?
False
Is 808 + (9 + -9)/7 a multiple of 77?
False
Suppose 4*x = -x + 10. Is 19 a factor of 81 + x/2 + 2?
False
Suppose -f = 5*k - 55, 42 = 4*k + f - 3. Let s(t) = -t**2 + 11*t - 1. Is s(k) a multiple of 3?
True
Let z = 32 + -48. Let i = 23 + z. Does 2 divide i?
False
Suppose 20*p - 10260 = -18*p. Is 6 a factor of p?
True
Let l = -66 - -68. Suppose 0 = 4*j + 3*o - 7, 3*j - 19 = 2*j + 5*o. Suppose 239 = j*x + c, -x + 58 = -0*x + l*c. Does 20 divide x?
True
Is 21 a factor of (-37746)/(-72) - 2/8 - -1?
True
Does 14 divide (-2)/(-12) + ((-21935)/(-6) - 2)?
True
Suppose -4*l + 894 = -3*p, l - 89 - 140 = -2*p. Is l a multiple of 9?
True
Let c(v) be the third derivative of v**5/30 + v**4/24 - 5*v**2. Let g be c(1). Suppose g*d - 48 = -4*z, -3*d - 6 = -2*z - 0. Is z a multiple of 4?
False
Suppose 3*m + y - 3*y = -232, -143 = 2*m + y. Let k = m - -40. Let h = k - -47. Is h a multiple of 8?
False
Let d be (1 - 2)/((-9)/18). Let k be d*106*5/20. Suppose 0 = -2*q - t + k, -2*q + 0*q + 2*t + 68 = 0. Is 29 a factor of q?
True
Let l(n) = 55*n**2 + 2*n - 7. Let c be l(3). Suppose -u + 503 = 5*j, -4*j - j + c = -2*u. Does 25 divide j?
True
Let u(h) = -8*h**2 - 339*h + 80. Is u(-38) a multiple of 4?
False
Let v be 2 + -9 - (-6 + 9). Is 94/10 + v/125*5 a multiple of 9?
True
Let t(h) = -h**2 - 10*h + 3. Let s be t(-10). Let p(i) be the third derivative of i**6/30 - i**5/30 + i**4/6 - i**3/3 - 5*i**2. Is p(s) a multiple of 17?
False
Let o = 123 + -123. Suppose o = 19*b - 2603 - 228. Is 11 a factor of b?
False
Let l(p) be the first derivative of 9*p - 4*p**2 + 1/4*p**4 - 7/3*p**3 + 8. Is 4 a factor of l(8)?
False
Let a be 3 + -2 - 2 - -2. Let f = a + -5. Is f/12*-177 + -3 a multiple of 28?
True
Let k(r) = -10*r**2 - 5. Let j be k(-3). Let n = -66 - j. Does 7 divide n?
False
Suppose -12*x + 783 = 17*x. Is x a multiple of 2?
False
Let v(z) = -z**3 - 6*z**2 + z - 8. Let n be 17/(-2) - (-1)/2. Let q be v(n). Let b = q - 74. Is 14 a factor of b?
False
Let s be (-3)/(27/(-6))*9/2. Let l be 38/((-4)/(-1 - 1)). Suppose -s*i = 5*h - 10, -5*i + l = -i + h. Does 3 divide i?
False
Let v = -24 + 95. Let b = v - 48. Suppose 0 = 2*o + 4*n - 18, -o + 5*n = -b - 0. Is o a multiple of 9?
False
Let v(q) = -q**3 - 3*q**2 + 4*q - 3. Let x be v(-5). Suppose -9*w + 279 = -x. Is w a multiple of 17?
True
Let g(k) = k**2 - 6*k + 2. Let i be g(6). Suppose -i*a = -4, 0 = -0*s + s - 5*a - 80. Is s a multiple of 14?
False
Suppose -7*r - 42 = -42. Does 6 divide 0 + 38 + (r - -5)?
False
Suppose 1501 - 381 = -10*i. Let s = -18 - i. Is s a multiple of 21?
False
Suppose 2 + 1 = -s + 3*m, -3*m = -6. Suppose -4*z = -s*z - 60. Is 3 a factor of z/16 - 1/(-4)?
False
Suppose 0 = 34*y - 2350 - 9550. Is 5 a factor of y?
True
Let q(m) = m**3 + 58*m**2 + 46*m - 27. Does 30 divide q(-57)?
True
Suppose 14*u + 830 = 5*g + 9*u, 2*u = g - 165. Does 9 divide g?
False
Let u(w) be the third derivative of -w**5/60 + 3*w**4/8 - 5*w**3/6 - 8*w**2. Let r be u(8). Suppose 3*h = -r*o + 171, 0 = -o + 6*o + h - 281. Does 8 divide o?
True
Let k be (240/35)/(2/(-14)). Let r be -4*3*(-92)/k. Let h = 30 + r. Is h a multiple of 7?
True
Let f(k) be the first derivative of 2*k**2 - 2*k - 6. Is f(2) a multiple of 3?
True
Let s(o) = -o**3 + 39*o**2 - 10*o - 206. Is s(38) a multiple of 26?
True
Let o be 16/2 + -1 + -3. Suppose 2*z + 4 = o*z + k, 0 = -2*k - 4. Suppose -z*j + 14 + 7 = 0. Does 3 divide j?
False
Suppose -5*l = -4*l + 145. Let s = 256 + l. Does 38 divide s?
False
Suppose -3*t + 4*b = -1195, -t + 4*b - 243 = -644. Is 10 a factor of t?
False
Suppose 3*u = 8*u + 420. Let b = 184 + u. Is 25 a factor of b?
True
Let o(w) = -2*w**3 - 2*w**2 - 3*w - 1. Suppose 5 + 4 = -3*x. Let i be o(x). Suppose -i = -4*v - 0*v. Does 5 divide v?
False
Suppose 45 = -175*o + 180*o. Is 9 a factor of o?
True
Let q = 1616 + -1135. Is 45 a factor of q?
False
Suppose 4*t + 41 = -7*v + 2*v, -5*v + 4*t = 9. Let u be (-108)/v - 30/(-75). Let p = -2 + u. Does 10 divide p?
True
Suppose 3*a - 82152 = -33*a. Is 56 a factor of a?
False
Let a(b) = 8*b - 6. Let k(g) = g**3 + 17*g**2 - 18*g + 5. Let f be k(-18). Let d be (-4)/10 + 32/f. Is 14 a factor of a(d)?
True
Suppose 10*m - 1215 = 21955. Does 27 divide m?
False
Let t(f) = 9*f - 7. Let q be t(1). Suppose q*x - 25 = 21. Is x a multiple of 9?
False
Let w(t) = -80*t + 98. Does 83 divide w(-5)?
True
Let x be (1 + (-2)/(-4))*(-53276)/114. Let u = -491 - x. Does 14 divide u?
True
Is 1/((-3)/1131*-1) a multiple of 29?
True
Suppose 888 = 4*b + 2*c, 13*b = 18*b - c - 1096. Does 8 divide b?
False
Let r(d) = d**3 + 5*d**2 + 7*d + 7. Let x be r(-3). Suppose s - m + 295 = x*s, -6 = 3*m. Is 7 a factor of s?
False
Suppose 0 = -3*d + f + 36, f = -4*d + 4 + 44. Let r = -8 - d. Let k = -12 - r. Is k a multiple of 6?
False
Suppose -5*b - 3 = -6*b. Is 27 a factor of (-297)/(-44)*(b - -1)?
True
Let n = 12 + 4. Let w = 16 - n. Suppose w = 5*f - 40 - 205. Is 8 a factor of f?
False
Let a(x) = x - 5. Let z be a(8). Suppose -z*g = -2*s - 64, -s + 2*g = 4*s + 138. Let m = 6 - s. Does 16 divide m?
True
Let v = -364 - -647. Is v a multiple of 15?
False
Is 16 a factor of -1 - ((-749)/7 + 0)?
False
Suppose 0 = -12*j + 17*j - o - 18360, 0 = -5*j - 2*o + 18360. Is 68 a factor of j?
True
Is 7*19 - 1/((-10)/50) a multiple of 10?
False
Suppose 0 = -5*m, 3*w + 0*m - 987 = -2*m. Is w a multiple of 39?
False
Suppose 5*m = -r - 119, -2*r + 5*m - 143 - 50 = 0. Let t = r + 278. Let l = t - 102. Is 13 a factor of l?
False
Suppose 0 = -5*c + 20, 4*i + 2*c = -3*c + 20. Suppose 5*g - 3*w = 665, -4*g + i*g + 5*w + 545 = 0. Is 26 a factor of g?
True
Let b(g) = -g + 1. Let r(h) = -23*h - 5. Let t(z) = -4*b(z) - r(z). Let u(l) = -54*l - 2. Let p(o) = 5*t(o) + 3*u(o). Is 13 a factor of p(-1)?
True
Suppose -137 = -6*t + t - 3*s, 0 = 2*s - 8. Suppose -4*j + 3*i = -3*j - 18, 5*j - 2*i = t. Suppose -2*w + q - 1 = -2, j*w - 3*q + 6 = 0. Is w a multiple of 2?
False
Suppose 52 = -62*z + 66*z. Is z a multiple of 2?
False
Let u = 412 - -38. Does 54 divide u?
False
Suppose 0 = -4*b + 25*b - 22260. Is 20 a factor of b?
True
Let k = -26 - -34. Suppose -70 = -k*t + 7*t. Is t a multiple of 31?
False
Suppose 3*j + 12 = 4*j. Let k = j + -16. Is 3 a factor of (k - 5)*(1 + -2)?
True
Suppose -3*b = 4*v + 242, -4*v - 4*b = 19 + 225. Let d = -94 - v. Let p = -17 - d. Does 11 divide p?
False
Does 12 divide ((-1400)/(-150))/((-2055)/(-1026) + -2)?
True
Let l = 40 - 34. Suppose f - l*f + 320 = -5*u, -3*f = 4*u - 185. Is 20 a factor of f?
False
Suppose 0 = 16*g - 23*g + 14. Suppose j + 88 = -3*w + 6*w, 3*w - 76 = -g*j. Is w a multiple of 4?
True
Let d = -10 - -10. Suppose d = -7*q + 31 + 18. Is q a multiple of 6?
False
Let w(p) = p - 4. Let f be w(2). Is 15 a factor of (-1430)/(-20) + 1/f?
False
Let s(c) = c**2 + 71. Let i be s(0). Let a = 29 + i. Suppose 3*j - 30 = 2*j - y, -5*j + 5*y + a = 0. Does 15 divide j?
False
Suppose 0 = -2*h + 10, -5*