e of 19?
True
Suppose -x + c + 2054 = 0, -6182 = 53*x - 56*x - 2*c. Is 42 a factor of x?
True
Is 27 a factor of (-8)/(-20) + (-5)/(50/(-2116))?
False
Let k be 1/1 - (-2 + 2 + 3). Let z(q) = -9*q**3 - q**2 - 4*q - 4. Does 12 divide z(k)?
True
Does 21 divide -6 + 8 + -10 + 2633?
True
Let o = -1050 + 1684. Suppose -4*c = -o + 138. Is c a multiple of 24?
False
Suppose 0 = -z + 13 - 2. Suppose 0 = -3*j - 0*j - 39. Does 17 divide j + z + (-1 - -71)?
True
Let k = 33 - 31. Does 15 divide 5 + k/(-1) + 42?
True
Let d be (4/8)/((-1)/4). Let z be 9/(-6) - 363/d. Let f = z - 123. Does 13 divide f?
False
Let v(x) = x**3 + 2*x**2 - 4*x + 2. Let f be v(2). Let g = 13 - f. Suppose 3*q = g*i - 51, 2*q = 2*i + i - 50. Does 4 divide i?
True
Suppose 0 = 2*w + w - 6. Let o(n) = 5*n - 1. Let g(u) = -5*u + 1. Let i(c) = w*g(c) + 3*o(c). Does 4 divide i(1)?
True
Let f(w) = 479*w**2 - 2*w - 4. Does 3 divide f(-1)?
True
Let a = -96 + 400. Is a a multiple of 38?
True
Is (29/(2900/(-1840)))/(2/(-155)) a multiple of 31?
True
Suppose 215*l - 214*l - 298 = 0. Does 22 divide l?
False
Let f = 107 - 150. Let q be 508*(-12)/(-64) - 2/8. Let z = q + f. Is z a multiple of 13?
True
Let a(u) = 34*u - 105. Is a(6) a multiple of 13?
False
Let o(g) = -g**2 + 9*g - 9. Let t be o(6). Let j(y) = -y**3 + 9*y**2. Let v be j(t). Suppose -m = 5*z - 110, 2*z - 5*m = 44 - v. Is z a multiple of 10?
False
Suppose 0 = 4*b + 2*a - 48, 5*a = 3 + 7. Let p = -2 + b. Suppose -201 = -5*j + 3*r, -2*r + p = r. Is j a multiple of 10?
False
Let u = 478 + -142. Does 24 divide u?
True
Suppose 0 = 2*x + 669 + 75. Let h = x - -551. Is h a multiple of 18?
False
Let x(v) = -9*v - 6. Let i = 14 - 26. Let d be x(i). Suppose -d = -5*b + 18. Does 4 divide b?
True
Let v = 354 - 163. Let m be v/(-9) + (-12)/(-54). Is (-6)/(-14) + (-306)/m a multiple of 5?
True
Is 35 a factor of -6 - (-7 + 12 + -1146)?
False
Let c(o) = -o**3 - 4*o**2 + 5*o + 4. Let g = 23 - 16. Let t = 2 - g. Does 3 divide c(t)?
False
Let k be (-110)/(-3) - 16/(-48). Suppose -p + k = 12. Is p a multiple of 8?
False
Let r(i) = 4*i + 60. Let x be r(-14). Suppose 5*m = x*b - 116, b - m - 29 = -4*m. Is 4 a factor of b?
False
Let x = 1189 - 517. Does 32 divide x?
True
Let q = 59 + -185. Let g = -105 - q. Is 5 a factor of g?
False
Suppose -6590 = -5*l - b, -5*b = -3*l - 3*b + 3954. Does 29 divide l?
False
Is (-53 - -111)*(0 - 1)*-2 a multiple of 13?
False
Suppose -4*i = -9*i + 90. Let d = i - -32. Does 12 divide d?
False
Let g = 4969 + -877. Does 11 divide g?
True
Suppose 6*o = 3582 - 486. Does 12 divide o?
True
Suppose -3 - 3 = i. Is 14 a factor of (-7)/(84/(-1184))*i/(-4)?
False
Let m = 62 - 58. Suppose 2 = -m*t + 18, c - 3*t = 13. Does 4 divide c?
False
Suppose 5*k - 25 = 10. Let x = 174 - 169. Suppose -k + 2 = -j, x*s - 2*j = 55. Does 13 divide s?
True
Suppose 18*b - 4*b - 2660 = 0. Does 19 divide b?
True
Suppose 0 = 11*s + 9*s - 10440. Is 18 a factor of s?
True
Suppose 2*r - 159 = 575. Does 16 divide r?
False
Let o = -165 + 334. Let p = 14 - 11. Suppose 7*v = 4*v + 5*f + o, -f - 149 = -p*v. Does 10 divide v?
False
Suppose 0 = 5*w - 60 - 145. Suppose -a = -6*a - 3*v + w, 4*a + 4*v = 28. Is 5 a factor of a?
True
Let j(y) = 3*y**2 - 25*y - 8. Suppose -4*b - a + 44 = 0, 0*b + 4*a = 5*b - 55. Does 8 divide j(b)?
True
Let a = -121 - -215. Does 16 divide a + (-2)/2 + 1?
False
Let p = -39 - -24. Does 16 divide p/4*(-112)/4?
False
Let j be -9 + 4/((-8)/6). Let x(m) = -m**2 - 15*m - 6. Does 4 divide x(j)?
False
Let n be 28/(-3) - (-6)/(-9). Let p = n + 19. Suppose 16 = -5*b + p*b. Does 4 divide b?
True
Is 3 a factor of ((-33)/(-22))/(((-2)/(-92))/1)?
True
Suppose -10 = -2*j - j - w, 2*j + 4*w = 0. Suppose 3*b = 4*k - 2*b - 8, 4*k = -j*b + 8. Suppose -68 + 12 = -k*r. Does 14 divide r?
True
Let t(a) = -10 - 4*a**2 - 3*a + 5 + 0*a**2 - a**3 + 0*a. Is t(-5) a multiple of 6?
False
Suppose 0 = -c + 61 - 165. Let l = -68 - c. Suppose u - k = l, -2*u + 3*k - 130 = -6*u. Is u a multiple of 16?
False
Suppose -16 = -6*n + 2. Suppose 4*f = -n*h + 250, -4*f - 152 = -2*h - 3*f. Is h a multiple of 13?
True
Suppose -4*j = -8*j + 20. Suppose -o + 3*o = 4*p + 100, 0 = j*p - 15. Is o a multiple of 10?
False
Let s(k) = -k**2 + 13*k + 19. Let v be s(14). Suppose 0 = -5*j - v*n - 240, -3*j + 8 - 182 = -3*n. Let t = -34 - j. Is 3 a factor of t?
False
Suppose 58*a + 2*t - 6884 = 54*a, 8590 = 5*a - 5*t. Does 32 divide a?
False
Suppose 23520 = -7*n + 28*n. Is 28 a factor of n?
True
Suppose 5*f - 25 - 15 = 0. Let b(m) = f + 18*m**2 + m**3 + 7*m + 9*m - 5*m**2. Is 33 a factor of b(-11)?
False
Let k be (4 + -5 - -3)/((-2)/75). Does 16 divide 3 - ((-2)/3*3 + k)?
True
Suppose 0*l - 3*l = -12. Let r(z) = -11*z + 2 + z**2 + 2*z + l*z. Does 9 divide r(8)?
False
Let w(r) = -r**2 + 9*r - 8. Let a be w(7). Let j(x) = -x**3 + 6*x**2 + 3*x - 2. Let c be j(a). Let y = c + 16. Is y a multiple of 8?
True
Let v = 25 + -37. Let y = v - -12. Suppose y = i + 4*i - 220. Is 22 a factor of i?
True
Let z be 3 - 2*(-62)/(-4). Does 9 divide z/(-3)*(-9)/(-6)?
False
Let d(a) = -3*a**3 - 2*a**2 - 2*a - 23. Let m = 5 - 7. Let n(x) = 13*x**3 + 9*x**2 + 9*x + 92. Let l(q) = m*n(q) - 9*d(q). Is l(0) a multiple of 14?
False
Suppose 2 = h + 3*s, -4*h + 7 + 14 = -s. Suppose 8*x - 18 = h*x. Is (20/x)/(3/9) a multiple of 3?
False
Let h(z) = -105*z + 11. Does 13 divide h(-2)?
True
Let y = 193 - 176. Suppose -2*a + 4 = -2*p, -5*a + 30 = p + 8. Let b = a + y. Does 20 divide b?
False
Suppose -3*n + 2040 = 2*y - 834, y = 2*n + 1451. Is y a multiple of 13?
True
Let u = 76 - 71. Suppose 2*p + 3*p + c = 268, -u*p - 5*c = -280. Is p a multiple of 14?
False
Does 102 divide 24*(-6 + (0 - (-41)/4))?
True
Let v = 241 - 100. Is v a multiple of 3?
True
Let f(g) = g**2 + 102*g - 233. Is f(44) a multiple of 14?
False
Let y(q) = -q**2 + 5*q**2 + 5 - 2*q - q - 4. Let j be y(2). Let w = j - 8. Does 2 divide w?
False
Suppose 3*b - 32 = b. Does 4 divide 11 - ((-13)/4 + 4/b)?
False
Let y be (-17 + 18)/(1/5). Is 23 + (-7 - (-20)/y) a multiple of 4?
True
Let p(v) = -14*v**3 + 5*v**2 - 13*v - 96. Is 27 a factor of p(-6)?
True
Let z(q) = 8*q**2 + 18*q - 2. Is z(-7) a multiple of 44?
True
Suppose 621*i = 614*i + 2030. Is 35 a factor of i?
False
Suppose 0 = -9*d - 7 - 2. Is 21 a factor of -526*(d/2)/1?
False
Suppose -11*u = -13*u - 8. Is 144 - (4 + u)/(0 + 3) a multiple of 18?
True
Suppose 0 = 4*g - 968 + 100. Let z = 13 + g. Does 23 divide 32/(-40)*z/(-4)?
True
Let d(u) be the first derivative of 4*u**3/3 + 4*u + 8. Is 5 a factor of d(-3)?
True
Let x(c) = c**3 + 6*c**2 + 44. Let t(v) = -v**3 - 4*v**2 - v - 44. Let d(m) = -3*t(m) - 2*x(m). Is 4 a factor of d(0)?
True
Let v(m) = -m**3 + 2*m**2 - 8*m - 9. Let p be v(-5). Is 14 a factor of (2/(2 - 6))/((-1)/p)?
False
Suppose 3*d - 4*d = -2. Suppose -d*t = -2*s - 82, -4*t + 131 = -3*s - 30. Is t a multiple of 2?
True
Let r(c) = 15*c - 11. Let t be ((-4)/14)/((-19)/399). Is 11 a factor of r(t)?
False
Suppose 5962 = 13*i - 4659. Is 43 a factor of i?
True
Let y be (12/5)/((-2)/(-180)). Suppose -y = -4*k + 2*h + h, 5*h - 20 = 0. Suppose s = 5*i - k, -3*i + 5*s + 2 = -41. Is 11 a factor of i?
True
Suppose -w + 311 = -x, 3*w = 2*x + 1038 - 105. Is w a multiple of 6?
False
Is 1*6 + (46 - -13) a multiple of 13?
True
Let c(x) = -51*x**3 - x - 5. Is 14 a factor of c(-3)?
False
Suppose -6*j + j = -600. Suppose 5*u - j = u. Does 10 divide u?
True
Suppose 5*j - 14 - 31 = 0. Is 11 a factor of ((-12)/(-10))/(j/660)?
True
Let i be ((-1184)/(-24))/((-3)/((-18)/4)). Suppose -3*o = -i - 286. Does 24 divide o?
True
Suppose 5*z + 4*l - 173 = 97, 0 = -4*z - l + 205. Let c = z + -5. Is c a multiple of 5?
True
Suppose -2*c + 2*w + 29 - 9 = 0, -3*c + 2*w = -25. Suppose -3*j + c*d = 2*d - 87, 2*d + 120 = 4*j. Is 3 a factor of j?
False
Suppose s - 11 = -3*l, -7*s + 2*s - l + 13 = 0. Suppose 126 = -s*u + 430. Suppose 5*n + 0*b - 189 = b, 4*n - u = b. Does 18 divide n?
False
Suppose -48 = -3*a - 0*a. Suppose 0*x - a = 2*x. Does 14 divide ((-90)/8)/(3/x)?
False
Let g be 1*3/(-2 + 1). Let p = 2 + g. Is 11 a factor of -9*((-24)/(-9))/p?
False
Let n be (-15)/10*4/(-3). Suppose -v = -q + 32, -n*v + 0*v + 121 = 3*q. Suppose -2*c + q = 15. Is 11 a factor of c?
True
Does 71 divide (0 - (-1 + 7)) + (-1223)/(-1)?
False
Suppose 4*a = -7 - 9. L