+ 1. Let p be b(-1). Let u = p - -66. Does 4 divide u?
True
Let r(b) = 97*b**2 + 2*b. Does 20 divide r(4)?
True
Let d(y) = -y - 1. Let a be d(0). Let l = a - -6. Suppose l*j - 22 = 3*j. Does 8 divide j?
False
Does 101 divide 3/(-4) - (32463/(-36) - -16)?
False
Let l = -2 + 2. Let p(z) = -z**3 + 2*z**2 + 60. Does 8 divide p(l)?
False
Let v(l) = 9*l**2 + 642*l + l**3 - 2 + 3 - 632*l. Is 22 a factor of v(-7)?
False
Let n(m) = m**3 - 6*m**2 + 8*m + 15. Let c = -23 + 30. Does 30 divide n(c)?
True
Let h = -29 - -30. Is 103/2*(1 + h) a multiple of 31?
False
Let d be (12/(-10))/((-9)/60). Suppose 0 = d*g + g - 594. Is 11 a factor of g?
True
Let u(d) = d**2 + 28*d + 105. Let c be u(-6). Let i = -77 + 35. Let b = c - i. Is 15 a factor of b?
True
Suppose -a - 2 + 5 = 0. Suppose 3*k - 910 = -4*m - m, 373 = 2*m + a*k. Suppose -6*r = 17 - m. Is r a multiple of 9?
True
Let m(o) = 2*o**2 + 30*o + 25. Is 15 a factor of m(-20)?
True
Let m(c) = 2*c**2 - 21*c + 6. Let l be m(9). Does 3 divide (6/9)/((-3)/(-9)) - l?
False
Suppose 18*s = 14*s + 824. Does 7 divide s/10 - 6/(-15)?
True
Suppose 6*n - 3*n = -15. Let h be 4/(0 + (-2)/n). Suppose h = -6*r + 34. Is r a multiple of 4?
True
Let a = 4 + -6. Let c be a/(-2) - (3 + -7). Suppose -6*s = -c*s - 29. Is 10 a factor of s?
False
Suppose -2*y + 3*o = -6, 5*y = -10*o + 5*o + 15. Let b be ((-6)/(-4))/y*8. Suppose b*x - 177 + 1 = 0. Does 22 divide x?
True
Let a = 164 + 12. Is 5 a factor of a?
False
Suppose -20*r - 5*v + 1529 = -16*r, 3*r - v - 1123 = 0. Does 7 divide r?
False
Let u(a) be the third derivative of a**7/630 - a**6/120 - 7*a**5/60 + 2*a**2. Let t(n) be the third derivative of u(n). Is t(4) a multiple of 9?
False
Let k(n) = 21*n - 8. Let s = -28 - -32. Is k(s) a multiple of 7?
False
Let s(c) = 7 - 9*c - c + c - 4*c. Let o be s(6). Is 29 a factor of o*(1 - (5 - 3))?
False
Let d be 6/3 + -5 - 10. Let y = d + 16. Let b(l) = l**3 - l**2 - 1. Is b(y) a multiple of 17?
True
Let a = -15 - -42. Let x = a + -11. Is 16 a factor of x?
True
Let a(h) = 16*h + 2*h**2 - 16*h - h**2. Suppose 3*z + z = -4*d + 24, 2*z - 24 = -5*d. Does 4 divide a(z)?
True
Suppose -8*z + 19738 - 2370 = 0. Is 40 a factor of z?
False
Suppose 4*g = -0*s - 3*s - 2, 3 = -2*s - 3*g. Let m = -2 + s. Suppose -79 = -m*d + u, -4*u - 2 = -6. Does 6 divide d?
False
Let x(k) = -5*k**2 - 9*k - 3. Let o(m) = 14*m**2 + 27*m + 9. Let s(f) = 4*o(f) + 11*x(f). Let n be s(-8). Let b = 28 + n. Is 23 a factor of b?
True
Let n be 39/(5*3/60). Suppose -10*z + 7*z = -n. Does 13 divide z?
True
Suppose -18 = b + 4*f, 4*f + 1 + 25 = 3*b. Suppose b*g + 0 = 4. Suppose g*a = -5*p + 129, -32 = 3*a + 2*p - 242. Is a a multiple of 24?
True
Let i = -9 + -5. Is 11 a factor of (-945)/i*(-8)/(-10)?
False
Suppose -b + 3 = -0*b. Let f be 7/5 + b/5. Suppose -5*m = f*c - 122, -2*m - 2*m = -c - 108. Does 15 divide m?
False
Let u(y) be the second derivative of y**5/20 + 5*y**4/6 - y**3/3 + 7*y. Is u(-10) a multiple of 5?
True
Let h(q) = -q - 4. Let p be -2 + -2*11/(-2). Let b be h(p). Let a = 23 + b. Does 6 divide a?
False
Suppose 9*n - 8064 = -27*n. Does 4 divide n?
True
Let c = -864 - -1212. Does 15 divide c?
False
Suppose -5*b - 759 = -4*n - 4*b, 2*n = -4*b + 384. Let s = n + -23. Let j = -109 + s. Does 26 divide j?
False
Suppose 37*c - 1343 = 36*c - 3*b, -c = -3*b - 1325. Does 58 divide c?
True
Let o(j) = j**2 - j - 6. Let m be o(4). Is (12 + (m - 2))*2 a multiple of 4?
True
Is (135/18 + -10)*(-80 + 0) a multiple of 6?
False
Let m = 43 + 70. Does 23 divide m?
False
Let a = 1059 - 969. Is a a multiple of 23?
False
Suppose -90882 = -182*r + 101*r. Does 11 divide r?
True
Let g(y) = -4*y - 12. Let z be g(-7). Let i be 15/5 + -3 + z. Let a = 25 - i. Is a a multiple of 7?
False
Let v = 65 + -107. Is 10 a factor of v/112 - 166/(-16)?
True
Let g = 37 - 17. Suppose 9*f + g = 14*f. Is f - (6 - 2 - 4) a multiple of 3?
False
Suppose -2*x = -1492 + 404. Is 17 a factor of x?
True
Let i = 3606 - 2420. Is i a multiple of 22?
False
Let r(o) = -o**3 - o + 11. Let x(t) = t**3 + 6*t**2 + 9*t. Let y be x(-4). Is 26 a factor of r(y)?
False
Let q = -9 + 3. Let n(k) = -k**2 - 6*k + 3. Let w be n(q). Is 11 a factor of (-40)/(-6)*w + 2?
True
Suppose 0 = -214*x + 184*x + 120210. Is x a multiple of 14?
False
Let d = -34 + 41. Does 24 divide 16/5*d/((-14)/(-15))?
True
Suppose -5*o - 6*t - 490 = -5*t, 2*o - 3*t = -213. Let u = o - -137. Is u a multiple of 15?
False
Suppose -4*t + 2 + 10 = 0. Suppose -6*a + 12 = -0. Suppose t*h - a = 109. Is h a multiple of 12?
False
Let o(j) = j**3 + 24*j**2 - 156. Does 11 divide o(-17)?
False
Let o = -580 - -951. Is 9 a factor of o?
False
Suppose 0 = -5*m - 22 - 473. Is 8 a factor of (m/(-44))/(3/32)?
True
Suppose -4*u = -u - 507. Suppose -4*x + 2*o - o + u = 0, -x + 51 = -2*o. Is 20 a factor of x?
False
Suppose -8*q + 10*q - 48 = 0. Is 4 a factor of q?
True
Let d be 5*(6/(-10))/1. Let y be ((-1)/(-3))/(d/(-18)). Is 8 a factor of y/(-9) + (-1888)/(-72)?
False
Suppose -h - 3*m = -7*m + 15, 3*h - 4*m + 69 = 0. Let f = -14 - h. Suppose -n + 11 = -f. Does 24 divide n?
True
Suppose -i = -113 + 68. Is i a multiple of 6?
False
Let x(w) = -71*w. Let h be 7/(-2)*416/(-56). Let z = -27 + h. Does 16 divide x(z)?
False
Suppose -5*a - 5*z - 269 = -6*a, a + z - 263 = 0. Suppose -3*g + a = -138. Does 37 divide g?
False
Let i = -496 + 704. Suppose 5*f - 3*b = 347, 3*f - 2*b = -0*b + i. Is f a multiple of 10?
True
Let f be 99/22*(-6)/(-4)*44. Let k = -87 + f. Is 14 a factor of k?
True
Let t(j) = -11*j**3 + j**2 + 91*j + 359. Does 8 divide t(-4)?
False
Let k be (16/(-40))/(2/(-30)). Suppose -4*f + k*f = 26. Does 5 divide f?
False
Let s be (-5152)/(-144) + 2/9. Let p be (-36)/90 - s/10. Let y(g) = -21*g - 11. Is 16 a factor of y(p)?
False
Let k(f) be the first derivative of -29*f**2/2 - 24*f - 17. Is k(-8) a multiple of 26?
True
Suppose 0 = 3*p + 2*v - 22, -2*p - 4*v = -4*p - 12. Let w = 52 - p. Is w a multiple of 8?
True
Let j = -34 + 34. Suppose j = -2*v + 3*p - 5, p = 4*v + 3*p - 14. Suppose 5*u - 150 = 5*d, -3*u = -7*u + v*d + 128. Does 7 divide u?
False
Let y = -27 + 32. Suppose 2*a = -2*v + 22, y*v - 65 + 6 = -3*a. Does 2 divide v?
False
Suppose 0 = -10*k + 23*k - 9152. Is k a multiple of 4?
True
Let v(z) = -373*z - 42. Does 32 divide v(-2)?
True
Suppose 10 = 3*u - 32. Does 13 divide 288/2*u/28?
False
Suppose 0 = t - 3*t + 648. Suppose -126 = -2*i - 3*k + 88, 3*i = -3*k + t. Is i a multiple of 16?
False
Let o(i) = i**2 - 19*i - 46. Does 4 divide o(22)?
True
Let o be (-350)/(-7) - 2/(-2). Suppose -5*a - o = -331. Does 7 divide a?
True
Let s(k) = 4*k - 4. Let q(d) = 3*d - 5. Let v(l) = 3*q(l) - 2*s(l). Let f be v(-3). Is 13 a factor of (f - -8) + 0 + 28?
True
Let p(r) = 53*r + 3. Suppose 25 = 5*f - 3*y, -y = 5*f - 10*f + 15. Is 8 a factor of p(f)?
False
Let o(b) = -b**3 + 13*b**2 - 16*b + 10. Let i be o(12). Let p = i + 55. Is 10 a factor of p?
False
Let p = -49 + 283. Suppose 3*k - 9*k = -p. Does 13 divide k?
True
Let d(o) be the first derivative of -o**3/3 - 11*o**2/2 + 22*o - 4. Does 16 divide d(-10)?
True
Let o = 30 + -32. Let d(c) = -2*c**3 - 3*c**2 - 2*c - 2. Is d(o) a multiple of 6?
True
Suppose -4*u + 27 = 7. Suppose 4*q + c - 273 = 0, 336 = u*q - 0*c - 4*c. Is q a multiple of 17?
True
Suppose 0*g + 2*g - 14 = 0. Suppose g = 2*k + 25. Is (-213)/(-12) - k/(-12) a multiple of 7?
False
Suppose -5*s = 3*h - 1627 - 793, 4*s = 2*h - 1606. Is 14 a factor of h?
False
Let q = 1021 + -708. Does 8 divide q?
False
Let k = -2 + -6. Let c = -10 - k. Let o(q) = -11*q. Is o(c) a multiple of 6?
False
Suppose -p - 6 = -3*p. Suppose p*f = 5*f - 70. Does 35 divide f?
True
Let z(m) = 3*m**3 - 23*m**2 + 16*m - 32. Let f(q) = -q**3 + 8*q**2 - 5*q + 11. Let a(i) = -7*f(i) - 2*z(i). Is a(10) a multiple of 17?
True
Let b(u) = u**3 - 4*u**2 - 6*u + 11. Let r be b(5). Is 17 a factor of (65 - 2) + -8 + r?
False
Suppose 0 = 46*c + 7*c - 133931. Does 19 divide c?
True
Let y(q) = -q**3 - 25*q**2 - 5*q - 98. Does 9 divide y(-25)?
True
Let t be (49/(-3))/(9/(-27)). Let o = t - 39. Is 6 a factor of (66/4)/(5/o)?
False
Let l(c) = c - 8. Let w be l(10). Let m(h) = -w*h - 6*h**2 + 0 + 5*h + 2 - h**3. Is 10 a factor of m(-7)?
True
Let f = -2 - -3. Suppose 0 = n - 2*b - 82, f = -3*b - 2. Is n a multiple of 20?
True
Let a