2*m - 24 = -4*m. Suppose -2*q - q + m = 0. Is q a multiple of 3?
False
Suppose 396 = -0*t + 9*t. Is t a multiple of 22?
True
Suppose 3*n = -0*n + 81. Suppose 2*s + h - n = 4*h, -h = -s + 15. Is s a multiple of 8?
False
Let k(j) be the second derivative of -4*j**3/3 - j**2/2 - 3*j. Let d be k(-5). Suppose -3*z + d - 3 = 0. Is z a multiple of 6?
True
Suppose -3*d + 14 = 4*v, -2*d - 2*d - v + 10 = 0. Suppose w - d*w = 5*c - 46, 3*w - 166 = -c. Is 28 a factor of w?
True
Let f(p) = p**2 + 2*p - 19. Does 2 divide f(-9)?
True
Let c(j) = -j**3 - 4*j**2 - 2*j + 5. Let g be c(-4). Let k(p) = p**3 - 14*p**2 + 13*p - 5. Let n be k(g). Let u = n + 11. Is 3 a factor of u?
True
Let q(t) = 2*t - 9. Let v be q(6). Suppose v = n - 1. Suppose 33 = n*i - 35. Does 11 divide i?
False
Suppose -k = 4 - 7. Suppose k*c + 3*c = 12. Is 2 a factor of c?
True
Suppose -2*y + 5*v + 14 = 0, 10 = -0*y + 3*y - 2*v. Suppose y*k + 4*u + 145 - 449 = 0, 3*u + 269 = 2*k. Is k/5 - 2/5 a multiple of 14?
True
Suppose 4*f = f - 93. Suppose s + 2*s = -51. Let x = s - f. Does 8 divide x?
False
Let a(w) = 5*w + 6. Let y be a(4). Let b = -5 + y. Does 7 divide b?
True
Does 9 divide 4/(-16) + (-1876)/(-16)?
True
Suppose 2*w - 10 = 0, -4*h + h = 5*w - 37. Suppose -5*u + 57 = 3*z, -29 = -5*u + h*z - 0*z. Does 9 divide u?
True
Let z(r) = r**3 + 2*r. Does 9 divide z(3)?
False
Is 8 a factor of (-4 - (-74)/(-2))*-1?
False
Let d(o) = 8*o**2 - 7*o - 6. Is d(-2) a multiple of 4?
True
Let g(h) = h**3 - 3*h**2 - 13*h + 6. Is g(6) a multiple of 9?
True
Suppose 4*m + 280 = -4*y + 2*m, 152 = -2*y + 2*m. Let o(w) = -17*w + 4. Let u be o(3). Let s = u - y. Is s a multiple of 12?
False
Suppose -6*v + 9*v = 6. Suppose 4*w = -2*g + 42, 4*g + v*w - 53 = 49. Is 8 a factor of g?
False
Suppose 2*i = 8 - 0. Let m(p) be the third derivative of p**6/120 - p**5/15 + p**4/12 + p**3/3 + 8*p**2. Is 9 a factor of m(i)?
False
Let m be 6/18 - (-26)/3. Is ((-32)/(-6))/(3/m) a multiple of 8?
True
Let a = -2 - -6. Is 29 + 0 - (-7 + a) a multiple of 8?
True
Is (-58)/(-5) - (-24)/(-40) - -2 a multiple of 10?
False
Let u(i) be the second derivative of -i**5/20 + i**4/6 + i**3/2 + 2*i**2 - i. Is 3 a factor of u(3)?
False
Let w = 113 + -81. Suppose -x + w = 8. Is 9 a factor of x?
False
Suppose -5*n = -23 + 8. Suppose -n*u + 4*c = -24, 0*c - 10 = -4*u - 2*c. Is u a multiple of 4?
True
Let u(c) = 4*c**3 - 3*c**2 - c + 24. Does 26 divide u(4)?
False
Suppose 0 = r - 1, -3*j = 5*r - 255 + 52. Is 4 a factor of j?
False
Let v(n) = 7*n - 3. Let q be v(6). Suppose 2*g - 3*g + q = 0. Is g a multiple of 24?
False
Suppose -460 = 3*m - 4*x - 0*x, 3*x = -3*m - 495. Does 15 divide (10/8)/((-4)/m)?
False
Let c = -75 + 276. Suppose 0 = 2*f - 25 + c. Let d = -59 - f. Does 10 divide d?
False
Let l(q) be the third derivative of -q**5/60 - q**4/24 + q**3/2 + 2*q**2. Let s(i) = -i. Let o(d) = -l(d) + 6*s(d). Does 7 divide o(8)?
True
Suppose 3*q = -q. Let m be 113/(-1 + 0 - q). Is 20 a factor of (-5)/(-10) + m/(-2)?
False
Let y = 2 + 0. Let b be 45/y*(-28)/(-21). Does 6 divide (b/(-2))/((-3)/3)?
False
Let p be ((-338)/(-4))/((-1)/(-2)). Suppose 4*o = 2*m + 244, 3*m = 3*o - 2*m - p. Is o a multiple of 21?
True
Let t(m) = 2*m**2 - 5*m - 6. Let h be t(-4). Let l be 14/3 - 4/(-12). Suppose -125 = -l*c - 4*s, 3*c + s - 114 = -h. Is c a multiple of 20?
False
Let p(l) = -3*l**2 + 0*l**3 - 2*l**2 + 5*l - l**3. Let u be p(-6). Let k = u + -2. Is k a multiple of 4?
True
Suppose 3*v - b + 0 = 1, -1 = v + b. Suppose 4*d = 5*i - 72, -5*d - 2*i = -v*i + 123. Let k = 40 + d. Is 8 a factor of k?
False
Suppose -4*c + 8 + 0 = 0. Suppose -5*t + 64 = 4*z, c*t = -3*z + 6 + 42. Is z a multiple of 16?
True
Let z(h) = 1 - h**3 - 2*h + 2 + 6*h + 2*h**2. Is z(-3) a multiple of 12?
True
Suppose -w + 101 - 21 = 0. Suppose 4*d + 6*q - 2*q = w, 12 = 3*q. Is d a multiple of 8?
True
Let h be 125*(-2 + 8/5). Let z = h - -97. Is z a multiple of 13?
False
Suppose -2*n - c = -7, 4*n + 3*c = 5*c + 10. Suppose -n*b = -2*b - 36. Is b a multiple of 12?
True
Suppose u = -u + 188. Suppose -p - q = -16, -2*p + 2*q + u = 2*p. Does 15 divide p?
False
Let k(x) = -x**2 + 6*x - 3. Let d be k(5). Suppose -w = -d*w + 9. Is w a multiple of 9?
True
Let y be (0 - 4 - -4)*-1. Suppose 0 = -y*g - g + 42. Is 14 a factor of g?
True
Let o(a) = a - 4. Let l be o(7). Suppose -4 = 2*k, -2*k = 5*m - l*k - 52. Suppose 0 = -2*t + 40 - m. Does 15 divide t?
True
Does 7 divide 164/6 + (3 - 7/3)?
True
Suppose 2*v + 4*o = 0, 0 = v - 4*v - 2*o. Suppose v = -3*q - 15, 4*u - q + 0*q = 17. Suppose -3*k = -5*n + 4*n - 13, -5*n + 25 = u*k. Is 2 a factor of n?
True
Let b be (-2 + 1 - 92)*-1. Suppose 0*d + 3*d = b. Is d a multiple of 31?
True
Let q = 601 + -376. Let k be 4*(q/12 + 1). Suppose b - 19 = -i + 2*b, 5*i - k = b. Does 5 divide i?
True
Suppose 0 = 4*c - 0*c - 360. Does 8 divide c/12 + (-1)/(-2)?
True
Is 30 a factor of 672/8 + (7 - 1)?
True
Let s(m) be the second derivative of -m**5/10 - m**3/3 - 3*m**2/2 - 2*m. Does 9 divide s(-2)?
False
Does 14 divide 56/6*(99/6 - 0)?
True
Suppose 47*z - 612 = 43*z. Is 17 a factor of z?
True
Is (-7)/(-42) - 71/(-6) a multiple of 6?
True
Let c(l) = 11*l**2 + 2*l - 1. Does 2 divide c(1)?
True
Let q be (-15)/(-5) - -1*1. Let b(f) = 7*f**2 + 3 - f - 4*f**2 - q + 3*f**3. Does 15 divide b(2)?
False
Is 13 a factor of 78 - 0/(-7)*(1 + -2)?
True
Suppose -j + 8 = 2. Let b(v) = v**3 - 5*v**2 - 2*v - 2. Is 22 a factor of b(j)?
True
Let f(c) = c + 11. Let w be f(-9). Is (0 + (w - 3))*-19 a multiple of 19?
True
Suppose 2*m = -0*m - 4. Is 148*(m + (-36)/(-16)) a multiple of 37?
True
Suppose -7 = 3*m - 145. Is 13 a factor of m?
False
Suppose 5*k + 74 = 2*w, 3*k + 2*k = -4*w + 148. Is w a multiple of 12?
False
Suppose -5*a = 5, 0*a - a + 123 = 4*b. Is b a multiple of 14?
False
Suppose n = 2*d + 70 + 25, 5*d = -5*n + 430. Suppose 0 = 5*v - n + 14. Does 15 divide v?
True
Let t(l) = -l**2 + 6*l + 9. Let y be t(7). Suppose 5*h + 5*d = -4 + 14, -5*h + 4 = y*d. Is (-7)/(-2)*(2 + h) even?
False
Let l(f) = f**3 - 8*f**2 + 10*f. Suppose 0 = -2*i - 5*q + 29, -2*q + 20 = 5*i - 7*q. Is 6 a factor of l(i)?
False
Let s(t) = t**3 - 8*t**2 - 5*t + 12. Let q be s(9). Suppose -3*h - q = -3. Let w = -9 - h. Is 6 a factor of w?
True
Let l be (-18)/3*(-4)/6. Let n(h) = -4 - 8*h - 2 + l. Does 14 divide n(-5)?
False
Let u = 54 - 27. Is 7 a factor of u?
False
Let g be 3*(1 + 1 - 1). Suppose 0 = -g*p - p. Suppose p = r - 5. Is r a multiple of 3?
False
Suppose -3*a + 36 - 12 = 0. Does 8 divide a?
True
Let h(m) = 9*m**2 + m. Let o be h(1). Let z = o + -6. Suppose 0 = z*u - 196 - 0. Is u a multiple of 18?
False
Let o = 102 - 87. Is 11 a factor of o?
False
Let a(u) = -30*u + 10. Is 30 a factor of a(-2)?
False
Let y(l) = 6 + 2*l**2 - 3*l + 3*l**2 - 3 - l. Does 6 divide y(2)?
False
Let c(o) = o**3 - 4*o**2 + 4*o + 2. Let f be c(4). Let v be f/4 + 4/(-8). Suppose v*n - n = 135. Is 15 a factor of n?
True
Suppose 151 = 4*b + 39. Is 6 a factor of b?
False
Let b(y) = -9*y**3 - 2*y**2 + 3*y + 4. Is 10 a factor of b(-2)?
False
Suppose 2*k - l = 105, -3*l = 3*k - 71 - 73. Is 15 a factor of k?
False
Let z(l) = -l**2 + 15*l - 15. Is 7 a factor of z(12)?
True
Suppose 0 = 3*v - 12, -300 = -0*s - 3*s + 3*v. Is s a multiple of 13?
True
Suppose 5*t = 5*z + 22 + 13, 5*z = -4*t + 28. Is 3 a factor of t?
False
Is 27 a factor of -2 + 2 - (-154 + (1 - -4))?
False
Suppose 4*c = -4*h + 364, 3*c + 399 = 8*h - 4*h. Does 8 divide h?
True
Suppose 4*r + 22 = 6. Let c be 7/2 + (-2)/r. Let i = c + 11. Is 7 a factor of i?
False
Let y = 12 - 12. Suppose -8*m - 3*i = -3*m - 19, -10 = 5*i. Suppose m*b + l - 45 = y, -20 = 2*b - 5*b - 2*l. Is b a multiple of 5?
True
Let r(q) = 4*q**2 - 2*q + 4. Does 16 divide r(2)?
True
Let v(u) = -u**2 + u + 30. Let c be v(0). Let m = c + -61. Let s = m + 55. Is 9 a factor of s?
False
Suppose -2*h - 6 + 0 = -4*a, -5*a - 5 = -5*h. Let x = 14 - a. Suppose -40 - 3 = -5*o + 3*m, -x = -o + 2*m. Does 8 divide o?
True
Is (-34)/8*(-24)/3 a multiple of 5?
False
Let x be 0 - (-2 - (-1 - 1)). Does 3 divide (-1)/(3/(-27) + x)?
True
Let v(b) = -b**3 + 3*b**2 - 3*b + 3. Let q be v(3). Let i(a) = a**3 + 6*a**2 - 2*a - 2. Does 3 divide i(q)?
False
Let w(o) = o**2 - 11*o + 15. Is w(12) a multiple of 13?
False
Let n(t) = 2*t**2 + 5*t + 4. Suppose 