2 = 3*c - 2*t. Does 35 divide -4*15/(-40) - 91/c?
False
Let x = -905 + 1121. Is x a multiple of 7?
False
Let b = -988 + 1079. Does 13 divide b?
True
Let z = 7176 + -5063. Is 16 a factor of z?
False
Suppose 10*x + 0*x = 440. Does 22 divide (-8)/(2/x*-1)?
True
Let y(j) = 7*j + 2. Let x = 6 + -2. Let o be y(x). Let u = 28 + o. Is 29 a factor of u?
True
Suppose -6*c + 80 = -4*c. Let r = c - 11. Does 13 divide r?
False
Suppose -22 = -m - 14. Suppose m = 3*q - 25. Is 4 a factor of q?
False
Suppose 3*s + 2*i + 140 = 5*s, -i = -3*s + 210. Let v = -43 + s. Suppose -v*t - 8 = -28*t. Does 5 divide t?
False
Let j(v) = 10*v + 196. Does 16 divide j(-18)?
True
Does 25 divide ((-80)/(-8))/(4/90)?
True
Suppose 3 = 3*r - 0*r. Let p(z) = -9*z + 2 + r - 3 + 1. Is 5 a factor of p(-1)?
True
Let w(p) be the third derivative of p**4/4 + 13*p**3/6 - 6*p**2. Does 20 divide w(14)?
False
Suppose -141*g + 154*g - 11700 = 0. Is g a multiple of 30?
True
Suppose -3*j + 150 = -v, -2*j = 5*v - j + 686. Does 7 divide (v/12)/((-3)/6)?
False
Let t = -334 + 1189. Is 10 a factor of t?
False
Let v(q) = q**2 - 6*q + 10. Let a be v(5). Suppose a*l + 2*h = 3*h + 400, -4*l = 4*h - 320. Does 16 divide l?
True
Let t(f) = -17*f + 295. Is t(13) a multiple of 74?
True
Let x(m) be the first derivative of m**5/120 + m**4/6 + 4*m**3/3 - 5. Let g(v) be the third derivative of x(v). Is g(6) a multiple of 5?
True
Suppose 8 = -3*a - 5*v, -3*a - 2*a + 4*v + 36 = 0. Suppose 32 = 4*n - 4*o, 2*o - a = -5*n + 15. Suppose 11 = 3*l - 4*z - 24, n*l = z + 64. Is l a multiple of 9?
False
Let o = 184 + 776. Is 40 a factor of o?
True
Let d(n) = -3*n + 99. Is 9 a factor of d(-18)?
True
Let n = -6 + 24. Is 7 a factor of (72/21)/(n/189)?
False
Let u(j) = -j**2 + 9*j - 8. Let g be u(8). Let z be g*(-2)/((-12)/3). Suppose -5*m = -3*x - z*m + 57, -m = -x + 17. Is x a multiple of 14?
True
Let k be (0 - (1 + 0)) + -16. Let q = 3 - k. Does 4 divide q?
True
Let r be (-64)/(-10) - 30/(-50). Let n be r/(-7) - (-6 + 1). Suppose -4*p - 68 = 4*j - 220, n*j + 82 = 2*p. Is 13 a factor of p?
True
Let u be (11 + -7)*10/(-2). Let r = -2 - u. Does 18 divide r?
True
Suppose 4*k = -q + 66, -16*k + 13*k + 262 = 5*q. Does 8 divide q?
False
Let u be -1 + (-8)/(-1) - 3. Suppose 9 - 58 = 5*b + a, 0 = -u*a + 4. Is (b - -3)*(-2)/1 a multiple of 4?
False
Let a(h) = -2*h - 4. Let g be a(-5). Suppose -3*u - 6 = 2*i, 0*u + g = i - 3*u. Suppose i = 4*n - 9*n + 35. Is 2 a factor of n?
False
Let o(v) = v**2 + 3*v - 7. Let k be o(-5). Let n(r) = r**2 + 3*r + 37. Let x be n(0). Suppose 0 = -k*p + x + 170. Does 23 divide p?
True
Suppose 0 = c + 2, 5*c - 7*c = 3*k + 13. Suppose -m + g + 35 = 0, m - 4*g - 13 = 28. Let s = m - k. Does 12 divide s?
True
Suppose 19*a - 8849 = -869. Is 84 a factor of a?
True
Let n(k) = -k**2 - 42*k + 141. Does 8 divide n(-41)?
False
Let i(t) = -2*t**3 + t**2. Let a be i(-1). Suppose 37 = -0*h + h - a*g, -2*h = -3*g - 74. Suppose -157 = -4*w - h. Does 13 divide w?
False
Suppose -3*l + 6*l = 0. Suppose -2*v - 5*f + 29 = l, 7*v = 2*v - 5*f + 35. Suppose -3*x + 12 = -v*x. Is x a multiple of 11?
False
Let x(f) = -137*f + 9. Is 21 a factor of x(-3)?
True
Let y(c) = 5*c**2 + 4*c + 2. Let s be ((-6)/4)/(15/340). Let m = 31 + s. Is 6 a factor of y(m)?
False
Let v be 4/(-28) - 267/(-7). Suppose -6 = 4*p - v. Suppose 0*o - o = 3*q, -p = -3*o - 5*q. Is 6 a factor of o?
True
Suppose -h + 95 = 127. Let r = h + 53. Is r a multiple of 21?
True
Let d(a) = a**2 + 2*a - 3. Let u be d(-8). Suppose -7*i + 2*i = -u. Let t = i + -1. Is t even?
True
Suppose b = 2 - 3. Let r(c) = 68*c**2 + 5*c + 5. Is 17 a factor of r(b)?
True
Let s be (-693)/56 + 3/8. Let x(j) = -j**2 - 13*j - 1. Let z be x(s). Suppose 12*u - 30 = z*u. Is u a multiple of 6?
True
Suppose -725 = -z + 41*y - 39*y, 4*y + 731 = z. Does 6 divide z?
False
Let u = -23 - -25. Suppose -u + 20 = 3*a. Suppose -5*k = 0, -3*p + 3*k + a = -p. Is p a multiple of 2?
False
Suppose 64 = 3*j - 143. Suppose 3*b + 112 = -7*x + 2*x, -5*x + 5 = 0. Let m = j + b. Is 10 a factor of m?
True
Let v(c) = 22*c**2 + 27*c - 116. Does 62 divide v(4)?
False
Is 40 a factor of (-10)/(-45)*9 - -206?
False
Let k = -6284 - -10619. Is k a multiple of 47?
False
Let m(r) = 34*r**3 + 4*r - 4. Let l be m(3). Suppose l + 214 = 5*n - 5*d, 20 = -5*d. Does 30 divide n?
False
Is 7 a factor of (-61)/(-1) + (0 - (10 + -5))?
True
Let z = 40 - 30. Suppose 0 = -3*i + z + 101. Is 6 a factor of i?
False
Let j(y) = -y**3 + 5*y**2 + 4*y + 5. Let g be j(7). Suppose 2*r - 5*h + 172 = 0, h - 2*h - 2 = 0. Let s = g - r. Is 13 a factor of s?
True
Suppose -2*w - 14 = -2*i, 0 = 2*i + 3*w - 3 + 9. Suppose -4*h + g = -164, 5*g = i*h - 0*g - 106. Let d = -24 + h. Does 9 divide d?
True
Suppose 5*z = 10045 - 2460. Is 8 a factor of z?
False
Is 25 a factor of (-11)/55 - (-1 - (-5786)/(-5))?
False
Suppose 2*m + 4658 + 19838 = 5*r, 19594 = 4*r - 3*m. Is 23 a factor of r?
False
Let g(o) be the third derivative of -o**6/120 - o**5/15 + 3*o**4/8 - 7*o**3/3 + 15*o**2. Is 10 a factor of g(-7)?
True
Suppose -3*f + 45 = 18. Let n = f - 9. Suppose n = 2*k - 105 + 9. Is 16 a factor of k?
True
Let q be 96/18 + 1/(-3). Suppose -2*s + d + 159 = 0, -q*s + 4*s + 72 = 2*d. Is 13 a factor of s?
True
Let v = -2091 - -5106. Is v a multiple of 15?
True
Let o(j) = 4*j**2 + 47*j + 293. Is o(-23) a multiple of 42?
False
Let m be (32/(-24))/((-2)/(-3)) + 2. Suppose -2*o - 2*x + 58 = m, -o + 3*x - 115 = -5*o. Is o a multiple of 8?
False
Suppose 2*v + 0 = 12. Is 15 + 1/((-2)/v) a multiple of 6?
True
Is 25 a factor of (-120)/16*6804/(-45)?
False
Let g(p) = 11*p**2 + 5*p + 15. Let f(q) = -51*q**2 - 2 + 46*q**2 - 2*q - 5. Let y(u) = -9*f(u) - 4*g(u). Is 11 a factor of y(-2)?
True
Suppose -3*w + 187 = 4*t - 1681, 4*w - 5*t = 2532. Does 59 divide w?
False
Is (-7 + -3633)/(-7) - -5 a multiple of 15?
True
Is (4/(-5))/(2370/125 - 19) a multiple of 2?
True
Let b = -530 + 892. Is b a multiple of 12?
False
Let l(b) = 7*b + 28. Let k be l(-6). Let j = k + 36. Does 5 divide j?
False
Let q(z) be the second derivative of z**5/20 - z**4/12 + z**3/3 - 11*z**2/2 + 10*z. Let t be q(5). Let x = -30 + t. Is 23 a factor of x?
True
Suppose 4*s - 701 = d, -5*s + 570 = -2*d - 304. Is 4 a factor of s?
True
Suppose -6*q + 11*q - 440 = 0. Is 11 a factor of q?
True
Suppose -3*l - 42 = -5*j, -j - 2*l = -2*j + 14. Let a be (-5 - -2 - -6) + j. Let r(g) = 2*g + 4. Is r(a) a multiple of 11?
True
Let h = 20 + -42. Let y = 29 + h. Suppose 4*j = y*j - 99. Does 8 divide j?
False
Suppose w = 36 - 49. Let n = w - -61. Is n a multiple of 4?
True
Suppose 9*i + 207 = 6*i. Is i/(-6) - (-2)/4 a multiple of 4?
True
Let u(v) = v**3 + 8*v**2 - 9*v + 3. Let s be u(-9). Let c be 2 + (24 + -2)/1. Suppose -3*i = -2*x + 41, x + 2*x = -s*i + c. Is 7 a factor of x?
False
Let r(d) = 15*d - 6. Let q be r(7). Suppose -2*t - 3*j = -q - 72, 4*t = -5*j + 343. Suppose -t = -3*p - 0*p. Is p a multiple of 11?
False
Suppose -5*x = 2*r - 481, 3*x - r - 293 = -0*x. Does 11 divide x?
False
Let q be ((-3966)/9)/(14/(-21)). Suppose -5*n - 111 = -q. Does 13 divide n?
False
Suppose 7 + 14 = k - d, 0 = 5*k + 5*d - 125. Let l be (-26 - -6)*26/(-5). Let h = l - k. Is h a multiple of 18?
False
Let w be (3 - (-5)/(-2))*(-100)/2. Is (-3792)/(-20) + (-10)/w a multiple of 19?
True
Suppose -7*b + 2*b + 1558 = 4*p, 2*b = -2*p + 780. Is p a multiple of 56?
True
Let l = -7 - -14. Suppose -320 = 2*r - l*r. Is r a multiple of 26?
False
Suppose -3*o + 5*w + 199 = -445, 4*w - 20 = 0. Suppose -4*a - 3*x = -o, -4*x + 6*x - 166 = -3*a. Does 26 divide a?
True
Let i(q) = -q**3 - 10*q**2 - 4*q - 15. Let w(j) = -j**3 - j**2 - 10. Let v = 5 + -5. Let t be w(v). Is 9 a factor of i(t)?
False
Suppose -7*c = 14*c - 9870. Is c a multiple of 47?
True
Let l(f) = 34*f + 3. Let p(v) = 69*v + 6. Let c(y) = 7*l(y) - 4*p(y). Let m be c(-1). Is m + 14/2 + -3 a multiple of 11?
False
Suppose 4*i - 2*y - 7 = 77, 0 = 3*i - 5*y - 56. Suppose f - i = -2. Is 2 a factor of f?
True
Let g be 4*2*(-5)/(-20). Let k = g - -3. Suppose -k*t + 5 = r, -r + 3*t = 6*t - 7. Is 6 a factor of r?
False
Is 8 a factor of -10 + 8841/(13 + -10)?
False
Suppose -7*l + 3*l + 2*i = -448, l - 112 = i. Is 8 a factor of l?
True
Let u(a) = 3*a**3 + a + 1. Let w be u(-1). Does 14 divide 374/10 + w/(-5)?
False
Let 