*k - 824 = -h. Suppose 2*i + b - 526 = 0, 44 - h = -3*i - b. Is i a multiple of 18?
False
Let g(j) = 3*j**2 - 16*j - 2117. Is 52 a factor of g(52)?
False
Suppose 0 = 3*k + 2*y - 6, -3*k - k + 3*y - 9 = 0. Suppose -3*s + k*s = 0. Suppose -7*j + s*j + 2429 = 0. Is j a multiple of 40?
False
Let a be (2 - (-9)/(-4)) + (-287)/(-28). Let j be (28/35)/(4/a). Suppose r + 61 = 5*v, -j*r + 0*r - 26 = -2*v. Is v a multiple of 3?
True
Let x be (-4 + 6 + 4)/2. Suppose 2*g + 3*t = g + 6, 0 = x*t - 9. Let n(m) = 5*m**2 + 6*m + 2. Is 5 a factor of n(g)?
False
Let o(y) = -125*y**2 - 49*y - 112. Let s(c) = 31*c**2 + 12*c + 28. Let l(t) = -6*o(t) - 22*s(t). Is 3 a factor of l(-2)?
False
Let j(x) = x**3 + 89*x**2 - 141*x - 544. Is j(-88) a multiple of 12?
True
Suppose 5*k + 5*u = 1805, 36*u - 41*u + 1081 = 3*k. Is k a multiple of 5?
False
Suppose 3810234 - 988862 = 61*w. Does 68 divide w?
False
Suppose -15*g + 2 = -14*g. Let l be (-16)/(-4)*g/8*406. Is 10 a factor of (-9)/3*l/(-21)?
False
Suppose 20 = 5*a, -2*x - 6*a + 5*a = -8. Suppose -l + y - 2*y + 683 = 0, l + x*y - 682 = 0. Does 30 divide (1/(-3)*4)/((-8)/l)?
False
Suppose 5*p + 3*g - 20 = 8*g, -3*p - 3*g = 12. Suppose 15*x - 22*x + 3367 = p. Is x a multiple of 13?
True
Suppose -111*g + 269409 + 591618 = 0. Is g a multiple of 23?
False
Let r be ((-20)/30)/(8/24). Let d = -2 - -6. Is 3 + r + d/(-2) - -19 a multiple of 2?
True
Let y be (-2)/5 + 24/10. Let t = -2310 + 2390. Suppose y*g = -2*g + t. Is g a multiple of 20?
True
Suppose 3*g + 24*g - 19*g - 245496 = 0. Is 53 a factor of g?
True
Suppose 0 = 5*v - r - 242420, -2*v + 48480 = -5*r - 48488. Is v a multiple of 102?
False
Let j = 249 - 111. Suppose -2*u + 723 = -3*y, j + 344 = -2*y + u. Let t = 373 + y. Does 34 divide t?
False
Let x be (-45)/(-10)*(-12)/27. Is ((-63)/x)/((-15)/(-200)) a multiple of 15?
True
Let y = 87 + -71. Suppose 13*i - y*i = -486. Suppose 0*t = -6*t + i. Does 3 divide t?
True
Suppose 13460 + 28720 = 38*n. Does 30 divide n?
True
Suppose 2*q + 0*p + p - 5 = 0, -4*p = -4*q - 8. Suppose -s + q = -j, 18 = 3*j + 5*s - 3. Suppose -j*x - 208 = -4*x. Is 13 a factor of x?
True
Let i(c) be the second derivative of c**3 + 16*c**2 + 28*c. Let x be i(-5). Suppose 0 = -x*d + 82 - 18. Is 4 a factor of d?
True
Let i = -2124 - -3888. Suppose 5*l + 1764 = 2*h, 0 = -h - h - l + i. Is h a multiple of 49?
True
Let z be ((-104)/18 - -6) + 6962/18. Let x = 411 - z. Is 12 a factor of x?
True
Suppose -5*f - 2603 = 3*c, -3*f + 4*c = -0*f + 1556. Let i = 614 + f. Is i a multiple of 8?
False
Let p(v) = -v**3 - 10*v**2 + 24*v - 11. Let l be p(-12). Is 18*(1056/(-18))/l a multiple of 20?
False
Let p(g) = 8*g + 7. Let n(q) = 145*q + 125. Let h(d) = 6*n(d) - 110*p(d). Let o be h(-6). Suppose 2*f + o = -c + 128, -3*c - 2*f = -248. Is c a multiple of 12?
False
Suppose -2*p = -d - 183, -3*p + 0*d = -3*d - 282. Let a = p + -85. Does 7 divide (17 + (0 - 12/a))/2?
True
Let m(w) be the third derivative of 7*w**5/30 + 7*w**4/12 + 17*w**3/6 + w**2. Let a(q) be the first derivative of m(q). Is a(7) a multiple of 22?
False
Let u(m) = -63*m - 1475. Let c be u(0). Is 82 a factor of (-2 + c + 1)*-1?
True
Let w be (-17 - -1)/((-2)/3). Let r = 846 + -837. Does 9 divide 3/r*9 + w?
True
Suppose 4137 + 6385 = 5*j + 2*u, -8412 = -4*j + 4*u. Does 56 divide j?
False
Suppose -3*p + 5 = -2*p. Suppose 3*d - 2 = 2*t, t + 2*t + 2 = p*d. Is 8 a factor of 1/t + 1*(-490)/(-8)?
False
Let l = 378 + 4575. Does 12 divide l?
False
Let o = 544 + -502. Does 39 divide ((o - 1) + 1)*1599/82?
True
Let s(u) = 125*u**2 - 4*u - 3. Let f be s(-1). Suppose -3*b - f = 3*b. Is (-3)/(-21) - 1509/b a multiple of 18?
True
Let v = 56 + -51. Suppose v*i - i - 8 = 0. Is (-9)/((6/(-9))/i) a multiple of 6?
False
Suppose -5*a + 12122 = 4*b - 0*a, -4*b + 4*a = -12068. Is b a multiple of 13?
False
Let j be 1924*(30/90)/((-4)/(-6)). Let a = j + -686. Is 19 a factor of a?
False
Let i be (-3)/(-9) + (-326)/(-3). Let j = i - 20. Let m = -54 + j. Does 9 divide m?
False
Suppose 178*t = 106917 + 90031 + 34808. Is t a multiple of 6?
True
Let r = -191 + 290. Suppose 0 = 91*l - r*l + 4800. Is 6 a factor of l?
True
Let j(t) be the first derivative of t**4/4 + 7*t**3/3 - 10*t**2 + 4*t + 185. Does 21 divide j(-7)?
False
Suppose 9*v - 27656 = 2098. Is 57 a factor of v?
True
Let c(m) = -5*m**3 - 9*m**2 + 2*m + 15. Let h(s) = 4*s**3 + 9*s**2 - s - 14. Let f(r) = -3*c(r) - 4*h(r). Let i be f(-8). Let y = 57 + i. Is y a multiple of 10?
True
Let w(q) = 34*q**2 - 54*q + 341. Is w(-38) a multiple of 65?
False
Let j(z) = 291*z - 4823. Is j(57) a multiple of 60?
False
Suppose 5*d + 4 = 2*t + 17, 6 = -2*d - 2*t. Let r be 2 + 1 + (-9 - -1) + d. Let x(u) = u**3 + 3*u**2 - 9*u + 3. Is 4 a factor of x(r)?
False
Let m(o) = -o**3 - 16*o**2 + 19*o - 11. Let c be m(-18). Let d = c + -175. Suppose d = 6*f - 2*f. Does 8 divide f?
False
Let f = 431 + -430. Does 7 divide -1183*f/(-4) + 8/32?
False
Suppose -96*c - 18265 + 84171 = -9166. Does 46 divide c?
True
Let x = -292 - -492. Suppose -s + x = -130. Is 22 a factor of s?
True
Let m(h) = -7*h**2 - 16*h - 26. Let c be m(-14). Does 51 divide 1 - c - 20/10?
True
Let n(g) = 3*g + 26. Let q be n(-7). Let r be (q - (25 + -4))*(-1 + 0). Is 4 a factor of (r - (7 + (1 - 5))) + 3?
True
Suppose 0 = -3446*q + 3398*q + 401520. Does 239 divide q?
True
Let n = -978 + 7478. Does 52 divide n?
True
Let m = -392 - -392. Suppose 3*y - 12*y + 4653 = m. Does 47 divide y?
True
Let y(s) = s - 1. Let h(v) = 27*v + 2. Let l(r) = 3*h(r) - 6*y(r). Is 73 a factor of l(3)?
False
Let h(k) = 2*k**3 - 183*k**2 - 191*k - 264. Does 9 divide h(93)?
True
Let k(f) = -182*f - 117. Suppose 179*w - 192*w = 78. Does 39 divide k(w)?
True
Let n be ((20/(-15))/(-2))/((-4)/(-30)). Is 5 a factor of (n/(-2))/(2/(-164))?
True
Let k(j) be the second derivative of 5*j**4 - 7*j**3/6 + 9*j**2/2 + 34*j. Let v be k(2). Suppose -101 - v = -6*c. Is c a multiple of 8?
True
Let t be 15/12*(-8)/(-5). Suppose 0 = t*a - 3*a + 108. Is a a multiple of 6?
True
Let p(g) = -318*g - 3330. Does 14 divide p(-18)?
True
Let h(t) = 653*t + 459. Let w be h(12). Suppose 0 = n - 16*n + w. Is 7 a factor of n?
True
Let z = 2946 - 663. Is z a multiple of 29?
False
Let c = 885 + -879. Suppose -2*v - 1884 = -5*u, 0 = c*u - 5*u + 2*v - 372. Is 16 a factor of u?
False
Suppose -3*f - 2*o = 1, 5*o + 2 = -3*f - 5. Is f*(-5 - 68)*-3 + 5 a multiple of 25?
False
Suppose 0 = 106*h - 7*h - 402930. Is h a multiple of 22?
True
Let o(i) = 11*i**2 - 30*i - 11. Let v be o(6). Let h be (-4)/(-14) - (-2)/(-7). Suppose j = 4*t - 150 - v, j + 3 = h. Does 27 divide t?
False
Let m(n) = n**3 + 6*n**2 + 8*n - 7. Let o be m(-4). Let w(g) = -3*g**3 - 15*g**2 + 3*g + 20. Does 16 divide w(o)?
False
Let c = 885 - 302. Suppose 46*z - 1172 = -2*b + 48*z, -4*z = -b + c. Is 15 a factor of b?
False
Let l(y) = -y**3 + 22*y**2 - 38*y + 20. Suppose 64 = 3*m - q, 40 = 3*m - 62*q + 67*q. Is 6 a factor of l(m)?
True
Is (-491)/(4/14 + (-4653)/13860) a multiple of 7?
False
Suppose 129148 + 192852 = -3*x + 73*x. Is x a multiple of 200?
True
Let y = -2594 - -6729. Suppose 0 = -2*s - 3*s - 3*p + y, 1670 = 2*s - 2*p. Is 58 a factor of s?
False
Is (22 + 2010)/(14/175) a multiple of 30?
False
Let o(r) = -2*r**3 - 6*r**2 - 4*r + 2. Let t be o(-4). Does 10 divide 2/(-5) - (-10570)/t?
False
Let k(w) be the third derivative of 19*w**4/4 + 47*w**3/6 - 267*w**2. Is 19 a factor of k(15)?
False
Suppose -419 = 5*x - 4*c, -5*c + 170 = -2*x - 4*c. Let z = 117 - x. Does 23 divide z?
False
Let i(o) = -5 - 15*o + o + 28 + 2*o**3 + o**2 + 2 + 0*o**3. Is i(8) a multiple of 77?
True
Let v = 955 - 403. Let q = -56 + v. Is q a multiple of 13?
False
Let j = 19691 - 9371. Is j a multiple of 48?
True
Let r(f) = 0*f + 2*f + 124 - 3*f - 125 + 42*f**2. Suppose -4*d - 1 = 5*z, -3*z - 6 = 2*d - 5*d. Does 3 divide r(d)?
False
Let m = -123 + 126. Let n(v) = 2*v**3 + 7 - v**3 - 6*v**2 - v**3 - v**m - v. Is 2 a factor of n(-6)?
False
Suppose 4*k + 457*c = 452*c + 12735, -12711 = -4*k + 3*c. Is k a multiple of 30?
True
Let w(i) = i**3 + 15*i**2 + 14*i + 4. Let y be w(-14). Suppose -y*n + 59 = 3*r, -5*r + 4*n + 145 = -n. Does 2 divide r?
False
Suppose -190*q + 535968 + 469421 = -564201. Is 88 a factor of q?
False
Suppose i - 11 = o, -4*i = 4*o - 26 + 14. Is 24 a 