i = -38 - s. Does 9 divide i?
False
Suppose 2 = -y + 3. Let j be (-3*y)/(33/(-22)). Suppose -j*x + 5*x - 141 = 0. Is 12 a factor of x?
False
Let z(o) = o**2 + 25*o + 23. Let s = 364 + -354. Is 31 a factor of z(s)?
False
Does 15 divide 903/(-516) + (-90177)/(-12)?
False
Suppose 156 + 270 = -3*c. Is 71 a factor of c/(-2 - 48/(-30))?
True
Let d = -43650 - -82742. Is 29 a factor of d?
True
Let w be (8 - -1)*1/(-3). Let o(j) = 5*j**2 + 10*j + 10. Let s(g) = -g**2 - 2*g - 2. Let m(i) = -4*o(i) - 22*s(i). Does 2 divide m(w)?
True
Suppose 0 = -8*w - 185 + 953. Let c be (w/(-10))/((-10)/375). Suppose 4*y - c = -6*y. Is y a multiple of 36?
True
Let r(s) = -4794*s - 2816. Is r(-4) a multiple of 8?
True
Let i be 12/78 - (-509)/(-13). Let v = -37 - i. Suppose 5*y + 26 + 247 = v*b, 2*b + 3*y = 233. Is 26 a factor of b?
False
Suppose -3*a - 15 = -2*j, 5*j + a - 28 = -a. Does 29 divide 19/(5/j - (-24)/(-36))?
False
Suppose 12*n = -30*n + 3864. Is 6 a factor of (-396)/22*n/(-6)?
True
Let u = -93 + 87. Is (368/u)/((-12)/54) a multiple of 24?
False
Let m(q) = 12*q**2 - 9*q. Let z be m(-3). Suppose -10*w + z = -9*w + 5*k, -k - 117 = -w. Is 30 a factor of w?
True
Let r(k) = -10*k - 18. Let d be r(-10). Let q = d + -226. Let y = 84 - q. Is y a multiple of 16?
False
Let k(h) = -4*h - 32. Let z be (-38)/(-10) + 3*6/90. Let t be (-84)/(0 + z) + 2. Does 20 divide k(t)?
False
Let f(n) = -158*n**3 + 151*n**2 - 2*n - 10. Is 75 a factor of f(-4)?
False
Let c(s) = -s**3 - s**2 + 3*s - 3. Let l(g) = -g**2 + 6*g - 5. Let y be l(3). Let x(f) = -f**2 + f. Let h(z) = y*x(z) - c(z). Does 6 divide h(3)?
True
Let g be 6/4*(243 - (-81)/(-9)). Suppose -a + g = b, -9*a - 2*b = -11*a + 690. Does 29 divide a?
True
Suppose 0*g - 192 = -g + c, 2*g - 5*c - 375 = 0. Suppose h - 51 = -3*u, 3*u = -4*h - 0*u + g. Does 3 divide h?
True
Suppose 3*p - 9 = -2*p + q, 2*q + 2 = 2*p. Suppose -5*i - 2*k = -270, -p*k + 62 = i - 0*i. Is i a multiple of 26?
True
Suppose 22949*k - 39680 = 22945*k. Is k a multiple of 11?
False
Suppose 122*d - b + 139500 = 127*d, -5*b = 2*d - 55823. Is 23 a factor of d?
True
Let a(w) = w**2 - 8*w + 4. Let n = 24 - 22. Suppose -4*r - 19 = -t, n*r + 2 = 4*t - 2*t. Does 11 divide a(r)?
True
Let r be -1 + (-1 - 1) - (-164)/4. Suppose r - 13 = u. Is u a multiple of 2?
False
Let f be 8265/35 - (-3)/(-21). Suppose -13*n - f = -17*n. Is 18 a factor of n?
False
Is 15/1*7*129/15 a multiple of 7?
True
Let a(z) = 2*z**2 + 7*z + 2. Let s(i) = 3*i**2 + 7*i + 2. Let n(j) = 4*a(j) - 3*s(j). Let g be (38/(-266))/(3*2/(-210)). Is n(g) a multiple of 9?
False
Let t be 1/2*((3 - 0) + -3). Suppose j + 2*g = -t*j + 4, 5*g + 50 = 5*j. Suppose -8*v - j*v + 672 = 0. Is v a multiple of 3?
True
Suppose 14 = 14*x - 28. Suppose -x = -f + a, -2*f + 31 = 5*a - 2*a. Let h(l) = -l**3 + 8*l**2 + 9. Is h(f) a multiple of 2?
False
Suppose -5 - 3 = -4*x. Suppose 16 = -b - 5*v, -4*b + x*v - 53 = b. Is 11 a factor of -16*b/(-8)*-2?
True
Let x(z) = -4*z**3 + 5*z**2 + z - 10. Suppose -12 = 33*g - 36*g. Let k be x(g). Let t = -86 - k. Is 8 a factor of t?
True
Suppose 0 = -6*y - 209 + 233. Suppose -963 = -3*c - 3*h, -3*c - y*h = -461 - 498. Is 8 a factor of c?
False
Let o(t) = -3*t**2 - 23*t - 16. Let w be o(-7). Is 18 a factor of 7693/63 - -4 - w/(-18)?
True
Let f be -1 + (4 - 6 - -3) + -3. Is 31 a factor of 7/(-21) - (2 - (-565)/f)?
True
Let t be ((-2)/(-8))/(-7 - (-1017)/144). Is (-1)/t + (-8405)/(-164) a multiple of 10?
False
Let t(i) = 42*i**2 - 620*i - 286. Does 52 divide t(39)?
True
Let p(d) = 374*d + 170. Is p(2) a multiple of 9?
True
Let y = 2073 + -2070. Let x = -2 + 5. Suppose -2*o = 2, o + 247 = y*b - x*o. Does 9 divide b?
True
Let d(f) be the second derivative of -f**5/20 + 23*f**4/12 - 7*f**3 + 7*f**2 + 53*f. Does 7 divide d(21)?
True
Let f(y) = 2*y**3 + 140*y**2 + 154*y - 92. Is 13 a factor of f(-68)?
False
Let l = 3757 - -1573. Is l a multiple of 13?
True
Let p(r) be the first derivative of -24 + 5*r**3 - 31*r + 11/2*r**2. Does 23 divide p(4)?
True
Is (1 - 5)*((-2949)/(-12))/(-1) even?
False
Is 24 a factor of 5 - ((-36)/3*778 + 5 + -11)?
False
Let i = -51846 + 82191. Does 85 divide i?
True
Let m = 1774 + -1392. Is 27 a factor of m?
False
Let t(l) = -l**3 - 67*l**2 - 32*l - 393. Is t(-67) a multiple of 17?
True
Let m(g) = 4*g**2 - 5*g - 31. Let l be m(-5). Let q = -71 + l. Does 5 divide q?
False
Let a(g) = 42*g**2. Let u = -177 - -84. Let p = u - -92. Does 3 divide a(p)?
True
Let f(z) = z - 1. Let j(t) = -t**3 + 16*t**2 - 12*t - 32. Let n = 15 + -13. Let w(c) = n*f(c) + j(c). Is w(15) a multiple of 13?
False
Let u(a) = -27*a**3 - 2*a**2 + 1. Let y be u(-1). Let f = 80 - y. Suppose 2*v - f = 26. Is 8 a factor of v?
True
Is 25 a factor of 7907 + (66/(-132))/(1/(-22))?
False
Let c = 51 - 47. Suppose -c*g + 24 = -g. Suppose 6*h = 5*h + k + g, -3*h + 18 = 3*k. Is h a multiple of 7?
True
Suppose 444 = -4*b - 4*k + 56132, 0 = -3*b + 4*k + 41731. Does 5 divide b?
False
Suppose -4*b + y + 24 = 0, -3*y - 15 = -b + 2. Suppose -102 = s - 2*s - 2*p, s - 137 = b*p. Does 27 divide s?
False
Let y be 4/(-1) + 59276/58. Suppose -s = 241 - y. Is s a multiple of 37?
True
Suppose 2*v - 3*z = -v + 33, -4*v + 5*z + 46 = 0. Let r be 18/81 - (20/v + 0). Does 13 divide ((-4)/(0 + -4))/(r/(-26))?
True
Suppose 32*z + 3*z = -39*z + 344100. Does 75 divide z?
True
Suppose -57888 = -r - 5*z, -3*z + 115776 = -399*r + 401*r. Does 36 divide r?
True
Let q(x) = 36*x + 7594. Does 65 divide q(124)?
False
Let v be (-2)/10 + 5 + (-4)/(-20). Let i(l) = 1 - l + l + 12*l - v. Does 16 divide i(11)?
True
Let s(p) = -41*p**2 - p - 4. Let f be s(8). Let j be ((-90)/(-24) + -4)*f. Let z = j - 471. Is 9 a factor of z?
False
Let g = -26 + 30. Suppose 0 = g*y - 2 - 6. Let x = y - -19. Is x a multiple of 20?
False
Let c be 2/4*98 - -2. Suppose 4*d = 53 + c. Let k = d - 5. Is 19 a factor of k?
False
Let y(i) = 23*i + 95. Let b be y(-4). Suppose 5*l - 1300 + 330 = -2*u, b*l - 5286 = -11*u. Is u a multiple of 10?
True
Let t = -187 + 190. Suppose -791 = 4*o - 3643. Suppose -t*c + o = 236. Is c a multiple of 13?
False
Let d(m) = -4*m - 7. Let c be d(10). Let x = c + 75. Suppose -x = -n + 52. Is 40 a factor of n?
True
Let y(i) be the third derivative of i**5/12 + 11*i**4/12 + 4*i**3/3 - i**2 + 8. Does 48 divide y(-10)?
True
Let y be (2*(-194)/(-2))/(13 - 11). Suppose -20 - y = -a. Does 13 divide a?
True
Let u be 2/4 + (-12)/24. Suppose u = 4*i - 2*c - 24, 0 = -3*i + 5*c + 1 + 10. Suppose i*q - 14 = 70. Does 2 divide q?
True
Let q = 21003 - 12554. Is 79 a factor of q?
False
Let o = 384 + -411. Is 24 a factor of (-1)/(-1) - o/((-135)/(-1310))?
False
Let p(y) = -58*y + 132. Does 12 divide p(-14)?
False
Let k(c) = -c**3 - 96*c**2 - 7*c - 216. Is 18 a factor of k(-100)?
False
Suppose -2*q + 5*g = -14, 5*g + 8 = -3*q + 2*q. Suppose 4*d + q*k - 152 = 0, 5*d + 3*k = 4*k + 176. Suppose -3*w = -d - 132. Is w a multiple of 8?
True
Let v(f) = f**3 - 7*f**2 + 2*f + 2. Let l be v(6). Let z be 14/((-4)/(-12)*(-9)/(-12)). Let g = z + l. Is g a multiple of 11?
False
Is 29 a factor of 1622353/133 - 484/154?
False
Suppose 17*y + 3*y = 0. Suppose 12*v - 2389 - 4115 = y. Is v a multiple of 8?
False
Suppose -6 = -5*b + 9. Suppose -2*h - 1255 + 4215 = 5*t, 0 = 2*t + b*h - 1195. Is 17 a factor of t?
False
Suppose 571 = 5*q - 289. Let t = -93 + q. Suppose 0*w - t = -3*w + 4*a, -w - 4*a + 5 = 0. Is w a multiple of 7?
True
Suppose 135 = 29*r - 32*r. Let t be r/9 - (0 - 21). Suppose -5*w = -5*f - 312 + 42, -t = -4*f. Is 49 a factor of w?
False
Let q(x) = 3 - 416*x + 45*x**2 - 406*x + 818*x. Is q(-3) a multiple of 7?
True
Suppose o + 48*j - 37149 = 44*j, 2*o + 3*j = 74313. Is o a multiple of 38?
False
Suppose 0 = 28*k - 30*k - 4, -40530 = -5*u - 5*k. Is u a multiple of 44?
False
Suppose 18*l = -199*l - 3*l + 174460. Is l a multiple of 13?
True
Let g = -243 + 192. Let r = 327 + g. Does 3 divide r?
True
Suppose -22*w = -20*w - 8. Suppose 7*z - 6*z - 734 = d, 0 = w*z - 2*d - 2936. Is z a multiple of 44?
False
Let x be (9 - 1332/27)*1*-6. Suppose -4*u + 3*q = -2*u - 2, -3*u = -5*q - 2. Does 24 divide (-7)/14 + x/u?
False
Let r = -8523 - -16567. Does 54 divide r?
False
Let y = 4432 - -2811. Is y a multiple of 10?
False
Suppose 0 = -9*c - 88 + 124. Suppose -2*q + 5*k + 221 = 0, -2*q + c*k 