 55*g + 1440 = 0. Does 6 divide g?
True
Suppose 0 = -4*r - 3*j + 175348, 0 = -3*r - 22*j + 35*j + 131511. Does 91 divide r?
False
Is 259 a factor of ((-1137318)/468)/(5/(-30))?
False
Let u(x) = 69*x + 3. Suppose 12 = c - 0*m + 2*m, -c = -5*m + 23. Suppose 13 = 5*r - 4*n, -4*n - 2 = 4*r + c. Does 18 divide u(r)?
True
Is 8 a factor of (40/140)/(5/302470*1)?
False
Let s(i) be the second derivative of 0*i**3 + 12*i + 5/4*i**4 + 1/2*i**2 + 0. Does 16 divide s(-1)?
True
Suppose 199 = 14*t - 333. Suppose -35*a = -t*a + 930. Is a a multiple of 62?
True
Let b(y) = -4*y - 52. Suppose -24*p = -20*p + 80. Is b(p) a multiple of 6?
False
Suppose 151*h = 495358 - 26956. Does 22 divide h?
True
Suppose t + o - 87159 = 0, 43795 = 5*t + 3*o - 392010. Suppose -111*h + 34*h = -t. Is 75 a factor of h?
False
Let n = 10311 + 3910. Is 7 a factor of n?
False
Let r(s) = 2*s**3 - 59*s**2 + 90*s - 99. Is r(33) a multiple of 11?
True
Suppose 5*f - 2 + 8 = -3*i, -5*f = 15. Suppose -i*k - 8 = 3*p - 7*p, 0 = 3*p + k - 19. Suppose p*j - 581 - 854 = 0. Is j a multiple of 31?
False
Let p be 13/(-2)*1/(-2)*12. Let r = p + -37. Is 31 a factor of -7 + 11 - (-246 - (0 - r))?
True
Suppose 5*v + 5*o - 10 = 0, 5*v + 4*o - 6*o = 17. Suppose -7 = v*r - 4*l, 5 - 4 = 3*r - 2*l. Suppose 0 = r*p + a - 62, -p + 2*a = -5 - 11. Is p a multiple of 4?
True
Let w = -508 + 502. Is (-1)/w - (-11 - 75257/78) a multiple of 8?
True
Let d be (-83)/(-3) - (-2)/(-3). Suppose -129 - 89 = 109*q. Is 14 a factor of (d/q)/(3/(-12))?
False
Let j(o) = o**2 - 17*o + 59. Let n be j(13). Let r(s) = 28*s - 28. Is r(n) a multiple of 21?
True
Let j be 6/(12/2)*2. Suppose -j*n = -5*t + 702, -4*t = t - 4*n - 704. Is t a multiple of 16?
False
Let y be (8/(-7))/(4/(-14)). Is 6 a factor of y + (-18 - -11) + 582/2?
True
Suppose -o = 8, 0 = z + 4*o + 1871 - 48779. Does 8 divide z?
False
Suppose 18*u = 11*u - 5*u + 40692. Is 155 a factor of u?
False
Suppose 0 = j - 4*j + 348. Suppose i - 81 = -4*h - h, 0 = h - 2*i - 14. Suppose -a = -2*m - 3*a + j, 4*a - h = 0. Is m a multiple of 27?
True
Let g = 410 + 1200. Is 5 a factor of g?
True
Suppose 35*g = 1132 - 12262. Let q = 1014 + g. Is q a multiple of 12?
True
Let w(l) = 189*l**2 - 83*l + 542. Does 12 divide w(7)?
False
Suppose 120*o - 303*o = 107*o - 4999020. Is 34 a factor of o?
True
Let p(z) = z**2 - 25*z + 159. Let v be p(12). Suppose -2*j + 749 = -b, v*b = -2*j + 5*b + 754. Is j a multiple of 31?
True
Let q be (2 - 5) + 5 + -3 - 3. Let a be ((-2 - q) + 202/2)/1. Let n = a - 31. Does 23 divide n?
False
Suppose -5*u + 27 = 12. Suppose u*q = -4*q + 28. Suppose -q*v + 279 = 5*i, 5*v + i + 0*i - 333 = 0. Is v a multiple of 33?
True
Let i be (0 + 1)*1*-1. Is 4 a factor of (-6)/i + 80 + 6?
True
Let h = 153 + -151. Suppose 5*r - 3*r + 6 = 3*d, -3*r = -4*d + 7. Suppose -r*i - g = -251, 4*g = -h*i + 2*g + 170. Is i a multiple of 29?
False
Suppose -7*r + 0*r = 0. Suppose r = 2*h - 4, -5*h + 185 = m + 14. Is m a multiple of 27?
False
Suppose 11 = 5*c - 4*v, c + 3*c - 3*v - 9 = 0. Suppose 8 = c*d - 274. Is d a multiple of 7?
False
Let t(h) = -110*h**2 + 7*h + 3. Let u(k) = -219*k**2 + 13*k + 6. Let w(c) = 7*t(c) - 4*u(c). Is 6 a factor of w(-2)?
False
Does 4 divide 1 + -5 + (-571584)/(-208)?
True
Let k(s) = s**2 + 23*s - 45. Let q be k(-25). Let b = 94 + 127. Suppose l - q*o = 118, 3*l = 3*o + b + 157. Is 32 a factor of l?
True
Let j = 2237 - 2017. Does 22 divide j?
True
Suppose 0 = 95*q - 84*q + 704. Is 1/((-2)/q*2*2) a multiple of 2?
True
Let v(b) = -b + 1. Let q(g) = -63*g + 6. Let d(x) = q(x) + 9*v(x). Does 4 divide d(-1)?
False
Is 79 a factor of 448400/86 - 202/(-4343)?
True
Suppose 2*o = 4*o - 34. Suppose -5*u - 120 = -o*u. Is 17 a factor of (-10797)/(-118) + 1 + u/(-4)?
False
Suppose -3*r + 4180 = 5*v, -3*r + 179 = v - 669. Is 9 a factor of v?
False
Is 207 a factor of (368/(-10))/(186/(-8370))?
True
Let w be 6*8/22 - (-350)/(-1925). Is 3 a factor of (-4 - (-12780)/50) + w/5?
True
Let a be (2*6/4)/((-81)/4482). Let s = a + 213. Is 15 a factor of s?
False
Let p(q) = -19*q**3 + 13*q**2 + 8*q - 10. Let b be 1*(-3)/(-5)*(7 + 8). Let k(r) = 9*r**3 - 6*r**2 - 4*r + 5. Let d(x) = b*k(x) + 4*p(x). Does 21 divide d(2)?
False
Suppose 537*o + 1623360 = 626*o. Is o a multiple of 20?
True
Let o(z) = 1867*z - 7781. Is o(8) a multiple of 9?
True
Let f(u) = -9*u**2 - 55*u - 1. Let m be f(-6). Suppose 4*z - 245 = -5*h, -m*h = -4*z + 137 + 98. Is 2 a factor of z?
True
Let f = 32 - 30. Suppose 0 = -2*b - 3 + 121. Suppose f*c - b - 7 = 0. Is c a multiple of 6?
False
Suppose -6*p = -8*p - 2*m + 286, 5*p - 719 = -4*m. Let f = p + 15. Is f a multiple of 3?
True
Let y(l) = 1197*l - 7814. Does 39 divide y(8)?
False
Suppose -1 = 4*b + 5*p, 13*b = 11*b + p + 17. Suppose -3*c + 3276 = b*c. Does 28 divide c?
True
Let o(w) = -11*w**3 + w**2 + 4*w - 1. Let u be o(-3). Suppose -4*l = -4*m, -3*l + 8*m + 3 = 6*m. Suppose -4*x + l*s = -u, x + 144 = 3*x - 2*s. Does 7 divide x?
True
Let n be ((-24)/10)/(6/(-20)). Let a be 136/68*(-47)/(-2). Suppose -4*k = h - a, -4*h + n*k = 3*k - 293. Does 21 divide h?
False
Let d = -15553 + 38202. Is d a multiple of 117?
False
Suppose -11*m = -8*m + 189. Suppose -3*h + 1968 = 3*h. Let s = m + h. Does 14 divide s?
False
Let w(q) = -2*q**3 + 7*q**2 - 4*q - 1. Let i be 175/63 + (-2)/(-9). Let c be w(i). Is 14 a factor of ((-4)/3)/c + 2431/51?
False
Let m = -1026 + 1600. Suppose 4*n - l - m = 0, l - 10 = -4*l. Is n a multiple of 11?
False
Does 6 divide 6*(9/((-198)/8))/((-6)/33)?
True
Let g = 23971 - 12325. Does 152 divide g?
False
Let g(p) = -15*p**3 + 6*p**2 - 11*p - 7. Let f be g(-5). Suppose -214*v + 211*v = -f. Does 15 divide v?
False
Suppose 11*a - 20 = 6*a. Is (699 - 14)*(a - 3) a multiple of 24?
False
Let h(t) = t**2 - 45*t - 3490. Is h(-64) a multiple of 83?
True
Let j(t) = 3*t**2 + 39*t + 6. Let s be j(-13). Is 566*1 - (56/(-8) + s) a multiple of 24?
False
Is 4 a factor of 1505/129*(-378)/(-5)?
False
Let m(i) = 141*i**2 + 17*i + 94. Is m(-12) a multiple of 46?
True
Let l = 3194 - 1902. Let k = -726 + l. Is 23 a factor of k?
False
Suppose -9*v = -6*v - 9. Let w = -33 + 33. Suppose -v*g + 3*c + 129 = w, 0*g + g = -2*c + 34. Does 4 divide g?
True
Let y(z) = -2878*z - 313. Is y(-1) a multiple of 3?
True
Suppose h - 17825 = 4*i, 4*i + 53419 = 6*h - 3*h. Does 3 divide h?
False
Suppose -29*r = 23*r - 412620. Is 15 a factor of r?
True
Let n = -8803 - -8955. Is 27 a factor of n?
False
Let l be (-67)/6 + (244/24 - 10). Let d(z) = z**3 + 13*z**2 + 15*z - 15. Is 4 a factor of d(l)?
False
Suppose 0 = 10*q - 0*q. Suppose q = -3*u + 12, 4*u + 882 = 4*y - 846. Is y a multiple of 20?
False
Suppose 99 = 3*o + 2*q - 303, -402 = -3*o - 5*q. Suppose -t + 213 = o. Is 10 a factor of t?
False
Let m(j) = j + 14. Let v be m(-11). Let a be -116*(-1 + (-3)/v). Let c = a + -153. Does 16 divide c?
False
Suppose -96*z + 300 = -93*z. Suppose -3*t + 5*s + 135 + 22 = 0, -2*t + z = -s. Does 20 divide t?
False
Suppose -2*v = -3*s + s + 2, 4 = v. Suppose -2*r + 1483 = 3*n, 5*r - 140 - 2335 = -s*n. Is n a multiple of 17?
True
Let c = -37 + 85. Let x = c + -47. Is 2 a factor of ((-45)/(-18))/(x/2)?
False
Let y be (2*32)/(-5 - (-44)/8). Let r = 209 - y. Does 27 divide r?
True
Let h = 453 + -446. Let y(p) = 16*p**2 + 40*p - 191. Is y(h) a multiple of 74?
False
Let o(n) = -n**3 + 7*n**2 - 10*n + 2. Let w be o(5). Suppose 86 = y - c, w*y + 3*y - 4*c = 434. Suppose 0*t = 3*t - y. Is 2 a factor of t?
True
Suppose -5*y - g + 15517 = 0, -3*y - 2*g + 5485 = -3828. Is y a multiple of 97?
False
Let g(c) = -c**2 + 17*c + 170. Let l be g(19). Suppose 0 = 13*t - 9*t - 3*y - 596, -5*y - l = -t. Does 4 divide t?
True
Let v(j) = 7*j**2 + 45*j + 332. Is v(-33) a multiple of 10?
True
Let t be 15/9 - 2/(-6). Let d = -2392 - -2380. Is ((-39)/d)/(t/72) a multiple of 14?
False
Let a = -573 - -1163. Suppose -4*s - a = -c + 269, s = -3*c + 2512. Is c a multiple of 32?
False
Let p(h) = 2*h**2 + 50*h - 78. Is p(-43) a multiple of 15?
True
Suppose -180*k - 1488 = -174*k. Let l = 291 + k. Is 2 a factor of l?
False
Suppose -2*v - 53 = -3*j + 71, 0 = -2*j + 12. Let d(g) = -11*g - 5. Let w be d(-6). Let n = w + v. Does 4 divide n?
True
Suppose -104341 + 360419 + 343417 = 299*z. Is z a multiple of 11?
False
Suppose 15*n = 18*n - 705. Suppose 