Does 27 divide g?
False
Suppose 3387 = -3*c - 2319. Let o = -1002 - c. Is o a multiple of 90?
True
Suppose -58 = 36*q - 65*q. Suppose -3*w - 51 = -5*l + 142, q*w + 74 = 2*l. Does 6 divide l?
False
Let d = -12 - -15. Suppose -3*r = -4*m + 993, -d*m = -5*m + 5*r + 507. Is m a multiple of 68?
False
Let q(v) = 6*v**2 - 176*v - 104. Is q(-22) a multiple of 124?
False
Let t = -22023 - -23927. Is 34 a factor of t?
True
Let t(q) = -131*q**3 + 3*q**2 - q - 3. Is t(-1) a multiple of 7?
False
Let m(d) = -259*d - 2267. Is m(-13) a multiple of 50?
True
Suppose -18*v + 6 = -16*v. Suppose 0 = v*s + 4*o, -o = s + o + 2. Is 1010/9 - s/18 a multiple of 11?
False
Let u(w) = -8*w**2 - w. Let v(x) = -2*x**3 + 6*x**2 - 2*x + 5. Let q be v(3). Let p be u(q). Let n(s) = 6*s**2 + 14*s + 20. Does 24 divide n(p)?
True
Let v(o) = -o - 1. Let q be v(-3). Let u be 6 + 6/36*0 + -1. Suppose 20 = 4*a, q*a - 13 = u*t - 183. Does 6 divide t?
True
Let q = -137 - -141. Suppose 2*o = -8*y + 3*y + 265, -y - 519 = -q*o. Is o a multiple of 13?
True
Let v(z) = -790*z + 150. Does 53 divide v(-8)?
False
Is 4845/45*24 - 0 a multiple of 136?
True
Let x(o) = 49*o + 20 + 57*o - 33*o - 35*o + 122*o. Does 3 divide x(1)?
True
Let n(r) = -r**3 - 2*r + 29. Let c be n(0). Let o = 33 - c. Suppose -3*t + 0*t - 2*x = -250, -t - o*x + 80 = 0. Is 21 a factor of t?
True
Let p(b) = 7*b**2 + 2*b - 18. Let h be p(0). Does 20 divide 10122/77 + h/(-33)?
False
Suppose -2296*r + 2292*r + 29220 = 0. Is r a multiple of 46?
False
Suppose 116 + 100 = -27*v. Let h(p) = 9*p**2 - 9*p - 72. Is 21 a factor of h(v)?
False
Let o(x) = -7*x**3 - 3*x**2 + 15*x + 14. Is o(-5) a multiple of 2?
False
Let k = -73 - -152. Let v = k + -77. Suppose -468 = -v*o + 3*r, -2*o - 3*r + 181 = -311. Does 15 divide o?
True
Let u = 29 + -48. Let i = u - -19. Suppose i = -3*v - 7 - 8, -715 = -5*b + 2*v. Is b a multiple of 30?
False
Let m(i) be the first derivative of i**4/4 - 11*i**3/3 + 9*i**2/2 + 11*i + 8. Let l be m(10). Is 9 a factor of (-24)/(-20)*l*15?
True
Let z(c) = -16*c - 61. Let t be z(34). Is 14 a factor of (72/(-90))/(1/t)?
False
Let f be (-1124)/(-3) - (-6)/(-9). Suppose 0*w + 2*w = -4*h + 1502, 0 = h + w - f. Does 65 divide h?
False
Let l(y) = 20*y - 30. Suppose v + 3*g - 10 = 0, -5*v - 5*g = -0*v. Let m(o) = -21*o + 29. Let z(i) = v*l(i) - 4*m(i). Is z(-11) a multiple of 15?
True
Let g(j) = 1081*j**2 + j + 60. Does 14 divide g(4)?
True
Is 21 a factor of ((-38810)/(-40) - (-7)/4) + -6?
True
Let r(z) = 81*z + 9. Let u(m) = 243*m + 25. Let q(b) = 11*r(b) - 4*u(b). Is 7 a factor of q(-2)?
True
Suppose 1169481 = 191*i - 122*i. Does 200 divide i?
False
Let w(f) = 3*f**2 - 104*f - 953. Does 59 divide w(-52)?
True
Let f(b) = -992*b - 2276. Is 10 a factor of f(-8)?
True
Does 13 divide (8/(-10))/(848/(-52375660))?
False
Suppose 17 = -5*n - h, -6*h + 6 = 2*n + n. Let d = 9 + -4. Is d/10 + (-350)/n a multiple of 4?
True
Let o be 2/10 - 437/(-115). Suppose -o*b - 16 = 0, 6*b - 9*b = r - 72. Is 10 a factor of r?
False
Suppose -h + 2*h + 4*z - 1076 = 0, -z + 2131 = 2*h. Suppose 0 = -0*y + 2*y - 4*o - 440, h = 5*y - o. Is 18 a factor of y?
False
Suppose 2*i - 1159732 = -47*i - 12*i. Does 98 divide i?
True
Let z = 1666 + 38. Does 213 divide z?
True
Suppose -24*o - 51*o + 378350 = -40*o. Is o a multiple of 230?
True
Let m(t) be the second derivative of 7/12*t**4 - 3/2*t**3 + 8*t + 7*t**2 + 0. Does 45 divide m(4)?
True
Is 45 a factor of (-4 + -2)/(11/(-8580))?
True
Let w(q) = -15*q - 70. Let k be w(-5). Let n(b) = 823*b + 1. Let y be n(1). Suppose k*x = x + y. Is x a multiple of 16?
False
Let j = 22 + -39. Let k be (-1)/(2 + 291/(-147)). Let c = j - k. Is c a multiple of 3?
False
Let f = 174 - 168. Is 1*(171/f - 3/2) a multiple of 11?
False
Suppose 16*y - 20*y - x + 1759 = 0, -2*x + 2195 = 5*y. Does 6 divide y?
False
Let c(t) = 23*t + 1588. Is c(93) a multiple of 105?
False
Suppose -d = -5*z - 64, 286 = 2*d + 2*d - 5*z. Suppose 4*x + 5*r = 192, -4*r = x - 50 - 9. Suppose -2*g - d = -4*g - t, -t - x = -g. Is g a multiple of 13?
True
Let w = -1115 + 977. Suppose -8 - 162 = 2*c. Let g = c - w. Does 4 divide g?
False
Let j(i) = 26*i**3 - 12*i**2 - 54*i - 32. Is 92 a factor of j(12)?
False
Suppose -h + 4*w - 173 = 0, h + 153 = w - 2*w. Is h/2*((0 - -2) + -8) a multiple of 50?
False
Let s be (-5 + (-3)/(-1) + 1)*-8. Let p(x) = -x**3 + 9*x**2 - 5*x - 6. Is 18 a factor of p(s)?
True
Let o(c) = -c + 13*c + 5*c**2 + 0*c**2 - 3*c**2 + 587. Does 12 divide o(0)?
False
Let q(s) = 43277*s + 404. Does 116 divide q(1)?
False
Let f(w) = -2*w**3 + 16*w**2 - 8*w + 6. Let d be f(7). Suppose d + 492 = 15*l. Is l a multiple of 9?
True
Let c(w) = w**3 + 4*w**2 - 8*w - 5. Let b be c(-5). Let f = b + 64. Is 37 a factor of f?
True
Let d(f) = 10*f - 1. Let t be d(-1). Let r be 11*1/1*(-3 - -7). Let i = t + r. Is 27 a factor of i?
False
Let n = 7 - 7. Suppose -5*z - 105 = -l - 28, 3*z = -2*l + 128. Suppose n = -5*h + l + 408. Does 19 divide h?
True
Suppose -5*j - 2*d = d - 38, 4*j = -4*d + 32. Suppose 9*u - j*u = -4*i + 3584, -2*u - 2*i = -3590. Is 16 a factor of u?
False
Let o = -520 + 554. Let n = 205 - o. Is 3 a factor of n?
True
Let c(w) = 5*w**2 + 62*w - 2875. Is c(-107) a multiple of 9?
True
Let t = 24734 + -13443. Is t a multiple of 7?
True
Suppose 248 = 2*z - 6*w - 3132, 3*z + 4*w = 5005. Does 25 divide z?
True
Suppose 0*c = 10*c + 50. Is (-1 + c/(-3))/((-46)/(-6279)) a multiple of 13?
True
Let x be (16/20)/(-1 - 121/(-120)). Suppose -5*w = 3*w - x. Suppose 0 = -5*u + 2*i - w + 69, 9 = u - i. Is u even?
False
Suppose 3*o = 3 + 3. Suppose -2*f - o*f + 24 = 0. Suppose 222 + 198 = f*g. Does 7 divide g?
True
Let o be 1*(-63)/9 - 1822. Let v = o - -2692. Is 12 a factor of v?
False
Let u be (-35)/5 - (3 - 8). Let d be 1*(u - 1) + (-77)/(-11). Suppose d*f - 86 = 5*z, 3*f - 56 = f - 4*z. Does 3 divide f?
True
Let c = -5960 + 18773. Does 13 divide c?
False
Does 29 divide (16945 - 0) + 7 - -13?
True
Suppose -4*i + 1404 + 460 = 0. Let g(x) = 6*x**3 - 5*x**2 + 8*x - 7. Let k be g(4). Let w = i - k. Is w a multiple of 28?
False
Suppose 2*c = s - 24216, -c - s = 10373 + 1735. Is (-2)/16 + c/(-96) a multiple of 7?
True
Let t(k) = 24*k - 3. Let z be t(5). Suppose 31*f - 4*s = 27*f + 160, -5*s = 5. Suppose 2*r = z - f. Is r a multiple of 19?
False
Suppose 7*g = 21*g - 3136. Suppose -220*i - 3704 = -g*i. Does 27 divide i?
False
Let m(j) = 17*j**2 - 60*j + 2220. Does 15 divide m(30)?
True
Let j(g) = -g**3 + 13*g**2 - 24*g + 17. Suppose -9 = -z + 1. Does 8 divide j(z)?
False
Let c(x) = 6571*x**3 + 4*x**2 - 6*x + 1. Let a be c(1). Suppose -1314 = -i + 5*v, 5*i - 2*v + 5*v = a. Is i a multiple of 12?
False
Let m = 236 - 208. Suppose -34*v + 300 = -m*v. Is 21 a factor of v?
False
Is 222 a factor of (148/6)/(3/(-10395)*-7)?
True
Let z = 96 - -17. Let l = -154 + 120. Let x = l + z. Is x a multiple of 5?
False
Suppose -37 = -3*u + 2*u. Let k = 978 + -983. Let x = u + k. Does 8 divide x?
True
Let a be (-2*3/1)/((-11)/22). Let f be -14 + 0 - (a/2)/(-3). Let s = f - -22. Is s even?
True
Suppose 0 = -2*l + 4*n + 3502, -5*n = -4*l - l + 8730. Does 29 divide 47/(-141) - l/(-3)?
True
Suppose 5*t = -308 + 1008. Let u be 1 - (-2 + t*-1). Let q = u - -27. Is q a multiple of 10?
True
Suppose 5*h - 1700 = -20*h. Suppose -8 = 2*a, 52*d = 50*d - 5*a + h. Is d a multiple of 22?
True
Let m(t) = -7*t**2 + 328*t - 49. Is 21 a factor of m(35)?
True
Suppose 16 = -4*u + g, -7*u + 5*g - 5 = -12*u. Does 54 divide -1*(-3 - -129)*u?
True
Is 41 a factor of 1222120/92 - 50/(-575)?
True
Let x be 200 - -2 - (7 + -10 - -4). Suppose 0 = -x*o + 207*o - 756. Is 18 a factor of o?
True
Let x(j) = 3*j**2 + 92*j - 1310. Does 30 divide x(57)?
False
Suppose -419*u = -387*u - 55648. Does 7 divide u?
False
Let s(v) = -3*v**3 - 2*v**2 + 5*v + 3. Let j be s(-3). Is (-1413)/12*(-68)/j a multiple of 41?
False
Suppose 0 = -5*p - 7 - 3. Suppose 26*s + 3675 = -23*s. Is (s/p)/((-6)/(-12)) a multiple of 18?
False
Let b(v) = 3*v + 92. Let h be b(-29). Suppose -c + 576 = -7*g + 3*g, -h*c = 5*g - 2905. Is c a multiple of 17?
False
Let g(w) be the first derivative of -w**3 - 12 - 5*w + 3/2*w**2 + 7/4*w**4. Does 15 divide g(2)?
True
Suppose -4*f + 3*k = -2*k - 27, 0 = -2*f - 2*k. Suppose -m = -0*y - 4*y - 111, -f*y - 306 = -3*m. Let p = m