 factor of i(s)?
False
Suppose -2*x + 108*f - 109*f + 4995 = 0, 4*x + 4*f - 9984 = 0. Is x a multiple of 57?
False
Let z(h) = -63*h - 12. Let n be ((-6)/(-10) - 0)/(72/(-360)). Is z(n) a multiple of 13?
False
Let n be 52/24 - 1/6. Suppose 4*h - 40 = -n*p - 6, -p = -1. Suppose h*u - 704 - 1312 = 0. Is u a multiple of 14?
True
Let m = 9599 + -4995. Is m a multiple of 69?
False
Let r(a) = -a + 15. Let s(b) = -1. Let d(j) = -3*r(j) - 6*s(j). Let f be d(17). Suppose -139 = -i + 5*y, 322 = f*i - 9*i + 4*y. Does 19 divide i?
True
Suppose -9 = 5*x - 19. Suppose 1 = 3*l - 4*b, x*l = l - 2*b + 7. Suppose l*v + 324 = 9*v. Is v a multiple of 5?
False
Let s = 6499 + -5840. Is s a multiple of 9?
False
Let f = -31423 + 38997. Is 18 a factor of f?
False
Let m(y) = y**2 + 6*y - 13. Let u be m(2). Suppose i - 60 = 3*n, -3*i + 0*i - u*n = -180. Does 3 divide i?
True
Let v(d) = -4*d. Let m be v(-1). Suppose -m*l - 8 = 0, 101 = g + l - 2*l. Is g a multiple of 23?
False
Suppose 2*o = 4*z - 4, 2*z - 10 = -0*o - o. Let b(p) = -3*p**2 + p + 6. Let l(x) = x**2 - 2. Let u(k) = 4*b(k) + 14*l(k). Is u(z) a multiple of 4?
False
Let g = 56 + -13. Let q = g + -46. Does 21 divide 2317/63 - q - (-4)/18?
False
Let w(g) = 5*g**2 - 20*g. Suppose -6*i + 56 = -4*u - 2*i, 2*u - 4*i + 36 = 0. Does 25 divide w(u)?
True
Is (1*-466)/1*(-4 - 6)/10 a multiple of 18?
False
Let y(p) = -9*p + 4. Let m(f) = -f - 1. Let j(b) = 2*m(b) + y(b). Let q be j(-8). Let z = 175 - q. Is 17 a factor of z?
True
Suppose l + 3 = -5*x - 2*l, -4*l = 5*x + 4. Suppose -8*d + 13 + 11 = x. Suppose 153 = d*h - 5*w, 3*h - 4*w - 100 = h. Is 10 a factor of h?
False
Let j = -82 + 32. Let d be (15/(-2))/(40/80). Let r = d - j. Is r a multiple of 7?
True
Suppose -11*w - 138 = -17*w. Suppose 3*j - 12 = 0, 5*y - 2*y + 4*j + w = 0. Let r = 75 + y. Does 24 divide r?
False
Suppose -4*m = 3*m - 35. Suppose -2*i - m*r + 858 = 0, 3*i - r = r + 1287. Is 66 a factor of i?
False
Is (144 + -163)*(3 + -1 + 272/(-2)) a multiple of 38?
True
Let y(w) = -w**3 - 4*w**2 - 4*w - 29. Let m be y(-6). Is 4 a factor of (m + -71)/(1/(-22)*2)?
True
Suppose -2*s + 0 = -2. Let r be (-3)/(-5)*(-26 - (12 - 13)). Does 21 divide r/10*(s - 59)?
False
Suppose 11*j + 1043 = 4035. Suppose 4*x + 548 = 2*t + 4, t + 3*x = j. Is t a multiple of 17?
True
Suppose t = 4*a - 33 + 11, 0 = -2*a - t + 8. Suppose 5*w + 7 = 2*v + 20, -a*v + 20 = 5*w. Suppose d - 86 = -3*d + w*r, 2*r - 36 = -2*d. Is d a multiple of 6?
False
Let t be 242/(-10) + (-22)/(-110). Let a = 35 - t. Suppose -4*l = -a - 45. Is 7 a factor of l?
False
Let c(r) = -21*r + 29. Let j(u) = 5*u + 16. Let x be j(-4). Let s be c(x). Suppose k - 241 = -k - 5*v, -s = -k - 5*v. Is 32 a factor of k?
True
Let x = 963 + 5408. Does 18 divide x?
False
Is 9 a factor of 1 + -6 - ((-1144)/36 + 2/(-9))?
True
Is (2/((-20)/295))/((-1)/(7 + 7)) a multiple of 59?
True
Suppose h = -2*u + 332, h - 14*u = -15*u + 332. Suppose 2*s = -t - 4*t - 15, 2*s - 4*t - 30 = 0. Suppose 73 + h = s*z. Does 18 divide z?
False
Let o(u) = 2*u + 6. Let t be o(0). Let h(b) = -b**3 + 9*b**2 - 5*b - 13. Let j be h(t). Let d = -15 + j. Is 7 a factor of d?
False
Suppose -18*q - 16 = -2*q. Let z(u) = -281*u**3 + u**2 + 8*u + 7. Is z(q) a multiple of 18?
False
Suppose 4*k - 57001 = -26148 + 40451. Is 43 a factor of k?
False
Let i = 194 - 190. Suppose i*a = 42 + 78. Does 3 divide a?
True
Let v(t) = 9*t + 2983. Is 113 a factor of v(-5)?
True
Is 14 a factor of ((-11240)/(-3) - 215/129) + 2?
False
Suppose 4*z - 1 = -25. Let c(h) be the third derivative of h**6/120 + 3*h**5/20 - 5*h**4/24 - 2*h**3/3 + 15*h**2 + 3*h. Is c(z) a multiple of 31?
False
Let c be 34/(-8) - -4 - (-1)/4. Suppose v + v + 14 = c. Does 12 divide -345*(2/6)/(6 + v)?
False
Suppose -892150 = -52*c + 511954. Does 38 divide c?
False
Is 25 a factor of 38/(-76)*5/(10/(-101636))?
False
Let k = 5254 + -4134. Is k a multiple of 40?
True
Let l = 228 + -216. Let d(h) = h**2 - 13*h + 62. Is d(l) a multiple of 50?
True
Suppose -2*d + 5*x = -15, -5*d - 3*x + 23 + 30 = 0. Suppose -o + 2*r + d + 44 = 0, o = r + 51. Suppose 0 = -5*m + z + 41, -z = -4*m - 4*z + o. Does 2 divide m?
False
Suppose 0 = -4*f + x + 2*x + 396, -184 = -2*f - 2*x. Let g = f - 103. Let m(k) = k**2 - 13*k - 10. Is 13 a factor of m(g)?
True
Suppose -3*a - s = 11, -a + 1 = -2*a - s. Let z(h) = 11*h**2 - 19*h - 71. Is z(a) a multiple of 13?
True
Let b be (-18)/(-6) - -898 - 0/(-2). Suppose 0 = -2*y - 3*l + 3811, -y - 2*l - b = -2807. Is 56 a factor of y?
True
Let w = -357 + 361. Suppose -5*d - 283 = -w*s + 316, -s + 181 = 5*d. Is s a multiple of 12?
True
Let y(a) = 3*a**2 - 19*a**3 - 9 - 2*a - 16*a**3 - 9 + 34*a**3. Let x be y(6). Let o = x + 250. Is o a multiple of 10?
False
Let t be (1 - 1)/(20/(-20)). Suppose 5*f + 6*y = y, t = 5*y + 15. Suppose -f*p + 2*p = -36. Is p a multiple of 14?
False
Suppose 25*y + 21558 - 103483 - 1350 = 0. Is y a multiple of 5?
False
Let s = 28341 + -21451. Is s a multiple of 17?
False
Suppose -5*c = 19 - 169. Suppose n + 15 = -5*g, c = -2*n + 4*g + g. Let j(b) = b**2 + 9*b. Is j(n) a multiple of 18?
True
Let g(t) = 197*t**3 - 9*t**2 + 8*t + 43. Is 19 a factor of g(4)?
False
Let u(h) = -2*h. Let p(d) = 27*d + 6. Let o(v) = -2*p(v) + 30*u(v). Let i be o(-10). Suppose 0 = -9*j + 3*j + i. Is j a multiple of 38?
False
Let t(q) = 3*q - 3*q - 6*q**3 - 5*q**2 - 1 + 5*q**3. Let o be t(-5). Is (6/1)/(o/(-18)) a multiple of 12?
True
Suppose -39207 = -17*k - 4*k. Is 10 a factor of k?
False
Let y = -2596 + 6026. Does 35 divide y?
True
Suppose 8*c + 9898 = 9*c - v, -3*c = 5*v - 29670. Is c a multiple of 95?
False
Let z = 150644 - 106606. Is 194 a factor of z?
True
Suppose 3*o + 7370 = -5*y + 8*o, 0 = -y - o - 1484. Let c = y + 2727. Is 39 a factor of c?
True
Let b(s) = 95*s + 148 - 89*s - 53*s + 135. Does 68 divide b(-7)?
True
Let v(x) = x**3 + 15*x**2 - 3*x - 41. Let m be v(-15). Let s(b) = 17*b**2 - 15*b - 3. Does 10 divide s(m)?
False
Let r(s) = -17*s - 17 + 3*s + 8*s. Let u be r(-3). Does 20 divide -430*u/4*-2?
False
Suppose 0 = 5*v + r + 2*r - 147, 4*r - 26 = -v. Let w = -27 + v. Is 8 a factor of w/(4/(1136/12))?
False
Let l = -7029 - -20004. Suppose -14*k + 4259 = -l. Is 27 a factor of k?
False
Suppose 0 = 4*p + 2*l - l - 3800, 950 = p + 5*l. Does 50 divide p?
True
Suppose -3*k + 145 = 439. Let x = k + 166. Suppose -220 = -3*y + x. Does 24 divide y?
True
Suppose 3*q - 4 = 5. Let k = 7 + q. Suppose -b = -16 - k. Is 4 a factor of b?
False
Let d = 49 + -46. Suppose -3*o - 2*w + 36 = 0, -d*w + 0*w - 41 = -5*o. Suppose o = 2*c - 18. Is c a multiple of 6?
False
Let p(l) = -l**2 - 11*l - 14. Let n be p(-9). Suppose 4*a + n*a = 432. Let s = 111 - a. Is s a multiple of 19?
True
Suppose 5*w - 67 - 13 = 0. Is -1 + 0 + 104/(w/4) a multiple of 15?
False
Let d = 7623 + -3451. Is 28 a factor of d?
True
Let f = 10613 + -10315. Is 11 a factor of f?
False
Suppose 34 - 4 = -15*a. Is 71 a factor of ((-449)/3)/(1*a/6)?
False
Let x(j) = j**2 + 1. Let b(k) = -5*k**3 + 5*k**2 - k - 14. Let t(l) = -b(l) + 4*x(l). Let f(w) be the first derivative of t(w). Is 7 a factor of f(1)?
True
Let v(g) = -2*g**3 - 2*g**2 - 2*g - 1. Suppose -2*a - l = 0, 4*a = 2*l - 9 + 1. Let j be v(a). Does 13 divide 13*1*1*(2 - j)?
True
Suppose -2*y - 26*x + 27*x = -5100, -5*y + 12750 = x. Is 36 a factor of y?
False
Let f = 22280 + -20196. Does 4 divide f?
True
Let d = 12 + -8. Suppose 5*l = -4*a + 45, 3*a = -5*l + d*a + 20. Suppose -2*g = l*w - 114, 2*g - 18 = -2*w + w. Does 6 divide w?
True
Let y = 34 - -76. Does 5 divide y - 2 - 165/33?
False
Suppose 5*d - 1209 = 1161. Suppose d*c = 468*c + 1728. Is c a multiple of 48?
True
Does 3 divide 274 + (-4)/((-60)/(-15))?
True
Suppose -4*p + 12289 - 1785 = l, l + 5*p - 10508 = 0. Is 114 a factor of l?
True
Let t(s) = 62*s**2 - 3*s - 11. Let r = -112 + 112. Suppose 10*k - 16*k - 12 = r. Does 45 divide t(k)?
False
Suppose 211*j = 179*j + 1180996 + 547260. Is 86 a factor of j?
True
Let m = -4425 + 11065. Is 40 a factor of m?
True
Let g(q) = 25*q + 3. Let f be g(4). Let b = f - 91. Suppose -480 = b*n - 15*n. Does 20 divide n?
True
Let y(z) = -27*z + 57. Let x be y(-7). Suppose 0 = -11*l - x - 51. Let i = l + 54. Does 9 divide i?
True
Let d be (-14)/(-21)*-1*-39. Suppose 3*t - d*v - 224 = -31*v, 4*t = -2*v + 280. D