 p(g) = 108*g**2 + g + 1. Let l be p(c). Is (l/8 - -1)*2 a multiple of 6?
False
Let o(j) = -10*j + 170. Is 35 a factor of o(-32)?
True
Does 17 divide (5 - 25/10)*3978/15?
True
Is ((-4)/1)/((-11)/88)*14 a multiple of 32?
True
Suppose -2*u = -3*u - 17. Let q(v) = v**3 + 16*v**2 - 21*v - 25. Is 8 a factor of q(u)?
False
Let o be (6/(-8))/(6/24). Let g = 57 - o. Does 18 divide g?
False
Is 22 a factor of 594/(1 - 0/2)?
True
Let v(d) = d**3 - 16*d**2 - 3*d - 16. Let l(b) = -2*b**3 + 31*b**2 + 5*b + 33. Let m(k) = 4*l(k) + 7*v(k). Is 4 a factor of m(12)?
True
Let o = 150 + -257. Suppose 0 = 3*d + x + 2*x + 177, 5*d = 5*x - 255. Let g = d - o. Does 13 divide g?
True
Let s = -12 - -15. Does 7 divide 1/s + (-161)/(-3)?
False
Suppose 0*o = -5*o + 770. Does 44 divide o?
False
Let p(w) be the third derivative of 0*w**3 - 1/24*w**4 + 0 + 0*w**5 - 7/40*w**6 + w**2 + 0*w. Is p(-1) a multiple of 6?
False
Let z = 3039 - 1539. Does 25 divide 2*(z/(-8))/(-5)?
True
Suppose d = -5*v - 10, -4*v + 8 = d - 5*v. Suppose -5*s + 70 = 5*p - 60, d*s - 150 = -p. Is s - (3 + (-2)/1) a multiple of 10?
True
Is 2 a factor of (9/18)/((-2)/(-3792))?
True
Let q be -4 - -1 - -54 - 3. Suppose -2*g - 5*u = g - q, g = -4*u + 16. Suppose -5*z + 79 = -g. Is z a multiple of 19?
True
Suppose 0 = m + 1. Does 13 divide 1003*m/(-7) - 2/7?
True
Suppose 3*s = -3*z + 444, 4*s - 644 = -5*z - 54. Is s a multiple of 25?
True
Let f = -945 - -976. Does 3 divide f?
False
Suppose 0 = 5*c - 2*c - 21. Let z(x) = -4*x + 12. Let u be z(c). Let i = u - -31. Is 5 a factor of i?
True
Let t(v) = 2*v**3 - 13*v**2 + 7*v - 19. Is t(9) a multiple of 11?
False
Let k(d) = 16*d**2 + 31*d - 15. Let g(s) = -11*s**2 - 21*s + 10. Let j(m) = 7*g(m) + 5*k(m). Is j(-5) a multiple of 6?
True
Suppose -4*d = -4*l - 4, -3*l - 8 = -5*d + 1. Suppose -10 = 3*c - 2*w, c - 5*w = -2*c + l. Is c/4*-1*10 a multiple of 7?
False
Let p be 2/4 - 38/4. Let y be 6/5*(-1 + -9). Let r = p - y. Is r a multiple of 2?
False
Let b(m) = m**2 + 20*m + 7. Let j be b(-22). Let t = j + 17. Is t a multiple of 4?
True
Suppose -244 = -5*b + 4*j, 4*b + 19 - 214 = 3*j. Suppose -5*u + 62 = 2*f - b, 0 = -5*f - 3*u + 275. Is 8 a factor of f?
False
Suppose -260 = -a + x - 27, x = 3*a - 693. Does 46 divide a?
True
Let f(o) = -2*o**3 + 7*o**2 + 13*o + 5. Is 13 a factor of f(-9)?
False
Suppose 4*x + 1939 = 5091. Does 4 divide x?
True
Let a be 36/2*(-8)/6. Is 4 a factor of 14/(4/a*-3)?
True
Is ((-243)/(-18))/(1/2)*2 a multiple of 3?
True
Suppose 0 = 2*g + 6*d - 5*d + 29, -5*g = -4*d + 105. Let j = g + 28. Let s = j - -5. Does 8 divide s?
True
Let k be 6/(-10) + (-558)/(-155). Suppose 3*d = 5*r - 6, 0*r + 3*r - 8 = 4*d. Suppose -172 = k*o - 7*o - 2*p, r = -5*p + 20. Is o a multiple of 11?
False
Let w(o) = o**2 - 2*o + 3. Let n be w(2). Suppose 0*d - d - 3*i = -16, -n*d = 3*i - 60. Is 12 a factor of d?
False
Let t(r) = 88*r**2 + 2*r - 1. Let l be 1 + (0/2)/((-1)/(-1)). Is 9 a factor of t(l)?
False
Let y = -74 - -75. Is (-170)/3*(-1 + y/(-2)) a multiple of 10?
False
Suppose 4*g - 5*u - 6103 = 0, 4*u = -2*g + 130 + 2928. Is 87 a factor of g?
False
Let s(t) = 15*t. Let q be s(1). Suppose -3*p = q, 0 = v - 4*p - 37 - 19. Is v a multiple of 12?
True
Let v(x) = x**3 - 10*x**2 + 10*x - 10. Let w be v(9). Does 16 divide w/1 - (3 + -125)?
False
Let n = -1988 - -2203. Is 7 a factor of n?
False
Let r(c) = 20*c + 8. Let s(t) = 40*t + 17. Let w(b) = -5*r(b) + 3*s(b). Does 29 divide w(7)?
False
Let g(r) be the third derivative of -7*r**4/24 - r**3/3 + 12*r**2. Suppose 4*i + 43 = -i + 3*v, 2*v = 2*i + 18. Does 15 divide g(i)?
False
Let p = 7 + 2. Suppose -2*d = 2*z - z + 18, 2*d - 2*z + 18 = 0. Let t = p - d. Does 9 divide t?
True
Let i(t) = -t**3 + 7*t**2 + 2*t - 9. Let v be i(7). Suppose -2*z - 2*o + 122 = 0, 2*z - v*o - 64 = 23. Is z a multiple of 7?
True
Let r = -22 - -26. Suppose -2*j + 6 = 3*u - 1, r*j - 5*u = 47. Is j even?
True
Let b(m) = m**3 - 7*m**2 - 4. Let p be b(7). Let n be p/(-14) - (-235)/35. Suppose 2*v = n*v - 95. Is v a multiple of 8?
False
Let j(t) = -3*t - 1. Let n be j(-2). Suppose v - 18 = 3*g, -n*v + 0*v = g - 10. Suppose 6 + 4 = -m + 5*z, 60 = 3*m + v*z. Is m a multiple of 15?
True
Suppose 3*k + 101 = -0*k - t, -2*k = 2*t + 62. Does 10 divide 312/14 + 10/k?
False
Suppose -5*o + 6957 = -18*n + 19*n, 0 = 3*n + 9. Is 48 a factor of o?
True
Let z(t) = -t + 1. Let q be z(8). Suppose w = -3, -5*u - 3*w = -4*w - 48. Let j = q + u. Is j a multiple of 2?
True
Let u = 2125 - -2572. Is 11 a factor of u?
True
Let r(b) = -b**3 + 12*b**2 + 5*b - 50. Is r(6) a multiple of 20?
False
Let y(v) = v**2 - 9*v + 18. Let s be y(8). Suppose 2*c = s*c. Suppose c = 5*l - 453 - 217. Does 34 divide l?
False
Suppose 1329 = 2*v - 5*r - 423, -v + 889 = 4*r. Does 39 divide v?
False
Suppose 14*d - 3*y + 3757 = 16*d, y + 1866 = d. Is d a multiple of 54?
False
Let t be (3 + -7 - -6) + 22. Suppose 2*b - t = b. Does 8 divide b?
True
Let o(k) = k**2 - 4*k - 6. Let z be o(-4). Let d = 24 - z. Does 28 divide 3*(d + (-220)/(-15))?
False
Suppose -6*v + 4*v = 0. Let o be (v - -1)/((-6)/300). Is 5/o*-5*198 a multiple of 15?
False
Suppose -i - 89 = -3*m + 4*i, 0 = 2*m - 3*i - 61. Suppose -s + m = -43. Is s a multiple of 9?
True
Suppose -8370 + 2604 = -6*m. Is m a multiple of 16?
False
Let t be ((-20)/30)/((-8)/6)*-254. Let d be 2/5 + (-1072)/5. Let y = t - d. Is 29 a factor of y?
True
Suppose 4442 = 2*a - 30. Is a a multiple of 43?
True
Let q = -26 + 31. Suppose -t = 5*f - 23, t + t - q*f - 31 = 0. Is 9 a factor of t?
True
Let i = -171 + 100. Let l be i/(-6) - (-6)/36. Let t = l + -6. Does 2 divide t?
True
Let g = -35 + 41. Suppose -4*q + g*q - 222 = 0. Does 36 divide q?
False
Let d be (2/6)/(15/(-45)). Is (0 - -1)/((-258)/260 - d) a multiple of 13?
True
Does 6 divide (-40)/200 + (-1758)/(-15)?
False
Let g(f) = -f**3 + 4*f**2 + 2*f + 2. Let w be g(4). Suppose o - 30 = w. Suppose m = o + 2. Is m a multiple of 14?
True
Suppose 0 = i + 5*n - 29, 4*n - 54 = -3*i - 0*n. Let d(t) = -t**3 + 3*t**2 + 2*t + 4. Let c be d(4). Does 13 divide ((-329)/i)/(2/c)?
False
Let u = 396 + -276. Let s = -60 + u. Is 6 a factor of s?
True
Let d(s) be the second derivative of s**4/12 - s**2/2 - 7*s. Let h(y) = -4*y**2 - 12*y + 1. Let i(c) = 3*d(c) + h(c). Is i(-11) a multiple of 8?
False
Suppose -10*a + 213 = -9*a + 3*i, -5*i = -a + 181. Does 2 divide a?
False
Let o(l) be the third derivative of -l**6/120 + l**5/60 + l**4/24 - 14*l**3/3 - 9*l**2. Let y be o(0). Let i = y - -40. Does 12 divide i?
True
Let m be 5/(2/48*3). Let p be (10/m)/((-1)/(-12)). Does 5 divide ((-176)/12)/((-1)/p)?
False
Let d(j) = j**3 + 3*j**2 - 8*j - 4. Let l be d(-5). Let z = -12 - l. Suppose 2*r + v - 101 = -z*v, -2*v + 50 = r. Does 13 divide r?
True
Let s = 11 - -4. Let k = 23 + s. Suppose -g + 3*g = k. Does 3 divide g?
False
Let q = -422 + 237. Let c = q - -269. Is c a multiple of 12?
True
Let i = -189 - -353. Is 6 a factor of i?
False
Let r = -145 - -239. Is r a multiple of 5?
False
Let a be 4/6*39*-1. Let u be -2 - -3 - 2 - a. Let b = -18 + u. Is b even?
False
Let j(s) = s**3 - 13*s**2 - 12*s - 24. Let r be j(14). Suppose -n = -2*p - 54 - 54, 120 = n + r*p. Is n a multiple of 14?
True
Suppose -6 = -0*z - 3*z. Suppose z*h + 2*k - 3*k = 255, 5*k = 2*h - 243. Is h a multiple of 23?
False
Let w = -16 + 21. Let d = w + 34. Is d a multiple of 21?
False
Suppose 0 = -f + 2*s + 3824, 11444 = 3*f - 231*s + 232*s. Is f a multiple of 18?
True
Let b = 97 - 68. Suppose -25*w = -b*w + 708. Is w a multiple of 32?
False
Suppose 2*j = -2, -4*j + 320 = -5*u - 9*j. Let m = -35 - u. Is m a multiple of 28?
True
Suppose 0 = -3*c + 44 + 16. Suppose c = 8*o - 3*o. Is o + -2*(-1 + 2) even?
True
Let m = 43 - 32. Suppose 8*n - m*n + 51 = 0. Is n a multiple of 17?
True
Let t = -428 + 817. Is t a multiple of 49?
False
Suppose 234 = 46*a - 45*a. Is a a multiple of 18?
True
Suppose -14*t - 15 = -19*t. Suppose t*r = -75 + 219. Is 9 a factor of r?
False
Suppose 0 = -3*j + 5*z - z + 321, -z = -5*j + 518. Does 16 divide j?
False
Suppose 0 = 3*t + 3, -2*t = -10*q + 15*q - 1393. Does 31 divide q?
True
Suppose -3*d = -4*p + 31, 4*d + 5*p + 0*p = -31. Let y = d + 9. Does 15 divide 3/2*(30 - y)?
True
Suppose 5 = -5*q - 0*q. Let j(x) = 38*x**2 - x. Is 13 a factor of j(q)?
True
Sup