et z be -2 + (7 - 3) - 10. Does 7 divide r(z)?
False
Let d = 70 - 55. Is 3 a factor of d?
True
Let w = 18 + -18. Suppose w = 5*n - 140 - 25. Is n a multiple of 8?
False
Suppose 15 + 6 = 3*u. Let o = u + 22. Does 11 divide o?
False
Suppose -2*d = -4*d + 5*j + 27, -5*j + 3 = 3*d. Let p(v) = -v**3 + 6*v**2 + 3*v - 2. Is p(d) a multiple of 4?
True
Let t(i) = i**3 - 3*i**2 - i + 6. Let l be t(5). Let q = 71 - l. Is q a multiple of 9?
False
Let z be (3/3)/(1/(-8)). Let o be (0 - 0)*(-4)/z. Suppose x + o = 4. Is x a multiple of 2?
True
Is (-548)/(-6) - (-6)/9 a multiple of 12?
False
Suppose 4*u = 2*a + 95 + 99, -3*a + 237 = 5*u. Is u a multiple of 12?
True
Let m = 11 + -8. Is 4 a factor of m/6 + 7/2?
True
Let q(o) = 3*o**2 - 58*o + 48. Let d(b) = -b**2 + 19*b - 16. Let k(m) = 7*d(m) + 2*q(m). Is 18 a factor of k(13)?
True
Suppose 0 = -3*n + 15, 4*n = 4*m - n - 7. Let x = -79 + 76. Is 9 a factor of (-86)/x + m/(-12)?
False
Does 6 divide 45 + -5*(-2)/5 + 0?
False
Let t = -6 + 9. Let b = 6 + t. Is b a multiple of 3?
True
Does 7 divide 2*(-2)/(-10) - 24794/(-115)?
False
Suppose -4*x + 45 = -111. Suppose -3*m - x = u, 36 = -u + 3*m - 9. Is (u/(-2))/(0 - -1) a multiple of 8?
False
Let t(g) = -g**3 - 2*g**2 - 3. Let j be t(-3). Suppose 0 = -2*f - i + 75, j*i = 3*i - 15. Is f a multiple of 17?
False
Let b = 3 - 3. Suppose b = u - 4*u + 27. Is u a multiple of 3?
True
Let m(g) = -81*g. Is m(-1) a multiple of 14?
False
Suppose -2*h + 3*h = -3*p + 125, 2*p - 3*h - 76 = 0. Does 36 divide p?
False
Let z(r) = 9*r - 39. Is z(9) a multiple of 7?
True
Suppose 2*y - 128 = -4*a, -4*y + 5*a - 10 = -201. Is 27 a factor of y?
True
Let v(k) = -3*k + 0*k - 1 - 5. Let h be v(-4). Let p = 16 + h. Does 22 divide p?
True
Suppose -24 = 5*v + 36. Let w be 125/10*v/(-5). Suppose 4*r = -j + w, -75 = -4*j + j + 3*r. Is 7 a factor of j?
False
Let q = -3 - -17. Suppose 3*i - 4*d - q = 35, -3*d - 13 = -i. Is i a multiple of 12?
False
Suppose m = -q - q + 4, 3*q + 6 = 0. Suppose -122 = -3*b - 0*b + 4*t, 2*t = m. Does 10 divide b?
False
Let x = 7 + -7. Suppose -o - o + 34 = x. Is 10 a factor of o?
False
Suppose -4*q - q = 60. Let s = q + 72. Is 20 a factor of s?
True
Suppose 4*b - 106 = -42. Suppose b = -q + 2*q. Is 8 a factor of q?
True
Let a(y) = -y**2 + 1. Let s(i) = -3*i**2 + 7*i + 12. Let h(z) = -4*a(z) + s(z). Let g be h(-6). Suppose w - g*w = -7. Is w a multiple of 2?
False
Suppose 0 = 2*n - 3*r + 4*r - 541, -3*n = -2*r - 808. Is n a multiple of 30?
True
Suppose -17 + 2 = -3*g. Is 3 a factor of g?
False
Suppose 2 + 6 = 4*b. Let j = 41 + -26. Suppose -s - b + j = 0. Does 7 divide s?
False
Let j(n) = -n**2 - n + 2. Let i be j(0). Let b be i - ((2 - 3) + -2). Suppose -a + 8 = -x - 9, 0 = -b*x - 20. Is 13 a factor of a?
True
Is 14 a factor of -18 + 88 + 0/1?
True
Suppose -2*s + 13 = 5. Suppose i + s = 0, -b + 5*i = -12 - 38. Is b a multiple of 9?
False
Suppose 2*c - 22 = -4*m, -3*c = -c - 2*m + 2. Suppose 1 = c*f - 2. Is 16 a factor of 1/f - 126/(-6)?
False
Suppose 0*m = 7*m - 728. Is 13 a factor of m?
True
Suppose 2*z = -6 + 46. Suppose -5*o + 95 = z. Does 15 divide o?
True
Let d = -9 + 14. Suppose 0*v + 3*v - d*r = 81, 4*v - 100 = 4*r. Is 8 a factor of v?
False
Let h(a) = 3*a**2 + a - 1. Let f be h(1). Suppose -5*q + 64 = -f*q. Suppose d + 1 = 0, p = -4*d + q - 6. Is p a multiple of 15?
True
Let k(p) be the first derivative of p**4/4 + 5*p**3/6 - 2*p**2 - p + 2. Let u(j) be the first derivative of k(j). Is u(-4) a multiple of 12?
True
Let y be -3 - (-4 + 3) - -3. Suppose -4*v + 17 = 2*o + y, 2*v - 2 = 0. Does 6 divide o?
True
Let g(m) = -m**3 + 3*m**2 + m + 4. Is g(3) a multiple of 4?
False
Let j(m) = -m**2 + 15*m + 6. Does 8 divide j(13)?
True
Let s(j) = 3*j**2 + 3*j - 15. Is 17 a factor of s(-7)?
False
Let q = -3 + 7. Suppose -q*v = -0*v - 12. Let j = -1 + v. Is j a multiple of 2?
True
Suppose -62 = -10*j + 148. Is j a multiple of 21?
True
Let l(a) = -2*a - 5. Let f be l(-4). Suppose 0 = -3*z + h + 2, f*z + 10 = 7*h - 3*h. Suppose 0 = 3*c + 9, 0*x + 3*c + 19 = z*x. Does 3 divide x?
False
Suppose 5*f = -2*t - 170, -8*f - 5*t = -3*f + 170. Let o(b) = -2*b**2 + 6*b + 2. Let c be o(5). Let r = c - f. Is 8 a factor of r?
True
Let l(w) = w**3 - 4*w**2 + 2*w - 3. Let x be l(3). Let y = 26 + x. Is y a multiple of 20?
True
Is (-1)/3 + (-590)/(-15) a multiple of 13?
True
Let c = -44 + 52. Is c a multiple of 8?
True
Suppose -y = -3*q - 5*y - 19, 4*y - 17 = q. Let r = q + 17. Does 4 divide r?
True
Let p be 45/(-20)*(-16)/(-6). Let o be (2 - p/9)*3. Let k = 6 + o. Does 14 divide k?
True
Let b(h) = -17*h - 7. Suppose -2*w = -4*z - 22, -5*z + 4*w - 15 = 11. Does 24 divide b(z)?
False
Let b(f) = f**3 - 16*f**2 + 6*f - 17. Is 6 a factor of b(16)?
False
Let q(g) = -g**2 + 6*g - 3. Suppose -4*h + 5*x = -36, 0 = -3*h + 5*h + 3*x + 4. Suppose -h*i = -9*i + 20. Does 5 divide q(i)?
True
Let d(s) = 9*s**2 - 5*s - 4. Is d(-1) a multiple of 10?
True
Let a(w) be the second derivative of w**4/12 - w**3 - 9*w**2/2 - 4*w. Is a(9) a multiple of 16?
False
Let s be (3 - 1)*35/(-2). Is 11 a factor of (1 - -1) + (1 - s)?
False
Suppose -2*s = -2*f - 50, -5*s + f - 36 + 141 = 0. Is (8/s)/((-1)/(-50)) a multiple of 10?
True
Suppose -5*s + 1025 = 210. Does 24 divide s?
False
Suppose -2*a + 5*d = -129, 2*a + 4*d = -0*d + 120. Does 11 divide a?
False
Suppose -2*s = 9 + 1. Let r = 23 + s. Is r a multiple of 6?
True
Let s(c) = 13*c + 17. Is s(11) a multiple of 16?
True
Let d(k) = -4*k - 1. Let a be d(-1). Suppose 2*t - 15 = -a*t. Suppose -t*b = 13 - 49. Is 4 a factor of b?
True
Does 34 divide (244/(-12))/(3/(-36))?
False
Is (-1904)/(-7) + -1 + (1 - 2) a multiple of 31?
False
Let p(g) = 71*g**2 + 5*g - 6. Does 3 divide p(1)?
False
Let q(d) = d - 2. Let l be q(7). Suppose -o = 3*a + l, -2 - 4 = -3*o - 2*a. Does 17 divide (-189)/(-11) + o/(-22)?
True
Let n be 15 + 0 - (2 - 1). Let a = n + -9. Is 5 a factor of a?
True
Let x(a) = -a + 3. Let l be x(6). Let z = 5 + l. Suppose i - 60 = -3*j - z*i, -4*i = 2*j - 50. Is j a multiple of 6?
False
Suppose -8*k + 11*k - 6 = 0. Suppose -k*m + 0*m + 4 = 0. Suppose -3 = 2*l - 3*c, -m*c + 22 = l + 6. Is l a multiple of 4?
False
Let z(l) = 92*l**2 + 4*l - 2. Is z(1) a multiple of 6?
False
Let o = -35 - -93. Suppose 3*y - 92 = 2*a + 8*y, 16 = -4*y. Let m = o + a. Does 13 divide m?
False
Let x(c) = c**2 - 8*c + 7. Let n(j) = -j**2 + 7*j - 6. Let t be (-2)/10 - 58/10. Let d(i) = t*x(i) - 7*n(i). Is 2 a factor of d(2)?
True
Let x(u) = -u**2 + 5*u - 2. Let f be x(4). Suppose -2 = -a + 2*s + 10, -f*a = 2*s - 42. Is 9 a factor of a?
True
Let u = 824 - 575. Does 47 divide u?
False
Let l be (0 - 1)*(1 - 3). Suppose 5*y + m - 53 = 0, -l*m = -3*m + 3. Does 3 divide ((-6)/y)/((-1)/5)?
True
Let b(y) = 7*y**2 + 6*y + 3. Is b(-5) a multiple of 37?
True
Let p(i) = 2*i**2 + 3*i + 1. Suppose -5 = 2*q + 1. Let b be p(q). Suppose u + 0*u = b. Does 10 divide u?
True
Suppose -11*d + 955 = 229. Is 14 a factor of d?
False
Let j(s) = -71*s + 3. Is 37 a factor of j(-1)?
True
Suppose 0 = -4*a + 3*o + 22, -3*o = -a + 10 - 0. Suppose y - a = 26. Is 15 a factor of y?
True
Suppose -3*l - 8 = -29. Let o(m) = m**3 - 7*m**2 - 2*m + 8. Let f be o(l). Is 6 a factor of (1/(-2))/(f/156)?
False
Let b be 0/((1 - 2)*1). Suppose b*z - 3*z + 27 = w, 42 = 3*z - 4*w. Does 5 divide z?
True
Let r be 15 - ((-1 - -1) + 1). Suppose 0*o - r = -2*o. Let q = 18 - o. Is 11 a factor of q?
True
Suppose 5*i - 264 = 21. Does 38 divide i?
False
Suppose 3*n - 6 = 3*l + 45, 29 = -l - 2*n. Let j = 14 - l. Does 19 divide j?
False
Suppose 3*b - b + 5*z = 14, -b + z = -21. Is 3/(-6)*-2 + b a multiple of 18?
True
Is (23*-1)/(5 - 6) a multiple of 14?
False
Let v = 8 - 3. Suppose 0 = -v*j - w + 164, j - 4*w - 136 = -3*j. Does 13 divide j?
False
Suppose 0 = 10*k - 7*k - 18. Is 4 a factor of k?
False
Let c = -4 - -10. Suppose c = d + s, -5*d + s + 3 = -3. Suppose d*r = 5*t - 3*r - 5, -3*t = -r - 11. Is 5 a factor of t?
True
Let p = -4 + 6. Suppose -j + 30 = p*j. Let c = 19 - j. Is 5 a factor of c?
False
Let s(j) = -85*j - 15. Is 31 a factor of s(-2)?
True
Suppose q = -4 + 15. Is 11 a factor of q?
True
Suppose -a + 4 = -0*a. Suppose -p - 90 = -a*p. Is p a multiple of 15?
True
Let n(j) = 13*j**2 - 3*j. Is 8 a factor of n(2)?
False
Let r(q) = -3*q + 6. Suppos