e
Let n(a) = -176*a + 3. Is n(-1) a multiple of 38?
False
Suppose -246 = -3*i + 114. Let j be (-2)/10 + (-1636)/20. Let k = j + i. Is k a multiple of 19?
True
Suppose 37*a - 32792 = 14494. Is a a multiple of 6?
True
Let w be (2*-2)/(-8) + (-1701)/(-6). Let m = -115 + w. Is m a multiple of 22?
False
Let w be (-12 + 15)*4/6. Suppose -t = -1 - w. Is t a multiple of 2?
False
Let k(h) = -h**2 - 20*h + 5. Suppose 0 = -5*o - 2*r - 55, -4*o - 5*r - 19 = 8. Is k(o) a multiple of 24?
True
Let a = 80 + 92. Is a a multiple of 43?
True
Suppose 0*y - 5*y - 13540 = -5*m, -2*y = 2*m - 5432. Is m a multiple of 12?
True
Let u = 46 - 50. Let k = 16 + u. Is 9 a factor of k?
False
Suppose -2*v - v = -2*v. Suppose -3*c + t + 529 = v, 2*c - 240 = -2*t + 102. Is c a multiple of 30?
False
Suppose -a + 5*h + 18 = 0, 17 - 51 = -5*a - 3*h. Is (-6 - -9)/(6/a) even?
True
Let r(o) = -2*o**2 - 20*o + 39. Is r(-10) a multiple of 6?
False
Let v(d) = -d**2 + d + 21. Let y be v(0). Let s = y - 9. Is 5 a factor of s?
False
Suppose 5*m + w - 786 = 0, 11*w = 5*m + 7*w - 806. Does 16 divide m?
False
Let t = -862 + 1565. Suppose t = 5*c + 223. Is 12 a factor of c?
True
Suppose 5*t = 10*t. Suppose 3*g + 5*j = 215, t = -g - j + 58 + 15. Is g a multiple of 5?
True
Let l = -674 + 1778. Does 12 divide l?
True
Suppose -5*f + 14940 = 5*n, 2*n - f = 4*n - 5976. Is n a multiple of 14?
False
Let k(p) = 22*p - 7. Let r = -29 - -29. Suppose -5*i + 0*i = -y - 22, r = 5*i + 3*y - 14. Is 27 a factor of k(i)?
True
Suppose -2*c - 8 = 6*d - 2*d, 3*c + 12 = 2*d. Suppose 2*l = -y - 9, -3*y - 2*y - 5*l - 25 = d. Is (y/(-3))/((-1)/(-42)) a multiple of 4?
False
Suppose -7*k + 342 = -6*k. Is 6 a factor of k?
True
Let u = 137 - 216. Let b = u - -176. Is b a multiple of 23?
False
Let w = -10 - -22. Suppose 2*f + 4*f = w. Suppose -f*m + 3*u = -89 + 26, -m + 5*u = -49. Is 12 a factor of m?
True
Let c(w) = -2*w + 15. Let j be c(7). Let f = -25 + 69. Is f/2 + 2/j a multiple of 12?
True
Suppose -3*g = -3*o + 14 + 4, 3*g = 2*o - 13. Let j(w) = 67*w + 1. Let d be j(g). Does 11 divide (d/8)/((-4)/16)?
True
Let y(c) = 2*c - 3. Let w = 27 - 25. Suppose -2 = 2*n, -n + w*n + 37 = 4*x. Is y(x) a multiple of 9?
False
Let k = -736 - -916. Is k a multiple of 10?
True
Suppose 2*j - 7619 = -3*h, -j + 15228 = 3*j - 4*h. Is j a multiple of 32?
True
Suppose 4*y + 25 - 5 = i, y = -2*i - 14. Does 17 divide 0 - -64 - (y - -2)?
True
Let h = 47 + -31. Let y = 84 - h. Suppose 3*n + y = 5*t - 4*t, -t - 4*n + 75 = 0. Does 24 divide t?
False
Let f(v) be the third derivative of 0*v + 1/3*v**3 - 13/12*v**4 + 8*v**2 + 0. Does 13 divide f(-1)?
False
Suppose -9884 = 6*i - 13*i. Suppose 21*x = -26 + i. Does 33 divide x?
True
Let s be (3 - (-7)/(-5))/((-2)/(-5)). Suppose 0 = 2*n - s*l - 26 - 26, -2*l = -4*n + 80. Is 9 a factor of n?
True
Suppose 24*n - 25*n + 3 = 0. Suppose 2*g - 5*q = -n, 3*q + 1 = g + 4. Does 2 divide g?
True
Does 4 divide -3 + 11995/25 - (-8)/(-10)?
True
Suppose -62599 = 33*b - 171400. Is b a multiple of 21?
True
Suppose 3*h = 2*y + 15 - 118, 0 = -2*y - h + 107. Is y a multiple of 10?
False
Suppose -5*f - 4*z + 1535 + 3045 = 0, -4*f - 3*z + 3663 = 0. Does 12 divide f?
True
Let r(h) = -h**3 + 34 + 0*h**3 - 181*h**2 + 163*h**2 - 6*h - 8. Is r(-18) a multiple of 25?
False
Let c = -32 - -36. Suppose -2*z = c*p - 17 - 1, -4*z = -p - 63. Is 15 a factor of z?
True
Does 27 divide -1 + (-1524)/(-20) + 1/(-5)?
False
Let l be (-68)/(-7) + 16/56. Suppose -l*z - 136 = -12*z. Does 43 divide z?
False
Let w(o) = 2*o**2 + 12*o - 2. Let r be w(-7). Is (-32)/r*((-315)/6)/5 a multiple of 14?
True
Suppose -98*m + 20525 = -93*m + 4*y, 16420 = 4*m + y. Is m a multiple of 13?
False
Let a(p) = 31*p + 92. Is a(13) a multiple of 54?
False
Suppose -7*l + 69 + 715 = 0. Does 14 divide l?
True
Suppose 4*q + 5*n - 1191 = 0, q + 5*n - 62 = 247. Is 6 a factor of q?
True
Let w = 102 - 60. Suppose 2*s - w - 50 = 0. Does 29 divide s?
False
Let c = -540 - -2041. Is 66 a factor of c?
False
Let x(v) = v**3 + 5*v**2 + v + 2. Let m be x(-4). Suppose -4 - m = 2*p. Let k(z) = z**3 + 10*z**2 + 9*z + 7. Is k(p) a multiple of 7?
True
Suppose 0 = 7*z - 8*z + 63. Let r = z - 37. Is r a multiple of 13?
True
Does 12 divide (2900 - 0) + (5 - -15 - 16)?
True
Let l = 15 - 10. Suppose l*m = 3 + 797. Let n = m - 102. Is 29 a factor of n?
True
Suppose -5*p - 4*v + 60 = 15, -2*v + 10 = 0. Suppose -129 = -p*s + 191. Is 16 a factor of s?
True
Suppose -249 = 5*k - 644. Suppose -7*d + k = -6*d. Let y = d - 48. Is 7 a factor of y?
False
Let m = -2191 - -3291. Is m a multiple of 47?
False
Let p be (10/4)/((-10)/(-8)). Let i be (0 - p - 1) + 1. Is 9 a factor of (3/(-9))/(i/228)?
False
Suppose -158 = 2*c - r, -c - 20 = -r + 60. Let l = c + 133. Is 22/l - 126/(-10) a multiple of 4?
False
Let y(u) = -u**3 + 5*u**2 - 5*u + 2. Suppose 4*z + z = -35. Let v(h) = -h**3 - 7*h**2 + 3. Let i be v(z). Is 2 a factor of y(i)?
False
Let m(l) = 6 + 27*l + 2*l**2 - 7 - 3*l**2. Is 41 a factor of m(12)?
False
Suppose -3*i - 757 = 10*p - 12*p, -1459 = -4*p - 5*i. Does 6 divide p?
False
Is (-50 + 51)/(-1 + 262/261) a multiple of 6?
False
Suppose 8*y = -17 + 73. Suppose 0 = 2*b + y*b - 1242. Does 24 divide b?
False
Let f(q) be the third derivative of -q**5/60 + q**4/12 + q**3/2 - 4*q**2. Let z be f(0). Suppose -z*a = -2*d + 98, 6*d - 3*d + 2*a = 147. Does 11 divide d?
False
Suppose g = r - 8, 5*r + 2*g = 5*g + 44. Is 10 a factor of r?
True
Let i = -70 + 116. Let t = 29 + i. Is 15 a factor of t?
True
Suppose 2*c + 1186 = 5*u, 13*c = 3*u + 16*c - 699. Does 6 divide u?
False
Suppose 134*r = 46718 + 34620. Does 4 divide r?
False
Suppose 2*c + w = 5*w + 3924, 2*w + 7836 = 4*c. Does 89 divide c?
True
Let h = 3069 - 1206. Does 27 divide h?
True
Suppose -11*u = -12*u - 17. Let s = 28 + u. Is s a multiple of 2?
False
Suppose 0 = -30*d + 16738 + 12872. Is d a multiple of 7?
True
Let o = 82 + -85. Let g(i) = 10*i**2 - 10*i. Does 10 divide g(o)?
True
Let v be -2 - ((-3 - 1) + -2). Suppose -v*k + 0*k = -4. Is (2 - 9)/(k + -2) a multiple of 2?
False
Suppose 0*m - 3*m - 6 = 0. Let n be (-204)/(-510) + 318/5 + -2. Is 5/5 - n/m a multiple of 27?
False
Suppose -2*g - 2*g + 4*n + 36 = 0, 4*g + 3*n - 57 = 0. Suppose -4*m - g = -3*a, 1 = 5*a - 4*m - 19. Let x(c) = 2*c**3 - 7*c**2 + 3*c + 7. Is 9 a factor of x(a)?
False
Suppose -1 = -w + 4*w - 5*f, 0 = -4*w - 3*f + 18. Suppose 0 = -w*h - 4*u - 104 + 716, 0 = -5*h + 3*u + 991. Does 63 divide h?
False
Suppose -3*j + g - 4*g + 666 = 0, 0 = -2*j - 5*g + 438. Is 16 a factor of j?
True
Let s(c) = 2*c**3 + 28*c**2 - c**3 - 1 - 21*c**2 + 3*c. Let n = -7 - -1. Is s(n) a multiple of 17?
True
Let a = -433 + 642. Is 19 a factor of a?
True
Let x be 4 - ((-4 - -7) + -51). Suppose x = 5*q - 3*q. Is q a multiple of 13?
True
Let r be (-5)/(-1*(-4 + 5)). Suppose -r*s - s = -126. Let h = -9 + s. Is h a multiple of 12?
True
Suppose 4*s - 1431 = 4649. Is s a multiple of 76?
True
Let j be (-4)/22 - (-316)/44. Let d = j - 5. Suppose 3*x - 165 = -3*l, 39 = 2*l - d*x - 63. Is 11 a factor of l?
False
Let o be (-4)/10 + 108/20. Let r = o - -1. Suppose -r*d + 4*d = -16. Does 4 divide d?
True
Suppose 27*s = 626 + 4936. Is s a multiple of 9?
False
Suppose -4*r + 3*r + 5*y - 6 = 0, -3*r + 2*y = -34. Suppose r*t - 264 = 11*t. Does 38 divide t?
False
Suppose -10*b - 54 = 26. Is 11 a factor of (-4 + (-28)/b)*-198?
True
Let j be 2 + (-2 - -19*4). Suppose 509 = 5*a - j. Is 13 a factor of a?
True
Let x be (-171)/6*40/15. Let s be 0/((-2)/(-1 - -3)). Is s - (3 + x) - 1 a multiple of 24?
True
Let o(y) = 19*y - 25. Suppose 4*c = 2*w + c - 29, 2*w + 4*c = -6. Does 21 divide o(w)?
False
Suppose -4035 = -58*p + 10755. Is 3 a factor of p?
True
Let r = -17 + 28. Let s(l) = 10 - 28 + 6*l - r*l. Is s(-9) a multiple of 11?
False
Suppose -7*x + 2*x + l = -262, -x = -2*l - 56. Let q be (1 - 1)*(-4 + 14/4). Suppose y = x - q. Does 24 divide y?
False
Let u(m) = -m**2 - 2*m + 11. Let t be u(0). Suppose -51 - 37 = -t*f. Is 8 a factor of f?
True
Let h = -105 - -155. Does 25 divide h?
True
Let o be 1718 + ((-2)/(-3) - (-8)/(-12)). Does 22 divide 8/(-52) - o/(-13)?
True
Let c be (-1 + 2)/(2/52). Let f = 39 - c. Let k = f + 26. Is 13 a factor of k?
True
Let s(p) = 69*p - 131. Is 12 a factor of s(5)?
False
Let v = 437 + -293. Let b be 