 + 37. Let y(u) = -a(u) - p(u). Does 27 divide y(-17)?
True
Suppose -4*i + 2*p + 502 = 0, 4*i - 498 = 35*p - 37*p. Is 15 a factor of i?
False
Suppose 0 = -n + 3*v - 0*v + 43, 0 = 4*n + 3*v - 187. Suppose -3*o = 16*o - 2185. Let u = o - n. Is 23 a factor of u?
True
Let h = -156 - -224. Is h a multiple of 23?
False
Let d be (6/9)/((-4)/54). Does 29 divide ((-12)/d - 1)*87?
True
Let d(a) = -a**3 + 15*a**2 + 7*a - 20. Let b be d(15). Let j = b + -15. Is 14 a factor of j?
True
Let q(s) = s**2 - 18*s - 41. Suppose -x = -9*x + 168. Is q(x) a multiple of 11?
True
Let n(r) = r**3 + 8*r**2 + r + 2. Does 17 divide n(-6)?
True
Let o(n) = -3*n**2 + 13*n - 25. Let h be o(6). Let x = h + 133. Does 6 divide x?
True
Let v(z) be the second derivative of z**6/360 + 7*z**5/60 - 2*z**4/3 + 5*z**3/6 - 7*z. Let u(k) be the second derivative of v(k). Does 8 divide u(-16)?
True
Suppose 2*f + t + 420 = -519, -1875 = 4*f + t. Does 14 divide ((-2)/6)/(3/f)?
False
Let h(a) = 23*a + 438. Is h(0) a multiple of 73?
True
Suppose b + 31 = -5. Let y be 3 + -3 - 3 - b. Let s = y - 12. Is s a multiple of 8?
False
Let w = -300 - -377. Is 11 a factor of w?
True
Let j = 4454 + -2012. Is 111 a factor of j?
True
Let a = 1 - -2. Suppose -3*h = q - 24, 124 = a*q + q - 2*h. Is 15 a factor of q?
True
Let x(c) be the third derivative of 5*c**5/12 - c**4/8 - c**3/2 + 5*c**2. Does 29 divide x(2)?
False
Suppose b = -3*f - 0 + 6, b - 4*f + 29 = 0. Let k = -8 - b. Let a(m) = 6*m**2 - m. Does 3 divide a(k)?
False
Let y = 1834 + -1748. Is y a multiple of 17?
False
Let p(v) = -2*v**2 + 39*v - 7. Let i(q) = q**3 + 5*q**2 - 7*q + 10. Let n be i(-6). Is 13 a factor of p(n)?
False
Suppose 3*g + 0*z - 422 = -z, -2*g - 2*z + 280 = 0. Is g a multiple of 3?
True
Suppose -580 = -6*g + 962. Suppose 2*i - 3*t + g = 3*i, -i - 4*t + 256 = 0. Is i a multiple of 26?
True
Let o(x) = 3*x**3 - 33*x**2 - 44*x + 18. Does 5 divide o(13)?
True
Let u be 15*(16/(-6) - -3). Suppose -4*g + 307 = -u*m, 114 + 108 = 3*g - m. Is g a multiple of 16?
False
Let t be (-16 - 3)*(0 + 1). Let f be t/2 - (-5)/10. Is 5/((-15)/f) + 31 a multiple of 17?
True
Let o(w) = 3*w - w - 5 + 24. Let d be o(-8). Suppose 0*u + u + 3*c = 4, d*u + c = 44. Is u a multiple of 9?
False
Suppose 0 = -5*f + 3*f + 6. Does 6 divide 14 - f - (-4 + 0)?
False
Let g be -74*(-2)/6*3. Suppose g = 4*j + 10. Is 5 a factor of j?
False
Suppose -3*c + 10 = -5. Suppose 2*z - c*z + 39 = 0. Is 3 a factor of z?
False
Let y be -2*(3*8)/(-4). Is 24 a factor of (-3 - y/28)*-7?
True
Let y = -9 - -13. Suppose 2*h - g + 2 = -3*g, 41 = y*h - 5*g. Suppose -h*s + 3*s + 78 = 0. Is 26 a factor of s?
True
Let q be (-20)/4 - -2 - -3. Suppose -n + q*o + 81 = -2*o, -3*n + 3*o = -234. Suppose -4*u + n = -u. Is 7 a factor of u?
False
Let b(a) be the second derivative of -8*a**3/3 - 2*a**2 - 6*a. Does 3 divide b(-1)?
True
Is 57 a factor of 2/(-8) - (-220726)/88?
True
Does 61 divide (0 - -38)*(-3060)/(-45)?
False
Suppose -5*p = 6*p + 154. Does 20 divide (-838)/p - (-2)/14?
True
Let u(i) = i + 8*i**2 - 5*i - 5*i + 5*i - 1. Is u(3) a multiple of 13?
False
Let n = -4 + 6. Suppose -z + 5*q - q = 4, 5*z = -n*q + 24. Suppose -2*r + 13 = -j, -7*r = -3*r - z*j - 32. Is 4 a factor of r?
False
Let n = 11 + -11. Suppose 4 + n = g. Suppose 0 = -2*b + g*b - 44. Does 11 divide b?
True
Let a be 220/33 - 1/(-3). Let l(z) = -z**2 - 15*z + a*z + 23 + 7*z. Is l(0) a multiple of 8?
False
Suppose -4*h = -4*g, 2*g - 9 = -5*h + 12. Suppose -7*t + 428 = -g*t. Does 11 divide t?
False
Let a(j) = j**2 - 10*j - 14. Suppose 4*q + 3 = -17. Let t = q + 17. Does 3 divide a(t)?
False
Let y(u) = 462*u**2 + 17*u - 34. Does 56 divide y(2)?
True
Let k(y) = -y**3 + 6*y**2 + 4*y - 1. Suppose -3*z - z = -20. Let u be k(z). Suppose -g = -0*g - u. Is g a multiple of 11?
True
Let u(l) = l**3 - 1 + 6 - 8*l - 15 + 5*l**2. Let m be u(-6). Suppose 5*a + 3*b = 75, -5*b + 0*b = -m*a + 30. Is 8 a factor of a?
False
Let c be (0 + -3)/((-18)/30). Suppose 4*t + c*u = 146, -4*t + u = t - 168. Does 4 divide t?
False
Let v be (1 + (-16)/12)*-246. Let n be v - 0/((-9)/(-3)). Let j = 195 - n. Does 35 divide j?
False
Suppose 9*k = 7*k + 2. Does 12 divide -2 - k - (-7 + -17)?
False
Suppose -v = 2*v - 9. Suppose -v*s + 37 + 2 = 0. Does 3 divide 1 + s - (-4 - -7)?
False
Suppose 6 - 11 = -f. Does 20 divide 5*(6/f)/3 + 54?
False
Suppose -240 = -4*r + 148. Is 17 a factor of r?
False
Let s(p) = p**2 + 6*p + 5*p - 3*p - 9. Let i be s(-9). Suppose -w + 10 + 10 = i. Is 10 a factor of w?
True
Let t = -85 - -100. Let b(j) = 12*j - 2. Is b(t) a multiple of 41?
False
Let t(j) = j**3 + 13*j**2 - 28*j + 62. Is t(-13) a multiple of 3?
True
Suppose -3019 = 8*t - 9283. Is 13 a factor of t?
False
Let f = 34 - 20. Suppose -c = f - 46. Suppose 3*o = -o - l + 31, 5*o - l = c. Does 7 divide o?
True
Let y(z) = 54*z**2 + 8*z - 26. Is y(4) a multiple of 15?
True
Is (-8994)/(-10) - (196/(-35) - -6) a multiple of 29?
True
Let x(g) = -24*g**3 - 2*g - 2. Let v be x(-1). Suppose -z - 5*a = -15, 5*a = -4*z + 6 + v. Suppose 144 = -w + z*w. Is 18 a factor of w?
True
Is 12/15 + (-40932)/(-60) a multiple of 51?
False
Suppose 0 = -88*d + 92*d - 992. Is 4 a factor of d?
True
Suppose -37*n = -45*n + 44928. Is n a multiple of 49?
False
Let f = 41 - -173. Is 51 a factor of f?
False
Suppose -2*b + 143 = -97. Let t be b/28 + 2/(-7). Suppose 0*n - t*i = -3*n + 16, 5*n - 22 = 2*i. Does 2 divide n?
True
Suppose -14*q + 850 = -1726. Is 8 a factor of q?
True
Let g(x) = -x**2 + 2*x. Let i be g(0). Suppose 2*h + 0*h - 2 = i, -74 = -3*b - 5*h. Is b a multiple of 23?
True
Let x be 1*14*(4 - 2). Suppose 2*k = -4*n + x, -3*n + 4*n = -k + 9. Suppose 2*q - k*q + 36 = 0. Does 6 divide q?
True
Let j(o) = 49*o**2 - 3*o + 12. Is 11 a factor of j(-3)?
True
Let t(s) = s - 4. Let v be t(0). Suppose 0 = 4*n - 74 + 2. Let f = n - v. Is f a multiple of 11?
True
Is 15 a factor of 8 - (13 + -5) - (2 + -255)?
False
Let w(m) = -m**2 + 13*m - 3. Let s be w(13). Let d be 6 - (-3)/3*s. Suppose d*j - 82 = 2*j. Is j a multiple of 9?
False
Let w(p) = 3*p**2 - 10*p + 3. Let s = 12 - 7. Let u be w(s). Let c = u - 12. Is c a multiple of 3?
False
Let o be 4*1/(4/17). Suppose -5*i - 3420 = -o*i. Does 27 divide i?
False
Suppose 10 = 4*u - p, u - 8 = -p + 4*p. Is (-26)/((-3)/9*u) a multiple of 14?
False
Let p be (-5)/(-10)*-1*-50. Suppose -4*u = -203 - p. Is 19 a factor of u?
True
Suppose 8*b = 11*b + 6. Let a = 1 - b. Suppose -23 = -l + 2*y, a*y + 28 = -l + 2*l. Is 6 a factor of l?
False
Let c(z) = -z**2 - 18*z - 21. Let h be c(-17). Is 34 + h + -2 + (-10)/(-5) a multiple of 15?
True
Suppose 39*j - 35*j - 4768 = -4*v, -2*v = 5*j - 2390. Is v a multiple of 10?
True
Let w(d) be the second derivative of d**4/4 + d**3/2 - d**2 + 6*d - 1. Let x be (16/12)/((-2)/(-3)). Is w(x) a multiple of 16?
True
Does 85 divide (-5)/105*-2 + 71396/42?
True
Let z(h) = h**3 + 7*h**2 - 7*h + 8. Let l be z(-7). Suppose 22 = 3*w - 2*w - 4*r, 5*r = 2*w - 32. Suppose -w*k - l = -9*k. Is k a multiple of 5?
False
Suppose 0 = a - 0*a - 20. Let b = 32 - a. Is 7 a factor of b?
False
Is (-70)/(-595) - ((-55858)/34 - 2) a multiple of 35?
True
Let y(o) = 11 + 2 - 15 - 46*o. Does 11 divide y(-1)?
True
Let h = 22 - 19. Suppose 5*o = c + 4, 2*c - 125 = -h*c - 4*o. Suppose 4*a - 203 - c = 4*y, y - 250 = -5*a. Is 28 a factor of a?
False
Suppose 3*p - 9 = 6. Suppose 0*i = p*i + 10. Is ((-117)/18)/(1/i) a multiple of 13?
True
Suppose -10*f = -17*f + 14. Let k = 2 + 28. Suppose 7*l - f*l = k. Does 6 divide l?
True
Suppose -2369 = -5*t + 3571. Is t a multiple of 57?
False
Let m = 2139 - -677. Is m a multiple of 16?
True
Suppose 5*r = 4*v - 1004, -14*v + 476 = -12*v + 4*r. Is v a multiple of 6?
True
Does 20 divide -10 + 2 - (-765 + 6)?
False
Let y(g) = -2*g + 7. Let r(d) = -d**3 - 5*d**2 + d + 2. Let z be r(-5). Let t(m) = m**2 + 4*m - 1. Let c be t(z). Does 15 divide y(c)?
True
Suppose 8 - 68 = -2*d. Let i = d + -3. Is i a multiple of 6?
False
Let s be 1 + 1/(1/4). Suppose -s*k + 3*k - 8 = 0. Let h(j) = 2*j**2 - 3*j - 3. Is 23 a factor of h(k)?
False
Suppose -9*g + 14 = -16*g. Is 8 a factor of 311/(-12)*g + (-7)/(-42)?
False
Suppose -3150 = 106*q - 112*q. Is 5 a factor of q?
True
Suppose 3*c = -5*v + 847, 17*c - 1148 = 13*c - 2*v. Is 17 a factor of c?
True
Suppose 588 