 Let g = z + i. Does 10 divide g?
True
Suppose 3*m - 4*h = -1795 + 51013, 3*h = -m + 16380. Does 7 divide m?
False
Let j(n) = -n**3 + 5*n**2 - 4*n + 5. Let u be j(4). Let m = -65 + 70. Suppose 2*i - 2*l = 170, -m*i + 0*i + 435 = u*l. Is 31 a factor of i?
False
Suppose 0 = 4*t - 16, -4*t - 63 = -4*j + 129. Let f = j - 44. Does 24 divide (4 - -142) + (-1)/(4/f)?
True
Suppose 2*m = -5*b + 28042, -26*b - 16863 = -29*b + 3*m. Does 248 divide b?
False
Is 17 a factor of (1/(-2))/((-13418)/(-1220) + 88/(-8))?
False
Suppose -2*h + 5524 + 8337 = 5*l, 3*h + 5*l - 20779 = 0. Suppose h = 711*q - 705*q. Does 38 divide q?
False
Suppose 4682 = 4*r + 3*o, 2*r = -5*o + 3512 - 1164. Is 7 a factor of r?
True
Suppose 0*i = 2*i - 16. Let s be -6 - -2 - 156/(-18)*6. Suppose -s = -5*t - i. Does 4 divide t?
True
Suppose -2*v - 2*s = -6*v + 256, -2*v + 120 = -5*s. Suppose 4*z - v - 639 = 0. Does 36 divide z?
False
Let q be 42/(-28)*2/3 - -4. Let x(i) = 30. Let h(j) = -j + 29. Let s(z) = q*x(z) - 2*h(z). Does 12 divide s(26)?
True
Suppose 0 = 14*w - 98*w + 181860. Is w a multiple of 5?
True
Let r = 364 + -1363. Let l = r + 1754. Suppose 4*d - 158 - 150 = -2*h, 5*h + 5*d - l = 0. Does 24 divide h?
False
Let a(z) = -10*z**3 - z**2 + z + 1. Let y be a(-1). Let c(s) = s**3 - 7*s**2 - 14*s - 16. Is 2 a factor of c(y)?
True
Is 24 a factor of (10146/(-801))/((-3)/504 + 0)?
False
Suppose -14*o + 49*o = 22*o + 173316. Is o a multiple of 22?
True
Let d(v) = 10*v**2 - 13*v + 43. Let b(p) = -9*p**2 + 12*p - 44. Let a(o) = 5*b(o) + 6*d(o). Is 41 a factor of a(6)?
False
Suppose 4*m - 192 = 5*m - 4*u, 0 = -2*m + 4*u - 400. Let o = 398 + m. Suppose 4*f + g = 158, -5*f - 5*g = -0*g - o. Is 10 a factor of f?
True
Suppose 136*u + 134322 + 84533 = 171*u. Is u a multiple of 65?
False
Suppose -12*m = -8*m + 5*h + 7064, 5*m - 2*h + 8863 = 0. Let a = -945 - m. Is a a multiple of 47?
False
Let h(a) be the first derivative of -a + 1/2*a**2 + 21 + 0*a**3 + 61/2*a**4. Is h(1) a multiple of 28?
False
Suppose -x - 980 = -4*j, -x - 364 = -2*j + 124. Let m = 535 - j. Is m a multiple of 50?
False
Let v be 1765/25 - 6/(-15). Suppose -41 = f + v. Let k = 161 + f. Is k a multiple of 13?
False
Let m be (-20)/15*75/(-20). Suppose a = m*h - 688, h + 4*a - 151 = -5. Is h a multiple of 13?
False
Let v(w) = w**3 - 4*w**2 + 3*w - 1. Let u be v(3). Is 47/((u + 6 + -3)/10) a multiple of 47?
True
Suppose -5*s + 6*m + 44 = 2*m, 0 = 6*s - 2*m - 64. Suppose -k - 123 = -q, -s*q + 7*q = -2*k - 606. Is 10 a factor of q?
True
Let p(s) = 65*s + 860. Is 18 a factor of p(-5)?
False
Suppose 4*g - 17984 = -3*k - 1433, 0 = -5*g - 3*k + 20688. Does 21 divide g?
True
Suppose -10 = -5*u + 5*y, -u + 4*y - 2 = -2*u. Let p be (-9)/(-4 + u - 1). Suppose p*r - 228 = 3*h, 5*r - 394 = -h - 14. Does 38 divide r?
True
Suppose -2*a = -5*a - 3*a. Suppose -10*m + 41 + 2749 = a. Is 17 a factor of m?
False
Suppose -x + 36 = 2*a, 5*x + 2*a = 65 + 75. Is (-11706)/(-15) - x/65 a multiple of 60?
True
Suppose 2*q = -5*y - 281, 51 = -3*y + 2*y - 3*q. Let f = y + 54. Is 9 a factor of f + (33 - 3) + 0?
True
Suppose 0 = -a + 5*f + 1894, -a + 12*f = 11*f - 1902. Is a a multiple of 136?
True
Suppose -4160 = -5*i + 6520. Suppose -41*c + i = -33*c. Is 73 a factor of c?
False
Suppose 3*i + 0*i = -3*l + 18, -3*l - 14 = -5*i. Suppose -l*c = u + c - 11, -39 = -5*u + c. Is 15 a factor of (-6)/u + (-1770)/(-24)?
False
Let r(o) = o**3 + 63*o**2 + 197*o + 71. Is r(-54) a multiple of 31?
False
Suppose -2 = -b, 4*g = -5*b - 15 + 1. Does 23 divide g/(-1 - (-175)/190)?
False
Let i(a) be the first derivative of a**3 - 17*a**2/2 + 55*a - 131. Is 81 a factor of i(14)?
True
Suppose 2*d + 43 = 11. Let i be (-4)/12 + d/(-12). Does 17 divide (-52)/(-13) - (-165 - i)?
True
Let y(o) = 15*o**2 - 7*o + 22. Let b(x) = 32*x**2 - 14*x + 43. Let m(s) = -2*b(s) + 5*y(s). Is 8 a factor of m(5)?
True
Let s(f) = f**3 + 17*f**2. Let p be s(-17). Is 20 a factor of (p - -530)/(9 + 1 + -8)?
False
Suppose -17589 + 52169 = 10*z. Is 14 a factor of z?
True
Let d be 4*((2 - 3) + (-4807)/(-46)). Suppose d = x + 2*t, 0 = x - 2*x + t + 423. Is 86 a factor of x?
False
Let x(a) = -20*a + 25*a + 31*a - a**2 + 181 + 3*a. Is 12 a factor of x(39)?
False
Let z be 5/3 + 12/36. Suppose -z*b - c = -9, 0 = 4*b - 5*c + 3 - 14. Suppose -d + 580 = b*d. Does 20 divide d?
False
Suppose -60*s + 1179182 = -440338. Is 16 a factor of s?
True
Suppose 3*l - 9880 = -2*l + 3*a, 3952 = 2*l + 3*a. Is 19 a factor of l?
True
Let v(u) = 195*u**2 - 15*u - 5. Let s(a) = 39*a**2 - 3*a - 1. Let c(k) = 22*s(k) - 4*v(k). Let h be c(-4). Is (-4)/6 + (-13)/((-195)/h) a multiple of 14?
True
Is 47 a factor of 21889 - (-14 + 21/21)?
True
Let k be -3*(-7)/(-42)*-10. Suppose -16*i + 8022 = k*i. Does 31 divide i?
False
Let j be (12/(-7))/(10/(-3640)). Suppose -4*z - 9*z + j = 0. Does 8 divide z?
True
Let p be 577/6 + (44/24 - 2). Let g = p - 71. Does 5 divide g?
True
Let u be (1 + 0/(-1))/(19/(-38)). Let n be (-5 - (-1 + u))/((-3)/84). Suppose 51*f + 120 = n*f. Does 12 divide f?
True
Let q(x) = -11*x - 126 + 55 + 6*x**2 + 19. Is 8 a factor of q(-4)?
True
Let f = -1488 - -2552. Suppose -88*b - f = -90*b. Is b a multiple of 38?
True
Let g = 20508 + -7068. Is 7 a factor of g?
True
Is 15*16/(-40)*-340 a multiple of 34?
True
Let p(d) = -d**2 + 58*d + 1272. Is p(0) a multiple of 25?
False
Is -1 + 32079 + -22*(-20)/(-440) a multiple of 13?
False
Suppose -5*t = -11*t + 30. Suppose t*r - 20 = -2*w - 3*w, -4*w + 2*r = 8. Suppose -2*n = -3*b + 763, w*b + 4*n = -4*b + 1024. Is 9 a factor of b?
False
Suppose -21171 = -5*n - 107*n + 83101. Is 13 a factor of n?
False
Suppose -680*y + 683*y = 5*m - 630, 5*m + 2*y = 655. Does 2 divide m?
False
Let x(d) = 522*d - 559. Does 10 divide x(15)?
False
Suppose 0 = 2*q - 4*q + 2*j - 86, q + 51 = 5*j. Let b = 74 + q. Let g = 30 + b. Is g a multiple of 6?
False
Let v(p) = 172*p**2 - 107*p + 420. Is 4 a factor of v(4)?
True
Let o = 17 + -13. Suppose 4*v + 7 = 27. Suppose -v*d - a = -163, 0 = 3*a - o*a - 2. Is d a multiple of 3?
True
Suppose -4*z = -2*z + 4*f - 77780, 0 = -4*f - 12. Does 17 divide z?
True
Does 9 divide (1888/20 + -5)/(5 + (-1043)/210)?
True
Let f = 15 - 13. Let r(t) = 15*t - 28. Let k be r(2). Suppose -2*s + 205 = s - f*z, 10 = -k*z. Is s a multiple of 13?
True
Suppose -k + 1878 + 12232 = 4*k. Does 6 divide k?
False
Suppose 3*o + 4*j - 16 + 4 = 0, o = -4*j + 12. Suppose o*r + 11*r - 1254 = 0. Is 14 a factor of r?
False
Let q be (-2 + 1033 - -1)/1. Suppose 2*w - 2*y - 155 = 253, 0 = 5*w + y - q. Does 43 divide w?
False
Is 48*1/(-3) - -13620 a multiple of 38?
True
Let d be 1 - ((-1 - 5) + 8). Let r(y) = -256*y - 2. Is r(d) a multiple of 23?
False
Let i = -40 - -44. Suppose 0 = -k - 2, -2*p + 3*p + i*k + 6 = 0. Does 11 divide (-5 - -3)*(p + 59/(-2))?
True
Suppose 4*u + 2 = 5*t, 11 = 4*u - t + 5. Suppose 4*x = -3*v - 1 - 0, -u*x = 5*v - 17. Does 3 divide v?
False
Let n(l) = -102*l + 8. Let s be n(-9). Suppose 8*r - s = -198. Is r/6 + 5/(-30) a multiple of 5?
True
Let l be 21 - 24 - (-12)/(-2). Let g be -3 - 24/(-9) - 1164/l. Suppose 8*r - 5*o - g = 4*r, -5*r + 4*o = -168. Is 24 a factor of r?
False
Let a(t) = -4*t**2 + 7 - 16*t - t**3 + 13*t - 3. Let n be a(-3). Suppose 0 = n*b + 3*w - 70, 0 = -3*b + w + 36 + 10. Is 4 a factor of b?
True
Suppose -2*n + 13200 = -5*f, -f + 6*f = 4*n - 26370. Is 6 a factor of n?
False
Suppose -164*i = 72*i - 10224919 - 1825241. Does 15 divide i?
True
Suppose -2*y + 1944 = 42. Suppose -5*p - y = -4*i - 2*p, -4*p = i - 233. Is i a multiple of 79?
True
Let m(w) = -20 + 5*w**2 + 3*w + 8*w - 14*w + 4*w. Let d be -3*((-150)/18)/5. Does 22 divide m(d)?
True
Let p = 559 + -139. Let x = p + -236. Does 23 divide x?
True
Let u be -3*((-1904)/(-12))/4. Let t be (-2 - (-1 + 170)) + 12/(-3). Let w = u - t. Is 13 a factor of w?
False
Let b = 286 - 70. Suppose 8*u - 7*u + 5*w - b = 0, 5*u - w = 1054. Is u a multiple of 29?
False
Suppose 2*g + g - q = 3, 3 = q. Suppose -g*z = 497 + 1387. Does 21 divide 2/6 + z/(-9)?
True
Is (67488/532)/((-207)/105 - -2) a multiple of 37?
True
Let m = -7898 + 9220. Is 12 a factor of m?
False
Is (2181/9 - 3)/(1196/(-150) + 8) a multiple of 97?
False
Let f(q) be the third derivative of q**6/120 - q**5/10 + q**4/8 + 23*q**3/2 - 17*q**2. Is f(9) a multiple of 1