e
Let y(n) = -3*n**2 - n. Let c be y(1). Suppose 3*d + 41 = 3*r - 4, 2*d + 14 = -2*r. Let j = c - d. Is 3 a factor of j?
False
Suppose -2*l = -0 + 8. Let g be 0 + 2 + l + 6. Suppose -12 = 3*i, -6*i + 8 = g*n - 3*i. Does 2 divide n?
False
Let l = 608 - 419. Is l a multiple of 9?
True
Let f be (5 + -4)*(6 - -1). Suppose 3*p = f*p + 16. Let w(r) = -r**3 - r**2 + 8*r + 10. Does 13 divide w(p)?
True
Let b be ((-5)/(-5) - -220) + 4. Suppose -5*w = -10*w + b. Is 3 a factor of w?
True
Let c(f) = 6*f - 21. Suppose -20 = -k - 4*k. Let u(q) = -3*q + 10. Let l(n) = k*c(n) + 9*u(n). Does 24 divide l(-6)?
True
Let t(m) = -26*m + 2. Does 4 divide t(-10)?
False
Let j be -28 - 3/(12/8). Is 7 a factor of -1 - 2 - (j - 9)?
False
Is 27 a factor of ((-69)/(-6) + -2)/((-1)/(-22))?
False
Let w(i) be the second derivative of 5*i**4/12 - i**3/3 - 5*i**2/2 - 6*i. Does 6 divide w(3)?
False
Let i(z) = -z**3 + 15*z**2 - 26*z. Let t be i(13). Let d be 18 - -2*1*1. Suppose -4*k + 3*k + d = t. Is k a multiple of 20?
True
Let w = -66 + 106. Let d be w/6*(-27)/(-12). Suppose -d*b - 72 = -19*b. Is b a multiple of 9?
True
Let m = -444 - -836. Is 28 a factor of m?
True
Suppose f = -2*p + 4*p + 78, 323 = 4*f + 3*p. Let d = -27 + 27. Suppose d = -4*m - i - 0*i + 362, m - f = 5*i. Is 15 a factor of m?
True
Suppose 0 = -3*w + 3, 4*m + 0*w + 3*w = 27. Let s(d) = 3*d**2 - 7*d - 12. Is 18 a factor of s(m)?
True
Suppose -486*a + 17850 = -476*a. Is a a multiple of 105?
True
Let p(x) be the second derivative of x**4/2 + 2*x**3/3 - 45*x. Let z = -10 + 6. Is 16 a factor of p(z)?
True
Suppose -5*z = -4*z + 91. Suppose -2*w = 4*g - 374, w + 5*g + 935 = 6*w. Let k = z + w. Is k a multiple of 29?
False
Let b = -25 + 30. Suppose 267 = 2*u - b. Does 34 divide u?
True
Let p(t) = 2*t**3 - 6*t**2 - 4. Let b be p(3). Does 17 divide 0 - (b*134)/4?
False
Let p(o) = o**2 + 7*o + 7. Suppose -2*h - 15 = -5*h. Let f be p(h). Suppose 27 = t - f. Is t a multiple of 44?
False
Suppose 0 = 5*y - 2 - 3. Let w(g) be the third derivative of g**6/3 - g**5/30 + g**4/12 - g**3/6 - 24*g**2. Is w(y) a multiple of 8?
False
Let i = -331 + 339. Is 4 a factor of i?
True
Let k be (3 - (1 + 2))/(-2). Suppose k = -g - m - m + 232, 5*g - 5*m - 1100 = 0. Let a = g - 124. Does 20 divide a?
True
Suppose -4*u = 83 - 467. Let z = u - 14. Does 11 divide z?
False
Let z be 1 - (-9)/((-15)/(-5)). Suppose n - 2*j = -5*j + 6, -z*n + 24 = -5*j. Is n a multiple of 6?
True
Let o(a) = a**3 + 15*a**2 + 10*a - 12. Suppose -3*z = -j + z - 10, 5*z = -j + 17. Suppose m - j*m - 14 = 0. Is 11 a factor of o(m)?
True
Let v(g) = -g**3 + 10*g**2 + 4*g - 7. Let l be v(5). Suppose l = -17*n + 699. Is n a multiple of 8?
False
Suppose 2*v + 4*t = -v + 3, -4*v + 4*t + 32 = 0. Let u = v + 5. Does 10 divide u?
True
Suppose 2*f - 2880 = -10*f. Is 12 a factor of f?
True
Let j(z) = -z - 9. Let i be j(-9). Let v be i - (-3 + 4/4). Suppose v*k = -4*r - 2*k + 144, -2*r + k + 81 = 0. Is r a multiple of 22?
False
Suppose -12*m + 7*m + 300 = 0. Suppose 0 = j - 4*j + m. Is j a multiple of 10?
True
Let r = -64 - 117. Let z = -82 - r. Is z a multiple of 29?
False
Let s be (-3)/(-3)*-1 - 5. Let p(k) = k**3 + 8*k**2 + 9*k + 5. Let w be p(s). Let t = 38 - w. Is t a multiple of 15?
True
Let r = -76 - -98. Let x(w) = 5*w - 23. Is 4 a factor of x(r)?
False
Suppose 0 = -5*u + 5*x + 3200, -4*u + 5*u = -4*x + 615. Does 13 divide u?
False
Let z be ((-20)/25)/((-4)/10). Suppose g + z*n = -0*n - 3, 0 = g - 3*n - 22. Does 7 divide g?
True
Let s = -389 + 1669. Is 10 a factor of s?
True
Suppose 4*k = -5*z + 700, -k = -2*z - 0*k + 280. Suppose -l = -5*l + z. Is l a multiple of 11?
False
Let d(w) = -11 + 27 - 8 - w. Let t = 5 - 14. Is 7 a factor of d(t)?
False
Suppose 2*h = 4*g + 24, g - 1 = -3*h - 0*g. Suppose 0 = 5*m + 3*b - 206, 90 = h*m + 4*b + b. Is 7 a factor of m?
False
Suppose 0 = 45*h - 48*h + 69. Does 14 divide h?
False
Is (-464817)/(-205) - 2/5 a multiple of 12?
False
Suppose 10 = 11*i - 6*i. Is (-2 + i*-14)*-1 a multiple of 5?
True
Let v be 12*(-2)/(-4) + -3. Suppose j + 3*m = 3*j - 291, v*j - m - 426 = 0. Does 47 divide j?
True
Let s(d) = d**2 + 2. Suppose -5*f + 3*a = -20 + 64, -3*f = 2*a + 34. Let l be (-30)/(-12)*(-12)/f. Is 11 a factor of s(l)?
True
Let z = 22 + -25. Let i(t) = -t**3 - 6*t**2 + 5*t + 3. Let h be i(z). Is 17 a factor of (h - -5)*1/(-2)?
True
Suppose -p + 85 = -75. Is 16 a factor of p?
True
Suppose 5*w - 4275 = -4*w. Is 25 a factor of w?
True
Let b(h) = h + 11. Let s be b(-8). Suppose -3*z = -2*k - 18, 3*k = -2*k - s*z - 24. Let d(n) = -n**3 - 5*n**2 - 3*n + 6. Does 22 divide d(k)?
False
Suppose 4 - 24 = -5*f. Suppose -2*a + a + 16 = 4*l, f = a. Suppose -3*r = -l*c - 60, -4*r + 11 + 81 = -c. Is r a multiple of 12?
True
Let l = -325 + 709. Is 32 a factor of l?
True
Suppose -5*h = 4*w - 13480, 4*w - 25 = -45. Is h a multiple of 14?
False
Let l be (-2 + -2)/((-10)/(-15)). Suppose -5*q = -3*r + 33, -4*q - r + 0*r = 23. Is 10 a factor of ((-10)/q)/(l/(-108))?
True
Let f(o) = 11*o - 4. Let l(s) = -23*s + 9. Let v(m) = -5*f(m) - 2*l(m). Is 4 a factor of v(-3)?
False
Let w be (2/(-4))/(3/(-12)). Suppose 3*v + 76 = 3*o - 2*v, 0 = -w*v + 8. Is 11 a factor of -3 + (3 - 1) + o?
False
Let c be 4/14 - 165/(-35). Suppose -5*v - 3 = q + q, c*q = -5*v + 30. Suppose 4*m - 17 = l, -4*m - 3*l + 6*l + q = 0. Is 5 a factor of m?
True
Let k = 100 + -62. Suppose -6*h = -16 - k. Is 2 a factor of h?
False
Let k = 65 + -64. Is 15 a factor of (23*(1 - -2))/k?
False
Let h be 3/7 + 160/35. Suppose 4 = w - 3*v, 15 = 5*w + h*v - 5. Is (0 - (w - 1)) + 9 a multiple of 3?
True
Let f = 296 - 217. Is 2 a factor of f?
False
Let j be 1/(4/(-33))*-4. Suppose 3*n - 87 + 21 = 0. Is 6/j - (-282)/n a multiple of 6?
False
Suppose -130*a + 22680 = -40*a. Is a a multiple of 4?
True
Let s = -19 + -13. Let n = -11 - s. Does 6 divide -6*n/(-12)*2?
False
Suppose m + 2754 = 19*m. Does 14 divide m?
False
Let u = 10 - 7. Suppose -3*o + o = u*w + 2, -2*o - 5*w - 2 = 0. Is 144/(-20)*5*o a multiple of 12?
True
Let m = -24 - -19. Let n = m + 27. Let z = 63 - n. Is z a multiple of 12?
False
Let s = 232 + -130. Suppose -w + 12 = -s. Is w a multiple of 38?
True
Let m(o) = 4 - 12*o + 2*o + 4*o + 9*o. Is m(4) a multiple of 3?
False
Suppose 1216 + 2954 = 10*r. Is 46 a factor of r?
False
Let s be (-3)/(-3 + 405/140). Is 23 a factor of (s - 26)/(0 + (-2)/(-35))?
False
Suppose -277*j + 3408 = -271*j. Is 63 a factor of j?
False
Let j be 6*(1 + 4/8). Let k(a) = -19 - 15*a + j*a - a - a**2 - 13*a. Does 24 divide k(-13)?
True
Let p(g) = -2*g**3 - 11*g**2 + 6*g + 8. Let t(j) = j**3 + j. Let x(l) = p(l) + 3*t(l). Let u be x(10). Does 29 divide -4*u/16*214?
False
Suppose 201 = 24*q - 2247. Is 15 a factor of q?
False
Let s(t) = t**2 + 10*t + 14. Let u(q) = -4*q**2 - 30*q - 43. Let i(h) = 7*s(h) + 2*u(h). Let j be i(10). Let w = 31 - j. Does 7 divide w?
False
Let y = -3 + 8. Let c(h) = 3*h**2 + 15*h - 11. Let m(x) = -x**2 - x + 1. Let g(j) = c(j) + 4*m(j). Does 23 divide g(y)?
True
Suppose 3*p - 210 = -2*p. Suppose p = d + d. Is 17 a factor of d?
False
Suppose -2*g + 12760 = 3*g. Does 29 divide g?
True
Let w = -35 + 39. Suppose l + 2*b - 39 = -2*b, w*l - 108 = -4*b. Is 5 a factor of l?
False
Suppose -u = p - 5*p + 83, -5*u - 373 = p. Let o = u - -107. Is 7 a factor of o?
False
Suppose -7*s + 432 = -4*s. Suppose s = 4*l - 2*j + 4*j, 3*j = 5*l - 180. Is l a multiple of 3?
True
Let w(s) be the second derivative of 23*s**7/1260 + s**5/120 - s**4/3 - 5*s. Let j(i) be the third derivative of w(i). Is 24 a factor of j(1)?
False
Let d(t) be the first derivative of t**4/4 - 5*t**3 - 8*t**2 - 3*t - 5. Let l be d(16). Is 28 a factor of l - (0 + -80 + 1)?
False
Suppose c = 2219 - 620. Is c a multiple of 18?
False
Let k(q) = 68*q**3 + q. Let n = 2 - 3. Let m(r) = r**2 - r - 1. Let d be m(n). Is 23 a factor of k(d)?
True
Suppose -2*q = -124 + 52. Suppose -8 - 4 = 3*k. Does 14 divide -3*k/q*45?
False
Suppose -4*k = v - 2*k - 82, -3*v + 2*k + 270 = 0. Let z = v + -4. Is z a multiple of 42?
True
Let l(t) = -24*t + 24. Let o be l(-22). Suppose -4*x + o = -0*x - b, 0 = 4*x - 4*b - 540. Is 14 a factor of x?
False
Let f(u) = u**2. Let z(c) = c**2 + 3*c + 8. Let s(g) = 2*f(g) - z(g). Let t be s(6). Suppose 3*o - 11 = t. Is o a multiple of 7?
True
S