- 10. Let z(n) = n + 5. Let l be -11 - (2 + (-5 - -2)). Let o be z(l). Is t(o) a multiple of 11?
False
Let u(t) = t**2 + 22. Let v be 0/(-2) - 0/(-2). Let w be u(v). Suppose 0 = -4*p - n + 3*n + w, 3*n + 3 = 0. Is p even?
False
Let i(n) = -5*n - 2*n**2 + 25*n**3 - 1 - 137*n**3 + 2*n. Does 28 divide i(-1)?
True
Let f = -780 - -1367. Is f a multiple of 20?
False
Let h(j) = 7*j + 6. Let t(d) = 15*d + 11. Let c(i) = 13*h(i) - 6*t(i). Does 8 divide c(8)?
False
Suppose -1 = 2*x + a, 4*x + 5*a + 5 = 2*x. Suppose -3*n + 3 = x, -n + 2*n + 31 = 2*y. Does 4 divide y?
True
Let w = -829 + 2152. Is 50 a factor of w?
False
Suppose -3*g = 2*g - 380. Suppose -2*d + 2 = -g. Suppose 0 = 3*l - 105 - d. Is 16 a factor of l?
True
Suppose 0 = -0*k + 3*k - 276. Let i = k - 58. Does 34 divide i?
True
Let q be (2/4)/(1/22). Let i(o) = -3 + 13*o - 5*o - 3 + 8. Is i(q) a multiple of 18?
True
Suppose 4*c = c - 63. Let k = -15 - c. Is k a multiple of 3?
True
Suppose 9*o + 97 + 11 = 0. Does 8 divide (12/10)/(o/(-400))?
True
Let r be (4/10)/(2/50). Let u be 3/(-9) + (-224)/21. Let d = r - u. Is 13 a factor of d?
False
Let l(q) = -477*q - 117. Is 9 a factor of l(-3)?
True
Let p(j) = 298*j - 4. Let q be p(1). Suppose -7*k + q = -4*k. Is k a multiple of 15?
False
Let l be (15 + -5)/2 - -234. Suppose 0 = -4*y + l + 153. Is y a multiple of 14?
True
Let b = -55 + 6. Let t = b + 73. Is 12 a factor of t?
True
Let o be 0 + -2 + -1 + (-42)/(-6). Suppose 2*n - o*h = 126, 0*h = -n + 5*h + 48. Does 16 divide n?
False
Suppose 29*d = 24*d - 560. Is 14 a factor of d/(-3 + 5)*-2?
True
Suppose 2*l = -4*u + 5*u + 56, 0 = 4*u - 4*l + 212. Is 13 a factor of ((-78)/(-12))/((-1)/u)?
True
Let y(b) = 79*b**3 + 2*b**2 - 2*b. Let o be y(1). Let i = 199 - o. Does 20 divide i?
True
Is 8 a factor of 1167/6*-12*7/(-14)?
False
Let q(d) = 6*d**2 + 2*d + 2. Let i be q(-4). Let l = i + -56. Does 13 divide (-1 - 0) + 1 + l?
False
Let h(f) = f**2 + 6*f + 2. Let q be h(-4). Let d(r) = 3*r + 20. Is 2 a factor of d(q)?
True
Let v(l) = -50*l + 366. Does 14 divide v(0)?
False
Let y(a) = -a**2 - 7*a - 3. Let t be y(-5). Let f = -88 - -99. Let b = f - t. Does 4 divide b?
True
Let v = -344 + 486. Suppose -l = -4*l + 4*y - 243, -l = -y + 81. Let f = v + l. Does 13 divide f?
False
Let y = -12 - -10. Let f = y + 6. Suppose -h = -0*h - l - 10, f*h + l = 20. Is h a multiple of 2?
True
Let b = -291 + 329. Does 2 divide b?
True
Suppose -350 - 650 = -25*l. Does 4 divide l?
True
Suppose -13 = -5*c - 3. Suppose -c*n = -3*o - 162, -4*o - 419 = -7*n + 2*n. Is 5 a factor of n?
False
Let s(q) = q**3 + 7*q**2 + 6*q + 18. Let l be s(-6). Suppose -w - l + 54 = 0. Is w a multiple of 13?
False
Let o be 2*((-2946)/(-36) - (-2)/3). Suppose 2*q = j + o, 3*q + 92 = -2*j + 329. Is 9 a factor of q?
True
Suppose -3*t + 6197 = 4*p, -5*p - 4733 = -4*t + 3540. Does 39 divide t?
True
Suppose -63 = 2*z - 21. Let a = 5 - z. Does 3 divide a?
False
Let a(s) = -s**2 + 3*s + 16. Let r be a(0). Is 14 a factor of 32/(-3)*(-84)/r?
True
Let q = 1842 - 1167. Is 34 a factor of q?
False
Let w be 4/(-10) + (-256)/(-40). Suppose -7*y + 4*y = 180. Does 22 divide (10/w)/((-2)/y)?
False
Let q = -19 - -22. Let f(j) = 21*j**3 - 12 - 15*j**2 - 44*j**q + 18*j + 24*j**3. Is 22 a factor of f(14)?
True
Suppose -4*x - 4*l = 4, 4*x - 2*l + 4 = -0*l. Does 8 divide (-28)/x - -1*4?
True
Suppose -9*q + 6*q - 18 = 0. Does 19 divide 3/10*q*-95?
True
Suppose 0 = a + 4*u - 2213, 2*u - 717 = -a + 1494. Is a a multiple of 9?
False
Let u be -2*((-27)/6 + 2). Suppose 2*x = -7 - u. Let r(k) = k**2 + 6*k + 9. Is r(x) a multiple of 3?
True
Suppose -8 = 3*q + q. Let y(r) = 10*r**2 + 4*r + 3. Let u be y(q). Let a = u - -32. Does 30 divide a?
False
Let z(h) = h**2 - 12*h + 20. Let s be z(10). Suppose -12*x + 6*x + 162 = s. Is x a multiple of 3?
True
Let u be 1/(2*3/1194). Suppose 4*l - u = 181. Let j = l + -67. Is j a multiple of 14?
True
Let c be (218 - -1)/3 + -3. Let o = -25 + c. Does 42 divide o?
False
Suppose 0 = -4*v + v + 27. Suppose 2*z = 1 + v. Suppose -z*x + 39 = 2*p, -2*p = 3*p - x - 57. Is 12 a factor of p?
True
Let v = -168 + 281. Suppose 3*b - 818 = -v. Suppose -5*x - j = -b, 0*x + 86 = 2*x + 2*j. Is 24 a factor of x?
True
Let a be 9/24 + 106/16. Suppose -a*h = -0*h - 756. Does 36 divide h?
True
Let n(v) = -63 + v + 117 - 31. Suppose 26 = -0*s - 2*s. Does 10 divide n(s)?
True
Let l be ((-6)/12)/((-1)/8). Suppose 0 = -l*i - q - q + 116, 143 = 5*i + 2*q. Is i a multiple of 9?
True
Let d(g) = -g. Let s be d(0). Suppose -r - 18 + 5 = -3*a, -2*r - a + 2 = s. Does 14 divide (1 - r)*(-37)/(-2)?
False
Let x(m) = m**2 + 8*m + 14. Let f(j) = -1. Let i(w) = -2*f(w) - x(w). Let v be i(-8). Let q = 12 - v. Does 24 divide q?
True
Suppose 5*m + 3801 = 13*f - 11*f, 3*m = 2*f - 3791. Is f a multiple of 32?
True
Let y(l) = 5*l - 1. Let d be y(-1). Let r(b) = -5*b + 2. Does 8 divide r(d)?
True
Suppose k - 132 = -5*k. Suppose 4*w - 5*v = -k + 163, -3*w + 107 = -5*v. Is 17 a factor of w?
True
Suppose 0 = -3*t - 15, 3*l + 2*l = t - 10. Let c(g) = -2*g**3 + 3*g**2 + 2*g. Let z be c(l). Suppose z = o + 13. Is 15 a factor of o?
False
Suppose 0 = 2*a + 134 - 126, -4*v + a = -68. Let z(m) = 4*m - 1. Let q be z(1). Suppose 0*y = -q*y - c + 62, 4*c = -v. Is y a multiple of 11?
True
Let o = 27 + -28. Let u(q) = -23*q**3 - 2*q**2 - 2*q - 1. Is u(o) a multiple of 22?
True
Suppose -4*j + 20 = 0, -u + 239 = 2*j + 169. Is 30 a factor of u?
True
Suppose -2*z + 3*c + 272 = 2*z, -3*c = 3*z - 225. Suppose 0 = r - 4*q - z, 0*r + 5*q + 220 = 3*r. Is 17 a factor of r?
False
Let n(b) = b**3 - b**2 + 4. Let r(o) = -2*o - 3. Let l be r(-4). Suppose l = a + 2. Does 11 divide n(a)?
True
Suppose 2*n + 3*n + 130 = 0. Let l = n + 44. Suppose -j + l = 3. Is j a multiple of 15?
True
Let w = -3 - -7. Let v be ((-7)/(-21))/(2/12). Suppose w*j - v*j = -r + 38, 2*j + 5*r = 30. Does 20 divide j?
True
Suppose 4*t + t = -0*t. Suppose -k + 4*k + 4*x - 340 = t, 2*k + 2*x = 224. Is 20 a factor of k?
False
Let c(l) = 37*l**3 - 4*l**2 - 9*l + 25. Is 25 a factor of c(2)?
False
Let q = -313 - -1177. Is q a multiple of 16?
True
Suppose 17*v - 57 = 79. Does 8 divide v?
True
Let u(s) = -s**3 + 5*s**2 - 4*s + 5. Let w be u(5). Let n be 14/(-5)*w/6. Suppose 0 = -m + n + 35. Is 12 a factor of m?
False
Let s = -2 - -5. Suppose u = -2*t, 4*t + s + 1 = 0. Is 12 a factor of -3 + 27/u*2?
True
Let g(s) = 6*s**2 - 27*s - 299. Does 93 divide g(-17)?
False
Is (-2 - -2*4) + -102 + 315 a multiple of 5?
False
Suppose -s + f + 1006 = 0, 2*s + 0*s - 4*f = 2016. Let b be s/14 + 32/112. Does 24 divide 70/15*b/14?
True
Suppose -l + 6 = 6. Suppose 6*j = -l*j + 330. Is 11 a factor of j?
True
Does 44 divide (-7964)/(-15) + 38/570?
False
Let d(x) = -x**2 + 47*x - 126. Let t be d(44). Let g(l) be the first derivative of l**4/4 - 4*l**3/3 - 7*l**2/2 + 8*l - 1. Does 9 divide g(t)?
False
Let p(f) = 6*f**3 - f**2 + f - 1. Let t be p(1). Let o(s) = -2 + 2 + 8 + 14*s + t*s**2. Is o(-5) a multiple of 19?
False
Suppose 0 = 4*u - 2*k - 14, -2 = -3*u + 4*k + 1. Suppose -u*v = -349 + 29. Does 8 divide v?
True
Let n = -1154 - -1981. Does 6 divide n?
False
Suppose 398 = 5*q + 3*r, -162 = -5*q - 5*r + 228. Suppose -4*v = 5*t - 175, 3*v - q = -3*t + 23. Is 9 a factor of 301/t - 2/(-5)?
True
Suppose -4*g - 3*u + 2*u = -1, -5*g - 3*u = -3. Let i = 52 + g. Does 13 divide i?
True
Let d = 290 - 162. Suppose -y = -0*y - 3. Suppose -d = -5*o - a, 16 = 2*o + y*a - 43. Is o a multiple of 19?
False
Is 20 a factor of (-8)/(-1) + -3 + 302/1?
False
Let l(a) = a**3 + 4*a**2 - 5*a. Suppose -5*r - 2 - 2 = 4*i, -4*i - 2*r = 16. Let x be l(i). Is x/(-5) - 15/(-25) a multiple of 9?
True
Let q(n) = 2*n**2 + 5*n + 2. Let s be q(-3). Suppose s*i - 4*h = -35 + 125, -5*i + 2*h = -100. Is i a multiple of 19?
False
Let k(o) = -9 + o + 0*o + o + 6 + 3*o**2. Is k(-4) a multiple of 11?
False
Let o = -76 + 316. Does 40 divide o?
True
Let c(d) = 7*d**2 + 2*d + 29. Let k(f) = -3*f**2 - f - 15. Let w(s) = -2*c(s) - 5*k(s). Is w(-7) even?
False
Let m(y) be the first derivative of 2*y**2 - 7*y + 19. Let s(b) = 2*b - 6. Let p be s(6). Does 5 divide m(p)?
False
Let x be (-1 - -1)/2*1. Suppose 0 = -r - j - 17 + 291, x = 4*j + 20. Suppose 0 = -0*m - 3*m + r. Is 31 a factor of m?
True
Let n(d) = 70*d + 1. Let j be n(3).