. Let v(i) = 6*i**2 - 16*i - 9. Let n(j) = -8*u(j) + 3*v(j). Let f = 8 + -2. Does 4 divide n(f)?
False
Let w(i) = -22*i**3 + 39*i**2 + 13*i + 6. Is w(-6) a multiple of 78?
True
Is 59 a factor of ((-9 - -14)*487)/1?
False
Suppose -12*k - 17*k + 2118 = -2812. Does 5 divide k?
True
Let s(t) = 4*t + 10. Let a be s(-8). Let j = a - -25. Suppose q - j*k = 15 + 33, 2*q - 5*k - 95 = 0. Does 15 divide q?
True
Suppose -a = 5*h - 149136, 3*a + 89460 = -4*h + 7*h. Is h a multiple of 46?
False
Let i(k) = 2*k**2 + 19*k + 242 - 4*k - 476. Does 17 divide i(-21)?
False
Suppose 6*m = -27 - 1575. Let c = -48 - m. Suppose 121 = 2*o - c. Is o a multiple of 10?
True
Suppose z = -0*c - 2*c + 10, 0 = 3*c + 5*z - 8. Suppose 2*t - 198 = 4*l, 3*l + c = 6*l. Is 3 a factor of t?
False
Suppose h - 59 = -5. Let m = h + -52. Suppose -m*v = -64 - 8. Does 4 divide v?
True
Suppose 13*y - 16937 = 207651. Is 95 a factor of y?
False
Suppose -15*p = -10*p. Suppose -c + 3*t = 8, 0 = -p*c + 5*c + 4*t - 36. Suppose 0 = x - 3*g - 10 - 10, -5*x = -c*g - 89. Does 11 divide x?
False
Is 180 a factor of 40*(8/(-36) - ((-4116)/54 + 4))?
True
Let w(t) = 3*t**3 + t**2 + 2*t + 1. Suppose 5*g + 3*y + 15 = 8*y, -y + 13 = 4*g. Let c be w(g). Suppose -308 + c = -11*s. Is 12 a factor of s?
False
Suppose -3*c = 4*d - 8*c + 4, 0 = -d + 5*c - 16. Let j(m) = 6*m - d*m + 27 - 5*m. Is j(-15) a multiple of 8?
True
Let r = 13057 + -6847. Is r a multiple of 23?
True
Let z(b) = 24*b**3 + 2*b**2 - 4*b + 20. Let t be z(4). Suppose -4*i + t = -4*o, -18*i + 13*i + 1959 = -3*o. Does 15 divide i?
True
Let n = -4 + 8. Suppose 13*p + 252 = 34*p. Suppose -c - i + p = 0, 0 = -n*c - 2*i - 3*i + 48. Is c a multiple of 6?
True
Suppose 20*l = -11*l + 86773 + 135032. Is 36 a factor of l?
False
Let r be 1 + -5 + 6 + 4. Is 61 a factor of (-5 + 687/(-9))/(r/(-45))?
True
Let l = -2772 - -6043. Suppose -17*i + 10122 = l. Is 13 a factor of i?
True
Is (69090/4)/(9 + -9 + 27/36) a multiple of 98?
True
Suppose 0 = -4*s - 20, -15 = -w - s + 16. Let z = w - 0. Is 12 a factor of z?
True
Suppose -10*i + 342 = 8*i. Suppose i*g = 20*g - 185. Does 19 divide g?
False
Suppose 3*r - 22 = 4*h, -4*r - 3*h - 15 = -6*r. Let g = 2 + -3. Does 11 divide 55/g*2/(-30)*r?
True
Let x(d) = -64*d - 136. Let o(a) = -64*a - 139. Let n(s) = -3*o(s) + 2*x(s). Is n(11) a multiple of 28?
False
Suppose 0 = 4*j - 2*k - 2*k + 76, -4*j + 2*k - 76 = 0. Let y = 250 + -277. Let i = j - y. Does 2 divide i?
True
Suppose -3*u + 343 + 1273 = -g, 4*u = 2*g + 3236. Let z = 2434 + g. Is 14 a factor of z?
True
Suppose -8979 = 9*r - 2*r - 27004. Does 25 divide r?
True
Suppose -22 = z + j - 26, -5*j + 16 = 4*z. Suppose -3*f + 2359 = -4*b, -2*f + 877 + 669 = z*b. Is 25 a factor of f?
False
Let b(w) = 6*w**2 - 2*w - 41. Let k = -320 + 325. Is b(k) a multiple of 3?
True
Suppose 9*f - 68912 = 12735 - 8045. Is f a multiple of 47?
True
Let m = 8362 + -5450. Is 35 a factor of m?
False
Let z be (-2)/(0 + (-4 - -2)). Let h(v) = 163*v - 3. Let l be h(z). Let g = l + -106. Is g a multiple of 18?
True
Suppose -269*y + 865488 = -22*y. Is 58 a factor of y?
False
Let k(d) = 46*d + 402. Does 33 divide k(30)?
True
Let x = -968 - -521. Let r = x - -146. Is 10 a factor of 14/(-70) - r/5?
True
Is 11 a factor of (-3 - 104/(-40)) + (-16)/(-5)*497?
False
Let a(g) = -53*g**2 - 3*g + 237. Let d(h) = 18*h**2 + h - 78. Let j(c) = 2*a(c) + 7*d(c). Is j(8) a multiple of 64?
True
Let b(h) = -15*h - 75. Let x be b(30). Let z = -210 - x. Does 9 divide z?
True
Let r(j) = 60*j**3 + 4*j + 6. Let t be r(3). Suppose -6*x + t = -744. Is x a multiple of 37?
False
Let h(g) = 619*g - 560. Does 204 divide h(15)?
False
Let v = -468 - -1581. Does 53 divide v?
True
Suppose -5*q + 124 = h, 0*h = h + q - 144. Suppose 137*o - 252 = 95*o. Suppose 61 + h = o*m. Does 3 divide m?
False
Let r(n) = -2*n + 42. Let j be r(18). Suppose j*f = 8 + 4. Suppose -f*s = -7*s + 135. Is s a multiple of 8?
False
Let i = 22682 - -2848. Is i a multiple of 69?
True
Let l(u) = -u**3 + 2*u - 359. Let n be 1/(-5) - ((-2)/(-10))/(-1). Let z be l(n). Let v = -211 - z. Is 21 a factor of v?
False
Suppose -4*z - 9*z + 78 = 0. Suppose -4*s + 16 = 0, -3*s = -2*g + z*g - 1016. Suppose 22 = n - g. Is 35 a factor of n?
False
Let o(g) be the first derivative of -g**4/4 + 4*g**3 - g**2/2 + 25*g + 164. Does 11 divide o(12)?
False
Suppose -62*u + 89330 = -199094. Is 19 a factor of u?
False
Let h(d) = 2*d**3 - 3*d**2 - 10*d + 3. Let x be h(4). Suppose x*n = 41*n + 236. Suppose -8*y = -n - 722. Is 15 a factor of y?
True
Let a = 490 + -488. Suppose 4*f + k = 827, a*f - 5*k + 807 = 6*f. Is 29 a factor of f?
False
Let d(i) be the first derivative of i**5/24 - 7*i**4/6 + 11*i**3/3 - 3. Let a(u) be the third derivative of d(u). Does 3 divide a(8)?
True
Let l = 20 + -13. Suppose 19 - l = -3*u. Is 12 a factor of (-1846)/(-39) - u/6?
True
Let u = 37 + -35. Suppose -5*n - 326 = -5*j - 3*n, -140 = -u*j - 4*n. Let d = 105 - j. Does 27 divide d?
False
Let j be (1 - -5)*3102/33. Suppose -3*i + 24 = -j. Is i a multiple of 32?
False
Let w(p) = -25*p**2 + 8 + 28*p**3 - 29*p**3 + 4*p**2. Let j be w(-21). Suppose -4*q - 3*c = -37, 2*q + j - 29 = -c. Is q a multiple of 5?
False
Let j(w) = 150*w**3 + 3*w**2 - 3*w + 1. Let u(i) = 11*i + 3. Let h be u(-2). Let g = h - -20. Does 37 divide j(g)?
False
Is 32 a factor of 23132/6 - 60/(-315)*14?
False
Let m = 142 + 194. Let u = m + -21. Is u a multiple of 15?
True
Does 108 divide (-1 - (-2084)/12)*3*(2 - -11)?
False
Does 58 divide (-205884)/(-138) + (1/(-4))/((-690)/240)?
False
Suppose -4*a + 7 + 1 = 0. Suppose 5*h - 765 = -2*n, 116*n = -a*h + 120*n + 330. Does 8 divide h?
False
Let k be 11/3 - 2/3. Suppose -18*a - 87 = -21*a - 2*i, 0 = 4*a + 2*i - 114. Let j = a - k. Is j a multiple of 4?
True
Let g(x) = x + 24. Let z = 107 + -107. Let w be g(z). Suppose -w*f - 108 = -28*f. Is f a multiple of 27?
True
Let q(j) = 6*j - 46. Let r be q(8). Suppose 30*p = 28*p + s + 2142, 4*p = -r*s + 4284. Is p a multiple of 63?
True
Let z(a) = -a**3 + 6*a**2 + 11*a + 29. Let n be z(8). Let t(q) = q**2 - 37*q - 321. Does 23 divide t(n)?
True
Suppose -4*p = -x - 4*x + 1460, -1460 = -5*x - 3*p. Let o = 508 - x. Does 36 divide o?
True
Let b = 28048 - 12349. Is b a multiple of 51?
False
Let d(x) = -7283*x**3 - 4*x**2 + 130*x + 256. Is d(-2) a multiple of 17?
False
Let k be (-3)/2*(-1 - -27). Let q = k + 49. Is 41 a factor of 1232/10 + (-2)/q?
True
Let w be -1 + (-95 - (-1 + 4)). Let a be (w/15)/11 - (-148)/5. Suppose 0*n + 5*b + a = n, 2*b - 138 = -4*n. Does 17 divide n?
True
Let j(a) = -4*a**3 + a**2 + a - 1. Let x be j(2). Let q = 26 + x. Does 20 divide 5*(-1)/(-5) + (-79)/q?
True
Let w(o) be the second derivative of -5*o**3/6 - 7*o**2 + 20*o. Let h be 6*(-1 - (-2)/(-6)). Does 10 divide w(h)?
False
Suppose 10 = -2*b + 4*f, 11 = 5*b + 3*f - 29. Suppose -2*d - 1140 = -7*d + 5*r, 0 = b*d + 3*r - 1116. Is 15 a factor of d?
True
Let c(s) = -s**3 + 14*s**2 - 96*s - 16. Let d(n) = -n**2 - n. Let b(k) = c(k) - 6*d(k). Does 25 divide b(11)?
False
Let j = 85 + -97. Let d be -1 - ((-8)/j - 14/3). Suppose -2*x = 3*n - 373, -6*n = d*x - n - 559. Is x a multiple of 45?
False
Let u = 20 - 14. Let y be 3*2/(-6)*u. Is 11 a factor of -201*4/(-6)*(-3)/y?
False
Suppose -7*f + 5 + 2 = 0. Let r = f + 3. Suppose r*k - 29 - 331 = 0. Is k a multiple of 9?
True
Suppose -269*o + 8692 = -265*o. Is o a multiple of 18?
False
Let q(o) = o**3 - 72*o**2 - 65*o + 1139. Is 10 a factor of q(75)?
False
Suppose 2*p - 4 = -4*k, 4*k + 10 = 5*p - k. Suppose -n + 7 - p = 0. Suppose -3*t - n*g + 259 = 0, -219 = -3*t + 5*g - 2*g. Is t a multiple of 9?
False
Suppose 0 = -5*s - 3*g + 16, 9*g + 15 = 4*g. Suppose o = -3, 2*n = s*n + 2*o - 9. Suppose -376 = -2*y + n*h, h + 770 = 4*y - 0*y. Does 53 divide y?
False
Let j(y) = 6*y**2 - 236*y + 9575. Is 55 a factor of j(36)?
True
Suppose 8*j = 7*j + 3. Suppose -j*f + n = -0*n - 71, 0 = 2*f + n - 39. Is 33/f*332/3 a multiple of 14?
False
Let v be (-4)/34 + (-364196)/(-476). Suppose 2*k + v = s, -4*s + k = -2*s - 1530. Does 45 divide s?
True
Let h(u) = -3*u**3 + 2*u**2 - 3*u - 8. Let r be h(-3). Let y be (31 - r)/((-3)/8). Suppose 138 + y = 2*b. Does 58 divide b?
False
Let o(n) = 6*n - 163 + 82 + 5*n**2 + 51. Let m(b) = -5*b**2 - 5*b + 29. Let k(h) = -5*m(h) - 