u) = w(u) - 6*x(u). Let c be i(1). Suppose 11 = 5*y + c. Is 2 a factor of y?
True
Let k = 2100 + -1264. Is k a multiple of 11?
True
Let n(i) = 11*i + 174. Does 62 divide n(16)?
False
Let q(l) = 2*l**2 - 14*l + 4. Let u be q(7). Suppose u*c - 13 - 7 = 0. Suppose 5*i - 35 = i - w, 52 = c*i + 4*w. Is 6 a factor of i?
False
Let k = -23 + 28. Suppose -5*n = 20, n - k + 189 = 2*m. Is 10 a factor of m?
True
Let g(k) = -k**2 + 3*k + 7. Let m(v) = -v**3 - 8*v**2 - 2*v - 12. Let u be m(-8). Let s be g(u). Suppose -s*f - 8 = -4*f. Does 4 divide f?
True
Let g(n) = 15*n - 8. Let m(t) = -29*t + 15. Let y(b) = 5*g(b) + 2*m(b). Does 8 divide y(2)?
True
Suppose 8030 = 5*u - 5*m, 4*u + 4*m - 7602 = -1162. Does 12 divide u?
True
Suppose 1110*u = 1112*u - 1078. Is u a multiple of 11?
True
Let h = 2360 + -1672. Is 15 a factor of h?
False
Suppose 0 = -2*z - p + 2*p + 117, 2*z - 4*p - 120 = 0. Let l = z + -35. Let a = 37 - l. Is 14 a factor of a?
True
Let h = 150 - -926. Does 39 divide h?
False
Suppose 3*c - 8 + 2 = 0. Suppose 40 = -c*m + 4*m. Does 9 divide m?
False
Let o(z) = -z**2 + 10*z - 11. Let d be o(8). Let i be (-5)/((-15)/6) - (2 + -4). Suppose 4*y = i*n + 124, d*y + 4*n = -n + 175. Is 15 a factor of y?
False
Let l(g) = -7*g + 7. Let u be l(-5). Let x = u + -19. Suppose -4*y - 3*w = -0*w - x, 0 = -2*y + 5*w - 21. Is 2 a factor of y?
True
Let f(a) = -9*a**2 - 9*a - 8*a - a**3 + 7*a - 10. Let p(r) = 30*r + 22. Let c be p(-1). Is 6 a factor of f(c)?
True
Suppose 0 = -2*n + 8 - 2. Suppose 0 = n*l + l + 12, 0 = -5*p + 3*l + 29. Suppose r - 14 + 80 = k, r + 249 = p*k. Is 9 a factor of k?
False
Let n(x) be the third derivative of 11*x**6/720 + x**5/120 - 3*x**4/8 + 7*x**2. Let r(s) be the second derivative of n(s). Is r(5) a multiple of 14?
True
Suppose 0 = j + 3*j - 8. Is (3 - j)/((-1)/(-34)) a multiple of 8?
False
Let s(q) = 163*q**3 - 8*q**2. Is s(2) a multiple of 22?
False
Suppose -33 = a - 75. Does 14 divide a?
True
Suppose -4 = -a + 62. Suppose -3*y + 168 = -210. Let b = y - a. Is 20 a factor of b?
True
Let u(p) = 2*p**3 - 21*p**2 - 14*p + 18. Does 47 divide u(12)?
True
Suppose 5*b + 5931 = 25*x - 21*x, 7450 = 5*x + b. Does 19 divide x?
False
Let n(v) = -v - 8. Let q(x) = 2*x + 16. Let t(a) = -9*n(a) - 4*q(a). Let u be t(-6). Suppose 0 = -u*o - 2*o + 240. Does 12 divide o?
True
Let l(k) = -k**3 + 11*k**2 + 7*k - 6. Let g be l(5). Let q = 359 - g. Suppose -167 = -3*h - 5*a, -4*h - 3*a + 61 = -q. Is 20 a factor of h?
False
Let q(y) = -100*y - 110. Is q(-5) a multiple of 9?
False
Let n be -1 + 916/6 - (-6)/18. Let i = n - 20. Is 12 a factor of i?
True
Suppose 4*c = 193 - 29. Let u = 95 + c. Is u a multiple of 44?
False
Let o = -719 - -1425. Is 14 a factor of o?
False
Let s(f) = -f + 5. Let x be s(5). Suppose 3*y - 92 - 46 = x. Let r = y + -28. Is r a multiple of 6?
True
Let v be 78/65*(-1130)/3. Let l = -212 - v. Is l a multiple of 17?
False
Let i(l) = 9*l + 6. Let c be i(-2). Let q(y) = -y**2 - 17*y - 24. Does 3 divide q(c)?
True
Let k(y) = 7*y**3 + 2*y**2 + 2. Let h be k(2). Suppose -2*q - u + 74 = 0, 0*q - 2*q = 5*u - h. Let s = q - 16. Is s a multiple of 13?
False
Suppose 0 = -3*v - 28*c + 29*c + 344, 4*c - 119 = -v. Is v even?
False
Suppose -6 + 2 = -4*z. Let f(u) = -u**2 + u. Let v(g) = g**3 + 11*g**2 + 15*g + 14. Let j(t) = z*v(t) - 2*f(t). Does 2 divide j(-12)?
True
Suppose -4*n + 12 = -2*n. Let c(s) = s**2 - 8*s + 8. Let f be c(n). Does 8 divide 0/f + 16 + 3?
False
Suppose -21*i + 17212 - 5788 = 0. Is i a multiple of 4?
True
Suppose m = 2*w + 4*m - 3435, 3*w + m - 5142 = 0. Is 3 a factor of w?
True
Suppose 540 = -5*c - 7*c. Is ((-144)/27)/(6/c) a multiple of 19?
False
Let j be ((6 - 1)/10)/(2/(-100)). Does 7 divide ((-105)/j)/((-12)/(-10) + -1)?
True
Let a = 49 - 59. Let x(o) = -o**2 - 16*o - 4. Does 13 divide x(a)?
False
Is 96 a factor of 11226/9 - 40/(-60)?
True
Let q = -8 - -15. Suppose -o = 5*r - 2050, -4*o = 7*r - 3*r - 1640. Suppose -r - 10 = -q*h. Is h a multiple of 12?
True
Let v = 1113 + -797. Is v even?
True
Suppose 5*z + 4*i = 41, -i + 2 = 4*z - 33. Suppose -5*v - z = 11. Does 14 divide 52 + (-2 - v) + -6?
False
Let r = -19 - -50. Let n = r + 35. Suppose 0 = 5*f + 4*a - 68, -4*f - 3*a = f - n. Is f a multiple of 12?
True
Let b(z) = z - 3. Let j be b(7). Suppose j*a = 8, 5*q + a - 5 = 6*a. Suppose s + q*v = -1, -6*v + 2*v - 33 = -5*s. Does 2 divide s?
False
Let w = 283 - 202. Let p = 122 + w. Let h = p - 115. Is h a multiple of 25?
False
Let b(l) be the first derivative of l**2/2 + 12*l - 10. Let a be b(-10). Suppose 13 = f - a. Does 8 divide f?
False
Let m be ((27/6)/(-1))/(-6)*4. Suppose q = -u + 99, u + m*q - q = 102. Does 32 divide u?
True
Let k(n) = -5*n + 3. Let r(h) = -h + 1. Suppose 4*p - 3*l + 1 + 3 = 0, 4*l - 1 = p. Let f(o) = p*k(o) - 2*r(o). Is f(5) a multiple of 7?
False
Let l = -6 + 9. Suppose 4*a - 899 = r, -l*a = 2*a + 5*r - 1155. Suppose 0 = 3*p + 3*k - 132, 5*p + k + k = a. Does 13 divide p?
False
Let h be (-4)/(-24) - (-122)/(-12). Let x = h + 24. Let f(c) = c**2 - 9*c - 11. Does 23 divide f(x)?
False
Let v(g) = 1 + 3 + 4*g + 0 + 2*g. Is v(10) a multiple of 8?
True
Suppose 4*c = 5*o + 200, 52 = -7*o + 5*o - 4*c. Let i(f) = 17*f**2 - 3*f - 3. Let s be i(-2). Let v = s + o. Is v a multiple of 17?
False
Let c be (35 - 16)/((-3)/21*-1). Let w = c - 101. Is 8 a factor of w?
True
Suppose -2*v + 9 - 1 = 0. Suppose 3*n = 4*k + 85 + 127, -v*k + 220 = 3*n. Suppose 0 = x + x - n. Does 18 divide x?
True
Suppose 28 = -5*t + 73. Suppose -1020 = 4*m - t*m. Does 12 divide m?
True
Let v = -544 - -686. Does 5 divide v?
False
Let k(w) = -2*w**2 + 55*w - 18. Let d(q) = q + 7. Let r be d(19). Is 15 a factor of k(r)?
True
Does 21 divide 183036/49 - 36/84?
False
Suppose 64 = 4*x - 8. Let s = x + -16. Suppose 13 = -s*n + 133. Does 16 divide n?
False
Let s = 46 + -47. Is 7 a factor of s + 2 - (430/(-5) - -3)?
True
Suppose -2*t = -2055 + 2045. Is t even?
False
Let o = 70 - 66. Suppose -o*s + 8*u - 4*u + 328 = 0, -3*s - 2*u + 261 = 0. Does 25 divide s?
False
Let y(b) = -b**2 + 15*b + 144. Is y(21) a multiple of 2?
True
Suppose 4*b - 1 = 7. Let t be -40*(-1)/b*1. Let s = t - 11. Is s a multiple of 2?
False
Is 12 a factor of 6*6 - (4 + -1 + -3)?
True
Let o = 12 + 32. Suppose 53 = 4*t - 5*r + 2*r, 2*r + 58 = 4*t. Let s = o - t. Is s a multiple of 14?
False
Let k(p) = 14*p**2 - 9*p - 3. Let i(m) = 7*m**2 - 4*m - 1. Let n(d) = 5*i(d) - 2*k(d). Let t be (-4)/(-6)*39/26. Is 6 a factor of n(t)?
True
Suppose 3*v = -3*l - 528, 4*l + 4*v = 6*v - 698. Let y = l + 282. Is 46 a factor of y?
False
Let d(i) = i**3 + 17*i**2 + 40. Is d(-15) a multiple of 35?
True
Suppose -12*d + 3*d = 5*d. Suppose 14 = 5*m - 11, -2*x - 3*m + 353 = d. Is 8 a factor of x?
False
Suppose 5*v + y - 460 = 0, 4*v + 0*y = -2*y + 368. Suppose -a - 8*f + 4*f + 122 = 0, 3*a - 422 = 2*f. Let i = a - v. Is 20 a factor of i?
False
Let u = -5 - 2. Is (-294)/(-7)*(-6)/u a multiple of 19?
False
Let z = 58 + -54. Suppose -2*w + 355 = 3*d + 2*w, -z*d = 4*w - 472. Is 13 a factor of d?
True
Let l be 15 + (0 - -3)/1. Let f = 38 + l. Let y = -34 + f. Is 11 a factor of y?
True
Suppose 3*q = 7*q - 168. Let a = q + -21. Is a a multiple of 13?
False
Suppose -3*a = -6*a - 5*z - 3, 5*a - 4*z = -5. Let r be ((-15)/(-10))/(a/2). Let o = 5 - r. Does 4 divide o?
True
Suppose 10*v - 14*v = -1040. Is 10 a factor of v?
True
Suppose -39483 + 189 = -59*v. Is v a multiple of 56?
False
Let d(c) = c - 2. Let f be d(5). Suppose f*t = -t. Suppose -w + t*w = -16. Is w a multiple of 4?
True
Let g = 137 + -132. Does 5 divide 52/2 - (0 - (-10)/g)?
False
Let r be ((-8)/(-6))/((-14)/(-231)). Is 83/2 + 11/r a multiple of 14?
True
Let y(s) = -4*s - 44. Let b be y(-11). Suppose -2*h + 466 + 216 = b. Is h a multiple of 49?
False
Suppose 0 = 3*a - 2*a + c + 4, -2*a - 3*c - 6 = 0. Is -2 + (-518)/a - 9/27 a multiple of 14?
True
Suppose 2*h - 7*h + 25 = 0. Suppose 4*p + 27 = h*q, 0*p - p - 6 = -q. Is 30/20*4/q a multiple of 2?
True
Suppose 0 = 2*m - 3 + 35. Let l = 232 - m. Suppose 5*t = l + 312. Is 24 a factor of t?
False
Let o be (5/(-2))/5*358. Let r = o + 473. Is 47 a factor of r?
False
Suppose -34*w + 3124 = -8164. Is w a multiple of 5?
False
Let g(a) = -3*a - 11. Let o = -45 - -30. Is g(o) a multiple of 17?
True
Let o(w) = 12*w*