Is 31 a factor of y?
True
Suppose 238 = 3*p - q, 5*q + 150 = -4*p + 6*p. Is p a multiple of 13?
False
Let x(s) = 9*s**2 + 17*s + 8. Let w(n) = -5*n**2 - 9*n - 4. Let o(j) = 11*w(j) + 6*x(j). Let k be o(4). Suppose k = -4*l - 213 + 549. Is l a multiple of 15?
False
Is 9 a factor of (378/(-4))/3*-2?
True
Suppose 2776*i - 2772*i = 1000. Is 6 a factor of i?
False
Let u(x) = -2*x**3 + 43*x**2 + 77*x - 14. Is u(23) a multiple of 13?
False
Let w be ((-870)/40)/((-3)/16). Let c = 114 + w. Suppose -c = -v - 4*v. Is v a multiple of 15?
False
Let k(s) = -56*s - 80*s - 112*s + 48*s. Let g be k(-1). Suppose -5*v + 254 = 4*t, 2*v = -2*v - 4*t + g. Is v a multiple of 27?
True
Suppose -4*w + 400 = -5*i - 6, 2*w + 3*i - 192 = 0. Suppose -4*r + m = r - w, 2*r - m = 42. Is r a multiple of 12?
False
Let h(c) = -c**3 + 11*c**2 - 10*c - 10. Let y(x) = -2*x**3 + 23*x**2 - 20*x - 21. Let s(b) = -5*h(b) + 2*y(b). Let w be s(6). Let i = 80 + w. Does 8 divide i?
True
Let n = -63 - -99. Suppose 5*s = 6*s - n. Is s a multiple of 18?
True
Let c be 8 + 1/((-20)/8)*10. Suppose v - c*l + 0*l - 50 = 0, 0 = -3*l + 9. Does 6 divide v?
False
Suppose 5*d = 15*d - 1230. Does 41 divide d?
True
Suppose 20 = 5*o, -3*o + 123 = 4*g - 1073. Is 30 a factor of g?
False
Suppose -7*c + 24*c = 714. Does 8 divide c?
False
Let v(k) = 9*k**2 + 7*k + 4. Is v(-4) a multiple of 7?
False
Let p = -251 + 427. Is 40 a factor of p?
False
Suppose 0 = 2*v - v + 2*f + 8, 0 = -v + 5*f + 13. Let a be (-128)/(-2) - v - -3. Suppose 3*c - 3 = a. Is 12 a factor of c?
True
Let m(k) = k - 7. Let l be m(4). Let a be (-5)/l*3*1. Suppose -322 = -a*p + 113. Does 29 divide p?
True
Suppose -3*b + 1545 = -5*n - 413, -2*b + 5*n = -1302. Is b a multiple of 16?
True
Suppose -5*y + 2 = -4*y, 0 = 5*f + 5*y - 690. Suppose 0 = x + 2*t - 6 - 24, f = 4*x + 4*t. Is x a multiple of 25?
False
Let i be (-8 + 6)/(1/(-5)). Suppose 0*m + i = m. Suppose -d + 2*d = m. Is d a multiple of 7?
False
Let m(u) = -2*u**3 - 7*u**2 - 6*u. Suppose 0 = -9*d - 9 - 45. Is m(d) a multiple of 18?
True
Let v(y) = -y**3 + 10*y**2 + 10*y - 6. Let s be v(9). Suppose 0*l - 5*l = z + 287, -3*z - s = 3*l. Let k = 102 + l. Does 8 divide k?
False
Let h(n) be the second derivative of -n**2 + 0 + 3*n - 11/3*n**3. Is 5 a factor of h(-1)?
True
Suppose 4*a = 2*o - 208, 2*a = 3 - 5. Is o a multiple of 22?
False
Suppose w + 196 = 4*m, -2*m + 7 = 5. Let r = -59 - w. Is r a multiple of 20?
False
Is 7 a factor of (21/(-2))/(5/((-7900)/30))?
True
Suppose 54 = b - 25. Suppose -2*h = 43 - b. Does 18 divide h?
True
Let v(u) = -31*u + 256. Is 9 a factor of v(0)?
False
Let i(z) = -z**3 - 6*z**2 + 2*z - 17. Let v = -86 - -79. Does 2 divide i(v)?
True
Let f(z) = -z**3 - 8*z**2 + 3*z + 10. Let i be f(-8). Let n = 6 - i. Suppose 3*s = 4*d + n, -s - 3*d = d - 28. Is 4 a factor of s?
True
Suppose 6*g - 3*g - 78 = 0. Let d = 85 + -83. Suppose -5*i = -2*r - 190, -d*i = r + g - 93. Is i a multiple of 12?
True
Let j(u) = -55*u - 60. Is j(-4) a multiple of 4?
True
Let f(z) be the first derivative of 19*z**2 - 7. Is 12 a factor of f(1)?
False
Let b(y) = 8*y**2 - 8. Let d(v) = v + 11. Let k be d(-7). Does 20 divide b(k)?
True
Let h be (1/2)/(2/4). Let d be (-7 - -6)/(h/(-85)). Let l = d + -31. Is l a multiple of 18?
True
Let a = 142 - 57. Does 17 divide (34/a)/((-2)/(-610))?
False
Let i(t) be the first derivative of -t**2/2 + 24*t - 8. Is 10 a factor of i(12)?
False
Let q = -26 - -29. Suppose q*d = l - 50, d - 150 = -3*l - 0*l. Is 8 a factor of l?
False
Suppose -4*k = 2*u, 4*k = -u - 1 - 5. Let s(c) = u*c + 5 - 3*c - c - 22 + c**2. Is s(-8) a multiple of 17?
False
Let n(w) = w**2 + 6*w + 3. Let s be n(-4). Let d(t) be the first derivative of -t**4/4 - 5*t**3/3 - 4*t**2 - 10*t + 4. Is d(s) a multiple of 15?
True
Let k = -155 + 1463. Does 14 divide k?
False
Suppose u + 0*p = -5*p + 1760, 4*p - 8779 = -5*u. Is 80 a factor of u?
False
Suppose 4*t - g = -24, -4*t = 2*g + 12 + 12. Let x be ((-9)/t)/(3/10). Suppose -f - x*l = -7, 3*f - l = 56 - 19. Is f a multiple of 5?
False
Let g be (2*-4)/(1/(-2)). Let r = -12 + g. Is 13 a factor of (r - -113)*(-10)/(-15)?
True
Let g(u) = -u + 10. Let x be g(6). Suppose -5*j + 6*j - 5*z = 1, 5*j - x*z = 89. Does 6 divide j?
False
Is 2 a factor of 40/(-16) - 54/(-12)?
True
Does 12 divide 17918/187 - (-4)/22?
True
Let n be (-4 + 4)/4 - -32. Let l = 32 - n. Suppose -216 = -l*i - 3*i. Is 17 a factor of i?
False
Is 19 a factor of ((-5091)/6)/((-40)/80)?
False
Suppose 461 + 939 = 5*x. Suppose -11*r + 4*r + x = 0. Does 3 divide r?
False
Let f(j) = j**3 + 7*j**2 - 6*j + 11. Is f(-6) a multiple of 12?
False
Let l be (-126)/(-28)*2*1. Suppose 4*c = -12, p + c - l = 14. Is p a multiple of 26?
True
Is 32 a factor of (1 - 0) + ((-40)/8 - -160)?
False
Let x(d) be the third derivative of -d**6/120 + d**5/10 + d**4/4 - d**3/2 - 5*d**2. Let n be x(7). Does 13 divide (-432)/n + (-7)/35?
False
Suppose 5*g + 21 = 1. Let w(x) = -6*x**3 - 2*x**2 - 2. Let n be w(g). Suppose -4*i - 3*i + n = 0. Is i a multiple of 10?
True
Suppose -5*p + 1070 = 2*w - 5*w, -3*p + 623 = 2*w. Is p a multiple of 8?
False
Let g = 91 + -16. Let c = 179 - g. Is 15 a factor of c?
False
Let q(y) = y - 2. Let u be q(5). Suppose -4*t + 3 = -u*t. Suppose j = -t*j + 48. Does 6 divide j?
True
Let x = 5 - 9. Let p be (8/3)/(x/6). Let n = 12 - p. Is 4 a factor of n?
True
Suppose -4*w - 101 = -45. Does 19 divide w/77 - (3326/(-22) - 0)?
False
Let m(l) = -3*l**2 + 2*l + 2. Let q be m(-1). Is 29 + 0 + q - (-3 + 2) a multiple of 7?
False
Does 5 divide (5 + -13 + 10)/((-3)/(-1923))?
False
Suppose -3*a - 20 = -d + 7, -3*a + 63 = 5*d. Suppose 1100 = 5*g - 10*y + d*y, 0 = y - 1. Is g a multiple of 42?
False
Suppose 17*g - 612 = 1836. Is 9 a factor of g?
True
Let x(b) be the second derivative of 5*b**3/6 + 19*b**2/2 - 12*b. Let y be x(-5). Let r(c) = -c**3 - 5*c**2 - 5. Is r(y) a multiple of 17?
False
Suppose 0 = -5*d + 4*d - 6. Let h be d/8 - (-46)/8. Suppose -204 = 2*w - h*w. Does 29 divide w?
False
Is 18 a factor of ((-14989)/91 - 5)/((-2)/28)?
True
Let w(x) = -5 + 5*x - 3*x + 0*x + 9. Suppose 28 = 2*i - 0*i. Does 8 divide w(i)?
True
Let d(m) = m**3 + 8*m**2 - 21*m - 14. Let w be d(-10). Is (-1276)/87*((-30)/w)/(-1) a multiple of 55?
True
Suppose 314*h = 320*h - 210. Is 28 a factor of h?
False
Suppose 0 = 6*f - 7*f + 68. Suppose -4*b + f = 12. Is 10 a factor of b?
False
Let x be (-1)/6 + (-39)/(-18). Suppose -2*p = -x*h - 106, 2*p = -2*p - 4*h + 188. Suppose 3*i = -2 + p. Is i a multiple of 5?
False
Does 67 divide (-3766)/(-8) - 1 - (-948)/(-1264)?
True
Let b(m) = -m**3 - 57*m**2 - 16*m - 110. Is b(-58) a multiple of 123?
True
Suppose -n = -6*n + 250. Suppose -3 = -5*d - 3*c, -d = -2*c + 3 - 1. Suppose -4*k + n - 26 = d. Is 5 a factor of k?
False
Suppose 4*t - 9585 = -11*t. Is 13 a factor of t?
False
Suppose -5*j = -10*j + 2400. Is 10 a factor of j?
True
Let q be (-9)/15 - (-12)/(-5). Let d be (4/q)/((-4)/12). Suppose 7*a = d*a + 132. Does 11 divide a?
True
Let g be (4/(-3))/((-11)/13662). Suppose -3*z = 5*z - g. Does 23 divide z?
True
Let t = 125 - -80. Is 17 a factor of t?
False
Let z = 24 - 5. Suppose 0 = 5*t + 10, 17 = o - 5*t - z. Is o a multiple of 13?
True
Suppose v - l = -3 + 5, 2*v + 3*l - 4 = 0. Suppose 0 = -v*x + 59 + 37. Is x a multiple of 10?
False
Suppose -3*z - 3*z = -18. Suppose 4*i + 3*v - 104 = 123, -5*i + z*v = -304. Does 11 divide i?
False
Let r(h) = -2*h**2 + 27*h + 4. Let t = -31 - -44. Is 11 a factor of r(t)?
False
Let h = -35 - -43. Suppose 0 = -2*n + 22 + h. Is 2 a factor of n?
False
Let a(i) = -11*i - 9 - 3*i + 8*i. Does 3 divide a(-3)?
True
Suppose -9 = -3*k, -13879 + 2188 = -5*r + 3*k. Does 13 divide r?
True
Let j(f) = -f**3 - 7*f**2 + 10*f - 6. Let k = 6 + -14. Let u be j(k). Let h = -7 - u. Does 15 divide h?
True
Suppose -72 = -3*d - 5*d. Is 19 + d/(27/6) a multiple of 12?
False
Let n be 10/(-5) - -4 - -2. Suppose -n*r = y - 55, 0 = 5*y + 4*r - 2*r - 185. Does 11 divide 114/10 - 14/y?
True
Let r be (-33)/(-22) - (-2)/4. Suppose j = -4*l + 258 - 90, r*l = 4*j - 744. Is j a multiple of 23?
True
Suppose -2*n - 5*c + 15 = 0, -28 = -7*n + 2*n - 3*c. Suppose -65 = -5*r - n. Suppose -44 = -16*g + r*g. Is 4 a factor of g?
False
Let o = 171 - -153. Is 27 a factor of o?
True
Let h(l) = -l**3 + 25*l*