*g - 10 - 102 = 0. Is g a multiple of 16?
False
Let n = 518 + 289. Is n a multiple of 80?
False
Suppose 2*y + 1480 = -3*y. Let i = 516 + y. Is 8 a factor of i?
False
Let x = 6 + 0. Suppose 4*h + k + x + 20 = 0, 0 = 3*k + 6. Does 15 divide (-3 - (-39)/h)*-4?
False
Let z(k) = 7*k + 132. Is 4 a factor of z(12)?
True
Suppose 150 = 5*g + 2*o, -72*o + 76 = 3*g - 68*o. Does 3 divide g?
False
Suppose 9496 + 66437 = 39*u. Is u a multiple of 27?
False
Let s(k) = 4*k**2 + k - 2*k - k. Let w = -103 - -101. Is s(w) a multiple of 10?
True
Let i = -341 + 481. Is i a multiple of 5?
True
Let v be 53/(-2)*(-9 - -1). Suppose v = 11*u - 7*u. Is u a multiple of 18?
False
Is 5 a factor of -28 - -128 - (-2*2 + 0)?
False
Let y(s) = -s**3 - 14*s**2 - 45*s - 211. Is y(-15) a multiple of 13?
True
Let x be (-3)/(((-27)/(-12))/(-3)). Suppose 2*q = 3*w - 2*q - 39, 5*w = x*q + 73. Does 17 divide w?
True
Let t be 4*168/(-15) - 2/10. Let b = t - -102. Does 19 divide b?
True
Let g = 90 - 73. Suppose -26 = -p + 2*h, -p + h = -g - 6. Is 4 a factor of p?
True
Does 19 divide (-23758)/(-42) + (4/(-3))/(-1)?
False
Let i(q) = -34*q**3 - 6*q**2 + 4*q + 22. Does 46 divide i(-3)?
True
Let y(a) be the third derivative of a**6/120 + a**5/10 - a**4/3 - 5*a**3/6 + 4*a**2. Let c be y(-6). Is 11 a factor of 1/(130/c + -3)?
False
Let n = 667 - 364. Does 41 divide n?
False
Suppose -3*y + 3*p + 6 = 0, 2*y - 4*p = -5 + 13. Suppose y = 5*j + 5*h - 850, 2*j - 325 = -0*j - 5*h. Is j a multiple of 35?
True
Suppose 2*q - 7*q + 10 = 0. Let j be 0 + 12*q/3. Suppose -5*s = 5*r - 110, -s + j*r - 3*r + 4 = 0. Is s a multiple of 6?
False
Let g = 223 - 197. Is g a multiple of 8?
False
Suppose -2*m - 5*c = -1696, -5*c - 515 - 333 = -m. Does 16 divide m?
True
Let r(o) be the first derivative of 14*o**3/3 - o**2/2 - o - 4. Let n be -2 + (4 - 1) - 2. Does 5 divide r(n)?
False
Does 26 divide (78/(-5))/((-8)/((-2800)/(-21)))?
True
Let a(t) = t**3 - 25*t**2 + 11*t - 53. Is 6 a factor of a(25)?
True
Let k(t) = 2*t**3 + 12*t**2 - 9*t**2 + 2 - t**3. Let z = -10 - -7. Is k(z) even?
True
Let b(t) = t**3 - t - 7. Let l be b(-4). Let w = l + 112. Is 12 a factor of w?
False
Let k(p) = 4*p**2 - 3*p**2 + 3*p**2 + p**3 + 201 - 195. Is 2 a factor of k(-4)?
True
Let u = -104 + 116. Suppose -d - 4*i = -u, 27 = -4*d + 5*d - i. Does 24 divide d?
True
Suppose 1837 = -0*b + 4*b + i, 0 = 2*i + 6. Suppose 6*n = n + b. Is n a multiple of 7?
False
Let r(j) = 6*j**2 - j - 9. Suppose -9 = -18*i + 15*i. Is 42 a factor of r(i)?
True
Suppose -3*w = 3*r - 48, r - 3*w - 10 = 2*w. Let q(j) = 3*j + 10. Let v be q(-6). Let i = r - v. Is i a multiple of 10?
False
Let t be 2*(-1)/2*0. Suppose -3*d + 190 - 46 = t. Does 16 divide d?
True
Let p = -882 - -1257. Does 11 divide p?
False
Suppose 0 = 3*u - 93 + 39. Suppose -u = 4*o - 7*o - 3*r, -r - 54 = -5*o. Is 10 a factor of o?
True
Let g = -2223 + 2405. Is 13 a factor of g?
True
Suppose -8*b - 602 = -10*b. Let v be b/7 - -2*1. Let d = v - 9. Does 12 divide d?
True
Suppose c + 10 = 6*c + 4*j, j = 5*c - 10. Let r be 1/c - (-22)/4. Is (316/6)/(4/r) a multiple of 9?
False
Let z(w) = 91*w**2 - 3*w - 4. Suppose 2*f - 4*g + 14 = 0, -5*g + 17 = -f - f. Is z(f) a multiple of 6?
True
Let s = -4 - -7. Suppose 0 = -s*d - 2*d + 75. Is (3 - (-25)/d)*6 a multiple of 7?
True
Let l = 52 - -10. Is 10 a factor of l?
False
Is 4 a factor of ((-2)/(-4))/((-10)/(-28940))?
False
Let p(l) be the second derivative of -l**5/5 + 5*l**4/12 - 2*l**3/3 - 8*l. Let g be p(3). Let n = g + 113. Is n a multiple of 16?
False
Is 1 + (2440 - -12 - 2) a multiple of 78?
False
Does 11 divide (-72 - 2)*11/(44/(-8))?
False
Let v(p) = -p**2 + 12*p - 13. Suppose -x = -3 + 1. Suppose d + 4*q - 5 = 0, 21 = x*d - 0*q - 3*q. Is 10 a factor of v(d)?
False
Suppose 0 = -4*m - 2*v + 12, 5*m - 29 = -5*v - 4. Is (137 - m)*(12 + -11) a multiple of 39?
False
Suppose 3*g - 3*c + 261 = 0, 77 = -0*g - g - c. Let l = -61 - g. Does 12 divide l?
False
Suppose -2*c = 4*v + 14, -4*v - c + 2 = 19. Is 5 a factor of (v - 44/(-8))*32?
False
Let o = -46 - -74. Suppose o = 10*y - 3*y. Is 2 a factor of y?
True
Let w(n) be the second derivative of -2*n**3/3 + 4*n**2 - 3*n. Let j be w(11). Let q = j - -97. Does 19 divide q?
False
Suppose -2 = -3*p - 5. Let j = p - 4. Is 18*((j - -4) + 4) a multiple of 28?
False
Suppose -u = -2*g + 2*u + 1, -10 = -4*g - 2*u. Suppose 87 = 4*f + 4*q - 1, -5*f + g*q + 82 = 0. Is f even?
True
Let u be (2 - 0 - 2)/(-2). Suppose u = -5*g - 20, -2*x - g + 6 = -0. Suppose 32 = x*s - 8. Does 6 divide s?
False
Let j be 9/21 + (-108)/7. Let s be -4*1*j/20. Suppose -224 = -s*i + 115. Is i a multiple of 13?
False
Suppose 4*l + 4*u - 16 = 5*u, -4*l + 32 = 3*u. Suppose -l - 5 = -n. Is n a multiple of 5?
True
Let f(t) = -2*t - 2. Let d(k) = -6*k - 5. Let y(x) = 2*d(x) - 7*f(x). Is 8 a factor of y(2)?
True
Let d(l) = 2*l + 3. Suppose 5*t + 0*t - v = -2, 5*t - 4*v = -8. Let r be d(t). Suppose 2*z - 38 = 3*x - 5, r*x - 27 = -3*z. Does 4 divide z?
True
Let r(s) = 12*s - 30. Is r(34) a multiple of 27?
True
Let t(f) = -2*f + 589. Is 6 a factor of t(38)?
False
Let d(w) be the first derivative of -w**3/3 - 3*w**2 + 1. Let i be d(-6). Suppose i = 2*b - 21 - 75. Is b a multiple of 12?
True
Suppose -102 = 12*d - 1110. Is d a multiple of 3?
True
Let n(i) = 63*i**3 + 2*i**2 - i. Let b be n(1). Suppose -3*w = -214 + b. Suppose -3*l - 5 = -w. Is 15 a factor of l?
True
Suppose -5*y - 3*y + 24 = 0. Suppose 2*z - 248 = -3*v + 94, -y*v + 354 = -2*z. Is v a multiple of 29?
True
Let h be 0/(2 + (-1 - 4)). Suppose h = -9*l + 5*l + 700. Is l a multiple of 7?
True
Let b = 77 - 143. Let n(o) = 31*o - 23. Let y be n(4). Let w = b + y. Is w a multiple of 7?
True
Let y(v) = 64*v - 60. Is y(4) a multiple of 7?
True
Let m(a) = 6*a - 12*a + 6*a + 9*a - 6. Let d = 7 + -2. Does 10 divide m(d)?
False
Suppose m = 2*m + q - 949, 2*q = 4*m - 3778. Does 11 divide m?
True
Suppose -6*d = -3*o - 4*d - 453, 755 = -5*o - 4*d. Let x = -103 - o. Does 4 divide x?
True
Let t(x) = -x + 4*x - 18 - 2*x + 2*x. Does 17 divide t(13)?
False
Let b(d) be the first derivative of 11/3*d**3 - 6*d**2 + 3 - 1/4*d**4 - 9*d. Is b(9) a multiple of 15?
True
Let g(l) = -2*l - 6. Let q be g(-6). Let z be (q - 7) + 1*-2. Let v = 43 + z. Is v a multiple of 14?
False
Let o(t) = 660*t**2 - 7*t - 6. Is 44 a factor of o(-1)?
False
Let i(o) = -o**3 + 30*o**2 - 52*o + 5. Is i(28) a multiple of 9?
True
Suppose 3*q + 2*q - 5 = 0, -2*j + 441 = q. Is 6 a factor of j?
False
Is 18 a factor of (-80)/(-3)*(-660)/(-80)?
False
Let h be (2/6)/((-5)/30). Let g be (2 + 5)*(4 + h). Let m = g - -43. Is m a multiple of 19?
True
Let u(x) = 7230*x + x**2 - 7230*x + 1. Let m = -3 - -6. Does 10 divide u(m)?
True
Let n = -81 - -121. Suppose k = -3*k - 16, x + 5*k - 44 = 0. Let m = x - n. Is 6 a factor of m?
True
Let b(d) = 41*d - 1. Let r(i) = 1. Let t(s) = -b(s) - 2*r(s). Suppose -2*l - 1 = -l. Does 21 divide t(l)?
False
Let y be (0 - 1)*(-2 + 2). Suppose y*g = 2*g - 10. Suppose -4*a + 2 = g*u - 125, 3*a = 3*u - 87. Is u a multiple of 19?
False
Suppose -16*j = 112 - 2880. Is j a multiple of 5?
False
Let u = 0 - -192. Let j = u + -125. Does 14 divide j?
False
Let j(c) = 3*c. Let g be j(0). Suppose 2*w + 6 = 0, t + g*w = -w + 9. Does 4 divide t?
True
Let k(v) = -v**2 - 5*v + 50. Let y be k(-10). Suppose 2*u - 2 - 8 = y, -4*z = -u - 79. Is 3 a factor of z?
True
Suppose 0 = 4*g - y + 202, 0 = 3*g - 2*y + 7*y + 163. Let n = g + 82. Does 24 divide n?
False
Is 99 + (-3 - (6 - 9)) a multiple of 11?
True
Let t = -27 + -58. Is 7 a factor of -2 + 17/(t/(-150))?
True
Suppose 101*o = 14*o + 261. Is o a multiple of 2?
False
Suppose p - 50 = -3*f, -3*f + 40 = -f + 4*p. Let c = 12 + -1. Suppose 0 = b - c - f. Does 6 divide b?
False
Suppose r - 5*r + 100 = f, -3*r - 4*f + 88 = 0. Suppose -k + r = 3*k. Suppose 2*j - 320 = -k*j. Is 10 a factor of j?
True
Suppose 0 = 4*q - 3 - 9. Let s(y) = 29*y**2 - y + 1. Let c be s(1). Suppose -q*k + 25 = -c. Does 9 divide k?
True
Let m = -2 + -46. Is 21 a factor of 3 + -2 - (m - 0)?
False
Let y be (-2 - -3) + (-1)/1. Suppose y = x - 1 + 6. Let c(j) = -18*j - 1. Is c(x) a multiple of 31?
False
Let h = -15 + 65. Does 18 divide h?
False
Let d(z) = -2*z**2 - 5*z + 11. Suppose -6*p = -7*p - 5. Let s be d(p). Is 6 a factor of (-32)/112