*i = -h + 2476 - d, 2*i - 5*h - 2105 = 0. Is 35 a factor of i?
True
Is (((-5)/10)/1)/((-11)/19074) a multiple of 10?
False
Let i(k) be the second derivative of k**6/60 - k**5/5 + 3*k**4/4 - 8*k**3/3 - 3*k**2 - 20*k. Let x(v) be the first derivative of i(v). Is x(7) a multiple of 26?
True
Let y = -65 - -60. Let b(i) = -i**3 - 5*i**2 - 18*i - 12. Is b(y) a multiple of 26?
True
Let m = 82 + -252. Is 27 a factor of (-102238)/m + (-4)/10?
False
Let a = 13808 - 3134. Is 30 a factor of a?
False
Suppose -8*r + 10 = -10*r, -3*w + 4*r = -6536. Is 6 a factor of w?
True
Let r(b) = 21*b**2 + 268*b + 13. Is 222 a factor of r(-25)?
True
Let w(x) = -x**3 + 4*x - 6. Let k = -44 - -12. Let t = k + 28. Is w(t) a multiple of 14?
True
Let h be -3 - (-2 - (-2 + 2)). Let o be (-12)/((1 - h)/(-8)*-6). Let u(s) = 2*s**2 + 3*s + 7. Does 29 divide u(o)?
False
Suppose 279673 = 72*z - 423332 + 193389. Does 13 divide z?
False
Let m(g) = 869*g + 666. Is 14 a factor of m(8)?
False
Let j = -90 - -60. Suppose -2*n = 2*g + g - 34, 0 = g + 5*n - 33. Let c = g - j. Is 11 a factor of c?
False
Let m be (-2 + 3/2)*0 + 2. Let f = 745 + -376. Suppose m*o - f = -133. Is 24 a factor of o?
False
Let h = 687 + -685. Suppose 4*v - 18 = v. Suppose -14 = -h*k - v. Does 2 divide k?
True
Suppose -5*g - 319*h + 4194 = -321*h, 0 = -3*g + 3*h + 2502. Is g a multiple of 41?
False
Let t(u) = 3777*u - 824. Is 19 a factor of t(2)?
False
Let s(k) = 69*k - 125. Let u be s(-11). Let x = u + 1531. Is x a multiple of 21?
False
Suppose 3*j + 4*a - 1197 = 0, -4*a + 1600 = 54*j - 50*j. Does 134 divide j?
False
Let n(t) = -6*t + 3. Let l be n(1). Let u be (9 - l/(-1)) + 3*-1. Does 12 divide (-2)/11 - (u - (-5420)/(-44))?
True
Let v = 377 + 555. Suppose -v = -u - 3*u. Is 8 a factor of u?
False
Does 33 divide (-1000)/96*-4*99?
True
Let q be (-5463)/(-8) - (-21)/168. Let w = 1147 - q. Is 16 a factor of w?
True
Suppose 3*x - 5*p - 108 = -23, p = -5. Is 30 a factor of x/8*118*2?
False
Suppose 15*l = 5*l - 810. Let o be 115 + 0 + 6/3. Let s = l + o. Is 9 a factor of s?
True
Let f = 183 - 166. Does 39 divide (156/(-9))/((136/(-288))/f)?
True
Suppose 40763 = 14*y - 29797. Does 84 divide y?
True
Suppose 0*j - 630 = 5*j. Suppose 4*g + 4*g = -0*g - 1264. Let u = j - g. Is u a multiple of 4?
True
Let z(n) = 53*n**2 + 12*n + 1. Let w be z(5). Let c = w + -561. Does 15 divide c?
True
Let n(x) = -2*x**2 + 12*x - 8. Let b be n(6). Let c be -2*(b - -4 - 108). Is 14 a factor of 3/((-12)/c*-4)?
True
Let c(g) = -78*g**3 + g**2 + g. Let q(y) = y**3 - 5*y - 3. Let h be q(-2). Is c(h) a multiple of 26?
True
Suppose -i - 4*o = -732, 5*i - 2745 - 1015 = 5*o. Suppose -17*u + 680 + i = 0. Does 14 divide u?
True
Suppose 2 = -3*b + b. Let w be (-2)/b + -4 + 0. Does 21 divide ((-258)/4 - 2)*w?
False
Let x(d) = d**3 + 5*d**2 - d - 5. Let p be x(-4). Let h(m) = 0*m + 247 - 234 - p*m. Is 26 a factor of h(-13)?
True
Let l(k) = 229*k + 5. Let b be l(1). Suppose -3 - b = 3*n. Let x = n - -144. Is 13 a factor of x?
True
Let z(i) = -115*i**3 + 2*i**2 - 680*i - 4802. Is 41 a factor of z(-7)?
False
Let j = -10369 - -62255. Is j a multiple of 10?
False
Let r = -20 - -24. Suppose z = -5*c + 6*c + 5, 14 = r*z - 2*c. Suppose 2*k = -3*q + 123, z*k - 4*q + 5*q = 125. Is 26 a factor of k?
False
Suppose -154 = -23*j + 9*j. Suppose -j*r = 5*b - 10*r - 668, -5*r = -15. Does 7 divide b?
True
Let q(k) = 3*k**3 + 4*k**2 + 3*k. Let v be q(-4). Is 13 a factor of (v/3)/(-2*(-5)/(-30))?
False
Is 41 a factor of (-2)/((-6)/6888*(-1)/(-6))?
True
Suppose 3282 = 3*v - 4*l, -3*v + 1398 = 2*l - 1884. Let x = v + -713. Does 10 divide x?
False
Suppose h - 2*h - 2*y = 4, -4*h - 2*y + 14 = 0. Suppose -h*p = -9*p + 6630. Is p/(-40)*(-5 + 1) a multiple of 17?
True
Let f(m) = m**3 + 33*m**2 + 3*m + 96. Let q be f(-33). Is (8 + -109)*(9/q + 1) a multiple of 46?
False
Let b = 105356 - 72716. Does 96 divide b?
True
Let a be (-115)/(-2)*(-1152)/(-20). Suppose 0 = -3*u + a + 1353. Suppose 2*v - 7*v + u = 0. Is v a multiple of 16?
False
Let z(q) = 10*q**3 - 32*q**2 - 47*q + 292. Is 254 a factor of z(14)?
False
Let g(m) = 5*m - 16. Suppose 1487 = 10*r + 427. Let d = r + -81. Is g(d) a multiple of 23?
False
Let r = -1 + 8. Let j be (-8)/3*8/(-96) - (-1750)/63. Let w = j + r. Does 8 divide w?
False
Let u be (-1)/(-2) - (93/(-6) + 8). Does 11 divide ((-8)/6)/(u/(-1560))?
False
Suppose 0 = -2*y, y + 232 = 5*f - 7468. Is 8 a factor of f?
False
Suppose -248035 - 43025 = -18*r - 10*r. Does 132 divide r?
False
Suppose -8 + 80 = -4*m. Is 17 a factor of (-23876)/m - 140/315?
True
Suppose 1811 = 5*k - 729. Suppose -5*a + 2*m + 2405 = 0, 2*a - a + 5*m = k. Does 23 divide a?
True
Let g(r) = 4*r - 12. Let q be g(-10). Let c be (q/10 - -6)*2550/4. Suppose -4*s + c + 238 = 0. Does 21 divide s?
False
Let s = 20148 - 16920. Is s a multiple of 2?
True
Suppose -7*y = 11*y + 56159 - 584621. Does 11 divide y?
True
Let g = 118 - 112. Suppose -20 = 4*t, -g*r + 5*r + t + 265 = 0. Does 26 divide r?
True
Let a = -801 - -811. Suppose -9456 = -26*d + a*d. Is d a multiple of 15?
False
Let l be (-1)/(3/(-82)) + (-5)/15. Let h = -41 + l. Let t = h - -25. Is t a multiple of 11?
True
Let n = 3097 - 577. Is n a multiple of 36?
True
Let r = 33 - 32. Let y(f) = 5*f**3 - 2*f + 1. Let i be y(r). Suppose 5*l + 3*z - 1047 = 0, 1046 = -l + 6*l + i*z. Is 42 a factor of l?
True
Let x = -39260 + 57437. Suppose -24*u - 2577 = -x. Does 24 divide u?
False
Let w = -43 - -134. Let a = 512 - 506. Suppose -i = a*i - w. Is i a multiple of 13?
True
Is 153 a factor of 2450 + 1*(3/1 + (-95)/19)?
True
Let y(k) = -k - 2*k + 2 - 16. Let h(s) = -10*s - 42. Let j(r) = -3*h(r) + 8*y(r). Is 22 a factor of j(16)?
True
Let t(o) = 37*o**2 + 361*o + 36. Is 166 a factor of t(-31)?
True
Suppose 4*i - 9 = 2*s - 1, -i + 3*s - 3 = 0. Suppose 76 = i*l + 25. Suppose 18*t - 242 = l*t. Does 31 divide t?
False
Let x(s) = 32*s - 46. Suppose -2*a - 2*j = -14, 3*a - 2*j + 11 = 37. Does 14 divide x(a)?
True
Let g(q) = 3*q - 5. Let y be g(4). Let j(n) = 0*n**2 + 10 + 11 - 6 + n**2 + y*n. Is j(-7) a multiple of 2?
False
Suppose -5*q = -12077 + 472. Suppose 17*y - q - 127 = 0. Is y a multiple of 9?
True
Suppose 12*v = 5*v - 14. Let d be ((-6)/3)/(v/3). Suppose -2*x = -57 + d. Is x even?
False
Let u = 297 - 292. Let k be (15/10)/(3/176). Suppose 0 = l + 4*l - 3*j - 76, -k = -u*l - j. Is 3 a factor of l?
False
Let a(j) = 13*j - 262. Let t be a(43). Suppose 299*i - t*i = 468. Is 39 a factor of i?
True
Let m = -16637 - -35393. Is m a multiple of 99?
False
Let c = -10170 - -14958. Is c a multiple of 12?
True
Suppose 5*w - 27 = 3*q, 5*w + 14*q + 1 = 10*q. Suppose 0 = -4*x + 3*h - w + 106, 3*x = 3*h + 75. Is x a multiple of 4?
True
Let j(u) = -u**2 - 185*u - 2278. Is 17 a factor of j(-68)?
True
Suppose -8*q + 27 = -5*q. Suppose 0 = -q*b + 1345 - 157. Suppose 4*c - b = 2*c + 3*m, -5*c - 2*m + 349 = 0. Does 21 divide c?
False
Suppose -177132 - 1108748 = 70*p - 240*p. Is p a multiple of 78?
False
Let m(b) = -b**3 - 7*b**2 + 7. Suppose 2*d = -5*o - 70, 2*o - 40 = -4*d - 196. Let k be d/6 + 3/(-9). Is m(k) a multiple of 7?
True
Suppose -d = -4*x - 136, 2*x - 5*d = -3*x - 155. Let k = 163 - x. Is 11 a factor of k?
True
Let d = -62 - -64. Suppose 0 = n + d - 9. Does 11 divide n - -11 - (-2 - 2)?
True
Let a(c) = -7*c - 34. Let m be a(-9). Suppose m = 4*u - 27. Let j = u - 2. Does 12 divide j?
True
Suppose 11*l - 723 - 377 = 0. Suppose 5*d + 60 = v, 3*v + 3*d - l = 2*d. Is 2 a factor of v?
False
Suppose -12 = o - 14. Suppose 0 = -o*j + j + 7. Is 2 a factor of j?
False
Does 73 divide (-37926)/(-5) + 57/(-285)?
False
Let l = -622 - -668. Suppose l*j - 34*j - 25644 = 0. Does 93 divide j?
False
Suppose 0 = 201*b - 113*b - 101*b + 54834. Is b a multiple of 4?
False
Let k be 7/3 + (-4)/(-6). Let s(n) = -k*n**3 - 1 - 8 + 5 + n**3 - 4*n**2 - 6*n. Is 16 a factor of s(-3)?
True
Let u(i) = 40*i**3 - 3*i**2 - 7*i - 11. Let w be u(-2). Let f = 484 + w. Is f a multiple of 5?
True
Let h(o) = 148*o**2 - 9*o - 921. Is h(21) a multiple of 17?
True
Suppose -5*j - 6 = -8*j. Suppose j*x - 556 = 932. Is 59 a factor of x?
False
Suppose 8*k + 23 = 15. Let b(x) = -1010*x**3 - 4*x**2 - 6*x - 2. Does 17 divide b(k)?
False
Let a(z) = z**2 - 5*z + 24. Let q be a(-7). Let j = q + 5. Let c = j - 41. Is 18 a f