+ 3 - 5. Suppose t - l - 5 = m*l, -4*l = -t + 5. Suppose -t*n + 35 = -3*f, 5*n - 3*n + 3*f = 35. Is n a multiple of 6?
False
Suppose 0 = 2*i + 4*k - 138, -4*k + 199 = 3*i - 2*k. Is i a multiple of 4?
False
Let j be (-6)/12*104/2. Let y = -18 - j. Is y a multiple of 3?
False
Let f(d) = 7*d**2 + d**3 - 3*d - 4*d + 3 + 0*d**3 + 5*d. Is f(-7) a multiple of 17?
True
Let s = -37 + 54. Is s a multiple of 11?
False
Let n(q) = 2*q + 5. Does 19 divide n(7)?
True
Suppose -5*r + 5*w = -35, -10 = 4*w + w. Suppose -r*y - 5*h = 0, 0 = -2*y - h + 3 + 2. Is 5 a factor of y?
True
Suppose -28 = 6*u - 10*u. Does 2 divide u?
False
Suppose 4*z = 12, 4*i + 73 = -z - 64. Let s = 92 + i. Does 19 divide s?
True
Suppose 0 = -4*r - 4*g - g - 60, -5*r - 75 = 3*g. Is 4 a factor of r*(3/5 - 1)?
False
Let r be (-146)/(-8)*(-4)/(-1). Let t = r + -27. Suppose t = 5*v - 14. Is v a multiple of 8?
False
Let j be (42/9)/(8/12). Suppose 0 = -j*s + 6*s + 5. Is 3 a factor of s?
False
Let c(z) be the third derivative of z**4/2 + z**3/3 - 4*z**2. Does 23 divide c(3)?
False
Let s(l) = l**2 - 11*l + 49. Is s(8) a multiple of 25?
True
Suppose 5*z + 11 = -3*g, -5*g + 3*z = 4*z - 11. Suppose 2*a - g = 1. Suppose -a*w + 37 = -39. Is w a multiple of 19?
True
Let h be 2 - 3/(2 + 1). Is ((-1 - -1) + 30)/h a multiple of 15?
True
Suppose 3*i = 2 + 4. Let u = i + 0. Does 2 divide u?
True
Let i(d) = -d**2 - d + 163. Let h be i(0). Suppose -4*w + w = -2*x - 164, -x = -3*w + h. Does 19 divide w?
False
Suppose 5*q - 11*q + 42 = 0. Does 4 divide q?
False
Suppose -3*l + 27 = 3*k, 4*l + k - 23 - 10 = 0. Does 8 divide l?
True
Suppose b + 9 = 5*c, 8*c - 4*c = 4*b - 28. Suppose -23 = -2*o + b. Is o a multiple of 12?
False
Is 13 a factor of ((-86)/4)/((-1)/2)?
False
Let n = -51 + 105. Does 16 divide n?
False
Let w be 2/(-3) + (-636)/(-9). Suppose -w - 110 = -5*p. Is p a multiple of 12?
True
Let n be (-32)/(-6)*(-36)/(-16). Suppose -r + 20 = 3*d + 2*d, n = -d + 3*r. Suppose g = d*g - 16. Is 7 a factor of g?
False
Let h(m) = m + 1. Let s be h(3). Let f(c) = c**3 - 4*c**2 - 2. Let o be f(s). Let r(b) = -7*b - 3. Is 7 a factor of r(o)?
False
Let o(w) = -3*w + 4. Let a(y) = -y - 4. Let q(p) = -p**3 + 3*p**2 + p - 3. Let m be q(3). Let z be a(m). Is 15 a factor of o(z)?
False
Let w be (-24)/6*(-2)/4. Suppose -2*c = -4*t + t + 155, 5*c + 107 = w*t. Is 4 a factor of t/9 + (-1)/(-3)?
False
Let o(a) = 4*a**2 - 7*a. Is o(5) a multiple of 15?
False
Suppose -p + 6 = -4*s - 3*p, -5*s = -3*p - 20. Suppose b = 2*b + s. Let f(z) = -14*z + 1. Is 15 a factor of f(b)?
True
Let f(t) = 109*t**3 + 2*t**2 - 1. Let q be f(1). Suppose q = 4*v + v. Is v a multiple of 22?
True
Let q be ((-8)/(-12))/(4/42). Let o(u) = -u + 0*u + 45 - q. Is 13 a factor of o(0)?
False
Let n(s) = -s + 2. Let p be n(-4). Suppose p*t = t + 75. Is 15 a factor of t?
True
Let z(l) = l**2 - 7*l + 57. Is 11 a factor of z(-10)?
False
Let p(m) = 3*m + 6. Let w = 4 - -8. Does 6 divide p(w)?
True
Let k(d) = d**2 + 6*d - 1. Let o be k(-7). Does 10 divide (-16)/(-3)*27/o?
False
Let p be 1 - (-1)/(-1 - -2). Suppose -3*a - 14 = -4*v + 21, -4*v - p*a = -50. Suppose v = -0*i + i. Does 5 divide i?
False
Let f = 37 + -13. Is 8 a factor of f?
True
Suppose 5*r - 839 + 299 = 0. Suppose -4*h + n = -3*n - r, 0 = -3*h + n + 71. Is 19 a factor of h?
False
Let c(v) = -v**2 - 9*v + 7. Let n(g) = -g**2 - 8*g + 7. Let x(o) = 3*c(o) - 4*n(o). Is x(-7) a multiple of 2?
False
Suppose 8*t - 152 - 272 = 0. Let q = 31 + -4. Suppose t = -2*s + 5*s - 4*n, n = 2*s - q. Is s a multiple of 4?
False
Let g = 4 - 2. Let p = g + 3. Suppose -5*l + p + 20 = 0. Does 2 divide l?
False
Let m = 4 - -11. Let g = 6 + m. Is 21 a factor of g?
True
Suppose 8*q = 319 - 7. Is 13 a factor of q?
True
Let i(l) = 49*l**3 - 2*l + 1. Is i(1) a multiple of 24?
True
Suppose 3*v - 56 = -v. Let s = 56 - v. Is s a multiple of 18?
False
Is 6 a factor of (-3 + -3)*-3 + -3?
False
Suppose 2*c = -1 + 5. Suppose -c*r = -b + 35, -3*b = -2*r - 11 - 110. Is 16 a factor of b?
False
Let i(q) = q**3 + 8*q**2 - 8*q - 4. Is 20 a factor of i(-8)?
True
Suppose 4*z - 3*w = -z - 113, 121 = -5*z + w. Let f be (z/2 - -2)*2. Is 17 a factor of 4/(-2) - f - 2?
True
Does 20 divide (-2 - 3*-21) + (-6 - -5)?
True
Let j(b) = -13*b**2 + 14*b + 7. Let s(y) = 4*y**2 - 5*y - 2. Let f(p) = 2*j(p) + 7*s(p). Does 10 divide f(6)?
True
Let t = 9 + -14. Let h(n) = n**2 + 4*n + 1. Let c be h(t). Suppose 2*x - c = -0*x. Does 3 divide x?
True
Suppose f - 41 = 24. Suppose -2*z = 3*z - f. Is 4 a factor of z?
False
Suppose -182 = -4*x + 126. Suppose z - f = -19, 5*z + 2*f = 2*z - x. Let t = z + 45. Is t a multiple of 22?
True
Suppose -i - 12 = -5*i. Does 5 divide i + (2 - -8) + 2?
True
Suppose -7*z - 3 = -6*z. Let x(n) = n**2 + n - 4. Let p be x(z). Does 16 divide (p/(-5))/(1/(-40))?
True
Let s be 3/(1 + 0)*-1. Let f = -11 + 22. Let b = f - s. Is b a multiple of 5?
False
Let o(t) = 12*t - 3. Let b(a) = a. Let h(j) = 15*b(j) - o(j). Does 10 divide h(9)?
True
Let g = -9 + 43. Is g a multiple of 17?
True
Let z = -37 - -67. Let o = z + -14. Is o a multiple of 10?
False
Suppose -116 = -2*n + t - 5*t, n + t = 62. Does 5 divide n?
False
Suppose -n = 4*d - 40, -2*d + 3*n = -7*d + 43. Is 10 a factor of d?
False
Let p(r) = 39*r**2 - r. Suppose 0 = -5*x + 2*x + 3. Is p(x) a multiple of 19?
True
Let q = -2 - -16. Let a = -9 + q. Suppose 0 = a*z + 5*u - 50, 0 = -4*z - 5*u + 44 - 2. Is 8 a factor of z?
True
Let p(z) = z**2 - 8*z + 9. Let t be p(7). Let r(v) = 7*v**2 - 3*v - 5. Let n be r(5). Suppose c - 33 = 2*y, 5*c + t*y + 26 = n. Does 11 divide c?
False
Let b(d) = -103*d**3 + 8*d + 7. Is 6 a factor of b(-1)?
True
Suppose 0 = -2*k - 2*m + 134, 380 = 5*k - 2*m - 2*m. Does 24 divide k?
True
Suppose -l + 2 = -0. Suppose 24 = l*a + a. Is 2 a factor of (-3)/(-6)*a/1?
True
Suppose -4*j = -c - 163 - 72, j - c - 61 = 0. Let u = j - 16. Does 14 divide u?
True
Let b(g) be the third derivative of -g**6/240 - g**5/12 - g**4/24 + 4*g**2. Let d(o) be the second derivative of b(o). Is d(-7) a multiple of 9?
False
Let a(n) be the first derivative of -4*n - 3/2*n**2 - 3. Does 3 divide a(-4)?
False
Suppose -3*f - 5*j = 4 - 38, j + 10 = 5*f. Let k(r) = r**3 - 3*r**2 + 2*r - 2. Let a be k(f). Suppose 41 = 2*t + 3*q, 91 = 3*t + 2*t - a*q. Is 19 a factor of t?
True
Let t(s) = -3*s**3 - 2*s**2 - 5*s - 3. Let g be t(-3). Does 13 divide g/6 - 3/(-6)?
True
Suppose 0 = -c + 4*z - 3 - 9, -16 = -4*z. Does 4 divide c?
True
Let z(j) = j**3 - 3*j**2 + j + 3. Let h be z(3). Let d be (-1)/(((-10)/h)/5). Suppose -d*q + 20 = 2*f - 3, 3*f - 5*q - 44 = 0. Is 8 a factor of f?
False
Let a(u) = u**3 + 12*u**2 + 16*u + 17. Is a(-10) a multiple of 19?
True
Suppose 4*g - 4*m - 62 = -6*m, 32 = 2*g + 2*m. Is 3 a factor of g?
True
Let r = -143 + 264. Is r a multiple of 11?
True
Let s be (-181)/(-4) - (-6)/8. Suppose -2*t + 5*v - 1 + 20 = 0, -4*t + s = -2*v. Does 12 divide t?
True
Let u(d) = 2*d**3 - 18*d**2 - 9*d + 9. Does 22 divide u(10)?
False
Let a = -4 - -12. Let x(z) = 6*z - 6. Does 22 divide x(a)?
False
Let c = 14 - -45. Is 9 a factor of c?
False
Is 14 a factor of -7 + 2 - -3 - -31?
False
Let c(s) = s - 5. Let q = -3 + 5. Suppose q*w = -3*w + 45. Is 2 a factor of c(w)?
True
Let z(w) = w**2 - 2*w. Let c = 2 + 3. Does 13 divide z(c)?
False
Let f = 3 - -2. Does 2 divide f?
False
Let h = -10 - -9. Let z be 13 + (4 - (3 + h)). Is (z/10)/((-6)/(-56)) a multiple of 4?
False
Suppose 3*w - 10 = -2*w. Let c be (-10)/(-2)*(w - -32). Let b = c - 107. Does 26 divide b?
False
Suppose 0 = 2*u + 8, 4*u + 3610 = 2*r + 9*u. Suppose r = 4*q - 7*q. Is 14 a factor of q/(-25) - 1/5?
False
Let v(c) = -c + 5. Let r be v(4). Suppose -3*w = -3*h, h = 4*h - 4*w + r. Let l(m) = 4*m**3 - 1. Is 3 a factor of l(h)?
True
Suppose 0 = 4*j - j. Suppose 2*o + 2*s + 2 = 44, 2*o + 4*s - 32 = j. Suppose -4*q = o - 90. Is 6 a factor of q?
False
Suppose -r - r = -4. Suppose -n = -r*n + 27. Is n a multiple of 9?
True
Let h = 2 + 6. Does 4 divide (10/(-4))/((-2)/h)?
False
Is 3 a factor of (-4)/(-30) + (-2912)/(-210)?
False
Let d be (0/(-1))/(11 + -9). Suppose -v + 12 + 0 = d. Is 6 a factor of v?
True
Let p(k) = 39*k**2 - 2*k - 1. Let n be p(-1). Suppose n = d - 4*q, -4*q - 160 = d - 5*d. Is d a multiple of 17?
False
Let v = 36 - 0. Is 12 a factor of v?
Tr