 -5306 + 9925. Does 80 divide c?
False
Let b = -5683 - -6003. Does 10 divide b?
True
Let v(t) = 3*t**2 + 8*t + 61. Let l be v(-4). Suppose d - 135 = 4*d. Let z = l + d. Is 8 a factor of z?
True
Suppose 0 = -3*g - w, -5*w = 21*g - 18*g. Suppose -5*p - 4*h = -3121, g*h + 637 = p + 4*h. Is p a multiple of 7?
False
Let v(u) = u + 24. Let j(h) = 19*h - 108. Let o be j(6). Does 5 divide v(o)?
True
Let v(p) = 19*p**2 - 18*p**2 - 11 + 25. Let u(d) = d**3 - 10*d**2 + 9*d + 4. Let g be u(9). Is 15 a factor of v(g)?
True
Suppose -5*v = 3*k - 35, -3*v = -3*k + 8 - 5. Suppose v*t + 845 = 2673. Is 40 a factor of t?
False
Suppose -5*k + 6 = -3*l, -5 = -2*k - 3*l + 10. Let x = k + 3. Let b = 30 - x. Is 4 a factor of b?
True
Let n = 5627 - -3716. Is n a multiple of 83?
False
Let f(d) = 4274*d**2 + 22*d - 23. Is 10 a factor of f(1)?
False
Let v(m) = -26*m**2 - 17*m + 10. Let o be v(-6). Let h = -360 - o. Is h a multiple of 49?
False
Suppose 5*j = 4*t - 495 + 191, 5*t - 2*j - 380 = 0. Suppose 3*y + 2*z = t, -4*y + z + 26 + 57 = 0. Does 11 divide y?
True
Suppose 8*i - 11*i - z = -21015, 0 = 3*i - 4*z - 20985. Does 8 divide i?
False
Suppose -u - 6*u = -392. Let w = 28 - 20. Let c = w + u. Is 8 a factor of c?
True
Let a = -56 - -68. Suppose -a*d - 7*d = -4902. Is 26 a factor of d?
False
Let c(g) = 11*g + 10. Let b be c(26). Let k = -152 + b. Is k a multiple of 16?
True
Let p(d) = 115*d**2 + 20*d + 30. Let t be p(-2). Let f = 1101 - t. Is f a multiple of 93?
True
Suppose 7*f - 12*f + 4*w + 3302 = 0, -2*f + 4*w + 1316 = 0. Is f a multiple of 5?
False
Let t be 3 + (-4 + 4)/1. Let l be (-4)/4 - t - -1. Does 8 divide 3/(5/(-260)*l)?
False
Suppose 4*p - 16 - 18 = -z, -6 = 3*z. Let b = p + 71. Suppose -36*y + b = -31*y. Does 3 divide y?
False
Suppose 11*v - 8*v = 63. Suppose -v + 9 = -6*u. Suppose -u*s - 3*z = -4*s + 109, -5*s = -4*z - 283. Is s a multiple of 7?
False
Let v = -173 - -177. Suppose -2*f - 1218 = -2*j, -2*j - 6*f + 1214 = -v*f. Does 20 divide j?
False
Does 6 divide (-31)/((-186)/14760) - (-2 - -3 - 7)?
True
Let o(r) = 2627*r - 83. Is 48 a factor of o(1)?
True
Suppose 0 = -3*u - 2*n + 13, -1 = u + 2*n - 4. Suppose -u*w = 10, 3*j + 3487 = 8*j + 4*w. Is 36 a factor of j?
False
Let w = 6799 + -5083. Is 39 a factor of w?
True
Let s(a) = -2*a - 2. Let d be s(2). Does 6 divide (-1 - 0)*(0 - -5)*d?
True
Let t = -346 - -403. Let k = 837 + t. Is 23 a factor of k?
False
Suppose -80 = -9*w - 17. Let y(n) = -n**3 + 15*n**2 + 9*n - 15. Is 21 a factor of y(w)?
False
Let r(z) = -2*z + 4*z**2 - 3*z - z**2 + 1 + 0*z**2. Let m be r(2). Let s = 24 + m. Is s a multiple of 9?
True
Let g(h) = -32*h - 863. Let a be g(-28). Suppose -5*q + 4*d = -4*q - 8, 3*q + 4 = -2*d. Suppose -4*p + k = 3*k - 92, q = -p - 3*k + a. Is 4 a factor of p?
False
Let a = 192 - 121. Let f = 74 - a. Suppose 0 = -l + f*c + 165, -512 = -4*l - c + 213. Is 9 a factor of l?
True
Suppose 0 = 5*x - 0*x - 150. Suppose 0 = 4*b + 6*b - x. Suppose 0 = -11*j + b*j + 616. Is j a multiple of 11?
True
Let k(a) = 465*a**2 + 8*a + 26. Is k(-2) a multiple of 17?
True
Let f = -43 - -43. Suppose f = -22*l + 19*l + 177. Let a = 62 - l. Does 2 divide a?
False
Suppose 315 = -12*o + 17*o. Let n = o + -44. Suppose 3*s - n = 137. Is s a multiple of 13?
True
Is (-82)/123 + (-28418)/(-3) a multiple of 16?
True
Let s(n) = 386*n**3 + 10*n**2 - 4*n - 12. Is s(3) a multiple of 114?
True
Let o(g) = -g**3 + 46*g**2 + 27*g - 440. Does 70 divide o(44)?
True
Let c(p) = 7*p**2 - 3*p. Let u(t) = -t**3 - 15*t**2 + 17*t + 17. Let f be u(-16). Let k be c(f). Is 10 a factor of -4 + 28/k - -27?
True
Suppose -2271*b = 2276*b - 4549*b + 13916. Does 6 divide b?
False
Let k = 130 + -122. Suppose k*s + 521 = 6521. Does 39 divide s?
False
Suppose -8 = -4*t, f - 31171 - 7107 = t. Is f a multiple of 87?
True
Let p = -1580 - -4132. Does 31 divide p?
False
Suppose -2*b - w + 22 = 0, -4 + 10 = 3*w. Let o(r) = -r**3 + 9*r**2 + 24*r - 24. Does 3 divide o(b)?
False
Let u be (36/48)/((-6)/(-88)). Suppose -w = -u*w + 6540. Is w a multiple of 15?
False
Suppose 8054 = -45*f + 288179. Does 87 divide f?
False
Let v = -1679 + 663. Let k = 683 + v. Is 15 a factor of k/((-9)/(-3))*4/(-2)?
False
Let c(a) = -a**3 + 13*a**2 + 15*a + 2. Let u be c(14). Suppose 0 = 6*j - 8 - u. Suppose -4*t + 712 = 5*m - 0*m, j*m = -t + 563. Is m a multiple of 28?
True
Let i be -2*((-115)/2 - -2). Let h be 5 - -1 - 15/120*(0 - -8). Suppose -i = -h*z + 84. Does 7 divide z?
False
Suppose -1199 + 4847 = 12*q. Suppose 0 = 13*h - 21*h + q. Does 10 divide h?
False
Suppose -2*i + 4840 = 4750. Let h be 0 - (0/(-1) - 0). Suppose -6*a + a + i = h. Is a a multiple of 4?
False
Suppose -195*y = -202*y + 6027. Is y a multiple of 21?
True
Suppose 2*v = 5*v - 45. Suppose 4*s + v = 23. Is 18 a factor of ((231/s)/(-7) - 2)*-6?
False
Suppose 12*o - 1571 = -311. Let g = 40 + -19. Is 5 a factor of 3/(-5)*-22 - g/o?
False
Suppose -4*i + 3*i = v, -4*i - 18 = -2*v. Suppose -v*u + 1313 = -97. Does 10 divide u?
True
Let b(n) = n**2 + 4*n + 5. Let y be b(-5). Let c(q) = 0 + 7 + y*q - 9. Is c(2) a multiple of 18?
True
Suppose -188058 = 7614*t - 7640*t. Is t a multiple of 62?
False
Suppose 3*p = -4*k + 14561, -4*k - 2*p - 2790 = -17352. Suppose -3*m + 4*h + k = 0, -h - h = -5*m + 6073. Is 15 a factor of m?
True
Suppose 11 + 18 = -y. Let d(b) = -3*b**2 + 2*b - 3. Let v be d(4). Let o = y - v. Is 14 a factor of o?
True
Suppose 8*h = -4*g + 4*h + 32, 3*g - 3*h - 6 = 0. Let c be -11*(0/g - 8). Suppose r = -c + 286. Does 33 divide r?
True
Let f = 11361 + -7198. Does 11 divide f?
False
Suppose 1015*i - 1019*i - 2*n = -12742, -3*n + 15928 = 5*i. Does 3 divide i?
False
Suppose 8 = 4*c - 0*c. Suppose -3*o = -3*d - 87, c*o + 4*d = o + 4. Suppose 19*y = o*y - 570. Is y a multiple of 19?
True
Suppose -1 - 1 = -2*n. Let o be 7 + -3 - (-1 + 7/n). Is 6 a factor of (-1)/((-3)/59) + o/(-6)?
False
Let v be (-1 - 6162/(-8)) + (-84)/(-112). Suppose v = -13*l + 18*l. Suppose -129 = -o + l. Is 39 a factor of o?
False
Suppose 3*q - 3*t - 9 = 0, -6*t + 2*t = q + 12. Is 11 a factor of (-968)/(-22)*(q + (-1)/(-2))?
True
Suppose -5*f = b - 4582, -9*b = -f - 8*b + 920. Does 7 divide f?
True
Let m = 79 - 18. Let d be (14/(-21))/(4/(-678)). Let h = d - m. Is h a multiple of 13?
True
Suppose -32*c = 10 - 12618. Is 3 a factor of c?
False
Let y(c) = 28*c + 2*c - 25*c - 24*c + 204. Does 5 divide y(5)?
False
Suppose u + i - 12063 = 16355, -5*u + 142090 = -4*i. Is u a multiple of 14?
False
Let v = 67 - -3123. Is 29 a factor of v?
True
Suppose 0 = 15*o + 7*o - 88. Suppose z - 3705 = -4*c, z + 0*z + 3695 = o*c. Is c a multiple of 83?
False
Suppose 0 = 33*l - 34*l + 5*v + 7613, l = -v + 7625. Is l a multiple of 77?
True
Let t(s) = 610*s**2 - 579*s - 4684. Is 114 a factor of t(-8)?
True
Let m(w) = -4*w**2 + w - 1. Let y(g) = 3*g**2 - 2*g. Let z(x) = -2*m(x) - 3*y(x). Let i be z(5). Does 12 divide 48/5*(-20)/i?
False
Let v(b) = -47*b**2 + 14*b - 33. Let z be v(2). Let x = 402 + z. Is 44 a factor of x?
False
Suppose 10*w - 8211 = -13*w. Suppose 356*x - w*x = -306. Does 18 divide x?
True
Let x be ((-60)/21)/(14/(-49)). Does 9 divide (0 - 375)/(-5)*12/x?
True
Let q be 14/(-35) + (-18)/5. Let c be (q/(-2) - -9)*-15. Does 11 divide c/6*(-2 - (-18)/15)?
True
Suppose n - 2*a - 13 = -2*n, -4*n - 3*a = -6. Suppose -1 = n*m - 7. Suppose -m*h = -h - 128. Does 15 divide h?
False
Suppose -5*n + 3*n + 6 = 0, 3*l - 3*n - 21 = 0. Suppose -l*f + 162 = -398. Let z = f - -63. Is 8 a factor of z?
False
Let k = 242 - 364. Let g = k + 252. Is 25 a factor of g?
False
Let s = -7735 - -16453. Does 12 divide s?
False
Let k = 6867 + -344. Is k a multiple of 10?
False
Let c(q) = q**2 + 31*q - 149. Is c(73) a multiple of 80?
False
Let v(u) = 3*u**3 + u**2 - u - 1. Let p be v(2). Let c = 40 - p. Suppose 20*f - 590 = c*f. Does 31 divide f?
False
Let z = -149 + 224. Suppose 73*x + 158 = z*x. Suppose -x + 19 = -5*d + w, 48 = 4*d - 5*w. Is d a multiple of 7?
False
Is 8 a factor of 2/(60/18462) - (-4)/(-10)?
False
Let k(l) = 9*l**3 - 15*l**2 + 39*l - 7. Let j(a) = -5*a**3 + 7*a**2 - 20*a + 4. Let n(o) = 7*j(o) + 4*k(o). Let h be n(7). Let w = -6 - h. Does 26 divide w?
True
Let k(d) = 5*d**3 + 4*d**2 - 6*d + 15. Suppose 7*s + 78 - 99 = 0. Is 8 a factor of k(s)?
True
Suppose 232*g = 5*w + 234*