Let z(l) = 32*l**3 - l**2 + 2*l - 4. Let k be z(2). Suppose k = 4*w - 0. Suppose -4*v - m + w = -79, 0 = 2*v - 2*m - 66. Is v a multiple of 2?
False
Suppose -362*d - 368*d + 756*d - 531648 = 0. Does 32 divide d?
True
Suppose 3*i = 5*x + 34030, 866*i - 871*i - 3*x + 56694 = 0. Does 105 divide i?
True
Suppose -11*w - 14250 + 25272 = 0. Is 2 a factor of w?
True
Suppose -537067 - 120541 = -89*x - 22682. Is 87 a factor of x?
True
Suppose -4*t = 3*n - 27, n = -2*t - 3*t + 20. Suppose d - c = -2 + 3, 3*c + t = -d. Suppose -2*y + d = -132. Is 33 a factor of y?
True
Let u be (-1)/(4/(-8)*2) - -2. Suppose -2*r = 5 + u. Is ((r - -2) + 1)*(-2 + -18) a multiple of 4?
True
Let w(o) be the first derivative of 3*o**2 - 25*o - 12. Let r be w(13). Suppose 2*i = 3*u + 18, -5*u = 3*i - 3*u - r. Is 15 a factor of i?
True
Let k = -50452 + 79955. Is k a multiple of 11?
False
Suppose -t - 2*z - 3 = 0, 5*t + 2*z + 9 - 2 = 0. Does 19 divide (-10*(-7)/70)/(t/(-127))?
False
Let j(v) = 228*v**2 + 37*v + 211. Does 54 divide j(-7)?
True
Suppose 43*z - 5*k = 42*z + 5165, -4*z + k + 20698 = 0. Is z a multiple of 66?
False
Let w(x) = 18*x - 79. Let s be w(6). Let h = s - -25. Is h a multiple of 3?
True
Let x be 15*((-1 + 2)*2)/(-3). Let l be x/15 + 15548/(-6). Is 17 a factor of (-2)/(-5) - l/45?
False
Let n be 3/((-3)/3 + 0). Let b(o) = 0*o**2 + 54683*o - 4*o**3 - 54684*o - 1 - 6*o**2. Is b(n) a multiple of 18?
False
Suppose -4*z = 3*x - x - 16, 0 = -3*x + z + 31. Let n be x/(1*6*2/6). Is (23/(-2))/(n/(-10)) - 3 a multiple of 14?
False
Let s(d) = 517*d - 3723. Is 37 a factor of s(14)?
True
Let t(d) = 2*d + 53. Let s = 12 + -29. Let f be 2/6 - s/(-51). Is 15 a factor of t(f)?
False
Let f = 3907 - 1784. Is f a multiple of 5?
False
Suppose -21*u + 3*u + 1769 = 43*u. Is 9 a factor of u?
False
Is -20*15/1050 - 425870/(-14) a multiple of 131?
False
Let r be 1 + 18*((-1)/(-2) + 3). Let g = r - 53. Suppose -k + 27 + g = 0. Is k a multiple of 30?
False
Does 48 divide ((-13833)/174)/(6/(-544))?
False
Suppose 3*o - 2*a - 68929 = 0, 5*a + 23768 - 796 = o. Is o a multiple of 23?
True
Let v(u) = 3*u**3 + 18*u**2 + 122*u - 1590. Is v(16) a multiple of 45?
False
Let x(d) = -d + 4. Let t be x(2). Suppose -y + 4*i = y - 462, t*y + 2*i - 468 = 0. Suppose 0 = 9*h - 280 - y. Is 31 a factor of h?
False
Suppose 5*u + 5*b + 250 = 10, 0 = -2*b - 4. Let v = u + 40. Does 13 divide ((-248)/v + 2)/(1/3)?
True
Let b(t) = -t**3 - 7*t**2 - 7*t - 4. Let f be b(-6). Let a be (2 + 24/(-20))*5/f. Suppose -4*x = 4*q - 384, 3*q - 6*x - 260 = -a*x. Is q a multiple of 22?
False
Let g(o) = -o**3 + 33*o**2 - 3*o + 53. Suppose 169 - 235 = -2*p. Let a be g(p). Does 2 divide (-24)/(-60) + a/(-10)?
False
Suppose -5*u + 0*q + 35 = -5*q, -u + 2*q = -11. Is ((-120)/(-28))/(u/70) a multiple of 10?
True
Let b(n) = -6*n - 45. Let d(f) = -f. Let m(p) = -2*b(p) + 6*d(p). Let g(u) = -u - 18. Let z(x) = -11*g(x) - 2*m(x). Is 4 a factor of z(-7)?
False
Let x(w) = 3*w**3 + 13*w**2 - 17*w - 5. Does 19 divide x(8)?
False
Let z be (-147)/(-51) + (-76)/(-68) + -1. Suppose -9*j + 15 = -z. Suppose -10*i = -j*i - 720. Is i a multiple of 18?
True
Let a(k) = -95*k - 1840. Is 124 a factor of a(-31)?
False
Does 176 divide ((-5)/((-50)/1356))/(3 + (-104043)/34760)?
True
Suppose 4*r - 2190 = 3654. Suppose -4*f + f = 5*w - 1090, w + r = 4*f. Suppose 4*i - 298 = l, 4*i = -i + 5*l + f. Does 15 divide i?
True
Suppose -5*v = -2*v - 408. Let r = v - 72. Suppose -3*d = -3*l + 123, -4*l + 216 = -d + r. Is 5 a factor of l?
False
Is 25 a factor of (-6)/123 - 2313549/(-861)?
False
Suppose 343 = 2*v - 69. Suppose -6*l - 445 = -l - 4*q, -4*q = 2*l + v. Is 11 a factor of (-2 - -2)/2 - l?
False
Let a = -23836 - -40560. Does 37 divide a?
True
Let f = -4694 - -9421. Is 85 a factor of f?
False
Suppose -44 = -5*u - 29. Suppose -u*d + 5*d = o + 1101, 1095 = 2*d - 3*o. Suppose 2*i + d = 5*j, -3*j + 193 + 139 = -i. Is 28 a factor of j?
True
Let s = -52 - -37. Let w = -78 - -83. Is -120*(w/s)/(3/18) a multiple of 16?
True
Let z be 2 + 85/15 - 1/(-3). Let l(d) = 2*d**2 + 9*d. Is l(z) a multiple of 25?
True
Suppose 51*i + 106 = 361. Suppose 0 = 10*j - i*j - 3630. Is 22 a factor of j?
True
Let q(a) = a**3 - 19*a**2 + 18*a - 4. Suppose -11*u + 294 - 96 = 0. Let c be q(u). Is 6/10 - (-474)/(-15)*c a multiple of 20?
False
Let u(z) = -19*z**2 - 5*z**3 - 20 + 74*z - 92*z + 6*z**3. Is u(20) a multiple of 3?
False
Is (2223975/(-15))/(-13) + 7 a multiple of 6?
True
Suppose 10899 + 442 = 11*m. Let i = m - 718. Is 43 a factor of i?
False
Let c(m) = 6*m**3 - 5*m**2 + 2*m + 8. Is c(4) a multiple of 9?
False
Suppose 2*k = 5 - 1. Suppose k*w + 3*s = 2*s + 533, -5*w + 2*s + 1328 = 0. Is w a multiple of 3?
False
Suppose -64*g - 351*g - 65*g = -35518560. Is g a multiple of 21?
False
Suppose -304 = -5*r + 3*r + 1556. Is r a multiple of 31?
True
Suppose 3*r + 94*w - 96*w - 3866 = 0, 0 = r - 5*w - 1319. Does 12 divide r?
True
Suppose 9 + 7 = 4*v. Suppose 4*t = -3*u + 283, 2*t - 143 = -7*u + v*u. Is t a multiple of 35?
True
Suppose -2*o = 2*t - 3*o + 2071, -3*t + 3*o - 3108 = 0. Let i = t + 1595. Does 10 divide i?
True
Suppose -59*x - 55776 = -101*x. Is x a multiple of 83?
True
Let a = 11 - -5. Suppose -a = 4*x, -5*x + 16 = -b - b. Is 36 a factor of 9/b + (2 - 171/(-2))?
False
Suppose n = 6 - 1. Let i = -1 + n. Is (-138 - -1)*(3 - i) a multiple of 29?
False
Let i(r) = 11*r + 9. Let m be i(6). Let f be ((-27)/(-15))/(9/m). Is 12 a factor of -1*(-8)/20 - (-414)/f?
False
Suppose w + 3 = -2*w. Let u be 144/w - (3 + -1 - 3). Let i = 254 + u. Is i a multiple of 37?
True
Suppose -3*o + 0*o = -3*r - 10644, 2*r + 2*o = -7112. Let q be r/20 + 5 - (-2)/(-5). Let z = q + 358. Is z a multiple of 15?
False
Let m(l) = 2*l**2 + 18*l - 6. Suppose 0 = -133*j + 152*j + 247. Is m(j) a multiple of 10?
False
Let f(u) = 3*u**3 - 2*u**2 + 2*u - 1. Let i be f(1). Suppose i*a - 10*a = -1248. Is 13 a factor of a?
True
Let v = -18003 - -19071. Does 6 divide v?
True
Let m be ((-416)/39)/(2/(-84)). Let x = m - 437. Is 3 a factor of x?
False
Suppose 2*l + 22 = 5*k - 0*l, -4*l + 34 = 3*k. Suppose 0 = -3*v - k, v + 1508 = 3*y + 3*v. Is y a multiple of 63?
True
Suppose -22*t + 32*t - 2520 = 0. Is 9 a factor of (((-33)/(-4))/3)/(7/t)?
True
Let q(n) = -n**3 + 17*n**2 + 24*n - 107. Let j be q(18). Does 2 divide (j + 1)/(18/(-45)) - -29?
True
Let m = -124 - -146. Let i(c) = 0 - 1 - 2 - 3 + 3*c. Is 32 a factor of i(m)?
False
Let g = 137 - 134. Suppose g*w = 2*r - 567, -3*r - 14*w = -12*w - 831. Is r a multiple of 9?
True
Suppose d + 3*d + 5*c + 2961 = 0, 0 = 4*d + 3*c + 2967. Suppose -5*q - 23 + 8 = 0. Is 15*(q + (d/(-10))/4) a multiple of 13?
True
Suppose -17412 = -9*b - 6306. Suppose b = 9*s + 388. Is s a multiple of 5?
False
Let p be 1/(-5)*2 + (-23274)/90. Let l = p - -522. Suppose 4*x - l = x - 5*k, -2*k = -4*x + 342. Is 8 a factor of x?
False
Does 91 divide 0 + 18/24 + 82974/24?
True
Let c be (0/2)/(1/(-1)). Suppose c = -11*u - 11*u + 4004. Does 14 divide u?
True
Let w be (-1)/(((-2)/(-282))/((-4)/6)). Let n = w + 59. Does 17 divide n?
True
Is (97 - 5231)/((-12)/78) a multiple of 110?
False
Suppose 438 = b - 2*i - 572, 0 = -2*b + 2*i + 2018. Let v = -449 + b. Does 13 divide v?
True
Let o(a) = -1136*a + 194. Is 223 a factor of o(-12)?
True
Let j = -21999 + 66325. Is 37 a factor of j?
True
Suppose 13*x - 23*x = -68970. Is x a multiple of 15?
False
Let q(u) = -440*u**3 - 4*u**2 + 5*u - 2. Let x(s) = -s**3 + s**2 - s. Let n(d) = -q(d) - 6*x(d). Let f be n(1). Suppose -f = -j - 2*j. Is 14 a factor of j?
False
Does 28 divide -223*6*(-16 - 8/(-4))?
True
Suppose 82 = -3*k + 5*f - 183, -350 = 4*k - 5*f. Suppose o + 288 = -u + 3*u, o = -u + 147. Let b = k + u. Is b a multiple of 10?
True
Suppose -29*j - 30*j + 494465 = -338320. Does 72 divide j?
False
Suppose -j = 2*d + 29, 0 = d - j - 0*j + 13. Let p(k) = -k**3 - 12*k**2 + 27*k - 16. Let o be p(d). Does 28 divide (o - 53 - -2)*-1?
False
Suppose 3*r - 1672 = 1271. Let j = r + -603. Is 36 a factor of j?
False
Let p(t) = t**3 - 2*t**2 + 7*t - 10. Let d be 7 - (27/18)/((-2)/(-4)). Let y = 1 + d. Does 25 divide p(y)?
True
Suppose 14*r = -29*r + 2*r + 29520. Is 4 a factor of r?
True
Let z(t) = -t**2 - 40*t - 12. Let j be z(-25). Suppose -15*v - j = -1563. Let r = -44 + v. Is r even?
T