 -2*c + 4*c - i = 0. Is c a multiple of 8?
False
Let v(n) = 6*n + 2. Suppose 58 = 4*o - 62. Is 13 a factor of v(o)?
True
Let s(w) = w**3 + 9*w**2 + 16*w + 11. Let a be s(-6). Suppose -57 = -16*k + a. Is 26 a factor of (-1 - -2)*((-1510)/k)/(-2)?
False
Let k(h) = 27*h**2 - 106*h - 1944. Is k(-16) a multiple of 119?
True
Does 11 divide 264520/18 - 76/(-171)?
True
Let u(p) = -3*p**2 - 2*p + 4. Let y be u(-4). Let i be (-253)/4 - y/(-48). Let f = i + 98. Is f a multiple of 17?
True
Let d(n) = 10*n**2 + 91*n + 39. Is d(-11) a multiple of 4?
True
Suppose -54 = -11*p + 243. Is 15 a factor of (-7)/((-56)/40)*p?
True
Does 115 divide (-1)/(-1) + (1*2876 - 2)?
True
Suppose -3*t + 5*a + 35 = 0, t + 2 = -2*a - 1. Let d = 1340 + -708. Suppose -5*c = 4*u - 0*u - d, -2*c + t*u = -233. Does 31 divide c?
True
Suppose 2*i + 4 = -6. Let h be -4*(36/(-40) + 1)*i. Suppose 0*c = h*c - 46. Is 9 a factor of c?
False
Suppose -5*q - 7605 - 19775 = -2*g, 5*g = -4*q + 68516. Is 295 a factor of g?
False
Let l be (-2*(-4)/(-10))/((-2)/(-20)). Let d(b) = -b**3 - 7*b**2 - 10*b + 12. Let j be d(l). Suppose 2*i + 12 - j = 0. Is 8 a factor of i?
True
Suppose -60*u + 1835 + 2365 = 0. Is u a multiple of 70?
True
Let a = -19236 + 29751. Is 15 a factor of a?
True
Let i = 135 + -133. Suppose -i*f + 3*b = -86, -2*f + 156 = 2*f + 2*b. Is 8 a factor of f?
True
Let r(v) = 32*v**2 + 32*v - 1224. Does 28 divide r(-32)?
True
Suppose -k + 171 + 41 = -4*x, -2*x - 2 = 0. Is k a multiple of 16?
True
Suppose 2*l - 1140 = -3*j, 0 = 2*l + 2*l + j - 2270. Suppose 13*t = -8*t + l. Is t a multiple of 7?
False
Let b be -10*(20/(-8) - -2). Let x be (b + -2 - 286)*-3. Suppose -2*a + r + r = -342, -5*a + x = -3*r. Is 28 a factor of a?
True
Let i = 1 - -1. Suppose 0 = -i*z + 11*z - 9. Is 0 + z - (-354)/(4 - -2) a multiple of 15?
True
Let a be 6/15 - (-76)/10. Let m be (-1 + -1 + a*5)*14. Suppose -181 = -f - 0*f + 5*z, 3*f - m = 4*z. Is 20 a factor of f?
False
Suppose -2*k = 4*v + 396, 47*v = -2*k + 44*v - 398. Let d = 1489 - k. Does 19 divide d?
True
Let s(i) = -6484 + 6354 - 140*i - 22*i. Is s(-9) a multiple of 16?
True
Let l(x) = -x**3 + 20*x**2 + 22*x - 185. Is l(19) a multiple of 10?
False
Let f(v) be the first derivative of 93*v**2/2 + 74*v + 5. Is f(3) a multiple of 34?
False
Let j = 3850 + -346. Is 16 a factor of j?
True
Let m(x) = -8*x + 257. Let i be m(28). Suppose 39*r = i*r + 4080. Is 34 a factor of r?
True
Suppose 3*u - 3*p = u + 11, -2*p = 3*u - 49. Suppose u*j = 11*j + 32. Suppose j*o = 19*o - 231. Is o a multiple of 17?
False
Let p(y) = -7*y + 18. Let m(l) = -8*l**2 + 8*l + 9. Let k(q) = -7*q**2 + 7*q + 8. Let w(z) = 7*k(z) - 6*m(z). Let a be w(-4). Is 16 a factor of p(a)?
True
Suppose -6*u + 90 - 30 = 0. Let k(g) = 9*g + 21 - u*g - 9. Does 17 divide k(-5)?
True
Let k(a) be the third derivative of 0*a - 5/4*a**4 + 0 + 29/6*a**3 + 28*a**2. Does 22 divide k(-6)?
False
Let h(a) = 7955*a**2 - 107*a + 106. Is h(1) a multiple of 7?
False
Suppose -22 = -2*i + 4*n, 3 = -i - 2*n + 2. Suppose 5*h + 155 = i*a, 4*h - 196 = -5*a - 14. Is 4 a factor of a?
False
Does 22 divide (-485697)/228*68/(-13) + 8/52?
False
Let t(x) = -31*x - 136. Let k be t(-8). Suppose -1548 = -k*i + 106*i. Does 25 divide i?
False
Let d be (-7 + -4 + 12)/(-1). Is (d - 42/(-10))/((-12)/(-390)) a multiple of 5?
False
Is (-1008)/(-630) + 489846/15 a multiple of 149?
False
Let a(w) = -w**3 - 6*w**2 - 8*w - 9. Let y be a(-5). Let n(s) = s**3 - 6*s**2 + s - 4. Let h be n(y). Is (1600/(-48))/(h/(-6)) a multiple of 10?
True
Let v = 110 - 106. Does 37 divide (21728/49)/v - (-1)/7?
True
Let x(w) = 8*w**2 + 70*w - 590. Is 13 a factor of x(17)?
True
Let i = 201 - -689. Let s be i/(-25)*10/(-4). Let q = -42 + s. Does 5 divide q?
False
Suppose -63747*g + 181545 = -63744*g. Is 35 a factor of g?
True
Let p = 52 - 19. Suppose -142 + p = -u. Let m = 157 - u. Is m a multiple of 6?
True
Let w(l) = 6*l + 2. Let k be w(5). Let y(i) = -2*i**3 - 32*i**2 - 36*i - 52. Let x be y(-15). Suppose k*v - x*v + 396 = 0. Does 13 divide v?
False
Suppose 3*y - 269 - 1266 = -r, y = 2*r - 3070. Does 152 divide r?
False
Let s = -2887 - -5692. Is s a multiple of 17?
True
Let z(y) = 54*y**2 + 4*y + 243. Is z(-12) a multiple of 58?
False
Suppose 0 = 4*r + 59 + 49. Let d = 14 - r. Let i = 76 - d. Is i a multiple of 7?
True
Suppose -r = -5*j + 119, 5*j + 182 = -3*r - 235. Let t = 135 + r. Does 20 divide -496*2/2*t/(-2)?
False
Let d = 446 + -208. Let b(t) = 13*t**2 - 2*t + 1. Let v be b(1). Suppose 14*a - v*a = d. Is a a multiple of 13?
False
Let k(l) be the first derivative of 11*l + l**2 + 1/4*l**4 - 14/3*l**3 + 28. Is k(14) a multiple of 20?
False
Suppose 5*b - 4*b + 57 = 0. Let v be -104 - (-2 + 8/(-4)). Let y = b - v. Is 11 a factor of y?
False
Suppose -14*s + 291 = 11. Does 46 divide (-37 + 8 + 6)/((-2)/s)?
True
Let p = 4442 - -786. Does 89 divide p?
False
Let n(q) = 13*q**3 - 13*q**2 - 20*q + 99. Is n(6) a multiple of 28?
False
Let v be (-7)/(21/132) - (-8)/(-4). Let t = v + 298. Is 2 a factor of -4 + (t/(-3))/(-3)?
True
Suppose 17*f - 20*f + 6 = 0. Let t = f - 1. Is (139/1)/(1/1*t) a multiple of 28?
False
Suppose -7*s = -4*p + 10007, -p - 2*s + 1683 = -815. Is p a multiple of 14?
False
Suppose -f - 187*w + 146 = -185*w, 0 = -3*f + 4*w + 388. Is f a multiple of 8?
True
Is 4 a factor of ((99/(-30))/(-1) - 160/(-800))*592?
True
Let k(g) = -95*g**3 + 1 + 3*g**2 - 3*g + 17*g**3 - 6*g**2. Let h(y) = 33*y - 2014. Let f be h(61). Is k(f) a multiple of 32?
False
Is 226 a factor of (-2426)/(-6065) + 635242/70 + (-6)/21?
False
Let i be (-26 - (-11 + 5))*10. Let g = i - -238. Is 5 a factor of g?
False
Let r(w) = -3956*w + 292. Does 9 divide r(-1)?
True
Suppose -52*g + 30 = -46*g. Suppose 5*b - 715 = -5*i, -6*b + g*b + 5*i = -149. Is b a multiple of 24?
True
Suppose 4*s = 78679 - 39123 + 63264. Is 14 a factor of s?
False
Suppose -338*s + 352*s = 19656. Is s a multiple of 78?
True
Let i(r) = r**2 + 13*r + 57. Let d be i(-6). Is 180/7*d/((-60)/(-56)) a multiple of 75?
False
Let a(j) = 42*j**2 - 7*j + 9. Let i be a(2). Let v = i + 733. Does 28 divide v?
True
Let q = 34 + -10. Is 10 a factor of 0 + -3*4/q*-530?
False
Suppose 5*x - 2*y = -3, -7 = 3*x + 9*y - 5*y. Let d(j) = -346*j**3 - 2*j**2 + 6*j + 5. Is 28 a factor of d(x)?
False
Let k(v) = -50*v + 6640. Is 30 a factor of k(-118)?
True
Let d be 4/18 - (-43)/9. Let u = 699 + -697. Suppose -4*g + 17 = d, p + u*g = 120. Is p a multiple of 40?
False
Let g(d) = -d**3 - 27*d**2 - 105*d - 165. Does 5 divide g(-23)?
False
Is 40 a factor of (14 - 35997/78)*(-184 - -2)?
False
Let p = 4417 - 2272. Suppose -8*z = 7*z - p. Does 24 divide z?
False
Suppose -2*f = 5*i - 26, -4*i - 39 = 2*f - 3*f. Is 16 a factor of f?
False
Let u = 1257 - 1259. Let f(i) = 127*i**2 - 4*i + 9. Let k(h) = 64*h**2 - 2*h + 4. Let m(w) = -2*f(w) + 5*k(w). Does 18 divide m(u)?
True
Suppose -52*j + 56*j = 4*v - 46516, 3*v - j - 34885 = 0. Is v a multiple of 27?
False
Suppose 5*c - 2*k - 77220 = 0, -52*k + 53*k + 15444 = c. Is 156 a factor of c?
True
Let l(d) = 191*d - 11. Let h(p) = -96*p + 6. Let w(f) = -10*h(f) - 6*l(f). Is w(-1) a multiple of 8?
True
Suppose 258 = -8*f + 3682. Let k = f + -82. Suppose -a - 65 = -p, -2*a + 0*a + k = 5*p. Is p a multiple of 19?
False
Let i be (1/5 + (-606)/30)*-1. Is 18 a factor of 10/i - (-1 + (-33)/2)?
True
Let s(o) = -14*o - 9. Is 21 a factor of s(-25)?
False
Let g(p) = 829*p**2 + 1194*p + 7168. Is 164 a factor of g(-6)?
True
Let t(r) = 3*r + 61. Suppose -84*x = -78*x - 138. Is 26 a factor of t(x)?
True
Let q(v) = -1796*v - 13224. Does 10 divide q(-22)?
False
Let g(s) = -6 + 3 - 4 - s + 3*s. Let j be g(4). Let p(t) = 68*t**2 + 3*t - 2. Is p(j) a multiple of 23?
True
Let p = 582 - 560. Does 12 divide (-3)/((p/99)/(-1*16))?
True
Let w be (95/10 + -5)*38. Is 8 a factor of 4/14 - w/(-63) - -413?
True
Let f = 13 - -3. Suppose 10*o = -f + 6. Let w(n) = 42*n**2 - 5*n - 2. Is w(o) a multiple of 10?
False
Let o(w) be the first derivative of w**3/3 + 7*w**2/2 + 2*w - 9. Let t be o(-5). Let d(v) = -v**2 - 12*v - 8. Is 12 a factor of d(t)?
True
Suppose -2363 + 496 - 1853 = -31*u. Suppose 0 = -3*l + 10 + 11. Suppose l*w = 8*w - u. Does 30 divide w?
True
Suppose 30*t = 2*t + 119173 - 46345. Is t even?
False
Does 395 divide (6821200/280)/((-6)/(