of 4?
False
Let k(j) = 1. Let w(b) = -54*b. Let t(a) = -2*k(a) + w(a). Does 20 divide t(-3)?
True
Suppose t = 5, 2*x = -0*x - 3*t + 125. Is x a multiple of 4?
False
Let o = 2068 + -1313. Suppose 5*p - 325 = o. Is p a multiple of 18?
True
Suppose -4*w = 0, 0*w = -u - 5*w + 106. Suppose -218 - u = -3*v - 4*y, -3*y = 3*v - 321. Is v a multiple of 26?
True
Let p be (-1 - -37) + (-14)/7. Let d = p - 34. Suppose -3*x + 165 = 4*a, -3*x - 2*a + 33 + 132 = d. Is 15 a factor of x?
False
Is 24 a factor of 30/(-42) + (-40416)/(-56)?
False
Let l(s) = -s + 10. Let t be l(8). Suppose 4*h + 0*h - m = 101, 0 = -t*m - 2. Suppose -4*j - 4*q + 89 - h = 0, -80 = -5*j - 3*q. Is 8 a factor of j?
True
Suppose -23*j - 716 = 20. Let q be -3*((1 - 19) + 1). Let f = j + q. Is 15 a factor of f?
False
Suppose -2*b + 5*b = 6. Suppose u - 3 = -2*i, -u + b*u = -5*i + 9. Suppose 0 = -i*f, 3*j + 4*f = 5 + 7. Does 4 divide j?
True
Let i(w) be the first derivative of 2*w**3/3 - 13*w**2/2 + 2*w - 1. Let o be ((-3)/(-9) + 0)/((-2)/(-54)). Does 12 divide i(o)?
False
Suppose -5*u - 338 = -2*d - 51, 4*d + 2*u = 586. Suppose -2*j + 161 = 4*t - 5*j, -4*t + d = 2*j. Is t a multiple of 10?
False
Suppose t + 1 = -2*f, t - f = -2*f - 2. Let m be (-4 - t)*(1 - -3). Let l(g) = g**2 - 5*g - 6. Is l(m) a multiple of 10?
True
Let z = 411 - 209. Is z a multiple of 27?
False
Let l(b) = -b - 16. Let z be l(-6). Is 116 - 8*(-5)/z a multiple of 16?
True
Let x(w) = w**2 - 6*w + 12. Does 4 divide x(8)?
True
Let v = 1006 - 571. Is 15 a factor of v?
True
Suppose 5*y = 4*y - 4*t - 8, -3*y - 14 = 2*t. Let z(g) = -3*g - 8. Let w be z(y). Does 24 divide -3 - (-7 + w)*36?
False
Let y(q) be the third derivative of -q**6/60 - 13*q**5/20 - 19*q**4/24 + 13*q**3/3 + 33*q**2. Does 4 divide y(-19)?
False
Let k = 143 - -644. Is k a multiple of 18?
False
Let z(h) = 13*h + 9. Let n(u) = -u. Let l(g) = -5*n(g) - z(g). Let v(t) = t**2 + 6*t - 3. Let b be v(-5). Is l(b) a multiple of 12?
False
Let f = 68 - -29. Is 5 a factor of f?
False
Let x = -14 - -15. Let f(c) = -3 - 8*c + x + 4*c - 6*c. Does 14 divide f(-4)?
False
Let k be ((-172)/(-10) - 2) + 2/(-10). Is (-890)/(-25) + 6/k a multiple of 6?
True
Suppose 2*x - 3*p - 205 = 0, 13*p - 501 = -5*x + 9*p. Is x a multiple of 2?
False
Let o = 13 - -16. Does 20 divide o?
False
Let c(y) = 24*y + 4838. Does 59 divide c(0)?
True
Suppose -60 = v - 65, i + 5*v - 79 = 0. Is i even?
True
Suppose 4*c - 5*i = -0*c + 359, 3*i + 9 = 0. Is 5 a factor of c?
False
Let t(v) = 2*v**2 - 2*v + 3. Let k be t(3). Let d be ((-18)/k)/(5/(-25)). Is (6/4)/(d/64) a multiple of 8?
True
Let g = 11 - 6. Suppose 22 = -2*h - g*i + 163, -5*h - 3*i = -305. Is 6 a factor of h?
False
Suppose -b + 3 = 4*j + 14, j - 4*b + 7 = 0. Let w = -15 + -39. Is (2/2)/(j/w) a multiple of 17?
False
Let k(y) = 3*y**3 - 2*y**2 - y. Let z = -28 + 30. Is k(z) a multiple of 7?
True
Let s be (3 + 2)/((-4)/(-4)). Suppose -3*o + 15 = o + g, 3*g - 17 = -s*o. Suppose o*v + 37 + 21 = 2*w, 2*w - 66 = 2*v. Does 20 divide w?
False
Let f(g) = -4*g + 154. Does 42 divide f(-35)?
True
Let t(x) = 5*x + 4. Let v be t(9). Is 28/v*(-14)/(-4) a multiple of 2?
True
Let i be 2 - -5 - (0 + 3). Suppose -20 = -i*x + 28. Is (46/8)/(1/x) a multiple of 23?
True
Let t(d) = -5 - 9 - 3 - 2*d. Let c be t(-13). Let g(l) = 5*l - 3. Is 14 a factor of g(c)?
True
Suppose 3 = 3*r, 7*v - 4*r - 1895 = 4*v. Is v a multiple of 16?
False
Let a = 9 - 9. Let j(p) = 3*p**2 + 8*p**2 - 4*p**2 - p**3 + a*p + 2*p. Does 16 divide j(6)?
True
Let k = 3212 + -1138. Is 34 a factor of k?
True
Let j = -31 + 31. Suppose j = -4*o + 4 - 20. Does 17 divide (o - (-65)/15)*102?
True
Let z = 8 + -5. Suppose -7*j = -2*j + 2*v - 118, -2*v + 70 = z*j. Is j a multiple of 15?
False
Let i = 3 + 15. Suppose -4*f = b - 1, -4*b + 0*b - 2*f + i = 0. Suppose 0 = 2*d - b*d + 198. Is d a multiple of 18?
False
Let w = 1255 + -1239. Does 3 divide w?
False
Suppose 0 = -v - 4*v - 3*r + 493, -5 = -5*r. Does 21 divide 10416/v - (-4)/(-14)?
False
Let h(w) = -7*w**3 + 13*w**2 + 38*w - 33. Let g(a) = -11*a**3 + 19*a**2 + 57*a - 50. Let l(r) = 5*g(r) - 8*h(r). Does 20 divide l(12)?
False
Suppose 17*l = 15*l + 714. Does 13 divide l?
False
Let w(n) = -14*n + 160. Is 20 a factor of w(-5)?
False
Suppose -4*v = -54 - 54. Suppose k = v + 9. Is k a multiple of 12?
True
Let v(x) = x**3 - 8*x**2 + 7*x + 4. Let g be v(7). Suppose -3*a = -2*j - 25, -g*a - 2*j = -2*a - 10. Is a a multiple of 7?
True
Let p(d) = d**3 + 2*d**2 - 9*d + 9. Let q be p(4). Let o = q + 39. Is 27 a factor of o?
True
Suppose 4*r - 9228 = -x, 31*r - 34*r + 6921 = -3*x. Is r a multiple of 11?
False
Suppose -12*a = -3*a - 36. Let y(z) = 4*z + 27. Does 2 divide y(a)?
False
Let j = -459 - -987. Is 16 a factor of j?
True
Let o(t) = 6*t + 4. Let v be o(11). Suppose 2*b + 3*j = v + 43, 2*j = 2. Let f = b - 37. Does 6 divide f?
True
Let j = 50 - 52. Let c(x) = -70*x**2 - 1. Let h be c(1). Is 24 a factor of -3 - h - (-6 - j)?
True
Let v(b) = -115*b - 345. Is 10 a factor of v(-15)?
True
Suppose -22078 = -5*s - 4*h, -h - 22102 = -5*s + 3*h. Suppose 778 = -10*i + s. Does 13 divide i?
True
Let a be 1 - (-15)/(-5)*-1. Suppose -v - 2*r = 4*v - 133, 0 = v - a*r - 31. Let j = 54 - v. Is j a multiple of 4?
False
Does 27 divide 1 - ((-28)/(-4) + -1743)?
False
Let r(v) = v**2 + 5*v - 5. Let o be r(-6). Let h be (0/o)/((-5)/(-5)). Suppose -5*m + 350 = -h*m. Is m a multiple of 21?
False
Suppose 0 = 2*b + 3*b - 5*l - 1260, 0 = -4*b + 5*l + 1007. Suppose -4*m - 3*o = -b + 46, m - 39 = -5*o. Is m a multiple of 27?
True
Suppose -20 = -19*g + 14*g. Suppose u - g*t = 86, -4*t = -u + 4*u - 322. Is u a multiple of 11?
False
Suppose -5*g + 25 = 4*a, 0 = 5*g - g - 5*a + 21. Let z be (2 - -9)/(1/1). Let q = z - g. Is 10 a factor of q?
True
Let a = 146 - 70. Suppose -5*u + 5*m + a = m, -20 = 5*m. Does 6 divide u?
True
Let a(t) = 16*t**3 - 5*t**2 + 7*t - 10. Does 19 divide a(3)?
False
Let b be (4 - 9) + (-1 - -156). Let k = 216 - b. Does 3 divide k?
True
Let k = -64 + 125. Suppose 5*v = k + 39. Is 10 a factor of v?
True
Let w(o) be the third derivative of -o**4/4 - 7*o**3/2 + 22*o**2. Is 8 a factor of w(-10)?
False
Suppose 13*c = 916 + 8704. Is 37 a factor of c?
True
Let c = -792 + 1466. Is c a multiple of 53?
False
Let n(j) = 4*j**2 + 115*j + 91. Does 115 divide n(-43)?
False
Suppose -l - 5*t + 255 = 0, -3*t = -12 + 3. Suppose -4*u - 3*y - l = -y, 2*u = -4*y - 132. Let j = -9 - u. Does 8 divide j?
False
Let g = 5 - 7. Is (27/g)/((-10)/60) a multiple of 27?
True
Is 2 a factor of (-11 - -13)/((-4)/(-284))?
True
Let t be (-4)/6*(6 - -24). Let o = -16 - t. Is 23 a factor of o + 0 + -8 + 50?
True
Let p be -4 - -3 - 2/2. Let j(w) = w**2 - 2. Let a be j(p). Suppose a*n - 37 = 43. Is n a multiple of 20?
True
Suppose 0 = -3*z + 3 - 0, -2*k - 3*z + 7 = 0. Suppose 6*f = k*f + 44. Is 18 a factor of 790/f - (-20)/110?
True
Let g(b) = -2*b**2 - 2*b - 2. Let m be g(-2). Is 23 a factor of (-4)/m - (-2405)/15?
True
Let b(g) = -3*g**2 + 13*g - 14. Let v be b(9). Is ((-2)/2)/(2/v) a multiple of 10?
True
Suppose 2260 = 5*k + 275. Does 4 divide k?
False
Suppose 5*l + 4*g = 485, -173 = -2*l - g + 18. Is l a multiple of 31?
True
Suppose -4*q + 48 = 2*q. Suppose -7*a + q*a + 28 = 0. Is 21 a factor of 21/a + 411/4?
False
Suppose 83*s + 2508 = 116*s. Does 19 divide s?
True
Let p(j) = -4*j + 20. Does 11 divide p(-9)?
False
Let y(p) = -p**2 - 11*p + 5. Let j be y(-11). Suppose 3*z + j*c = 102, 0 = z + 3*c - 0*c - 34. Let m = -12 + z. Is 22 a factor of m?
True
Let u(p) = -p**3 + 5*p**2 + 8*p - 3. Let l be 1 - 2/(-5)*-10. Is u(l) a multiple of 7?
False
Suppose x - 165 = 3*y, 0 = 4*x + y + 3*y - 692. Does 30 divide x?
False
Let y(q) = -2*q**3 - 4*q**2 - 3*q + 18. Let c(a) = a**3 + 3*a**2 + 4*a - 17. Let n(x) = -4*c(x) - 3*y(x). Is n(4) a multiple of 24?
False
Let n(i) = -4*i - 3. Let s be n(-2). Suppose -5*a + 45 + 130 = 0. Let x = a + s. Is x a multiple of 20?
True
Suppose -2*c = -5*w - 0*c + 490, -5*w - 3*c + 465 = 0. Is 13 a factor of w?
False
Let d(n) be the second derivative of -n**7/840 + n**6/360 + n**5/120 + 5*n**4/4 - n**3/6 + 2*n. Let i(t) be the second derivative of d(t). Does 10 divide i(0)?
True
Suppose -24 = 5*m + 3*m. Let z(k) = 15*k**2 - 5*k - 2. Is z(m) a multiple of 37?
True
Suppose 82 = 7*z +