/((-110)/(-140) + (-2)/7). Let s(g) = 20*g**2 - g. Let c(o) = w*i(o) + 14*s(o). Is c(-2) a multiple of 30?
True
Let z(i) = -4*i**3 + 0*i + 0 + 3 + 3*i + 3. Let m be z(-3). Suppose -7*c = -m - 231. Does 12 divide c?
True
Let s(m) = -m**3 + 7*m**2 + m - 16. Let t(h) = 2*h**2 - h - 1. Let l(c) = -s(c) + 6*t(c). Is l(6) a multiple of 13?
True
Suppose -149 + 143 = -2*i. Suppose -3*x + 86 = 5*r, 0*r = i*r + 4*x - 45. Suppose -17*h = -r*h + 392. Is 14 a factor of h?
True
Let b be (-24)/18 + (24969/9 - 1). Suppose b = 596*t - 589*t. Is t a multiple of 7?
False
Let l(n) = -5*n**3 + 5*n**2 + 13*n + 27. Let b be l(7). Let g = b - -1957. Does 25 divide g?
False
Is 39 a factor of (-12)/(-1 - -49) + ((-3159)/12)/(-1)?
False
Suppose u + 2*v = 304 - 42, 0 = -v - 4. Does 9 divide (u/12)/((-3)/(-18))?
True
Let b(x) be the first derivative of 22*x**3/3 - 29*x**2 + 18*x + 40. Is 33 a factor of b(6)?
True
Let l(p) = 5*p + 26. Let t be l(-4). Suppose 51 = t*m - 3*m. Let f(z) = -z**2 + 23*z - 42. Is f(m) a multiple of 28?
False
Let r = 34 - 28. Suppose x - r*x = -25. Suppose -2*z + x = -1, -5*y + 5*z = -1420. Is 58 a factor of y?
False
Suppose -4*v - 85668 = -4*x, -x - 2*v + 21429 = -7*v. Does 166 divide x?
True
Suppose -52*i = -42*i + 60. Does 10 divide (-6)/(-108)*i*-3*179?
False
Let i = 2397 - -4409. Is i a multiple of 166?
True
Let c(s) = s**3 + 8*s**2 + 6*s - 1. Let p(k) = -k**2 + 1. Let b(u) = -c(u) - 3*p(u). Let j be b(-5). Suppose 3*w - 73 + j = 0. Is w a multiple of 5?
True
Let w(b) = 9*b**3 - 2*b**2 - b + 2. Let z be w(2). Suppose z + 40 = 2*n. Is 2 a factor of n?
True
Suppose 5*u - 18 = -48. Let r be ((-6)/(-9))/(4/u) - -1. Suppose r = -i + 5*x + 68, 5*x - x = 16. Is i a multiple of 6?
False
Suppose 1639 = 35*f - 601. Suppose -w - 5*x - 33 = -3*w, 0 = -w - 3*x + 44. Suppose 0 = -g + 2*y + w, 4*g - 2*g = -2*y + f. Is g a multiple of 6?
False
Let y = 1 + 60. Suppose -64*w + y*w + 645 = 0. Is w a multiple of 19?
False
Let j(m) = -22*m - 20. Let g be j(-1). Suppose -3*n = -x - 595, -g*n + 229 + 185 = -5*x. Is 26 a factor of n?
False
Suppose -2*u - 4*z + 235 = -1017, 3*u = -4*z + 1870. Is u a multiple of 6?
True
Let k(u) = 23*u**2 + 32*u - 99. Is 9 a factor of k(8)?
True
Let i(t) = -t**3 - 10*t**2 + 17*t - 8. Let r be i(-11). Let s = 662 + r. Does 49 divide s?
True
Suppose 0 = -6*y + y - 4*x + 30552, 0 = 5*x + 10. Is 32 a factor of y?
True
Let m = 16446 - 4056. Does 295 divide m?
True
Let k be (112/(-21) - -5) + (-262)/(-3). Let f = k + 191. Suppose -5*n = -8*n - 4*m + 275, -m + f = 3*n. Does 35 divide n?
False
Let h = 28556 + -21356. Does 72 divide h?
True
Suppose -42*x = 12*x + 11*x - 1063530. Is x a multiple of 313?
False
Suppose 0 = 4*o - 7*o + 5*n + 560, 0 = -n - 4. Suppose 70*g - 76*g = -o. Does 9 divide g?
False
Let d(c) = -588*c + 214. Does 20 divide d(-3)?
False
Is (-23)/(23/(-4)) + 3578 a multiple of 116?
False
Let y = -26 - -28. Let j(l) = l**3 - 4*l**2 + 6*l - 2. Let u be j(y). Suppose -4*z + c + 13 + 174 = 0, -u*c + 202 = 4*z. Does 24 divide z?
True
Let p = -1832 + 2227. Is p a multiple of 2?
False
Suppose 8*y - 44252 = -5*y. Suppose -a + y = 22*a. Does 17 divide a?
False
Let l(u) = 5*u - 64. Let c be l(13). Let h be (-434)/124*c/(14/(-8)). Suppose 129 = 4*w - w + 3*k, -4*w + 182 = h*k. Does 11 divide w?
False
Suppose 0 = -2*j + 4*u + 26, 7 = -2*j + 2*u + 23. Let w(d) = 11*d + 3*d**2 - 4 - 4*d**2 - 4*d. Is w(j) a multiple of 2?
True
Suppose 5*n + t + 42 = -33, t = -5. Let v(d) = -25*d - 64. Is v(n) a multiple of 7?
False
Let i(f) = f. Let w(r) = -9. Let u(g) = -2*i(g) + w(g). Let s be u(-5). Suppose -3*n + 4*z + s = -180, -n = -z - 61. Is 14 a factor of n?
False
Let h = -32 - -32. Let f be (8 + -8)*(-1 + h). Suppose 6*i - 246 + 90 = f. Is 13 a factor of i?
True
Suppose 3*l - 25 = -2*l. Suppose 6*i - i = l*a - 125, 2*a = -i + 56. Does 12 divide -3 + 7 + -1 + a?
False
Suppose 35*r - 30680 - 212144 = -92*r. Does 3 divide r?
False
Suppose -5*f = -8*f + 13*d + 57203, -3*d = 2*f - 38182. Does 23 divide f?
False
Suppose -9 = -2*n + n. Suppose 9 + 20 = 3*y - w, 27 = y + 4*w. Suppose -6*m + j - n = -y*m, 0 = -3*m - 4*j + 2. Is 2 a factor of m?
True
Does 20 divide ((-21)/2)/(((-54)/(-964))/(-27))?
False
Suppose -2*z + x + 21488 = 0, -2*z + 11070 + 10426 = x. Does 14 divide z?
False
Suppose 5*t + 2*d = -87, 4*t + 8*d + 73 = 3*d. Let b = t + 23. Suppose -b*j + j = -650. Is j a multiple of 28?
False
Suppose -b + 5*r = 6*r - 10, 2*r = -b + 15. Suppose b*t - 5*g - 3336 = -946, -2*g = 4. Is 28 a factor of t?
True
Let p(j) = 3*j + 41 - 2*j + 4*j + 4*j. Does 12 divide p(23)?
False
Let x = -87 - -51. Let u(a) = 6*a**3 - 5*a**2 + 2*a + 5. Let p be u(3). Let r = x + p. Is r a multiple of 16?
False
Suppose -93*u - 279465 + 2156009 = 16*u. Is 16 a factor of u?
True
Let o be -6*2*2/(-6). Let x(v) = -v**3 + 5*v + 1299*v**2 - 652*v**2 - 643*v**2. Does 5 divide x(o)?
True
Let l = 152 + -150. Suppose -448 = -l*n - 84. Is 26 a factor of n?
True
Suppose -v + 68 = -46. Let x = 238 - v. Does 31 divide x?
True
Let l be (-2324)/(-98) - (-4)/14. Let i = l - -44. Suppose o + 2*x + 0*x = i, -340 = -5*o - 4*x. Is 27 a factor of o?
False
Let r(o) = -82*o + 43. Let a be r(-5). Suppose a = 6*n - 87. Does 18 divide n?
True
Suppose -2*r + 4250 = 3*j, 20*r - 17*r + 7077 = 5*j. Does 32 divide -1 + (j - (-70)/(-10))?
True
Suppose 2*b + 3 - 1 = 0. Let y = b + 3. Suppose -4*z = -5*z + y. Is 2 a factor of z?
True
Suppose 3*n - 28*l = -29*l + 1326, 4*l = 4*n - 1768. Let p = 666 - n. Is 7 a factor of p?
True
Suppose 12*w - 210 = 18*w. Does 2 divide 5/(-10) + w/(-14)?
True
Suppose -8*v = -13*v + 10. Let i be v/(1 - 3) + 0. Is 3 a factor of ((-153)/(-6) + i)/((-2)/(-4))?
False
Let y(v) = -90*v + 2440. Does 16 divide y(-100)?
True
Suppose -9*i + 17337 = -123765. Is 7 a factor of i?
False
Suppose 0 = 3*g + w - 539, w = 3*g - 209 - 320. Let b = g - 101. Is 11 a factor of 0/(-2) + -13 + b?
False
Let a = -502 - -822. Suppose 3*h = y - a, 4*h - 443 - 167 = -2*y. Is y a multiple of 6?
False
Let i be (5/(-10))/(5/(-170)). Suppose 14*v + 549 = i*v. Is 61 a factor of v?
True
Let i(o) = 22*o**3 + 10*o**2 - 41*o + 158. Is 32 a factor of i(6)?
True
Suppose -359289 = -17*p - 104*p + 2060953. Is 146 a factor of p?
True
Let l be (-20)/16 - 6/8. Suppose 0 = -d + 3*d + 5*f + 13, -2*f + 2 = 2*d. Is 8 a factor of (l/d)/(6/(-324))?
False
Suppose -49*h = 27*h - 36*h - 831600. Is h a multiple of 30?
True
Let l(w) = w**3 + 42*w**2 - 2*w - 84. Let v be l(-42). Suppose 24*f - 498 - 6 = v. Does 3 divide f?
True
Suppose 389 = 3*t - 2*w, 530 = 4*t - 3*w + 6*w. Let m = t - 99. Is m a multiple of 17?
False
Let h = 494 + -489. Let w(r) = 29*r**2 - 12. Is 23 a factor of w(h)?
True
Let j(t) = 231*t**3 - 2*t**2 - 2*t + 1. Let g be j(-1). Let k = -116 - g. Suppose -7*n + k = 2. Is n a multiple of 3?
False
Let y(f) = 3867*f**2 - 563*f + 1128. Does 65 divide y(2)?
True
Let s be 3*3/54 - (-13)/(-6). Let q be 13/s + (-2)/4. Let d(a) = -a**2 - 9*a + 22. Is 7 a factor of d(q)?
False
Let d be 333 + -6 - (-1 + (1 - 1)). Does 33 divide d + (-1 + 0/(-5) - -3)?
True
Let t(l) = 4*l**2 - 14*l - 31. Let f be t(15). Let v = f - 342. Does 49 divide v?
False
Let n(g) = -g**3 + 18*g**2 - 17*g - 17. Let p be n(14). Suppose 2*q - p - 453 = 5*w, -4*w = 2*q - 1000. Is 4 a factor of q?
True
Let v(j) = j**3 - 9*j**2 - 9*j - 4. Let q be v(10). Is (q/(-9))/(4*(-1)/1062) a multiple of 13?
False
Suppose -3*q + 7368 = 45*t - 44*t, -q = -2*t + 14694. Is 30 a factor of t?
True
Let g(r) = 272*r**2 - 101*r + 4. Is g(3) a multiple of 7?
True
Let b be 1 + -4 - 5 - 2. Let z(x) = -x**3 - 9*x**2 + 3*x + 16. Let f be z(b). Is -20 - -17 - f/(-2) a multiple of 15?
False
Let a = -23372 + 38544. Is 61 a factor of a?
False
Let m be (-128)/20 + (7/5 - 1). Is (-611)/(-7) + m/21 a multiple of 12?
False
Let s(r) = -4*r**3 - 5*r**2 - 7*r + 1. Let h be s(-3). Let z = 182 - h. Is 15 a factor of z?
False
Suppose 2*j + 3*t + 185126 = 0, -3*t - 92556 = j - 5*t. Does 35 divide j/(-156) + 5/3?
True
Let s be (0/(-2) - 0) + (-24 - -21). Let m be (2 - -1 - 1) + 6/s. Suppose 4*x - 6*x + 102 = m. Is 17 a factor of x?
True
Let f(o) = -o**2 + 12*o - 6. Let q be f(11). Suppose 2*a = -q*i + 5*a, 2*a = 4*i + 2. Does 6 divide (-253)/i - 22/66?
True
Suppose -18*v = -20*v + 6. Suppose 3*o + 2*o = 