alse
Let i be -2 + 4/(12/21). Suppose -142 = -i*x + 3*g, 3*g + 9 = -3. Is x a multiple of 8?
False
Let a be -1*(-2 - -1)*-17. Suppose -n = -5*c + 54, -n + 4*n + 3*c + 108 = 0. Let s = a - n. Does 11 divide s?
True
Suppose 0 = -2*b + 3*p, -3*p - 7 = b - 8*p. Suppose b*x = -x + 72. Is 18 a factor of x?
True
Let i(u) = 2*u**2 + 3*u - 8. Is i(-6) a multiple of 16?
False
Let y(m) = -m**2 + 10*m + 15. Let t be y(11). Suppose -3*n + 18 - 98 = 5*u, -64 = t*u + 3*n. Let g = 0 - u. Is 9 a factor of g?
False
Let z be (4/2)/2 - -3. Suppose -o + 0*o = 4*a, 0 = -4*a - z. Is 2 a factor of o?
True
Let v(r) = r**2 - 2*r - 8. Suppose -5*j = -l - 9 - 0, -3*l = 3*j - 9. Suppose -3*z = 4*k - j, -2*z + 8*k - 4*k = -28. Does 16 divide v(z)?
True
Suppose 98 = 2*y - 4*i - 0*i, 2*y - 86 = -2*i. Let j be (y/9)/((-2)/(-4)). Suppose 3*a = 3*w - 21, -4*a - 28 - j = -5*w. Is w a multiple of 8?
False
Let n = 4 - 3. Suppose u + 137 = 2*i - n, 4*u = -5*i + 358. Is 24 a factor of i?
False
Is (-3 - -1)*(-568)/16 a multiple of 34?
False
Let m be 96/42 + 4/(-14). Suppose -p = m*s - 55, 0*s + 2*s - 2*p - 40 = 0. Is 14 a factor of s?
False
Let i = -319 - -557. Suppose -2*a + r = -120, -3*a + 7*a - r - i = 0. Is a a multiple of 17?
False
Let m = -2 - -5. Suppose -p - 7 = -m. Does 16 divide (p - -2)*16/(-2)?
True
Suppose 5*w + 3*g + 16 = 0, 4*g + 10 = -g. Is 21 a factor of 172/8 - (-1)/w?
True
Does 26 divide (-592)/(-10) + 1/(-5)?
False
Is 18 a factor of -1*2 + 37 + 181?
True
Let l(n) = -n + 2. Is 2 a factor of l(-18)?
True
Let s(b) = 28*b - 6*b**2 - 25*b - 2*b**3 + 3*b**2 - 2. Is s(-3) a multiple of 16?
True
Suppose -2*g - 3 = -3*g. Suppose 3*i = -g + 36. Is i a multiple of 11?
True
Suppose 12 = -6*h + 2*h - 4*r, -5*h + 2*r = 36. Let m(p) = p**2 + 3*p + 3. Is m(h) a multiple of 7?
True
Suppose 2*u - u = -2. Does 18 divide (u + 4 + 116)/2?
False
Let z be 8/(-4) - -2 - -2. Suppose 3*c = -4*v + 81, z*c - 49 = -v + 7*c. Does 13 divide v?
False
Let b be ((-4)/3)/(2/(-3)). Let a(q) = -2 + 0*q - b*q + 0*q + 4*q**2 + q**3. Does 10 divide a(-2)?
True
Let j(c) = -c**3 + 3*c**2 + c + 2. Let y be j(3). Suppose 0 = -5*s + h + 235, -3*s + 121 + 48 = y*h. Is s a multiple of 12?
True
Let f(u) = 6*u**2 - 1. Let s = -1 - -3. Let d be 12/16 - s/(-8). Is f(d) a multiple of 3?
False
Suppose 36 = 3*f + 4*t, 5*f - 49 = -0*t - 3*t. Suppose k + 1 = f. Is k a multiple of 3?
False
Let k(c) = c**2 + 2*c - 5. Let w(q) = -q - 6. Let x be w(-9). Suppose x*m - 9 = 3*f, m + 31 = -5*f - 8. Is k(f) a multiple of 15?
True
Suppose 3*q - 39 + 12 = 0. Let i = 27 + q. Is 18 a factor of i?
True
Suppose -f - k + 3*k + 61 = 0, k + 341 = 5*f. Suppose -3*o = -126 - f. Is o a multiple of 19?
False
Let y(f) = -4*f - 6. Let v be y(5). Let m = v - -44. Does 4 divide m?
False
Let v(w) = -3*w + 28. Let y(l) = -l + 9. Let q(b) = 6*v(b) - 17*y(b). Let u be q(0). Does 2 divide 35/u - (-2)/(-6)?
True
Let a(d) = 5*d + 8 + 4*d**2 - 3 + d + 1. Is a(-4) a multiple of 23?
True
Is 14 a factor of (18 - 8)*(15 - 1)?
True
Let h be ((-24)/18)/((-4)/6). Let a(n) = 0*n**2 - h*n - n**2 - 7*n + 3. Is 4 a factor of a(-8)?
False
Suppose -43 = -4*z - 3. Suppose -5*m - 22 = 2*u, 5*m + 0 = -4*u - 24. Let i = z - u. Is i a multiple of 9?
False
Let t(h) = h**3 + 6*h**2 + 2*h + 14. Let g be t(-6). Suppose g*f = -2*f + 32. Is 8 a factor of f?
True
Let k = 54 + 79. Is 26 a factor of k?
False
Let c(h) = 6*h**2 + h + 1. Is c(-1) a multiple of 4?
False
Suppose -2*n - 152 = -4*f + 2*n, 5*n + 70 = 2*f. Is 20 a factor of f?
True
Let o(j) = -2*j**3 - 3*j**2 + 2. Is 21 a factor of o(-4)?
False
Suppose 4*l = 4*r - 0*r + 4, 0 = -2*r - 2. Let i(y) = l*y + 5*y - 3*y. Is 4 a factor of i(2)?
True
Suppose 2*c + c = 54. Let i(z) = -3*z - 2*z**2 + 0*z + 4*z - c*z**3 + 4*z**2. Is 16 a factor of i(-1)?
False
Let q(h) = h**2 + 7*h + 9. Let m be q(-6). Let v be (-24)/(-10) - (-10)/(-25). Suppose 4*n - m*n + 80 = 3*y, v*y = 5*n + 62. Is y a multiple of 13?
True
Suppose 4*h + 4*t + 4 = 0, 4*h - 5*h - 3*t = 3. Suppose h = -4*g + v + 108, -2*g + 45 = 3*v + 5. Is 10 a factor of g?
False
Let b(s) = -s**3 - 3*s**2 + 7*s - 1. Suppose d + 4*d - 25 = 0. Suppose d + 10 = -3*g. Is 4 a factor of b(g)?
False
Let r(b) = -b**2 - 5*b - 1. Let a be r(-4). Suppose 5*j - 5*x = 0, a*j - 5*x - 18 = -8. Let p = j - -31. Is 11 a factor of p?
False
Let h = 4 - 3. Let d be (-2 + h)*-1 + 9. Suppose 0*v + 2*v - d = 2*n, 0 = -4*n + 8. Is v a multiple of 7?
True
Let t be 2/8 - 14/(-8). Suppose 0 = -t*p - 0*p + 48. Suppose -3*j - p = -2*x, -x + 6*x = -j + 26. Is 5 a factor of x?
False
Suppose 0 = -5*z - j + 410, -2*z - 5*j = -z - 58. Let y = z + -47. Is 9 a factor of y?
True
Suppose 2*a - 12 = -0*a. Let k(m) = -4*m + 5*m + a*m. Is 14 a factor of k(4)?
True
Let s = 296 + -81. Is 13 a factor of s?
False
Suppose -5*c - 2*l + 2 = -1, 4*c - 3*l = -16. Let a = c - 1. Is 7 a factor of 1/a + 29/2?
True
Let l be 5*2/2*-1. Let x(n) = n**3 + 6*n**2 + 3*n + 4. Does 5 divide x(l)?
False
Suppose 0 = -b + 3*d - 24 + 6, 2*b = 4*d - 30. Let y = b - -35. Let a = y + -12. Is 6 a factor of a?
False
Suppose 5*v + 3*h - 384 = 0, 3*v + 23 = -2*h + 253. Suppose 0 = 5*s - v - 42. Is 15 a factor of s?
False
Let z = 11 - -35. Does 19 divide z?
False
Suppose 3 = -o - 0. Let f = 6 + o. Suppose 5*k = f*k + 16. Is k a multiple of 8?
True
Let l = 121 + -67. Suppose l = 2*p + 6. Does 17 divide p?
False
Let t(l) be the third derivative of -l**4/24 + 7*l**3/6 + l**2. Let w = -7 - 2. Is t(w) a multiple of 12?
False
Let d(x) = -x**3 - 5*x**2 + 5*x - 8. Let v be d(-6). Is (-106)/(-4) - 1/v a multiple of 7?
False
Suppose 4*n + 2*m - 90 = 0, -37 = -3*n + m + 28. Is 5 a factor of n?
False
Does 17 divide (11*1)/((-5)/(-20))?
False
Suppose 2*v - 82 = 138. Does 11 divide v?
True
Let h(x) be the first derivative of x**6/360 - x**5/20 + x**4/3 + x**3/3 - 2. Let g(i) be the third derivative of h(i). Does 15 divide g(7)?
True
Let f = 6 + -3. Suppose f*x + 8 = -10. Does 8 divide (-276)/(-18) - (-2)/x?
False
Let b(o) = o**3 + 5*o**2 + 4*o + 2. Let h be b(-7). Let x = h + 49. Does 5 divide x/10*4/(-6)?
True
Suppose 0 = -4*n - 4*m + 256, -4*n - 2*m + 228 = -5*m. Is n a multiple of 20?
True
Let g = 12 - 14. Does 14 divide 158*4*g/(-16)?
False
Suppose 5*f - 8*n + 4*n = 624, -618 = -5*f - 2*n. Suppose 2*s = -0*s + f. Does 16 divide s?
False
Let t(o) = 2*o**2 - 5*o - 1. Suppose 3*g - 17 = 4*f, -4*f = -4 + 12. Suppose 2*q - 6 = -2*d, -4*q + 10 = g*d - 3. Does 10 divide t(q)?
False
Suppose -4*d = -94 - 66. Is d a multiple of 8?
True
Let q be (-80)/(-6)*(-18)/(-4). Suppose -3*x - 6 + q = 0. Is x a multiple of 18?
True
Suppose -u - b = -17, 3*u + 5*b = 4*b + 49. Suppose u = 2*v + 2*v. Suppose f + 1 = v. Is f a multiple of 2?
False
Let z(v) = v**3 + 9*v**2 + 6*v + 1. Does 15 divide z(-4)?
False
Suppose 5*u - 2*m - 485 = 0, 2*u - 88 - 92 = -2*m. Is u a multiple of 16?
False
Suppose -a + 6*a + 2*u - 53 = 0, -5*a - u + 54 = 0. Is a a multiple of 11?
True
Let c(y) = -4*y - 8. Let a(w) = -w**2 - 20*w - 25. Let l be a(-19). Is 3 a factor of c(l)?
False
Suppose -321 = -k + 3*f, 1566 = 5*k - f - f. Does 26 divide k?
True
Suppose 0*v = 5*v - 60. Let q = -5 + v. Suppose 0 = 4*o - q*o + 48. Does 16 divide o?
True
Suppose 4*r - 12*r + 136 = 0. Does 5 divide r?
False
Let q be 6/(6/((-9)/(-3))). Suppose -75 = -5*x - g + 46, -3*g = -q*x + 69. Is x a multiple of 12?
True
Let i(j) = 9*j + 5. Let k be i(4). Let q = -25 + k. Suppose -w - s + q = 0, -4*w + 68 = w + s. Is 13 a factor of w?
True
Suppose 41 = y - 37. Is 26 a factor of y?
True
Suppose 2*x + 1 = -11. Let s = x - -8. Suppose 0 = -s*z + 26 - 0. Is 6 a factor of z?
False
Let p = -2 + 7. Suppose 0 = -i + p*i - 176. Does 12 divide i?
False
Let l be (-5 + 4)*4/2. Is 16 a factor of 13*(l - -11)/3?
False
Suppose -3*p = 4*g + 2 - 8, -g - 1 = 2*p. Let k = 4 + p. Suppose 0*m - 28 = -k*m. Is 4 a factor of m?
False
Let m be (-14)/4*(-18)/3. Let d = m - 14. Is d even?
False
Let s = 17 + 49. Is 6 a factor of s?
True
Does 2 divide (3 - -1) + (-9)/(-1)?
False
Is -4*(3 - (-87)/(-6)) a multiple of 7?
False
Let o(t) = -2*t**2 + 29*t + 1. Is o(13) a multiple of 5?
True
Let b(n) = 3*n**2 + 2*n + 13. Does 26 divide b(-6)?
False
Let p = 232 - 180. Is p a multiple of 9?
False
Is 25 a factor of ((-1)/(-2))/(2/600)?
True
Let w = 6 + -4. Suppose -w*j -