of 5?
True
Let y = 262 - 225. Suppose -6*s + 3*s = 99. Let v = s + y. Is v a multiple of 2?
True
Let h(b) = 2*b**2 - 10*b + 16. Let w be h(14). Suppose -z + w = -4*u + 768, -500 = -4*u - z. Suppose 6*g = g + u. Does 7 divide g?
False
Suppose -30*i + 375 = -3105. Does 2 divide i?
True
Let b(y) = 37*y**2 + 2*y + 2. Let j be (-20)/6*(-36)/20. Suppose 0*w = -j*w - 6. Is 24 a factor of b(w)?
False
Let r = 1792 - 624. Is 8 a factor of r?
True
Let q(z) = 11*z**2 + 14*z + 24. Let l(u) = -7*u**2 - 9*u - 16. Let g(t) = -8*l(t) - 5*q(t). Let p be g(0). Let h(i) = 8*i - 7. Is 19 a factor of h(p)?
True
Let b = 24 - 21. Suppose -32 = -b*l + 2*l + 4*p, 4*l = -2*p + 110. Is 2 a factor of l?
True
Suppose 0 = -j + 11*f - 7*f + 225, -5*f + 743 = 3*j. Does 14 divide j?
False
Let x(q) = -q**2 + 54*q - 26. Is 17 a factor of x(40)?
False
Let g be -2 + (-9)/(-6) - (-2)/4. Suppose 5*d - 3*l - 277 = g, 4*d - 4*l - 175 = d. Is d a multiple of 16?
False
Let q(x) = 3*x**2 + 10*x + 59. Does 7 divide q(-5)?
True
Suppose 3*n + 3*j - 2307 = 0, -6*n + 4*j + 2300 = -3*n. Is n a multiple of 8?
True
Let z = -581 - -881. Is z a multiple of 10?
True
Suppose 0 = -3*u + 10165 - 472. Is 8 a factor of u/153 - (-4)/(-34)?
False
Suppose 0 = -22*a + 20*a + 8, a = 3*b - 3611. Is 31 a factor of b?
False
Is 59 - (1 - 6/3) a multiple of 15?
True
Let l be (-50)/(-15)*(-18)/(-15). Suppose 1086 = 2*u - 4*s, 2*u - 7*u - 4*s = -2771. Suppose -5*g - u = -l*w, g - 10 = -g. Does 30 divide w?
False
Let f be -2 - 0 - 0 - 7. Let l(v) be the first derivative of v**4/4 + 10*v**3/3 + 3*v**2 - v + 3. Is l(f) a multiple of 13?
True
Let h(c) be the second derivative of c**4/6 - c**3 - c**2 - 5*c. Let u(m) = 2*m**2 - 6*m - 1. Let n(l) = -3*h(l) + 4*u(l). Is n(4) a multiple of 10?
True
Let v be (-7 + 342/54)/(1/3). Let c = -34 - -50. Is 4 a factor of (4 + -5)/(v/c)?
True
Does 21 divide 1764/(-70)*60/(-2)?
True
Suppose 15 = -d + 4*d. Suppose d*y - 65 - 125 = 0. Suppose -2*m = -y - 38. Is m a multiple of 12?
False
Suppose 3*t + 0*t + 75 = 0. Let m = t + 30. Suppose 2*z = m + 1, 4*g + 3*z - 249 = 0. Is 15 a factor of g?
True
Let s(h) = -h**2 + 5*h - 10. Let n be s(-13). Let m = -119 - n. Suppose 5*g - 7*a - m = -4*a, 5*g - 5*a - 135 = 0. Does 11 divide g?
True
Suppose -4*x - 17 = -9. Let b be x + 1 + 57/3. Suppose -b - 12 = -t. Is 10 a factor of t?
True
Suppose 0 = 3*w - 4*a + 7, -2*w - 5*a = -0*w - 3. Is 16 a factor of (5 + 18*w)*-10?
False
Let v(q) = q + 11. Let r be v(-8). Let w = r + 1. Suppose -w*j + 6 = f - 0*j, 0 = f - 2*j - 24. Does 14 divide f?
False
Suppose 3*w + 2*w = 25. Let t(o) = o**2 - 7 - 2*o**2 + 16 - 4*o - w*o. Is 7 a factor of t(-9)?
False
Let r = 36 + -29. Suppose r*s = 5*s + 88. Is 22 a factor of s?
True
Let x = 23 - 46. Let c = 20 + x. Is c/(-9) + 88/6 a multiple of 15?
True
Is 14 a factor of (15/(-25) + -5)*30/(-4)?
True
Let b = 29 - 26. Suppose 7*c - 6*c = b. Is 13 a factor of (c/6 + 0)*106?
False
Let c(k) = 2*k**3 - 6*k**2 - 39*k + 9. Is 2 a factor of c(8)?
False
Is 16 a factor of (3/(8 + -14))/((-1)/512)?
True
Let n = 2998 + -1798. Is 29 a factor of n?
False
Suppose 0 = 3*j + 4*q - 436, -j + 13*q = 17*q - 132. Is 10 a factor of j?
False
Suppose 6*z - 54 = 3*z. Is z/((-5)/(-7) + (-4)/(-14)) a multiple of 7?
False
Suppose o - 17 = h + 14, 143 = 5*o - 2*h. Does 10 divide o + -1 - (-18 + 14)?
True
Let k = -26 + 62. Suppose -4*y + k = -y. Is 9 a factor of y?
False
Does 12 divide (-4)/(8/(-5)) + (-4866)/(-12)?
True
Suppose t = 3*t - 8, 237 = v + t. Is 40 a factor of v?
False
Suppose 20*n - 25*n = 7*r - 25633, 0 = 4*r - 4*n - 14620. Does 19 divide r?
False
Let r be ((-4)/16)/((-2)/40). Suppose r = 2*l + 3. Does 28 divide (-112)/(-6)*(l - -2)?
True
Let j be -3 - (22/(-6) - 24/(-36)). Suppose j = -5*o + 250 - 25. Is o a multiple of 6?
False
Suppose 51*g - 44495 = -4*g. Is 11 a factor of g?
False
Suppose -2*r + 2 = -0*r. Let o be ((-60)/(-14))/(r/21). Suppose 2*a + 3*a = o. Is a a multiple of 9?
True
Let f(c) = -2*c + 97. Let h be f(0). Let i = h - -108. Does 13 divide i?
False
Let v(p) = p**3 + 5*p**2 + 4*p + 4. Let f be v(-5). Let c = 10 + f. Let y = c + 15. Is y a multiple of 3?
True
Suppose 14 - 124 = -2*r. Suppose 78*x + r = 83*x. Is x a multiple of 11?
True
Suppose 4*y - 4*m - 392 = 0, 3*y = 5*y + m - 181. Is 16 a factor of y?
False
Let j = -173 - -179. Let b be (-12)/(-2)*6/(-4). Is b/(j/9 - 1) a multiple of 27?
True
Let p = 603 - 283. Suppose 2*q = -2*q + p. Is 20 a factor of q?
True
Let t(p) = -2*p + 2. Let y be t(2). Is (6/18)/(y/(-42)) a multiple of 2?
False
Suppose -1408 = 3*x + x. Let g = -145 - x. Does 23 divide g?
True
Let m(r) = -r**3 + 9*r**2 - 9*r + 2. Let n be m(6). Suppose -2*f + n + 4 = 0. Is f a multiple of 10?
True
Let y be (-35)/2*70/(-25). Does 10 divide (2 - 1)*(y - -2)?
False
Let w(n) = n**3 - n**2 - 3*n + 5. Let t be w(2). Let o(i) = -5*i. Let r be o(t). Is (-5)/r - (-50)/3 a multiple of 10?
False
Let f(i) = -3*i - 22. Let p be f(-8). Suppose 0 = -p*o - 10, -4*o = t - 43 - 25. Does 14 divide t?
False
Is 12 a factor of (-4)/(-72) + (-64362)/(-108)?
False
Suppose -10*o + 2471 = 131. Does 6 divide o?
True
Let d(v) = -v**2 + 8*v + 15. Suppose -w = 4*w + 20. Let k = w - -11. Is 7 a factor of d(k)?
False
Let k(g) = g**3 + 12*g**2 - 2*g - 16. Let v be k(-12). Let t = 8 - v. Suppose 0 = -5*h - t + 40. Is 3 a factor of h?
False
Let z(o) = 4*o**2 - 19*o - 7. Is 25 a factor of z(-11)?
False
Suppose -4*j + 26 + 2 = 0. Suppose 0 = -m - 4 + j. Suppose -m*s = -5*z - 3 - 37, -84 = -4*s - z. Does 15 divide s?
False
Let w(t) = t - 7. Let z be w(10). Let c = -21 + 56. Suppose c = z*r - 58. Is 9 a factor of r?
False
Let a be (-5)/(-2)*12/5. Suppose -62 = -a*r - 2. Suppose j - 5*w = -r, -j + 4*w + 2 = 7. Is 15 a factor of j?
True
Let m(y) = 22*y**2 - 3*y + 30. Does 28 divide m(-6)?
True
Let g(t) be the third derivative of -t**6/120 - t**5/30 + t**4/8 - 8*t**2. Does 15 divide g(-5)?
True
Let j(c) = c**2 + 11*c - 17. Let o(r) = -5*r + 3. Let w be o(6). Let z = w - -14. Is 5 a factor of j(z)?
False
Suppose -2 = v - 7. Let r = 0 + v. Suppose -3*w + 5*t = -w - 52, -4*t - 130 = -r*w. Is w a multiple of 4?
False
Let m = 1128 - -291. Does 43 divide m?
True
Let f(c) = 126*c**2 + 3*c + 1. Let p be f(-1). Suppose 0 = 17*n - 13*n - p. Is 8 a factor of n?
False
Suppose 4*t - 5 = -4*k + 51, -3*k = -3*t - 48. Suppose n - k = 11. Does 13 divide n?
True
Let i be 2/4*13/(52/40). Suppose 4*y - 210 = -5*l, i*l = 2*y - 0*y + 210. Is l a multiple of 14?
True
Let s(l) = l + 14. Let n be s(-12). Suppose -9*h = -n*h - 161. Is h a multiple of 8?
False
Suppose 0 = 220*j - 214*j - 1812. Is 27 a factor of j?
False
Let j be (-2630)/8 + (-15)/(-20). Let k = -166 - j. Suppose 4*c - 71 - 98 = -5*v, 0 = 5*v - 3*c - k. Is 8 a factor of v?
False
Let g = -99 - 138. Let y = 337 + g. Is 50 a factor of y?
True
Let r = 60 + -57. Suppose 0*l = 3*l - r*w - 504, -w + 858 = 5*l. Does 9 divide l?
True
Let s(z) = -3*z + 0*z**2 - 7 - 6*z**2 + 2*z**2 + 6*z**2. Let k = -7 + 2. Does 13 divide s(k)?
False
Let l(j) = -4*j**2 - 2*j. Let v(m) = -4*m**2 - 3*m. Let w(z) = -3*l(z) + 2*v(z). Is 12 a factor of w(3)?
True
Suppose -3*r + 4 = -2*r. Let h(j) = -2*j - 8. Let z be h(-6). Is 2/r*z + 7 a multiple of 5?
False
Suppose 0 = -4*s + 5*i + 29, -4*i - 11 + 1 = -s. Is 2 + 17 + s + (1 - 3) a multiple of 6?
False
Let w(r) = r. Let g(n) = -3*n. Let a(d) = 6*g(d) + 21*w(d). Does 15 divide a(10)?
True
Suppose 0*q + 104 = 8*q. Suppose 1836 = -4*t + q*t. Does 34 divide t?
True
Let o = 29 + -29. Let i(x) = -x**3 + x**2 + 2*x + 16. Is 8 a factor of i(o)?
True
Suppose -2 = -2*a - 2*k, k = 3*a + 3*k - 5. Suppose t = 4*d, -3*d = t - 4*d - a. Suppose t*y - 166 + 58 = 0. Is 16 a factor of y?
False
Suppose 2*u + 12 = u. Suppose 0 = -4*p + 4*s + 148, -p = -6*s + s - 33. Let f = u + p. Is f a multiple of 11?
False
Suppose -2*p = 4*i - 934, -4*i + 2*p + 949 = 7*p. Does 4 divide i?
False
Suppose -v = -3*v + 80. Suppose -3*i + 3*o = -i - v, -2*i = 2*o - 20. Is i a multiple of 3?
False
Let f be (180/(-21))/(-2)*-14. Let j = -17 - f. Is 14 a factor of j?
False
Suppose -91*z + 243915 = 10*z. Is z a multiple of 116?
False
Does 67 divide ((-75)/(-6) + -10)*804/3?
True
Suppose 10 = 3*l - 5. Let y(d) = 2*d**2 + d - 8. Let k be y(l). Suppose -2*h = 15 - k. Does 7 divide h?