 (v/5)/(4/(-70))?
True
Let y(p) be the first derivative of 3*p**2/2 + 2*p + 3. Is 8 a factor of y(4)?
False
Let u be (-1 - -1) + (7 - 7). Let q(s) = -s**2 + 2*s + 14. Is q(u) a multiple of 11?
False
Let f = 6 - 5. Let g = f - -5. Let q = g + -2. Is 2 a factor of q?
True
Suppose 8 = 5*b + 28. Let o(h) = h**3 - 6*h**2 + 3*h - 7. Let r be o(6). Is 11 a factor of (-2 - b - 1)*r?
True
Let i = -10 - -13. Suppose 0 = i*s + s - 24. Does 2 divide s?
True
Let c = -59 + 131. Suppose 4*v = 213 + 191. Let k = v - c. Is k a multiple of 15?
False
Is 4 + (4 - -34 - 0) a multiple of 14?
True
Suppose 3*p + 4*q - 118 = -0*q, -4*q = 4*p - 160. Does 6 divide p?
True
Suppose 2 = -a + 32. Suppose -s - 4*s = -a. Does 6 divide s?
True
Let s(u) = -u**3 + 5*u**2 + 9*u - 3. Let j be s(7). Is -6*(j/4 + 2) a multiple of 15?
True
Suppose 4*b = 4*q + 20, 7 - 24 = -4*b + q. Suppose -3*f + 3 = -b*f. Is 7 a factor of 3*((-8)/f - -2)?
True
Let o be 2/6*(-45)/5. Let p be o/((-27)/(-12))*3. Is (-7)/((2 - -1) + p) a multiple of 6?
False
Suppose -80 = -28*k + 24*k. Is 4 a factor of k?
True
Let x be 158/4*(-8)/(-2). Let w be (-17)/(-3) - (-12)/(-18). Suppose -2*i - x = -5*g, g - w*i - 27 = -0*g. Is 16 a factor of g?
True
Let k(c) = c**3 + 6*c**2 - 4*c - 6. Does 13 divide k(-5)?
True
Let u(t) = t**2 + 3*t - 11. Let w(k) = -k**2 - 2*k + 10. Let g(z) = 3*u(z) + 4*w(z). Is 2 a factor of g(0)?
False
Is 5 - 7 - 10/(-1) a multiple of 8?
True
Suppose 29 - 8 = q. Suppose 12 = 3*p - q. Is 11 a factor of p?
True
Let r be (-2)/6 + 6/(-9). Is 12 a factor of -18*(r + 0)/1?
False
Suppose 4*r - 64 - 20 = 0. Suppose 4*v + 5*z + r - 138 = 0, 3*z - 57 = -2*v. Does 28 divide v?
False
Suppose 3*f + 18 = 6. Let z be (2 + 0)*30/f. Is (-1)/(-3) - 235/z a multiple of 12?
False
Let i = -6 + 9. Suppose h - 2*w - 3*w = 57, 0 = -i*w. Does 14 divide h?
False
Let m = 12 + -8. Suppose 8*d - 24 = m*d. Is d a multiple of 6?
True
Suppose 0 = -3*b - 4*a + 272, b = 2*a - 4*a + 90. Is b a multiple of 23?
True
Suppose 6 = -3*m - 0*m, -5*t - 4*m + 222 = 0. Does 23 divide t?
True
Let n(y) = y + 2. Let a be n(6). Suppose 3*k = a*k - 3*w - 72, k - 11 = 4*w. Does 5 divide k?
True
Suppose 0*o - o - 37 = -d, -d + 115 = -3*o. Is o/(-6) + (-3)/6 a multiple of 4?
False
Let m = 190 + -130. Is m a multiple of 15?
True
Let n be (-4)/12 - 43/(-3). Let b = 20 - n. Is (44/b)/((-4)/(-6)) a multiple of 11?
True
Let y(b) = -b**3 - 8*b**2 - 3*b - 12. Let k be (-1 - (-8 - -1)) + 2. Suppose 2*r - r + k = 0. Does 6 divide y(r)?
True
Let a(d) = -d. Let n be a(0). Let y(s) = -s**3 + 10. Is 5 a factor of y(n)?
True
Let g(i) = 2*i - 6. Let l(y) = 4*y - 11. Let m(d) = -7*g(d) + 4*l(d). Let j(n) = -9*n + 1. Let k be j(-1). Is m(k) a multiple of 18?
True
Let s(g) = g**2 + 2*g + 100. Is s(0) a multiple of 8?
False
Suppose -216 = -5*c - 71. Does 14 divide c?
False
Suppose 20 = z - 5*z. Let o(h) = -h**3 - 3*h**2 + 7*h + 3. Is 8 a factor of o(z)?
False
Let o(v) = 41*v**2 - 1. Let j be o(-1). Let c = j - 6. Does 17 divide c?
True
Suppose 4*o - 20 = -2*m + 2*o, -4*o - 65 = -3*m. Suppose -5*y + 115 = m. Does 6 divide y?
False
Let v = 247 + -147. Is 4 a factor of v?
True
Is 13 a factor of 12 + (1 - -2) - 1?
False
Let k(y) = 9*y + 32. Does 35 divide k(32)?
False
Let g be 0 + -3 - (-2 + 1). Is (-22)/(-1) + 4/g a multiple of 10?
True
Let u = 405 - -1546. Suppose -4*d + 691 - u = 0. Is ((-6)/(-9))/((-6)/d) a multiple of 18?
False
Suppose -f - 2*f = -15. Does 5 divide f?
True
Suppose -5*m + 30 = j + 11, 0 = 2*m + 3*j - 5. Suppose 5*d = -3*f + 18, 0 = -2*d + m*f + 2 - 0. Suppose d*q - 12 = -0*q. Does 3 divide q?
False
Let n(g) = -g + 29. Is 11 a factor of n(12)?
False
Suppose c = 3 - 6. Let h be (-80)/3*(0 + c). Suppose 3*s - h = -s. Is 9 a factor of s?
False
Let m = 10 - 7. Is 7 a factor of (-15)/(-18)*m*4?
False
Let r be (3 - (0 - -1))/1. Suppose 0 = -r*s - 3*q - 58, 0 = -0*s + s + 2*q + 28. Is 13 a factor of ((-27)/(-4))/((-6)/s)?
False
Does 4 divide 148/12 + (-2)/6?
True
Let m = 10 + -6. Suppose -4*g + 20 = g. Suppose g*n = m*j - 16, 4*n = -2*j + n + 13. Is 3 a factor of j?
False
Let j(l) = l**2 - l - 2. Let s be j(2). Suppose s = z - t - 31, 0 = -2*z - 5*t - 35 + 118. Is z a multiple of 9?
False
Suppose 3*r - 4*q = 224, -2*q = 2*r - q - 142. Does 22 divide r?
False
Let q(m) = -m**3 + 20*m**2 + 3*m + 21. Is q(20) a multiple of 2?
False
Suppose 7*b - 2*b - 20 = 0. Suppose -3*l + 0*l - b*x = -8, -21 = -4*l + 5*x. Suppose l*z = z + 42. Is z a multiple of 7?
True
Let f(p) = -p**3 - p + 36. Is f(0) a multiple of 9?
True
Suppose -3*u - 5*h = 2 - 0, 0 = -4*u - 4*h. Let j be 95 - (1 - (-1)/u). Suppose a = -2*t + 43, 18 = -3*t - 5*a + j. Is t a multiple of 10?
True
Suppose -5*o + 4*t + 516 = 0, -419 = -4*o - t - 2*t. Is 13 a factor of o?
True
Let g(r) = -2*r**2 - 3*r**2 - 3 + 4*r**2. Let o be g(0). Let n(f) = -f**3 + f**2 + 2*f - 2. Is 10 a factor of n(o)?
False
Let u(c) = -3*c**3 - 5*c - 12. Is 3 a factor of u(-2)?
False
Let v(k) = 163*k**2 + 2*k + 1. Let r be v(2). Is (-6)/21 + r/21 a multiple of 13?
False
Suppose -4*x + 62 = -5*z - 0*x, -5*z - 59 = -3*x. Let p(i) = -i**3 - 10*i**2 - 2*i - 14. Does 3 divide p(z)?
True
Suppose -g = -2*r - 5*g + 70, -3*g - 55 = -r. Suppose 0 = 3*b + 4*j + 53, -5*b - 2*j - r = 64. Let t = 51 + b. Is 15 a factor of t?
False
Is (-3)/(-4) + (-914)/(-8) a multiple of 11?
False
Let r(f) = -f**3 - 5*f**2 + 3*f + 4. Is r(-6) a multiple of 12?
False
Let r(w) = -154*w**3 + 2*w**2 + w. Does 9 divide r(-1)?
False
Let c = -22 - -20. Does 5 divide (-2)/(((-4)/(-9))/c)?
False
Let p = 13 - 3. Is 6 a factor of p?
False
Let y(c) = 13*c - 65. Is 9 a factor of y(9)?
False
Let a(k) = k**2 + 9*k + 1. Let w be a(-8). Let y = w - -12. Is y a multiple of 2?
False
Let c(v) = -v - 6. Suppose 4*t - 2*t + 28 = 4*s, -2 = t + s. Let f be c(t). Suppose f = 2*o - 1 - 41. Does 9 divide o?
False
Let o be 0/1 + 5*9. Let r = o - 27. Is r a multiple of 18?
True
Let b = -44 - -83. Is b a multiple of 39?
True
Let g(k) be the third derivative of 0 + 0*k + 4*k**2 - 1/8*k**4 - 7/6*k**3. Is 4 a factor of g(-5)?
True
Let c(v) = -v**3 + 12*v**2 - 12*v + 11. Let y be c(11). Suppose -n + 40 = 2*h, y*n + 80 = 2*n - 5*h. Is 10 a factor of n?
True
Let x(t) = 2*t**2 + 6*t - 1. Let o(b) = -5*b**2 - 17*b + 2. Let s(z) = 4*o(z) + 11*x(z). Let i(y) be the first derivative of s(y). Is 18 a factor of i(5)?
True
Let x(l) = 6*l**2 - l - 1. Let z be x(-2). Suppose 2*j - 4*m - 221 + z = 0, -2*j + 5*m + 200 = 0. Is 13 a factor of j/(-8)*8/(-3)?
False
Let p be 2144/20 + 4/(-20). Let g = p - 51. Is g a multiple of 14?
True
Suppose 0 = g - 138 + 40. Does 13 divide g?
False
Let t(u) = u**3 - 7*u**2 + 6*u + 1. Suppose -r - r = 4*w - 26, -r - 23 = -4*w. Let v be t(w). Is 12 a factor of 24/(-1 - (v - 3))?
True
Let n = -8 - -6. Does 5 divide 66/9*(-3)/n?
False
Let o = -11 - -10. Is 4 a factor of (5 + 0)/(o/(-3))?
False
Let r(u) = 3 - u**2 + 5*u - 2*u**2 + 2*u**2. Let b be r(4). Suppose l = -2 + b. Is l a multiple of 2?
False
Let g(y) = y**2 - 6*y + 8. Is g(8) a multiple of 8?
True
Let f = 11 - 8. Suppose -f = -2*i + 45. Is i a multiple of 24?
True
Let y be (-114)/(-27) - 6/27. Suppose -5*o - 3*i = -72, 4 = -8*i + y*i. Does 15 divide o?
True
Suppose 4*t + 5 = u, 0*u = u + t - 5. Suppose -u*w + 214 = 54. Does 16 divide w?
True
Let o = -4 - -4. Suppose o = 2*i + 6 + 14. Let g = 4 - i. Does 7 divide g?
True
Suppose -9*g + 10*g = -2. Let t(s) = 8*s**3 + 4*s**2 - 9*s - 9. Let p(l) = -2*l**3 - l**2 + 2*l + 2. Let n(k) = 9*p(k) + 2*t(k). Is n(g) a multiple of 6?
True
Suppose -t = 2 - 7. Let o(m) = m**2 - m - 1 + 2*m**2 - t*m**2 + m**2 - 26*m**3. Does 11 divide o(-1)?
False
Suppose 9 + 1 = -5*p. Let w be 22/(-4) + 1/p. Is (-162)/(-12)*(-8)/w a multiple of 8?
False
Let m be 1/(-3) + (-14)/(-6). Suppose -3*z - n + 412 = -3*n, -m*n = 2*z - 268. Suppose 5*h - 4*w - 177 = -w, z = 4*h - w. Is 13 a factor of h?
False
Is -7*(-2 - 32/28) a multiple of 13?
False
Let c(o) = -o + 4. Let u be c(4). Suppose 194 = 5*d + j, u = -3*d - 3*j + 57 + 69. Is d a multiple of 12?
False
Let z = -2 + 5. Suppose -z*u = -0*u. Suppose u = 4*b - 42 - 98. Is 12 a factor of b?
False
Let i = 183 - 75. Is 18 a factor of i?
True
Suppose 9*t - 112 = 2*t. Is 16 a factor of t?
True
Let t(q) = -11*q - 30. Does 20 divide t(-10)?
True
Suppose a = 5 -