10. Let f(l) = 23*l + 21. Let k(n) = 6*f(n) + 13*q(n). Is k(-8) a multiple of 2?
True
Suppose -1 - 17 = 2*q. Let n(o) = -o**2 - 16*o + 21. Is n(q) a multiple of 14?
True
Suppose -4*o - 5*b + 7033 = -0*o, 3*b = 3*o - 5268. Is o/14 + 2/4 a multiple of 18?
True
Let z(f) = f**3 - 29*f**2 + 61*f - 28. Let s be z(27). Suppose -235 - s = -4*i. Is i a multiple of 3?
True
Suppose 0 = 59*g - 58*g - 13. Suppose -7*f = g*f - 960. Does 8 divide f?
True
Suppose 0 = -2*o - 1951 + 5779. Is 33 a factor of o?
True
Suppose -x - 34594 = -5*f, 0*x - 2*x = -2*f + 13836. Let m = 9698 - f. Is m/133 - (-6)/57 even?
False
Suppose s - 53 = -4*v, -5*s - 29 = -v - 0*s. Does 8 divide (-4)/v - (-61515)/315?
False
Let l = -20 - -18. Let p be (0/(-3) - l) + -5. Is (2*-2)/((-82)/26 - p) a multiple of 17?
False
Let n(z) = 2*z**3 + 3. Let r be n(2). Suppose b - 15 = 5*m, 2*b - 6*b = -5*m - 60. Suppose -b*h - 104 = -r*h. Is h a multiple of 17?
False
Let c(h) = -4*h**2 - 548*h + 312. Is c(-78) a multiple of 160?
True
Suppose -4*c + 40 = 4*g, 0 = 5*g - 1 - 4. Suppose c*o - 106 = 821. Is o a multiple of 7?
False
Suppose -657 = 4*l - 2173. Suppose -l*o + 380*o = 210. Is 7 a factor of o?
True
Let y = 43 - 40. Suppose -3*p - u = 5, -2*u = -2*p + y - 1. Let r(b) = 12*b**2. Is r(p) a multiple of 12?
True
Let a be (9 - 9) + -1 + 3. Suppose -38*t + 39*t - 2 = 0. Suppose 216 + 11 = 3*g + 4*i, a*g + t*i = 148. Is g a multiple of 8?
False
Let b be ((-390)/1)/(159/(-212)). Suppose b*o - 523*o + 2958 = 0. Does 102 divide o?
False
Let m be 3/(-15) - (-15033)/30*2. Suppose 14*n - m = 1784. Does 14 divide n?
False
Let h be (-2 - (-20)/4) + (135 - 4). Let u = h - -256. Is u a multiple of 22?
False
Suppose -562 + 54 = -2*s + 3*u, -1034 = -4*s - 3*u. Let v = s + -169. Let c = v - -9. Is c a multiple of 10?
False
Let c(p) be the second derivative of 17*p**3/2 + 6*p**2 + 2*p + 7. Is 18 a factor of c(4)?
True
Suppose -2*u - 4 = 0, u = 4*s + 3*u - 768. Suppose -215 = -5*a + 5*z, -3*z = 2*a + 2*a - s. Is a even?
True
Let y(v) = -403*v - 482. Is 118 a factor of y(-14)?
False
Let k(o) = 180*o**2 + 250*o + 3. Does 20 divide k(5)?
False
Let d be ((0 - 3) + 3)*-1. Suppose -z - 3*a + 3 = -2, d = 2*z - 3*a - 1. Suppose -117 + 29 = -z*f + 4*c, -f = c - 50. Is 12 a factor of f?
True
Suppose 10*i + 4*i = 98. Suppose -i*s = -0*s - 63. Does 3 divide s?
True
Let w(u) = -5*u - 7. Suppose -12 = 4*y + 2*d, 2*y - 2*d + 2 = -y. Let k be w(y). Suppose 13*a - 250 = k*a. Is 4 a factor of a?
False
Let o(m) = -2*m**3 + m**2 - 3*m - 12. Let f be (-5 + (5 - -33))/3. Let x = f + -15. Does 16 divide o(x)?
True
Let d(w) = 52*w**2 - 4*w + 1. Is d(-5) a multiple of 19?
False
Let c(v) = 16*v**2 - 31*v - 233. Is c(11) a multiple of 3?
True
Let g(v) = 97*v + 115. Let a(y) = 64*y + 77. Let b(o) = 7*a(o) - 5*g(o). Is b(-5) a multiple of 25?
False
Let p = -237 + 275. Let o(g) = -g**2 + 45*g + 48. Is 30 a factor of o(p)?
False
Suppose 4918 = 4*j + 10*a - 8*a, 2450 = 2*j - 2*a. Is 2 a factor of j?
True
Let w(q) = -q**2 - 29*q - 44. Let a(o) = 32*o + 8. Let j be a(-1). Let u be w(j). Suppose u = 3*z - 5*i, 4*z - i = 5*z - 28. Is 9 a factor of z?
True
Let u(f) = f**3 + f**2 + 9. Let o be u(0). Is 37 a factor of (3 + 3/o*-11)*-222?
True
Let k(m) = 56*m - 1. Let v(g) = g**3 - 17*g**2 + 14*g + 25. Let w be v(16). Let x be (111/21 - 3) + 2/w. Is k(x) a multiple of 9?
False
Let h(b) = 186*b**2 + 5 - 6*b - 363*b**2 + 176*b**2. Is 2 a factor of h(-2)?
False
Suppose 0 = 5*h - 2*m + 1301, 7*m - 6*m + 1033 = -4*h. Let z = h + 279. Is 11 a factor of z?
False
Let a be ((-56)/(-140))/(1/10). Let x = -25 + 135. Suppose a*u + u = x. Does 11 divide u?
True
Let d(f) = -f**2 + 7*f + 14. Let o be d(9). Let x be ((-18)/4 - o)*-322. Suppose i = -20 + x. Is i a multiple of 47?
True
Let p(d) = 70*d + 37. Let l be p(-10). Is (-191022)/l - 4/34 a multiple of 13?
False
Suppose -5*o - 11 = -1. Let u(i) = -118*i + 28. Is u(o) a multiple of 12?
True
Suppose 4*a = -2*m + 31928, 23*a = 3*m + 20*a - 47874. Is m a multiple of 14?
True
Let n = 195 + -176. Suppose -17*g - n = -2195. Does 7 divide g?
False
Let o = 90 - 90. Let k(w) = w**3 - w**2 + 24*w + 14. Is k(o) a multiple of 7?
True
Let j = -1 - -2. Let x(r) = 1 - r**2 + 47*r**3 - r**2 + r - 34*r**3 + 87*r**3. Is x(j) a multiple of 24?
False
Let f = 5 - -223. Suppose -11*v + f = -17*v. Let c = v - -53. Is 15 a factor of c?
True
Let m = -54278 - -76068. Is 25 a factor of m?
False
Suppose -4*n + 5*t = 5, -9*t + 10*t + 5 = 2*n. Suppose v - 308 = -4*v + 4*g, -v + 49 = -n*g. Does 4 divide v?
True
Let g = -636 + 1377. Is g even?
False
Let w(z) = -2*z + 38. Let l be w(9). Let v(q) = q**2 + 20*q - 17. Let h be v(-21). Does 20 divide (111/15)/(h/l)?
False
Suppose 0 = -158*b + 176*b - 2761 - 4439. Is 80 a factor of b?
True
Suppose 422240 = 19*k + 72*k. Is k a multiple of 16?
True
Let l(a) = 153*a - 2. Let b be l(-2). Let q = b - -188. Let w = q + 156. Is 6 a factor of w?
True
Suppose -3932 = -4*i - 0*i + 5*u, 3*u = 2*i - 1964. Suppose 5*q = -2*c + i, -3*q - 10 = 2*q. Suppose 0 = 12*p - 533 - c. Does 21 divide p?
False
Let d = 29081 + -16501. Is 68 a factor of d?
True
Let u(k) = -30*k**3 + 3*k**2 + 3*k - 12. Suppose -8*m - m - 9 = 0. Let c(x) = x**3 + 1. Let b(a) = m*u(a) - 6*c(a). Is b(2) a multiple of 12?
True
Suppose 71*b = 3091543 - 1005847. Is b a multiple of 153?
True
Let r be 8/2 + (-5 - (2 + -4)). Does 10 divide r/7 + 3498/14?
True
Let d be 40/(-30)*-8*33. Suppose 11*h = 12*h - d. Is 32 a factor of h?
True
Suppose -18573 = -3*q - 5*v, -q + 0*q = -5*v - 6171. Does 24 divide q?
False
Let b(q) = -q**3 + 3. Let p(o) = 2*o**3 - 55*o**2 - 6*o + 30. Let h(u) = -4*b(u) - p(u). Is 35 a factor of h(-27)?
True
Let d(p) = -136*p - 5138. Let q be d(-38). Let x(s) = -21*s + 1. Let l be x(-1). Suppose 0 = 2*m + 4*k - 48, 2*m - q = -2*k + l. Does 2 divide m?
True
Let c(w) = -2*w**2 - 56*w + 30. Let o be c(-21). Suppose -3*y + 3*d = -582, 3*d + 118 = -y + o. Is y a multiple of 4?
False
Suppose 279*o - 284*o - 4*h = -22224, 0 = 3*h - 18. Does 10 divide o?
True
Let u(n) = 19*n - 36. Let l be u(10). Suppose 0 = -3*f - 2*m + 235, -3*f - 2*m = -f - 156. Let c = l - f. Is c a multiple of 25?
True
Suppose -4*m + 8624 = 2*h, 4312 = 475*m - 473*m - h. Does 11 divide m?
True
Suppose -3512*a - 230523 = -3555*a. Is a a multiple of 52?
False
Suppose k - 3*k - 1660 = -4*b, 5*b - 2057 = -2*k. Suppose 2748 + 6340 = 32*h. Let r = b - h. Is 15 a factor of r?
False
Suppose -3*o - 6030 = 4*g - 166543, 3*g = 4*o + 120416. Is 254 a factor of g?
True
Let k be 22 - 19 - 7*1. Let u(z) = -34*z - 95. Does 4 divide u(k)?
False
Let p be (-3 + 3 + -29)*-1. Suppose -24*s = -p*s + 25. Suppose 5*y = 0, w - s*y = 5 + 57. Does 11 divide w?
False
Suppose -q - 13 = 122. Let g = 860 + -851. Does 5 divide -298*(-2)/g + 30/q?
False
Suppose 0 = 10*r - 412 - 148. Is (102/(-7))/((-2)/r) a multiple of 17?
True
Suppose 1821179 + 3727242 = 205*m - 1410919. Is 46 a factor of m?
True
Suppose g - 3 = -1. Suppose -g*r + 8 - 4 = 0. Suppose 77 = r*p - 41. Is 20 a factor of p?
False
Suppose 0 = 4*n + 11*n + 39 + 6. Let j(r) = 2*r - 6 + r**2 + 2*r**2 + r**2. Does 4 divide j(n)?
True
Suppose -105973 = 71*r - 83*r + 1151. Is r a multiple of 79?
True
Suppose 145*r - 153*r = -25832. Does 101 divide r?
False
Suppose -10*v + 6139 = -2481. Let u = v + -182. Is 40 a factor of u?
True
Let i(j) = 15*j**2 + 14*j - 79. Is i(-15) a multiple of 22?
False
Let u = 7 - 7. Let f be (-3046)/(u - (-1 + 0)). Does 13 divide 6/(-39) - f/(-52)*-2?
True
Let y(r) be the first derivative of r**6/120 + r**5/120 - 7*r**4/24 + 7*r**3 + 16. Let g(c) be the third derivative of y(c). Is 12 a factor of g(-5)?
False
Suppose -255 = -3*t - k, -k + 15 = 2*t - 156. Suppose 336 = 2*p - t. Is 35 a factor of p?
True
Let n(y) = y**3 + 24*y**2 + 17*y - 42. Suppose 4*v = 1 - 5, -3*i - 3*v = 72. Is 24 a factor of n(i)?
True
Let m(f) = -5*f**2 - 2*f - 1. Let z be (-65)/15 - -3 - (-1)/3. Let h be m(z). Does 4 divide -1*0/h + 26?
False
Let g = -102 - -105. Suppose -g*o + 69 - 54 = 0. Let u(v) = 3*v**2 - 4*v + 5. Does 5 divide u(o)?
True
Let g be ((-990)/385)/((-3)/70). Let r = 147 + g. Does 50 divide r?
False
Let m(n) = -n**2 - 12*n - 3. Let v be m(-9). Let q(j) = -j**3 + 9 - v + 6 - 11*j + 11*j**2. Is 9 a factor of q(9)?
True
Let t be 3*(1