8*f**2 + f + 1. Does 4 divide g(y)?
True
Let q = -6 - -4. Let i(c) be the first derivative of 4*c**3 + c**2 - 2*c - 1. Does 21 divide i(q)?
True
Let r(x) = x**3 + x**2 - x + 60. Suppose 0*k = -4*k. Is 20 a factor of r(k)?
True
Let d(m) = 2*m**2 + 12*m - 12. Does 17 divide d(-11)?
False
Let p be 0 - 0 - (3 - 6). Let q be 9 - (p + 0 + 0). Let o = 32 + q. Is o a multiple of 12?
False
Suppose -h - 16 = -2*m, -h + m - 78 = 3*h. Let i = -2 - h. Is 6 a factor of i?
True
Suppose -3*b = -8*b + 45. Does 3 divide b?
True
Suppose 148 = -0*w + 4*w. Let n = -5 + w. Is n a multiple of 17?
False
Suppose 0 = -0*v - 2*v + 16. Is v a multiple of 2?
True
Suppose 37 = 2*d + 11. Is d even?
False
Does 4 divide 3/7 + (-179)/(-7) - -4?
False
Let w be ((-117)/(-5))/((-12)/(-40)). Let c = -42 + w. Is 18 a factor of c?
True
Suppose -91 = -u - 29. Is 17 a factor of u?
False
Suppose 0 = -4*q + 3*o + o + 120, 4*q + o - 135 = 0. Let k = -72 + q. Is 19 a factor of (k/2)/((-15)/20)?
False
Suppose -7*r + 775 = -2*r. Is r a multiple of 19?
False
Suppose -m = 2*v - 4, 0 = -0*v - 5*v + 3*m - 12. Let c = v - -4. Suppose c*a - 100 = -a. Is 16 a factor of a?
False
Let a be ((-1 - 1) + 1)*-2. Suppose a = 3*b - 7. Suppose b*k = -2*k + 100. Does 10 divide k?
True
Suppose 5*f + 5 = 6*f. Does 5 divide f?
True
Is (-4)/22 - (-9870)/77 a multiple of 8?
True
Let h be (-1 - 1/2)*2. Let u be 5*h/(5 - 2). Let b(p) = p**3 + 6*p**2 + 2*p. Is b(u) a multiple of 15?
True
Let v(f) = f**3 - 3*f**2 - 11*f + 9. Does 3 divide v(6)?
True
Let n(l) = -3*l**3 + l**2 + l - 1. Is 38 a factor of n(-3)?
False
Let y = -2 - -4. Suppose -3*w = -6*w - 3. Is 7 a factor of 2 - y - w - -6?
True
Suppose -192 = -4*p + 2*p. Is p a multiple of 24?
True
Let w = 187 + -125. Let y be -5*(-7)/(-1 - -2). Let a = w - y. Is 17 a factor of a?
False
Let d(v) = v**3 - 9*v**2 - 7*v + 21. Is 13 a factor of d(10)?
False
Let h = -65 + 129. Let g = h + 44. Suppose 3*k - 9 = g. Is k a multiple of 16?
False
Suppose -2 = -2*r + 2. Suppose -2*s + 56 = r*i, 5*i + 25 = -0*i. Is 11 a factor of s?
True
Suppose -2*f + 3*d - 16 = 0, 2*d - 3*d = 4*f + 32. Let l(n) = n**2 + 7*n + 7. Is l(f) a multiple of 10?
False
Let n(z) = 20*z. Does 10 divide n(1)?
True
Suppose 2*x = 4*s - 660 + 68, 2*s - 308 = -5*x. Is 14 a factor of s?
False
Let l(t) = t**2 + 20*t - 15. Let m(f) = f**2 + 20*f - 14. Let x(p) = 2*l(p) - 3*m(p). Is 27 a factor of x(-14)?
False
Suppose 49 = 2*s - 1. Is s a multiple of 2?
False
Let k be -3 - (-1)/(-3)*0. Let z be (-1)/((k/(-180))/1). Is ((-18)/8)/(5/z) a multiple of 14?
False
Suppose 0 = 2*o + 8, f = o + 4*o + 18. Let t be (-2)/f + 1 + 2. Suppose -4 = -2*y - 0*x + t*x, 4*x = 0. Is y a multiple of 2?
True
Let b(k) = 17*k. Let i = 9 - 4. Let d = i + -4. Does 11 divide b(d)?
False
Let w(y) = 5*y**2 - 2*y - 4. Suppose h - 3*f - 7 = -f, f = -2. Is w(h) a multiple of 15?
False
Is 3/(9/156) + 4 a multiple of 26?
False
Let q(z) be the second derivative of -z**5/20 - z**4/6 - 2*z**3/3 - 3*z**2/2 - 3*z. Is 18 a factor of q(-3)?
True
Let k(o) = -o**3 - 6*o**2 - 9. Suppose 32 = -5*y - n, -3*n = -2*y - 17 - 6. Is k(y) a multiple of 25?
False
Let f be (-2 - 6/(-3))/(-2). Suppose -2*y + 38 = 2*b, -2*y + f*y = 4*b - 74. Is b a multiple of 6?
True
Does 2 divide (34/(-16))/((-8)/64)?
False
Let y(m) = -15*m + 39. Let d(l) = -3 - 7 + 11*l - 9 - 4*l. Let t(p) = -13*d(p) - 6*y(p). Is 2 a factor of t(8)?
False
Let r(b) = 2*b + 12. Let c be r(9). Let x = 48 - c. Is 9 a factor of x?
True
Suppose -4*y + 9*y - 136 = -3*p, 4*p - y - 212 = 0. Is p a multiple of 24?
False
Let g be (1 + 1)/2 - -2. Suppose -4*i + g + 9 = 0. Suppose -4*t + 4*d = -156, -5*t + i*d = 5*d - 167. Is t a multiple of 16?
False
Is 8 a factor of (-2)/13 + 954/117?
True
Is (-21 - -1)/(13/(-26)) a multiple of 20?
True
Suppose -4 = 2*a, 4*w - 166 = -5*a - 0*a. Is w a multiple of 5?
False
Let i(v) = 20*v**2 + 6*v. Let f be i(-3). Is 1*(-4)/(-8)*f a multiple of 27?
True
Let k be 1*-19*(-2 - -3). Let n = k + 5. Does 14 divide (n/(-6))/((-2)/(-12))?
True
Let m(q) = -q**2 + 6*q + 3. Let n be m(6). Suppose 14 = z + n. Is 11 a factor of z?
True
Suppose c - 9*v = -5*v + 125, -4*v = 2*c - 226. Is c a multiple of 11?
False
Let i(u) = -u**2 + 15*u + 18. Is i(14) a multiple of 6?
False
Let w(v) = -v**3 - 2*v + 1. Let x = -3 - -4. Let s be w(x). Does 6 divide (8/4)/(s/(-15))?
False
Let h = 26 - 15. Is h even?
False
Let t be (-27)/(-6)*2/3. Suppose 347 = t*r + 23. Suppose 4*s + 0*s = r. Is s a multiple of 11?
False
Suppose 3*i = 2*i + 12. Let m = 3 + i. Does 4 divide m?
False
Suppose 62 = 15*n - 88. Does 4 divide n?
False
Suppose -q + 3 + 1 = 0. Suppose q*n + 5*z = -n + 110, -5*n = 3*z - 110. Does 11 divide n?
True
Let k be (-68)/(-51)*39/2. Let t be (-3)/4*-1*8. Is 12 a factor of k - (-3)/((-9)/t)?
True
Let h = -1 + 4. Let j(q) = 10*q. Does 15 divide j(h)?
True
Let z(b) = 2*b**3 + 2*b**2 + 3*b - 2. Let g = 5 + -2. Let q(d) = 3*d**3 + 3*d**2 + 5*d - 3. Let h(c) = g*q(c) - 5*z(c). Does 5 divide h(-2)?
True
Does 21 divide 2499/34*(-24)/(-14)?
True
Let z be 7 + -4 + 1 + 1. Suppose -2*r - 4*j + 44 = -j, -z*r + 4*j = -110. Does 7 divide r?
False
Let p(l) = 45*l + 3 - 42*l - 4. Is p(4) a multiple of 11?
True
Let i = 20 + -10. Does 5 divide i?
True
Let u = 93 - 64. Does 5 divide u?
False
Let i(a) = 33*a**2 + 11*a + 11. Let n(k) = -17*k**2 - 5*k - 5. Let t(j) = -3*i(j) - 7*n(j). Is 10 a factor of t(-1)?
True
Suppose -3*l - 5*j + 45 = 2*l, 42 = 3*l - 2*j. Is 6 a factor of l?
True
Is 477/45 + 4/10 a multiple of 10?
False
Suppose 163 = 3*h + 3*q - 266, q + 301 = 2*h. Is 35 a factor of h?
False
Is (-238)/(-6) - (-23)/69 a multiple of 20?
True
Let o = -829 - -1231. Does 18 divide o?
False
Is 20 a factor of 2 - (-279 - 0 - -1)?
True
Let o(j) = -j + 6. Is o(2) a multiple of 2?
True
Suppose -22 = -2*b + 4*v, v + 7 - 6 = 0. Is 2 a factor of b?
False
Let q be (-72)/(-20) + 2/5. Suppose -q*x + 245 = x. Suppose -3*l + x = 1. Is l a multiple of 16?
True
Let w(l) = l**3 - 2*l**2 - 3*l - 2. Does 29 divide w(5)?
True
Suppose -4*x - 4 = -4*h, -2*x + x = 4*h + 26. Let m = x - -6. Let r(n) = n**3 + n + 18. Is 6 a factor of r(m)?
True
Suppose -2*a + 1 = -9. Let w = a - 0. Let j(d) = 4*d + 6. Does 13 divide j(w)?
True
Suppose 2*l = 4*w + 5*l - 501, -2*l = 10. Is 17 a factor of w?
False
Let i(v) = -4 + 27 + 3*v - 2*v. Does 10 divide i(0)?
False
Suppose 4*t - 2*u - 190 = 0, 4*u - 205 = -4*t + 3*u. Is t a multiple of 18?
False
Suppose -5*m + 129 = 2*a, 50 = -3*a + 3*m + 233. Does 10 divide a?
False
Suppose -r = -3*q + r + 107, 4*r = -q + 31. Is 17 a factor of q?
False
Suppose -3*s + 5*t + 35 = 0, 0*t + t + 24 = 4*s. Suppose -s*q + q + 32 = 0. Let p = q - -16. Is 12 a factor of p?
True
Let j = -32 - -45. Does 13 divide j?
True
Suppose -y - s + 5 = 0, 0*y - 5*y + 5*s + 35 = 0. Suppose 0*p = p + 12. Does 4 divide ((-18)/p)/(y/40)?
False
Suppose 4*v - v - 3*w = 27, v + 3 = -3*w. Is 16/v + (-1)/(-3) even?
False
Let y = -3 + 5. Let z(p) be the third derivative of p**5/30 + p**4/12 - p**3/3 + p**2. Is z(y) a multiple of 5?
True
Does 2 divide ((-16)/(-64))/(249/124 - 2)?
False
Suppose -20 = -3*g - 0*g + 5*i, 0 = 4*g + 3*i - 17. Suppose -t + 56 = 5*f, f + t + 52 = g*f. Let n = f + -8. Is n a multiple of 4?
True
Suppose 0 = -q - 3*q + 8. Suppose q*h + f - 177 = -2*f, -2*h = -5*f - 185. Is h a multiple of 25?
False
Let y(z) be the first derivative of -z**3/3 - 3*z**2/2 - 2*z + 2. Let g be y(-2). Suppose -4*p + 2*p + 86 = g. Is 18 a factor of p?
False
Let i be 4*((-75)/6)/(-5). Let a = 16 - i. Is a a multiple of 3?
True
Suppose -4*r = -4*s - 12, -5*r + 10*r - 7 = 3*s. Does 3 divide 6 + 2*(3 + r)?
False
Let p be (-10)/(-15) + 2/(-3). Suppose 0 = -3*m - p + 9. Suppose -28 = -3*w - 5*k + 46, 0 = 3*w - m*k - 66. Is w a multiple of 8?
False
Suppose 5*v + o - 431 = 5*o, -4*v = 2*o - 324. Let b = v + -57. Does 13 divide b?
True
Let w(s) = 8*s**3 - s**2 - 3*s + 3. Is w(2) a multiple of 19?
True
Let h(i) = i**3 - 13*i**2 + 17*i - 30. Is h(12) a multiple of 15?
True
Suppose 2*i - 10 = 2*a, 7*a - 2*a - 4*i = -25. Let m(x) = -x**3 + 8*x**2 + 12*x - 11. Let y be m(9). Let p = y - a. Does 8 divide p?
False
Let h(r) = r**3 + 6*r**2 - r - 8. Is 22 a factor of h(-5)?
True
Is 11 a factor of 2 - (-23 - 6/(-2))?
True
Let x = 7 - 5. Suppose -3*d - x*y + 539 = 2*d, -