14*j + 4620. Suppose 5*r = -5*r + j. Is r a multiple of 33?
True
Does 95 divide (110/(-88))/((-2)/(-8)) - -290?
True
Suppose 4*m + 1748 - 640 = 5*a, -3*a + 662 = -m. Is 55 a factor of a?
True
Suppose 0 = 5*j - 138 - 1727. Is j a multiple of 24?
False
Let m(s) = s**3 + 5*s**2 - 3. Suppose 0 = -2*f - 2*f - 24. Let w be m(f). Is 13 a factor of (w + 0)*(0 - 1)?
True
Let i(u) = u**2 - 9*u + 8. Let j be i(7). Let z be (0/(-1) + j)*-4. Suppose s + 97 = 5*r, -r + z = 4*s - 8. Is 10 a factor of r?
True
Let i(q) = 36*q**2 - 21*q + 55. Is i(5) a multiple of 30?
False
Suppose -3*d + 4*p + 438 = 0, 16*d = 17*d + 4*p - 162. Does 31 divide d?
False
Let g = 21 - 16. Suppose g*m - v = 453, 2*m - 4*v = -0*m + 192. Is 30 a factor of m?
True
Suppose 17*u - 5*h - 1600 = 15*u, 2423 = 3*u + 4*h. Is u a multiple of 25?
False
Let y(b) = -b**3 - 4*b**2 - 6*b + 9. Is 8 a factor of y(-5)?
True
Let s be (1 + -2)/((-1)/5). Suppose 440 = s*m - 0*m. Does 17 divide m?
False
Is 62 a factor of ((-22)/(-5))/((-2)/(-620))?
True
Let y be 2/(-9) + 148/18. Suppose 3*f - 7*f = -y. Suppose -f*m = -180 + 38. Is 18 a factor of m?
False
Let o(v) = 2*v - 28. Let h be o(16). Suppose -350 = -4*x - 3*u, x - 62 = -h*u + 19. Is 11 a factor of x?
False
Let j = 133 + -118. Suppose b - 2*w - j = -0*w, 2*w - 80 = -4*b. Is b a multiple of 5?
False
Let a(g) = -g**3 + 34*g**2 - 50*g + 98. Does 35 divide a(32)?
False
Let n = 1073 + 777. Does 50 divide n?
True
Let u(t) = -68*t + 2. Let h be u(-1). Let o = -42 + h. Is 4 a factor of o?
True
Is 23 a factor of (7343/(-49))/(1/(-7))?
False
Suppose -177*w = -180*w + 4026. Does 61 divide w?
True
Suppose 146*p = 176*p - 11760. Does 56 divide p?
True
Let d be (-6)/(-15) - (-1 + (-39)/15). Suppose -d*y + 10*y = 900. Does 25 divide y?
True
Suppose -89 = -5*d + 4*l, 2*l - 49 = -3*d - 0*d. Suppose d*t - 21*t + 272 = 0. Is 4 a factor of t?
True
Suppose 1 = -5*y - 14. Is -4 - (-2 + -116 - y) a multiple of 23?
False
Let d(z) = 5*z**2 + 9*z + 34. Let t be d(-6). Suppose 2*l = 2*f - 112, -l + 2*l = 3*f - t. Is 9 a factor of f?
False
Suppose 2*q - b = -0*b + 1, 5*q - 4 = 2*b. Suppose 0 = 4*a - j - 283, -q*j = a + 3*j - 97. Does 12 divide a?
True
Suppose 2*v + v + 30 = 0. Let u = v + 14. Suppose -q = -0*q + 2*o - 34, -u*o = -4*q + 76. Does 6 divide q?
True
Suppose -2*t - 2*t + 2*b + 8 = 0, -4*b = 5*t - 10. Let h(f) = -63*f - 8*f**2 - 3*f**3 + 54*f + t*f**3 - 4. Is h(-7) a multiple of 8?
False
Let o be 3467/((-1 - -2)/(-3)). Let c be o/(-15) - (-4)/(-10). Is 19 a factor of c/12 + (-3)/4?
True
Let u(k) = k**3 - 5*k**2 - k + 12. Is u(6) a multiple of 6?
True
Suppose -5*u - 20 = 0, -4*u + 3 = -b - 6*u. Suppose 33 = x - b*a, 5*x - a - 231 = 2*a. Does 6 divide x?
True
Does 12 divide (-1)/(-2) + 17313/58?
False
Does 24 divide (12 - 11) + 6 + 3625?
False
Suppose -5*u = -4*u + 3, 4*n - 3*u + 51 = 0. Is 3*(-2)/6 - n a multiple of 14?
True
Let m(n) = 105*n**3 - 3*n**2 - 4*n + 5. Is 11 a factor of m(2)?
True
Let p(o) = -4*o - 2. Let n(g) = g**3 + g - 1. Let r be n(0). Let z be p(r). Suppose -2*c - 3*c - 369 = -4*h, -3*c - 183 = -z*h. Does 26 divide h?
False
Is 97 a factor of 9 - (-7)/(-21)*-10158?
True
Is -3 - -6 - (0 - (71 + 7)) a multiple of 15?
False
Suppose 5*b - 3*d - 388 = 3*b, 0 = 4*b - d - 796. Does 10 divide b?
True
Let g(b) be the third derivative of b**5/30 - b**4/6 + 2*b**3/3 - 2*b**2. Let s = -1 + 5. Is g(s) a multiple of 5?
True
Let d be 3 + (-1 - -8) + 2. Let u = -10 + d. Let t = u + 3. Is 5 a factor of t?
True
Suppose 4*r - 4*v = -32, 0*r + 5*v - 12 = -2*r. Let k be (2/(-6))/(r/684). Suppose -5*j = -k - 8. Does 13 divide j?
True
Suppose 0 = -0*j + 2*j - 4. Suppose 7*h - 3*h - j*b - 110 = 0, -3*h - 2*b = -100. Is h a multiple of 6?
True
Suppose 4 = 2*m - 10. Let v(u) = -6*u**2 + 13*u**2 + 0*u**2 - 2 - u**3 + 4*u + u**2. Is v(m) a multiple of 22?
False
Let x(i) = 31*i**2 - 3*i + 2. Let k be x(2). Suppose -4*z = c + 7 - 42, -3*c = -3*z - k. Is c a multiple of 14?
False
Let s be ((-1)/3)/((-14)/(-42)) + 146. Suppose 3*o = -3*v + 96, -5*v + 0*v - 2*o + s = 0. Does 23 divide v?
False
Let u = -44 - -22. Let k = u - -30. Is (-2171)/(-52) - (-2)/k a multiple of 6?
True
Suppose 0 = 19*f - 20*f - 18. Is (-257)/(-5) - (f/5)/6 a multiple of 26?
True
Let g be 5 - 3 - (-18)/2. Let d = 59 - g. Is d a multiple of 18?
False
Suppose -45 = -2*u + 719. Let a = -192 + u. Does 35 divide a?
False
Let i(d) = d**3 + d**2 - d. Let n be i(2). Let r(z) = -11*z - 2. Let l be r(-4). Let o = n + l. Does 12 divide o?
False
Suppose 0 = -2*b + 4, -51*h + 164 = -50*h + 5*b. Does 14 divide h?
True
Let c(u) = 21*u + 521. Does 60 divide c(0)?
False
Let z = 8 + 36. Suppose 2*t - 2*h = 136, -2*t + 162 - z = 4*h. Does 18 divide t?
False
Let l = -821 + 1627. Is 26 a factor of l?
True
Let q = -33 + 76. Let o be ((-1 - -1) + q)/1. Let y = o + -3. Is y a multiple of 10?
True
Suppose -4*c - 2*c = -96. Let y(m) = -m**3 + 17*m**2 - 16*m + 5. Is y(c) a multiple of 2?
False
Let t(y) = y**3 - 2*y**2 + 2. Suppose -9 + 1 = -4*k. Let x be t(k). Suppose 2*z + 94 = 4*i, 5*i + x*z + z - 101 = 0. Is i a multiple of 12?
False
Suppose 16*m + 5 = 17*m. Suppose -11*l = -6*l, 0 = -5*s + m*l + 430. Is 13 a factor of s?
False
Let h(q) = q**2 + 5*q + 10. Let d be h(-8). Suppose d = p + 8. Does 26 divide p?
True
Suppose -3*b = 5*a - 4*b - 528, -2*a - b + 207 = 0. Let n = 185 - a. Is n a multiple of 10?
True
Does 17 divide 8*6/(-10)*850/(-15)?
True
Suppose 4*z = 4*r - 1644, 40*r - 825 = 38*r + 5*z. Is r a multiple of 5?
True
Let p = 58 - 109. Let w = p - -79. Suppose -5*m + 38 - 4 = -2*x, -w = -4*m + 2*x. Is 2 a factor of m?
True
Let t = 1703 - 616. Is t a multiple of 82?
False
Let i(n) = -n**3 - 9*n**2 + n + 13. Let p be i(-9). Suppose 223 = k - 2*u - u, 0 = 4*k + p*u - 844. Is k a multiple of 29?
False
Suppose 0 = 3*h - 2 - 52. Let f(i) = -i**2 + 22*i - 24. Is f(h) a multiple of 6?
True
Is 138*11/((-220)/(-170)) a multiple of 9?
False
Suppose 0 = -2*x - 4*o + 492, -6*x - 3*o + 1230 = -x. Is x even?
True
Let u(g) = 139*g - 53. Is u(2) a multiple of 25?
True
Suppose 840 = 8*b - 728. Is b a multiple of 28?
True
Let s(j) = 0 - 4 - 1 + 6 - j. Let w be s(-2). Let o = 3 + w. Is 5 a factor of o?
False
Let n(o) = -5*o - 2. Let j be n(-10). Let q = j - -110. Is q a multiple of 23?
False
Let a = -117 - -48. Let w = a - -177. Is 12 a factor of w?
True
Suppose 0 = 6*n - 230 - 1120. Does 15 divide n?
True
Let r(j) = 2*j + 24. Let l be r(10). Let a = -8 + l. Is a a multiple of 10?
False
Let a be 3 - (0 + -3 + (-6)/(-3)). Suppose -2*c + 13 = 4*t - 3, -c = -a*t + 16. Does 2 divide t?
True
Suppose 1101 = 20*x - 1499. Is 10 a factor of x?
True
Let h = 1236 + -381. Let m = h - 607. Is m a multiple of 31?
True
Let i(u) = -u + 7. Let y be i(6). Is (-2)/((2 - 136/67)*y) a multiple of 5?
False
Is 7 a factor of 5 - ((-1960)/6 - 22/66)?
False
Let o(h) = h**3 + 6*h**2 - 3*h - 6. Let k be o(-6). Let f = 10 - k. Let l(c) = 3*c**2 - c + 1. Is 14 a factor of l(f)?
False
Suppose 3*n = 3*y - 2*n - 408, -4*n + 12 = 0. Let t = 186 - y. Does 15 divide t?
True
Suppose 4*u + b = -0*b + 176, 0 = -u - 2*b + 44. Let k = u - 0. Is 6 a factor of k?
False
Let h(u) = -u**2 - 4*u + 3. Let x be h(-6). Let j = x + 10. Suppose 3*z + j = -11, 0 = 3*s - 3*z - 96. Is s a multiple of 9?
False
Let z(n) = 15*n + 2. Is z(33) a multiple of 14?
False
Let m = 543 + -83. Is m a multiple of 4?
True
Suppose 23*l = 7*l + 9504. Is l a multiple of 12?
False
Let t = -3 - -6. Suppose -5*q - 36 - 34 = -t*b, -2*b - q + 25 = 0. Does 5 divide b?
True
Let b(r) = r + 18. Let x(n) = n**2 + 13*n + 9. Let c be x(-11). Let q be b(c). Suppose -q*h = -4*y + 80, -h - 20 = 4*h. Is 15 a factor of y?
True
Let j = -2154 - -2469. Does 5 divide j?
True
Let u(z) = 1 - 1 - z + 9. Let m be 5/(77/(-28) + 4). Is u(m) a multiple of 5?
True
Let l be (-2)/3*-9*1/3. Suppose 106 = -l*n + 166. Does 8 divide n?
False
Suppose 0 = 13*w - 8*w - 255. Suppose 3*j = -5*h + 83, -3 = 2*j - 4*h - w. Is j a multiple of 13?
True
Let a(b) = -34*b + 772. Is 8 a factor of a(-30)?
True
Does 63 divide (-35)/(-14) + (-3)/6 - -62?
False
Suppose 6*f + 3*a = 4*f + 23, -2*a = 5*f - 30. Suppose 5*t - 5*m + 2*m + 26 = 0, 0 = 2*t + 2*m + f. Is (-435)/(-10) + 2/t a multiple of 17?
False
Let s(j) = -j**3 + 9*j**2 - 4*j - 10. Let d = -7 - -12. Suppose