96*28/8?
False
Let v = 9 - 12. Let o be -2 - 155 - (-3 - -2). Does 38 divide (v/(-9))/((-1)/o)?
False
Let x(k) = 2*k**2 + 11*k - 11. Let l be x(-6). Let h = 14 + l. Is h a multiple of 2?
False
Let q be -41 + 40 - (-1 - -1 - -17). Does 8 divide ((-27)/q)/((-3)/(-32))?
True
Let m(c) = c**2 + 6*c + 3. Let q be (2/(-4))/(1/22). Let k be m(q). Suppose -5*y - 95 = -5*j, k + 5 = 3*j + 3*y. Is j a multiple of 20?
True
Let z(g) = -2*g**2 - 31*g + 118. Is 14 a factor of z(-18)?
True
Let j be 6*(-1)/4*10. Let o(q) = q**2 + 12*q + 33. Is o(j) a multiple of 26?
True
Suppose -126 + 33 = -3*o. Let p = -13 + o. Let a = 31 - p. Is 5 a factor of a?
False
Let d(t) = -8*t - 5. Suppose -w + 2 = -2. Let h = -6 + w. Is 11 a factor of d(h)?
True
Suppose 143 + 139 = 3*b. Let x = b - 43. Is x a multiple of 16?
False
Let u(y) = 3*y - 5. Let f(z) = -z**2 - 11*z + 16. Let n(o) = -o**3 + 7*o**2 - o - 5. Let i be n(7). Let m be f(i). Is 2 a factor of u(m)?
False
Suppose 5 = 2*j - 3*c + 2, 0 = -5*j + 5*c. Does 17 divide j + ((-8)/(-6))/(42/1197)?
False
Let f(s) = s + 6. Let y be f(-2). Let p(x) = 64*x**2 + 2*x - 1. Let a be p(1). Suppose 0*c - a = -3*c + y*j, 4*c - 91 = j. Is 19 a factor of c?
False
Suppose -4*k = 5*s - 2149, -s + 3*k = s - 878. Is s a multiple of 14?
False
Let b(t) = 4*t**3 + 8*t**2 - 20*t + 3. Let r(q) = 7*q**3 + 16*q**2 - 41*q + 7. Let y(g) = -5*b(g) + 3*r(g). Is 31 a factor of y(5)?
False
Suppose 5*q + 30 = 4*m, 3*q = -m - 0*m - 35. Let i = -5 - q. Suppose i*x = -y + 6*y - 165, 0 = -2*y + 4*x + 72. Does 8 divide y?
False
Let k(f) be the second derivative of f**3 - 23*f**2/2 + 16*f. Is k(5) a multiple of 3?
False
Suppose -m - 15 = -4*z, 2*z + 3*z - 2*m = 21. Let l(f) = -3*f + 31. Let d be l(9). Suppose z*b + 2*c - 14 = 2*b, b = -d*c + 16. Is 5 a factor of b?
False
Let l = 7 - 7. Suppose 11*u - 319 + 22 = l. Does 4 divide u?
False
Let d(m) = 3*m**3 + m**2. Suppose 2*i = 5*r + 29, -4*i + 3*r = -0*r - 23. Is 14 a factor of d(i)?
True
Let l be 1/(3 + 147/(-48)). Suppose -5*u - 35 = 5*z, u = 2*u - 2*z - 8. Does 4 divide l/(-1) + (1 - u)?
False
Let q(s) be the second derivative of -2*s**3 + 13/2*s**2 - 7*s + 0 + 1/12*s**4. Is 13 a factor of q(12)?
True
Let j(q) = -187*q - 2. Let f be j(-1). Suppose 4*s + s - f = 0. Let p = -12 + s. Does 11 divide p?
False
Suppose -5*q + 24 = d, d + 2*d - 17 = -4*q. Suppose -710 = -q*s - 135. Does 23 divide s?
True
Does 34 divide (2/2)/(90220/(-8203) - -11)?
False
Is (2 - (-592)/6)*24/16 a multiple of 22?
False
Let j(s) = 2*s**3 + 8*s**2 - 2*s - 6. Suppose 15*i - 17*i - 8 = 0. Let c be j(i). Suppose 5*k = c*k + 27. Is k a multiple of 9?
True
Let v = 3066 + -1825. Is v a multiple of 29?
False
Let k = -34 + 17. Suppose -3*u - 2*o = -94, -o + 1 + 88 = 3*u. Let j = k + u. Is 8 a factor of j?
False
Let p = -139 - -82. Let r = p - -109. Suppose -w + r = w. Is 24 a factor of w?
False
Suppose -3*a + 85 = 5*s, a + 65 = -s + 4*s. Suppose 17*z + 63 = s*z. Does 21 divide z?
True
Suppose 0 = 3*m - 72 - 99. Is m a multiple of 9?
False
Suppose 49 + 174 = u. Suppose 11*c - u = 162. Does 35 divide c?
True
Let y = 11 + -19. Let c be (-4)/16 - 18/y. Let u(i) = 20*i - 4. Is 12 a factor of u(c)?
True
Let n be (-24)/(-84) - 33/(-7). Suppose 4*i = -s + 2*s + 380, -20 = -n*s. Is i a multiple of 29?
False
Let n(y) be the first derivative of -5*y + 9 - 1/2*y**2 + 1/3*y**3. Does 26 divide n(10)?
False
Let y = -10 - -19. Let h = 56 + y. Does 22 divide h?
False
Let k(v) = 234*v**2 - 11*v - 52. Is 96 a factor of k(4)?
True
Let c(h) = -5*h**3 + 13*h**2 - 5*h + 10. Let r(p) = -4*p**3 + 12*p**2 - 5*p + 10. Let f(i) = -3*c(i) + 4*r(i). Is f(8) a multiple of 5?
False
Does 14 divide 1/((6*(-1)/(-58))/3)?
False
Suppose 18 = 5*i - 7. Suppose 2*w + 432 = i*s, 2*w - 16 = -18. Does 43 divide s?
True
Suppose 2*t = -3*a + 629, -a + 2*t = -2*t - 219. Is a a multiple of 19?
False
Suppose 118 + 57 = -5*l. Is (((-12)/(-15))/(-1))/(1/l) a multiple of 14?
True
Let u be -4 - (1 + 2 + -6). Let a(f) = 21*f**2 - 5*f + 2*f**2 + 3*f. Is 12 a factor of a(u)?
False
Let c(t) = -2*t**3 - 8*t**2 + 5*t + 6. Let f be c(-6). Suppose a + f = 3*a. Is 7 a factor of ((-44)/(-6))/(40/a)?
False
Let c(m) = -40*m + 38. Let z be c(-5). Suppose 0*i = -2*i + z. Is i a multiple of 17?
True
Suppose -3*l - 2*t + 10524 = 0, 0 = 5*l + 4*t + 3*t - 17529. Is l a multiple of 54?
True
Suppose 9*f - 680 = 40. Does 16 divide f?
True
Let v(r) = 2*r + 1. Let j be v(-2). Let p(g) = -6*g - 3. Let h be p(j). Does 8 divide (-85)/(-3) - (-10)/h?
False
Let r(d) = -5*d**3 - 2*d**2 + 2*d - 1. Let w be r(-5). Suppose -w = -5*f + 71. Is f/4 + (-7)/(-28) a multiple of 16?
True
Let s(t) = t**3 + t**2 + 9. Let h be s(0). Suppose 3*n - 4*x = n - 14, -5*n = x - h. Is 9 a factor of 13 - n - 15/(-5)?
False
Let f(y) = y**3 + 3*y**2 - 2. Let u be f(-2). Let v(z) = 6*z**2 - 2*z + 1 + 27*z**u - 3 + 48*z**2. Is v(-1) a multiple of 18?
False
Let m(l) = -215*l**3 + 3*l**2 + 2*l. Does 6 divide m(-1)?
True
Suppose -u + 13*u = -216. Suppose 4*t - 41 = 55. Is 8 a factor of (t/u)/(1/(-12))?
True
Suppose -5*i + 9 = -2*i. Suppose 5*p - f = -i*f + 11, -5*p + 9 = 3*f. Is 5 + -5 - -8*p a multiple of 8?
True
Let l = 62 + 1. Is l a multiple of 9?
True
Let l(t) = -t**2 - 16*t - 2. Let s be l(-18). Let c = s + 62. Does 6 divide c?
True
Let b(a) = 8*a**2 + a + 2. Let p be b(-1). Let r = 31 - p. Does 11 divide r?
True
Let l = -166 - -206. Is l a multiple of 4?
True
Suppose z + 11 = 2*z. Suppose 0 = 4*s, 5*s - z = -a - 1. Does 5 divide a?
True
Suppose -2335 = -10*p + 255. Does 7 divide p?
True
Suppose j - 2*j + 3 = -d, -5 = -2*j + 3*d. Suppose n - 25 = -j. Let k = 51 - n. Does 10 divide k?
True
Let s = -27 + 97. Let j = s - -110. Is j a multiple of 30?
True
Let r be (-12)/(-8)*(-16)/(-4). Does 3 divide 2 + (8/r)/(1/12)?
True
Let p(b) = 5*b - 5. Let z be p(2). Let q(c) = 85*c + 4. Let o be q(z). Suppose -69 = 5*r - o. Is r a multiple of 24?
True
Let f(w) = 4*w - 16. Suppose -k + 146 = o + 2*o, o - 4*k = 66. Let c = o + -36. Is f(c) a multiple of 20?
True
Let x be 15/(0 - -3)*1. Suppose -a - 289 = 5*j - 2*a, x*j + 301 = 4*a. Let k = j - -116. Is k a multiple of 24?
False
Suppose 7*b - 2*b - 30 = 0. Let d be 0/3 + -3 + -11. Does 3 divide 44/b - d/21?
False
Does 8 divide (-29)/(-116) + (-3182)/(-8) - 6?
True
Let b(s) = s**2 + 12*s - 12. Let h be b(-9). Let r = h - -95. Is r a multiple of 7?
True
Let r be (-4)/(-6) + 13/3. Suppose 0 = -r*v + 14 - 4. Suppose 0 = 3*t + 9, -t - 17 = -v*o + 2*t. Is o a multiple of 2?
True
Let d(i) = -2*i - i - i - 4. Let c be d(-2). Is (c - -24)*(-3)/(-4) a multiple of 19?
False
Suppose -3*m = -5*m + 2. Let h be 0 - m - 13/(-13). Suppose h = -4*w + 2*w + 126. Does 21 divide w?
True
Let l(m) = m**2 + 5*m - 10. Let b be l(-7). Let u(a) = -a**3 + 20*a**2 - 34*a + 39. Let s be u(18). Suppose 0 = -t - b*t + s. Does 5 divide t?
True
Let w(v) = -v**3 + 10*v**2 + 2*v - 6. Let f be w(10). Let p be 51/7 + (-4)/f. Suppose -p*o + 2*o = -280. Is o a multiple of 28?
True
Let f(x) = 4*x**3 + x**2 - 2*x - 1. Let j be f(3). Let k = j + 12. Is k a multiple of 12?
False
Let p = 46 - -9. Is p a multiple of 8?
False
Suppose 4*x = 3*n + 16 + 49, 4*n - 16 = -2*x. Let q(j) = -j**2 - 11*j - 2. Let a be q(-9). Let t = x + a. Is t a multiple of 6?
True
Suppose 2*m - 16 = 4. Suppose m*w = -148 + 848. Is w a multiple of 7?
True
Let p(t) = -t**3 + 7*t**2 + t - 5. Let u be p(7). Does 17 divide (-49 - u)/(1/(-2))?
True
Let s(x) = -2*x - x**3 - 2*x - 94 + 92. Let d be s(-3). Suppose 4*j - d = 35. Is j a multiple of 6?
True
Suppose 3*s + 36 = -3*f, 0*s = -2*s + 3*f - 9. Is 18 a factor of (s/(-6))/((-18)/(-240))?
False
Suppose -2 = -18*t + 16*t. Let s(o) be the third derivative of 13*o**6/60 + o**5/60 - o**4/12 + o**3/6 - o**2. Is 10 a factor of s(t)?
False
Let r = 18 - 19. Is -274*((-42)/28 - 1/r) a multiple of 25?
False
Suppose 4*z = 5*k - 0*k + 80, -64 = 4*k + 3*z. Suppose -6*t + 20 + 196 = 0. Let q = k + t. Is 10 a factor of q?
True
Suppose 3*r + 5*s - 9 = 0, -5*r + 4*s - 3*s + 15 = 0. Suppose -4*o = -r*o, o - 17 = -y. Does 4 divide y?
False
Let r = -34 - 5. Is 36 a factor of (-8359)/r - 4/(-6)?
False
Suppose 575 = 4*n + a - 126, -169 = -n + a. Is n a multiple of 3?
True
Suppose -6*o + 369 = -3*o. Suppose o = -5*x + 673. Is x a multiple of 22?
True
Suppos