 Suppose 3*m - 4*z - 931 = 0, 4*m = -q*z - 51 + 1263. Does 61 divide m?
True
Let h(d) = 49*d - 150. Let t be h(3). Is 1053 + (60 - t)/(-7) a multiple of 36?
True
Let j(m) = 8*m + 0*m**2 - 4*m**2 + 10*m**2 + 58 - 7*m**2. Let u be j(7). Let p = -38 + u. Is p a multiple of 22?
False
Let q be ((-4)/(-12))/(44/(-45) + 1). Does 2 divide 2/10 + 1437/q?
True
Let j = -6106 - -4242. Let u = j + 2683. Does 65 divide u?
False
Suppose -89*k - 60618 = -371940. Is k a multiple of 11?
True
Let z(r) = -r**2 - 6*r - 6. Let m be z(-3). Suppose -4*l + 8 = 4*v, -l + 15 = 3*l - m*v. Suppose 0 = -o - l*o + 100. Is 4 a factor of o?
False
Let s(p) = -75 + 9*p**2 - 81 + 231 - 76 + 8*p. Does 7 divide s(-5)?
False
Let w(p) = -p**2 + 17*p - 28. Let u be w(14). Suppose -u*g - 4*s = -15*g + 655, 0 = -s + 3. Is g a multiple of 54?
False
Let u = -241 + 33. Let m = u - -357. Is m a multiple of 4?
False
Suppose -137*b - 68 = -154*b. Let n(k) = 2*k**3 - 8*k**2 + 10*k - 18. Is n(b) even?
True
Let s = 843 + 1023. Suppose 3225 = -1861*w + s*w. Is w a multiple of 10?
False
Let y be (-232)/(-4) + (4 - 9). Suppose y*n - 58*n = -5720. Does 13 divide n?
True
Suppose -200 = -7*d - 3*d. Is (d/(-3 + 4) - 4)*2 a multiple of 8?
True
Let q be 2*(-3 - 36/(-8)). Let l(w) = 69*w + 17. Is l(q) a multiple of 8?
True
Let b(k) = -k**3 + 29*k**2 - 32*k - 35. Is b(26) a multiple of 17?
False
Let s be ((-16)/(-10))/(28/(-70)) - 6. Let j be s/(-14) + 8/28. Does 27 divide (j - -29)*45/18?
False
Let g(u) = u + 7. Let t be (6 - 11)*(2/(-5) - 0). Let h be (t/3)/(4/78). Does 13 divide g(h)?
False
Suppose -7*j + 166 = -898. Suppose 154 = 17*t - j. Is 6 a factor of t?
True
Let s(p) = 130*p**2 + p - 6. Let g be 8/(-14)*14*(-2)/8. Is 64 a factor of s(g)?
False
Let q(s) = -5*s - 3. Let o be q(-3). Suppose o + 9 = 3*d. Suppose -356 = d*c - 11*c. Is 6 a factor of c?
False
Let o = -4 + -3. Let v(u) = u**3 + 6*u**2 - 8*u + 11. Let s be v(o). Suppose -855 = 13*q - s*q. Is q a multiple of 16?
False
Is 12/(-16) - ((-63996)/16 + 9) a multiple of 5?
True
Let t(n) = 313*n**2 - 3*n + 4. Let s be t(3). Let g be s/20 - (-4)/10. Suppose -375 = -6*j + g. Is 7 a factor of j?
False
Let c = -8869 - -13961. Does 119 divide c?
False
Let i(u) = 62*u + 8. Let f be i(2). Let p = -20 + f. Is p a multiple of 56?
True
Suppose -4 + 13 = 3*u. Suppose 0 = y + 2*a - 9, a = -u*y - 4*a + 24. Suppose y*h - 172 = 3*z + 2*z, 5*z - 276 = -4*h. Is 16 a factor of h?
True
Suppose 0 = 4*b + 4*j - 9948, 4*b + 7*j = 11*j + 9900. Is 16 a factor of b?
False
Let o be 2*(-5)/(-25) + 8/5. Suppose o*j + 823 = 3*k, -3*k - 156 + 985 = -5*j. Is k a multiple of 13?
True
Suppose 0 = 2*n - 3*n + 6. Let v(b) = -2*b**3 + 114*b**2 - 127*b + 842. Let m be v(56). Is 564/n*3*m/12 even?
False
Suppose 0 = 5*b - 3*g - 37, -2*b - 2*g = -b + 3. Suppose -b*w - 6 = -8*w. Suppose -z = 4*z - 25, 4*m - w*z - 178 = 0. Is m a multiple of 11?
False
Let u(o) be the third derivative of o**5/20 + 37*o**4/24 + 21*o**3/2 - 2*o**2 - 13*o. Is u(-13) a multiple of 3?
False
Suppose 3*u + 0*u - 9 = 0. Suppose 2*p - 20 + 16 = 0. Is 20 a factor of u*p/(-9) + (-1604)/(-12)?
False
Let x = 24250 - 11188. Suppose 0 = 9*r + 3882 - x. Is r a multiple of 34?
True
Suppose -4*j + 91 + 393 = 0. Let z = j + 269. Is z a multiple of 15?
True
Suppose -w - 3*w = -840. Suppose -5*t + w = -0*t. Let q = 78 - t. Is 4 a factor of q?
True
Suppose -5*f + 354 + 1746 = 0. Let y = f - 244. Is y a multiple of 11?
True
Let l(t) = 2*t**3 - 102*t**2 - 66*t + 99. Is l(52) a multiple of 3?
False
Suppose 4*f - 3*t - 9 = 0, 4 - 3 = t. Suppose v = 5*p - 2860, -f*p + 1716 = -0*v + 4*v. Is 87 a factor of p?
False
Suppose -21 = -2*a - 0*a + 5*r, -5*a = 4*r + 30. Let f(d) = 2*d**2 - 2*d - 3. Let t be f(a). Let v(k) = 2*k**2 - 9*k + 15. Is 32 a factor of v(t)?
True
Is (-5)/((-10)/4) + (-562650)/(-242) - -1 a multiple of 24?
True
Let m = 69 - 117. Does 4 divide (-560)/m + 3/9?
True
Let s(y) = -y**2 + 8*y - 6. Let v be s(4). Suppose 18*x = 36583 + 20441. Does 34 divide x/22 - v/(-2)?
False
Suppose -4*s = -22 + 14, -4*t + 452 = -2*s. Is 4 a factor of t?
False
Let z(a) = -a**3 - 32*a**2 - 25*a + 19. Let x be z(-32). Suppose u - 3*f + 117 = x, -2*f = 3*u - 2084. Is 24 a factor of u?
True
Is 5 a factor of 1 + (-9 - (-8 - 6152)) - (8 + -1)?
True
Let p = 12399 + -7668. Does 22 divide p?
False
Let u(m) = 935*m**2 - 80*m - 8. Is u(-4) a multiple of 23?
True
Let k = 31036 - 17980. Is k a multiple of 12?
True
Let y(r) = -r - 58. Let d be y(-28). Is 8 a factor of 84/(d/(-8) + -1 + -2)?
True
Suppose 3667 = x - j, -x + 15*j + 3657 = 12*j. Suppose -x = 29*m - 35*m. Does 36 divide m?
True
Let h = -33 - -42. Suppose 668 = 2*b - k, h*k - 1000 = -3*b + 10*k. Is b even?
True
Let h be 6/(-7)*-2*28/12. Is h/(-14) + (-5 - 12970/(-70)) a multiple of 9?
True
Suppose 2514 = 13*q + 9612. Let z be 249/13 + (-7)/(q/(-12)). Let w = z - -151. Does 25 divide w?
False
Let h(k) = -104*k - 138. Let x be h(16). Let o = 2550 + x. Does 22 divide o?
True
Suppose 4*t + 1662 = 13234. Does 11 divide t?
True
Let q = 9902 - 7490. Is q a multiple of 6?
True
Let q(y) = -6*y + 1. Let g be q(0). Does 10 divide g/7 + 207/21?
True
Let d(p) = p**2 - 16*p + 50. Let y be d(12). Suppose 0 = -y*r + 5*w + 481, 5*w - 4 = 11. Is r a multiple of 28?
False
Suppose -15*b = -10*b - 690. Let t = b + 236. Does 17 divide t?
True
Let r be (-6)/8 - (-1988)/(-16). Let v = 210 + r. Does 23 divide 5*23*34/v?
True
Suppose h = -r - 9, -23*r + 4 = -4*h - 19*r. Is (-1)/(h/10) - -429 a multiple of 10?
False
Let f(i) = -11*i**3 - 2*i**2 + 3*i. Let t be f(2). Let b = t + 229. Is 3 a factor of b?
False
Suppose 41*r = 590*r + 5753652 - 27532482. Is r a multiple of 147?
False
Does 50 divide 2377832/1012 - (-8)/22?
True
Let q(w) = -w**3 - 10*w**2 - 17*w - 12. Let r be q(-8). Let u be 25/(15/(-3)) + r. Let n(g) = g**3 + 11*g**2 + 5*g - 9. Is n(u) a multiple of 27?
True
Let u(k) = -2295*k - 6016. Is u(-6) even?
True
Suppose 0 = -5*o + 2*n - 17, 10*o - 7*o + 35 = -5*n. Does 50 divide 5 - 0 - (o - 470)?
False
Let d(l) = -2*l**3 - 66*l**2 - 83*l - 31. Is 8 a factor of d(-36)?
False
Does 149 divide ((-3624)/3020)/(15651/(-15645) - -1)?
True
Suppose 6*f - 35 + 209 = 0. Let w = -27 - f. Suppose -q + w*h + h + 49 = 0, -4*h = 16. Is q a multiple of 21?
False
Let f = -144 - -211. Let d = f - -11. Does 6 divide d?
True
Suppose -8 = -2*y, -d + y = d - 24. Let p = d + -14. Suppose -g - g = -2*n + 94, -2*n + 4*g + 98 = p. Is n a multiple of 9?
True
Suppose -6*z + 148 = -398. Suppose -2*y + z = 5*s, s - 12 = -3*s. Let i = 12 + y. Is 25 a factor of i?
True
Let i(b) = 14*b - 15. Let w be i(1). Does 6 divide 6377/14 + (3/(-6))/w?
True
Let v(u) = -4*u + 41. Let o(l) = -l - 42 - 3*l + 4*l + 5*l. Let h(z) = 2*o(z) + 3*v(z). Is 4 a factor of h(16)?
False
Let i = 19 - 14. Suppose 4*n - 4*u + u - 28 = 0, i*n - 35 = u. Is n a multiple of 3?
False
Suppose 2*i - 3*q = 15, -5*i - q - 10 = q. Let w(o) = o**3 - 2*o**2 + 2. Let t be w(i). Let m(j) = 10*j**2 - 3*j + 1. Is 5 a factor of m(t)?
True
Let k(m) = 3654*m**2 - 71*m + 70. Is k(1) a multiple of 50?
False
Let u(s) = 6*s**3 - 6*s**2 - 5*s. Let c be (-6)/(-36)*-15*(-2 - 0). Let w be u(c). Let y = -411 + w. Is y a multiple of 14?
False
Suppose 0 = -b - 581*x + 585*x + 4994, 2*x = 3*b - 14922. Does 5 divide b?
True
Suppose -147926 = -5*j + 2*n, -57*j = -58*j + 2*n + 29574. Is j a multiple of 52?
True
Let k(g) = 2*g**2 - 7*g + 1. Let q be k(4). Suppose 0 = 2*p + 95*j - 94*j - 184, q*j - 290 = -3*p. Is p a multiple of 6?
True
Let b(y) = -5*y**3 - 42*y**2 - 5*y + 148. Let h(p) = 3*p**3 + 28*p**2 + 3*p - 99. Let d(o) = -5*b(o) - 8*h(o). Is d(14) a multiple of 33?
True
Suppose 0 = 2*b - 2*p - 148, -3*b + 2*p = b - 304. Suppose 3*d - b = 36. Is d a multiple of 2?
True
Suppose 88771 = 130*u - 113498 + 26899. Is 20 a factor of u?
False
Let a(b) = 3*b**2 + b. Let s(z) = 2*z**2 - 10*z + 13. Let c be s(3). Let v be a(c). Suppose 2*h - 4*x - 80 = 0, -3*h - v*x = -0*h - 130. Is 14 a factor of h?
True
Let m = 87 - 85. Let c(l) = l**2 + 4*l. Let n be c(-5). Suppose -n*w + m*w = -135. Is 5 a factor of w?
True
Suppose -3*i = -2*v + 30555, 0 = 84*v - 82*v + 6*i - 30618. Is v a multiple of 21?
True
Suppose 4*r - 53 = -9. Suppose -r*c = -10*c - 4. Is 11 a factor of 141/11 + c/22 - 0?
False
Let a(c) = 3*c + 12.