alse
Let n(z) = 2*z**3 + 8*z**2 - 14*z + 82. Is 28 a factor of n(7)?
False
Suppose -22*o + 675 = -843. Is o a multiple of 12?
False
Is ((-144)/(-81) - 2) + 2974/18 a multiple of 50?
False
Suppose -s - 2*z = -3*z - 61, -5*s - 4*z = -323. Let m be (-14)/s + (-724)/(-18). Suppose -16*x + m = -14*x. Is 10 a factor of x?
True
Suppose 3*p = -3*c + 18, 8*c - 5*c = -2*p + 15. Suppose m - c = 5*j + 92, -3*m + 265 = 5*j. Does 18 divide m?
True
Let o = 2559 + -2462. Does 4 divide o?
False
Let d(o) = 7*o**2 - 14*o - 33. Is 6 a factor of d(-3)?
True
Let d(p) = -139*p - 15. Is 21 a factor of d(-4)?
False
Let o be 2/10 - (-11)/(275/120). Let v = o - -12. Is v a multiple of 3?
False
Let x = -327 - -633. Does 9 divide x?
True
Suppose -3*f - 81 = 4*q - 421, -2*q - 10 = 0. Is 15 a factor of f?
True
Let r(x) = -x**3 - 9*x**2 - 17*x - 45. Is r(-8) even?
False
Let g = 138 - 57. Is (-1)/(6/g)*-2 a multiple of 9?
True
Let d(w) = w**3 + 22*w**2 - 5*w + 29. Let b be d(-22). Suppose -2*a - 138 = -0*a + 5*t, 4*t + 66 = -a. Let p = a + b. Is p a multiple of 23?
False
Suppose -16*t + 20*t = 12. Suppose 0 = t*d + 4*d - 322. Is 12 a factor of d?
False
Let z(c) = -c + 11*c + 7*c - 10. Let i = 12 + -8. Does 15 divide z(i)?
False
Let v(d) = -2*d**2 - 15*d - 7. Let c be v(-7). Suppose c = -2*b - 2*z + 12, b = 3*z + 2*z + 24. Is b even?
False
Suppose -10 = -3*a + 2*c, c + 12 = 2*a + 5*c. Suppose 4*y = 4*d - d + 857, a*y - 854 = 2*d. Suppose 4*b + 4*r = y, 21 = 2*b - 5*r - 92. Is b a multiple of 13?
False
Suppose 0 = -a - 11*a + 11904. Is a a multiple of 124?
True
Let r be (-429)/(-65) - (-2)/5. Suppose 0 = r*y - 289 - 201. Is 10 a factor of y?
True
Let n = 25 + -10. Let h be (-9)/n*10/(-3). Suppose 0 = -h*l - 4*s + 76, 0*l - 3*l + 104 = -4*s. Is l a multiple of 18?
True
Let m(s) be the third derivative of 179*s**5/60 + s**3/6 + 18*s**2. Is m(1) a multiple of 45?
True
Suppose -4 = 3*z + 2, 0 = -4*u + 3*z + 34. Suppose -74 = -u*t + 45. Does 17 divide t?
True
Let d(i) = i**3 - 12*i**2 + 30*i + 100. Is 15 a factor of d(18)?
False
Let q be (8/20)/((-4)/(-130)). Suppose -3*i = 3, 0 = p + 2*p + 4*i - 26. Let o = q - p. Does 2 divide o?
False
Let c = -361 - -140. Let l = -146 - c. Is l a multiple of 25?
True
Let d be (-12)/(-3)*(-5)/10. Let i(r) = 8*r**3 + r**2 + 2. Let k(x) = -9*x**3 - x**2 - 2. Let t(f) = -3*i(f) - 2*k(f). Is 21 a factor of t(d)?
True
Let n(k) be the third derivative of -k**6/120 - k**5/6 + 3*k**4/8 - 5*k**3/2 + 3*k**2. Is n(-12) a multiple of 25?
False
Suppose -4*h - h + 2*p + 119 = 0, p = 3*h - 71. Does 2 divide 1/((-2)/2) + h?
True
Let o = -2078 + 2542. Is 27 a factor of o?
False
Suppose 0 = -3*k - 3*c - 15, 0*c + 3*c = 2*k. Let b be 2/(6/k) - -21. Suppose -3*n - b = n, s + 4*n = 39. Is 32 a factor of s?
False
Let x = 19 - 25. Let k(b) = -22*b - 22. Is k(x) a multiple of 11?
True
Suppose 1001 = 8*x + 129. Let l = x - 79. Is l a multiple of 8?
False
Does 39 divide (-40)/16*-78 + 0/2?
True
Let d = 14 + -10. Suppose 0 = -d*f - f. Let w = 15 - f. Does 12 divide w?
False
Let v(s) = -s**2 - 32*s - 123. Does 7 divide v(-26)?
False
Let h = 19 - 17. Suppose -5*a + h*a = 15. Does 5 divide a + 6 - (-45)/3?
False
Let y = -1235 - -1623. Is y a multiple of 23?
False
Suppose 2*k + 7 = n + k, 0 = 3*n - k - 15. Suppose -9*x + 10 = -n*x. Is 14 a factor of x/3*6 + 59?
False
Let l(t) be the second derivative of -t**5/10 - t**4/12 + 2*t**3/3 - t**2/2 + 4*t. Is 32 a factor of l(-3)?
True
Let j = 8 + -2. Suppose j*o + 18 - 6 = 0. Is 20 - (1 - o) - -1 a multiple of 7?
False
Let y = 6047 + -4319. Is y a multiple of 18?
True
Suppose 4*z + a = -741, -29 - 901 = 5*z + 2*a. Let f = 278 + z. Is f a multiple of 13?
False
Let z = -104 - -129. Suppose -z*r = -21*r - 172. Is 10 a factor of r?
False
Suppose -30 = -3*p - 3*j, -2*j = -5*p + 13 + 44. Is p even?
False
Suppose 3*t + 16 = 94. Suppose 6*v - 2*u - t = 3*v, -v + 4*u = -22. Suppose -p + v = p. Is 2 a factor of p?
False
Suppose -o + 2*r + 310 = 0, 0 = 2*o - 3*r + 6*r - 613. Does 22 divide o?
True
Suppose -5*x + 1153 = -677. Is 18 a factor of x?
False
Suppose 104*m - 102*m - 848 = 0. Is m a multiple of 106?
True
Let o = -6 - -9. Suppose o*h - 5*h = -34. Does 4 divide h?
False
Let p(o) = 9*o**2 - 5*o + 36. Is p(9) a multiple of 40?
True
Suppose -w - 2*w = 5*o - 521, 3*w + 9 = 0. Suppose o = 3*x - 29. Let n = x + -26. Is 8 a factor of n?
False
Let n = 16 + -15. Let q be (-6)/n*(-1)/(-2). Is ((-4)/6)/(q/171) a multiple of 19?
True
Let l(c) = -c**3 - 9*c**2 - 9*c + 3. Let i(j) = j**3 + 8*j**2 + 10*j - 2. Let d(g) = 3*i(g) + 4*l(g). Is 13 a factor of d(-12)?
True
Suppose -5*n + 9*n = -n. Suppose 3*x - 83 - 235 = n. Does 7 divide x?
False
Let y(v) = 1. Let w(z) be the first derivative of 5*z**2 + 5*z + 9. Let i(t) = -w(t) - 3*y(t). Is 23 a factor of i(-10)?
True
Let r = 291 - -9. Is 20 a factor of r?
True
Does 9 divide (15/(-5) - 65)*-4?
False
Let g = -2 - -7. Let d(w) = -w**2 + 4*w + 2. Let y be d(g). Let a(u) = 2*u**2 + 3*u. Does 6 divide a(y)?
False
Let l(o) = -3*o**3 - 65*o**2 + 17*o + 9. Is l(-23) a multiple of 51?
True
Suppose 3009 + 3957 = 27*z. Is 36 a factor of z?
False
Let t(f) = -f - 1. Let i = 14 + -13. Let b be t(i). Is 5 a factor of 161/35 + b/(-5)?
True
Suppose 2*l = 7 + 1. Suppose 0 = -2*q - l*p + p, 5*q + 4*p = 0. Suppose 0*k - 4*k + 148 = q. Is k a multiple of 23?
False
Let v(o) = -o**3 + 8*o**2 - 6*o + 4. Let f be v(4). Let l = 28 + f. Is 18 a factor of l?
True
Let f(n) = -132*n - 123. Does 10 divide f(-3)?
False
Let v(z) = -119*z - 66. Is v(-3) a multiple of 8?
False
Let x = 154 + 1871. Is 75 a factor of x?
True
Suppose 7*f - 1808 = 1888. Does 66 divide f?
True
Is 417 - 2 - (13 + -12) a multiple of 71?
False
Let a(w) be the first derivative of -w**3/3 + 6*w**2 + w - 16. Suppose 10 = 3*u - 17. Is a(u) a multiple of 14?
True
Let k(b) = 20*b + 9 - 4 - b**2 - 6*b. Let y be k(12). Suppose -3*r = 4*t - 93, 2*t - t - y = 5*r. Does 11 divide t?
False
Let n = -30 + 32. Suppose n*w = -4*w - 120. Let m = 35 - w. Is m a multiple of 35?
False
Suppose -65 = 2*d - 7*d. Suppose -w - 4*w + 40 = -2*x, -3*w + d = x. Let m(h) = h**2 - 5*h - 3. Is m(w) a multiple of 2?
False
Let p(u) = 14*u - 73. Is p(10) a multiple of 17?
False
Let x = -463 - -1166. Is 34 a factor of x?
False
Suppose 2*r = r. Let p = r - -10. Let k(o) = -o**2 + 11*o - 6. Is k(p) even?
True
Let w(n) = -n**3 - 11*n**2 - 12*n + 5. Suppose -3*c + 9 = -15. Suppose 0 = -2*u - 3*z - c, -3*u + 4*z - 52 + 6 = 0. Is 7 a factor of w(u)?
False
Let s = -320 - -126. Let t = 67 - s. Is 46 a factor of t?
False
Suppose 0 = -5*r + 88 + 12. Does 11 divide r?
False
Let m(h) = h**3 + 4*h**2. Let k be m(-3). Let y = k - -75. Is 14 a factor of y?
True
Let p(x) = -44*x**2 - 2*x + 2. Let y be p(1). Let i = 112 + y. Does 14 divide i?
False
Let n(v) = 4*v - 21. Let c be n(10). Let k = 52 - c. Is k a multiple of 4?
False
Suppose 5*w - 2*k = 4156, w + 2*k - 587 = 249. Is w a multiple of 41?
False
Suppose -11*i + 3086 + 5626 = 0. Is i a multiple of 24?
True
Let m(s) = 49*s**3 + s**2 - 1. Let c be (-4)/6*(-3)/2. Is 9 a factor of m(c)?
False
Let z(x) = -7*x + 34. Let q be z(0). Let o = q + 44. Is 19 a factor of o?
False
Let h(o) = -o**3 + 9*o**2 - 11*o - 3. Let j be h(7). Is 14 a factor of 5*10 - j/(-6)?
False
Suppose 3*i = 4*f - 1626, 4*i = -i - 5*f - 2745. Let q be i/(-56) - (-3)/(-4). Suppose -4*y - 160 = -q*y. Is 16 a factor of y?
True
Let p = 292 - 86. Does 23 divide p?
False
Let v(j) = -2*j**3 + 2*j**2 + 2. Let c be v(2). Let w = c - -1. Let i = w + 11. Is i a multiple of 6?
True
Suppose -3*l = 2*g + 128, 3*l = -4*g + 9*g + 278. Let s be 223/2 - (-2)/(-4). Let k = g + s. Does 16 divide k?
False
Let w(q) = 2*q**3 - 6*q**2 + 11*q + 22. Is w(6) a multiple of 38?
True
Is 34 a factor of (1040/(-156))/(4/(-1482))?
False
Suppose -296 - 1144 = -6*o. Is 16 a factor of o?
True
Let f be 2 - (0 + -1 + 79). Let o be 2/(-9) - f/18. Is 33 - o/4 - 1 a multiple of 11?
False
Suppose 21*b = 5*b + 4784. Is 23 a factor of b?
True
Let i = 1082 - 632. Suppose 34*c = 37*c - i. Is 30 a factor of c?
True
Let v = -92 + 157. Let o = v - 43. Is (-4)/o + 624/44 a multiple of 4?
False
Let q(u) = u**2 + 6. Let m be q(0). Let y = 4 - 7. Is (-1)/y - (-28)/m a multiple of 3?
False
Suppose 2*n - 24 = -2*r + 2, -5*r = -n - 53. Is 11 a factor