**2/2 + 6. Is 10 a factor of s(-4)?
False
Suppose -1787 = -4*y - 467. Is 33 a factor of y?
True
Suppose -4*o + 7 - 3 = 0. Let p(i) = -o + 44*i + 2 - 2. Is p(1) a multiple of 12?
False
Let l(w) = 2*w**2 + 8*w + 4. Is 7 a factor of l(-5)?
True
Suppose 0 = -3*n - 9 - 9. Let l = 12 + n. Is l a multiple of 3?
True
Suppose -16 = -4*p - 4*l, -5*l = 4*p - 20 + 1. Let q = p + 3. Is 2 a factor of q?
True
Suppose 1 = -o + 58. Is o a multiple of 19?
True
Let s(f) = f**3 + 4*f**2 + f - 2. Let b be s(-4). Suppose 0 = -2*t + 34 - 2. Let j = t + b. Does 6 divide j?
False
Let t(g) = g**3 + 7*g**2 - 4*g - 8. Does 11 divide t(-4)?
False
Let t(m) be the first derivative of m**4/4 + m**3 - m**2/2 - m + 1. Let z be t(-2). Suppose 4*f + z*v - 113 = 0, -5*f + 4*v + 175 = -v. Is f a multiple of 16?
True
Let y(b) = -16*b + 4. Let s be y(-4). Let w = s + -48. Is w a multiple of 20?
True
Suppose -3*r = 4*d - 11, -2*r + 4*d = -22 + 8. Suppose r*s - 44 = 3*s. Is s a multiple of 14?
False
Suppose 4*u + 16 = k, 2*k = -0*k + 3*u + 22. Let t = k - 6. Suppose -t*a + 40 = -0*a. Is a a multiple of 10?
True
Suppose -2*l - 3*l = 15. Let m(v) = -v**3 + v**2 + 5*v + 4. Is m(l) a multiple of 9?
False
Let a = -148 - -280. Suppose -2*r - r + a = 0. Is 11 a factor of r?
True
Let t = -30 + 16. Does 13 divide (-8)/(-28) + (-444)/t?
False
Let l be 12/(-8)*(-4)/1. Suppose -2*m = -l*m + 192. Is 17 a factor of m?
False
Let i(r) = -2*r + 6. Is 2 a factor of i(-3)?
True
Suppose -5*x = -6*x + 4. Suppose -7 = x*j - 67. Is j a multiple of 15?
True
Suppose -11*i + 13*i - 240 = 0. Does 8 divide i?
True
Let t = 254 + -146. Is 12 a factor of t?
True
Suppose -3*f + 4*f - 3 = 0. Is (27/6)/(f/18) a multiple of 14?
False
Let j = 48 - -16. Is j a multiple of 14?
False
Let m(b) be the first derivative of b**3/3 + 7*b**2/2 + 7*b - 4. Is 7 a factor of m(-7)?
True
Let x(m) = 3*m**2 - m + 4. Let a be (-20)/(-70)*(-14)/(-1). Is x(a) a multiple of 12?
True
Let p(m) = -m**3 - 7*m**2 - 11*m - 2. Let q(z) = 1. Let y(l) = p(l) - 6*q(l). Is y(-7) a multiple of 19?
False
Let h = 42 - 25. Is 2 a factor of h?
False
Let t(o) = -5*o. Let l be 3 + (2 - 33/3). Is t(l) a multiple of 15?
True
Suppose 3*z - 3 = -3*n, -z - 2*n + 4 = 2*n. Suppose -5*u + 127 + 153 = z. Is 8 a factor of ((-54)/(-21))/(6/u)?
True
Suppose 2 = -v, 5*u + 77 = 4*v + 230. Suppose 4*g - u = 27. Suppose 3*i = -g + 65. Does 7 divide i?
False
Let p(y) = -7*y + 4. Let o(q) = -5*q**2 - 2*q + 1. Let r be o(1). Let j be p(r). Let g = j - 28. Does 9 divide g?
True
Let w be 1 - 3 - 240/8. Let v = w + 68. Is 18 a factor of v?
True
Suppose 145 = 2*a - 5*z, -2*a = 2*z - z - 175. Does 23 divide a?
False
Suppose -20 = 5*n - 5*w + w, -25 = 5*n - 3*w. Let x = 51 + n. Is x a multiple of 15?
False
Let v = -24 - -42. Is 11 a factor of v?
False
Does 7 divide 36/9 - (-52)/2?
False
Let v(r) = -r**3 - 5*r**2 + 7*r - 1. Does 11 divide v(-7)?
False
Let n = -1 + 3. Suppose -i + 5*d = -2 + 32, -i = -n*d + 21. Let m = i + 21. Is 2 a factor of m?
True
Let l(u) = 5*u + 75. Let w(f) = -f - 15. Let b(y) = -2*l(y) - 11*w(y). Let t be b(0). Let q = 21 - t. Is 3 a factor of q?
True
Let s = 9 - -31. Does 25 divide s?
False
Let q(j) = j**2 + 4*j. Let g be q(3). Suppose 9 = -4*b + g. Is 3 a factor of b?
True
Let h(q) = 4*q**3 - 10*q**2 - 4*q + 1. Let w(g) = -g**3 + g. Let z(x) = h(x) + 5*w(x). Let v be z(-10). Let m = v - -20. Is 8 a factor of m?
False
Let t = 475 + -266. Let y = 107 - t. Let w = y - -153. Is w a multiple of 16?
False
Suppose -5 - 31 = -a. Is 7 a factor of (-8)/a - (-202)/18?
False
Suppose -4*z + 880 = -4*v, -3*z + 628 = v + 4*v. Suppose z = 3*s + s. Does 14 divide s?
False
Suppose -l + 9 = -7. Suppose 0 = -2*n + 8 + l. Is 7 a factor of n?
False
Let f be (-4 - -4)*(-2)/(-6). Suppose f = -n + 2*n - 5. Does 5 divide n?
True
Let p = 7 - 3. Does 4 divide p?
True
Let m(z) = -5*z + 43. Let q be m(8). Suppose 2*p - 1 = 3. Suppose -q*h + 0*d - 3*d = -102, p*h = 4*d + 50. Does 24 divide h?
False
Suppose -d + 10 = d. Suppose 2*w - 75 = -4*u + w, -75 = -d*u + 5*w. Does 12 divide u?
False
Let i be (-4)/((2/(-4))/1). Let x = i - -13. Does 11 divide x?
False
Is 3 a factor of (-2 - (-3 - -5))*(-36)/8?
True
Let u be (-2)/(-9) + 4/(-18). Suppose u*a = -2*a + 52. Is 26 a factor of a?
True
Suppose -5*t + 3*p = p - 16, 5*t - 5*p - 25 = 0. Suppose 0 = t*s - 4*v - 40, 0*s + 4*v + 10 = s. Suppose s - 6 = d. Is 18 a factor of d?
False
Let h = -19 + 66. Is h a multiple of 15?
False
Let i = 9 + -8. Is 5 a factor of (-26)/(-4)*(3 - i)?
False
Suppose 3*x - 502 = -2*b, -4*x - 40 = -4*b - 676. Is 49 a factor of x?
False
Suppose 13 - 4 = 3*v, 4*h = -5*v + 115. Suppose -15 = -2*r + h. Does 20 divide r?
True
Let y(l) = -l**3 + 7*l**2 - 8. Let z be y(7). Let c(t) = -t**2 - 10*t - 11. Let n be c(z). Let r = 11 - n. Does 6 divide r?
True
Let x(l) = -l. Let u(o) = o**2 - 7*o - 4. Let s be u(7). Let g be x(s). Suppose -g*n - n + 25 = 0. Does 3 divide n?
False
Let z(d) = 6*d - 3. Let c(a) = a - 8. Let v be c(11). Does 11 divide z(v)?
False
Let g = 143 - 98. Is 9 a factor of g?
True
Let f = 0 + 4. Suppose 6*g = 2*g + f. Let b = g - -1. Does 2 divide b?
True
Let m be 201/9 + 4/6. Suppose 5*w - 19 = n, -w + 4*n + n = -m. Is 10 a factor of 7*-3*(-2)/w?
False
Let u(t) be the third derivative of t**6/120 + t**5/15 + t**4/12 + 2*t**3/3 - 3*t**2. Does 7 divide u(-3)?
True
Let o(t) = -t**3 + 4*t - 3. Let l be o(2). Let v be (-1)/(1/(-3)*l). Let i(a) = 5*a**2 - a. Does 3 divide i(v)?
True
Let b(v) = -25*v**3 - 3*v**2 + 2. Is b(-1) a multiple of 12?
True
Suppose -10*g + 15*g - 65 = 0. Is g a multiple of 13?
True
Let p = -52 + -5. Let o(f) = -17*f + 5. Let n be o(-6). Let x = p + n. Is 21 a factor of x?
False
Let z = 30 - 3. Is z a multiple of 12?
False
Let r(m) = -8*m + 6. Let s be r(-9). Let a = -34 + s. Does 11 divide a?
True
Let b(v) = -3*v + 1. Suppose -2*q = -q - 5. Let s = q - 10. Is 8 a factor of b(s)?
True
Let u(a) = 3*a**2 + a + 7. Does 32 divide u(6)?
False
Let n(x) = 26*x - 1. Is n(2) a multiple of 22?
False
Suppose 2*b + 3 = 3*g - b, -4*g = -b - 7. Is 2 a factor of g?
True
Let l = -119 - -240. Is l a multiple of 11?
True
Suppose -3*j = j. Suppose -2*r = -j*r - 38. Does 11 divide r?
False
Suppose 0*p + 4*p = 96. Is 10 a factor of p?
False
Suppose -2*o = -3*o + 2*h + 102, -5*h = -3*o + 309. Does 18 divide o?
True
Let v = 246 + -172. Let m = v + 22. Is m a multiple of 28?
False
Does 19 divide 57/(-4)*16/(-6)?
True
Let v = 6 - -16. Suppose -v = 4*c - 62. Is c a multiple of 6?
False
Let n = -81 + 114. Does 24 divide n?
False
Let v(u) = -u + 2. Let q be v(2). Suppose q = x + 2*x - 72. Is 12 a factor of x?
True
Suppose -10*v + 73 = -27. Is v even?
True
Let w = 28 + -13. Does 12 divide w?
False
Let l(v) = -2*v + 13. Let d be l(9). Let c = d + 9. Is 4 a factor of c?
True
Let f = 5 - -2. Suppose 2*k = 3*q - f - 0, 3*k - 12 = -3*q. Does 2 divide q?
False
Let y(u) = 2*u**2 + u - 4. Let k = 13 - 21. Let m = 5 + k. Is y(m) a multiple of 11?
True
Suppose 2*o - 2*h + 4 = -h, 3*o - h = -6. Let j be (-810)/(-24) + o/(-8). Suppose 0 = m + m - j. Is m a multiple of 17?
True
Suppose 3*j + 12 = 0, 5*t + j - 166 = 5*j. Is t a multiple of 16?
False
Let f = -11 - -17. Is f a multiple of 6?
True
Let s be 0/(-4) + -1 + 3. Suppose -s*a = 3*a - 30. Is 19 a factor of (45/a)/5*26?
False
Suppose 0*o - 4*o + 5*h + 232 = 0, o - 75 = -3*h. Is o a multiple of 14?
False
Suppose -2*w + 0*w + 62 = 0. Suppose -w = -5*z + 4*i, 0 = 3*z - z + 2*i + 2. Does 2 divide z?
False
Suppose 4*k + 6 = 6*k - h, -5*k = 3*h - 26. Suppose 4*t = k*o + 36, -3*o + 0*o = -5*t + 33. Let w(r) = r**2 + 5*r + 7. Is 12 a factor of w(o)?
False
Suppose -5*p - 88 = 167. Let h = 83 + p. Does 16 divide h?
True
Suppose 2 - 3 = -r. Suppose 0 = -4*q + 65 - r. Is q a multiple of 11?
False
Suppose 3*z + 2 - 8 = 0. Suppose -3*c - 77 = -5*b, 0 = -z*b - 2*b + 5*c + 59. Is 8 a factor of b?
True
Let k(h) = -4*h - 6*h + 3*h + 1. Is k(-1) a multiple of 4?
True
Let n(c) = -c**3. Let x(i) = -4*i**3 + i**2 + 4. Let j(t) = 3*n(t) - x(t). Let y be j(0). Let s(d) = d**2 - 2*d + 2. Does 13 divide s(y)?
True
Let m(s) = -12*s - 2. Does 16 divide m(-2)?
False
Let z(b) = b + 3. Let i be z(-3). Suppose -4 = -2*t - i. Is 2 a factor of t?
True
Suppose -5*i + 2*c + c + 237 = 0, 5*i - 213 = -3*c. Is 25 a f