e
Let w(z) = -7*z - 12. Let k(p) = -p. Let l(i) = -5*k(i) + w(i). Let m be l(-9). Suppose -m*q + 171 + 447 = 0. Is q a multiple of 16?
False
Let w = 599 + -384. Suppose 3*l - 1627 = 2*p + w, -5*l + 2*p + 3066 = 0. Is 34 a factor of l?
True
Suppose 928*t + 682 = 939*t. Suppose -432*v = -430*v - t. Is 7 a factor of v?
False
Let v(o) = 7*o**2 + 12*o + 355. Is v(0) even?
False
Let a(j) = -118*j**2 - 803*j - 8. Is a(-4) a multiple of 2?
True
Let n(d) be the second derivative of d**4/12 + 11*d**3/6 - 9*d**2 + 12*d. Let z be n(-13). Suppose z*v - 2*v = 636. Is 10 a factor of v?
False
Let j = -941 + 1377. Suppose j = -27*r + 31*r. Let o = r - 45. Does 30 divide o?
False
Let v(o) = 0*o + 6 + 5811*o**2 - 5459*o**2 + 7*o. Is v(-1) a multiple of 14?
False
Suppose 42 = -3*z - 0*z. Let v = z - -35. Let s = v + 37. Is s a multiple of 41?
False
Is -32 - -35 - (-3199 + 0) a multiple of 61?
False
Suppose -965*r = -986*r + 688758. Is 62 a factor of r?
True
Is 4 a factor of (-1778)/(-6) + -6*14/252?
True
Suppose 0 = 2*s + 5*w - 66259, 4*s - 90313 = -2*w + 42149. Is 71 a factor of s?
False
Suppose -m + 1 = c, 3*m + 10 = 3*c - 5. Suppose -95 = -d + c*v - v, 0 = -4*d + v + 415. Is 4 a factor of d?
False
Suppose 1006*w + 180225 = 1021*w. Does 45 divide w?
True
Suppose 2*w - 6*w = d - 712, 0 = -d - w + 709. Suppose 127*q = 123*q + d. Does 4 divide q?
False
Let c = 142 + -489. Let l = 659 + c. Is l a multiple of 14?
False
Suppose 5 - 30 = 5*s. Let x be ((-10)/8)/(s/20). Suppose 5*m - m - 166 = 3*y, x*m - 196 = -2*y. Does 9 divide m?
False
Let o be ((-260)/8 + 1)/(2/(-4)). Suppose -o*x = -60*x - 312. Let s = 1 + x. Is 21 a factor of s?
True
Suppose 8*q + 1 = -15. Let m(v) = -88*v + 37. Is m(q) a multiple of 8?
False
Let b(w) = w**2 - 20*w - 46. Let s be b(22). Let a be ((-236)/12)/((-20)/(-12) + s). Let c = -24 + a. Is 6 a factor of c?
False
Let b be -7 + (-1 - (-4 + -24)). Suppose -b*u = -1139 - 1521. Is 9 a factor of u?
False
Is 9 a factor of (-24)/(-39) + (-15645728)/(-728)?
True
Let o = 399 + -226. Suppose 0 = 4*s - z - 421, -3*s + 5*z = -o - 147. Is 21 a factor of s?
True
Is (-13124)/193*((-2)/4 - 0)*44 a multiple of 4?
True
Let z(c) = 8*c - 16. Let b be z(-4). Let y be 2/(-3) + 3328/b. Is 20 a factor of ((-96)/15)/(4/y)?
False
Let j be -4*(-6)/(-48)*388. Let q = j + 326. Is 33 a factor of q?
True
Let s(m) = 3*m - 3. Let i be s(5). Let y(f) = -3*f + 37. Let l(h) = -15*h + 184. Let b(t) = -2*l(t) + 11*y(t). Is b(i) a multiple of 3?
True
Suppose 0 = 5*c + 5*r - 5780, 2*r = 2*c - 2804 + 496. Suppose c = -173*i + 178*i. Is i a multiple of 7?
True
Suppose 4*h - 24441 = -5*m, m = 362*h - 357*h - 30515. Is 109 a factor of h?
True
Let s(h) = 2*h - 17. Let m be s(11). Suppose 9 = 6*y - m*y. Is 5 a factor of (-14)/(-6)*y - 2?
False
Suppose 7*i - 173746 - 4761 = -y, -y - 7 = 0. Does 7 divide i?
False
Suppose 2914*o - 2989*o = -1115550. Is o a multiple of 44?
False
Suppose -5*g + 592820 = -5*p, 2*g = 4*p + 634478 - 160220. Does 11 divide p/(-92) + 2/8?
False
Let f(b) = 110*b**3 - 2*b + 1. Let n be f(1). Let z(g) = 22*g + 234. Let c be z(0). Let l = c - n. Does 18 divide l?
False
Let p = 12997 - 7319. Does 33 divide p?
False
Let g(i) = i**3 - 9*i**2 - 14*i + 24. Let u be g(11). Does 6 divide u - ((-20)/5 - 5)?
False
Let i(r) be the second derivative of 3/2*r**2 - 5/6*r**3 + 22*r + 0. Is i(-14) a multiple of 24?
False
Suppose 5*p - 7*p + 66 = -5*l, -3*p + 4*l = -92. Suppose -15*d = -p*d + 1248. Does 12 divide d?
True
Suppose 49*x + 5352 = 133242. Does 145 divide x?
True
Let w(p) = -33 + 57 - 2*p**2 - p**3 + 2*p - 9*p**2. Let q be w(-11). Does 3 divide 2/q + 2 - (21 + -33)?
True
Let m(o) = -204*o + 12. Let c be m(-5). Is 19 a factor of c/18 - (-1)/(-3)?
True
Does 13 divide (2460/36 - 21)/(1 + (-271)/273)?
True
Let k be 48/((-21)/5432*2). Is 9 a factor of 3*(2 + -3) - k/16?
False
Let j be (3 + 27/(-6))/((-1)/226). Suppose 2*t + 1353 = 4*h + j, 2*t + 762 = 3*h. Is 36 a factor of h?
True
Let n be 18/(-12) - 11/2. Does 48 divide (-4)/(140/(-2645)) + 4/n?
False
Suppose -33*c + 27473 = -175180. Is c a multiple of 91?
False
Let m(f) = 2*f**2 + 15*f + 17. Suppose 5*v - 12 = 6*v. Does 3 divide m(v)?
False
Suppose 0 = -4*x - 2*j + 16, -j = 3*x - 13. Let v(w) = 3*w**2 + 5*w - 11. Does 7 divide v(x)?
False
Suppose -58*p = -46*p - 73836. Is p a multiple of 6?
False
Let i = 1641 + -1601. Let u(h) = -h**3 - h**2 + 4. Let l be u(0). Suppose l*o + i = 2*x, -x + 20 = 2*o - 6*o. Is 5 a factor of x?
True
Let x = -788 - -793. Suppose x*g = -3*k + 1481 + 550, -g = -3. Is 56 a factor of k?
True
Let a = 701 - 675. Suppose -a*j + 33*j = 1554. Is j a multiple of 24?
False
Suppose 5*n + 5*l - 45 = 0, 1 = n - 4*l - 3. Let d(x) = 7*x + 17*x**2 - 4*x + n*x**2. Is d(2) a multiple of 23?
False
Does 11 divide 10504/30 + 357/(-315) + 1?
False
Suppose -5*t = -2*d + 3503, -3*d = -7*t + 8*t - 5297. Is 84 a factor of d?
True
Let m(p) = 3*p**2 - 15*p - 63. Let r be m(12). Let x = r - -198. Does 4 divide x?
False
Suppose -3*v + 8*v = 15. Suppose v*y - 32 = q, 5*y = 3*q + 34 + 18. Suppose 159 = y*x - 105. Is x a multiple of 4?
True
Suppose 48*a + 7087 = 50*a - 1673. Does 30 divide a?
True
Suppose 26242 = -2*o + 10*o - 65366. Does 11 divide o?
True
Let y(o) = o. Let l(f) = -90*f + 9. Let x(j) = l(j) + 2*y(j). Is 4 a factor of x(-1)?
False
Let p(u) = 256*u + 7796. Is p(18) a multiple of 85?
False
Let p be 72/42 + (-20)/(-70). Suppose 5*u = -x + 5935, p*x = 3*x + 5. Is 14 a factor of u?
False
Suppose -61 = 2*o - 65. Suppose -l = o, -j + 4*l = 5*l - 155. Is 10 a factor of j?
False
Let q be (-21)/(-2)*(-13440)/(-196). Suppose 3*b = 5*f - 720, 8*f = 3*f - 3*b + q. Does 4 divide f?
True
Let x(c) = -c**2 + 36*c + 14. Let n be 16 + (6 - 12) + 12. Does 35 divide x(n)?
False
Suppose 16*o - 4632 = -d + 11*o, -2*o = 2*d - 9240. Is d a multiple of 24?
False
Is 13710*1/1 + (126 - 130) a multiple of 22?
True
Let z(y) = -226*y + 2033. Is 3 a factor of z(-16)?
True
Let o = 9425 - 6691. Is 57 a factor of o?
False
Suppose 0*s - 150 = 2*u + 2*s, 3*u + 2*s = -227. Is (-6)/27 + u/126*-452 a multiple of 9?
False
Suppose 78581 - 879213 = -85*p + 293828. Does 174 divide p?
True
Let n = 70 - -296. Let x = n - 313. Is x a multiple of 10?
False
Suppose 2*h - 3*a - 388 = 0, -9*h - 3*a + 1164 = -3*h. Is h even?
True
Suppose 0 = -31*u + 33*u + 4*c - 554, 0 = 5*c + 30. Does 12 divide u?
False
Is (-180)/(-14)*(-232750)/(-399) a multiple of 150?
True
Let u(f) = f**3 - 40*f**2 + 40*f - 40. Let o be u(39). Does 9 divide 16/12 + ((-1761)/(-9) - o)?
True
Let u(r) = 863*r - 1686. Is u(28) a multiple of 22?
False
Let h(y) = -8*y + 791. Is h(-38) a multiple of 4?
False
Let a = -58 - -61. Suppose -184 = -3*r + 2*l, a*r = 5*l + 230 - 40. Suppose -5*h = i - 2*h - r, -70 = -i - 5*h. Is 7 a factor of i?
False
Let x(c) = -c**3 - 10*c**2 + 6*c + 9. Let f be x(-12). Let w = -198 + f. Is 9 a factor of w?
True
Let u = -137 + 139. Suppose f - 20 = -3*j, 3*f + 3 = -u*j + 7. Is 4 a factor of j?
True
Suppose -38*o + 14*o + 14592 = 0. Does 76 divide o?
True
Let y = -22792 + 34545. Is y a multiple of 207?
False
Let c be 112/18 - 6/27. Suppose 3*u - 4*x + c = -6*x, u = 3*x - 13. Let i = 14 + u. Does 5 divide i?
True
Suppose 0 = 4*a + 4*z - 52, 89 - 15 = 3*a - 4*z. Suppose 3*r - a = -3*f, 0*f + 2*f - 18 = -4*r. Suppose f*j - 435 - 27 = 0. Does 29 divide j?
False
Let z(f) = -2*f + 24. Let o be z(8). Let a = o - -71. Suppose -3*s = -4*v - 2*s + a, s + 59 = 3*v. Is v a multiple of 4?
True
Let l(m) = 10*m**3 + 13*m**2 + 58*m - 86. Does 2 divide l(9)?
False
Suppose 4*q + 2*w = 114608, 22*q - 27*q + 143254 = 4*w. Does 17 divide q?
False
Let t(j) = 6*j - 48. Suppose -2*z + 3*h + 298 = 2*h, 739 = 5*z - h. Suppose 150*m - 90 = z*m. Is t(m) a multiple of 11?
True
Suppose -737281 = -18*a + 5*q, 169*a + 5*q = 164*a + 204845. Is a a multiple of 330?
False
Let m(l) = 12*l**3 + 12*l**2 - 34*l + 13. Suppose -18*f + 57 = f. Is 49 a factor of m(f)?
True
Suppose 0 = 22*r + 5*r + 486. Let p = 437 - r. Does 65 divide p?
True
Let i(n) = -737*n + 1811. Does 2 divide i(0)?
False
Let w = 1 + 5. Let j(k) = -24*k**3 - 4*k**2 + 9*k - 10. Let i(x) = 14*x**3 + x**2 - 4*x + 5. Let t(a) = 7*i(a) + 4*j(a). Does 23 divide t(w)?
False
Let a = 1048 - 130. Let l = -597 + a. Is 23 a factor of l?
False
Let x(g) 