3 a factor of 1 - -11 - u/1?
True
Is 7 a factor of -1 + 4/10 + (-3515)/(-25)?
True
Let a be 220 + (8 - (-1 + 5)). Let o = 12 - 9. Suppose o*f = a - 29. Does 13 divide f?
True
Suppose -22*i - 2924 + 9612 = 0. Is i a multiple of 8?
True
Suppose -354*p + 351*p = -1089. Is p a multiple of 10?
False
Let g(l) = 0 + 2*l - 5 + l. Does 7 divide g(11)?
True
Suppose -r + 68 = -97. Suppose a + a = -u + 81, -4*a - 3*u = -r. Does 15 divide a?
False
Let w = 16 - 12. Let r be (6/(-9))/(w/(-84)). Suppose -2*k + 2*u = -r - 12, -5*u + 23 = 3*k. Is 11 a factor of k?
True
Suppose -2*m + 3*m - 3*s = 46, -4*m + 5*s = -191. Suppose 3*u - 155 = m. Does 17 divide u?
True
Suppose -2*p = 2*r - 1044, 3*p + 5*r - 1782 = -210. Is 44 a factor of p?
False
Suppose -4*d + 8 + 0 = -3*p, -4*p + 4 = 2*d. Let x = 14 + d. Is 27 a factor of 1730/x - 7/56?
True
Let t = 36 + -20. Let k = -83 + 88. Suppose -k*r - t = -r, -4*r - 132 = -4*x. Is x a multiple of 13?
False
Suppose -22*q - 3*w - 124 = -24*q, 0 = -q + 2*w + 61. Is 5 a factor of q?
True
Suppose -4*p - 11 = 5. Does 40 divide (5 - 20)*(-2 + p)?
False
Let p = -65 + 83. Suppose a - 2*m = -m + 24, -a - 5*m = -p. Is a a multiple of 23?
True
Let y = 22 - 40. Let p = y - -2. Does 12 divide 26*2*(-4)/p?
False
Let s = -21 - 43. Let d(g) = -4*g**3 + 2*g**2 + 4*g + 4. Let r be d(-3). Let j = s + r. Does 15 divide j?
False
Suppose 2926 = 2*o + 4*r, 0 = 5*o - 3*r - r - 7301. Is o a multiple of 9?
False
Let k = 2955 + -1956. Suppose 8*p + p = k. Is p a multiple of 13?
False
Let h = 24 - 30. Let y = 77 + h. Let d = 51 + y. Does 39 divide d?
False
Let x be 1*(-1 - (-3 + 0)). Suppose x*g = -3*c - 0*g - 50, 3*c + 35 = -5*g. Let i = -4 - c. Does 11 divide i?
False
Let s(q) = 3*q**3 + q - 8. Let g(h) = -h**3 - 8*h**2 - 7*h + 2. Let t be g(-7). Does 18 divide s(t)?
True
Let x = -147 - -2177. Does 14 divide x?
True
Let l(g) = -3*g - 10. Let v be 3/21 + 72/(-14). Let a be l(v). Suppose -2*x - 10 + 82 = c, a*x = -c + 63. Is 26 a factor of c?
True
Suppose 3*g = -g - 4*t + 60, -5*t + 27 = g. Suppose 842 = g*d - 1222. Does 43 divide d?
True
Let q(z) be the third derivative of -1/120*z**6 - 1/3*z**4 + 8/3*z**3 + 2/15*z**5 + 0 + 0*z + 9*z**2. Does 2 divide q(7)?
False
Suppose 12*q - 40 = 2*q. Does 21 divide 1/q - (-1255)/20?
True
Let h(c) = 6*c - c - 11*c - 12. Suppose -5*m - 19 - 66 = 0. Is 35 a factor of h(m)?
False
Let v be (-8 + (-147)/(-14))/((-2)/(-4)). Suppose 206 = 4*w - 5*a - 226, -v*w = 2*a - 573. Is w a multiple of 17?
False
Let v(w) = 8*w**2 - 6*w - 8. Let s(g) = 9*g**2 - 7*g - 9. Let l(b) = -6*s(b) + 7*v(b). Does 10 divide l(4)?
True
Let p = 1349 - 785. Is 26 a factor of p?
False
Let x(b) be the first derivative of -b**4/4 - 2*b**3 - 5*b**2/2 + 3*b + 7. Does 9 divide x(-6)?
False
Let s(a) = -a**3 + 6*a**2 - a - 5. Suppose -5*b + 0 + 13 = 3*k, -5*b + 17 = 2*k. Is 15 a factor of s(b)?
True
Is 87/(15/6 + -1) a multiple of 29?
True
Let y be 9/((-36)/(-8)) - -2. Does 14 divide (45/(-12))/(y/(-96))?
False
Suppose 4*d - 9 = w, -4 - 5 = -w - 2*d. Suppose -w*g = g - 472. Does 37 divide g?
False
Let j be (-8)/12 - (-56)/(-6). Let i = -7 - j. Suppose -i*c = -c - 66. Is c a multiple of 11?
True
Suppose -21541 - 5939 = -15*u. Does 73 divide u?
False
Let p be 1/2*36/(-6). Let u be (1/p)/((-2)/(-6)). Does 16 divide 40 - ((3 - 1) + u)?
False
Let j = -16 - -18. Suppose -2*h + 4*h = j*l + 36, 3 = l. Is h a multiple of 3?
True
Suppose 0 = 3*y - 5 + 17. Let d be (-1)/((y + 2)/18). Suppose -73 + d = -4*c. Does 6 divide c?
False
Let b(j) = j. Let t(m) = -6*m + 8. Let o(x) = 5*b(x) + t(x). Is 3 a factor of o(-4)?
True
Let u(d) = 3*d. Let v(x) = 5*x + 1. Let r be 0 - ((-2)/(-1))/(-2). Let j be v(r). Is u(j) a multiple of 4?
False
Suppose 0 = 5*g + k - 5*k - 4892, -k = -2. Suppose -6*z + g = -z. Suppose 0 = -5*i - 4*x + z, -5*x - 6 = -26. Is i a multiple of 9?
True
Suppose -8*x = -14*x + 12. Does 38 divide x/6 - 7970/(-30)?
True
Suppose j - 2*s = 10, 5*j + 0*s - 50 = 4*s. Let o(x) = -x**3 + 9*x**2 + 10*x + 7. Does 2 divide o(j)?
False
Let j = -274 + 295. Is 7 a factor of j?
True
Let a = -51 - -49. Let b(m) = -3*m**3 - 3*m**2 - 4*m - 1. Is b(a) a multiple of 19?
True
Let d(c) = c**3 - c**2 + 5*c - 6. Is 3 a factor of d(4)?
False
Suppose -5*m + 17 = v, 3*m + v - 5 = m. Suppose 5*n - 2 = m*g, -2*n + 0*n + 2*g = 0. Is 19 a factor of (190/(-20))/((-1)/n)?
True
Let c(r) = 355*r**3 + 4*r**2 - 9*r + 5. Does 43 divide c(1)?
False
Suppose -3779 = -5*b + 271. Is b a multiple of 29?
False
Let u(c) = -620*c**2 - 2*c - 1. Let q be u(-2). Let h = q + 5125. Is 15 a factor of 4/(-22) - h/(-44)?
True
Let l(f) = -f + 15. Let h be l(12). Suppose h*y = o - 142 + 520, -5*o + 650 = 5*y. Is 8 a factor of y?
False
Let b(v) = -2*v + 6. Suppose 10 = 3*l + 82. Let a = 20 + l. Does 8 divide b(a)?
False
Let m(i) = -10*i - 1 + 5*i + 10*i. Is 20 a factor of m(12)?
False
Let l(b) = -15*b**3 + 2*b + 2. Let a be l(-1). Let v be ((-18)/15)/(3/a). Does 9 divide -2 + (41 - (-3 - v))?
True
Let m(r) = -27*r + 15. Let t be m(-8). Suppose 3*u + 0*o = -3*o + t, 2*u + 3*o - 149 = 0. Is 18 a factor of u?
False
Let k(p) = 4 + 12*p**2 + p**3 - 6 - 5 + 8 - 2*p. Is k(-11) a multiple of 24?
True
Let y(z) = 2*z**3 + 53*z**2 + 14*z - 80. Is 2 a factor of y(-26)?
True
Let n(a) be the first derivative of 5*a**3/3 + 7*a**2/2 + 16*a - 27. Is n(-6) a multiple of 14?
True
Let p(z) be the first derivative of z**3/3 - z**2/2 + 54*z + 2. Let j(w) = -w - 19. Let t be j(-19). Is p(t) a multiple of 13?
False
Suppose 2 + 13 = b. Suppose -3 = -l + n, -4*n = 5*l - b - 9. Suppose -18 = -l*q + 86. Does 26 divide q?
True
Is 11 a factor of (-15)/20 - (-2)/((-24)/(-2865))?
False
Is 20 a factor of -1646*(-9)/54 + (-2)/6?
False
Let d(q) = -75*q + 355. Does 73 divide d(-5)?
True
Let p = 15 - 5. Is 1*105/p*10 a multiple of 35?
True
Does 34 divide (-3 - (-23)/2)*(3 + 97)?
True
Suppose 10 = w - 3*w. Let t be 77/w + (-2)/(-5). Let y = 15 - t. Is y a multiple of 15?
True
Let z(r) = -r + 5. Let c be z(3). Suppose -y + 59 = c*j - 6*y, 4*y - 32 = -2*j. Suppose b = 3*b - 2*d - j, 5*d + 41 = 4*b. Is 14 a factor of b?
True
Let m = -254 - -374. Suppose 5*b = 2*h + 30, 2*b + 4*h + 16 = b. Suppose m = b*q - q. Is q a multiple of 20?
True
Suppose u + 9 = 4*t, -4 + 10 = -3*t + 5*u. Does 20 divide 1960/24 + (-2)/t?
False
Let l be 0/((-7)/((-21)/6)). Suppose l = 3*g - 2*b - 105, 0 = 6*b - b. Does 14 divide g/(-10)*(-16)/2?
True
Let a = -9 - -12. Let s = a - 1. Suppose -6*c + s*c = -208. Does 13 divide c?
True
Let q(r) = r + 1. Let d be q(-1). Let l be -20 + -3*(-1 - d). Is 8 a factor of (l - -11)*16/(-3)?
True
Let q(g) = -g**3 - 16*g**2 - 9*g + 7. Let w be q(-15). Let j = 200 + w. Does 13 divide j?
True
Suppose 0 = 235*m - 221*m - 2296. Is m a multiple of 4?
True
Suppose -2*s + 3*s = f + 1, -2*s + 5*f - 10 = 0. Suppose 4*q = 5*m - 99, -2*m - s*q = -1 - 32. Is 11 a factor of m?
False
Let g be (-3 - -83) + (-1 - -2). Suppose 6*r - g = -3*r. Is r a multiple of 9?
True
Suppose -6342 = -0*q + 7*q. Is 20 a factor of q/(-14) - (-10)/35?
False
Let c(s) = -s**3 + 25*s**2 - 119*s + 45. Is 2 a factor of c(14)?
False
Let o(t) = 53*t - 3. Let s(h) = -80*h + 5. Let v be 5*(-3 - (-1 - 1)). Let l(y) = v*s(y) - 7*o(y). Does 25 divide l(4)?
False
Suppose 28 = -o + 10. Let d = o - -27. Is 2 a factor of d?
False
Suppose -2*z - 2596 = 3*r - r, -1292 = r - z. Let f = r - -899. Is 8/(-28) - f/14 a multiple of 17?
False
Let h(l) = 3*l**2 + 4*l + 1. Suppose 4*d - 2*s = -30, 3*d = 3*s - s - 25. Let o = d - -2. Is 8 a factor of h(o)?
True
Let h = 562 - 460. Is 6 a factor of h?
True
Let j = -61 + 66. Suppose -173 = -2*t + 3*y, 0*t + 2*t + j*y = 213. Does 25 divide t?
False
Let j(r) = -5*r + 42. Does 25 divide j(-5)?
False
Let d(g) = 2*g**2 + 5*g - 2. Suppose -2 = -s - 0*s. Let p(c) = -c**2 - 5*c + 1. Let n(w) = s*d(w) + 3*p(w). Is 5 a factor of n(7)?
False
Suppose 65*w + 298080 = 185*w. Does 23 divide w?
True
Suppose 0 = c - 0*c + 2, 0 = b + 5*c - 389. Suppose -7*w + 2*w + 2*y + 490 = 0, 0 = -4*w + 3*y + b. Does 16 divide w?
True
Let u = 979 - 517. Is u a multiple of 11?
True
Let a(d) = d**2 + 15*d + 20. Let q be (3/6)/(2/20). Suppose -m - 15 = 5*v + 5, q*m + v + 76 = 0. Does 10 divide a(m)?
True
Does 45 divide ((-180)/(-8))/((-3)/(-36))?
True
Does 15 divide (165/(-9))/((-8)/264)?
F