- 16. Let n be y(0). Let b = -28 - n. Is (b/18)/((-4)/54) a multiple of 3?
True
Let u = 4 + 174. Let k = -126 + u. Does 8 divide k?
False
Let b(g) = 77*g - 11. Suppose -2*i - 23 = -5. Let f(n) = -39*n + 5. Let s(m) = i*f(m) - 4*b(m). Is 14 a factor of s(1)?
True
Let a = 290 + -114. Suppose -a = -6*b + 2*b. Is b a multiple of 5?
False
Let v(f) = 5*f**3 + 2*f**2 + 2*f - 3. Let k be v(-2). Let y = k + 43. Does 4 divide y?
True
Let r(t) be the second derivative of 85*t**3/6 - t**2/2 - 13*t. Is 14 a factor of r(1)?
True
Suppose q - 925 = -q - o, -3*q + 1388 = 2*o. Is q a multiple of 7?
True
Suppose -q = -0*q + 3*x - 49, 2*q + 4*x = 104. Let h = -52 + q. Does 3 divide h?
True
Suppose 0 = -11*p + 6*p + 30. Is (261/7 - 2) + p/(-21) a multiple of 5?
True
Let v be (-9 + 6)*(-129)/9. Suppose -60 = -4*d + q, -4*d + 4*q + v + 17 = 0. Is d a multiple of 5?
True
Suppose w - 5*w = -16. Suppose 669 = w*m - m. Suppose 0 = 4*q + q + 15, 5*z - m = q. Is 16 a factor of z?
False
Let k(n) = 2*n - 4. Let q(u) = -u + 4. Let j(g) = -3*k(g) - 4*q(g). Let r = 21 - 25. Is 4 a factor of j(r)?
True
Let d(p) = 30 + 31 - 2*p**2 - 77 - 25*p + p**2. Let o be 8/(-36) - 97/9. Is d(o) a multiple of 35?
False
Suppose 12*z - 7531 = 15089. Is 12 a factor of z?
False
Suppose -2*g - 44 = -6*g. Suppose 48 + 402 = -18*d. Let b = g - d. Is b a multiple of 18?
True
Let s(u) = 8*u**2 + 9*u + 42. Is s(-10) a multiple of 18?
False
Suppose d + 2*w - 1069 = 3*w, -w + 3187 = 3*d. Is d a multiple of 38?
True
Let x = -14 + 14. Let r = 2 - x. Suppose 5*p - 18 = r*p. Is 2 a factor of p?
True
Let z(u) = -144*u + 1. Let h be z(1). Let m be h/(-65) - (-2)/(-10). Suppose -m*s = -55 - 53. Does 28 divide s?
False
Let o(a) = 14*a**2 + 5*a - 2. Let b be o(-3). Let w = 185 - b. Is 19 a factor of w?
True
Let l be (12/(-8) + 0)*-4. Let v be 3*30/(-27)*l. Is 3 a factor of ((-132)/(-55))/((-3)/v)?
False
Let u = 639 + -309. Does 30 divide u?
True
Is 13281/38*2/3 a multiple of 10?
False
Suppose 58 = 5*m - 52. Let x = 45 + m. Is 7 a factor of x?
False
Let b(d) = -67*d**2 + 3*d**3 - 5 + 61*d**2 - 7*d - 6*d**3. Is b(-4) a multiple of 9?
False
Let v(g) = -283*g + 10. Let c be v(-2). Suppose -c = -2*a + 4*b, 2*b + 4 = -2. Does 47 divide a?
True
Let l(a) be the second derivative of a**4/2 + 5*a**3/6 - a**2/2 - 12*a. Does 15 divide l(-4)?
True
Let b(t) = 15*t**2 + 2*t - 5. Let n be b(3). Let l = n - 88. Is 6 a factor of l?
True
Let n be (14 + -11)*10/6. Suppose -25 = 5*s, 0 = -2*z - n*s + 86 - 27. Does 14 divide z?
True
Suppose 0 = -4*y - p + 12, 6*p - p - 9 = -3*y. Suppose -61 = -l + z, -2*l + 122 = y*z + z. Is l a multiple of 10?
False
Suppose 4*v - 2*p = 6, -2*v - 5*p = 3*v - 45. Suppose v*g - 78 = -2*x, 5*x + 0 + 39 = 3*g. Let i = 32 - g. Is 4 a factor of i?
False
Suppose -z + 4*g + 5660 = 1188, 5*g - 4445 = -z. Does 47 divide z?
False
Let x be 1 + (3 - (-3 - -3)). Suppose 36 = x*y - 5*r, -4 = 4*y + 6*r - r. Is 3 a factor of y/6 - (-100)/12?
True
Suppose 0 = -2*m + 4*h + 1056, -39*h = -3*m - 36*h + 1587. Does 5 divide m?
True
Suppose 289 = r + 5*f - 357, -f - 2479 = -4*r. Does 9 divide r?
True
Suppose 873 = 14*m - 7135. Is 13 a factor of m?
True
Suppose -18093 - 1731 = -24*w. Is w a multiple of 49?
False
Suppose 315 = 9*o - 333. Does 9 divide o?
True
Let y = 1195 - -2046. Is 46 a factor of y?
False
Let d = 422 - 421. Let a = -4 - -6. Is ((-5)/d + a)*-22 a multiple of 22?
True
Let d = 89 - -1198. Is d a multiple of 9?
True
Let k(f) = f**2 + 3*f + 1. Let r be k(5). Let v = 47 - 24. Suppose -3*q = 5*n - r, 5*n - 2*q = -v + 79. Is n a multiple of 4?
False
Suppose -u + 345 + 74 = -3*p, 1712 = 4*u - 3*p. Does 55 divide u?
False
Let m = -14 + 15. Let y be (0 - 0)/(m + 2). Suppose a + a - 44 = y. Does 7 divide a?
False
Suppose 4*i + 131 + 929 = 4*q, q - 2*i = 268. Is 4 a factor of q?
False
Let u be (1 + -16)*40/(-50). Does 18 divide u/2*(-3 + 6)?
True
Suppose -2*w + 1940 = -t, 5*w = t + 4 + 4852. Is w a multiple of 36?
True
Let l(y) = y**3 - 11*y**2 - 15*y + 5. Let c be l(13). Let z = c + -30. Does 17 divide z?
False
Let j = 18 - 14. Suppose 0 = -j*b - 62 - 34. Let i = b + 68. Is 25 a factor of i?
False
Suppose m + 8 = 9. Is -70*(m/(-2))/((-4)/(-16)) a multiple of 20?
True
Suppose -4*r = 3*s + 18 + 2, -5*r + 5*s = -10. Let w be 2/(-5) + r/(-5). Suppose w*x + 68 = 2*x. Does 34 divide x?
True
Does 48 divide (-5)/(-60) - 7367/(-12)?
False
Let g(w) = w**3 + 3*w**2 - 2*w + 633. Let y be g(0). Suppose -5*u = -2*b + y, 4*u - 2*u - 626 = -2*b. Is 54 a factor of b?
False
Suppose 43033 = 3*j + 20*j. Is 11 a factor of j?
False
Let j(d) = d - 8. Let k(a) = a - 16. Let r(n) = -5*j(n) + 2*k(n). Let b be r(6). Let y = b + 17. Is y a multiple of 7?
True
Suppose 1223 = -3*s + 110. Let y = s + 536. Is 32 a factor of (y/(-6))/(3/(-12))?
False
Let q(k) = -19*k - 27. Let v(s) = -9*s - 13. Let u(l) = -3*q(l) + 7*v(l). Does 24 divide u(-13)?
False
Let g = 83 - 13. Let v = -15 + g. Is v a multiple of 6?
False
Let w(c) = 32*c**2 - 14*c - 6. Let s(l) = -21*l**2 + 9*l + 4. Let t(n) = -8*s(n) - 5*w(n). Let d(z) = z**2 + 4*z + 1. Let u be d(-2). Is t(u) a multiple of 29?
False
Let o be -2 + (-11)/(44/(-416)). Let w = o - 42. Does 10 divide w?
True
Let l = 264 + -168. Is 9 a factor of l?
False
Suppose 3*c - 716 + 122 = 0. Let p = -82 + c. Is 6 a factor of p?
False
Let i(j) = -j**2 - 6*j - 4. Let a be i(-4). Suppose -96 = -3*v + a*s, -2*v = v + 3*s - 75. Suppose 4*h + 5*z - v = 0, h + z - 2 = 5. Is 2 a factor of h?
False
Let o(q) = -33*q + q**3 + 72*q + 15 - 25*q + 13*q**2. Is o(-11) a multiple of 22?
False
Suppose -5*d = -43 - 737. Is 2 a factor of d?
True
Suppose -15*a + 2328 = 798. Is 51 a factor of a?
True
Let n = 1 + 14. Suppose 18*p + n = 13*p. Is (p + -72)*8/(-10) a multiple of 10?
True
Let r(o) = 17*o**2 - 11*o - 29. Is 7 a factor of r(-4)?
True
Let m(o) be the second derivative of o**4/6 + o**3/3 + o**2 + 7*o. Let p be m(-1). Suppose -4*w = -b + 39, -w = 4*b + p*w - 80. Is 23 a factor of b?
True
Suppose j + 5*c - 92 = -0*j, 12 = -3*c. Is j a multiple of 4?
True
Let s = 26 - 6. Does 4 divide s?
True
Suppose 17*p - 12*p + 1584 = 2*v, 5*p = 4*v - 3188. Is 9 a factor of v?
False
Suppose 6*j = 41 + 49. Let v = 3 + j. Is v a multiple of 4?
False
Suppose -l + m = -86, 12*l - 11*l + 4*m - 106 = 0. Is l a multiple of 30?
True
Suppose 0 = b - 266 + 81. Is 16 a factor of b?
False
Let l = -1 - -1143. Is l a multiple of 10?
False
Suppose 7*n = 8*n - 4. Suppose 0 = -n*c + 50 + 274. Is c a multiple of 18?
False
Does 11 divide (-1 - -150) + 20/(-7 - -11)?
True
Suppose 0 = 6*a - 2*a + 3*r - 96, -3*a = 5*r - 83. Let k = a + -18. Suppose 2*j - 5*n = -k*n + 36, 62 = 4*j + n. Is j a multiple of 16?
True
Let h(s) = -3*s**3 + s**2 - 3*s + 775. Is h(0) a multiple of 10?
False
Does 27 divide 4/(-6) - 6490/(-15)?
True
Is 8/(-6)*(-714 + -45) a multiple of 11?
True
Suppose -5734 = -28*r + 16386. Is r a multiple of 5?
True
Let m = -9 - 7. Let k = m + 26. Suppose -k*r = -8*r - 68. Is 25 a factor of r?
False
Let b be -5 - -2 - -724 - -4. Suppose f = 5*w + 6*f - b, -4*w = -5*f - 607. Is w a multiple of 22?
False
Let v(d) = d**2 + d + 3. Let k(z) = z**3 - z**2 - z - 4. Let y(l) = -3*k(l) - 4*v(l). Let i be y(-2). Let x = i + 5. Is x a multiple of 10?
False
Let d = 54 + -56. Is (-542)/(-5) - ((-36)/(-15) + d) a multiple of 18?
True
Suppose 4*o + 2745 = 5*g, -5*g + 12*o + 2740 = 9*o. Is 25 a factor of g?
False
Suppose 0 = -j + 3 + 21. Does 2 divide -2 + j/4 + 5?
False
Let y(b) = 15*b**2 - 34*b - 13. Is y(-9) a multiple of 52?
True
Let n(s) = -s**2 - 6*s - 3. Let a be n(-5). Suppose 4*j = -20, 0*q - 205 = -a*q + 3*j. Does 19 divide q?
True
Suppose 8*c - 3*c = -40. Is 2 a factor of 6/c - 66/(-24)?
True
Suppose 534*f = 540*f - 6204. Is 7 a factor of f?
False
Suppose -5*c = -2*w - 8931, -5*w + 1226 = 2*c - 2329. Does 21 divide c?
True
Let y = -1 + 4. Let k(z) = 4*z**3 - 2*z**2 - 5*z + 3. Let s be k(y). Is s + (1 - (-2)/(-2)) a multiple of 28?
False
Let v = 11 - -31. Is 15 a factor of (-8)/(-14) + 4386/v?
True
Suppose -i - 6072 = -9*i. Does 7 divide i?
False
Suppose 5*a - 4*a = 2. Suppose -3*t = 5*s - 32 - 88, a*s = 3*t + 27. Is 6 a factor of (-624)/(-28) + (-6)/s?
False
Suppose 13*y - 864 = 4*y. Suppose -y = -63*z + 59*z. Does 6 divide z?
True
Let u(x) = -2*x**3 - 7*x**2 - 8*x - 