(z) = -z. Let c be t(-5). Suppose c*g + 23 = -12. Let f = 10 + g. Is 2 a factor of f?
False
Suppose 155 + 80 = 5*h. Let o = -33 + h. Let b = 6 + o. Does 18 divide b?
False
Suppose a = -6*h + 2*h + 79, -5*h - 2*a + 95 = 0. Let b = h + -13. Is -1 + b + 0 + 1 a multiple of 4?
True
Let f = 127 + -73. Suppose 5*v = 3*o + 106, -2*v = v + 3*o - f. Suppose 2*m + 2*h - 12 = 6*h, -v = -m - 5*h. Does 10 divide m?
True
Let b(q) = 2*q**2 + 8*q + 6. Let d = 4 - 9. Does 8 divide b(d)?
True
Suppose z - 18 = -6. Does 3 divide z?
True
Let f = -47 - -12. Let c = -15 - f. Is c a multiple of 10?
True
Let p be (0 - -4)*2/(-4). Let h(i) = -3*i + 2. Is 4 a factor of h(p)?
True
Let g = -365 + 518. Suppose -2*r = r - g. Does 17 divide r?
True
Is ((-1)/2)/(17/(-170)) a multiple of 4?
False
Suppose -3*o + 5*o - 4624 = 0. Let g be o/56 - (-2)/(-7). Suppose -7 = -3*w - 22, 0 = -r + 5*w + g. Does 8 divide r?
True
Suppose 10 - 1 = 3*r. Suppose -r*l + 0*l = 0. Is 16 a factor of 85/5 + -1 + l?
True
Suppose 0*y + 16 = 4*y. Let t(a) = a**3 - 4*a**2 - a + 2. Let k be t(y). Is 7 a factor of (-24)/30*45/k?
False
Suppose -3*g + 5 = 11. Let v be 1 + 1 - (g - -6). Is v/(-7) + 33/7 a multiple of 2?
False
Is 1 + (3 + -5 - -25) a multiple of 12?
True
Let t = 7 - -35. Does 15 divide t?
False
Suppose 0 = -5*d - z + 402, -d - d + 4*z = -152. Does 20 divide d?
True
Let s(w) = -14*w**3 - w - 1. Is 14 a factor of s(-1)?
True
Is 11 a factor of 12/30 - (-163)/5?
True
Let o(p) = -2*p**2. Let i be o(0). Does 10 divide (25/1 - i) + 0?
False
Suppose 4*v - 464 = -4*s, 2*s + 4*v = s + 122. Does 11 divide ((-2)/(-3))/(4/s)?
False
Suppose -5*t + 4 = -11. Is 6 a factor of 2*t*2/2?
True
Let x = 7 - 12. Let h = x - -9. Suppose -3*g + 15 = 3*c, -h*g + 2*g = c - 1. Is 9 a factor of c?
True
Suppose -2*f + 7*f - 240 = 0. Suppose f = 5*q - 2*q. Does 12 divide q?
False
Suppose -483 = -3*z - 93. Let i = z + -70. Does 15 divide i?
True
Let n(m) = 5*m - 6. Let p(t) = -3*t + 3. Let y(l) = -3*n(l) - 7*p(l). Is 13 a factor of y(6)?
False
Let s = -6 - -6. Let p(r) = s + 3*r - r**2 + 4*r + 5 - r. Is p(5) a multiple of 5?
True
Suppose 25*w = 13*w + 72. Does 4 divide w?
False
Let y(m) = m**2 - 4*m**2 + m**3 - 6*m - 2*m**2 + 7. Let l be y(6). Suppose -l*h = -3*h - 32. Is 8 a factor of h?
True
Let v = -3 - -9. Let n(x) = x**2 - 5*x + 2. Is n(v) a multiple of 8?
True
Suppose -3*o + 17 = -4*d, 4*o = 6*o + 3*d. Suppose 4 = q + q, -4*q + 110 = o*i. Is 17 a factor of i?
True
Let m(h) = -11*h**2 + 1. Let g be m(1). Suppose 0*d - 4*d + 208 = l, 3*d = -l + 156. Let s = d + g. Does 21 divide s?
True
Let g = -10 - -12. Suppose c - g*c = -47. Is c a multiple of 16?
False
Suppose 2*g = 13 + 59. Does 22 divide g + 3/(1 - -2)?
False
Let r = -119 - -166. Is r a multiple of 10?
False
Let d = -15 + 29. Is d a multiple of 14?
True
Suppose -5*k + 4*b = -3*k - 48, 3*k - 54 = -3*b. Is 4 a factor of k?
True
Let x = -2 + -5. Let c be (0 - -92) + (x - -8). Does 9 divide (-1)/4 - c/(-4)?
False
Let o = 1 + 21. Does 7 divide o?
False
Let s = -49 + 112. Does 21 divide s?
True
Let r = -15 - -26. Is 2 a factor of r?
False
Let w(l) = -l + 12. Does 6 divide w(0)?
True
Is (117/(-6) + 1)/(11/(-66)) a multiple of 42?
False
Is 18 a factor of (1/(-1))/(7/(-252))?
True
Let r be (-1150)/15 - 3/9. Let y = -31 - r. Is y a multiple of 17?
False
Is 6 a factor of -4 - (-4 - (82 - -4) - -2)?
True
Suppose -o = -0*o - 6. Let d(r) = -r**3 + 8*r**2 + r - 4. Is d(o) a multiple of 20?
False
Let j be ((-63)/(-14))/((-2)/88). Let c = j - -44. Is c/(-8) + (-3)/(-4) a multiple of 12?
False
Suppose v - 3 = -0*v. Suppose -2*k = 2*g - 8, 2*k + v*g + 3 = 13. Suppose -k*c + 0 = -16. Is c a multiple of 6?
False
Suppose 3*b + 545 = 5*n - 2*b, 2*n = -4*b + 230. Is n a multiple of 25?
False
Suppose 38 - 3 = 5*g. Let q = g - 0. Is 6 a factor of q?
False
Let s = 11 - -11. Does 11 divide s?
True
Suppose -2*l + 25 = 3*l. Is 5 a factor of l?
True
Let d(q) = q**3 - 7*q**2 - 9*q + 8. Let p be d(8). Suppose 3*w + 2*w - 20 = p. Suppose -2*s + w*s - 26 = 0. Is 13 a factor of s?
True
Let w be (24/(-14))/((-2)/49). Suppose -3*z = -5*h + w, z = 4*h - 9*h + 26. Suppose 30 = 3*g - h. Is 11 a factor of g?
False
Suppose 114 = y + 3. Is y a multiple of 9?
False
Suppose 80*m - 82*m = -170. Does 17 divide m?
True
Suppose 4*y = -0*y + 232. Does 14 divide y?
False
Let x(s) = -s**3 - 10*s**2 - 4*s - 10. Suppose -2*d + 3*d = 0. Let r be (-11 - -1) + (d - 0). Is x(r) a multiple of 15?
True
Suppose -x = 3*x - 260. Is 7 a factor of x?
False
Suppose 3*l = 4*q - 13, -5*l - 10 = -5*q + 5. Suppose 3*w = n + n - 418, 4*n - 856 = -q*w. Is 2/5 - n/(-20) a multiple of 9?
False
Let x = 53 + -77. Let r = -12 - x. Is r a multiple of 6?
True
Suppose 3*a = -12, 2*c - a - 4*a - 26 = 0. Is 3 a factor of c?
True
Let g be (4 + -4)*(-1)/(-1). Suppose g*o = 5*o. Suppose -4*d + 4*c = o, 2*d - 2*c = -3*c + 9. Is 2 a factor of d?
False
Let q(p) = -8*p**2 + 6*p - 6. Let r(m) = -23*m**2 + 17*m - 17. Let w(b) = -17*q(b) + 6*r(b). Let c be w(1). Is ((-3)/c)/(9/96) a multiple of 7?
False
Suppose -3*q - 3*d + 4 = -5*d, 5*d = 5. Let n(k) = 6*k - 3 + q*k + 0 - 6*k. Does 3 divide n(6)?
True
Let y(w) = w**2 + 9*w + 3. Let k = 17 - 26. Does 2 divide y(k)?
False
Let f(v) = 6*v**2 - 14*v + 8*v - 5*v + v**3 + 4. Is f(-7) a multiple of 8?
True
Let i = 70 + 2. Does 12 divide i?
True
Let x(a) = 3 - 3*a + 6*a + a**3 + 2*a + 6*a**2. Let r be x(-5). Suppose -4*w - r*p = -0*p - 81, w - 6 = 4*p. Is w a multiple of 15?
False
Suppose 4*w - 5*p = 25, 5*w = -5*p + 3*p + 23. Suppose u - 28 = -4*d, -5*d - 11 = -3*u + w. Is 12 a factor of u?
True
Suppose k + 7*k - 944 = 0. Does 20 divide k?
False
Let f = 14 - 8. Let c(u) = u**3 - 6*u**2 + 3*u. Let p be c(f). Suppose -k - 2*o = -p, 2*k - 69 = -k - o. Is k a multiple of 14?
False
Suppose 2*t - 54 = 3*i, -3*t + i - 6 = -94. Does 8 divide t?
False
Suppose 4*w + 3*v + 54 = 269, 175 = 3*w + 5*v. Is w a multiple of 10?
True
Suppose q = 2*q + 4*f - 154, 3*q - 449 = f. Suppose -5*c - 3*z = -222, -5*c + z + q + 56 = 0. Is c a multiple of 21?
True
Suppose 2 = 5*y - 8. Suppose -3*p = -y*m + 17 - 115, -70 = -3*p - 5*m. Is p a multiple of 11?
False
Let g = 5 + 8. Suppose 5*q = q + 188. Let l = q - g. Does 15 divide l?
False
Suppose -2*v - v = -6. Suppose -14 - 1 = -5*y, 0 = -2*i - v*y + 16. Does 5 divide i?
True
Suppose 2*a = -3*r + 28, -4*r + 2 = 5*a - 61. Is a even?
False
Suppose 0 = q - 5*q + 636. Let t = q + -75. Suppose -5*o + t = -46. Is 13 a factor of o?
True
Suppose 4*r - 6*r - 72 = 2*a, r + 156 = -4*a. Is 20 a factor of (-1584)/a - (-2)/5?
True
Suppose -21 = y + 5*s, 7*y = 3*y + 2*s + 4. Is 1/3*(8 - y) a multiple of 3?
True
Suppose -2 - 28 = -3*i. Suppose -w + i = -14. Is 8 a factor of w?
True
Let o = 3 + 0. Suppose -46 = -5*k + 94. Suppose k = o*x - 23. Is x a multiple of 8?
False
Let w = -9 + 8. Is 9 a factor of 4 + w - (-5 + -1)?
True
Let t be ((-2)/(-6))/(2/12). Suppose -x + 0*x - 2*g = -44, g + 93 = t*x. Is 23 a factor of x?
True
Let k = 18 - -12. Is 15 a factor of k?
True
Does 5 divide (-2)/(-10) - (-44)/5?
False
Let l(r) = -2*r**2 - 4*r + 1. Let m be l(-4). Let u = m + 27. Is 9 a factor of u?
False
Suppose -4*n = -2*o - 0*o - 14, -4*n = -3*o - 15. Is 13 a factor of (-14 - -1)/(-2 - o)?
True
Let m = 1 + -3. Suppose 5*q + 2*j - 2 = -2*j, q + 3*j = -4. Is 15/(6/q) - m a multiple of 5?
False
Does 8 divide (-16)/(-5)*(-80)/(-32)?
True
Suppose 241 = 3*m - 3*p + 7*p, 4*m - 5*p - 280 = 0. Is m a multiple of 25?
True
Let o be (-1 - 1)*(-6)/(-4). Does 5 divide ((-10)/o)/((-4)/(-18))?
True
Suppose 0 = l + 13 - 92. Let j = -53 + l. Is 13 a factor of j?
True
Suppose 5 = -v + 35. Is 10 a factor of v?
True
Let n(v) be the third derivative of -v**6/120 + v**5/15 + 5*v**4/24 - v**3 + 2*v**2. Is n(4) a multiple of 10?
False
Is 4 a factor of 2 + 1 + -7 - -36?
True
Does 28 divide 3614/65 + (-2)/(-5)?
True
Suppose -2*o - o = 0. Let l(k) be the third derivative of -k**5/60 - k**4/24 + 4*k**3 - 2*k**2. Does 9 divide l(o)?
False
Let m(f) = 3*f**2 + 4*f + 7. Does 23 divide m(-4)?
False
Let y = -4 - -8. Suppose -y*t = 4*s - 80, -3*t + 3 = 9. Is 22 a factor of s?
True
Let a = -8 - -13. Suppose 2 = -u + 3. Suppose -o + a - u = 0. Is 3 a factor of o?
False
Let m be (-3 + 2)/(-2)*4. Suppose -38 + m = -2*o. Is o a multiple of 7?
False
S