-8)?
False
Let y be (5 - 11) + 7 - 2/(-2). Let i be (-3)/(3 - (-738)/(-248)). Is (10/(-20))/(y/i) a multiple of 31?
True
Let r(x) = 896*x + 7377. Is r(-8) a multiple of 27?
False
Is 93 a factor of (4634/(-35))/(20/(-1100))?
False
Let z be (-1 - 274/(-14)) + (-102)/(-238). Suppose -5*i - z = -3*a, i = -4*a - 2*i + 64. Suppose 54 = 2*x + 3*j, -x = -4*j - a - 3. Is 4 a factor of x?
True
Let v be 2/2*38/(-4)*-30. Does 9 divide 1539/v*(0 - -5)?
True
Suppose 0*q - q + 8 = 0. Let v be q/(-20) - (-44)/10. Suppose 0 = 5*b + r - 172, -b + v*r + 60 = b. Is 6 a factor of b?
False
Let s(z) = z**3 + 48*z**2 + 192*z - 101. Is 6 a factor of s(-43)?
True
Suppose 0 = 79*t - 106*t - 1080. Is 18 a factor of (-2)/(-2)*1716 + 240/t?
True
Let n = 988 + -672. Suppose 0 = -3*g - n - 134. Let p = g + 236. Is 31 a factor of p?
False
Let k be 3 + -12 + 5 + (-166)/(-2). Suppose -2*m - 71 = 33. Let u = m + k. Is 9 a factor of u?
True
Let n(h) = -8211*h + 5025. Is n(-5) a multiple of 72?
True
Suppose -3*g + 2*h + 50220 = 0, 22*g - h + 33494 = 24*g. Does 28 divide g?
True
Suppose -669 = -f - 125. Is (-1)/2*8 + f a multiple of 27?
True
Let s = -4 - -9. Suppose 5*w - 4*w = -4*l - 28, -s*w = 5*l + 50. Let a(d) = -d**3 + 2*d**2 + d + 3. Is a(l) a multiple of 57?
True
Suppose 5*t = 36 - 26. Suppose t*y + 4*p = 26, 4*p = 5*y + 6*p - 81. Does 6 divide y?
False
Let l(n) be the second derivative of 13*n**4/12 + 9*n**3/2 - 11*n**2 + 229*n. Is l(-6) a multiple of 17?
False
Suppose 0 = 5*l - 7*l - w + 8, -4*l + 10 = 5*w. Suppose 4*j - 3*c = 1129, -j + l*c = 9*c - 268. Is j a multiple of 7?
True
Is (12892674/(-12))/(-53) + 3/(-2) a multiple of 41?
False
Let h = 1681 - 1273. Does 2 divide h?
True
Suppose -602*s + 6965 = -597*s. Is s a multiple of 7?
True
Let w be (-2 + (-1 - -5))*1. Suppose -3*m + 5*m - 79 = s, 0 = 2*m - w*s - 76. Suppose -46*h + 535 = -m*h. Is h a multiple of 18?
False
Let s = 974 + 52. Let a = s - 690. Does 48 divide a?
True
Let k(z) = z**2 - z - 156. Let w(x) = -2*x**2 + x + 311. Let o(m) = -9*k(m) - 4*w(m). Suppose 5*f = 5, 0 = -3*n + 2*n + 2*f - 2. Does 32 divide o(n)?
True
Let g(u) = u + 138. Let i be 972/30 + (-8)/20. Is 17 a factor of g(i)?
True
Let m(o) = 6*o**2 + 7*o - 34. Suppose 4*q = -6*q + 100. Is 23 a factor of m(q)?
False
Let h(g) = 4*g + 14. Let a be h(-3). Suppose 5*j - 4*n + 7*n = 503, -2 = -a*n. Does 20 divide 21980/j + (-2)/(-10)?
True
Suppose -5*q = 5, -1 = 2*s + 4*q - 5. Suppose 0*h = -h - y + 135, 2*y + 546 = s*h. Is 34 a factor of h?
True
Let l(o) = -o**3 - 9*o - 10. Let n be l(-5). Suppose -3*i + n + 179 = -4*h, 5*h + 15 = 0. Is i a multiple of 31?
False
Suppose -4*s - s = -0*s. Suppose s = -3*k + 7 + 8. Suppose -k*i - 28 = -3*g, -2*i - 34 = -5*g - 0*i. Is g a multiple of 5?
False
Let r = 49 - 44. Suppose 0 = 2*z - 9*m + 6*m - 80, 5*z = r*m + 200. Is 10 a factor of z?
True
Let s(z) = z**3 + 3*z**2 - 3*z - 3. Let h be s(-3). Let l = -31 + 37. Suppose h + l = 2*k. Does 2 divide k?
True
Suppose -2*v - 30*q + 27*q = -3495, -2*q = 5*v - 8754. Is v a multiple of 8?
True
Suppose -177 = 5*r - 2*y - 2*y, 41 = -r - 2*y. Let b = r + 42. Suppose 0 = -5*u - 5*h + 360, 0 = -b*u - 0*h - 2*h + 360. Does 9 divide u?
True
Let n = 15017 + -1514. Does 21 divide n?
True
Let y(h) = -h**3 - 67*h**2 - 168*h - 1116. Is y(-66) a multiple of 3?
True
Let n(w) = -77*w - 1. Let g be n(7). Is (3 - 2)/((-5)/g) a multiple of 6?
True
Let j(o) = -329*o - 7447. Does 46 divide j(-111)?
True
Suppose 5583*t = 5567*t + 149184. Is 63 a factor of t?
True
Suppose 11*o - 210 = 5*o. Suppose 6*a = -1 + 1. Suppose a = -2*l + o + 109. Is 24 a factor of l?
True
Let c(l) = -684*l - 952. Let j be c(-7). Let d be (4/6)/(3/(-9)). Is 25 a factor of j/77 - d/11?
True
Let r be ((0 - (2 + -2)) + 2)*13. Let y = 24 - r. Is -4*(y + (-42)/4) a multiple of 25?
True
Let b = -30321 - -72761. Does 41 divide b?
False
Let u(r) = r**3 + 10*r**2 - 18*r + 7. Let o be u(-15). Let l = -586 - o. Is l a multiple of 7?
False
Suppose -25 = 4*c + c, 5*j = 5*c + 585. Let q = j - 151. Let s = q + 154. Does 23 divide s?
True
Let i be (144/(-3) - -5)/(-1). Suppose -i*x = -41*x - 1940. Does 89 divide x?
False
Let u = -5674 + 12647. Is 20 a factor of u?
False
Suppose 3*y + 19 = 4*v - 14, -4*v = 2*y - 58. Let g(h) = 9 + 4*h + 5 + 2*h - v. Is g(7) a multiple of 11?
True
Let m = -274 - -268. Is 6 a factor of (-6)/12*2976/m?
False
Let g be -2*1 + 10 + 42/(-7). Let p = g + 2. Suppose p*d - 34 = -j - 13, j = 3*d + 14. Is j a multiple of 11?
False
Let t(h) = -23*h - 12. Let c be t(-4). Is 25 a factor of (-18)/((15/c)/(-1))?
False
Suppose 12 = 4*i - 3*m - m, -13 = -5*i + 3*m. Suppose 13*o - 2332 = i*o. Is 24 a factor of o?
False
Suppose -l - 3*p = -4109 - 1034, -3*p = 12. Does 45 divide l?
False
Suppose -34871 = -9*u + 3505. Suppose -4*l = 4*r - u, 3*r - 2887 - 307 = -l. Does 28 divide r?
True
Suppose 113 = -3*n + 1799. Suppose 215 = -7*m - n. Let h = 122 + m. Does 11 divide h?
True
Let n be 1264/(-18) - (11/(-9) + 1). Let z = n + 912. Is 25 a factor of z?
False
Suppose 3 = 3*t + 18, -4*d - t - 11729 = 0. Is 28 a factor of d/(-15) - (-33)/55?
True
Let b(u) = 23*u + 163. Suppose q + 5 + 0 = 5*m, m = 0. Is b(q) a multiple of 4?
True
Suppose 4*q = -3*q + 5957. Suppose -2*i - 2*g = 3*i - q, 5*g = 4*i - 694. Suppose 4*k - 161 - 65 = 2*v, 0 = 3*k - 3*v - i. Is k a multiple of 26?
False
Suppose 13*c - 9*c = -64. Is ((-9)/(9/c))/(1/6) a multiple of 24?
True
Suppose 2442 = 4*h - 7350. Suppose 22*d - 16*d - h = 0. Is d a multiple of 6?
True
Suppose 9*c - 7775 = 10315. Is 10 a factor of c?
True
Let o be -290 + (-14)/(-7 + 0). Let u = 306 + o. Is 18 a factor of u?
True
Let z be -2 - 4 - (6 + -4). Is 57 a factor of (z/(-10))/(2 + (-11808)/5910)?
False
Let z = -12 + 20. Suppose 13*j - 450 = z*j. Let g = j + -58. Does 32 divide g?
True
Let t be -32*6/(-12) + 2. Is 11 a factor of 174*48/t + -1?
False
Suppose -5*v + 20*v = 139*v - 624960. Is 120 a factor of v?
True
Does 100 divide (0 - 6/(-96)) + 325801/112?
False
Let s(l) = l - 15. Let j be s(11). Let t(q) = 66*q - 12. Let p be t(j). Does 12 divide 5 - (-132)/(-28) - p/14?
False
Let r(x) = -2*x**3 + 4*x**2 - 3*x + 4. Let l be r(-5). Let d = l - 22. Suppose -3*m + d = 11. Is m a multiple of 14?
True
Suppose 1183 = s - 2*x, 6*s - 3*s + 2*x - 3573 = 0. Is s a multiple of 33?
False
Let q(z) = z**3 - 3*z**2 - 7*z. Let o be q(3). Let f(l) = l + 24. Let y be f(o). Suppose -y*u + 177 = 36. Is 21 a factor of u?
False
Let z(x) = x + 25. Let j(q) = q + 24. Let d(i) = 7*j(i) - 6*z(i). Let k be d(-7). Suppose 17*s = k*s + 210. Does 14 divide s?
False
Let t(d) = -219*d**3 - d**2 - 7*d - 6. Suppose 0 = 7*l - 1582 + 1589. Does 36 divide t(l)?
False
Let s = 10764 + -5088. Is s a multiple of 11?
True
Let s = -15659 - -29554. Is s a multiple of 24?
False
Suppose -8*h = -14*h + 24. Suppose -36*m + 33*m - 1513 = -2*q, -h*q = 5*m - 3059. Is 63 a factor of q?
False
Let y be -6 + 0 + 0/5. Let t(i) = -i**3 - 4*i**2 + 14*i + 14. Let h be t(y). Suppose h*c + 5*b = 66 + 199, 3*b = -9. Does 35 divide c?
True
Let i(c) = 5*c**2 - 6*c + 75. Is i(-22) a multiple of 37?
True
Let b(x) = 47*x - 16. Let d be b(7). Let h be 4448/120*-6 - 2/(-5). Let i = d + h. Is 12 a factor of i?
False
Let u = -96534 - -158153. Does 141 divide u?
False
Let d = 59 - 52. Suppose 42 = d*c - 98. Suppose -52 + c = -4*t. Does 8 divide t?
True
Suppose 3*m + o - 27 = 0, 5*m - 21 = 2*m + o. Let d(t) = -t**2 + 8*t + 1. Let c be d(m). Is (-30)/(-75)*(-1 - (-122 + c)) a multiple of 9?
False
Suppose 316 = -0*f + 4*f - 2*s, -4*s + 259 = 3*f. Suppose -f*a = -77*a - 172. Is 11 a factor of a?
False
Let t = -276 + 292. Suppose -t*g - 4030 + 11726 = 0. Is g a multiple of 13?
True
Is 53 a factor of 6250 - (-6)/2 - 209/(-209)?
True
Suppose 0 = 5*q - 2*y - 8297, -5*q - 151*y + 147*y = -8261. Does 5 divide q?
False
Let o(d) = -198*d**3 + 12*d**2 + 14*d + 2. Is o(-1) a multiple of 22?
True
Suppose 0 = 4*o - 0*o + 16, 14 = 2*s + 4*o. Suppose -1357 = -34*y + 989. Let b = y + s. Is 7 a factor of b?
True
Let p be 2 - ((-67)/5 - (-38)/95). Suppose p*d = d + 644. Does 7 divide d?
False
Suppose 7 = -c, 507*c + 7265 = 2*q + 508*c. Does 2 divide q?
True
Let o(f) = -2*f**3 + 68*f**2 + 7*f + 88. Is 19 a factor of o(32)?
True
Suppose -5*y + 10 + 15 = 0. Suppose y*t - 11*t + 918 = 0. I