ide 89 - (-4 + 4 + -4)?
False
Let s(x) = 2*x. Let t(b) = -1. Let d(j) = -s(j) + 4*t(j). Is 8 a factor of d(-6)?
True
Let u(s) = s - 3. Let d be u(6). Suppose v + 4*v = -d*i + 147, 4*i - 196 = 2*v. Is i a multiple of 13?
False
Let a = 20 - -18. Let q = a - 13. Does 5 divide q?
True
Suppose 0 = m + p - 8, 8 - 2 = 3*m - 3*p. Let q(b) = -b**3 + 5*b**2. Let g be q(m). Suppose g*h + 5*h = 185. Is h a multiple of 19?
False
Let t be 4/(-12) + (-5)/3. Let b(x) = x**3 + 2. Let s be b(t). Let k = 24 + s. Does 9 divide k?
True
Let m be 2*((-5)/2 + 2). Suppose -4*y = -0*y - 20. Is 241/y + m/5 a multiple of 16?
True
Suppose -4*j - 4*z = 120, j = -z - 2*z - 36. Suppose 10 = 3*u - 113. Let w = j + u. Is 7 a factor of w?
True
Suppose -y + 4 = -2. Is y even?
True
Let u(g) = 19*g + 5. Let s be u(5). Let y be 1/(-5) - -6*(-167)/15. Let j = y + s. Does 22 divide j?
False
Suppose 2*l - 3*j - 22 = 0, -4*l - 2*j = l - 36. Is l a multiple of 4?
True
Suppose -8 + 2 = -2*t. Suppose -t*g + 68 = -g. Does 25 divide g?
False
Let c(s) = s**2 + 11*s - 9. Does 16 divide c(-13)?
False
Let x = -15 + 28. Is 4 a factor of x?
False
Let i(u) = -u**3 + 83. Does 21 divide i(0)?
False
Does 42 divide (-1 + -234)*6/(-3)?
False
Suppose 2*h = 1 + 1, -3*s - 5*h - 85 = 0. Let d = s - -55. Is d a multiple of 13?
False
Let m(v) = 23*v - 9. Is 21 a factor of m(3)?
False
Suppose -s - s = -5*l + 46, -2*l = s - 22. Suppose 7*x - 2*x = l. Suppose 3 = x*q - 33. Is q a multiple of 18?
True
Let c(r) = r**3 + 8*r**2 + r + 10. Let q be c(-8). Let y = q - -19. Does 18 divide y?
False
Suppose -f + 42 + 14 = 0. Is 27 a factor of f?
False
Let t be (34/2)/((-2)/(-8)). Let x = t - 14. Does 13 divide x?
False
Let c be (1 - (-4)/2)*1. Let d(p) = -1 + 0 + 0*p + 0*p + c*p. Is d(8) a multiple of 18?
False
Does 3 divide (94 + (21/(-3) - -3))/2?
True
Let c(u) = -u**3 - 14*u**2 + 13*u - 13. Let k(j) = -j**3 - 1. Let b(m) = -c(m) + 2*k(m). Is 10 a factor of b(13)?
False
Is 5 + (-1 - -55) - (-1 + 5) a multiple of 3?
False
Suppose 2*f - 48 = 38. Let l(j) = -j**3 + j**2 - j + 22. Let a be l(0). Let t = f - a. Does 7 divide t?
True
Let j be (-1)/(2*3/(-210)). Suppose t + 5*k + 23 = -3*t, 3*k = -3*t - 18. Let w = j + t. Is w a multiple of 14?
True
Let j(g) = 6*g - 11. Is 18 a factor of j(13)?
False
Let w = 7 + -4. Suppose f + 1 - 7 = -5*p, -18 = -w*f + 2*p. Let a(i) = i - 3. Is 2 a factor of a(f)?
False
Suppose 2*i - 4 = -2, 4*i = 2*g. Let d(r) = 1 - 18*r**3 - 2*r**g + r - 1 + 3*r**2. Is 9 a factor of d(-1)?
True
Let q be ((-170)/5)/(-1 - 0). Suppose -4*a = -2*j - 2 + 8, 3*j - a = q. Is 13 a factor of j?
True
Suppose -4*q - 72 - 8 = 0. Let m = q + 25. Is m a multiple of 3?
False
Suppose 0 = -6*s + 749 + 61. Does 45 divide s?
True
Let l be 2/(((-24)/(-15))/4). Suppose -15 + 5 = -l*j. Suppose 0 = -j*c - 6 + 18. Does 2 divide c?
True
Let w(v) = 9*v + 7. Let n(l) = 13*l + 10. Let k(a) = 5*n(a) - 7*w(a). Suppose c + 6 = 4*c. Is k(c) a multiple of 3?
False
Let a = 37 + 75. Is 13 a factor of a?
False
Suppose 15 = -2*k + 3*a, -2*k + a - 12 = -a. Let b = -2 - k. Let x(v) = 21*v**3 - 2*v + 1. Does 10 divide x(b)?
True
Let x = -69 - -141. Is 9 a factor of x?
True
Let w = 26 + 16. Does 12 divide w?
False
Suppose 0 = -4*d - 4*k - 14 - 2, -5*d = 4*k + 16. Suppose 2*r = -2*s - 8, -3*s - r - 4 = -s. Suppose d = -5*u - s*u + 65. Is u a multiple of 10?
False
Let u = -51 - -136. Does 17 divide u?
True
Suppose 5*w + 24 = i, -4*w = 4*i + 12 - 204. Let p = -18 + i. Is p a multiple of 10?
False
Let f be (-37)/((0 - 4)/4). Let b = f - -23. Is b a multiple of 10?
True
Let a(n) be the first derivative of 3*n**2/2 - 3*n + 2. Does 8 divide a(6)?
False
Suppose r = 4*r - 183. Let w = r - 29. Does 16 divide w?
True
Suppose 0 = 3*w - q - 4*q - 37, -q + 15 = 5*w. Suppose -i - 7 = w*y, 4*i - 5*y + 14 + 14 = 0. Let h = i - -12. Is 3 a factor of h?
False
Let w(p) = 3*p - 7. Let d be w(5). Let m = d + 15. Does 8 divide m?
False
Suppose -h - 9 = -4*h. Suppose 3*f + 23 = 4*c - h, 0 = -4*c + f + 22. Suppose -2*w + w + 28 = -5*y, -120 = -5*w + c*y. Does 17 divide w?
False
Let g = 23 + 3. Is 15 a factor of g?
False
Let r(x) = 3*x**2 - 10*x + 10. Suppose u = -3*y + 20, -y = -0*y + 5*u - 16. Is 11 a factor of r(y)?
False
Let s be 4/(-18) - 530/45. Does 13 divide ((-18)/s)/(6/80)?
False
Let g be -5 + 6 - (-1)/1. Suppose -9 = 3*i, 399 + 991 = 4*y - g*i. Suppose y = 5*p - m, -3*p - p = -m - 276. Is p a multiple of 18?
False
Let s be 1 - (-3 + 0 + 2). Let y be (-1*s - -2) + 2. Suppose 3*a + y*a + 20 = 0, -5*v + 67 = 2*a. Is 6 a factor of v?
False
Let m = -8 - -12. Suppose m*f + 13 = 5*f. Is f a multiple of 13?
True
Suppose z - 12 = -2*p, -30 = -3*z - 4*p + 8. Is 7 a factor of z?
True
Suppose -5*v - 66 = 19. Let x = -8 - v. Does 9 divide x?
True
Suppose 0 = -2*c - 8, -5*c - 55 + 16 = -r. Is r a multiple of 9?
False
Let h(x) be the first derivative of x**2/2 + x - 1. Let o be h(-3). Let w = 7 - o. Is w a multiple of 3?
True
Let m(p) = 3*p - 9*p - 2 - 3. Does 25 divide m(-5)?
True
Is 7 a factor of 39/((-3)/(-3)) + -4?
True
Suppose 5*f - 7 = 4*n, 16 = 2*n - 0*f + 4*f. Let i be (-1 - -2) + (2 - n). Does 7 divide 9/3 - (-5)/i?
False
Is 3/(12/176)*(-11)/(-4) a multiple of 11?
True
Let o be 1 + (3 - 2) + 36. Suppose -2*u - z + o + 38 = 0, -72 = -2*u - 2*z. Is u a multiple of 20?
True
Let q(j) = -j**3 + 12*j**2 - 5*j + 7. Is 38 a factor of q(6)?
False
Suppose -5*b + 4*p = -35 - 53, 4*b + 2*p - 60 = 0. Suppose -4*x = -0*x - b. Suppose 103 = x*o + 19. Does 17 divide o?
False
Let w(s) be the third derivative of 0 + 1/24*s**4 + 1/15*s**5 + 1/120*s**6 - 3*s**2 - 2/3*s**3 + 0*s. Is w(-3) even?
True
Suppose 4*b + 46 = 226. Is b a multiple of 9?
True
Let b be 9/2*2/3. Is 24 - (b + -2 + 1) a multiple of 12?
False
Suppose 4*i - 767 = 145. Is 12 a factor of i?
True
Suppose -4*u + 4 = -4. Suppose -5 = c - u*c. Does 5 divide c?
True
Suppose -2*k + 567 = 3*r, 2*r + 149 = 5*k + 527. Does 14 divide r?
False
Let k = -19 - -36. Is k a multiple of 3?
False
Is (3/(-2))/(3/(-18)) a multiple of 2?
False
Let c be 1/(-3)*-1*6. Let a be c/7 - 285/(-7). Let b = a + -23. Is 9 a factor of b?
True
Let j(d) be the second derivative of d**4/2 - d**3/6 - d**2 - d. Let b be 4/10 - 16/(-10). Is 7 a factor of j(b)?
False
Suppose 0*b - 3*b = 0. Let t(h) = 2*h + b - h**2 - 12*h - 2. Is t(-8) a multiple of 5?
False
Let k(r) = -r**3 + 5*r**2 + r + 4. Is k(5) a multiple of 2?
False
Is 12 a factor of (25/(-2) + 4)*-2?
False
Let z(j) = 6*j + 3. Let i be z(6). Let q = 63 - i. Is 8 a factor of q?
True
Let t(d) = -d**2 + 13*d + 24. Is 10 a factor of t(14)?
True
Suppose b = 2*h + 53, -5*b + 160 = -4*h - 117. Suppose 5*l = -4*i + b, 2*l - 3 = -i + 3*l. Let q(w) = -w**2 + 8*w + 6. Is 3 a factor of q(i)?
True
Is 3 a factor of (-30)/(-9)*(-6)/(-5)?
False
Does 9 divide 1*(-156)/(-4) - (0 + -2)?
False
Let k(h) = h**2 + 3*h. Let u be k(-2). Let b be 2/4 + (-135)/u. Suppose -3*t + 7*t - b = 0. Does 6 divide t?
False
Suppose 4*s = 5 + 3. Suppose 5*m - 9 = -3*d, m + 4 = s*d - 2. Suppose -d*n - 28 = 5*i - 80, 4*i = -2*n + 36. Is 10 a factor of n?
False
Let l(o) = -3*o - 4. Is 20 a factor of l(-28)?
True
Let h = -49 - -55. Is h a multiple of 3?
True
Let y(d) = -d**2 + 15*d - 17. Let z be y(13). Suppose 5*p = 2*p + 18. Is 8 a factor of p/27 - (-70)/z?
True
Let z be (-3)/(-9) + (-1099)/21. Does 13 divide z/6*60/(-8)?
True
Suppose 6*d - d - 4*r = 160, -15 = -3*r. Suppose -2*p = 5*k - 7*p, 0 = 5*k + 5*p. Suppose k*w + 3*w = d. Is w a multiple of 12?
True
Let a(i) = 251*i**3 + 3*i**2 - 4*i + 2. Does 36 divide a(1)?
True
Suppose 2*i = -0*i + 52. Let j = i + -18. Let x = 45 + j. Is x a multiple of 19?
False
Suppose -5*v + 4*o - o + 18 = 0, 5*o = 4*v - 17. Is 3 a factor of v?
True
Suppose 96 = -2*i + 6*i. Is i a multiple of 8?
True
Let s(r) = -2*r**3 + 2*r**2 + 2*r - 2. Let b be s(2). Let x be (b/4)/1*12. Let o = x - -25. Is o a multiple of 3?
False
Is -7 + (0 - -3) + 23 even?
False
Let g = 2 - -80. Is 26 a factor of g?
False
Let w be 2/(-4) - (-175)/10. Suppose n + 1 = w. Is n a multiple of 16?
True
Suppose -3 = -f - 1. Suppose 40 = f*x - 36. Is 19 a factor of x?
True
Let u(x) = -x**3 - 3*x**2 + 4*x + 6. Let v = -1 - -5. Suppose -8 = v*l - 2*l. Is u(l) a multiple of 6?
True
Let c = 127 + -49. Is c a multiple of 17?
False
Let v = -72 - -1