e q(l)?
True
Let v(u) = -10*u - 24. Let t = 128 + -141. Is 6 a factor of v(t)?
False
Let q(r) = -r**3 + 7*r**2 + 6*r - 63. Does 14 divide q(-11)?
False
Let l(j) = 17*j. Let w be l(-2). Let q = 70 + w. Is 2 + q - (4 + -1) a multiple of 14?
False
Suppose 17 = -2*r - 23. Let l be 10 - (-1 - r/4). Suppose -l*t + 26 = u - 4*t, -3*u - 5*t = -83. Does 36 divide u?
True
Is -1 + (331 - 4) + 10 a multiple of 44?
False
Suppose -198 - 348 = -13*s. Is s a multiple of 6?
True
Let q(m) = -m**3 - m**2 + m + 2. Let h be q(-1). Let f(o) = 7*o**2 - 2*o + 2. Let s be f(h). Suppose 4*j - 2*l - 3 = -s*l, -3*l - 29 = -2*j. Does 2 divide j?
False
Let a(h) = h**3 - 8*h**2 - 12*h - 2. Let o be a(10). Suppose -3*d + o - 9 = 0. Let p = d + -14. Is p a multiple of 9?
True
Does 65 divide 1/7 - 43/((-1806)/9276)?
False
Suppose -29 = -5*y - 4, -5*v = y - 2525. Is v a multiple of 42?
True
Let c(v) = -136*v + 1. Is c(-5) a multiple of 15?
False
Let o = 58 - 51. Does 14 divide 1/o - (-6480)/112?
False
Suppose 3*r - 7*r + l + 14 = 0, r - l = 5. Suppose 2*w + 120 = -r*w - p, -4*w - 85 = 3*p. Is 23 a factor of w*(-2 + 6/15)?
False
Let y(f) = f**3 - 21*f**2 - 34*f - 192. Is 39 a factor of y(27)?
False
Let s be ((-18)/5)/((-30)/100). Let h be ((-19)/(-2))/(6/s). Suppose -h = -5*w + 71. Does 5 divide w?
False
Let h(g) be the first derivative of g**2/2 + 2*g - 5. Let l be h(-5). Let k = 1 - l. Is 4 a factor of k?
True
Suppose -4431 = -4*a - o, -2*o + 2220 = -0*a + 2*a. Suppose 0 = 16*c - 1213 - a. Is 24 a factor of c?
False
Let i(s) = 9*s - 44. Let j be i(7). Suppose -c + j = -28. Is c a multiple of 3?
False
Let f be -7*(48/(-14))/4. Let g be (-16)/(-6)*f/4. Suppose -c - g*c = r + 9, 0 = 4*r - c - 69. Is r a multiple of 16?
True
Suppose 0 = -5*v - 15, 16 = 2*c - v + 3. Suppose c*t - 83 = -2*o, 0 = -t - 2*t - 3. Is 26 a factor of o?
False
Let x be 32*(2 + 3/(-2))/1. Suppose -c + 0*c = -x. Does 8 divide c?
True
Let g(i) = 18*i + 37. Let o be (-2)/(-4) - ((-23)/2 - 1). Is g(o) a multiple of 40?
False
Suppose 0 = -y - b + 744, -7*y - 5*b = -5*y - 1500. Is 37 a factor of y?
True
Let b = -192 - -221. Suppose 5*t + 4*n = -6, t + 2*n - 6 = 3*t. Let x = t + b. Is x a multiple of 9?
True
Let p(b) = b + 15. Let t be p(12). Suppose -t*a + 25*a = -2504. Is 34 a factor of (-4)/3 - a/(-12)?
False
Suppose -l = -3*k + 3299, -2822 = -4*k - 3*l + 1555. Is k a multiple of 61?
True
Suppose 4*r - 6676 = 5*w, 28*r + w - 5026 = 25*r. Is 31 a factor of r?
True
Suppose 7*m - 12*m = 3*s - 40, 4*m - 5 = 3*s. Suppose 51 = s*x + 16. Is x a multiple of 6?
False
Let q(z) = 13 - 90*z - 96*z + 191*z + z**2. Let g be (10/(-6))/(2/12). Is q(g) a multiple of 9?
True
Suppose 41*a - 48 = 39*a. Does 2 divide a?
True
Let k(w) = -15*w + 321. Is 9 a factor of k(-23)?
True
Is 83 a factor of 2/2 - -34*6*2?
False
Suppose -3*c + 12 = -c. Suppose -6 = 3*i - c*i. Suppose -5*m + 2*d + 239 = 0, 0 = -m - i*m + 4*d + 149. Does 18 divide m?
False
Let y = 5 - 1. Let i(o) = 8*o**2 + 4*o - 6. Is 13 a factor of i(y)?
False
Suppose -942 = -6*p + 3*p. Is (3 - p/4)*-2 a multiple of 26?
False
Let u = -19 + 35. Suppose 0 = -u*g + 12*g + 72. Is 6 a factor of g?
True
Let t(f) be the third derivative of -f**4/6 - 2*f**3/3 - f**2. Suppose 0 = -111*c + 113*c + 18. Is t(c) a multiple of 8?
True
Let d(s) = 8*s + 1. Let v be d(-3). Let c = -15 - v. Let i = c - -20. Is i a multiple of 14?
True
Let a = -198 - -336. Is a a multiple of 8?
False
Let b(t) = -2*t + 1. Let p be b(-2). Suppose 5*j = j - p*s + 286, -2*j = -3*s - 132. Does 3 divide j?
True
Suppose -43*i = -32*i - 1133. Does 32 divide i?
False
Let t(q) = 279*q**3 + q**2 + q - 1. Is 28 a factor of t(1)?
True
Suppose 0 = 2*z - 352 - 148. Does 25 divide z?
True
Let s(p) = -p**2 + 19*p - 11. Let q be s(14). Let z = -26 + q. Does 6 divide z?
False
Suppose -81*r + 5580 = -75*r. Does 31 divide r?
True
Suppose -4*u + 380 = -4*b, -103 = -3*u - 5*b + 142. Let n = u - 72. Is 18 a factor of n?
True
Let n(w) = -w**2 + w + 2. Let u be n(-5). Let y = 32 + u. Suppose -y*t = -5*t + 93. Is 14 a factor of t?
False
Let n(v) = -3*v**2 - v + 1. Let a be n(-2). Let k be 1*a/3 - 331. Is 12 a factor of k/(-7) - (-16)/56?
True
Suppose 6*g - 570 = 318. Let l = -85 + g. Does 7 divide l?
True
Suppose -2*g = 5*r + 80, -3*r - 3*g - 19 = 20. Let m = r - -12. Is m/(-2) + 15 + 0 a multiple of 9?
True
Let m = -10 + -3. Let t = m + 15. Suppose -4*o + 2*x = -46, 2*o - x - t*x - 33 = 0. Does 2 divide o?
False
Let j(h) = 3*h**2 + 23*h - 126. Is 2 a factor of j(10)?
True
Let l = 11 - -1. Suppose 8*z - l*z + 20 = 0. Suppose -3*w + 42 = -3*v, -w + z + 10 = -2*v. Is w even?
False
Suppose -88 = 13*f - 36. Does 6 divide (0 - -12)/(f/(-4 - -2))?
True
Let g = 6365 - 4050. Does 7 divide g?
False
Suppose 22*d = 5612 + 18192. Is 14 a factor of d?
False
Suppose -26376 - 17184 = -40*w. Is 33 a factor of w?
True
Suppose f = 5 - 15. Does 26 divide f/15 - (-158)/3?
True
Let m be 0 + (-4)/10*(-33 + 3). Let u(w) = w**3 + 3*w**2 - 4*w - 3. Let g be u(-4). Let v = m + g. Does 9 divide v?
True
Let m(z) = -z**3 + 16*z**2 + 2*z - 136. Does 3 divide m(11)?
False
Let l = -422 - -932. Is 34 a factor of l?
True
Let y be 3485/164*8/(-1 + -1). Let r(z) = -z**3 + 3*z**2 - 3*z. Let k be r(2). Does 21 divide 1/k - y/2?
True
Let f = 511 + -232. Is f a multiple of 10?
False
Let o be (-21*1)/(6/28). Let j = 176 + o. Does 26 divide j?
True
Let b be (-4 - -8)*1/2. Suppose -5*g = -3*h - 147, 3*h + b*h = 2*g - 74. Is g a multiple of 9?
True
Suppose 0 = 2*h + 86 - 690. Suppose -2*x + h = 3*z + 26, 2*x = 3*z - 264. Is z a multiple of 30?
True
Suppose 5 = -b - 2*d, -20 = b + 3*d - 6*d. Is 8 a factor of (-175 - b)*(-1)/2?
False
Let i = 2 - 0. Let c(x) = 6*x + 6. Let q be c(-1). Suppose -5*o = -i*y - 10 + 33, -4*y - o + 101 = q. Is y a multiple of 24?
True
Suppose 9*l - 11*l = 0. Let d be 1/(l - 2/(-6)). Suppose 3 = d*c - 4*c, 3*c + 42 = 3*x. Does 11 divide x?
True
Suppose 4*w = -0*w + 16. Suppose -r = w*r. Suppose r = -0*a + 5*a - 270. Is 27 a factor of a?
True
Is (11/(-3))/(4/(-504)) a multiple of 22?
True
Let b(p) = -56*p - 11. Does 15 divide b(-1)?
True
Let f(k) = -3*k + 61. Let r be f(18). Does 11 divide 280 - r - (-1 - -3)?
False
Let r = -7 - -16. Let u = 7 - r. Let y(t) = 10*t**2 - t - 2. Is y(u) a multiple of 20?
True
Is -8 + 4 - (-1064)/12*6 a multiple of 8?
True
Let a = 89 + -101. Does 37 divide (-40)/a*(-1062)/(-15)?
False
Let s(k) = -k**3 - 14*k**2 + 14*k - 11. Let h be s(-15). Suppose -5*q + 3*n + 35 = 2*n, 4*n = -4*q + h. Is -3 + q + -1 - -18 a multiple of 5?
True
Let l(x) = 3*x**2 - 49*x - 22. Let a(k) = -k**2 + 16*k + 7. Let s(u) = 7*a(u) + 2*l(u). Let n be s(14). Suppose -n*w = -w - 140. Is w a multiple of 12?
False
Let b be (-2)/(-8) - (-2431)/68. Suppose -b*f + 78 = -30*f. Is 4 a factor of f?
False
Let x be -5*(1 - -9) - 0. Does 2 divide 5/(x/(-18))*5?
False
Let p be (9 + -4)*(-2)/5. Does 44 divide -4 - ((-412)/p)/(-2)?
False
Suppose 66 = -14*z + 12*z. Does 13 divide ((-44)/z)/((-4)/(-78))?
True
Let q(j) = 3*j**3 - 23*j**2 + 7*j - 26. Let o(v) = 2*v**3 - 15*v**2 + 5*v - 17. Let m(i) = 7*o(i) - 5*q(i). Suppose -3*d - 7*d = -100. Does 11 divide m(d)?
True
Let c be -4*(0 + -1) + -2. Suppose -3*g = c*g + 10. Let j(h) = -5*h**3 + h**2 + 2*h - 4. Is j(g) a multiple of 31?
False
Suppose 0 = 2*k + 8 + 8. Let s = k - -15. Let v = s - -30. Is v a multiple of 15?
False
Let q = 239 - 99. Does 28 divide q?
True
Let l(v) = -v**2 - 8*v + 6. Let q(h) = -h. Let a(t) = -l(t) + 2*q(t). Suppose 3*p - 5*p - 3 = 3*k, 0 = -3*p - 4*k - 7. Does 8 divide a(p)?
False
Let r(m) = 15*m**2 - 35*m + 3. Is 8 a factor of r(6)?
False
Suppose 0 = 9*d - 6093 + 1989. Does 3 divide d?
True
Let o = 564 - 121. Suppose 0 = 4*j + s - 360, 0*j - 3*s = 5*j - o. Is j a multiple of 8?
False
Suppose 2*i - 81 + 15 = 0. Suppose j - i - 16 = 0. Is 7 a factor of j?
True
Suppose -6*j + 4*j + 9994 = -2*d, j = 2*d + 4997. Is j a multiple of 42?
False
Suppose g = -105 + 292. Is g a multiple of 17?
True
Suppose -10 = 2*h, -4*p - 6*h + 4*h = -6. Let f be (p/6)/(8/(-12)). Let u(n) = 28*n**2. Does 14 divide u(f)?
True
Suppose 5*s - 48*a = -53*a + 2015, -a = -4*s + 1622. Does 9 divide s?
True
Let j(v) = -14*v + 6. Let r(n) be the second derivative of n**4/12 - 4*n**3/3 - 3*n**2/2 + 9*n. Let y be r(8). Is j(y) a multi