ose -483 = -7*n + 371. Suppose 3*c - n = -d - 3*d, 0 = -5*d + c + 162. Is 8 a factor of d?
True
Let y(k) be the first derivative of 2*k**3/3 + 13*k**2/2 + 10*k + 1. Let l be -1*(-10 + 2)*-1. Does 17 divide y(l)?
True
Suppose 0 = -m - 3*m + 64. Suppose -66 = 3*y - 2*t, 2*y + 6*t - t + 44 = 0. Let j = m - y. Is j a multiple of 38?
True
Suppose -3*o - 1 = 8. Let y = -1 - o. Suppose -y*c + 6*c - 48 = 0. Is c a multiple of 6?
True
Suppose 2838 = 2*k + 5*s + 662, s = 2. Is 24 a factor of k/9 + 5/(-15)?
True
Let k be (-7 + 2)/(-5)*-8. Let s(r) = r**2 + 3*r - 6. Is 5 a factor of s(k)?
False
Let h be (-5 + 1)*(-63)/4. Suppose -4*n + 8*n - 420 = 0. Let s = n - h. Does 14 divide s?
True
Suppose 1530 = 5*k - 1360. Is k a multiple of 18?
False
Let u(b) be the first derivative of -b**4/4 + 11*b**3/3 - 15*b**2/2 - 8*b + 30. Is u(8) a multiple of 32?
True
Is 55 + 3/(-1) + 6 a multiple of 5?
False
Suppose 5*a - 16754 = -1464. Is 6 a factor of a?
False
Is (17 - -173) + (10 - 2) a multiple of 19?
False
Suppose -5*z + 20 = l, l + 2 + 18 = 5*z. Let n(u) = 5*u**2 - u + 40. Let r(i) = i**2. Let h(k) = n(k) - 4*r(k). Does 20 divide h(l)?
True
Let t = -7 + 5. Let p be -1*-1*(t + 2). Suppose -15 = -4*k - i, k - 6 = 2*i - p*i. Is 3 a factor of k?
False
Let a(g) = 4*g - 56. Let v(p) = -3*p + 57. Let j(z) = 2*a(z) + 3*v(z). Does 11 divide j(-11)?
False
Suppose -506 + 131 = -5*w. Suppose u - 4*u = -w. Let s = 117 - u. Is s a multiple of 23?
True
Let p(j) be the second derivative of j**5/15 - 5*j**4/12 - j**3 - 5*j. Let o(h) be the second derivative of p(h). Does 15 divide o(8)?
False
Suppose -20*w + 25753 = 6033. Does 75 divide w?
False
Let q(c) be the third derivative of 0*c + 0 + 1/3*c**4 + 5*c**2 - 1/120*c**6 - 1/10*c**5 + 7/3*c**3. Is q(-7) a multiple of 2?
False
Suppose 4*g + 4*q - 4 = 0, -10 = 2*g + 8*q - 3*q. Suppose -g*u + 204 = -2*u. Is u a multiple of 4?
True
Suppose -165*y + 52*y = -904. Is y a multiple of 2?
True
Let i(a) = -6*a - 6. Let d be i(-5). Suppose 3*n + v - d = 0, n - v - 6 = 2. Does 18 divide (13/2 - 2)*n?
True
Let y(j) = -j**3 + 5*j**2 + 6*j + 4. Let d be y(6). Suppose 4*n - 3*u = 109 + 37, -n - d*u = -46. Suppose -2*m - 2*z + n = 3*m, 5*z = 20. Does 5 divide m?
False
Suppose -2604 = 6*k - 16716. Suppose -2*s + 14*s - k = 0. Does 12 divide s?
False
Let v = 133 + 44. Suppose 0 = -2*p - 10, -c = -2*c + p + v. Is 15 a factor of c?
False
Suppose 0 = -0*r + 7*r + 7. Let t = r + 6. Suppose -j + s = -26, t*s - 2*s = 6. Does 14 divide j?
True
Let y be (1 + 21/(-1))/(7/(-56)). Suppose 9*r - 10*r = -y. Is r a multiple of 16?
True
Suppose -6 = 4*y + 10. Let x = 50 - 42. Is (0 + y/x)*-72 a multiple of 12?
True
Suppose -g - w = -2, -4*w = -0*g + 5*g - 10. Suppose 5*u + 0 - 7 = g*i, 0 = u - 2*i - 3. Does 14 divide (u - 30)*(-5 - -3)?
False
Let a = -467 - -506. Is 3 a factor of a?
True
Let j(k) = 12*k + 27. Let v(t) = -t + 1. Let b(i) = -j(i) - 5*v(i). Is b(-7) even?
False
Let k be (-16)/(-2 + -2) + -3. Is ((-14)/(-5) - k)*(-130)/(-39) a multiple of 3?
True
Let d = 2376 - 1978. Is 63 a factor of d?
False
Does 4 divide (-108)/(-21)*(-385)/(-22)?
False
Let o = 85 + -48. Suppose 0 = -2*b + 4, b = 5*j - 222 - 121. Let v = j - o. Is v a multiple of 16?
True
Let r = -5 - -10. Suppose r*m - 120 + 23 = 3*y, m - 23 = -3*y. Is 4 a factor of m?
True
Let o(w) = 26*w**2 + 299*w + 32. Does 21 divide o(-14)?
False
Let q(z) = 7*z + 49. Let j(a) = 20*a + 148. Let v(p) = 6*j(p) - 17*q(p). Suppose 0*l = 4*l. Is 13 a factor of v(l)?
False
Let y(d) = d**3 - 11*d**2 + 14*d - 3. Let m be y(10). Let o = -30 + m. Does 12 divide (o/3)/((-11)/(-396))?
True
Let s(p) = -p**2 - 7*p - 1. Suppose -5*h = -2*h + 18. Let g be s(h). Suppose -2*k + 58 = -4*z, 4*z + 160 = g*k - z. Is 12 a factor of k?
False
Suppose -12 - 4 = -2*s. Let v be (-2)/(-8) - (-14)/s. Suppose -v*m = -6*m + 120. Does 15 divide m?
True
Let g(z) = -z**3 + 10*z**2 + 13*z + 6. Let l be g(11). Is 41 a factor of -292*(3 - l/8)?
False
Let k = 104 - 112. Is (-458)/k + -2 - 6/24 a multiple of 21?
False
Suppose -x - 3*x = -112. Suppose -4*d + 4*p = -44, -2*d + 0 = -5*p - x. Is 7 a factor of d?
False
Suppose -4*x + 3*d + 1101 = 0, -3*d = -8*x + 3*x + 1374. Does 7 divide x?
True
Let h be 0/(4 + 0/(-2)). Suppose -3*q = -h*q - 180. Is q a multiple of 20?
True
Suppose 4*s - 4 = 4. Let r(z) = 18*z + 10. Let k be r(4). Suppose -j - 4*j - 4*m + k = 0, m = -s. Is 6 a factor of j?
True
Let u be 1/(-3)*(-4 - 11). Let m be (15/3)/(u/(-10)). Does 17 divide (-4)/(-5)*(-425)/m?
True
Let r(p) = -238*p**3 + 3*p + 2. Let h be r(-1). Let n = -111 + h. Is n a multiple of 18?
True
Let d(f) = -5*f - 3. Let p be d(-2). Let u(g) = 6 - 951*g**2 - 7*g + 1909*g**2 - 950*g**2 - g**3. Does 3 divide u(p)?
True
Is 483/(-49) - -10 - (-56697)/21 a multiple of 45?
True
Let m = 115 + 567. Is 31 a factor of m?
True
Suppose -3*v + 5 = u + 19, -7 = 2*u - v. Let h(p) = 10*p**2 + 14*p + 36. Does 36 divide h(u)?
True
Does 2 divide (2450/(-56))/(-1*4/16)?
False
Let v(l) = -3*l - 27. Let x(k) = k + 9. Let q(y) = -2*v(y) - 7*x(y). Let o be q(-11). Does 11 divide -2*3/o + 14?
True
Suppose -3*i = -3*a - 15, 0 = -6*i + 5*i - 3*a + 1. Suppose -5*d - 13 = -t, 0*t + i*d = -2*t - 2. Suppose 0 = -t*u - 0*u + 93. Is 11 a factor of u?
False
Let r(d) = -43*d - 75. Let c(f) = -22*f - 38. Let n(g) = 10*c(g) - 6*r(g). Is n(7) a multiple of 12?
True
Is 25 a factor of (2/(-4))/((-7)/4620)?
False
Let n(i) be the third derivative of 1/12*i**4 + 0*i + 0 - 5/3*i**3 + 1/120*i**6 - 7/60*i**5 - 4*i**2. Is 23 a factor of n(8)?
False
Suppose 0 = 2*i - 8*a + 12*a - 82, i - a - 50 = 0. Suppose i = 2*z + p, -4*p + 8 - 95 = -3*z. Is 11 a factor of z?
False
Let m be (6/2 - 6)/(3/(-1)). Let h(a) = 5*a. Let j be h(4). Suppose -4*c - 4*d = -12, -5*c - 3*d + j = m. Does 5 divide c?
True
Suppose 0 = 2*l - x - 565, -4*l + 0*x - 5*x + 1095 = 0. Is l a multiple of 6?
False
Let f = -53 - -57. Suppose -182 = f*j - 806. Is 10 a factor of j?
False
Suppose 4*t = 3*l + 41, 4*l - 5*l + t = 12. Let u = -11 - l. Does 2 divide 3 + 0 + -3 - u?
True
Let t be (1 + -2)*4 + 8. Is 3 a factor of (14/t + -3)*12?
True
Let r be ((-18)/15)/(5/25). Is 6 a factor of (-3)/(-2)*(-232)/r?
False
Let w(y) = -8 + y**3 + 3*y - y + 2*y + 7*y**2. Suppose 2*k - 16 = 3*t, 4*t - 3*k = -16 - 5. Is w(t) a multiple of 4?
True
Suppose 0 = 43*z - 14257 - 5308. Is 18 a factor of z?
False
Let m = -124 - -468. Is m a multiple of 8?
True
Let s = -532 + 1201. Suppose 0 = 4*i - i + c - s, -5*i + c = -1123. Is 56 a factor of i?
True
Let h(q) = -q**3 + 17*q**2 + q - 15. Let u be h(17). Suppose -3*b + 98 = -u*b. Is b a multiple of 14?
True
Let t = -57 + 75. Is ((-498)/t)/(2/(-18)) a multiple of 15?
False
Suppose 0*y - t + 1260 = -5*y, 0 = 3*y + t + 748. Let k = 427 + y. Is k a multiple of 25?
False
Let g(l) = -l**3 - 3*l**2 + 15*l + 5. Is 11 a factor of g(-6)?
False
Suppose -4*i - 3*c + 1167 = -3834, -4*c = 20. Is i a multiple of 66?
True
Suppose -2*p = 10, -5*i - 3*p - 25 = -4*i. Let u = i + 10. Suppose 4*h = -2*y + 244, -5*y + u*h + 5*h = -595. Is 30 a factor of y?
True
Suppose -14*i + 169 = -13*i. Suppose 0 = 2*z + 23 - i. Does 15 divide z?
False
Suppose 13*f - 83 = 138. Let k = -4 - -11. Let y = f + k. Is 10 a factor of y?
False
Let c(b) = -b**2 + 67*b - 9. Is 21 a factor of c(6)?
True
Suppose w - 5*p + 3*p + 16 = 0, w + 15 = 3*p. Is ((-128)/3)/(7 - (-132)/w) a multiple of 21?
False
Let j = -3439 + 5497. Does 15 divide j?
False
Suppose 0 = 7*c - 284 + 18. Let f = c - 2. Does 12 divide f?
True
Suppose 19*p + 2376 = 25*p. Is p a multiple of 53?
False
Let x = -146 + 38. Let u be (15/(-6))/(3/x). Does 10 divide (-2)/(3/(u/(-1)))?
True
Let r be (33 - 0) + -9 + 11. Suppose 0 = 8*k - 3*k + r. Is 6 a factor of (-30)/(-7)*k/(-1)?
True
Does 5 divide 3 + -2 + -1 + 250/2?
True
Let d(o) = 2*o**2 - 11*o + 35. Let k(b) = b**2 - 5*b + 18. Let j(x) = -6*d(x) + 11*k(x). Let t be j(7). Is (-282)/(-5) + t/(-40) a multiple of 11?
False
Let q = 702 - 691. Is q even?
False
Let x = -172 + 334. Suppose m - 8*l + 3*l = 28, -5*m = -3*l - x. Is m - (-3 - (3 + -3)) a multiple of 6?
True
Suppose 153*o + 5*v = 158*o - 10500, -2*o - 5*v = -4172. Does 16 divide o?
True
Suppose 502*t - 489*t = 5681. Is 23 a factor of t?
True
Suppose -5*w + 2*h + 14 = 0, -3*w - 2*h - 2*h = -24. Suppose 2*s 