3*r + h*r - 15 = 5*p, 5*p = -r + 3. Suppose -3*i + 2*k + 71 = p, 109 = 5*i - 2*k + k. Is i a multiple of 21?
True
Suppose -32685 = -6*s - 2319. Does 15 divide s?
False
Let t = 459 - 125. Let n = t + -148. Is 31 a factor of n?
True
Suppose 0*a = -2*a - 6. Let g be (94/2 - a)*1. Let j = g - 24. Is 13 a factor of j?
True
Let o = 8 + -49. Let q = 156 + o. Does 24 divide q?
False
Let t(m) = -26*m + 136. Is 44 a factor of t(-10)?
True
Let u(y) be the first derivative of -y**7/840 + 7*y**6/360 + y**5/15 + y**4/4 + y**3/3 + 7. Let j(n) be the third derivative of u(n). Is j(8) a multiple of 4?
False
Let q(u) = -u**3 + 22*u**2 + 9*u - 80. Is q(17) a multiple of 16?
False
Suppose 19 = -5*z - 1, -2*c = -2*z - 1498. Suppose -36*p + c = -31*p. Is p a multiple of 13?
False
Let v(l) = -7*l**3 + 9*l**2 - 8*l - 3. Let m(f) = 3*f**3 - 4*f**2 + 4*f + 1. Let a(j) = -9*m(j) - 4*v(j). Suppose 0 = 5*t + 5 - 25. Is 16 a factor of a(t)?
False
Let l = -425 + 867. Suppose 3*y - 3*v = 15, 3*v = -5*y - 2*v + 15. Suppose 5*b = -10, 4*b = -y*z + 3*b + l. Does 31 divide z?
False
Let r(v) = v**3 + v**2 + 1. Let h(c) = -3*c**3 + 5*c**2 - 3*c - 17. Let f(y) = -h(y) - 2*r(y). Is 7 a factor of f(7)?
False
Let s = 30 - 12. Suppose -t = 2*h - 7, -5*t - s = -3. Suppose h*j - 32 = 58. Does 5 divide j?
False
Suppose -2 = -9*c + 7*c. Let d be (c - 2 - 3) + 8. Suppose 0 = 4*a + 2*u - 126, d*u = 5*a - 67 - 58. Does 16 divide a?
False
Let c = 18 - 16. Suppose -c*p - p = -99. Is p a multiple of 33?
True
Suppose 7*z - 170 = 5*z. Suppose 3*f + 3*n = 141, -n - z = -2*f - 0*n. Does 3 divide f?
False
Suppose -2*x = -8*x - 6. Let l = 4 + x. Suppose 3*z - 12 = 0, -l*b = -6*b + 2*z + 43. Is 9 a factor of b?
False
Let k(f) = -f + 18. Suppose -4*q + 2*q - 30 = -2*r, -3*r = -4*q - 56. Let i = q - -23. Is 2 a factor of k(i)?
True
Suppose 37 = 3*m + d, 0 = -0*m - 5*m + 5*d + 75. Suppose -2*n + 3*n - 4*c - m = 0, n - 2*c = 9. Is 10 a factor of (0 - -18) + n/5?
False
Let r(y) = y**3 - 6*y**2 + 6*y - 9. Let q be r(6). Suppose -q = -f + 4*f. Is 49 - (-1 - (f + 4)) a multiple of 15?
True
Is (192 + -177)/(2/78) a multiple of 7?
False
Let n(l) = -l**3 - 20*l**2 + l + 22. Let a be n(-20). Suppose -5*g + 3*g + a*k = -380, 4*g = -4*k + 728. Is g a multiple of 41?
False
Let h(b) = -7*b + 6. Let i(f) = -3*f + 3. Let k(s) = 4*h(s) - 9*i(s). Let w be k(-8). Suppose -w*a + 5*t + 120 = 10, 0 = -t + 5. Does 9 divide a?
True
Suppose 5*l - 40 = 5. Suppose 0 = -l*i + 2383 + 380. Does 44 divide i?
False
Suppose 0 = -4*l + 3*u + 1670, -l - l = -2*u - 836. Suppose -2*k - 42 = -l. Does 33 divide k?
False
Suppose 0 = -81*m + 90*m - 8316. Does 21 divide m?
True
Let g(m) = 9*m - 4. Let t be g(3). Let o = 1 + t. Is 3 a factor of o?
True
Suppose 0 = 2*m + 3*n - 690, m - 347 = -n - n. Does 18 divide m?
False
Is (-30)/(-3) - -2236 - 2 a multiple of 66?
True
Let u(d) = -d**2 - 5*d - 6. Let k be u(-3). Let c = 126 - 68. Suppose -n + 58 + c = k. Is 29 a factor of n?
True
Let j = -170 - -23. Let a be 1/(3 - j/(-48)). Let g = a + 26. Is 5 a factor of g?
True
Suppose -10*i = 4*j - 6*i - 5776, 2*i - 7223 = -5*j. Does 7 divide j?
False
Let i = 8 + 42. Suppose -3*m = g - 0*m - 13, -2*m - i = -3*g. Let a = g - -41. Is 19 a factor of a?
True
Suppose -2*p + 0*p - 24 = 0. Let t = p + 65. Suppose -5*u + 87 = -t. Is u a multiple of 28?
True
Let l be 15*((-9 - -3) + 1). Let k = l - -156. Is 19 a factor of k?
False
Suppose 5*d - 64*n = -61*n + 11162, 5*d + 3*n = 11168. Is 11 a factor of d?
True
Does 12 divide 58 + (7 - 5)*1?
True
Let s be ((-128)/20)/(4/(-10)). Suppose -39*t + 8970 = -s*t. Is t a multiple of 30?
True
Suppose -3*o + 3 = -15. Let k(r) = r**3 - 3*r**2 + 3*r - 11. Is k(o) a multiple of 9?
False
Let s(a) = 3*a - 9. Let f be s(4). Suppose 5*n = f*h + n - 37, h - 5*n = 27. Is 2 a factor of h?
False
Let u = -2 - 4. Let h(y) = -y**2 + 10*y + 32. Let m be h(14). Is 6 a factor of (u/(-8))/((-1)/m)?
True
Let l = 187 - 109. Is 13 a factor of l?
True
Suppose -1107 = -3*p - 288. Let f = -138 + p. Is f a multiple of 7?
False
Let h be (6/12)/(3/(-1 - 5)). Does 14 divide (((-24)/(-20))/h)/((-3)/210)?
True
Let m(s) = s**3 - 2*s - 2. Let c be m(2). Suppose -c*b - 2*d + 26 = 0, 11 = 3*b + 5*d - 26. Does 7 divide b?
True
Suppose 2*l - l - 2*z - 41 = 0, 0 = l - 4*z - 51. Let o = 9 + l. Is 10 a factor of o?
True
Let g = -38 - 7. Let v = 99 + g. Is 11 a factor of v?
False
Does 32 divide (-108 - -72)/((-3)/88)?
True
Let l(a) = -340*a - 4. Does 28 divide l(-1)?
True
Let y be (-12 - -10)*(-14)/(-2). Does 18 divide ((-48)/(-5))/(y/(-175))?
False
Suppose 2*i + 5193 = 5*o, -16 = -0*i + 4*i. Does 66 divide o?
False
Let k = 49 + -10. Let p be (-2 - -1) + k/3. Suppose 2*x - 2 = -8, 0 = m - x - p. Is m a multiple of 2?
False
Does 5 divide 7/63*-3 - (-9782)/6?
True
Let b = 4665 + -2450. Suppose -b + 269 = -14*x. Is 47 a factor of x?
False
Let f(d) = -d + 8. Let n = 7 - 0. Let t be f(n). Is t/(-1)*(-462)/7 a multiple of 11?
True
Is ((-6614)/10)/(-8 - 195/(-25)) a multiple of 10?
False
Suppose -5*m - 105 - 90 = 0. Let o = -27 - m. Is 14 a factor of 2/3 - (-328)/o?
True
Let b(x) = -x**3 + 13*x**2 + 20*x + 4. Does 17 divide b(11)?
False
Let o = 32 - 28. Suppose w = -d + 118, -o*d + 2*w = -151 - 351. Is d a multiple of 41?
True
Let k = 1516 - 871. Is 12 a factor of k?
False
Suppose 0 = 7*y - 2572 - 816. Is y a multiple of 22?
True
Let z = 17 - 49. Let g be -9 - z - (1 + 2). Suppose 2*l + g = 4*l. Is 10 a factor of l?
True
Suppose -4*j + 4*f = 163 - 4511, -2*f = 0. Is j a multiple of 11?
False
Let h(x) be the third derivative of -1/6*x**3 + x**2 + 0*x + 1/60*x**5 + 0 + 1/12*x**4. Does 2 divide h(-4)?
False
Let h(t) = -t**3 - 8*t**2 + 3*t - 13. Let f be h(-9). Let x be (34/(-4))/((-1)/8). Let b = x - f. Is b a multiple of 24?
False
Let j(l) = -l**3 + 13*l**2 - 9*l + 16. Let m = 3 - -5. Let s = 20 - m. Is j(s) a multiple of 13?
True
Suppose -14*o = -o - 4485. Does 39 divide o?
False
Let p(k) be the third derivative of k**4/24 + 23*k**3/6 - 41*k**2. Does 23 divide p(0)?
True
Let w be (-42)/(-4)*16/6. Let c = -16 + w. Suppose -4*m - 4 = 16, 3*d = -3*m + c. Is d even?
False
Let q be 28/(-49) + (-4)/(-7). Suppose 0 = 3*p + 3*s - 54, 4*p + 4*s - 6*s - 60 = q. Is p a multiple of 9?
False
Let m be 198/(-30) + 7 + (-496)/(-10). Suppose c + 5*q - m = 0, -3*c + 0*c - q + 136 = 0. Is 9 a factor of c?
True
Let v(f) = 44*f + 117. Does 82 divide v(14)?
False
Let s = -6 - -9. Let h be s/(-12) + (-18)/(-8). Suppose h*v - 5 = -1. Is 2 a factor of v?
True
Let j(t) = 5*t - 9. Let a be j(5). Suppose -5*w + 3*w = 2*l - 16, l - 5*w + a = 0. Suppose 72 = 3*u + 3*q, 2*u + l*q - 46 = 3*q. Does 11 divide u?
True
Let j(z) = -z**3 - 14*z**2 + 21*z + 21. Let x be j(-16). Let b = -82 + x. Let v = b - 25. Does 23 divide v?
False
Let z = 12 + -14. Let a(t) = -9*t**3 + 2*t**2 + t + 2. Let h be a(z). Suppose -3*s - 5*o + h = 16, -o = -2. Is 9 a factor of s?
True
Let p = -14 - -27. Suppose 3*g = 2 + p. Suppose 4*d = -d + g*s + 55, 3*s - 15 = -5*d. Is d a multiple of 2?
True
Suppose 10 + 4 = -u. Let o = u + 19. Does 22 divide (-20)/o + (-3 - -95)?
True
Let k = -7 - -10. Suppose 0 = 2*q - 5*i - 40, 5*i - 17 = -k*q + 93. Suppose 3*h = h + q. Is h a multiple of 5?
True
Suppose 3*c - 22*f - 261 = -17*f, -3*c = -3*f - 255. Is c a multiple of 8?
False
Let d be 8 - (2/(-6) - (-1)/3). Suppose -4*n + 4 = -d. Does 2 divide n?
False
Suppose -3*m + 13 = -2. Let q(a) = a**2 - 62. Let r be q(8). Suppose 4*u = u - r*f + 31, -u - m*f + 32 = 0. Is u even?
False
Let u(w) be the third derivative of -w**6/120 + w**5/3 - 3*w**4/4 + 35*w**3/6 + 37*w**2. Does 9 divide u(19)?
True
Let a(t) = -t**2 - 10*t - 3. Let u(f) = -1. Let m(p) = -a(p) - 2*u(p). Let r be m(-10). Suppose r*q - 21 = 2*q. Does 2 divide q?
False
Suppose 5*y - 457 = 38. Suppose 3*k - 59 = 2*t, -20*k + 15*k + 3*t = -y. Does 21 divide k?
True
Suppose -2*g + b + 33 = 0, -6*b + 9*b - 9 = 0. Is g a multiple of 6?
True
Suppose 65 = -o + 14*o. Let a(r) = -r**3 + 7*r**2 - 3*r - 5. Does 6 divide a(o)?
True
Let l(q) = 187*q - 6. Let i be l(-1). Let m = -113 - i. Is 20 a factor of m?
True
Suppose -1412 = -2*n - 4*y, 0*n - 5*y = -n + 699. Is n a multiple of 44?
True
Suppose 92*b - 95*b + 168 = 0. Is b a multiple of 8?
True
Let n(m) = m - 68. Let j be n(-23). Let w = j + 149. 