or of w?
False
Is 12 a factor of -9*1/(-15) - (-50694)/85?
False
Does 58 divide (-1735)/(-9) + 4/18?
False
Let l(a) be the second derivative of a**5/4 - a**4 - 17*a**3/6 + 15*a**2/2 - 11*a. Let s(f) = f**3 - f. Let p(g) = l(g) - 6*s(g). Does 31 divide p(-12)?
False
Let i(n) = 11*n**2 - 1 + n + 4 + 1 + n**3 + 4*n. Is i(-5) a multiple of 32?
False
Suppose 3*f + 8 + 9 = t, 133 = 5*t + f. Does 5 divide (t/(-3))/(2*(-1)/15)?
True
Let n(k) = 13*k**2 + 11*k - 1. Let i(x) = 7*x**2 + 5*x. Let q(s) = 5*i(s) - 2*n(s). Is q(-2) a multiple of 28?
False
Suppose 14*f - 2*f = 660. Suppose -163 = -6*t - f. Does 5 divide t?
False
Suppose -15*s + 10*s = 345. Let w = 172 + s. Is w a multiple of 12?
False
Suppose -860 = -2*a + 4*k, 4*a - 3*k - 1734 = -2*k. Is 18 a factor of a?
False
Suppose p = 3*p + 26. Suppose 5*a - 240 = a. Let v = a + p. Is 13 a factor of v?
False
Suppose -5*j - 952 = -12*j. Is j a multiple of 17?
True
Let i = -198 + 288. Is i a multiple of 15?
True
Suppose 4*j + j - 5*m = -30, 4*j + 21 = m. Let q be (0 - 2) + 3 - j. Suppose -7*s = -q*s - 6. Is s a multiple of 3?
True
Suppose 2*o + 4 = 3*w + 2, 2*w = 3*o + 3. Suppose 4*y = 3*v + 76, w*y + 56 = 3*y - 2*v. Let d = y + 12. Is d a multiple of 12?
False
Is 22 a factor of 1/(8/202) - (-13)/(-52)?
False
Let b(q) = -12 + q**2 + 2*q - 3*q + 12*q + 1. Suppose -i - 9 = -5*s, -2*s - 51 = 4*i - 7*s. Is b(i) a multiple of 15?
False
Suppose n = -2, -6 = -2*z + 5*n + 104. Suppose -105 = -5*c + z. Does 3 divide c?
False
Let y be 10/50 + 1379/5. Suppose 0 = f - o - 73, 4*f - y - 40 = -4*o. Suppose 0 = -3*h + g + 56, -3*h = -0*h + 4*g - f. Is h a multiple of 3?
False
Suppose 68 - 196 = -p. Does 22 divide (66/8)/(24/p)?
True
Is 9 a factor of (7106/(-95))/(4/(-30))?
False
Suppose -2*u + 10 = 3*o - u, 30 = 4*o - 2*u. Suppose 3*k - 9 = -3*c, -3*k + 5*c = -o*k - 6. Let r = 51 - k. Is 12 a factor of r?
False
Let u = 6 - 1. Suppose 10*h = u*h - 5*f + 30, 3*h - 4*f - 11 = 0. Does 13 divide (104/h)/(4/10)?
True
Let p = -7 - -10. Let s(r) = -9*r - p*r + 0*r + 9*r. Is s(-6) a multiple of 6?
True
Let h(y) = -y**2 - y + 1. Let n be h(3). Let v = 10 + n. Is 4 a factor of 4*(-1 + 2 - v)?
True
Let b = -17 - -19. Suppose -8 = -l + 5*d + 20, -d = -b. Suppose -l = -w + 4*o, 13 = w + 4*o - 1. Does 26 divide w?
True
Suppose -30 = -g - 9. Suppose 5 = -2*u + f + 33, -3*u = 5*f - 42. Let d = g - u. Is d a multiple of 7?
True
Let t(g) = 3358*g**3 + 3*g**2 - 20*g + 19. Does 36 divide t(1)?
False
Suppose 154 + 1784 = 6*a. Is a a multiple of 21?
False
Suppose 20 = -5*l - n, 4*l + n + 17 = -0*n. Let x(w) = 2*w**2 - 14*w - 13. Let d(q) = q**2. Let p(f) = l*d(f) + x(f). Is 9 a factor of p(-10)?
True
Let n = 12 + -8. Suppose 0 = 2*f + n - 6. Does 11 divide (17 + -18)/(f/(-41))?
False
Let y be 20/30 - (-5588)/6. Let r = y - 1427. Is 11 a factor of 2/(-6)*r/15?
True
Let v be 0 + 1 - (3 + (4 - -1)). Is 4 a factor of (-9)/(-2) - v/(-14)?
True
Let t(y) = y**3 + 11*y**2 - 3*y - 5. Let s be t(-11). Let x be s*(-1 - (-9)/6). Suppose -n + 5 = -x. Does 6 divide n?
False
Let u(a) be the third derivative of a**6/120 - a**4/12 + 11*a**3/3 + 3*a**2. Let c(o) = -o + 7. Let n be c(7). Is u(n) a multiple of 11?
True
Let l(b) be the third derivative of b**5/12 + b**4/24 - b**3 + 22*b**2. Is 6 a factor of l(3)?
True
Does 57 divide (1377 - -28) + (4 - 0)?
False
Suppose -2*h + 8 - 4 = 0. Let t be 202*(h - (-20)/(-8)). Let p = t - -148. Does 23 divide p?
False
Suppose -5*t + 5*m + 12075 = 0, 3*t - 56*m + 51*m = 7247. Is 17 a factor of t?
True
Suppose 0*z = z - 10. Suppose 5*s - 30 + z = 0. Is 22 a factor of s*(0/(-3) + 18)?
False
Suppose h + 256 = 3*g - 3*h, h = g - 85. Is 9 a factor of g?
False
Let k(f) = f**3 - 9*f**2 + 5*f - 12. Let h be k(11). Let g = 441 - h. Is g a multiple of 32?
False
Let q(b) = 8*b**2 + 25*b + 14. Is q(6) a multiple of 14?
False
Suppose 18*v = 7*v + 4158. Is v a multiple of 18?
True
Suppose 3*v + 11*f - 5739 = 14*f, 4*f = -2*v + 3796. Does 8 divide v?
False
Let t(p) = -111*p + 4. Let m(b) = -56*b + 2. Let g(x) = 7*m(x) - 3*t(x). Let r be g(-1). Suppose -y = -2*n + 44, 5*n = 2*n - y + r. Is n a multiple of 6?
False
Suppose -5*c - 4692 = -11*c. Suppose 0 = 4*m - c + 194. Is m a multiple of 49?
True
Let k = -32 - -34. Suppose -k*u = -3*f + 136, -5*f - 4*u + 210 = u. Is 29 a factor of f?
False
Let a(o) = -o**2 + 6*o - 9. Suppose r - 2 = -y, -4*y = 5*r - 0 - 6. Let w be a(y). Does 25 divide 4/(-4)*w + 24?
True
Let l(o) = -7*o**2 - 488*o - 39. Does 39 divide l(-66)?
True
Suppose 0 = 2*f + 2, 0 = 21*d - 24*d - 2*f + 316. Let h be 0 - 23 - (-1 - -2). Let q = d + h. Is 24 a factor of q?
False
Suppose -r - p = -718, -3*r - 4*p + 458 = -1697. Is 34 a factor of r?
False
Let c(z) = -7 - 6*z + 4 - 2 - 16. Does 13 divide c(-16)?
False
Suppose 11*n + 290 = 6*n. Let x = n + 127. Does 26 divide x?
False
Suppose -34*k - 30*k + 2304 = 0. Does 2 divide k?
True
Let p(z) = 3*z**2 + 24 + z**3 - 4*z**2 - z + 0*z. Let d be 10/(-20)*0/4. Is 8 a factor of p(d)?
True
Suppose -4*w + 1 + 3 = 0. Let t = w - 4. Is 30 a factor of -1 - (t - -3) - -54?
False
Suppose 0 = l + l. Suppose l = -u - c + 4*c - 19, -5*u - 2*c = 27. Does 14 divide 0/(-1) - 196/u?
True
Let d = -22 + 84. Let c = 119 - d. Is 18 a factor of c?
False
Is 152/6*9*(-6)/(-9) a multiple of 19?
True
Let b(m) = -m**2 + 15*m + 40. Does 6 divide b(10)?
True
Suppose 3*o + 40 = 13. Let s = o + 70. Does 14 divide s?
False
Let o = -10 - -39. Suppose 2*x + 4*t + 98 = 4*x, 0 = x + 2*t - o. Does 13 divide x?
True
Does 17 divide (68/3)/(388/48 - 8)?
True
Suppose -j + 0*f = -f + 2, j = 5*f + 14. Let r(g) = -g**3 - 4*g**2 + 5*g + 2. Is r(j) a multiple of 8?
False
Is 143/5*(24 + -19) a multiple of 13?
True
Let k(a) be the second derivative of -a**5/20 + a**4/2 - a**2 + 3*a. Let o be k(6). Is o/(-3) - 52/(-3) a multiple of 9?
True
Let w(y) = 2791*y**3 - y**2 - y + 2. Is w(1) a multiple of 20?
False
Let k be (-1)/(-1) + (19 - 19). Does 4 divide 471/15 + (k - 14/10)?
False
Is 16 a factor of (-33)/(-66) + (-3382)/(-4)?
False
Suppose 0 = 17*t - 13*t, -5*t - 2949 = -3*i. Is 21 a factor of i?
False
Let b(l) = 11*l**2 + 23*l - 6. Is b(-6) a multiple of 84?
True
Suppose 5*s - f + 1971 = 0, 0 = -2*s - 3*s + 3*f - 1963. Let c = -230 - s. Does 9 divide c?
False
Let s(d) = -7*d + 11. Let i(x) = x**2 + 13*x + 17. Let q be i(-11). Is s(q) a multiple of 38?
False
Is (-12729)/(-5) + (-927)/515 a multiple of 16?
True
Suppose 7*z + 36 - 57 = 0. Suppose -i = -5*g - 25, -5*i + 3*g = -0*i - 37. Suppose -2*o + 54 = -z*f + i, -4*o = 4*f - 48. Does 17 divide o?
True
Let c(p) = 2*p - 2. Let j be c(2). Is 21 a factor of j/(-8) - 2862/(-24)?
False
Let v(u) = -u**3 - 4*u**2 + 9*u + 16. Let h be v(-6). Is 3 - (-2 - h)*2 a multiple of 25?
True
Is -23 - -21 - (0 - 1849) a multiple of 48?
False
Let l(g) = 6*g**3 - 7*g**2 + 7*g + 7. Let d(c) = 0 + 3 + 7*c**3 + 0 + 8*c - 8*c**2 + 5. Let q(s) = -5*d(s) + 6*l(s). Does 4 divide q(2)?
False
Let s be ((-3)/9 - -1)/(1/(-3)). Is 11 a factor of s + 1 + (0 + 157 - 2)?
True
Let l be (-4 - 116)/(3/(-10)). Is 2 - 5 - (2 - l/5) a multiple of 15?
True
Suppose f = -5*o - 7 - 8, -2*o = f + 6. Let s(t) = t**2 - 5*t - 3. Is 21 a factor of s(o)?
True
Let p(l) = -3*l + 1. Let o = -24 + 17. Is 11 a factor of p(o)?
True
Does 13 divide 9/(-18)*(-8)/12*5817?
False
Suppose -9*y = -25227 - 10773. Does 20 divide y?
True
Suppose 1 = 5*m - 4. Let s be (m + -2)/1 + 1. Is 1*s/1 + 16 a multiple of 16?
True
Let c = -4682 - -10874. Does 16 divide c?
True
Let u be 4/6 + (-1196)/(-6). Let g = 422 - u. Is 36 a factor of g?
False
Let o = 7295 + -4085. Does 10 divide o?
True
Suppose -2*o - 657 = -3*w + 3*o, -4*o + 630 = 3*w. Is 17 a factor of w?
False
Is (-4 + 5)/((2/(-1))/(-158)) a multiple of 24?
False
Suppose -5*r + 219 + 246 = 0. Let g = r + -51. Suppose g = -6*m + 7*m. Is m a multiple of 21?
True
Let n = 667 + 1438. Is 50 a factor of n?
False
Suppose 4*l - 16 = -0*l. Let z(x) = -6*x - 10. Let o(s) = s + 1. Let q(w) = -5*o(w) - z(w). Does 4 divide q(l)?
False
Is (159/15)/((2/90)/1) a multiple of 9?
True
Let d(h) be the first derivative of h**5/60 - h**4/8 - h**3/3 + 7*h**2/2 - 2. Let z(x) be the second derivative of d(x). Is z(-7) a multiple of 13?
False
Let n(l) = 3*l + 17. Let k be n(-13). Let d = k - -46. Is d a multiple of 4?
True
Let