 4*m**2 - 10*m. Let q(n) = -7*f(n) - 4*v(n). Suppose 4*h + 7 = 5*h. Is q(h) a multiple of 25?
False
Let i(p) = 7746*p - 9726. Is 227 a factor of i(6)?
False
Let r = 12888 - 6472. Does 16 divide r?
True
Let b(o) = o**2 + 3*o - 7. Let q(w) = w**2 + 6. Let r be q(0). Let s be b(r). Suppose -h = 5*d - s, d - 3 = 2*h + 2. Does 6 divide d?
False
Let j(s) = -3*s**3 + s**2 + 2*s + 1785. Does 21 divide j(0)?
True
Suppose 0 = 14*r - 18*r - 224. Let g = r + 56. Let j(k) = 7*k + 9. Does 2 divide j(g)?
False
Let l = -10757 - -17484. Is 9 a factor of l?
False
Let c = 287 - -96. Suppose z - 352 = -j, -5*j + z + 1407 + c = 0. Is 21 a factor of j?
True
Suppose -16*k + 12*k + 237 = 5*u, -2*u + 5*k + 75 = 0. Let y be 134/(1 + (-2)/6). Suppose s - u = -2*w, s + 3*s + w = y. Is s a multiple of 17?
True
Suppose -5*t + 8 = 3*g, -2*g = -0*g - t - 14. Does 10 divide ((-51)/34)/(g/(-128))?
False
Suppose 29 = 3*c + 4*y, -5*c = -2*y - y. Suppose -c*n = -4*g - 7*n + 20, 4*g - 65 = 5*n. Let i(w) = 20*w - 2. Is i(g) a multiple of 33?
True
Suppose -5*z + 3*z + 4*l = -8, 0 = -5*z - 4*l + 20. Is 13 a factor of (2/(-1))/z*6734/(-37)?
True
Let s = -705 + 1215. Let f = s + -310. Is f a multiple of 10?
True
Let b(o) = 25*o - 60. Let d be (1 + -1)*5/(-10). Suppose d = 4*w - 34 - 2. Is 11 a factor of b(w)?
True
Does 31 divide 24/28 + -71825*6/(-14)?
True
Let c(q) = -4*q**2 - 9*q + 5. Let r be c(-8). Suppose -21*x - 448 = -14*x. Let d = x - r. Is d a multiple of 23?
True
Let m(i) = -i**2 - 37*i - 40. Let p be m(-27). Let w = p - 187. Does 4 divide w?
False
Suppose 4*i + i = 30. Let r be ((-170)/(-4))/((-3)/i). Is 5 a factor of (r/(-10))/((-2)/(-4))?
False
Let c be (-81)/(-36)*(-1280)/(-12). Suppose -118*q + c = -115*q. Does 11 divide q?
False
Let u be (-4)/16 - (-3)/12. Suppose 0 = 13*v - 8*v. Suppose v = -u*y - 4*y + 108. Does 16 divide y?
False
Suppose 2*d = 937 + 647. Suppose 795*w - 2331 = d*w. Does 18 divide w?
False
Let a(w) = w**2 + 1. Let u be a(-2). Suppose 213 = -2*l - l + y, -u*l + 5*y - 355 = 0. Let r = l + 107. Is 18 a factor of r?
True
Let i(o) = -422*o**3 - 3*o**2 + 164*o + 633. Is i(-4) a multiple of 219?
True
Suppose -4*q - 4*w + 20 = -8*w, 2 = -5*q - 4*w. Suppose 7*l - 184 = -2*t + q*l, -2*t - l = -192. Is 11 a factor of t?
False
Let i be 2 + 20/8 + 2/4. Suppose -4*c + 4*z + 31 = -z, 2*c + i*z = -7. Suppose -2*k - 2*f + 184 = -74, -c*k + 546 = -2*f. Does 23 divide k?
False
Let u be -1 - -44 - 0/1 - 4. Let w = u + -35. Suppose -w*d = -311 - 13. Does 18 divide d?
False
Suppose 15*t - 4410 = 10*t. Suppose 0 = 4*v + 170 - t. Does 16 divide v?
False
Let i(c) = 3*c**3 - 15*c**2 + 6*c + 12. Suppose m - 36 = -5*m. Is i(m) a multiple of 26?
True
Let c be ((-3896)/20)/(-1)*(-3 - -13). Let k = -1373 + c. Is 86 a factor of k?
False
Let c = -190 + 192. Suppose 96 = c*g - 52. Does 3 divide g?
False
Suppose -o = -4*g + 127, 2*o + 2*g - g + 281 = 0. Let s = 45 - o. Is s a multiple of 11?
False
Suppose -3*z - 9423 = -6*z + 4*f, 0 = 4*z + 4*f - 12564. Is 9 a factor of z?
True
Let i(p) = 9*p**2 - 29*p - 72. Does 40 divide i(14)?
False
Suppose -12*j + 222420 + 192040 = 22*j. Is j a multiple of 29?
False
Let m = 104315 - 63050. Is 176 a factor of m?
False
Let i be (-3 - (-3 + 5))/((-4)/36). Suppose -12*r + i = -7*r. Is r a multiple of 9?
True
Let y(r) = r**2 - r - 1. Let n(l) = -l**3 - 3*l**2 + 13*l + 19. Let j(d) = -n(d) - 4*y(d). Does 19 divide j(8)?
True
Suppose t - v - 4 = 63, -t = 3*v - 63. Let l = t + 104. Is l a multiple of 17?
True
Let u = -32531 - -52826. Does 55 divide u?
True
Let d(n) = 7*n**2 - 2*n - 6. Let m be d(4). Suppose -4*q - 397 = 3*x, -q - m = -0*q + 2*x. Does 5 divide (-2)/((-392)/q - 4)?
True
Suppose 55216 = 4*o - 3*w, 5*o + 33*w - 35*w - 69013 = 0. Does 48 divide o?
False
Let a = 116369 - 64679. Is 10 a factor of a?
True
Suppose 3*y = -6*y + 18. Suppose 2*b - 15 = m, -4*m = 5*b - y*m - 15. Suppose 3*o + n - b*n - 124 = 0, -2*o - 4*n = -76. Is 20 a factor of o?
True
Is (-3)/((-39)/26)*(-2 + 0)*-1910 a multiple of 191?
True
Suppose 4*l = 2*i - 36, 0 = 4*i - 5*i - l + 18. Let t = -15528 + 15556. Suppose -i*x + t*x = 240. Is x a multiple of 12?
True
Does 35 divide (2 + 34 + -26)*196/2?
True
Let s(d) = 238*d**3 + 2*d**2 + 4*d - 12. Is s(3) a multiple of 6?
True
Let r = 119266 - 84591. Does 73 divide r?
True
Suppose -26*c = 6*c - 24768. Let t = 1452 - c. Is 12 a factor of t?
False
Suppose -3*f - 2*h - 1146 = 0, -1315 - 595 = 5*f + 4*h. Let n = f + 558. Is 14 a factor of n?
False
Suppose -2*t + 4*o + 11896 = 0, 29*t + o = 30*t - 5950. Does 12 divide t?
True
Suppose 69*m = -137*m + 128*m + 400842. Is 4 a factor of m?
False
Let w(y) = 83*y**2 + 7*y + 105. Is w(-9) a multiple of 55?
True
Suppose 5*c - 49 = -179. Let n = 32 + c. Let f(w) = 23*w - 11. Is 14 a factor of f(n)?
False
Let b = -8 + 10. Suppose -k = b*s - 3, 3*k + 3 = -0*s - 3*s. Does 3 divide 36/k*15/(-6)?
True
Let q be (-152)/(-48) + (-10)/(-12). Suppose 2*b = 5*a + 118, -q*b = -21*a + 20*a - 200. Is 49 a factor of b?
True
Let r(d) = 3*d**2 + 31*d - 13. Let l be r(-11). Suppose 3*g = l*g + 600. Let o = g + 224. Is o a multiple of 7?
False
Suppose 424 - 118 = 17*s. Is (-2353)/(-3) + 12/s a multiple of 17?
False
Suppose 73 - 57 = 4*o. Is 21 a factor of 62 + 2 - (o + -2)/2?
True
Let k be 2*(4 + 11/(-1)). Let g = k + -57. Let v = g + 104. Does 11 divide v?
True
Let v = -454 - -3072. Does 154 divide v?
True
Let r = -84 + -112. Let b = r + 282. Suppose -b*k + 90*k = 252. Is k a multiple of 9?
True
Let h(p) = -2*p**3 - 3*p**2 - 20*p - 43. Is h(-7) a multiple of 2?
True
Suppose -1113 = -3*f + 1083. Let p be (f/8 - (-3)/(-6)) + -4. Suppose 4*s - 56 = -j, -2*j - 6*s + p = -3*s. Is j even?
True
Let n be (3/(-4))/(6/(-24)). Let u(w) = -w**3 - 11*w**2 + 9*w - 36. Let v be u(-12). Suppose n*l - 132 = q, l + 2*q - 51 = -v*l. Does 9 divide l?
True
Let v be -4 - -2 - (0 + -7) - 6. Does 16 divide (-3)/(-2) - (v + 4136/(-16))?
False
Let i be (-44 - 0 - -2)*3/(-6). Suppose 4*n = -q + 4*q + i, -2*n + 38 = 4*q. Suppose n*k = -0*k + 810. Does 9 divide k?
True
Suppose 542330 = 70*m + 123*m. Is m a multiple of 10?
True
Let y be 0 + 9 + 2 + 2. Let k(q) = 2*q**2 - 36*q - 104. Let d(f) = -3*f**2 + 52*f + 156. Let w(i) = -5*d(i) - 7*k(i). Does 2 divide w(y)?
False
Let o be ((-50)/(-20))/(3/6). Suppose -4*p + 2*v + 674 = -7192, -o*v - 15 = 0. Does 15 divide p?
True
Let y = -2626 - -3014. Is 27 a factor of y?
False
Let l = -655 - -2689. Does 9 divide l?
True
Suppose c - 131 = -2*c + 5*w, 4*c = -5*w + 128. Let i = c + -34. Suppose h + h - 456 = -m, -h - i*m + 233 = 0. Is h a multiple of 39?
False
Let q = -9825 + 17126. Does 17 divide q?
False
Let c be ((-100)/8)/(-5) + (-12)/(-24). Suppose -d - 4*w - 1116 = -c*d, 2860 = 5*d + 4*w. Does 14 divide d?
False
Let g be (23 + 0)*(6 - 5). Let i = 28 - g. Suppose 3*w = u - 5*u + 356, -i*w = u - 599. Is 15 a factor of w?
True
Suppose -5*o = 2*r - 8445, -o + 4*r = -5*o + 6756. Suppose 4*g - 3*a = o, g - 2*a - 48 - 368 = 0. Does 6 divide g?
True
Let f(t) = -3*t**3 - 12*t**2 + 6*t - 7. Let g be f(-6). Suppose -5*u + 311 + g = -i, -4*u + 404 = -5*i. Is u a multiple of 24?
True
Let s = 60 - 76. Let m be s/40 + (-2)/(-5). Suppose 4*q - 395 = 4*k + 473, 5*q - k - 1077 = m. Is q a multiple of 14?
False
Let k = 3990 - 1097. Does 11 divide k?
True
Let y(n) = 2*n**2 - 121*n - 361. Is y(-32) a multiple of 51?
True
Let x = 349 - 354. Is 46 a factor of (-6627)/(-12) + x + 19/4?
True
Suppose 0 = -5*b + 3*y + 389, 2*b + 57*y - 58*y - 155 = 0. Is b a multiple of 76?
True
Suppose 5*t - 30 = 0, 233*n - 236*n + 5*t + 7791 = 0. Is n a multiple of 79?
True
Let z = -189 + 193. Suppose z*d + 200 = 4*m, 2*m - 46 = 4*d + 56. Does 3 divide m?
False
Suppose -98*z + 71193 = -30*z - 124171. Is 17 a factor of z?
True
Suppose 4*n - r = -29 + 2, -n - 21 = -5*r. Let a be (-255)/(-20)*(-8)/n. Does 4 divide (-3 + -3 + 7)*a?
False
Suppose 8*x - 10 = -2. Let a be x/(3/10)*135/18. Suppose -5*p + a = 4*o - 0*p, 2*p - 2 = 0. Is o even?
False
Suppose -s = 3*d - 4997, 320*s - 322*s + 8330 = 5*d. Is d a multiple of 16?
True
Suppose -1904 = 109*p - 102*p. Is 10 a factor of (p/6)/(18/(-135))?
True
Suppose 7*a + 13 - 41 = 0. Let t(q) = q**3 + 5*q**2 - 5*q + 6. Is 10 a factor of t(a)?
True
Suppose -3*r + r + q + 3833 = 0, 3*r = -2*q + 5732. Let 