 17?
True
Let c = -91 + 115. Suppose 0 = -i - c + 118. Does 8 divide i?
False
Let t(p) = 252*p**3 - 3*p**2 + 7*p - 5. Is 32 a factor of t(1)?
False
Suppose 10 - 1 = j + 2*h, 5*j + h = 0. Let o be (-1 + (1 - 25))*j. Does 2 divide 205/o + (-2)/10?
True
Suppose 0 = -i - 3*i - 48. Let b = -7 - i. Let k(y) = y**2 - 7. Does 11 divide k(b)?
False
Let w = 14 + -8. Suppose 0 = 5*c - 4 - w. Suppose 0 = 4*t - 20, 3*s = c*t - 6*t + 125. Does 7 divide s?
True
Suppose 0 = -11*h + 4*h - 21. Suppose 4*y + 5*r + 61 + 18 = 0, -3*r + 24 = -y. Is h - (y*1 - 1) a multiple of 5?
False
Suppose 5*j - 273 = -33. Let w = 8 + j. Is w a multiple of 4?
True
Let q = 287 - 149. Let r = q + -60. Does 13 divide r?
True
Is 39 a factor of (6456/20 + -2)/((-6)/(-15))?
False
Is 2/11 - 237564/(-198) a multiple of 100?
True
Suppose -38*t = -34*t - 16. Suppose -100 = -x - t*x. Is x a multiple of 5?
True
Let z(x) = 43*x**3 - 3*x - 2. Let k be z(-1). Is (4 - k/(-15))*130/3 a multiple of 14?
False
Suppose 10*f - 8429 = 4571. Is f a multiple of 65?
True
Suppose -5*a + 4 = -6. Let n be (-28)/a*(-110)/77. Is 12/n - 264/(-10) a multiple of 13?
False
Let w(u) = -11 + 6*u + 0*u**2 + u**2 - 3 + 2*u. Let t be w(12). Let c = -155 + t. Is 15 a factor of c?
False
Let h(l) = -3*l**3 - 4*l**2 + 2*l + 22. Does 39 divide h(-5)?
False
Suppose -i + 4 + 1 = s, 2 = 2*s - 2*i. Suppose s*v = -3*v + 1704. Suppose v - 34 = 5*a. Is 8 a factor of a?
False
Suppose 8 = -2*r, 58 = 4*k - 4*r - 34. Let f = k - -1. Is 20 a factor of f?
True
Let p(v) = -18*v - 201. Does 16 divide p(-26)?
False
Let c(s) = s**2 - 11*s - 20. Let g be c(13). Is 2 a factor of 20/g*(-24)/(-5)?
True
Suppose 7*n + 28 = 294. Suppose n = 4*l - 74. Is 14 a factor of l?
True
Let k be 2/(-4) + (-1048)/(-16). Suppose -4*w - w + k = 0. Is w a multiple of 12?
False
Let z = 61 + -56. Suppose 0*r + 5*p = -4*r + 153, -z*r - p = -207. Is r a multiple of 14?
True
Suppose s - 151 = -5*y, 5*y = y + 12. Suppose 0 = -8*r + 4*r + s. Is r a multiple of 34?
True
Let v(t) = -19*t - 38. Does 13 divide v(-15)?
True
Let v = 29 - -11. Suppose -m - 2 - v = 0. Does 7 divide (m/(-4))/((-1)/(-2))?
True
Let v(o) be the second derivative of o**5/20 - 3*o**4/4 - 7*o**3/6 + 33*o**2/2 + 26*o. Is 23 a factor of v(11)?
False
Does 13 divide (396/(-30))/(12/(-220))?
False
Let r = -71 + 43. Let o = 50 + r. Is 11 a factor of o?
True
Let b = -391 + 503. Is 16 a factor of b?
True
Let f(h) = -298*h + 45. Is 8 a factor of f(-2)?
False
Suppose -s + 5*s - 508 = -4*c, 2*s = -4*c + 248. Suppose -2*u + g - s = -4*u, -5*g + 254 = 4*u. Is 22 a factor of u?
True
Let z(o) = 4*o**2 - 19*o**2 - 12*o + o**3 - 2*o - 2. Is 17 a factor of z(16)?
False
Suppose -2*y - 47 = -71. Is 12 a factor of y?
True
Suppose -9*z = -177 + 24. Suppose -18*k + 10 = -z*k. Is 6 a factor of k?
False
Suppose 180 = 5*v - 3*z, v - 2*z + 0 - 36 = 0. Suppose -3*d + v = d. Suppose -k = -d - 6. Is 15 a factor of k?
True
Let u be (-27)/(-2)*(-26)/39. Does 25 divide (-678)/u - (-3)/(-9)?
True
Let i = -17 - -14. Let h(u) = -3*u + 8. Is h(i) a multiple of 3?
False
Suppose 5*v = 6*v. Suppose v = -c + 31. Does 7 divide c?
False
Suppose -6*j + 168 = 60. Does 5 divide 3*(-3)/j*-118?
False
Suppose -3*q + 454 = q - 2*a, 5*q - 2*a = 566. Is 16 a factor of q?
True
Let a(k) = k**3 + 5*k**2 + 6*k + 12. Let x be a(-4). Suppose -2*c - 988 = -5*c - 4*l, -4*l = -x. Does 30 divide c?
False
Let k = 396 - 103. Suppose 183 = 4*c - k. Does 21 divide c?
False
Suppose -6*u - 6 = 36. Let v(g) = 3*g**2 + 8*g - 3. Is 31 a factor of v(u)?
False
Suppose v = 27*j - 22*j - 900, -2*j + 360 = 5*v. Does 12 divide j?
True
Let g = 613 + 127. Is 4 a factor of g?
True
Is 0 + 80/8 - -2978 a multiple of 18?
True
Suppose 4*c - 197 = -y + 95, -2*y + 3*c = -540. Suppose -5*t + y = 3*n, 0 = -3*t + 5*t. Suppose -5*i + 118 = -n. Is 14 a factor of i?
True
Suppose 1227 = 34*j - 15297. Does 9 divide j?
True
Let v be 58/(-2) - 16/(-4). Let d = -12 + v. Is (-1 + d)/(-2) + -1 a multiple of 9?
True
Let w = 322 + -44. Suppose 3*d - 457 = w. Is 49 a factor of d?
True
Suppose 4*m - 283 = 200*u - 195*u, -10 = -2*u. Does 11 divide m?
True
Suppose -3*a = 2*a + 10. Does 24 divide a - (-2*52)/4?
True
Let x = 210 - -1236. Is 102 a factor of x?
False
Let d be (-4)/(-10) + (32/(-5) - 0). Let r(a) = -a**3 - 4*a**2 + 11*a - 4. Let i be r(-8). Is 11 a factor of i/d*3/(-2)?
False
Suppose -5*l = -g - 37, 4*g = -2*l + 7*l - 43. Let v be (-1 + 0)/(5 + -2 + -2). Is ((-264)/77)/(v/l) a multiple of 12?
True
Suppose 5*h - 1965 = -3*i, -h - i + 0*i + 393 = 0. Is 7 a factor of h?
False
Let y(j) = -17*j + 94. Is 9 a factor of y(3)?
False
Suppose -2*o = -3*i - 1059, -2*o = 3*i - 884 - 169. Is 48 a factor of o?
True
Suppose -4*b + 8*b = -4*d + 4800, 3*b = 0. Is 9 a factor of d?
False
Let l = 9 + -5. Suppose -l*a + 2*r - 4*r = -332, a + 3*r - 73 = 0. Suppose 2*i - a = 11. Is i a multiple of 16?
True
Let c(o) = 22*o - 26. Let y(v) = -4*v - 7. Let z be y(-4). Is c(z) a multiple of 37?
False
Suppose 5*x - 31 = 3*a, 0 = 3*a - 0*a - 4*x + 26. Let r = -424 - -426. Does 14 divide a - -29 - (-2)/r?
True
Suppose -48*q + 414 = -46*q. Let d = 292 - q. Is d a multiple of 9?
False
Suppose 15*x = 85*x - 129850. Does 35 divide x?
True
Suppose 2*x = 93 + 3. Let s = 19 - 10. Suppose r = x - s. Does 13 divide r?
True
Let v(g) = -g**3 + 3*g**2 - 5*g - 3. Let r be (-1 + -2)*(0 + 1). Is 11 a factor of v(r)?
True
Suppose 1876 = 6*b + b. Suppose 5*t - 707 - b = 0. Let l = -125 + t. Is 10 a factor of l?
True
Let s(p) = 4*p**2 - 27*p - 76. Does 16 divide s(-10)?
False
Let v = 1237 + 1082. Is 27 a factor of v?
False
Suppose 2*z - 2*p - 1814 = 0, z - 6*z - 2*p + 4507 = 0. Is z a multiple of 43?
True
Let i(b) = -b**3 - 2*b**2 + 80*b + 17. Is i(-10) even?
False
Let w = 1883 - 927. Does 13 divide w?
False
Let m(g) = g**3 - 33*g**2 + 110. Is m(33) a multiple of 5?
True
Suppose -3*l - 120 = -8*l. Suppose -5*h + 2*h = -141. Let s = h - l. Does 10 divide s?
False
Let a = -458 + 794. Is 21 a factor of a?
True
Is 25 a factor of 26377/117 + (-12)/27?
True
Suppose 23 = u + 24. Is (-2 - -3)*u + 47 a multiple of 11?
False
Let f be 1 - 2 - (-8)/1. Suppose -180 = -10*m + f*m. Is m a multiple of 12?
True
Let v(n) = n**3 + 13*n**2 - 17*n + 18. Let h be v(-14). Suppose 0*p + 4*u + 4 = p, -5*u = -4*p + h. Let d = 26 - p. Does 5 divide d?
False
Let u(d) be the first derivative of 2 + 1/3*d**3 + 13*d - 7/2*d**2. Is u(7) a multiple of 5?
False
Let k(b) = -5*b + 2. Let t(q) = -5 - q + 10*q + 4*q + q. Let v(h) = 8*k(h) + 3*t(h). Is 2 a factor of v(1)?
False
Suppose 11*u + 16686 = 17*u. Does 27 divide u?
True
Suppose -2*v + 0 + 4 = 0. Let z = -9 - v. Does 9 divide z/44 + 113/4?
False
Let u(m) be the second derivative of 9*m**5/20 - m**4/4 + m**3/6 + 2*m. Let o be u(2). Is 9/(-2)*o/(-3) a multiple of 26?
False
Let d = 1055 + -557. Is 48 a factor of d?
False
Let p = -430 - -266. Let l = p + 337. Does 28 divide l?
False
Does 46 divide (-40)/(-50) + (21144/10)/2?
True
Let p(u) = -19*u**2 - u. Let w = 8 + -7. Let l be p(w). Does 9 divide (-2)/(2/(l*1))?
False
Let r(d) = d**3 - 4*d**2 - 5*d. Let p be ((-6)/(-4))/(24/80). Let k be r(p). Suppose 0*o - 5*o + 460 = k. Is 23 a factor of o?
True
Let d(m) be the first derivative of m**4/24 + m**3/2 - 2*m**2 + 1. Let n(i) be the second derivative of d(i). Is 9 a factor of n(12)?
False
Let i = 1336 - 688. Does 72 divide i?
True
Let y(u) = u**2 - u - 2. Let x be y(-2). Suppose -2*b + 8 = -0*b - o, -x*o = -b + 4. Suppose g + 3*z + 5 = 0, 4*g + 0*z - b*z - 60 = 0. Does 10 divide g?
True
Suppose 41*t - 25944 = 27807. Is 37 a factor of t?
False
Suppose -2*g + 0*g + 4 = 0. Let z be (g/5)/((-6)/(-30)). Suppose 3*d - 74 = -4*l, 2*d + z*l = -3*d + 142. Is 15 a factor of d?
True
Let a = -204 + 740. Is a a multiple of 51?
False
Suppose -5*q + 15 = -10. Does 21 divide ((-189)/15)/(1/q*-1)?
True
Let w(f) = f**3 - 7*f - 8. Is w(4) a multiple of 28?
True
Let d = 538 - 448. Is d even?
True
Let b(j) = j**2 - 3*j - 1. Let c(y) = y**3 - 9*y**2 + 7*y + 11. Let u be c(8). Let g be b(u). Is 12 a factor of g + 0 - (-53 - -4)?
True
Let v be -6*((-20)/8 - -2). Suppose -87 = -v*i - 0*i. Is 9 a factor of i?
False
Suppose -5*n - 3*h - 135 = -5*h, -n - 27 = -5*h. Is 25 a factor of 6/n - (-544)/18?
False
Let c = -303 - -875. Is 14 a factor of c?
F