= q. Suppose -n = 3*h - w*h - 46, 92 = 2*n + 5*h. Does 7 divide n?
False
Let l(j) = j**3 - 14*j**2 + 7*j + 152. Let h be l(13). Suppose -64*y - 2460 = -h*y. Is y a multiple of 12?
False
Let x = 42 + -42. Let t(z) = 2*z**3 + 3*z**2 + z + 9. Is 6 a factor of t(x)?
False
Suppose 0 = 3*y - 14 - 7. Suppose -3*j + y*j + 20 = 0. Is 11 a factor of ((-22)/j)/(5/25)?
True
Suppose -6*w - 16070 = w - 43741. Is 59 a factor of w?
True
Let z be ((-10)/(-12))/((68/264)/17). Let c(h) = h**2 + 5*h + 7. Let q be c(-4). Is 21 a factor of q/((-3)/4)*z/(-4)?
False
Let z(n) = n**3 + 6*n**2 - 2*n - 7. Let r be z(-6). Let f be ((-2)/(-2))/(6/(-24)) + 6. Suppose -39 = f*a - r*a. Is 3 a factor of a?
False
Suppose 14*s - 18 = 10. Suppose 3*z - 580 = -s*t + 6*z, 5*t - 1469 = -2*z. Suppose -107 = 3*m - t. Does 5 divide m?
False
Let a = -126 + 421. Let z = a + -172. Let j = 154 - z. Does 6 divide j?
False
Let k be ((-3)/(-5))/((-12)/(-240)). Let a(r) = -4*r - 6 + 0*r - r**3 + 0 + 10 + k*r**2. Does 28 divide a(6)?
True
Let p = 12027 - 18. Does 21 divide p?
False
Let w = -29749 - -34519. Is w a multiple of 53?
True
Let j be (-6)/8*-2*2. Suppose -2*o + 4*x + 210 = 0, 236 + 289 = 5*o + j*x. Is o a multiple of 8?
False
Let k = 33 - 28. Suppose 0 = -k*y - 51 - 9. Does 13 divide (-8)/y*39/2?
True
Is 32 a factor of 68290/25 + 7*22/385?
False
Suppose -9*j + j = -0*j. Suppose j = f - 5*f - y + 1101, -f - 2*y = -270. Is 30 a factor of f?
False
Let r(x) = x**2 + 508*x + 1332. Is r(0) a multiple of 9?
True
Suppose 210 = -10*m + 820. Suppose 56*c = m*c - 4*w - 4330, -c = 3*w - 885. Is c a multiple of 58?
True
Let s(q) = 3*q**2 - 13*q - 9. Let i(m) = 2*m**2 + 18*m + 8. Let h be i(-8). Is 3 a factor of s(h)?
False
Is (-120)/(20 + -5)*(-233)/4 a multiple of 26?
False
Let j = -9590 - -16090. Is j a multiple of 26?
True
Let j = 324 + 193. Is 1/((1/j)/1) a multiple of 11?
True
Let n(j) = 5*j**3 - 4*j**2 - 23*j - 56. Is n(9) a multiple of 4?
False
Does 128 divide 4375 + -8 - 45/3?
True
Let n = -56 - -58. Let x be (3 - -1*n) + (10 - 10). Suppose m + d + 151 = 5*m, x*d + 33 = m. Is 11 a factor of m?
False
Suppose 51 = -2*j + 63. Suppose j*p - 4352 = -10*p. Is 34 a factor of p?
True
Let u(d) = 68*d + 10. Let s be u(1). Let j = s - -9. Is 29 a factor of j?
True
Let v(a) be the third derivative of -a**4/2 + 617*a**3/6 + 85*a**2. Does 45 divide v(0)?
False
Let w = -4135 - -4465. Does 5 divide w?
True
Suppose 4*j - 244 = 588. Let f(v) = 5*v**2 - 4*v + 18. Let a be f(-7). Let u = a - j. Does 10 divide u?
False
Let y(n) be the third derivative of n**6/120 + 7*n**5/30 - 35*n**4/24 + 2*n**3 + 16*n**2. Let i be y(-16). Suppose 6*o = 3*o + i. Does 4 divide o?
True
Suppose -233*k = -291*k + 425256. Is k a multiple of 94?
True
Let p(x) = 171*x**2 - 22*x + 519. Is p(-13) a multiple of 316?
True
Let s = -7 - -12. Suppose -2*z + 27 = s*c + z, -c - 4*z + 19 = 0. Suppose -j + u + 59 = 0, -c*j - 4*u = -j - 106. Is j a multiple of 21?
False
Let x(z) = 1023*z + 135. Is x(0) a multiple of 6?
False
Let w = 242 + -344. Is (-1212)/w - (-10)/85 a multiple of 2?
True
Let v be (-399)/76*(-8)/6. Suppose 0 = v*m + 236 - 2973. Does 17 divide m?
True
Let x(w) = -w - 16. Let o be x(-8). Let f be ((-2)/o)/(-2*4/(-128)). Suppose f*g = -3*m + 748, -g + 3*m + 31 = -156. Is 33 a factor of g?
False
Let o(n) = 890*n + 16. Let r be o(4). Let p = 2140 - r. Is p/(-12) - (-3)/9 a multiple of 30?
True
Let h = -4391 + 8939. Is 12 a factor of h?
True
Let p be 12/(-126) + 20/210. Is 10 a factor of p/(-12) - (1 - 109)?
False
Let y(q) = -320*q - 32. Let x be y(-1). Suppose -4*p + 3*d = -528, -119 - x = -3*p + 5*d. Is 43 a factor of p?
True
Let s(v) = -53*v**3 - 2*v**2 + 87*v + 490. Does 4 divide s(-6)?
True
Does 30 divide ((6 + -5)*-2833)/(-1)?
False
Let j(q) be the first derivative of -q**4/6 - 7*q**3/3 + 7*q**2/2 + 14*q + 6. Let n(r) be the first derivative of j(r). Does 3 divide n(-7)?
False
Let q = -72 + -550. Let d = q + 1163. Does 13 divide d?
False
Let g(s) = 2216*s**3 - s**2 - 3*s + 2. Let c be g(1). Suppose 12*o - c = -6*o. Does 9 divide o?
False
Let d be 4 + 4 + -9 - 13/1. Is 10 a factor of 5 - 1 - (d + (8 - 5))?
False
Suppose 4*p + 1 = a + 2, 2*p = -3*a - 17. Is 2164/((17 + a)/6) a multiple of 75?
False
Let h(y) be the second derivative of -11*y**6/180 - y**5/24 - 3*y**4/4 + 35*y. Let r(q) be the third derivative of h(q). Does 6 divide r(-2)?
False
Let q(x) = 37*x + 4909. Does 8 divide q(-30)?
False
Suppose -471 - 77 = -4*i. Let d = 404 - i. Is d a multiple of 15?
False
Suppose 60 = -7*a - 3. Let l = a + -1. Is 3 - (-4 - l)*-17 a multiple of 21?
True
Let j(l) = l**2 - 6*l + 5. Let d be j(5). Suppose -37*c + 35*c + 80 = d. Suppose v + 8 = -5*q, -2*v + 7*v + 5*q = c. Does 4 divide v?
True
Let j be (-1157754)/(-234) - (-2)/6. Let x = -3508 + j. Is x a multiple of 9?
True
Let q = 5295 - -200. Is 35 a factor of q?
True
Suppose -56656 = 104*g - 163360. Is 38 a factor of g?
True
Suppose 4251 + 39 = 11*s. Does 13 divide s?
True
Let y = 1083 + -144. Is y a multiple of 5?
False
Is (6/(-15)*2 - (-6247192)/140) + 2 a multiple of 16?
True
Let z(c) = 74*c**2 - 578*c - 1156. Is 4 a factor of z(-2)?
True
Is (-1163)/(((-6)/(-3))/(-20)) + 1 a multiple of 21?
False
Suppose -35*b + o + 5 = -33*b, -3*b = -5*o - 11. Suppose 2*c = b*m + 3*m - 3729, c - 743 = -m. Is m a multiple of 110?
False
Suppose -165 = -4*y + 5*o + 180, 3*y - 4*o = 258. Suppose -106*z + 5040 = -y*z. Is 21 a factor of z?
True
Let k(t) = 24 - 1023*t + 11 - 25*t**2 + 1000*t - 3*t**3 + 2*t**3. Let g be k(-24). Is 3 a factor of (g*3/9)/((-3)/(-9))?
False
Suppose -27 = -2874*f + 2865*f. Let t be (4/5)/((-4)/(-3310)). Suppose -f*o + t = 5*b, -3*b + 2 = -1. Does 25 divide o?
False
Let w = -1540 + 4732. Suppose -4*l - 4191 = -3*s, 2*s + l + 409 = w. Is s a multiple of 40?
False
Suppose -532867 = -42*x - 53941. Does 32 divide x?
False
Let b(n) = -28*n + 49*n - 28*n - 2 - 15 + n**3 + 13*n**2 - 2*n**3. Is b(7) a multiple of 19?
True
Suppose 493702 + 663218 = 60*w. Does 17 divide w/14 - (-38)/(-133)?
True
Suppose 6*c - 7*c + 7*c = 85068. Is c a multiple of 139?
True
Suppose -3*k = -4 - 5. Suppose -k*a - 8 = -2, 1 = r + a. Suppose 3*y - 65 = -3*u - 17, 5*y - 80 = r*u. Is 4 a factor of y?
True
Suppose -9*x + 52 = 70. Is 141*x/(-3) - 3 a multiple of 10?
False
Let g(l) = l**2 + 14*l + 426. Is 7 a factor of g(-36)?
True
Let n(i) = -795*i**3 - 13*i**2 - 61*i - 60. Does 26 divide n(-2)?
True
Let h(r) = 149*r**2 + 541*r - 3686. Does 60 divide h(7)?
False
Let q(v) = -4*v - 28. Let l(o) = -4*o - 27. Let r(x) = -6*l(x) + 5*q(x). Let y be r(-5). Is 53 a factor of 4025/15 - 4 - y/(-3)?
True
Let x(g) = g**3 - 2*g**2 - g - 6. Let v be x(3). Suppose -2*j + 3*r + 19 = -6, -5*j + r + 30 = v. Suppose -3*l + j - 14 = 0, 4*l = 3*c - 27. Does 5 divide c?
True
Let r(w) = -81*w + 68. Let y be r(-3). Suppose 5*d - 5*h = 590, -5*d + 4*h + 275 = -y. Does 20 divide d?
False
Is (53 - 3)/((-2)/(-293)) a multiple of 39?
False
Let z = 917 + -909. Is 3 a factor of ((-60)/z*2)/((-3)/15)?
True
Suppose -7*b = 94 - 178. Suppose -1498 - 1202 = -b*o. Is o a multiple of 45?
True
Let t(h) = 2*h**3 + 9*h**2 - 5*h + 2. Let y be t(-5). Suppose 3*v + 9 = n, y*n + v + 0 = 4. Does 8 divide 4/(-1 + -1) + 64 + n?
False
Let p = -190 + 192. Suppose r - 129 = -p*a, -2*r + 94 = 5*a - 163. Is r a multiple of 18?
False
Let u(d) = 20*d**2 + 9. Let x be ((-1)/((-4)/(-6)))/(25/(-50)). Is 27 a factor of u(x)?
True
Suppose -380*b + 407*b = 174474. Does 46 divide b?
False
Is 28 a factor of (-2)/11 - 5090930/(-715)?
False
Suppose 5*v = -4*r + 14 - 210, 0 = -5*v - 5*r - 195. Let q = v - -54. Is 2 a factor of q?
True
Let b(s) = -2*s**3 + 10*s**2 + 140*s - 33. Let q(p) = -p**3 + 5*p**2 + 70*p - 17. Let n(a) = -3*b(a) + 5*q(a). Is n(14) a multiple of 21?
True
Suppose 0 = -5*o + 71253 + 40513 - 28171. Does 27 divide o?
False
Let j be 450 - 4 - (-10 + 6). Is ((-26)/(-4) + 0)/(3/j) a multiple of 51?
False
Let w(x) = 90*x**2 + 333*x - 3022. Is 21 a factor of w(9)?
False
Let t(y) = -47*y + 1056. Does 6 divide t(-9)?
False
Let a(o) be the third derivative of o**6/120 - 8*o**5/15 + 3*o**4/2 + 25*o**3/6 + 66*o**2. Is 19 a factor of a(31)?
False
Does 34 divide (-428978)/(-286) - (-2)/26?
False
Let z(t) = -2*t + 2*t - 312 + 304 + 24*t**2. Does 26 divide z(3)?
True
Let 