False
Let i(g) be the second derivative of 2*g**3/3 + 15*g**2 - 34*g. Does 20 divide i(13)?
False
Let l(v) = v**2 - 16*v + 9. Let n be l(13). Let k be (-72)/(-5) + (-4)/10. Let h = k - n. Is 17 a factor of h?
False
Suppose 0 = -d - k + 109 + 19, 0 = -d - 4*k + 113. Is d a multiple of 7?
True
Suppose 4*c - 8*c = -200. Suppose 4*u - 3*f = 131, 0*f - 5*f + c = u. Does 18 divide u?
False
Let s = -177 + 112. Let l = s - -189. Does 31 divide l?
True
Suppose 235 = n + w, 5*n + 4*w - 238 = 4*n. Does 13 divide n?
True
Suppose 0 = -12*z - 3952 + 13744. Is z a multiple of 24?
True
Let i = -275 - -380. Is 31 a factor of i?
False
Suppose -2*h - 2700 = -7*h. Let g be (0 - 12)*h/(-16). Suppose 7*s - 2*s = g. Does 25 divide s?
False
Let t(g) = -g**3 - 16*g**2 - 14*g + 17. Let s be t(-15). Is 33 a factor of (1 + -4)*(s + -24)?
True
Let k(o) = 10*o**3 - 4*o**2 - o + 15. Is 32 a factor of k(3)?
False
Let l(v) = -43*v + 24. Let s(x) = -7*x + 4. Let t(q) = -6*l(q) + 34*s(q). Let c be 12*8/(-32) - -8. Is t(c) a multiple of 23?
True
Suppose 6263 = 3*l + 5*w, -5*l - 255 = 3*w - 10672. Is l a multiple of 15?
False
Let q(u) = u**3 - 5*u**2 - u - 26. Does 2 divide q(9)?
False
Is 2/10 + (-687)/(-15) + -5 a multiple of 3?
False
Suppose -r - 152 = -n, -158 = -n - 7*r + 11*r. Let a = 40 + 66. Let s = n - a. Is 17 a factor of s?
False
Let y(x) = 2*x**2 - 6*x + 2. Let s be y(4). Let n be (4 + 160/(-12))*(-27)/6. Let h = n - s. Is h a multiple of 16?
True
Does 87 divide (-6)/81 - ((-267960)/162 - -1)?
True
Let m = -760 + 1082. Does 7 divide m?
True
Suppose -3*d = -112 - 653. Does 17 divide d?
True
Let k be 11/(-22)*(-1 - -3). Let f be ((-2)/4)/(k/6). Suppose -f*g + 61 = -191. Does 12 divide g?
True
Let a = -1491 + 2203. Is a a multiple of 15?
False
Let p(f) = 332*f**3 - 2*f**2 - 20*f + 38. Is 54 a factor of p(2)?
True
Suppose 7*g + 32 = -17. Does 7 divide 46 - g/(28/12)?
True
Let f be 3/2 + (-8)/((-16)/189). Suppose 2*s - 6*s = -f. Does 23 divide s?
False
Let y = 31 + -56. Let d = 19 - y. Does 22 divide d?
True
Suppose -20 = -3*a + 2*p, -3*a + 6*p = 2*p - 10. Suppose w - 16 = 5*w. Is -10*(48/a)/w a multiple of 6?
True
Let y = -489 - -984. Is 3 a factor of 4/((-11)/(y/(-10)))?
True
Let x(p) = p**3 - 7*p**2 + 2*p - 10. Let s be x(7). Let b be s/(-8) - (-33)/2. Suppose j - 8 = -4*w, -b = -2*w + 6*w. Is j a multiple of 12?
True
Let p = -1776 - -4194. Is 26 a factor of p?
True
Let s be ((-2)/(-4))/((-3)/(-60)). Let o be (-591)/(-5) + (-2)/s. Is -3 - (-2)/4*o a multiple of 14?
True
Let o(i) be the first derivative of 20*i - 9 - 13/2*i**2. Is 17 a factor of o(-5)?
True
Does 3 divide 66 - (5 - (-4 + 5))?
False
Suppose -4*p + 11 = -v, -p + 7 = v + p. Let d(b) = 0 - 3*b - 3*b + v - 5. Does 14 divide d(-10)?
True
Let j = -32 + 32. Suppose j = 8*o - 51 + 19. Is 4 a factor of o?
True
Is (102/8)/((-3)/(-56)) a multiple of 21?
False
Suppose 3*o - 2*p + 3 = 58, 0 = 3*o + p - 67. Let y = o - 24. Does 2 divide (y/(-2))/((-13)/(-52))?
True
Let a(w) = 16*w + 602. Does 11 divide a(-15)?
False
Let t = -144 - -220. Does 19 divide t?
True
Let j = 18 - 13. Suppose -l = u - 0*u - 4, -4*l - j*u + 17 = 0. Suppose -3*k - l = -60. Is k a multiple of 6?
False
Let b = -64 - 42. Is 14 a factor of 2/(-3) - b/6?
False
Let h(g) = -56*g - 427. Does 7 divide h(-8)?
True
Suppose 3*h + 5*t = 686, 0 = -4*h + t + 2*t + 876. Suppose -7*x - h = -10*x. Does 12 divide x?
False
Let q(l) = -l**3 + 7*l**2 + l - 10. Let s = 2 + 5. Let a be q(s). Is 12 a factor of a + (-9)/3 + 30?
True
Let s(c) = c**3 - 5*c**2 + c + 7. Let u(k) = -k - 13. Let i be u(-18). Is 7 a factor of s(i)?
False
Suppose 3*u - 5*u + l = 13, 3*u + 6 = -3*l. Let p(x) = x**2 + 4*x - 4. Let g be p(u). Does 12 divide (g*-68)/(-2) + 2?
True
Let h(z) = -4*z - 6. Let o be h(-2). Let f be -4 + (1 - o - -8). Is 13 a factor of 117/f*(-16)/(-24)?
True
Let h(v) = 2*v**3 - 10*v**2 - 4*v + 28. Is 19 a factor of h(10)?
True
Let d(p) = p**2 + 6*p - 4. Suppose -2*r + 3*t = 7, -2*t - 3*t + 20 = -5*r. Let j be d(r). Does 10 divide 6/j*1*-15?
True
Suppose 675*c - 676*c = -150. Does 31 divide c?
False
Let t be (6/(-18))/(1/(-9)). Let k be (t*1)/(3/(-4)). Is 20 a factor of 1 + k/2 - -41?
True
Let o = -6 + 18. Is 106 + o/3 - 2 a multiple of 21?
False
Let a(q) = 53*q**2 - 5*q - 10. Is a(-2) a multiple of 3?
False
Suppose -5 - 25 = -5*c. Suppose c*x + 24 = 3*x. Let v = 11 - x. Is 10 a factor of v?
False
Let i(x) = x + 1. Let m be i(-4). Let d(n) = -n - 1. Let l(c) = 13*c - 3. Let g(f) = -4*d(f) - l(f). Is g(m) a multiple of 17?
True
Suppose 2*s - 3*o = 55, 3*s - o = -2*o + 55. Is 21 a factor of ((-408)/s)/(3/30*-2)?
False
Suppose -4*a = -2*a - 5*r + 14, 4*a + 18 = 5*r. Let q be ((-3 - a) + 0)*-2. Is 6*1/(q/21) a multiple of 20?
False
Let p = 47 + -70. Let s = 23 + p. Is 14 a factor of (s + -42)/(11 + -12)?
True
Is 41 a factor of 470/8 - (-6)/24?
False
Let i(o) = -4*o - 14. Suppose -1 = h - 4. Suppose 2*z = -9 - h. Does 3 divide i(z)?
False
Suppose 4*l = -3*c - 28, 4*l - 4 = -c + 6*l. Let g(q) = -6 - 2 - 4*q**2 - 228*q - q**3 + 222*q. Is 16 a factor of g(c)?
True
Suppose -x - 3*t + 60 + 2 = 0, -x = -t - 74. Let y be x + (-2 + 0 - -4). Suppose 0 = -4*d - 17 + y. Is 12 a factor of d?
False
Suppose 1000*w - 21710 = 987*w. Does 5 divide w?
True
Let v(l) = 4*l**2 + 13*l + 9. Is v(6) a multiple of 10?
False
Let c = 8 - 0. Suppose -c*r = -4*r - 20. Suppose 0 = -2*p + r*a + 58, 2*a + 2*a + 162 = 5*p. Is 13 a factor of p?
False
Suppose 2*l - t = 69 + 98, -233 = -3*l + 5*t. Is l a multiple of 16?
False
Let q = 806 + 2244. Is 25 a factor of q?
True
Let h be 2/(-4) - (-66)/4. Suppose -4*o - 5*n = -50, 0*o - 3*n + h = o. Is 14 a factor of (-172)/(-10) - 2/o?
False
Let p(b) = -b**3 + 9*b**2 + 3*b - 4. Let z be p(9). Suppose -22*v = -z*v + 9. Is 9 a factor of v?
True
Let m = 68 - 68. Is (-51 + 2 + m)*(-14 + 13) a multiple of 2?
False
Is ((-1620)/(-48))/(42/(-16) + 3) a multiple of 18?
True
Let l = -540 - -936. Is 36 a factor of l?
True
Let w = 1746 + -1506. Does 12 divide w?
True
Suppose 0 = 3*y - 2*p - 534, 2*y = -2*p + 229 + 137. Suppose -3*s = -11 - 1. Suppose s*i = i + y. Is 30 a factor of i?
True
Let x(h) = h**2 + 14*h + 1053. Does 33 divide x(0)?
False
Let f be -1 - (0 + -4 + 2). Is 0 - 1 - (-43)/f a multiple of 13?
False
Let z(i) = 95*i**2 + 3*i + 4. Let w be z(-1). Suppose -x = -4*x + w. Is x a multiple of 7?
False
Suppose 3 = 2*z - 5. Let x be z/2 + (-6)/(-3). Suppose -43 = -5*t + u, -3*t + t + 4 = x*u. Is 4 a factor of t?
True
Let a(i) = -81*i**2 + 7*i - 2. Let r(z) = -z**2 + z - 1. Let s(b) = -a(b) + 5*r(b). Is 15 a factor of s(-1)?
True
Let m be 1 + (-700)/(-4) - -3. Let u = -125 + m. Does 18 divide u?
True
Let r(s) = -2*s**3 + 23*s**2 + 10*s + 13. Let g be r(11). Suppose g = 5*u + 2*x, u + u + 4*x - 88 = 0. Does 10 divide u?
True
Let w(a) = a**2 + 2*a - 3. Let n(y) = -y**2 - 2*y + 3. Let z(h) = -4*n(h) - 3*w(h). Let d be z(2). Suppose 27 - 317 = -d*x. Is 13 a factor of x?
False
Let v(m) = -17*m + 120. Does 19 divide v(-19)?
False
Suppose -9*o = -6*o - 2*g - 1042, -4*o - g + 1404 = 0. Does 50 divide o?
True
Let f be 20/30 - 2526/9. Is -3*(f/(-15))/(-7) a multiple of 8?
True
Let l be -10 - -5 - (-177)/3. Let m = l + -14. Is m a multiple of 6?
False
Let o(n) = 14*n + 7. Suppose -1 = 2*q - 5. Is o(q) a multiple of 5?
True
Let x = 135 + -135. Suppose -5*y = -x*y - 215. Is 5 a factor of y?
False
Suppose 0 = -o - 128 + 204. Is 38 a factor of o?
True
Let z(j) = j**2 - j - 2. Let w be z(-2). Let k be 0/(-1 + (2 - w)). Suppose k = -22*l + 21*l + 59. Is l a multiple of 19?
False
Let m(t) = -3 + 1 - t**2 + 3 + 5 - 6*t. Let w be m(-7). Let a(z) = 24*z**2 - z - 1. Is 13 a factor of a(w)?
False
Let t be (-1485)/(-12) + (-2)/(-8). Suppose -t + 34 = -2*f. Let a = f - 12. Does 9 divide a?
False
Let s = -361 + 777. Suppose -5*m + w = -0*w - s, 2*m - 4*w = 152. Is m a multiple of 14?
True
Suppose 2*p + 1 = 21. Suppose -m = -1 - 18. Let b = m + p. Does 6 divide b?
False
Let u be ((-120)/50)/(6/40). Let q be u/6*(-30)/10. Suppose 4*y + 32 = 5*h - h, -3*h - 5*y = q. Is h a multiple of 4?
True
Suppose -4*b = 3*v - 3255, 2*b = -2 - 4. Is v a multiple of 11?
True
Let z(t) = -31*t - 114. Is z(-5) a multiple of 3?
False
Suppose 2*k = -0*k + 154. Let l be 30*(-5)/(-7 - -2). Let o = k - l. Is 14 a factor of o