divide l?
True
Let s = 281 - 114. Suppose 0 = -2*l + s - 35. Does 6 divide l?
True
Let n(x) = 2*x**3 + 3*x**2 + x - 7. Let k(j) = j**3 + 2*j**2 - 6. Let r(c) = 5*k(c) - 4*n(c). Is r(-2) a multiple of 7?
False
Suppose 5*d = -4*x + 15, 0 = 3*x - x + 4*d. Suppose -4*b - 510 = -x*b. Does 17 divide b?
True
Is 17996/484 - (-2)/(-11) a multiple of 3?
False
Let c(s) = s + 76. Is c(6) a multiple of 5?
False
Suppose -6*l = -4*z + 3*z + 552, -4*l = 0. Is 23 a factor of z?
True
Let d(j) = j**3 - 3*j**2 + 2*j + 20. Is 70 a factor of d(6)?
True
Suppose w = 4*b - 10, 2*b + 10 = 3*b - 4*w. Suppose -r = 4*r + 25, b*n - 16 = -4*r. Does 17 divide n?
False
Let z = 445 - -1536. Does 25 divide z?
False
Let y(u) = 26*u**3 - 7*u**2 - u + 37. Does 5 divide y(4)?
True
Suppose 19 = 4*d - 53. Does 14 divide (2 - 0)/(d/171)?
False
Let p = -30 - -41. Suppose p = 6*b - 1. Suppose 5*d + b*t - 411 = -111, d + t = 60. Is d a multiple of 11?
False
Let y = -122 + 338. Does 9 divide y?
True
Suppose -28 = -4*y - 0*y. Suppose 8*h = y*h + 26. Does 21 divide h?
False
Suppose -84 = -3*q - 3*z, 0 = 11*q - 16*q + z + 152. Is q a multiple of 3?
True
Suppose 0 = 2*w - 3*w - 7. Let t = w + 14. Let r = t - -1. Is r a multiple of 3?
False
Let v(n) = n**3 - n**2 + 15*n - 3. Is 22 a factor of v(7)?
True
Suppose -2*g - 52 = -2*m - 20, 81 = 5*m - 4*g. Let p = m + -12. Let d = 15 - p. Does 5 divide d?
True
Let u(d) be the third derivative of 5*d**4/24 + 2*d**3 + d**2. Let l(z) = z**3 - 17*z**2 + 16*z + 8. Let w be l(16). Is 20 a factor of u(w)?
False
Suppose 3*f = -11*o + 9*o + 1726, 0 = 5*o + 4*f - 4308. Is 7 a factor of o?
False
Let m(b) = -4*b**3 - 4*b**2 - 19*b - 103. Does 35 divide m(-9)?
True
Suppose -22 = -4*x + 2. Let w = x + 274. Is w a multiple of 14?
True
Suppose 5*c - 6370 = -4*d, -44*c = -d - 40*c + 1582. Is d a multiple of 30?
True
Let j be (-2 + (-1 - -2))*3. Let n = j - 1. Is ((-6)/n)/(27/72) even?
True
Let c(z) = 209*z**2 - 53*z - 102. Is 7 a factor of c(-2)?
True
Let l = 16 - 15. Does 2 divide (l - -1*3) + (19 - 21)?
True
Let i(r) = -r + 101. Let p be i(0). Suppose 138 = 3*k - 3*u, u - p - 53 = -3*k. Suppose -5*g - k = -2*c - 3*c, 3*g + 20 = 2*c. Is 5 a factor of c?
True
Suppose v = 2*p + 3*p - 1025, -3*v - 219 = -p. Is p a multiple of 12?
True
Let v(q) = -3*q + 10. Let x be v(10). Let f = -24 - x. Let m(t) = -2*t**3 - 5*t**2 - 4*t + 3. Does 15 divide m(f)?
False
Let u(b) = -2*b**3 - 4*b**2 + b + 35. Let l be u(-5). Let c be (-29)/((-8)/6 - -1). Let y = l - c. Does 31 divide y?
True
Let l(o) = -53*o**2 + 7*o + 10. Let j be l(3). Does 37 divide (6/(-12))/(1/j)?
False
Suppose 224 = 5*k + 4*n - n, 0 = 3*n - 9. Let u be 12/(-7 - -3) + k. Suppose -3*d + 118 = u. Does 10 divide d?
False
Let h be (4 - -6) + (1 - 3). Let w = h - 10. Is ((-114)/(-9))/(w/(-3)) a multiple of 14?
False
Let d = -2 - -4. Suppose 4 = -2*g - 2*l, -5*l + 2*l - d = 5*g. Suppose -3*y + 351 = g*o + 2*o, -400 = -5*o + 4*y. Is 28 a factor of o?
True
Let p = -202 - -1797. Is 11 a factor of p?
True
Let y = 449 - 18. Suppose -3*d = -4*c + y, 5*c + 4*d = 3*d + 553. Does 22 divide c?
True
Let d(p) = 3 - 4 + 4*p**2 - 4*p + 0*p**2 - 3*p**2. Let n be d(-4). Suppose 2*i = 5*f + n, -i = -5*i - f + 95. Is 6 a factor of i?
False
Let x be (-2)/(-2)*1 - 107. Suppose -29*j + 174 - 2030 = 0. Let b = j - x. Is 28 a factor of b?
False
Let v = 89 - -107. Let a = 116 + v. Is 26 a factor of a?
True
Does 53 divide 33/(-6*(-3)/774) - 2?
False
Let v be (7/(-2))/(3/(-18)). Let l = v + -19. Let n(h) = 7*h - 1. Is 6 a factor of n(l)?
False
Does 29 divide (-2)/(-6) + 1096/6 + 5?
False
Suppose -2*j - 3*v + 15 = 2*v, 0 = -5*v + 15. Let f = -10 + j. Does 3 divide (-4)/f - (-192)/20?
False
Suppose t - 5 = 22. Suppose 0 = -a + t - 5. Does 7 divide a?
False
Let s(r) = -2*r**2 + 13. Let h be s(6). Let u = -1 - h. Is u a multiple of 15?
False
Suppose 4*q = -5*a + 1435, -14*q = 5*a - 11*q - 1435. Is 140 a factor of a?
False
Suppose -q + 2*h + 176 = -7, -h = 5*q - 871. Is q a multiple of 44?
False
Let a = 51 + -101. Is 10 a factor of (-660)/a*15/2?
False
Let p = -307 - -427. Is p a multiple of 28?
False
Let z be 5/((-20)/16) - 2. Let n = z - -10. Suppose -2*f + 60 = g, -n*g + 240 = -4*f + 3*f. Is g a multiple of 15?
True
Suppose -54694 = -70*r + 24*r. Does 31 divide r?
False
Let w(l) = l**3 + 8*l**2 + 2*l + 735. Does 23 divide w(0)?
False
Suppose -7*t - 104 = -7062. Is 14 a factor of t?
True
Let u be (-182)/(-6) - (-3)/(-9). Suppose 5*f = 4*g - 24, 3*f - f = 5*g - u. Is 4 a factor of -1 - (-6)/2*g?
False
Suppose -31830 - 13149 = -33*q. Is 15 a factor of q?
False
Suppose 2804 = 5*t + 4*z - 398, -4*z - 1902 = -3*t. Is 29 a factor of t?
True
Suppose 2 - 2 = -3*c. Suppose 2*k = 5*s + 514, c = 4*k - 4*s - 217 - 799. Is k a multiple of 28?
True
Suppose -3*g + 17 = -0*y - y, g + 5*y = -21. Suppose -d - 84 = -g*d. Let n = -18 + d. Does 4 divide n?
False
Let q(s) = 3*s**2 - 5*s - 9. Let v be q(-3). Suppose f - o = 25, -f - o + 27 = -4*o. Let p = v + f. Is p a multiple of 19?
True
Let i(u) = -41*u + 40*u - 9 + 24. Let d be i(15). Suppose d = -f - 0*f + 46. Does 26 divide f?
False
Suppose 15*m - 7106 = 5179. Is 39 a factor of m?
True
Suppose 5*t = -20, 2*a + 3*t + 15 = -a. Is 130 + a + (-15)/5 a multiple of 25?
False
Suppose 0 = 2*x - 4, -4*g - 15 - 5 = -2*x. Let v(t) = 3*t**2 - t + 4. Is 20 a factor of v(g)?
False
Suppose -7*c = 29 - 22. Let v(o) = -126*o**3 - o**2 - o + 1. Does 32 divide v(c)?
False
Let l = 11 - 17. Let w = 8 - l. Is w a multiple of 7?
True
Let t(x) = -x**2 + 7*x + 9. Let a be t(7). Suppose -5*y = -2*y - a. Suppose 9*j - 270 = y*j. Is 11 a factor of j?
False
Is ((-1)/(-4) + 0)*(2486 + 30) a multiple of 17?
True
Suppose -4*v - r = -9*v + 5702, 4*v = -2*r + 4556. Is 10 a factor of v?
True
Suppose 4*v - 6 = -30. Is 10 a factor of (-6)/9 + (-88)/v?
False
Suppose -x - 4 = 3*n, -5*x = -0*n + n - 8. Suppose t + 326 = -5*j, -2*j + 2*t = -x*t + 148. Let a = 166 + j. Is a a multiple of 20?
True
Suppose -79 = 4*p - v - 2154, 5*v = p - 533. Does 14 divide p?
True
Suppose -6*c + 3*w = -3*c - 528, 4*c + 6*w - 704 = 0. Is c a multiple of 22?
True
Suppose 3*o = -1846 - 272. Is o/(-4) + (-11)/(-22) a multiple of 19?
False
Let o = -34 + 51. Suppose 0 = 3*c - 3*w + 24, -4*w - 8 = 2*c - 4. Let d = o + c. Is d a multiple of 3?
False
Let y be -1*2*(0 + -5). Suppose -y*k = 834 - 2284. Does 29 divide k?
True
Let g(p) = -p**3 - 2*p + 1. Let s be g(0). Is ((-3)/s - -7)*11/4 a multiple of 5?
False
Let u = -99 - -111. Suppose -u*v - 56 = -14*v. Is v a multiple of 7?
True
Suppose 1337 + 1813 = 45*w. Is w a multiple of 4?
False
Let h = 580 - 207. Does 41 divide h?
False
Suppose -4*o = -2*u - 3*u + 47, -2*u = -o - 8. Let d be 1/((-8)/(-54)*3/12). Let y = o + d. Does 4 divide y?
False
Let r(t) = 7*t. Let u be r(1). Suppose -34 = -5*l - q, 5*q - u = -2*l + 25. Let a = 45 - l. Does 15 divide a?
False
Let z(u) = -u - 32. Let s be z(15). Let i = 65 + s. Is 9 a factor of i?
True
Is 63 a factor of 1/(2 - (-6678)/(-3342))?
False
Let l(m) = -m**2 + 6*m + 10. Let a(q) = -2*q**2 + 19*q + 31. Let x(i) = 2*a(i) - 7*l(i). Does 3 divide x(5)?
False
Let h = -326 - -620. Does 21 divide h?
True
Let i = 156 + 144. Is i a multiple of 15?
True
Let w(l) = l**2 + 27*l + 7. Let s(g) = -g**2 - 55*g - 15. Let q(r) = 2*s(r) + 5*w(r). Is 14 a factor of q(-11)?
False
Let r be (0 - -4 - 3) + 8. Let d be 10/(-3)*(-12 + r). Is ((-136)/d)/(4/(-10)) a multiple of 12?
False
Let h = -353 + 969. Does 52 divide h?
False
Let d(o) = o**3 - 4*o**2 - 3*o - 5. Let s be d(5). Suppose s*r - 2*c = -0*r + 9, -5*r = -c - 7. Suppose t - r = 11. Does 6 divide t?
True
Let l(x) = 20*x**2 + 5*x + 8. Suppose -5*u = r + 11, 3*u + 2*r = -0*r - 8. Is l(u) a multiple of 6?
True
Suppose 0 = -2*w - w + 6. Let z be (0/1)/w - -6. Let i(j) = j**3 - 5*j**2 + j - 8. Does 9 divide i(z)?
False
Suppose -46*j = -7042 - 29022. Is 49 a factor of j?
True
Let u(o) = 20*o**2 - 5*o + 4. Does 6 divide u(1)?
False
Let w = 35 + -32. Suppose o - 19 = w*q, 5*o - 5*q = -2*q + 131. Is 4 a factor of o?
True
Suppose -18*c - 8905 = -31*c. Does 67 divide c?
False
Let f(u) = u - 20. Let k(p) = -p + 41. Let z(w) = 5*f(w) + 3*k(w). Does 3 divide z(-10)?
True
Let v = -253 - -502. Is v a multiple of 24?
False
Let k(y) be the first derivative of -y**4/4 + 7*y**3