True
Let g(a) = -476*a - 5. Does 50 divide g(-5)?
False
Let g be (-1*(-3 - -2))/(-1). Let c(k) = -36*k - 3. Is 5 a factor of c(g)?
False
Let i(v) = -2*v**2 - 45*v + 54. Does 26 divide i(-19)?
False
Suppose -14*g + 62*g = 34368. Is 4 a factor of g?
True
Suppose -6*t - 140 = -10*t. Is 660/t + 6/(-7) even?
True
Let w(f) = 1057*f**3 + f + 1. Let i be w(-1). Does 6 divide i/(-35) - 1/5?
True
Let z(g) = -3*g + 41. Let w be z(14). Let i(c) = 26*c**2 + 2*c + 3. Does 11 divide i(w)?
False
Let d be (0 - 5*(-2 + 3))*-15. Suppose d + 50 = 5*a. Is a a multiple of 25?
True
Suppose 5*d - 152 = 4*g - 40, 5*g = 2*d - 55. Does 8 divide 1948/d + (-4)/10?
False
Let k(l) = -2*l - 28. Let m be k(-14). Suppose -n + 5 = m, -42 = -5*y + 3*y - 2*n. Is y a multiple of 5?
False
Let n(t) = -t**3 - 2*t + 1. Let k(l) = -l - 2. Let v be k(1). Is n(v) a multiple of 21?
False
Let d(c) = 4*c - 1. Let i be d(0). Is 9 a factor of (-4)/(-6) - (i - (-606)/(-9))?
False
Let r be 0 - (-5 - (0 - (2 - -1))). Let g(i) = 12*i**3 - 3*i**2 + 5*i - 5. Is 28 a factor of g(r)?
False
Suppose 2*j + 2*p + 35 = 3*j, 5*p + 75 = 2*j. Let u = 4 - j. Let k = -9 - u. Is 5 a factor of k?
False
Let p = 125 - 73. Suppose 4*k + 0*k = p. Is 9 a factor of k?
False
Let j = 593 - 573. Suppose -2 = -3*y - d - 11, -5*d = -y - 19. Let l = j - y. Is l a multiple of 12?
True
Let d(f) = -3*f**2 + 32*f + 3. Let k(a) = a**2 - 11*a - 1. Let l(z) = -4*d(z) - 11*k(z). Let w be l(8). Suppose -w*s = -2*s - 200. Does 12 divide s?
False
Let c be 3*2/6*19. Suppose -4*h = 30 + 30. Let k = h + c. Is 4 a factor of k?
True
Suppose -3*q - 4*t = -37, -2*q = -7*q + 5*t + 85. Let n = q + -7. Does 3 divide (n/(-12))/(2/(-12))?
False
Let z be -2 + -3 + 4/(-2). Let o = z - -9. Let h = 5 + o. Is h a multiple of 6?
False
Suppose 5*g - 1573 - 3402 = 0. Is 41 a factor of g?
False
Let o = -1232 + 2881. Does 78 divide o?
False
Let j(x) = -3*x. Let l be j(-8). Let w = l + 6. Is w a multiple of 22?
False
Suppose -3*u - 2*q = -120, -5*u + 213 - 15 = 4*q. Is 3 a factor of (72/u)/(2/7)?
True
Suppose -3*y + 2*y - 22 = -5*x, -3*y = -2*x + 14. Suppose -x = -i - o, 5*o - 3 - 1 = 3*i. Does 15 divide 74/(i + -5 - -5)?
False
Let i(o) = -15*o**2 - 10*o + 34*o**2 - 5*o + o**3 - 33. Is i(-19) a multiple of 42?
True
Suppose 2*i + 4 = 4*p, -4*i + 1 + 6 = -5*p. Let d(j) = -j**3 + 10*j**2 - 7*j + 6. Does 9 divide d(i)?
False
Let i(h) = -130*h + 5. Let q be i(-1). Let s = -82 + q. Is s a multiple of 3?
False
Let u(x) = -x**2 + 16*x + 3. Suppose 14 + 121 = 9*n. Does 12 divide u(n)?
False
Let z(r) = r**2 - 25*r - 9. Is z(30) a multiple of 2?
False
Let v be (-1158)/(-8) + (-6)/(-24). Suppose 2*h - v = -33. Suppose 2 + h = w. Is w a multiple of 14?
False
Let i(u) = -u**3 + u**2 + 2*u - 6. Let m be i(0). Is (96/5)/((5 + m)/(-5)) a multiple of 8?
True
Let u(d) = 8*d**2 + 68*d - 15. Is 20 a factor of u(6)?
False
Let v be (-9)/(36/(-8)) - 0. Suppose -5*j - 41 + 216 = -v*r, 0 = 4*r. Does 6 divide j?
False
Suppose 5*c + 33 = 98. Suppose 5*d = c + 17. Suppose -d*z + z = -210. Does 14 divide z?
True
Let t = -1 + 5. Suppose 0 = 8*w - t*w - 20. Suppose 0 = -o - 5, -2*u - 3*u - w*o + 75 = 0. Does 5 divide u?
True
Suppose -4*k - 2 = 2*i, 5*k = -0*k - 15. Let b be -3 - (-9*i + -3). Suppose -3*y - 69 = -m, 3*y - b = -m - 0*y. Is 19 a factor of m?
True
Let t be 14/(-16) + ((-7)/(-56))/(-1). Is 233 + (1 + -1 + 0)/t a multiple of 40?
False
Suppose i + 5 = 7. Suppose 0*z + 34 = z + 5*m, 2*m = -i*z + 108. Let n = -36 + z. Is 23 a factor of n?
True
Suppose y = 3*h - 13, -3*h + 8 = 5*y - y. Suppose h*p = -20, -184 = 2*w - 3*w + 4*p. Is w a multiple of 51?
False
Let s(m) = -7*m + 104. Let n(x) = 3*x - 52. Let c(i) = -5*n(i) - 2*s(i). Is 6 a factor of c(22)?
True
Let w(g) = 259*g**2 + 19*g - 31. Is w(2) a multiple of 8?
False
Suppose 5*t + m + 321 = 0, m + 0*m - 4 = 0. Let l = -58 - t. Does 4 divide l?
False
Let h(k) = -5*k**3 + 60*k**2 + 22*k + 23. Does 4 divide h(12)?
False
Let d(o) = o**2 - 17*o - 49. Let k be d(20). Suppose 0 = -11*b + 88 - k. Is 6 a factor of b?
False
Let q = -1170 - -1200. Is 3 a factor of q?
True
Let x = 95 - 90. Suppose 15*m = 12*m - x*t + 689, -5*m = -5*t - 1095. Does 11 divide m?
False
Let v(c) = 18*c. Let k be v(2). Let y = k - 22. Is 14 a factor of y?
True
Let a = 1 + 10. Let f be a/3 + (-6)/(-18). Suppose -f*o + 60 = 4*c, 0*o - 3*c - 95 = -4*o. Is 20 a factor of o?
True
Let u(d) = 14*d + 3 + 5*d**3 + 3 - 8*d**3 - 16*d**2 + d**3. Does 14 divide u(-9)?
True
Let i(c) = -c**3 - 4*c**2 + 6*c - 4. Let d be i(-5). Let m = -5 - d. Suppose 38 = 3*t - 0*r + r, -2*t = m*r - 32. Does 5 divide t?
False
Let b(f) = f**2 - 6*f - 96. Is 26 a factor of b(30)?
True
Let c = -2354 - -2644. Is 10 a factor of c?
True
Let y = 151 + -148. Suppose 0 = 3*r - g - 364, r + y*g = 155 - 17. Does 41 divide r?
True
Suppose -5*l - 5*h = -3020, 3*h + 364 + 2024 = 4*l. Is l a multiple of 20?
True
Suppose 0 = 10*p - 76 - 164. Does 6 divide p?
True
Suppose 5*g + r - 7 = 146, r = 4*g - 126. Suppose -102 + 28 = -4*o + 2*k, -5*k - 89 = -4*o. Let w = g - o. Is w a multiple of 3?
True
Let r be 3/(-5) - 978/(-30). Let f = r + -13. Is 4 a factor of f?
False
Let q(z) = -3*z**3 + z**2 - 17*z + 23. Does 30 divide q(-6)?
False
Let s(b) = -b**3 - 11*b**2 - 2*b - 28. Let q be s(-11). Let n(a) be the second derivative of -a**5/20 - a**4/2 + a**3/6 + 19*a**2/2 - a. Does 13 divide n(q)?
True
Suppose g - 1 = 0, z + 3*z + 2*g = 154. Suppose z*h = 33*h + 135. Is h a multiple of 15?
False
Let z be (-5 + 3 - -1) + 82. Suppose -p = z - 213. Suppose 13*m - 10*m = p. Does 11 divide m?
True
Let f(g) = g**3 + 3*g**2 - g + 3. Let k = -37 + 34. Is 6 a factor of f(k)?
True
Let j(g) = 34*g + 12. Does 6 divide j(6)?
True
Suppose -2*o = -0*o - 8. Let r be 28/(14/(-4) + o). Is 1 + r/((-4)/(-4)) a multiple of 11?
False
Let b be -8 + (6 - 2/1). Let r = 0 - b. Suppose 69 - 189 = -r*c. Does 30 divide c?
True
Let q(s) = s**3 + 3*s**2 - 2*s + 1. Let w be q(1). Suppose 5*o - 187 = -0*o + w*x, x = -4. Is o a multiple of 5?
True
Let x(l) = -3*l**3 - 8*l**2 + l + 16. Is x(-7) a multiple of 14?
False
Suppose 6*k - 2*k - 1108 = -5*x, 4*x + 3*k = 887. Suppose -3*z - 64 - x = 0. Let r = -23 - z. Is r a multiple of 21?
False
Let z = 31 - -133. Does 14 divide ((-30)/(-20))/(2/z)?
False
Suppose 2269 + 5090 = 3*u. Is 13 a factor of u?
False
Suppose -5*x + 5377 = 782. Is 31 a factor of x?
False
Is 8 a factor of 145 + (1 - 9/(-3)) + -5?
True
Suppose 33*w - 35*w + 538 = 0. Is w a multiple of 14?
False
Suppose -27*n = 47*n - 40848. Is n a multiple of 92?
True
Suppose 0 = g - 4*g + v + 219, -v = 4*g - 292. Suppose -63 - 17 = 2*h + 2*t, -2*h + 3*t - 95 = 0. Let b = g + h. Is 10 a factor of b?
True
Let k(u) = 3*u**3 - 4*u**2 + 2*u + 2. Let j be k(2). Let t = j - -60. Is t a multiple of 11?
False
Is 43 a factor of (-3536)/(-5) + 1*3/(-15)?
False
Let b be ((-16)/(-4))/1 + -2. Let x(j) = j**2 + 3*j - 5. Is 5 a factor of x(b)?
True
Let n = -32 + 47. Does 3 divide n?
True
Let y = -11 + 596. Is 27 a factor of y?
False
Suppose -5*s = 4*u + 9, 0*u + 4*u - 1 = 5*s. Let l be s/(-5) - 210/(-75). Suppose -7*n + w = -3*n - 90, l*w + 28 = n. Does 22 divide n?
True
Let t(l) be the first derivative of -l**6/40 - l**5/30 - l**3/3 + 3*l**2 - 3. Let a(w) be the second derivative of t(w). Is a(-2) a multiple of 14?
True
Suppose -3*g = 3*g + 66. Let k = g + 17. Is 6 a factor of k?
True
Let u(s) = 6*s**2 + 11*s - 179. Does 6 divide u(7)?
True
Let i(j) = j**3 + 12*j**2 + j + 5. Let o be i(-12). Let l = o - -87. Is l a multiple of 16?
True
Let u = -37 - -55. Suppose -u = -d - 2*d. Let c = 24 - d. Is 6 a factor of c?
True
Suppose 0 = 2*h + 8 - 16. Let z = h + -6. Is z/4*(-12 - -6) even?
False
Suppose -u - 5*h + 383 = 0, 2*h = -2*u - 0*h + 798. Is u a multiple of 13?
True
Let u = 43 + -163. Let o = 123 + u. Does 2 divide o?
False
Let p be 21/(-12)*12/(-3). Suppose 0 = -4*y - p + 15. Suppose -35 = -y*w + 25. Is 15 a factor of w?
True
Is ((-236)/295)/(2/(-6935)) a multiple of 22?
False
Let t be (176/12)/(-4)*-18. Let p be t/4*(-40)/(-15). Suppose 4*l + p = w, 5*w - 188 = 5*l - l. Is 18 a factor of w?
True
Suppose 0 = -a - 2*x + 13, 4*a - 5*x + 3 = -10. Suppose 73 = a*v - 2*v. Is v a multiple of 17?
False
Does 31 divide -6 + 3 - (-2462 - (8 + -18))?
True
Let h = -562 + 1005. I