 - 4. Let l(p) = -p**2 + p - 1. Let f(n) = -b(n) + 4*l(n). Let r be f(-1). Does 6 divide 1 + r + (-1 - -3)?
False
Let t be 12/(2 + -5) - 3. Let b = 20 + t. Is b a multiple of 3?
False
Suppose 0*l + 1974 = 6*l. Is 47 a factor of l?
True
Suppose 5*s - 41 = -1. Let f = 17 - s. Does 9 divide f?
True
Suppose 0 = -3*i, -2*i = -2*w - 7*i + 4. Does 25 divide (w + 75/(-9))*-12?
False
Suppose 2*r = t - 5, 10 = -5*r - 0*r. Suppose o = -5*b + 2*o - 15, 0 = -2*b - o + t. Does 3 divide (-18)/(-2 - b - 2)?
True
Let t(c) = 22*c + 1. Suppose 22 = 3*r - 3*b - 2, -4*r = -b - 17. Does 19 divide t(r)?
False
Suppose -3*a - 732 = -2*p, 55*p - 1424 = 51*p - 4*a. Does 60 divide p?
True
Suppose -67 + 643 = 4*l. Suppose -11*u + 9*u = -l. Does 35 divide u?
False
Let u(h) = 3*h**3 - h. Let i be u(-1). Let l be i/4*-1*-14. Does 7 divide 552/28 - 2/l?
False
Let h = 11 - 6. Suppose 2*d + h*c - 103 = 0, c + 2 = 2*d - 83. Is d a multiple of 15?
False
Let j be (1 + -1)/2*30/(-90). Suppose j = -3*u + 4*q + q + 961, -911 = -3*u - 5*q. Is 39 a factor of u?
True
Let y(c) = 3*c**3 - 2*c**2 + 3*c - 111. Let l(t) = 7*t**3 - 3*t**2 + 7*t - 222. Let o(g) = 2*l(g) - 5*y(g). Is 36 a factor of o(0)?
False
Is 17 a factor of ((-3 - -1) + 3)*356?
False
Suppose 10*s = -980 + 4820. Is 24 a factor of s?
True
Let l(j) = -282*j - 68. Does 7 divide l(-1)?
False
Suppose -72 = -5*y + t, 5*t - 46 = -5*y + 14. Suppose -5*w + y + 36 = 0. Is w a multiple of 5?
True
Suppose -7*q = -2*q. Suppose -2*s = -3*y - 13, -2*s + 2*y + 18 - 6 = q. Suppose 0*p = -p + 5, -s*u + 145 = -3*p. Is u a multiple of 23?
False
Suppose 5*z = 6 - 1. Suppose -3*b = -0*o + 2*o + 26, -5*b + z = o. Let q = -1 - o. Is q a multiple of 6?
True
Suppose -791 = -2*q + 1049. Is q a multiple of 30?
False
Let j(x) = -63*x + 8. Let n be j(6). Let b be (-6)/8 + n/8. Let g = -1 - b. Is g a multiple of 16?
False
Suppose 0 = 313*l - 306*l - 2940. Does 5 divide l?
True
Suppose 2*x + 28 = 4*v, -55 = 2*x - 0*x + 5*v. Let z(t) = -5*t - 8. Is z(x) a multiple of 23?
True
Let k be 113 + (-6 - (-1 + -2)). Suppose -3*s + k = 989. Let c = -167 - s. Is c a multiple of 42?
True
Suppose j - 4*w - 23 = 0, 0 = w - 0*w + 5. Suppose -2*r - 6 = -5*y, -5*r = -2*y - j + 39. Let h = r + 20. Is h a multiple of 7?
False
Let d(m) = -18*m + 22. Suppose 5*g - 20 = 9*g. Is 31 a factor of d(g)?
False
Suppose -2*n = 2*j + 8 - 32, -3*n - 2*j = -37. Does 13 divide n?
True
Let u(q) = -6*q - 1. Let f be u(-1). Suppose d = -0*d - f, -3*d = 3*g - 573. Let l = g - 104. Is 23 a factor of l?
True
Let z be -2 + 379 + 0 + -3 + 0. Let p = z + -221. Is p a multiple of 21?
False
Let k(w) = 9*w**2 + w**2 - 10*w + w**3 - 3*w**2 + 10 + w**2. Is k(-8) a multiple of 17?
False
Let m(a) = -3*a**3 + 13*a**2 - 7*a - 47. Is 26 a factor of m(-8)?
False
Suppose 4*v + 20 = 4*c, -2*v = -0*v + 5*c - 11. Let g be v/(-9) - (-352)/36. Let i = 18 - g. Is 4 a factor of i?
True
Let p = -6 + 5. Let w = -10 - -16. Let v = w - p. Is v even?
False
Suppose -2*h = -0*h + 4. Suppose 0 = 9*a - 3*a - 42. Let x = a + h. Does 4 divide x?
False
Let b = 949 - 138. Is b a multiple of 33?
False
Suppose 4*l + 3*x + 1205 = 0, -86 = 3*l + 4*x + 816. Let i = l + 459. Let m = i - 109. Is 16 a factor of m?
True
Let h = -235 - -323. Does 16 divide h?
False
Suppose 3*r + 75 = 6*r. Let q = 39 + r. Is q a multiple of 16?
True
Let z(v) = 8*v**2 + v**3 + 55 - 24*v - 29 - 20. Is 28 a factor of z(-9)?
False
Let y(r) = 2*r**3 - 11*r**2 + 2*r - 14. Is y(8) a multiple of 7?
True
Suppose 23 = -4*d + 6*d + 5*b, 0 = 3*d - 4*b + 23. Is 29 a factor of d/(-1)*(176 + (-4 - -2))?
True
Let h = -3753 + -10137. Let k be 1/((-3 + 0)/h). Is k/55 - (-4)/(-22) a multiple of 17?
False
Let i(g) = -2*g**3 - 22*g**2 - 3*g - 92. Is 86 a factor of i(-17)?
False
Suppose -12598 - 5546 = -63*s. Is 24 a factor of s?
True
Suppose -101*c + 18*c + 40421 = 0. Does 15 divide c?
False
Let c = -13 + 15. Suppose -c*x - t + 4 = -1, -3*x - 4*t = -20. Suppose 0 = -x*p - 3*p + 4*u + 140, -5*p - u + 264 = 0. Is p a multiple of 14?
False
Let k be 1/2 + (-18)/(-4). Let h(i) = i**2 - 11*i + 49. Let j be h(13). Suppose m - j = -2*t, k*m + 68 + 47 = 4*t. Is 7 a factor of t?
True
Let t(d) = -d**2 + 12*d + 3. Let z be t(9). Suppose -2*c = -4*s + 29 + 91, 0 = s + 2*c - z. Is 5 a factor of s?
True
Suppose -4*o = -0*o. Suppose o = -i - 3, 4*t + 3*i - 92 = -i. Suppose -2*n - t = -y - n, -y + 22 = -2*n. Is 7 a factor of y?
False
Let v(q) = -q**3 - 4*q**2 + 2*q - 12. Let l be v(-5). Suppose -4*o = l*h - 258, 4*h = -4*o - 19 + 279. Is 9 a factor of o?
True
Suppose 155 = -l - 4*l. Let s = 10 - l. Is s a multiple of 19?
False
Suppose 8*v - 6*v = -24. Let m(z) = 2*z**2 + 17*z + 21. Is m(v) a multiple of 21?
True
Does 20 divide 3/((-24)/(-592)) - (-6)/1?
True
Suppose -5*q = 89 + 56. Let s = q - -31. Suppose 11 + 9 = s*t. Is t a multiple of 2?
True
Suppose r - 4*y = 90, 0 = 4*r + 15*y - 17*y - 360. Is 13 a factor of r?
False
Suppose 0 = 5*w + 5*u - 15, -4*u + 0 = 2*w - 6. Suppose 7*n - w*n - 4*z = 64, 3*n + 2*z = 33. Is n a multiple of 6?
False
Let k be (-1*52)/1 + -3*1. Let l = 91 + k. Does 11 divide l?
False
Let g = -37 - -59. Let k(x) = -5*x + 323. Let q be k(42). Suppose -5*r + q = 4*a, a - g - 7 = -r. Does 8 divide a?
True
Let k = -97 - 171. Let j = -61 - k. Is 23 a factor of j?
True
Let u(m) = -m + 6 - 1 - 8. Let i be u(-8). Suppose i*c = 174 - 29. Is c a multiple of 16?
False
Suppose 0 = -46*g + 64335 + 74907. Is g a multiple of 120?
False
Let m = -1637 - -2246. Is 14 a factor of m?
False
Suppose 65 = 4*a + 3*i, 2*a + 8 = 3*a - 2*i. Is (-475)/(-11) - a/77 a multiple of 12?
False
Let x(s) be the first derivative of -2*s**3/3 - s**2 + 153*s - 1. Is x(0) a multiple of 14?
False
Let b = 163 - 99. Does 48 divide b?
False
Suppose b - 7*b + 36 = 0. Suppose b*m = 276 + 396. Is 29 a factor of m?
False
Suppose -5*g - 417 = -4*h, 4*h = -4*g - 18 + 390. Is h a multiple of 10?
False
Let n = -231 + 304. Is 13 a factor of n?
False
Suppose -2*b - 201 = m - 6*m, m = b + 105. Let r = 4 - b. Does 8 divide r?
True
Let l be 1 + (-27)/21 + (-45)/(-35). Suppose 4*m = -5*u + 152, -2*u + 3*u = 3*m - 133. Let r = m - l. Does 14 divide r?
True
Let v = 3729 + -1803. Is 32 a factor of v?
False
Let i(v) = 23*v - 15. Let t be i(8). Suppose -11*b + t = -10*b. Suppose 3*p - 213 = -5*u, -5*u + 4*p = -b - 37. Does 14 divide u?
True
Let b = 455 - 345. Does 5 divide b?
True
Suppose 28*x - 15*x = 21606. Is x a multiple of 7?
False
Let k(q) = -3*q**2 - 75*q - 62. Does 16 divide k(-21)?
False
Let x be ((-12)/18)/((-2)/6). Suppose 2*f - 66 = -2*b, f + x*b - 3*b - 39 = 0. Is 13 a factor of f?
False
Suppose -10*v = 2 + 58. Does 6 divide (38 - 20)*(-2)/v?
True
Suppose -2*n = -n + 2*l + 1, 5*n + 27 = l. Let j be 3/n*25/(-5). Suppose j*f = -4*r + 136, -2*r - f + 60 + 8 = 0. Is 17 a factor of r?
True
Let z = -377 - -817. Is 40 a factor of z?
True
Let n be 3/(186/210 + (-4)/14). Suppose 3*l + 0 = 2*t - 64, 122 = n*t + 2*l. Is t a multiple of 2?
True
Let j(f) = 209*f**2 - 35*f + 104. Is j(3) a multiple of 101?
False
Let p = 223 + -49. Is p a multiple of 29?
True
Suppose -8*o = -7*o. Let s(d) = -d**2 + d + 54. Let b be s(o). Let k = 14 + b. Does 29 divide k?
False
Suppose -16 = h - t - 4*t, -2*h = 2*t - 16. Suppose 0 = -h*y + 3*l + 242, 4*l + 0*l = 8. Suppose 0 = -3*f + y - 8. Is f a multiple of 11?
False
Suppose 6500 = 229*y - 219*y. Does 50 divide y?
True
Let l(r) = 236*r**3 + r**2 + 1. Let n be l(1). Suppose 2*k = 2*x - n, -x + 5*k = -3*x + 224. Is x a multiple of 13?
True
Let b(v) = -v - 23. Let r be b(-11). Let h be 9/(-12) - (-63)/r. Let x(p) = p + 9. Does 2 divide x(h)?
False
Let c(o) = -o**3 + 14*o**2 - 2*o + 32. Let w be c(14). Suppose -u - w*u = 4*b - 374, -58 = -u - 5*b. Does 39 divide u?
True
Is 4/(24/(-10)) - (-383910)/90 a multiple of 82?
True
Let h(f) = f**3 + 8*f**2 - f + 1. Let o be h(-8). Let b = o - 5. Is 27 a factor of (-2)/(-2*b/284)?
False
Let y = 90 - 85. Is 15 a factor of (409 + -4)/y - 3?
False
Suppose 18*q - 14*q - 284 = 0. Is q a multiple of 14?
False
Suppose -437*h - 34800 = -445*h. Is h a multiple of 29?
True
Suppose -9*a = -7*a - 432. Suppose -3*z + 9*z = a. Is z a multiple of 12?
True
Suppose -5132 = -4*g - 2*t, 5*t + 1104 + 1474 = 2*g. Is 7 a factor of g?
False
Suppose -p = -4, -32 = -5*l + 3*p - 6*p. 