Let k = 32 + s. Suppose 0 = -5*w + k, 3*w = -4*j - j + 753. Is j a multiple of 30?
True
Let l(q) = -2*q**2 - 4*q. Let a be l(5). Suppose -141*b + 69*b - 2002 = -59*b. Let j = a - b. Does 12 divide j?
True
Let t(f) = f**3 + 13*f**2 + 5*f - 20. Let k be 5*(-8)/60*9. Is t(k) a multiple of 2?
True
Let q = 5303 + -3848. Is 10 a factor of q?
False
Let s = 501 - 274. Suppose 0 = s*m - 229*m + 126. Does 18 divide m?
False
Let v(s) = -9*s**2 - 36*s - 42. Let k(a) = 11*a**2 + 34*a + 41. Let i(d) = -4*k(d) - 5*v(d). Is 3 a factor of i(-49)?
True
Let y(m) = -1373*m - 2504. Is y(-17) a multiple of 16?
False
Let r(z) = -z**3 + 15*z**2 + 3*z + 3. Let f be r(8). Let n = 586 - f. Is 25 a factor of n?
False
Is 13 a factor of (-18849864)/(-1056) + (-10)/8?
True
Let h(c) = c**3 - 8*c**2 + 9*c + 6. Let r(n) = -n**3 + 7*n**2 - 7*n - 8. Let s be r(5). Is h(s) a multiple of 10?
True
Suppose -16*y = -h - 19*y + 13251, 53039 = 4*h + 5*y. Does 33 divide h?
True
Suppose -4*q = 2*o + 3360, 2*q = -5*o + 2*o - 5056. Let b = -1185 - o. Let k = -233 + b. Is k a multiple of 45?
True
Let c(k) = -62*k + 122. Let b = -439 + 436. Is 22 a factor of c(b)?
True
Suppose -7 = i + 3*p, 15*i - 18*i + 2*p = -23. Suppose 1172 + 2578 = i*v. Is v a multiple of 9?
False
Let l be (30/(-15))/((-7)/(-5) + -1). Let n be 3 - (l - -1)/(-4). Suppose -28 = -5*i + n*a + 331, -3*i = 4*a - 205. Is i a multiple of 28?
False
Let r(o) = o**3 + 23*o**2 - 38*o - 428. Is 15 a factor of r(-15)?
False
Is 15 a factor of -3 - (2/20 - (-2276647)/(-370))?
True
Let q = -11398 + 37002. Is q a multiple of 31?
False
Suppose 2*r + 181 = -5*v, 0 = r - 3*v - 68 + 175. Let b = r - -108. Is 10 a factor of b?
True
Suppose -8*r + 268 = 5*a - 6*r, 0 = -5*a - r + 269. Is 3 a factor of (a/45)/(6/120)?
True
Let v = -172 + 950. Is 3 a factor of v?
False
Let k(m) = 157*m**2 + 12*m - 104. Does 8 divide k(-6)?
False
Suppose 7*c + 549 = -158. Let n = 218 + c. Is n a multiple of 8?
False
Does 357 divide 3 - (154/(-7) + 29 + (-11007)/1)?
False
Let s = 286 - 282. Suppose -5*u + 4143 = -20*p + 17*p, -s*u = -3*p - 3315. Does 46 divide u?
True
Suppose -10*x - 2*u = -11*x + 3173, -4*u = -4*x + 12668. Is 13 a factor of x?
False
Suppose -25 = 4*k - 5. Let i be -2*(-2 - 5/(-2))*k. Suppose 5*t + 4*o + 6 = 122, 3*t + i*o = 67. Does 4 divide t?
True
Let l(y) be the first derivative of y**3/3 + 3*y**2/2 + 7. Let r be l(-3). Suppose 3*v = 5*h - 238, 191 = -r*h + 4*h - 3*v. Does 14 divide h?
False
Let m(k) = k**2 - 11*k + 2. Suppose -3*w + 8*w - 55 = 0. Let z be m(w). Suppose 0*b + b = -4*l + z, 3*b = l + 19. Is 5 a factor of b?
False
Suppose -14*a + 45 = -5*a. Suppose 3*s = -a*g + 789, -s - 3*g - 1052 = -5*s. Is s a multiple of 16?
False
Let s(b) = 127 - 105 - 3*b + 2*b. Let g be s(15). Let u(p) = 7*p + 13. Is 6 a factor of u(g)?
False
Is 21507/8 + (-831)/2216 a multiple of 84?
True
Let a(o) = -o**3 + 6*o**2 - 11*o - 13. Let q be a(7). Let p = q - -203. Is 8 a factor of p?
True
Suppose -7*d = -8 - 20. Suppose -10*p - 4*h = -5*p - 401, h = -d*p + 312. Is p a multiple of 7?
True
Let k = 18 + -18. Let n(o) = -o**3 + o**2 - o + 2. Let s be n(k). Suppose -100 = -s*y - 0*y. Does 25 divide y?
True
Let g = 64 - 8. Suppose -4*z + 372 = x, -x = z - 37 - g. Suppose 0*n = -n + z. Is 18 a factor of n?
False
Suppose 5384 = 4*g + o, -2*g - 5*o + 3018 = 344. Is 16 a factor of g?
False
Let x(i) = i**3 - 11*i**2 + 14*i - 27. Let r(a) = -6*a + 11. Let k be r(0). Does 67 divide x(k)?
False
Let h be (-1)/(-4 + (-614)/(-154)) - -2. Does 49 divide (-14)/21*h*(-6)/4?
False
Suppose s - 163295 = -4*p, 3*p = 3*s + 133284 - 10809. Is p a multiple of 36?
True
Let t = -476 - -1692. Is t a multiple of 4?
True
Let w = 612 + -444. Suppose 0 = -5*a + 4*a + 170. Suppose -w*q - 62 = -a*q. Is q a multiple of 31?
True
Let p = -147 + 189. Suppose p*j - 1656 = 38*j. Is j a multiple of 18?
True
Let s be (((-12)/8)/3)/((-1)/(-30)). Let u = -11 + s. Let j = 162 - u. Is j a multiple of 40?
False
Suppose -3*b = b, 0 = 3*t + 5*b. Suppose g - 10 = -t*g. Suppose -8*d - 80 = -g*d. Does 9 divide d?
False
Suppose -3767 = 6*b - 9*b - u, -5019 = -4*b - 5*u. Is b a multiple of 8?
True
Suppose 0 = 976*d - 992*d + 122016. Is d a multiple of 82?
True
Let k(b) = -b**3 - b**2 - 12*b. Suppose -13 + 8 = 2*p + 3*n, -2 = 5*p + 4*n. Suppose p*x + 11 = u, 4*u - 7 = -5*x - 2. Does 13 divide k(x)?
False
Let c be ((-6)/18)/((-3)/513). Let o = c - -36. Let t = 233 - o. Is t a multiple of 30?
False
Suppose -2*j = -2*s - 0*s + 960, -3*j - 1420 = s. Let g = j - -689. Is 3 a factor of g?
False
Let f = -416 - -421. Suppose 945 + 122 = 3*p + o, 5*p + f*o = 1785. Is p a multiple of 39?
False
Suppose 0 = -3*a + a + a. Suppose 0 = 18*o - a*o - 864. Is o a multiple of 12?
True
Suppose 0*x - z = 5*x + 34, 5*z = -5*x - 50. Does 13 divide (171/x)/((-39)/338)?
True
Is 39 a factor of (51/4)/(498/166000)?
False
Let n(i) = -4*i**3 - 140*i**2 - 30*i - 83. Is 7 a factor of n(-35)?
False
Suppose 0 = -p + 6*p. Suppose -3*f + 69 + 195 = p. Does 22 divide f?
True
Let j(v) = -41*v + 5. Let b = 4 + 6. Suppose 37*g - 42*g - b = 0. Is j(g) a multiple of 9?
False
Let y = -33 + 37. Suppose -218 = -y*f + 554. Suppose -10*t = -77 - f. Is 18 a factor of t?
False
Let j be (1 + -36)*8/20*3. Let a = -40 - j. Is a a multiple of 2?
True
Let c(m) = 27*m**2 + 28*m + 3. Let h = -163 - -158. Is 36 a factor of c(h)?
False
Suppose 1845 = -3*h + 5*k, 2*h - 4*k - 2492 = 6*h. Let c = h + 800. Is c a multiple of 10?
True
Let a = 5720 + -2810. Is a a multiple of 12?
False
Let m be (-5 + -1)*(-5)/(75/610). Let c = m + -20. Does 5 divide c?
False
Let r(c) = 2*c**3 + 25*c**2 + 4*c + 2. Let h be r(-12). Is 49 a factor of 1/2*(-16)/(-8)*h?
True
Let h(i) = -5*i**2 + 2*i - 10. Let n be (-32)/128 - 33/(-4). Let g(y) = 14*y**2 - 7*y + 29. Let a(d) = n*h(d) + 3*g(d). Does 5 divide a(-4)?
False
Let q(m) = 3*m**2 - 2*m. Let c be q(-1). Suppose 11 = 3*b - c*v, -4*b - 3*v + 0 = -5. Suppose 0 = 3*f + 2*y - 56, 4*f + b*y - 74 = -y. Does 20 divide f?
True
Let s = -79 + 10. Let r = s - -92. Let y = 54 + r. Does 11 divide y?
True
Suppose 78683 = -52*i + 303271. Is 11 a factor of i?
False
Let b(c) = -19 + 1 + 37*c - 30*c. Does 10 divide b(4)?
True
Suppose 5*l - 17 = 3*z, z + l + 0*l + 3 = 0. Let j be z/6 + 78/9. Is (j - (4 + -5))*14 a multiple of 21?
True
Let v be (-1)/(-3)*(1 + -1). Suppose 6*y + y - 1008 = v. Suppose -3*d + y = 3*d. Does 24 divide d?
True
Let n(g) = 149*g - 15. Let f be n(3). Suppose 102*h - f = 98*h. Is h a multiple of 21?
False
Let y(n) = -3*n + 102. Let t be y(23). Let k = t - -590. Is k a multiple of 51?
False
Let d(j) = j + 14. Let z be d(-10). Suppose -3*a - p = 2*p, -z*a - 3*p = -3. Suppose -15 = -5*u, a*t + 4*u - 266 = -62. Is 37 a factor of t?
False
Suppose -2*l - 2*q + 73 = 3*l, -2*q - 57 = -5*l. Suppose -9 = 11*h + l. Does 22 divide (-2)/h*534/2?
False
Let f(v) = -v**2 + 11*v + 40. Let g be f(13). Suppose 19*t = 3*d + g*t - 515, 0 = -5*t + 25. Is d a multiple of 30?
True
Let p(n) be the first derivative of n**4/4 + 4*n**3 - 6*n**2 + 38*n + 184. Does 12 divide p(-11)?
False
Suppose -5*t = 82*h - 86*h + 23929, 2*t = 2*h - 11962. Is 36 a factor of h?
True
Suppose 0 = 6*j - 13*j + 2*j. Let h(y) = -y**2 - y - 1. Let u be h(j). Let n(d) = -80*d**3 - d**2 - 6*d - 5. Does 3 divide n(u)?
False
Suppose -25*v - 173448 = -49*v. Does 36 divide v?
False
Suppose 0 = 18*m - 28177 - 34553. Suppose 29*i = 34*i - m. Is i a multiple of 12?
False
Let z = 55 - 37. Let l be z*-2*(-1 - 12/(-16)). Is (2 - 204/l)*6/(-4) a multiple of 13?
False
Let n be (-2*(-1509)/(-24))/((-2)/8). Let k = -269 + n. Is k a multiple of 26?
True
Let d be (56 + -53)*(-4)/30*125. Suppose 0 = u - 12 + 62. Is 2 a factor of ((-10)/u)/((-2)/d)?
False
Let k(q) = q**2 + 7*q - 80. Let w be k(6). Let i(s) = -104*s**3 - s**2 - 4*s + 4. Is 35 a factor of i(w)?
True
Let m = -319 + 335. Let v(n) = -n**2 + 18*n + 4. Does 12 divide v(m)?
True
Let a be ((-10)/(-300)*15)/((-1)/(-16)). Suppose -3483 = -17*r + a*r. Does 20 divide r?
False
Suppose -30*g + 26*g = -400. Suppose -g = 3*d - 628. Is 8 a factor of d?
True
Let j(p) = -83*p - 946. Let g be j(-11). Suppose -4*s = -225 - 159. Let k = s + g. Does 21 divide k?
True
Let x be -1 + 135 - ((-22 - -14) + 16). Let g be 4/16 - 277/4. Let r = g + x. Is 19 a factor of 