 Let p(i) = i**2 - i + 1. Let z(u) = -f(u) + 4*p(u). Let m(o) = o**2 - 1. Let l(t) = -m(t) - z(t). Is 18 a factor of l(4)?
True
Let c = 14108 + -4154. Does 31 divide c?
False
Is 9 a factor of 3 - 43925/(-3) - 70/42?
True
Suppose 2*h - 26536 = z, 0 = -2*h + 9*z - 4*z + 26520. Suppose 0 = -9*y + h + 590. Is y a multiple of 20?
True
Let s(f) = f**3 + 38*f**2 - 15*f - 6 + 36*f**2 - 70*f**2. Is s(-5) a multiple of 4?
True
Let i = -1448 + 10676. Is 34 a factor of i?
False
Let w = 35469 + 6111. Does 60 divide w?
True
Let m(f) = 20*f**3 + 50*f**2 + 36*f + 17. Let s(r) = 7*r**3 + 17*r**2 + 12*r + 6. Let d(i) = 6*m(i) - 17*s(i). Is 27 a factor of d(-6)?
True
Suppose -1422 = -3*s + 5*c, -5*s + 2370 = -0*s - 4*c. Let r = -244 + s. Does 12 divide r?
False
Suppose 1355706 = 64*q + 38*q - 763446. Is q a multiple of 28?
True
Let x(m) = 3*m**2 - 330*m + 445. Does 166 divide x(120)?
False
Let j be 5/2*2968/70. Suppose -6*l = -2*l - 16, j = 3*n - 5*l. Suppose 0 = f - n + 15. Is 3 a factor of f?
True
Is (-6)/(4041/(-808) - -5) a multiple of 112?
False
Let j = 2 + 6. Let s(t) = 3*t**2 - 16*t - 8. Let r be s(j). Suppose -5*p + r = -74. Is p a multiple of 4?
False
Let j(g) = -g**3 - 10*g**2 - 11*g + 10. Let y be j(-9). Let u be (12/y)/((-1)/(-7)). Does 35 divide 3/(9/6) + u*81?
True
Is 97 a factor of (-77)/(-21) + -3 - (-4 - (-34466)/(-6))?
False
Suppose 3*s + a - 23 = 0, 3*a - 24 = -10*s + 6*s. Is ((-37824)/256)/(2 + s/(-4)) a multiple of 17?
False
Let o be 1 + 0 + 0 - (-13 - -13). Let s be (2 - o)/(2/92). Suppose 216 = 2*h + s. Is h a multiple of 36?
False
Let g(x) = 5*x**2 - 16*x - 80. Suppose 114 = 4*u + 146. Is 16 a factor of g(u)?
True
Suppose 6*j = 13*j - 70. Let u be (-1)/((-4)/j - (-8)/120). Suppose 768 = 3*a + u*a. Is 16 a factor of a?
True
Let x(z) = -14*z**2 + 2. Let s be x(1). Let y be (8/(-6))/(s/54). Suppose y*l - 7 - 41 = 0. Is l a multiple of 4?
True
Let y(w) = -3*w**3 + 224*w**2 - 119*w - 204. Does 151 divide y(72)?
False
Let t = 12088 + -5704. Is 24 a factor of t?
True
Let h(t) be the third derivative of -37*t**4/12 + 8*t**3/3 + 52*t**2. Is h(-1) a multiple of 9?
True
Let y(s) = -31*s - 72 + 6*s**2 - 8 - 17. Is 12 a factor of y(16)?
False
Let j(n) = 335*n - 27. Let x be j(6). Suppose -9183 = -9*l - x. Does 10 divide l?
True
Suppose 129*b = 119*b + 440. Suppose 2250 = -b*o + 39738. Is 22 a factor of o?
False
Suppose 2034 = 6*x + 54. Suppose 25*h - x = 30*h. Let z = 126 + h. Is z a multiple of 36?
False
Let t(k) = k**2 + k + 1. Let n(q) = -4*q**2 - 11*q + 28. Let i(o) = -n(o) - 3*t(o). Is i(-31) a multiple of 22?
True
Let d = 9336 - 5250. Is d a multiple of 12?
False
Suppose -290 = o - 286. Let i(s) = 25*s**2 - 4*s - 2*s - 11 - 24*s**2. Does 7 divide i(o)?
False
Let q(d) = 126*d**3 - 5*d**2 + 8*d - 7. Is q(5) a multiple of 115?
False
Let z(i) = -i**3 - 20*i**2 - 18*i + 150. Is z(-20) a multiple of 5?
True
Does 2 divide 8864/7 + (-20)/70 - 2?
True
Let f be (583/(-220) - (-4)/10)*-4. Suppose -5*p = -f*p. Is 6 a factor of -4 + 10 - (p + 0 + 0)?
True
Suppose -6*a + 1006 = -68. Suppose -a = -6*l + 421. Is 20 a factor of l?
True
Let m(u) = 137*u + 31. Let q(d) = 101*d + 32. Let a(i) = 5*m(i) - 6*q(i). Let z(n) = -n - 3. Let y be z(-6). Is a(y) a multiple of 20?
True
Suppose 71791 = o + 27253. Is o a multiple of 13?
True
Let z(y) = 4*y**3 - 4*y**2 - 2*y - 14. Is z(5) a multiple of 8?
True
Suppose -4*c + c - b = 918, -5*c - 5*b = 1540. Let r = 11076 - 11218. Let o = r - c. Is o a multiple of 19?
False
Suppose 0 = -12*h + 13*h - 12. Suppose -12 = -12*o + h. Suppose -i + o*m = -60, 2*i = 2*m + 89 + 41. Is 35 a factor of i?
True
Let l be -4*20/(1/((-20)/8)). Suppose 5*s = -5*s + l. Does 4 divide s?
True
Let s be (-114336)/(-64)*2/3. Suppose -5*l + 2*a - s = -3994, -3*l - 4*a = -1661. Does 13 divide l?
True
Let v(w) = 112*w + 24. Is v(4) even?
True
Suppose 5*j = -j + 24. Suppose -10 = j*f + f, -f = 5*c - 138. Does 14 divide c?
True
Let b be 135/(-9)*(-4)/10. Does 32 divide (-1 - b/(-10))/(81/(-6480))?
True
Let x(v) = 2*v**3 - 85*v**2 - 14*v + 118. Is x(43) a multiple of 35?
True
Let y = 627 + 1001. Is 4 a factor of y?
True
Suppose 3*g - 8386 = -9*g + 8702. Does 178 divide g?
True
Let f be 3/(0*(-1)/(-4) + 1). Suppose -1546 = -5*t + f*q, 2*q = 4*t - 0*t - 1236. Is 11 a factor of t?
True
Suppose -2*a - 2*u - 882 = 3*a, a - 3*u = -173. Let w = 550 - a. Does 18 divide w?
False
Let c(d) = 19 - 6*d + d**2 + 8*d - 3*d**3 + 11*d + 0. Is 11 a factor of c(-3)?
False
Let r = 37 + -34. Suppose r*n + 1 = q - 13, 34 = -5*n - q. Let g(i) = i**2 - 15*i + 3. Is 12 a factor of g(n)?
False
Let g be (9/6)/(6/28). Suppose -5*w = 8*b - g*b - 5, -w - 1 = 0. Is 10 a factor of b?
True
Let l(b) = b**3 + 27*b**2 - 22*b + 46. Let s be l(-28). Let z = s - -147. Does 4 divide z?
False
Let o be (15/(-3))/(11 + -12). Suppose o*n - 653 = 1062. Is 22 a factor of n?
False
Let m = -268 - -110. Let r = -330 - m. Let h = r - -298. Is h a multiple of 9?
True
Suppose 0 = -16*f + 51 - 451. Is 294/(195/f - -8) a multiple of 30?
True
Let j be (-2)/4 - (-1254)/(-76). Let m(b) = b**3 + 18*b**2 + 9*b + 23. Does 53 divide m(j)?
True
Let f(g) = -13 + 4*g - 3*g - 11*g**2 + 2*g - 15 + g**3. Is f(11) a multiple of 5?
True
Suppose -x + 18 + 2 = 0. Let c = 20 - x. Suppose -2*p - p = -z - 13, c = 4*p + 3*z - 13. Is p even?
True
Suppose -a + 47 = -141. Suppose r = a + 28. Is 40 a factor of r?
False
Let l(f) = 7*f**2 + 56*f - 398. Is 132 a factor of l(21)?
False
Let f = 6403 + -2237. Does 66 divide f?
False
Let l = -270 + 275. Suppose 0 = m + g - 291, m + 610 = 3*m - l*g. Is 59 a factor of m?
True
Suppose 2*n + 8664 = 3*c, 7*n - 4*n = 2*c - 5776. Suppose -4*r + c = 3*g - 7*g, -5*r + 3606 = -3*g. Is 18 a factor of r?
True
Suppose 15*g = -528 + 3858. Let y(h) = -3*h - 2. Let v be y(-2). Suppose 4*m + g = v*q + q, 0 = -4*q + 2*m + 180. Is q a multiple of 46?
True
Let s(i) = i**2 + i - 1. Let j(p) = -7*p**2 - 10*p + 17. Let t(m) = j(m) + 6*s(m). Let v be t(0). Let f(h) = h**3 - 10*h**2 - 3*h - 38. Is 25 a factor of f(v)?
True
Suppose 3*u - 41796 = -2*a + 16607, 5*u - 29219 = -a. Is 22 a factor of a?
True
Suppose -4*v + 20976 = -2*b, 85*v - 82*v - 15680 = -5*b. Does 5 divide v?
True
Let s be (-148)/1258 - (-174)/34. Is 2 + (s + 133 - -2) a multiple of 15?
False
Let j be 7 + (-4 + 2 - 1607). Let v = 2274 + j. Does 21 divide v?
True
Suppose 0*q = 4*s - 4*q - 280, -5*q - 220 = -3*s. Is s*(-4 - (0 - 5)) a multiple of 5?
True
Suppose 0 = -3*v + y + 230, 0 = -3*v + 2*v - 3*y + 90. Let x = v - 22. Let n = -44 + x. Is 9 a factor of n?
False
Suppose 3*f - 2*k = -f + 62, 3*f + 2*k = 29. Suppose 3*t - 57 = -3*a, 9*a = 14*a + 2*t - 107. Let j = a - f. Is j a multiple of 6?
False
Let n = -38 - -44. Suppose -n = 45*d - 47*d. Suppose -d*w - 100 = -4*w. Is w a multiple of 20?
True
Let u(x) = -x**2 - x + 4. Suppose -4*v + 28 = -2*j, -4*j + j = -4*v + 34. Let b be u(j). Let f = 19 - b. Does 6 divide f?
False
Suppose -r - 5*x + 3824 = -759, -r = -2*x - 4618. Suppose r = -275*q + 279*q. Does 16 divide q?
True
Let f(p) be the first derivative of p**3 - p**2/2 + 3*p + 25. Is 27 a factor of f(3)?
True
Let f(z) = z**3 - 22*z**2 - 24*z + 89. Does 60 divide f(29)?
True
Let w = -3 - -5. Let k be 10/35 - (w - (-2544)/(-14)). Suppose 0*q + 3*q - k = 0. Is q a multiple of 30?
True
Suppose 5*x + 108*y - 112*y - 33471 = 0, -20115 = -3*x - 3*y. Does 11 divide x?
True
Let r = -9026 + 17252. Suppose -5*v + r - 3311 = 0. Is 15 a factor of v?
False
Let y(a) = -4*a**2 - 7*a. Let o be y(-2). Let x(n) = -n**3 - 2*n**2 + 3*n + 6. Let u be x(o). Suppose -q - 65 = -j, u = -4*j + q + q + 252. Does 9 divide j?
False
Let t(n) = -n**3 - 13*n**2 + 15*n + 1036. Does 117 divide t(-24)?
False
Let r = 25 + -22. Suppose -15 = -r*w - 2*w, -2*f + 988 = -4*w. Let q = f + -273. Does 12 divide q?
False
Let g = -815 + 525. Let c = g + 518. Is 38 a factor of c?
True
Let d(z) = 49*z - 124. Let x = 184 + -168. Is d(x) a multiple of 27?
False
Let z = 29543 + -26593. Is z a multiple of 59?
True
Suppose -7*r + 13258 = -16031 - 8945. Is r a multiple of 43?
False
Suppose 40*m - 170788 = -42068. Is 32 a factor of m?
False
Let w(c) = -4556*c - 13349. Does 10 divide w(-7)?
False
Let c(i) = -5*i**3 + i**2 - 2*i - 4. Let m(k) = 3*k**2 - k + 1. Let b be m(1). Suppose -2*f - 24 = 4*w, -w 