uppose -n*t + 3*o - o = -52, 34 = 2*t - o. Is t a multiple of 16?
True
Let v(z) be the third derivative of -7*z**4/24 - 4*z**3/3 - 2*z**2. Is v(-6) a multiple of 17?
True
Suppose u - 19 = -3*p, 3*u = 2*p + 4*u - 13. Does 5 divide 14*(-1)/((-7)/p)?
False
Let k = -568 + 805. Is k a multiple of 15?
False
Let v = -8 + 53. Let a = v + -15. Is 10 a factor of a?
True
Let i = 9 - 3. Is 6 a factor of i?
True
Let p = 5 - -6. Is 9 a factor of p?
False
Let x(b) = b**2 + b + 4. Let m be (-2 + 2)*(-1)/(-2). Let l be x(m). Suppose a - 10 = -2*c, l*c - 4*a - 14 = 6. Is c even?
False
Let r(h) = 13*h - 6. Let v be r(4). Suppose w = -5*c + 5*w + 115, 115 = 5*c - 3*w. Let a = v - c. Is 16 a factor of a?
False
Suppose -4*u - 52 = -3*x + 108, -x - u = -65. Suppose -2*o - 2*g = 2*o - 80, -3*o - g + x = 0. Is 5 a factor of o?
True
Suppose 0 = a + 2 - 6. Does 16 divide a/(-12) + 98/6?
True
Let f(x) = -4*x**3 - x**2 + x - 1. Is f(-2) a multiple of 5?
True
Let o = 11 + 55. Does 11 divide o?
True
Let x = -17 - -34. Let w = x + -10. Is w a multiple of 7?
True
Suppose 3*c = 5*u + 204, -2*u = 5*c - 227 - 113. Does 18 divide c?
False
Let u = 0 + 28. Is 7 a factor of u?
True
Suppose 2*p = -5*t + 30, -p + 6*p - 41 = -4*t. Is 4 a factor of t?
True
Suppose 0 = 5*s - 1130 - 200. Is s a multiple of 14?
True
Let b = -54 + -10. Let g = b - -127. Does 12 divide 12/9*g/6?
False
Let c(m) = -3 - 12*m - 1 - 2. Does 25 divide c(-3)?
False
Let f(b) = -b**3 + 7*b**2 - 5*b + 1. Let u(z) = z**2 - 11*z + 4. Let p be u(11). Is f(p) a multiple of 13?
False
Suppose -5*q = v - 56, 27 = 4*q + 2*v - 13. Suppose q = n + 3. Suppose -4*t + n*t = 280. Does 21 divide t?
False
Let s(u) = u + 10. Let w be s(-9). Let y = w - -2. Does 14 divide 0/y - 33/(-1)?
False
Suppose 5*b - 1045 - 321 = -2*v, 0 = -4*b + 3*v + 1079. Is 34 a factor of b?
True
Suppose -m = -3*k + 81, -3*k = -6*m + m - 69. Let l = k + -13. Is 7 a factor of l?
False
Let w(a) = -4*a + 1 - 5 - 1 + 2. Let o = 2 + -8. Is 13 a factor of w(o)?
False
Let v = 6 + 46. Is v a multiple of 13?
True
Let o = 50 - 29. Is 16 a factor of o?
False
Suppose -3*c - 3*i = -0 + 9, i = -5. Let f(w) = 7 + 0*w - 19 - c*w. Does 3 divide f(-10)?
False
Is (-4)/18 + (-1498)/(-18) a multiple of 35?
False
Suppose -10 = -r - 4*r. Let b be (9/r)/((-6)/(-12)). Is (b - -1) + (-4)/(-2) a multiple of 12?
True
Suppose -2*m - 3*a = -5, 10 + 0 = -5*m - 3*a. Let o = m + 6. Does 3 divide -1 + (0 - -8 - o)?
True
Let f be -47 + (1 - -1) + -1. Let d = 79 + f. Does 11 divide d?
True
Suppose j + h = -3*h + 24, 0 = 4*j + 2*h - 54. Is 6 a factor of j?
True
Let a(m) = -m**3 + 6*m**2 + m + 4. Let n = 4 - 0. Let b be 16/8*6/n. Is 17 a factor of a(b)?
True
Let n be ((-28)/(-4))/((-1)/5). Let o = n + 55. Is 13 a factor of o?
False
Suppose -3*f - 2*f = -25. Suppose 4*z = r + 22, 11 = -f*z + 2*r + 37. Let b(k) = k**2 - 5*k + 7. Is b(z) a multiple of 11?
False
Let p = 5 - 3. Suppose 53 + 23 = p*t. Is t a multiple of 19?
True
Let l(w) = -w**3 - 5*w**2 - 5*w - 2. Let m be l(-4). Suppose -81 + 15 = -m*a. Does 7 divide a?
False
Suppose 4*f + 1 = 13. Suppose -f*i = i - 72. Is i a multiple of 6?
True
Suppose -3*v = c - 7, 0*c = 4*v + 2*c - 12. Is 3 a factor of (v/(-1))/((-5)/70)?
False
Let y(n) = n**3 - 5*n**2 + 2*n + 8. Let d be 4/22 - (-128)/22. Is y(d) a multiple of 28?
True
Suppose -4*r + 3*q + 211 = -92, 3*q - 273 = -4*r. Is 13 a factor of r?
False
Let t = 33 + -8. Let y(u) = 15*u**3 - 4*u**2 + 2*u + 2. Let x be y(2). Is 2 a factor of 2/(-5) + x/t?
True
Let y(g) = 4*g + 12. Does 8 divide y(17)?
True
Suppose c = -3*p, 0*p - p = -3. Let n(q) = q**3 + 10*q**2 + 10*q + 11. Is n(c) a multiple of 2?
True
Suppose -85 = -i + 70. Suppose -3*c - 37 + i = 5*l, 3*l = -12. Does 16 divide c?
False
Suppose -4*n = -2*g - 48, 0 = 3*g + 9 - 3. Suppose -3*y + n = 4*m, -2*y + 0*m + 4 = 2*m. Is 4 a factor of (-2)/y + 30/9?
True
Let a(j) = 3*j**2 - 4*j - 3. Is 33 a factor of a(-4)?
False
Let f(u) = -u**3 + 9*u**2 - 6*u - 14. Is f(8) even?
True
Let c = 40 - 29. Is c a multiple of 7?
False
Suppose -3*m - 14 = 4*s, -11 - 20 = -3*m + 5*s. Suppose -5*f + 24 = -m*f. Is 5 a factor of (15/2)/(6/f)?
True
Let v = -2 + 5. Suppose -x + v*t + t + 1 = 0, -x = -5*t - 6. Let g = 35 + x. Does 7 divide g?
False
Suppose 0 = 14*c - 16*c + 112. Does 19 divide c?
False
Suppose -2*j - 4*i + 172 = 0, j = -5*i + 2*i + 89. Is j a multiple of 5?
True
Suppose -5*g - 1288 = -19*g. Is 17 a factor of g?
False
Let r(v) = -2*v**3 - 4*v**2 - 3*v - 1. Let h be r(-2). Does 14 divide 173/h - (-9)/(-15)?
False
Let j = -26 + 1. Let i = j + 42. Is 7 a factor of i?
False
Let b = 17 - 44. Let x be (-6)/27 - 6/b. Does 17 divide (-4)/2 + (36 - x)?
True
Let n = 8 - 3. Suppose -4*i - 88 = -8*r + 4*r, -n*i = -4*r + 86. Does 17 divide r?
False
Suppose 8*v = 12*v - 80. Does 6 divide v?
False
Let w(k) = 2*k**3 - 5*k**2 - 4*k + 1. Does 9 divide w(4)?
False
Suppose 0 = q + 3*q - 12. Suppose q*b + 260 = 4*i, -b = -5*i - 4*b + 325. Suppose t = 2*k - 0 + 7, 0 = -5*t + 4*k + i. Is t a multiple of 17?
True
Let c = 5 - 3. Does 22 divide c + -3 + (42 - 0)?
False
Suppose -4*z - 100 = -4*i - 0*i, 53 = 2*i - 3*z. Is 3 a factor of i?
False
Suppose 4*w = 2*i + 2*i, -5*i - 4*w = 0. Suppose i = 4*g - 5*z - 49, -2*g + 4*z + 38 = g. Suppose -110 = k - g*k. Is k a multiple of 9?
False
Suppose y - 5*y + 4*c = -40, -3*y = c - 38. Is 12 a factor of y?
True
Suppose -2*o = -6, -4*s - o - 2*o = -225. Let l = -31 + s. Is l a multiple of 23?
True
Suppose -20 = -o - o. Let r = 12 + -17. Let t = r + o. Is t even?
False
Suppose -5*f + 22 = -3. Is 3 a factor of f?
False
Let a = -60 - -94. Suppose a + 2 = 4*o. Suppose 13 = w - o. Does 9 divide w?
False
Suppose -4*o - 2*l = o - 97, 0 = -5*l - 20. Suppose w - 8 = o. Is 10 a factor of w?
False
Suppose -2*h = -1 - 7, 3*h = -4*i + 204. Is 24 a factor of i?
True
Suppose -3*i + 61 = 3*t - 71, 4*i + 5*t = 180. Let d = 57 - i. Is d a multiple of 10?
False
Let l = -153 - -218. Suppose 5*m = 3*d + 65, -4*d = -4*m + l - 13. Does 13 divide m?
True
Let p(l) be the first derivative of 41*l**4/4 - l**3/3 + 9. Suppose -k - 1 = 2*j, 2*j + 7 - 1 = 4*k. Is p(k) a multiple of 17?
False
Let v(i) be the first derivative of -i**4/4 + i**3/3 + 5*i**2/2 - 2*i - 1. Let k be v(3). Is 14 a factor of (2 + k)/((-3)/14)?
True
Suppose 4*f - 3*y = 125, 2*y + 45 = 2*f - 17. Let r = f + -18. Is r a multiple of 6?
False
Let d be 4/32 - (-905)/(-8). Let v = -22 - d. Does 18 divide v?
False
Suppose 0 = d - 5*o - 13, -5*d + 5*o = o - 2. Let x(u) = u + 2. Let f be x(d). Suppose 4*v + 14 = 3*p, 4*p - 5*v - 12 - 8 = f. Is p a multiple of 4?
False
Suppose -2*j + 0*y + 261 = 5*y, -4*j + 4*y + 508 = 0. Does 8 divide j?
True
Let t = 3 - 1. Suppose -4*o - n - 7 = -145, -t*n = -4. Is 25 a factor of o?
False
Let k(h) = 7*h - 4. Let z(o) = -8*o + 5. Let j(g) = -3*k(g) - 2*z(g). Is 11 a factor of j(-4)?
True
Is 6 a factor of (-5 + 6)/((-1)/(-36))?
True
Let n = 4 + -1. Suppose g - n*g = -118. Is 15 a factor of g?
False
Let h(d) = d**2 + 6*d - 7. Let i be h(-7). Let n be (8/(-6) - i)*-3. Suppose -2*b - 32 = -n*b. Is 8 a factor of b?
True
Suppose -5*t + 3*t + 234 = 0. Does 13 divide t?
True
Let z = -31 - -43. Is 5 a factor of z?
False
Suppose 0 = -9*r + 14*r - 150. Is r a multiple of 4?
False
Let i(l) = -l**3 + 4*l**2 - 3 - 4 + 5*l**2 - 4*l**2 + 2*l. Let d be i(5). Suppose 0 = d*y - 32 - 16. Is y a multiple of 16?
True
Suppose 5*u + l + 10 = -l, 3*u + 4*l - 8 = 0. Is 17 a factor of 13/(-2)*(-8 - u)?
False
Let z be (-3 + 6)*(-150)/(-9). Suppose 3*q = -17 + z. Is 4 a factor of q?
False
Let v(n) = -81*n**2 + n. Let c(g) = g. Let f(w) = 2*c(w) - v(w). Does 26 divide f(1)?
False
Suppose -3*l - 4*l = -210. Is 7 a factor of l?
False
Let r(v) = -v**2 + 12*v + 5. Is r(7) a multiple of 20?
True
Suppose 2*j = 6*j + 332. Let c = 120 + j. Is 11 a factor of c?
False
Let r = -1 + 1. Suppose r = 3*q + q - 8. Suppose 4*w = -q*f + 100, 2*w - 52 = 2*f - 4*f. Is w a multiple of 14?
False
Let j(n) be the first derivative of -n**4/4 + 2*n**3 - 3*n**2/2 + n - 1. Suppose 4*v - v = 15. Does 4 divide j(v)?
False
Does 11 divide (4/6)/((-80)/(-19800))?
True
Does 3 divide -3 + -1 + 14 + 1?
False
Let l be 250/(-12) + (-4)/24. Let p = l - -56. Let q = p - 11. Does 11 divide q?
False
Let h be ((-10)/(-6))/(1/(-6)). Let g(j) = 20*j*