r of l(-10)?
True
Let b be (3 - 7/2)/((-1)/24). Does 3 divide 112/b*2/(8/6)?
False
Let v(x) = -40*x + 973. Is 7 a factor of v(16)?
False
Let x = 14 + -12. Let s(o) = -3 - o + 0*o**x + 7 + o**2. Does 8 divide s(5)?
True
Suppose -40 = 2*k + 3*k + 2*h, -k = 4*h - 10. Is ((-30)/(-25))/(k/(-225)) a multiple of 2?
False
Let l(j) = -5*j - 7. Let d be l(-7). Let m = 52 - d. Is m a multiple of 12?
True
Let y = 44 + -29. Suppose 294 = y*n - 8*n. Is 14 a factor of n?
True
Suppose 0 = -4*k - 5*i - 45 + 186, 5*i + 165 = 5*k. Is k a multiple of 17?
True
Let q be 1 + (-128)/(-13) - 108/(-702). Suppose 925 = q*f - 890. Is 15 a factor of f?
True
Let n be (-1 - (-4)/20)*-5. Let y(o) = o**2 - 2*o - 4. Let h be y(n). Suppose b + 2*q = -0*b + 12, 3*b + h*q - 42 = 0. Is 18 a factor of b?
True
Let g = -51 + 528. Let l = g - 339. Is 29 a factor of l?
False
Let s be ((-34)/(-6))/(18/324). Let o = s + 3. Is o a multiple of 15?
True
Suppose -2*n + 0*n + 486 = 2*x, -1175 = -5*x + 3*n. Is x a multiple of 36?
False
Let i = -16 + 17. Let q = 0 + -1. Is 12 a factor of 16 - 3*i/q?
False
Let h = -27 + 47. Let l(p) = p - 5. Let f be l(0). Let g = f + h. Is 7 a factor of g?
False
Let c = 121 + -85. Let z = -16 + c. Suppose 140 = 5*k - 2*d, -3*k + 4*d = -90 + z. Does 10 divide k?
True
Suppose -4*s - 19 = -3*s. Let h be (31/4)/(5/20). Let m = h - s. Is 10 a factor of m?
True
Let u(v) = -3*v - v - v + 7*v + 2. Let w be u(-2). Let r(m) = -6*m**3 - m**2 - m - 1. Does 19 divide r(w)?
False
Suppose 2*m = -4*x + 56, 2*x - 4*m - 10 - 8 = 0. Let k(l) = -4*l + 7*l + l**2 - x + 4*l. Does 8 divide k(-10)?
False
Let d be 3/(-6) - (-18)/4. Let c = d + 5. Is 3 a factor of c?
True
Let y be -2 - 39/6*-4. Suppose -3*t + 5*s + 27 = 0, -6*s + 2*s = -3*t + y. Does 10 divide 190/4 - 2/t?
False
Let u be 3 + -1 - (-12 + 9). Let w be (-3)/u - 165/(-25). Does 22 divide w*(330/(-9))/(-5)?
True
Let p be 742/18 - (-1)/18*-4. Let x = 103 + p. Does 12 divide x?
True
Is 24 a factor of 159/1 - (-6 + 8)?
False
Suppose 25*v - 1867 = 5558. Is v a multiple of 33?
True
Suppose -40*x + 890 = 4*z - 38*x, 5*z + x = 1114. Does 30 divide z?
False
Let c(m) = m**2 + 2*m - 14. Let g = -45 - -81. Suppose 0*o + 3*o = -3*f - 21, -2*f + g = -3*o. Is c(o) a multiple of 22?
True
Let n = -7 - -8. Let z = 3 + n. Let q(f) = -f**2 + 9*f + 1. Is q(z) a multiple of 21?
True
Let v(d) = -d**3 + 10*d**2 - 5*d - 16. Let r be v(8). Suppose 0 = r*t - 78*t + 348. Does 32 divide t?
False
Let h(c) be the second derivative of -3*c**2 + 0 - 1/20*c**5 + 1/3*c**3 - c + 5/12*c**4. Is h(4) a multiple of 8?
False
Let g = 74 + -2. Let s = g - -21. Is 6 a factor of s?
False
Let n = 12 + -14. Let i be (-1 - n)/(5/30). Let p(v) = -v**3 + 7*v**2 - 3*v + 8. Is 26 a factor of p(i)?
True
Is 19 a factor of -3762*(3 - 2)/(-3)?
True
Let o = -318 + 482. Does 15 divide o?
False
Let o(k) = k**2 + 8*k + 7. Is o(-15) a multiple of 11?
False
Let u(m) = -m**3 - m**2 - 8*m + 285. Is 20 a factor of u(0)?
False
Let h = -13 + 16. Suppose 2*i = -h*i + 615. Does 13 divide i?
False
Does 6 divide 458133/429 - 1/(-11)?
True
Suppose -4*x = -4*m + 24, -23 + 8 = 5*x - 2*m. Let l = x - 2. Is l/(2/4 + -1) a multiple of 6?
True
Let l = -217 - -64. Let c = -82 - l. Is 28 a factor of c?
False
Let t be (-34)/(-51) - (-236)/6. Suppose c + 12 = t. Is 6 a factor of c?
False
Let i(b) = 3*b + 5. Let m be i(0). Suppose -18 + 323 = m*z. Does 10 divide z?
False
Suppose 1255 = 4*j - 5*d, 5*d = -3*j + 2*j + 345. Does 10 divide j?
True
Let d be -6 + 3 + 1 + -3. Let q(y) = -y**2 - 5*y. Let h be q(d). Let p = h - -18. Is p a multiple of 18?
True
Let j(n) = -n**3 + n + 4. Let u(z) be the second derivative of z**4/12 - z**3/6 - 2*z. Let y(m) = -j(m) - 5*u(m). Is y(5) a multiple of 7?
False
Suppose 32*j = 1093 + 1147. Is j a multiple of 7?
True
Let f(q) = -q - 2. Let p(s) = -s - 1. Let g(m) = 2*f(m) - 3*p(m). Let a be g(7). Let r = 33 - a. Does 25 divide r?
False
Let s(f) = 7*f**2 + 7. Does 9 divide s(-2)?
False
Let w(h) = -h**2 - 14*h + 41. Let f be w(-16). Suppose f*s = 6*s + 279. Does 14 divide s?
False
Does 67 divide ((-3)/4)/(10/(-12568 + 8))?
False
Let i(j) be the first derivative of 9/2*j**2 - 3 - 3*j. Does 20 divide i(7)?
True
Let l(f) be the second derivative of -f**5/20 - 4*f**4/3 + f**3/6 + 33*f**2/2 - 12*f. Does 17 divide l(-16)?
True
Is 26 a factor of 250 - ((-24)/16)/(6/16)?
False
Suppose 0 = -2*n + 7*n + 10, -2*k - 2*n = -8. Is 4 a factor of (-4)/k + (-134)/(-3)?
True
Suppose 2*m - 76 - 80 = 4*t, -2*t = 3*m + 86. Let o = t + 25. Let i = o + 34. Is i a multiple of 8?
False
Let r(d) = 13*d**2 - 2*d - 2. Let l be r(2). Let v = 648 - 646. Suppose v*f - l = 86. Is 9 a factor of f?
False
Let l = -28 + 30. Suppose l*b = -m + 71, 4*b + 158 + 65 = 3*m. Is 12 a factor of m?
False
Let r(k) = -k**3 - 6*k**2 + 2*k + 25. Is 2 a factor of r(-6)?
False
Let l = -49 + 51. Suppose -x - 79 = -l*x - 2*z, 2*z = 5*x - 335. Is x a multiple of 10?
False
Suppose 5*k = 3*o + o - 1353, 3*o - 1001 = k. Does 9 divide o?
False
Suppose -4*b = -19 + 15. Let t(m) = m**2. Let r(l) = 2*l**2 + 18*l + 14. Let x(o) = b*r(o) - 3*t(o). Does 14 divide x(14)?
True
Let r(p) be the first derivative of 4 + 15/2*p**2 - 2*p - 1/3*p**3. Is 20 a factor of r(13)?
False
Let n = -161 + 371. Is n a multiple of 10?
True
Let k(h) = h**2 - 3. Let z be k(5). Suppose -3*p = z + 11. Let m = 3 - p. Does 13 divide m?
False
Let b be (-184)/(-24) + -8 - 1832/(-6). Let w = b + -218. Is w a multiple of 11?
False
Suppose -7 = 3*p - 2*r + 4, 0 = p - 2*r + 5. Let g be (-1 + (-62)/6)*p. Let y = -12 + g. Is 11 a factor of y?
True
Is 2 a factor of 5/(10/3) - 8505/(-70)?
False
Let f be 4/6 + 56/24. Suppose -4*z = -f*z. Suppose -k + 3*c = 0, k - 2*c - 2 = -z. Is k a multiple of 2?
True
Suppose -4*h - 5*g - 9 = 0, -2*h + g + 25 = 3*h. Is 32 a factor of h - (1 + -215 + -5)?
False
Let t(d) = 25*d**2 - 2*d. Suppose -28*r = -33*r + 10. Is 16 a factor of t(r)?
True
Is 88 a factor of 26418/30 - (3/5 + 0)?
True
Let t = 10 + -8. Suppose -4*r + 59 = 3*p, 0 = t*p - 2*r - 0*r - 16. Suppose 33 + p = 2*d + 5*u, -5*d = -5*u - 45. Does 13 divide d?
True
Let v(b) = -34*b + 29. Let s = 60 + -65. Does 13 divide v(s)?
False
Let w(h) = h**3 + 6*h**2 - 7. Let v be w(-6). Let s = v - -31. Does 8 divide s?
True
Is 11 - (-445)/(-40) - 29211/(-24) a multiple of 75?
False
Suppose -k - 91 = -14*k. Is 7 a factor of k?
True
Let j(v) = -9 - 5*v + v - 5*v - 8*v. Let o be j(-5). Suppose 3*b - 101 = -f, f + 7 = -2*b + o. Is 21 a factor of b?
False
Suppose -4*v + 438 = -2*o, v + 4*v - 531 = -3*o. Does 9 divide v?
True
Suppose 49 - 1 = 4*m. Suppose -2*w - w = -m. Does 12 divide (-1)/(1/(-12))*w?
True
Let o = -997 + 2508. Is o a multiple of 8?
False
Let a be (72/(-16))/(6/(-8)). Suppose -2*c - m = -a*c + 10, -m + 5 = c. Is c a multiple of 2?
False
Let s be 1*-3 + 17 + -15. Let g = s + 16. Let q = g + 11. Is 16 a factor of q?
False
Let j = 30 + -28. Suppose -j*n + 1400 = 3*n. Does 14 divide n?
True
Let d = 80 - 48. Let k be (6 - 3)*(-2)/6. Let c = d - k. Is c a multiple of 9?
False
Suppose -7*p + 25*p = 22068. Is 12 a factor of p?
False
Let f be -2*(-4)/(-8) - -6. Suppose 0 = -3*z - 4*t + 177, -2*t + 0*t + 281 = f*z. Is z a multiple of 10?
False
Let y(n) = 185*n - 4. Is y(1) a multiple of 21?
False
Let m = 1242 - 906. Does 12 divide m?
True
Let x = 3 + 7. Suppose x*j - 111 = 13*j. Let s = -5 - j. Is s a multiple of 8?
True
Suppose 0 = -9*z + 10*z + 3*s - 2652, 5304 = 2*z + 2*s. Does 68 divide z?
True
Suppose -n = 5*o - 1081, -3*o = -2*o - 2*n - 225. Does 35 divide o?
False
Let a = 7446 - 5262. Is a a multiple of 56?
True
Is (-52)/(-16) - 4 - (-9933)/44 a multiple of 15?
True
Let c = 41 - 36. Is 11 + (2*-5)/c a multiple of 2?
False
Let a(b) = b**2 - 5*b - 18. Let f(n) = n**2 - 6*n - 17. Let t(j) = 3*a(j) - 2*f(j). Does 8 divide t(7)?
True
Let z(t) = t**2 - 10*t + 9. Let b(c) = -c**2 + 9*c - 8. Let v(x) = -5*b(x) - 4*z(x). Let g be v(5). Suppose -491 = -5*h - g*d, d + d = -2. Is 33 a factor of h?
True
Let r(n) = -15*n**2 - 3*n - 9. Let y(c) = 0*c + 8*c**2 - 2*c + 5 + 3*c. Let w(u) = -3*r(u) - 5*y(u). Does 7 divide w(-2)?
True
Suppose 20 = 2*f + 2. Does 8 divide 528/f + ((-9)/3)/(-9)?
False
Suppose -p + 3*m = 7*m - 20, -2*p + 5*m - 12 = 0. Suppose 2*j - 4 = u + 3, j = u + 1. Suppose 229 = p*x - f