+ u + 7. Does 4 divide h(g)?
False
Let o be -2 + 2 + 1 + 4. Suppose -o*x + a = -302, 0 = a - 3*a - 4. Does 14 divide x + 6*(-8)/12?
True
Suppose -g - 32 = -3*g - 5*w, -5*g - 3*w + 42 = 0. Let b be (8/3)/(g/9). Suppose -b*z - 206 = -5*i, 3*i - 3*z + 50 = 173. Does 21 divide i?
True
Let i = -701 - -935. Is i a multiple of 13?
True
Let l(m) = -m + 14. Let n be (-3)/(-15) - (-88)/10. Is l(n) a multiple of 5?
True
Let v = 1 + 2. Does 22 divide v*4/(-12) + 25?
False
Suppose -33*h + 11*h + 2860 = 0. Is h a multiple of 5?
True
Let v(r) = 13*r - 24. Is v(10) a multiple of 7?
False
Let r(a) = -a**3 - 2*a**2 + 298. Is r(0) a multiple of 16?
False
Suppose -206 = -2*u + 4*v, -3*u - u - 5*v + 412 = 0. Is 2 a factor of u?
False
Suppose 5*w - 14 = 4*w. Suppose -w - 58 = -4*d. Suppose 30 + d = 2*y - 5*i, -40 = -2*y + 3*i. Is y a multiple of 5?
False
Is (128/120)/(-8) - 10084/(-30) a multiple of 24?
True
Let y(s) = -24*s + 185. Is 13 a factor of y(-21)?
True
Let r = 58 - 25. Suppose -3*d = -3*y + r, 0 = -4*y + d - 4*d + 37. Does 3 divide y?
False
Does 13 divide (3*8/(-30))/((-6)/615)?
False
Suppose -3*s = 2*u + 173, 0*u + 286 = -5*s - u. Suppose -107 = 4*r - 5*r. Let v = r + s. Is v a multiple of 15?
False
Suppose 0 = -100*r + 92*r + 6528. Is 34 a factor of r?
True
Let m = 375 - 60. Does 11 divide m?
False
Let g(k) be the third derivative of -k**6/120 + k**5/60 + k**4/6 + k**3/2 + 4*k**2. Is g(-3) a multiple of 8?
False
Let y = -24 + 25. Suppose 3*n = y + 137. Is n a multiple of 20?
False
Suppose -5452 = -3*h + 2*w, -3*h - 2*w = -2*h - 1820. Is 14 a factor of (-4)/6*h/(-12)?
False
Suppose 0*x + 331 = -2*x - 3*i, 155 = -x - 5*i. Let u = x - -314. Is 36 a factor of u?
True
Let u = 13 + -25. Let n = u + 43. Is n even?
False
Let r be (6/4)/((-6)/(-32)). Suppose 0 = -3*a + 8*i - 7*i + 14, 30 = 5*a - 5*i. Is (-19)/(-2) - a/r a multiple of 2?
False
Let a(b) = b**2 + 4*b - 8. Let g be a(-6). Suppose -20 = -g*f, -2*f + f = -2*p + 89. Is p a multiple of 14?
False
Let t = -227 - -250. Is t a multiple of 3?
False
Let f(s) = 5*s**2 - 4*s**2 - 7 + 13*s - 11. Does 15 divide f(-16)?
True
Let o(x) = -10*x - 68. Let q be o(-7). Is (q - -172) + -16 + 14 a multiple of 20?
False
Suppose -5580 = 13*z - 44*z. Is 9 a factor of z?
True
Let f(s) = -54*s - 51. Is 6 a factor of f(-6)?
False
Let r = 31 - 10. Does 4 divide ((-30)/r)/((-2)/28)?
True
Let k = -24 + 22. Let w be 1603/(-14) + k/4. Let u = 183 + w. Is 12 a factor of u?
False
Let m(l) = -26*l**2 - 5*l - 3. Let u(z) = 52*z**2 + 9*z + 6. Let g(r) = 11*m(r) + 6*u(r). Let t be g(-3). Suppose -6*q + t = -q. Does 8 divide q?
True
Suppose -2 = l, 3*l + 126 = 5*r - 0*l. Let p = r - 22. Is 20 + p/(-6)*-3 a multiple of 7?
True
Suppose -14*h + 3*h = -2244. Is 17 a factor of h?
True
Does 10 divide 9/((-27)/(-15)) - -115?
True
Suppose -284 = 3*i + 181. Let d = -109 - i. Is d a multiple of 18?
False
Suppose -13*x + 0*x + 3822 = 0. Is 21 a factor of x?
True
Suppose 0 = -4*b - 4*p + 5696, -7123 = -5*b + 6*p - 8*p. Does 19 divide b?
True
Let v(s) = -101*s**2 - 16*s - 18. Let w(t) = 50*t**2 + 7*t + 9. Let x(z) = 6*v(z) + 13*w(z). Is 15 a factor of x(3)?
True
Let j(m) = 41*m + 51. Is j(28) a multiple of 7?
False
Let q be 4*2 - (0 - (5 - 9)). Suppose -q*b = g - 106, -228 = -4*g + b + 196. Is 51 a factor of g?
False
Let a(i) be the second derivative of i**5/20 - 3*i**4/2 + 3*i**3 - 3*i**2/2 + 11*i. Is a(17) a multiple of 4?
False
Suppose -7*o + 6*o = -27. Suppose -2*h + 2*w - 10 = 0, 3*h + 10 = 2*w - 0. Suppose h = -2*m + j + o, j = 2*m - j - 26. Is 7 a factor of m?
True
Let x be (-204)/(-28) + (3 - 69/21). Suppose -x*i = -10*i + 60. Is i a multiple of 10?
True
Suppose -4*u - 1356 + 8896 = 0. Is 52 a factor of u?
False
Let d be ((-336)/(-105))/((-2)/(-25)). Suppose d = 4*b - 112. Does 38 divide b?
True
Suppose 50 = 6*k - 10. Does 2 divide 22/(5*k/25)?
False
Let b be 2/4*-2*-5. Suppose 34 = b*l - 36. Does 8 divide l?
False
Suppose -56*u + 315588 = 35*u. Is 13 a factor of u?
False
Suppose 0 = -14*q + 9*q + 10. Suppose 5*c - 3*w + 2 = -q*w, 0 = 3*c + 2*w - 4. Suppose c = -7*j + 10*j - 180. Is j a multiple of 12?
True
Suppose 5*j + 65 = 5*z, 4*z - 7*j + 2*j - 55 = 0. Suppose 0 = 3*m - 4*s, -5*s + 1 = -m - z. Suppose -4*i = -m*w + i + 32, -3*w + 3*i = -24. Does 4 divide w?
True
Let n(t) be the second derivative of -t**3/3 + 7*t**2/2 - t. Let i(m) = -m**2 + 9. Let l be i(4). Does 6 divide n(l)?
False
Suppose 19 = -4*w + 3. Let j be ((-14)/w)/7*0. Suppose -3*x = 3*q - 243, -161 = -2*x - j*q - 3*q. Is 21 a factor of x?
False
Let x = 13 + 975. Is x a multiple of 5?
False
Suppose m + 7 = 6*q - 3*q, 4*q + 4 = 4*m. Does 20 divide 113 - (m - -20)/(-5)?
False
Let m(u) = 138*u + 6. Is m(3) a multiple of 70?
True
Is 19 a factor of 23724/78 - (2 - (-144)/(-78))?
True
Suppose -m + 216 = 5*m. Suppose 2*r + r - m = 0. Is r a multiple of 12?
True
Suppose 4*q + 227 = -53. Let b(r) = r**3 + 18*r**2 + 25*r + 19. Let m be b(-17). Let a = q - m. Does 16 divide a?
False
Let n = 1340 + -807. Is n a multiple of 10?
False
Suppose 5*k - 10 = 4*i + 7, -2*i + k - 1 = 0. Let j(b) = -4 + 3*b**3 - 4*b + i*b**3 - 4*b**2 + b**3 - 5*b**3. Does 11 divide j(6)?
True
Suppose -5*r + 10 = -5. Suppose -r*t + 690 = -t. Suppose 2*v + 3*v - t = 0. Does 23 divide v?
True
Let n = 436 + -357. Is 16 a factor of n?
False
Suppose s + 9 = 8. Let n = 50 + s. Is n a multiple of 10?
False
Suppose 0 = 404*p - 393*p - 3663. Is p a multiple of 88?
False
Let o(i) = -i. Let c(t) = 1. Let r(l) = 2*c(l) - o(l). Let k be r(-7). Let y = k - -12. Does 7 divide y?
True
Suppose -5*w + 10668 = -a, -4*w + 3075 = -a - 5460. Is 9 a factor of w?
True
Let p(r) = r - 3. Let z be p(12). Suppose -z = -3*x + 21. Is x a multiple of 3?
False
Let w(k) = k + 2. Let o be w(-5). Is 40 a factor of (2 + (-74)/o)*3?
True
Let z(c) = -c**3 - 6*c**2 + 3*c - 11. Let g be (10 + -9)/((-2)/18). Let m be z(g). Is 15 a factor of 1*m/5 + 4?
True
Suppose n = -75 + 607. Is n a multiple of 14?
True
Is (-1443)/(-9) + -8 + 207/27 a multiple of 16?
True
Let m be 4/(-4)*(-13 + 3). Let s be 108/20 - (-6)/m. Let c = s + 13. Is c a multiple of 19?
True
Let n = -9 - -12. Suppose 8*u - 5*b + 15 = n*u, 0 = 5*u + 3*b + 31. Is (u - (-3 + 1)) + 23 a multiple of 20?
True
Let n(y) = -y**2 + 11*y - 16. Suppose 0 = -x - 3*x + 24. Let r be (14/x)/(1/3). Does 3 divide n(r)?
True
Let k = 39 + 23. Let p = k + -51. Is p a multiple of 11?
True
Let r(h) = 11*h**2 - 11*h - 10. Is r(-1) a multiple of 8?
False
Suppose 2*l - 10 = -3*l + t, 0 = t. Let x = 41 - 87. Does 9 divide x/(l - -2 - 5)?
False
Suppose 3 + 1 = 2*j. Let c(p) = -6*p + 0*p - 3 - 2 + 10*p**j + 0*p - p**3. Is 4 a factor of c(9)?
False
Let f(x) = x**3 + 38*x**2 - 103*x - 8. Is f(-38) a multiple of 93?
True
Let m(u) = -11*u + 2. Let v be m(-2). Suppose -3*b + b + v = 0. Is b a multiple of 12?
True
Let u(n) = -4*n - 1. Let y be u(3). Let v = 6 - -18. Let b = v + y. Is 11 a factor of b?
True
Suppose -28*l + 7186 = -19694. Does 10 divide l?
True
Suppose -g + 4*z = -29, 4*g - 2*z + 60 = 162. Suppose 3*r - 2*r - 2*q - 15 = 0, 0 = 5*q + g. Does 5 divide r?
True
Is 11 a factor of (-82270)/440*-4 + 2/22?
True
Let k(x) = x**3 - 5*x**2 - 2*x + 7. Let o be k(5). Does 6 divide o - (4 + -4) - -15?
True
Suppose -5*w = -3*j + 12, 4*w - 2*j + 10 = -0*w. Let m(i) = -58*i - 4. Let h be m(w). Suppose 15*z - 13*z = h. Is z a multiple of 17?
True
Suppose 5*d - 9 = 6. Suppose -d*k + 70 + 14 = 0. Is k a multiple of 7?
True
Suppose s - 4 = -5*k + 84, 0 = -s + 4*k + 97. Let w = s - 35. Does 29 divide w?
True
Let c(w) = w**2 - 4*w - 5. Let h be c(-2). Suppose h = -0*k + 3*k + l, -16 = -4*l. Suppose -3*j + 61 = -r, 5*r - k - 93 = -4*j. Does 6 divide j?
False
Let b(t) = 46*t**2 - 4*t - 3. Is 4 a factor of b(-1)?
False
Let i(c) = c**2 - 6*c. Let a(d) = -d**2 - 9*d + 6. Let q be a(-9). Let k be i(q). Suppose k = -2*x + 22 + 10. Does 11 divide x?
False
Let u = 97 - 72. Suppose 0 = -2*w - 3*x + 10, -2*w + 4*x - 1 = -u. Does 4 divide w?
True
Suppose d + 52 = -3*h + 3018, 3*h = 5*d + 2954. Is 13 a factor of h?
True
Let p = 939 - 327. Is p a multiple of 34?
True
Let n(k) be the first derivative of -k**4/2 + k**3/3 - k**2 + 2*k + 11. Is 10 a factor of n(-2)?
False
Let d = 55 + -100. Suppose -5*n - 5*l - 130 = 0, -2*n + l = -n + 16. Let q = n - d