+ 10. Let l be s(9). Let d(a) = 11*a**3 + 2*a**2 - a. Let r be d(l). Suppose -5*c + r = -3. Does 3 divide c?
True
Let k = 80 - -13. Suppose h - 128 = -4*p, -3*h = -5*p + 2*h + 135. Suppose r - l = p, -3*r + l = 6*l - k. Is 12 a factor of r?
False
Let y(j) = -3 - 5*j**2 + 0*j - 18 - j + 4*j**2. Let z be y(0). Is (z/(-4))/(3/12) a multiple of 7?
True
Let p(a) = 41*a - 11. Let u(o) = 20*o - 5. Let y(z) = -6*p(z) + 13*u(z). Let n be y(1). Suppose 0 = 2*x - 5*r - n, -35 = -2*x + r. Does 11 divide x?
False
Is 46 a factor of -2*(-404)/8*1?
False
Let o(q) = -q**3 - 2*q**2 + 6*q + 6. Let l be o(-4). Suppose -4*p + l = 5*j, 0 = -4*p + 4. Suppose 13 = -j*d + 3*d. Is 7 a factor of d?
False
Suppose 2*d - 5 - 5 = 0. Suppose -d*c + 101 = -4*v, -50 - 19 = 3*v + 3*c. Is 8 a factor of 2/(45/v + 2)?
True
Let a(i) = i**3 + 4*i**2 - 4*i. Let h(g) = -g**2 + g. Let c(m) = -a(m) - 4*h(m). Suppose 0*k + 2*k = 3*u + 5, -5*u = 5*k + 25. Is 3 a factor of c(k)?
False
Let i = 42 + -9. Is 11 a factor of i?
True
Let m(o) = -o**2 - 22*o - 11. Is m(-16) a multiple of 20?
False
Suppose 0 = -x + 6 - 3. Let h = 6 + x. Is 2 a factor of h?
False
Let l = -11 + 16. Suppose l*w - 4*c = 148, -5*c - 111 = -4*w + 11. Is w a multiple of 23?
False
Suppose -3*i - 2*b + 55 = 0, 2*i = 4*i + 2*b - 40. Suppose -3*f = i, 5*f + 43 = 3*n + 12. Does 4 divide -4*(15/n)/(-5)?
False
Let t(w) = w**2 + w - 2. Let g be t(2). Suppose 3*h - g*i + 546 = 4, -3*h = i + 562. Does 11 divide (-6)/15 + h/(-15)?
False
Suppose 0 = 5*j + 4*l - 323, 2*l + 73 = j + 7*l. Suppose 3*n - j = -0*n. Is n a multiple of 10?
False
Let n(b) = -b**2 - 2*b + 107. Is 42 a factor of n(0)?
False
Let a(d) = d + 2. Let h be a(2). Suppose f - 2 = -h*o, 8*f - 5*o - 135 = 3*f. Does 10 divide f?
False
Suppose 3*a - 110 = 64. Does 14 divide 6/4*a/3?
False
Let c = -20 + 22. Suppose 2 = c*k, -4*j + 7*j - 111 = -3*k. Is j a multiple of 9?
True
Suppose -3*q = -0*q - 216. Suppose -q = -c + 5*c. Let w = 34 + c. Is 16 a factor of w?
True
Suppose 4*l = -71 + 19. Let q = -5 - l. Is 5 a factor of q?
False
Suppose 0 = l + 3 - 9. Suppose -2*s + 70 + l = 0. Is 1/3 - s/(-3) a multiple of 13?
True
Is (27/(-15) + 3)*60 a multiple of 24?
True
Let k(r) = r + 2. Is 3 a factor of k(2)?
False
Does 11 divide (5/(-3) - -1)*-123?
False
Suppose 2*b - b - 40 = 5*q, -4*b + 124 = -2*q. Does 15 divide b?
True
Let x = 30 - 17. Suppose -17 = -5*m + 2*r, -7*m - 2*r = -2*m - x. Is 3 a factor of m?
True
Let z be 3*2 + -9 + 8 + -1. Suppose 0 = v + 4*v - 40. Suppose 5*b + z*f = 101, v*f - 3*f = -4*b + 79. Is 10 a factor of b?
False
Let f(s) = -s**3 - 10*s**2 - 7*s + 2. Let p be f(-8). Let a = -20 - p. Let h = a + -15. Is h a multiple of 19?
False
Is 8 a factor of (-52)/(-13) - (-43 - -2)?
False
Let z(i) = 2*i - 2 + 3 + 7. Let n be z(-8). Let y(v) = -v**2 - 10*v + 9. Is y(n) a multiple of 10?
False
Let a(g) = g**2 - 6*g + 8. Let c(f) = -f**3 - 3*f**2 - f + 4. Let i be c(-3). Let k be a(i). Suppose d - k = -6. Is 9 a factor of d?
True
Let m = 36 - -18. Is m a multiple of 11?
False
Suppose r - n = 2*n - 12, 0 = -3*n + 15. Suppose -r*t = -0*j - 5*j - 73, -j - 21 = -t. Is t a multiple of 4?
True
Let m(z) = 4*z**3 + z**2 + 2*z - 1. Let v be m(2). Let g = v - 22. Let o = -2 + g. Does 15 divide o?
True
Let r(i) = -2*i + 4. Is 4 a factor of r(-2)?
True
Let v(h) = 58*h - 10. Does 7 divide v(2)?
False
Let z = 314 + -162. Suppose z = -5*p + p. Let c = -27 - p. Is c a multiple of 5?
False
Suppose -6*d + d + 450 = 3*r, 3*r - 4*d = 450. Let o(h) = -2*h**2 - h. Let l be o(0). Suppose 2*t - 5*t + r = l. Is t a multiple of 17?
False
Suppose -7*x = -432 - 212. Is 12 a factor of x?
False
Let f = 0 - -7. Let m(a) = a + 2 + 0*a - f*a. Is m(-4) a multiple of 15?
False
Suppose u - 79 = 2*a - 7, -4 = 2*a. Is u a multiple of 28?
False
Suppose 4*i - 4*z = z + 25, 3*z + 15 = -2*i. Suppose -5*h - 3*g = -2*g - 188, i = -3*h + 5*g + 96. Is h a multiple of 13?
False
Let l(f) = -3*f**2 - 2*f + 6. Let w be l(5). Let s = w + 119. Let b = s + -22. Is b a multiple of 18?
True
Suppose 2*k - 5 = 3. Is 4 a factor of (8 - -4)/(6/k)?
True
Let z be ((-12)/(-5))/((-6)/20). Let t(b) = -b**2 - 9*b + 7. Let d be t(z). Suppose -2*k - 3*m + 16 = -d, 3*k + 2*m - 34 = 0. Does 5 divide k?
False
Let j = -24 + 63. Suppose 0 = -3*u + j + 75. Is u a multiple of 10?
False
Let r = 7 - 11. Let h = r + 18. Does 5 divide 136/h + (-2)/(-7)?
True
Let b be (2 + (-16)/6)*9. Let g = 3 + b. Is (2 + -5)/(g/14) a multiple of 7?
True
Let g be (-1)/(3/(-4))*3. Let n be 4/2 - (g - 5). Suppose 0 = 2*k + n*c - 40, 0*k - c = 2*k - 48. Is 14 a factor of k?
False
Suppose -5*m - 102 + 532 = 0. Is 12 a factor of m?
False
Let a be -1 + (-3)/1*22. Let q = -47 - a. Is q a multiple of 11?
False
Suppose -4*s = 3*a - 80, -12 - 20 = -a - 4*s. Does 8 divide a?
True
Suppose -5*d - 4 + 14 = -n, 0 = 3*n - 3*d - 18. Is 24 a factor of 16/n*(-950)/(-20)?
False
Let t(a) = -a**2 - 8*a + 2. Let l be 180/(-22) - 4/(-22). Let o be t(l). Is 6/(-1 - -3) + o a multiple of 5?
True
Let k(a) = 51*a**2 - a + 2. Let h be k(1). Suppose -4*c + 2*j + h = 0, c - j = 4 + 10. Is c a multiple of 4?
True
Let i(u) = u**3 - 4*u**2 - 7*u + 3. Let z be i(5). Let p be z/1 - (-1 + 0). Is 12 a factor of (-126)/(-24)*(-16)/p?
False
Suppose 5*a - 1113 = a + 3*f, -4*a + 1098 = 2*f. Is a a multiple of 12?
True
Let p(j) = -3*j - 14. Let r be p(-6). Suppose 9 = -5*a + 24. Suppose -r*x + a*x - k = -12, x = k + 22. Does 7 divide x?
False
Suppose -3 = -c + 4. Let q(i) = 0 + c*i + 5 - 3. Does 8 divide q(2)?
True
Suppose -2*w + 4*q = -51 + 19, -w - 3*q = -6. Suppose -w*i - 65 = -17*i. Does 5 divide i?
False
Let j = -7 - -12. Suppose -n - 5 - j = -v, 0 = -3*v - n + 26. Is 9 a factor of v?
True
Suppose 2*l - 64 = -4*y, y = 2*l - 2*y - 43. Suppose -f + u = -17, -2*f = -f + 2*u - l. Suppose 0 = 4*d - f, 0*d - 4*d = -4*w + 76. Is w a multiple of 12?
True
Let i(a) = -a**3 - 6*a**2 + 0*a**2 + 7 - 4*a + 6*a. Let j be i(-6). Let s = 48 - j. Is 23 a factor of s?
False
Let y = 54 + -26. Is y a multiple of 25?
False
Let x(d) = 3*d**2 + 15*d + 8. Is 20 a factor of x(-8)?
True
Let m(t) = 3*t**3 - 2*t**2 + 4*t - 3. Let l be m(3). Let j(n) = -38*n. Let y be j(1). Let w = l + y. Is w a multiple of 12?
False
Does 3 divide 804/(-198)*-3 - 2/11?
True
Suppose -2*q + 3*q - 3*a = 49, 0 = 2*q + 4*a - 108. Is 22 a factor of q?
False
Suppose 2*y = 4*h + 7 - 21, -4*h = 4*y - 32. Suppose -3*s = -y, -85 = -5*b + b - s. Does 7 divide b?
True
Suppose -3 = -3*v, r - 1 = -5*v + 21. Suppose r + 3 = 4*d. Is d a multiple of 2?
False
Suppose h - 6 = 2. Suppose 0*q = 2*q - h. Suppose -4*u - 5*p + 136 = 0, 4*p = q*u + 2*p - 164. Is 15 a factor of u?
False
Suppose -6*r = -346 + 76. Is 15 a factor of r?
True
Suppose -5*x = 3*w + 22, w + 4*x = -12 - 0. Is 8 a factor of -2 + 68*(-2)/w?
True
Let g = -3 + 9. Is 3 a factor of g?
True
Let j(w) be the first derivative of 2*w**2 - 7*w - 7. Is j(4) a multiple of 2?
False
Let u(g) = 11*g - 2. Let j be u(3). Let a = j - 11. Is 11 a factor of a?
False
Let n(a) = a + 15. Let x be n(0). Suppose 2*i - 79 = -x. Does 16 divide i?
True
Suppose 5*v + 4*i - 336 = 0, -3*v - 4*i + i = -204. Suppose 2*p + 2*p + r - v = 0, -4*p = 5*r - 80. Is p a multiple of 9?
False
Let u = -40 - -51. Does 11 divide u?
True
Let m(u) = -u**2 - 6*u - 6. Let f be m(-5). Let s(t) = -10*t**2. Let w be s(f). Let c = 2 - w. Is c a multiple of 12?
True
Let r(p) = p**3 - 9*p**2 - 5*p - 6. Suppose 103 = -5*c - d, -2*d - 3 = 2*c + 43. Let v = -10 - c. Is 22 a factor of r(v)?
True
Suppose -p + 151 = 43. Is p a multiple of 27?
True
Let m(h) = 3*h**2 - h - 1. Let g be m(-3). Suppose 0 = s + 5*w - g, 4*s - 43 - 9 = -4*w. Does 6 divide (-32)/12*s/(-4)?
True
Is (4/4 - -137)*1 a multiple of 23?
True
Suppose 13*i - 19*i + 42 = 0. Does 7 divide i?
True
Let j = -13 + 97. Does 28 divide j?
True
Let u = 306 + -191. Is 25 a factor of u?
False
Suppose -2*q + 0*q = -24. Does 14 divide 245/10*q/7?
True
Is (-193)/(-5) + 6/15 a multiple of 35?
False
Let l(c) = -c**3 - 8*c**2 + 7*c - 7. Is l(-9) a multiple of 4?
False
Suppose -5*s = 3*i + 55, -64 = 3*i - 3*s - s. Let u = -11 - i. Suppose 33 + u = 2*m. Is m a multiple of 19?
False
Suppose 0 = 2*y - 1 - 23. Is y a multiple of 3?
True
Let d(h) = h**2 - 5*h - 6. Let i be d(6). Suppose i = 5*x - 1 - 39. Suppose 0