 + 1008. Is 11 a factor of s(10)?
False
Let y = 5 + -4. Let a = 2 + y. Suppose -a = 5*v - 198. Is 12 a factor of v?
False
Let v = 720 - 291. Is v a multiple of 47?
False
Let h(m) = -m**3 + 10*m**2 - 5*m - 16. Does 10 divide h(9)?
True
Suppose 3*v = 2*v + 589. Does 19 divide v?
True
Let f = 113 + -105. Suppose 4*l = 2*l + f, 2*r - 5*l = 312. Does 9 divide r?
False
Let b = 454 + -435. Is b a multiple of 4?
False
Let d(z) = -24*z - 11. Let h = 111 - 114. Is 3 a factor of d(h)?
False
Let y = -88 + 159. Is 3 a factor of y/3 + 2/(2 + 4)?
True
Let s(o) = -6*o**2 + 8. Let b(p) = -13*p**2 + p + 17. Let v(q) = 2*b(q) - 5*s(q). Is v(-4) a multiple of 5?
True
Suppose 69*r - 83*r = -35000. Is 100 a factor of r?
True
Let x(w) = -1 - 7 - 12*w - 2*w**3 + w**3 + 9*w**2. Is x(7) even?
True
Suppose m + 3*m - 248 = 2*u, 4*m - 5*u = 242. Let i = m - 41. Does 11 divide i?
True
Let m(t) = t - 2. Let p be m(0). Does 28 divide (10 + 8/p)*6?
False
Let k be ((-20)/12)/((-2)/6). Suppose k*a = 5 + 5. Let h(d) = 4*d**2 + 2. Does 6 divide h(a)?
True
Suppose -4*s = w - 2*w + 164, s = 4*w - 611. Suppose x - w = 42. Does 41 divide x?
False
Is (35/(-4))/(5/(-20)) a multiple of 4?
False
Let j(l) = -l**2 + 3*l - 5. Let i(a) = 2*a**2 - 5*a + 9. Let t(p) = 3*i(p) + 5*j(p). Let r be t(0). Let n(x) = 10*x - 2. Does 18 divide n(r)?
True
Let q(b) = 2*b**2 + 2*b - 2. Let f be q(1). Let g(s) = -1 - 9*s - 1 + f*s + 1. Does 6 divide g(-4)?
False
Let v(p) be the third derivative of p**4/24 - p**3/6 + 2*p**2. Let i be v(3). Suppose 6*s - i*s = 40. Is s a multiple of 9?
False
Let w = -3 - 1. Let g be (-3)/(-6)*(-24)/w. Is 7 a factor of 35*g*(-4)/(-20)?
True
Let d be -2*-3*5/(-6). Let n(c) = -4 + 2*c**2 + 3*c + 0 - 3. Does 7 divide n(d)?
True
Let u(v) = 6*v - 22. Let m be u(7). Let c(z) = z**3 - 19*z**2 - 21*z + 25. Let d be c(m). Suppose -4*s = -2*r + 24, -d*r - 4*s = -8 - 52. Is r even?
True
Suppose 247 - 8 = h. Is 6 a factor of (1/(-2))/(h/48 - 5)?
True
Suppose 26 = -2*a + 14. Does 9 divide 14/(-42) + (-434)/a?
True
Let b be (3/18)/(5/30). Let s(l) = 13*l**3 - 2*l**2. Is s(b) a multiple of 6?
False
Suppose 0 = -4*w + o + 1728, 4*o - 744 - 984 = -4*w. Is w a multiple of 54?
True
Let w = 41 - 37. Suppose -5*p + 136 = -2*o, -3*o = -w*p + 6*p - 62. Is p a multiple of 14?
True
Suppose -2*m - 4 = 3*d, 2*m - 28 = 3*m - 5*d. Let b = 12 + m. Does 10 divide 13*b/20*5?
False
Suppose 4*u - i = i - 136, -2*i = -u - 28. Let a = u - -62. Does 13 divide a?
True
Let i = -42 - -98. Let l = 89 - i. Is l a multiple of 3?
True
Suppose -w - 3*w + 144 = 0. Let d(c) = c**3 - 9*c**2 - 16*c + 15. Let f be d(11). Let b = f - w. Does 15 divide b?
True
Let f be 10/(-25) + (-712)/(-5) + 1. Let w be 10/3 - 6/(-9). Suppose -w*y - u = -f, y - 31 = -2*u - 3*u. Is y a multiple of 18?
True
Let u = 19 + -9. Let g be (5/(u/4))/2. Is g/2 - (-175)/10 a multiple of 6?
True
Let h(d) = 2*d**2 + 12*d + 14. Let b(i) = -5*i**2 - 25*i - 28. Let c(s) = 3*b(s) + 7*h(s). Let n be c(10). Suppose 171 = n*a - 181. Is a a multiple of 22?
True
Suppose -2*q + 6 = -6. Let h(z) = z**2 - 8*z + 12. Let d be h(q). Suppose d*a + 2*a - 88 = 0. Is 11 a factor of a?
True
Let u(i) = i**3 + i**2 - 2*i. Let y be u(2). Suppose -4*x = l - 40, -y*l + 2 = 2*x - 3*l. Does 4 divide x?
False
Let x(u) = -36*u + 7. Let m be x(-15). Suppose 8*c - m = -147. Is 50 a factor of c?
True
Suppose 8175 + 3993 = 36*z. Is 34 a factor of z?
False
Let j(m) = -7*m**3 + 3*m**2 - m. Let q(w) = w**3 + w**2 + w + 1. Let n(g) = -j(g) - 3*q(g). Is 45 a factor of n(3)?
True
Let m(b) = 3*b**3 + 2*b**2 - 2*b - 2. Let q be m(2). Suppose -44 = 6*f + 532. Does 8 divide q/91 - f/7?
False
Suppose -1216 = 7*s - 11*s. Is 11 a factor of s?
False
Let k be 1/2*(2 + 0). Suppose -94 = -3*z - 4*h - 0*h, -3*h - 87 = -3*z. Is 14 a factor of (k - 6) + 3 + z?
True
Let f = -3069 - -5022. Does 11 divide f?
False
Let d(q) = q**3 + 4*q**2. Let w be d(-3). Let n = 55 - w. Is n a multiple of 11?
False
Let v(o) = -2*o**3 + 9*o**2 + 4*o - 8. Let s(b) = -3*b**3 + 9*b**2 + 5*b - 8. Let i(f) = -3*s(f) + 4*v(f). Is 8 a factor of i(-8)?
True
Suppose g + 5*l - 31 = 5, 4*g = -4*l + 160. Is g a multiple of 41?
True
Suppose 139 = -5*i - 126. Let t = 4 - i. Does 19 divide 2*-2*t/(-6)?
True
Let h(o) = -8*o - 17. Let a be h(-3). Let d(v) = -v**3 + 6*v**2 + 11*v - 4. Does 11 divide d(a)?
False
Let z(b) = -2*b**3 - b**2 - b + 7. Let c(t) = -t**3 - t**2 - t + 6. Let v(f) = -7*c(f) + 6*z(f). Let g be v(-1). Suppose 168 = g*y + 18. Is y a multiple of 10?
True
Suppose -3*o + 5*b = 102, 2*o + 11 = b - 57. Let d = -1 + o. Let i = d - -51. Is 4 a factor of i?
True
Let j = 594 - 303. Let s = j + -126. Suppose 0 = -0*u + 5*u - s. Is u a multiple of 9?
False
Let a(d) = -3*d**2 - 60*d - 21. Is 18 a factor of a(-11)?
False
Let p be (-767)/(-9) - 7*12/378. Suppose -p = -5*m + 185. Is m a multiple of 18?
True
Suppose -9*i + 36 = -7*i. Suppose 0 = -j - 5*y + i, -52 = -2*j + 2*y - 4*y. Is 4 a factor of j?
True
Suppose 3*p + 3*p = -234. Let u = -35 - p. Suppose -2*x + 96 = 2*i, u*x + 78 = -i + 3*i. Is i a multiple of 15?
True
Suppose 0*x - q - 7 = 2*x, 0 = -5*q + 5. Let i = -3 - x. Is 13 a factor of (18/(-24))/(i/(-56))?
False
Let f(k) = k**3 - 4*k**2 + 4*k + 12. Is f(5) a multiple of 2?
False
Let x(a) = 13*a**3 - 3*a**2 + 7*a + 11. Let n(v) = -7*v**3 + 2*v**2 - 4*v - 6. Let t(q) = -7*n(q) - 4*x(q). Let j = -4 + 2. Is 7 a factor of t(j)?
True
Let q = 34 + -8. Suppose 9 = -3*o, 4*o + 26 = 5*n - q. Is 11 a factor of 21/2 - (-12)/n?
False
Let k(w) = 50*w - 141. Is k(11) a multiple of 10?
False
Suppose -3*t = 18 - 12. Let h be (-3)/(5/(t - 3)). Does 24 divide -1 - (2 - h - 72)?
True
Let z(r) = 7*r + 10. Let o = -19 - -15. Let v be z(o). Does 17 divide 1/3 + (-606)/v?
True
Let k be 2/(-3) - (-4)/(-36)*-51. Suppose -10 = -2*o - 3*o, -5*u = -k*o - 90. Is u a multiple of 10?
True
Suppose -2*b - 18 = -0*b. Let d(o) = -7*o**2 - o - 18. Let t(n) = 6*n**2 + 2*n + 17. Let g(m) = 5*d(m) + 6*t(m). Is g(b) a multiple of 10?
True
Suppose 0 = 4*s - 11 + 19. Let n be (-40)/(-50)*5/s. Is n + (3 - (-8)/2) even?
False
Suppose 10*m - 2926 - 854 = 0. Does 18 divide m?
True
Let a be -1 + (20/1)/(7/21). Let j = -15 + a. Is 40 a factor of j?
False
Suppose 2*l = -4 - 2. Let t(m) = -8*m + 2. Let n be t(l). Suppose -2*i + 4*i = n. Does 13 divide i?
True
Let i(k) = 5*k + 143. Is 5 a factor of i(-23)?
False
Let i(j) = -2*j - 1. Let h be i(-2). Suppose h*v - 18 = -0. Is v*2/(-4) + 6 a multiple of 3?
True
Let w = 72 + -72. Suppose w = 6*z - 257 - 7. Does 6 divide z?
False
Let i(j) = -j**2 + 17*j - 8. Does 32 divide i(9)?
True
Suppose 35*v - 39*v = -724. Is (-1)/(v/182 - 1) a multiple of 14?
True
Let c be (-11 - -2) + 3 + -4. Let s be ((-192)/30)/(4/c). Does 7 divide (-2 + s/10)*-80?
False
Suppose 4*d = -8*u + 4*u + 40, 5*d - 4*u = 5. Suppose -d*r = -66 - 209. Is 11 a factor of r?
True
Let y(w) = -w**3 - 7*w**2 - 7*w - 2. Let c be y(-6). Is (-110)/c*24/(-30) a multiple of 4?
False
Suppose -3*y = q + y - 28, 3*y = 4*q - 74. Suppose 27 - 3 = -2*r. Let f = q + r. Is f a multiple of 8?
True
Let w = -108 + 46. Let v be -2 + 3/(3/(-25)). Let d = v - w. Does 10 divide d?
False
Let o(y) = -3*y**3 - 4*y**2 + 2*y - 1. Let p be o(-4). Suppose 3*k + 40 = 2*w - 81, p = 2*w - 5*k. Is w a multiple of 14?
False
Suppose m = -n + 35, 11*m - 45 = -n + 15*m. Is n a multiple of 6?
False
Let u(o) = 167*o**2 - 6*o + 7. Is 14 a factor of u(1)?
True
Let x(a) = -a + 81 - 88 - 2*a + 7*a**2 + 0*a. Does 13 divide x(-3)?
True
Suppose 335 = 5*s - g, -71 = -4*s + 3*s + g. Is 34/119 + s/14 a multiple of 5?
True
Let y(f) = -246*f + 1. Let z = 10 + -11. Let i be y(z). Let q = i - 169. Is 23 a factor of q?
False
Let v(j) = j**2 + 4*j + 15. Let y be v(-7). Let m be -2 - y/8*2. Let c = m + 47. Does 12 divide c?
True
Let q(y) = y**3 - 7*y**2 + 6*y + 3. Let x be q(5). Let l = 43 - 8. Let v = x + l. Is 9 a factor of v?
True
Let y(c) = 2*c**2 + 5*c - 29. Let s be y(-15). Suppose s + 130 = 4*d. Does 14 divide d?
False
Let d(g) = 5*g**2 - 6*g - 12. Let v = 28 - 33. Is d(v) a multiple of 26?
False
Let w = -302 - -336. Is 33 a factor of w?
False
Suppose 0 = m - 2*s - 331 - 107, -2*m - 3*s + 897 = 0. Is 59 a factor of m?
False
Suppose -4*l + 5*w + 884 = 0, -l - 2*w + 212 = -w. Is l a multiple of 6?
True
Let k be (2 + (