e
Suppose 3*a - 12122 = -8*a. Does 95 divide a?
False
Let h = 9 - 6. Suppose w + h = -5. Let k(q) = -q**3 - 7*q**2 + 4*q - 8. Does 8 divide k(w)?
True
Let s(u) = 8*u - 25. Does 2 divide s(6)?
False
Let f(x) = 365*x**3 - 8*x**2 + 7*x - 4. Is f(2) a multiple of 21?
True
Let k be -2*(-57)/(-42) - 4/14. Let y(b) be the second derivative of -b**5/10 - b**4/3 - b**3/3 + 7*b**2/2 + 6*b. Is y(k) a multiple of 31?
True
Is 17 a factor of (-1 - 5518/(-4)) + 21/(-14)?
True
Let w(r) = -r**2 - 10*r + 14. Let a be w(-14). Is 7 a factor of -3 - a - (0 + 0)?
False
Suppose -3*x - 4 = -4. Does 13 divide x + ((-200)/(-4) - -3)?
False
Let k(x) = 40*x**3 - 8*x**2 + 2*x - 6. Does 14 divide k(3)?
True
Let z(h) = 386*h**2 - 41*h + 125. Is 79 a factor of z(3)?
True
Let c(b) be the third derivative of b**6/120 + b**5/10 - 3*b**4/8 - 7*b**3/6 - 2*b**2 + 3*b. Is 11 a factor of c(-6)?
False
Suppose 4104 = 10*t - 1236. Is 48 a factor of t?
False
Let n(r) = -r + 8. Let s be (-123)/(-21) + 1/7. Let m be n(s). Is 5 a factor of m - 9/(3/(-1))?
True
Suppose -5*v + 7*v = 1006. Is v a multiple of 21?
False
Let j = -669 - -1283. Does 28 divide j?
False
Suppose 9*m - 5948 = -620. Is m a multiple of 22?
False
Suppose 4238 = 17*n - 4*n. Is 11 a factor of n?
False
Suppose m - 5*g = 13 + 2, -51 = -5*m + g. Suppose n - 4 = -m. Is 5 a factor of 2 - n*(-16)/(-12)?
True
Let s(o) = 14*o - 1. Let y be s(-2). Let d = y - -48. Is 12 a factor of d?
False
Let r(w) = -w**2 + 16*w - 11. Let p = 14 + -8. Does 21 divide r(p)?
False
Let g = -143 - -148. Suppose k - 3 = 0, -2*k + 5 + 266 = g*x. Is 8 a factor of x?
False
Let b = 22 + -24. Is (3 + (-54)/30)/(b/(-15)) a multiple of 9?
True
Let u = 147 - -306. Let f = u + -167. Is f a multiple of 44?
False
Suppose 0 = o - 1, 6*a - 2*a - 4*o - 104 = 0. Let r = 34 - a. Is r a multiple of 4?
False
Let q(o) = -o**2 + o + 5*o**2 - 2*o**2 + 25. Does 12 divide q(6)?
False
Suppose -o + 2*m + 173 = 0, m + 175 = o - 2*m. Suppose -f = -o + 29. Is f a multiple of 20?
True
Let l be (-12)/(-18) + 10/3. Suppose z + 5*y - 12 = 5, l*z - 26 = y. Does 18 divide (-53)/(-3)*21/z?
False
Let p = -304 + 611. Is 9 a factor of p?
False
Suppose 218 = -3*h + 2. Let j be (-228)/h + (-2)/12. Is -3*(-1 + (-4)/j) a multiple of 4?
False
Let i = -56 + 51. Does 25 divide ((-2)/(-4))/(((-25)/330)/i)?
False
Let t be 2/(-4) - 9/(-18). Suppose -5*a = -t*a - 30. Does 2 divide a?
True
Let n(g) = -g**3 + 6*g**2 - 7*g + 5. Let c be n(5). Let f(o) = -o**2 + o + 15. Let r be f(c). Let l(t) = -6*t - 16. Is 18 a factor of l(r)?
False
Suppose 0 = o - 1392 - 1368. Is o a multiple of 60?
True
Let d = 26 + -29. Is 25 a factor of -3 + (-2)/d*42?
True
Suppose -m + 193 = 2*w - 0*m, 5*w - 510 = 3*m. Let d = -68 + w. Does 5 divide d?
False
Let v = 648 + -428. Is v a multiple of 20?
True
Let w = -5 + 10. Is 1/((w/(-120))/(2/(-6))) a multiple of 6?
False
Suppose -5*c - 33 = -2*c. Let o = c - -33. Is 12 a factor of o?
False
Let g(o) = o**3 + 12*o**2 + 12*o + 83. Does 7 divide g(-11)?
False
Let y = 5 + -6. Suppose 0 = 4*x - 2*w + 4, 5*w + 6 = -4*x + 16. Is 17 a factor of 41 + -7 + x/y?
True
Let u(m) be the first derivative of -3*m + 5/2*m**2 - 3 + 2/3*m**3. Does 13 divide u(3)?
False
Is 7/14 - (-1)/(-2)*-3093 a multiple of 17?
True
Suppose -116 = -17*u + 15*u. Let t(j) = j + 11. Let c be t(-7). Suppose 0 = -3*f - 4*a + c + u, -2*f + 64 = -3*a. Does 6 divide f?
False
Let c = 15 + -16. Let b be (-3 + 6 + c)*-1. Is 2/((-3)/198*b) a multiple of 11?
True
Suppose 0 = -y - y + 632. Let d be (-5)/(1 + (1 - 2) - 1). Suppose 88 = n - d*f, -4*f = -4*n - 2*f + y. Is n a multiple of 21?
False
Suppose 9*d + 658 = 28. Let a = d + 236. Is a a multiple of 15?
False
Let o be (2 - 3) + (-74)/1 + 0. Let n = o - -195. Is n a multiple of 24?
True
Let c(i) = 14*i**2 - 10*i - 36. Let u(n) = 9*n**2 - 7*n - 24. Let v(r) = -5*c(r) + 8*u(r). Does 24 divide v(9)?
True
Suppose -3*k + 4*b = -9218, 8803 = 5*k - b - 6583. Does 38 divide k?
True
Let t = 252 - -2255. Does 109 divide t?
True
Suppose -u - 3*u = 232. Let o(y) = y**2 - 3*y - 11. Let i be o(12). Let k = i + u. Does 13 divide k?
True
Let k(f) = -1 + 2*f + 2*f + 47*f**2 - 2*f. Let a be (3 - (-10)/(-3))/(1/(-3)). Is 12 a factor of k(a)?
True
Let r = 824 + -502. Does 21 divide r?
False
Let f(x) = x + 3. Let k be f(-3). Suppose 4*w = -k*w + 4. Is (28/6*6)/w a multiple of 7?
True
Suppose -d = d + 3*u + 13, -4*u = -12. Let v be (-11 + 10)*(d - 1). Suppose -2*x = -0 - v. Is x a multiple of 6?
True
Let v(w) = 5*w + 11. Let y(c) = -2*c - 4. Let n(m) = 3*v(m) + 8*y(m). Let k(z) = -12*z + 20. Let q(s) = -k(s) + 4*n(s). Does 13 divide q(9)?
False
Let x be (-236)/(-8)*2/1. Suppose 2*i - q + 9 = x, 5*q - 10 = 0. Is 13 a factor of i?
True
Let y(p) = -p + 25. Is y(-5) a multiple of 2?
True
Suppose 8*j + 164 = 1036. Is j a multiple of 12?
False
Suppose 1761 = -67*v + 72*v + o, v + 3*o - 341 = 0. Does 7 divide v?
False
Let i = -23 - -24. Is ((-110)/(-15))/(i/12) a multiple of 10?
False
Let k(v) = -34*v + 4. Suppose 7*l + 5 + 2 = 0. Is k(l) a multiple of 6?
False
Let x(w) be the second derivative of -w**4/12 + 4*w**3/3 + w**2 - 7*w. Let j be x(8). Suppose 8 = j*n - 14. Is n a multiple of 11?
True
Is ((-34)/(-6))/((-7)/(-525)) - 1 a multiple of 4?
True
Let w(f) = 10*f**2 - 3*f + 4. Let m(t) = t**2 - 2*t + 2. Let k be m(3). Let n be (3/k)/((-12)/60). Does 29 divide w(n)?
False
Suppose -2*h + 220 = 3*f, -h + 44 = 4*f - 66. Let t = -2 + h. Is t a multiple of 18?
True
Let n(u) = 7*u**2 - 3*u. Let r be n(1). Suppose 4*y - 69 = -4*k + 139, -210 = -r*y - 5*k. Is 6 a factor of y?
False
Suppose 14*l + 10*l = 15240. Is l a multiple of 29?
False
Let o(c) = -c**3 + 23*c**2 - 8*c + 3*c - 13*c**2 + 12. Suppose 0 = 3*d - 3*m - 12, 4*m - 1 = 19. Is o(d) a multiple of 16?
True
Let x be 2/4*(-14 + 72). Suppose 5*o - x = 71. Is o a multiple of 5?
True
Is 6/(4 - 455/119) a multiple of 7?
False
Does 17 divide (-20244)/(-119) + (-6)/51?
True
Suppose 3*c = 2*y - 1243 - 158, -5*c + 2769 = 4*y. Does 58 divide y?
True
Let b(f) = 2*f**3 + 3*f**2 - 6*f + 5. Let m = -7 + 10. Let t be b(m). Suppose 6*u - 320 + t = 0. Does 10 divide u?
False
Suppose -86*v + 27*v = -25134. Is v a multiple of 58?
False
Let v(s) = -20*s. Let c be v(-2). Let m = 76 - c. Is m - -1 - (-1 - -4) a multiple of 17?
True
Let k(n) = -5 + 2 + 3 + 23*n. Is k(5) a multiple of 20?
False
Let c = 145 - 52. Suppose 0 = 3*h + 3*x - c, -x = -6*x. Is h a multiple of 4?
False
Let x(s) = 110*s**2 - 38*s + 102. Is 23 a factor of x(3)?
False
Let u(h) be the first derivative of -9*h**2/2 + 9*h + 39. Does 24 divide u(-15)?
True
Let o = -7 + 9. Suppose -25 = -3*v - o*v. Suppose -v*d = -5*n + 180, -7*d - 30 = -n - 3*d. Is n a multiple of 8?
False
Suppose -5*s - 3*h = -s - 1067, 792 = 3*s + 5*h. Is 19 a factor of s?
False
Let y(h) = -8*h - 34. Let s be y(8). Let w = s + 157. Is 16 a factor of w?
False
Suppose 8455*l + 5096 = 8462*l. Is l a multiple of 7?
True
Suppose 2*u = 3*s + 19, -5*u + 57 = s + s. Suppose 4*g - 9*g + 195 = 0. Let q = g + u. Is 11 a factor of q?
False
Is 12 a factor of 902 + 4 + (-5)/1?
False
Let k = 504 + -48. Is 24 a factor of k?
True
Suppose -45*z + 42*z + 366 = 0. Is z a multiple of 2?
True
Let v = -2661 + 3814. Is 8 a factor of v?
False
Does 13 divide (-3744)/(-24)*(-2)/(-9)*3?
True
Let l(q) = q**3 + 14*q**2 + 7*q + 32. Let b be l(-14). Let t = b + 108. Does 21 divide t?
True
Let h(v) = -v**3 + v + v**2 + 3*v + 9 - 6*v - 1. Is h(-6) a multiple of 27?
False
Let k be 12/(-9) + 7102/3. Is 18 a factor of k/65 - 4/10?
True
Suppose 67 = 3*a - 3*z - 8, -3*a + 2*z = -71. Is (a/(-6) + 4)*26 a multiple of 3?
False
Let p = -16 + 32. Let f be 2*7/(-2) - -3. Does 12 divide p/(-5)*30/f?
True
Let o(q) = 3*q + 1. Let d be o(1). Suppose -2*p + 109 = -5*m, d*p = p - 3*m + 132. Let y = p + -29. Is y a multiple of 8?
False
Suppose 3*v = 5*l - 413, -2*l - 4*v + 111 = -75. Is 51 a factor of l?
False
Is 61 a factor of (-1)/((-14)/49 + (-3273)/(-11529))?
True
Suppose a = -4*c + 44, 0*a - 5*a + 5*c + 320 = 0. Let d be (a/(-6))/((-2)/2). Let h = d - 3. Is 7 a factor of h?
True
Let o(k) = k**2 - 2*k + 1. Let u be o(3). Let h(s) = 806*s + 93. Let b(p) = 35*p + 4. Let w(y) = u*h(y) - 93*b(y). Is w(-1) a multiple of 16?
False
Let a(f) = 2*f + 4. Let l be a(-7). Let m = -25 - l. Does 5 