-21822 - -25581. Is t a multiple of 9?
False
Let u be 2/(-17) - (-17468)/(-68). Let i = 42 - u. Is i a multiple of 26?
False
Let v = 1954 - 1277. Suppose -5*t + 31*u - 32*u = -1699, 0 = 2*t + 3*u - v. Is t a multiple of 14?
False
Suppose 5 = -c, c + 1 = 2*f - 4. Suppose -2*k + f = -6, -2*k = 4*v - 682. Does 3 divide v?
False
Suppose 69 = 2*i + 43. Suppose 0 = -i*t + 18*t - 725. Does 13 divide t?
False
Suppose 2236 = 5*v - 3*v + 5*p, 0 = -4*v - 5*p + 4492. Is 8 a factor of v?
True
Let h = 2699 - 2410. Is h a multiple of 2?
False
Let t = 324 + -387. Let x = t - -673. Does 12 divide x?
False
Let v(s) = s**3 + s - 2. Let x be v(3). Suppose 2*y = 2*q - 3*y - x, 5*y = 4*q - 36. Suppose -d = -q*w - 48, -w = d + 2*d - 92. Does 8 divide d?
True
Suppose 90*x = 273748 + 1986152. Is x a multiple of 93?
True
Suppose 5*r - 12500 = -20*r. Let o = 874 - r. Does 17 divide o?
True
Does 51 divide 7 - (60/150 + (-41714)/10)?
False
Let n(i) = -i + 60. Let q be n(-10). Is (-12)/(-3)*(-1)/(-2) + q a multiple of 6?
True
Suppose -5*f = 4*i + 105, 0*i - 3*f - 95 = 4*i. Does 20 divide (-8)/i + 2196/10?
True
Suppose 0 = 38*a - 42*a - 5*l + 8059, 0 = -5*a - 2*l + 10078. Is 54 a factor of a?
False
Let d = -22 - -32. Let k be (2 + (-24)/15)/(2/d). Suppose -3*i + 24 = v, 52 = 5*v - k*i - 51. Is v a multiple of 7?
True
Let n(z) = 55*z**2 + 28*z + 215. Is 46 a factor of n(-7)?
True
Let y(m) = 3*m**3 - 5*m**2 + 5*m + 1. Let g be y(4). Let j(c) = -2*c**2 + 61*c - 302. Let h be j(23). Suppose -h = -2*u + g. Is 11 a factor of u?
True
Let y(o) = -112 - 6*o + 38 + 38 + 13*o**2 - o**3. Is y(11) a multiple of 7?
True
Let j be (-15)/(-1)*((-18)/15)/(-3). Let y be (-2)/j*0 - 0. Suppose y = -4*t + 8, 4*t + 0*t = -5*g + 363. Does 19 divide g?
False
Let o(k) = k**2 - 13*k + 180. Let y be o(-24). Let j = y - 145. Is 34 a factor of j?
False
Let x = -25 - -115. Let g = -98 + x. Is -2*((-2)/1 + 28/g) a multiple of 3?
False
Suppose -26*s - 6 = -28*s. Suppose 3*w = -s*p + 78, -4*p + 2*w = -78 - 32. Let g = 142 - p. Is g a multiple of 23?
True
Suppose -2*f + 2 = 0, -k - f + 10 = 1. Let r be 2/(-4)*-1*k. Suppose 4*x = -r*z + 56, -4*x - 6*z + z + 54 = 0. Is x a multiple of 16?
True
Suppose 25*c + 160 - 635 = 0. Suppose 87 - c = 2*j. Is 3 a factor of j?
False
Let c(a) be the third derivative of a**6/60 + a**5/6 + a**4/24 - a**3/3 - a**2. Let w be 7 - 58/8 - (-30)/(-8). Is 9 a factor of c(w)?
False
Suppose 0 = -u + 2*u - 1, 4*j - u = 3. Suppose -4*n = -5*h + 51, 0 = -2*n - 7 - j. Suppose -12*w + h*w = -70. Is w a multiple of 2?
True
Let s be 886 - (0 - 0/(-4)). Does 23 divide s/10 + 16/40 - -3?
True
Suppose g = -2*n + 54, 5*g - 21 - 277 = -3*n. Let k(u) = -2 - 28*u + 18*u**2 + g*u - 34*u. Is k(2) a multiple of 19?
False
Let i(j) = -107*j**3 + j**2 + j + 1. Let f be i(-1). Let a = 1760 - 1758. Suppose -174 = -a*z + f. Is z a multiple of 25?
False
Let p(t) = t**3 + 30*t**2 - 58*t - 76. Does 60 divide p(-22)?
False
Let o(x) = -x**3 + 8*x**2 - 8. Let q(p) = p**3 - 9*p**2 + 7. Let k(b) = 6*o(b) + 7*q(b). Let g be k(15). Is (3 + -2 + -2)/(g/(-31)) a multiple of 31?
True
Suppose 2*o + 11 = 47. Suppose -4*s - 2*z = -0*z - o, 17 = 4*s + z. Suppose -150 = -s*b + b + 3*p, 0 = 4*b - 3*p - 200. Is 10 a factor of b?
True
Let d(z) = 49*z**3 - 2*z**2 + 5*z - 7. Let y(j) be the first derivative of j**4/4 + 5*j**3/3 + j**2 - 10*j + 42. Let s be y(-3). Is 13 a factor of d(s)?
False
Let c(f) = 2*f**2 + 4*f - 7. Let n = -188 - -349. Suppose n*i = 166*i - 10. Does 3 divide c(i)?
True
Suppose -14*s + 20305 = 26*s - 9*s. Does 13 divide s?
False
Let z = 7337 + 28559. Is z a multiple of 8?
True
Let z be ((-9)/9)/((-2)/6). Let s = -73 - -94. Does 7 divide (z - (-1)/(-3))/(1/s)?
True
Suppose 4*d - 4820 = 4*j, 71*j - 70*j - 4815 = -4*d. Is d a multiple of 7?
True
Let s = -22 + 25. Suppose 3*n - 105 = -5*v, 3*v - 7*v - s*n = -81. Let u = v + 11. Does 7 divide u?
True
Suppose 3*k - 12429 - 20115 = 0. Suppose -27*m + 4029 = -k. Does 19 divide m?
True
Let n(m) = -9*m**3 - 4*m**2 - 2*m + 17. Let x(z) = -2*z**3 + 2*z**2 + 1. Let g(p) = -n(p) + 4*x(p). Does 2 divide g(-11)?
True
Let l(d) = -46*d - 59. Let s = -55 + 66. Let r(q) = 24*q + 29. Let i(x) = s*r(x) + 6*l(x). Is i(-12) a multiple of 8?
False
Let w(y) = 2*y**2 + 4*y + 5. Let k be w(-3). Suppose -4*l = -9 - k. Suppose l*p - 437 = 2*q, -5*p + 390 + 75 = 5*q. Is p a multiple of 24?
False
Suppose -114*j + 121*j = -42. Is 10 a factor of (2*30)/(9*(-1)/j)?
True
Let x = -1752 + 9432. Does 69 divide x?
False
Let j(f) = f**3 - 4*f**2 - 2*f - 1. Let v be j(4). Let l = v - -36. Suppose 0 = l*t - 26*t - 120. Is t a multiple of 24?
True
Does 24 divide -8 + (-11 - (-4426 - -9))?
False
Suppose 4*h - 5360 = 138*h. Suppose 1 + 2 = -w, -4*g - 252 = 4*w. Let n = h - g. Does 3 divide n?
False
Let i(o) = -o**2 + 288. Let u = 84 + 36. Let f = u - 120. Is 32 a factor of i(f)?
True
Is 92 a factor of 4/10 + 30665*(-72)/(-300)?
True
Suppose -24126 = -5*l - 16217 + 33921. Does 19 divide l?
False
Let j = 268 - -11165. Does 103 divide j?
True
Let t(y) = 31*y + 5979. Is t(102) a multiple of 7?
False
Let y = -44588 - -79180. Does 70 divide y?
False
Let g = -6078 + 10814. Is 26 a factor of g?
False
Suppose 5*s - 43 = 3*l, l = -3*s - 4*l + 19. Let v be 2 + 4/(s - 4). Suppose 0 = -v*n + 88 - 40. Is 4 a factor of n?
True
Let y = 7 + 2090. Is y a multiple of 164?
False
Let o(w) be the first derivative of 11/2*w**2 - 4*w + 16 + 1/3*w**3. Is 20 a factor of o(-16)?
False
Suppose 286*a - 292*a = -24. Suppose -5*x + 5*u = 0, -6*x = -4*x + 4*u - 12. Suppose -x*o + 3*q + 18 = -0*q, 0 = 2*o - a*q - 16. Is 6 a factor of o?
True
Let o(l) = -l**3 + 6*l**2 - l + 4. Let n be o(3). Suppose 9*r - 420 = -2*b + 13*r, 4*b + 4*r - 828 = 0. Let v = b - n. Is v a multiple of 36?
True
Let c = 8526 - 3643. Is c a multiple of 153?
False
Let q be (-15 - 0)/((50/15)/(-10)). Let t = 72 + 23. Suppose -q - t = -7*r. Is r a multiple of 5?
True
Let m(r) = 6*r**3 + 6*r**2 + 6*r - 19. Let n be m(5). Let q = 190 + n. Does 9 divide q?
False
Suppose -1188 = -9*l - 9*l. Let w = l + -22. Let a = 104 - w. Is 15 a factor of a?
True
Let z(i) = 2*i + 6. Let r be z(-2). Let h be ((-2)/(-5))/(r/170). Is 27 a factor of -10 + h - (1 + -4)?
True
Suppose 3*r = 3*j - 1617, -11*r + 1081 = 2*j - 12*r. Suppose 10*p = j + 2888. Does 49 divide p?
True
Suppose 0 = 439*t - 393*t - 3174. Let u = 5 + -55. Let x = t + u. Is 2 a factor of x?
False
Let p(v) = 149*v + 14. Let f be p(-6). Let z be ((-13)/5)/(16/f). Let w = z - 84. Does 19 divide w?
False
Let b(u) = -u**2 - 16*u + 31. Let v be -51*-2*3/(-18). Let l be b(v). Let r = l - 5. Is 9 a factor of r?
True
Let d = 41 - 28. Let h(x) = -6*x - 14*x**3 + 0*x + 10 - 7*x**2 + d*x**3. Is h(-7) a multiple of 10?
False
Let c(v) = -v**3 - 7*v**2 + 22*v + 10. Let p be c(-9). Let w(h) = h**2 + 15*h - 14. Is w(p) a multiple of 16?
True
Suppose -55*l + 2775 = -15*l - 149345. Does 47 divide l?
False
Suppose -k + 6296 = -2*b + 228, 12136 = 2*k + 4*b. Suppose -19*f + k = -20095. Is 44 a factor of f?
False
Is (-178 + 169)*(-4496)/3 a multiple of 48?
True
Let r(c) = c**3 - 8*c**2 - 15*c. Let q(p) = -4 - 16 - p**2 - 45*p - 11 + 22*p. Let n be q(-21). Is 33 a factor of r(n)?
True
Let w(d) = 3355*d**2 + 33*d + 6. Does 26 divide w(-1)?
True
Suppose 13*n = -20*n + 165. Suppose -10*j = 3*b - 5*j - 558, -4*j = -n*b + 967. Does 36 divide b?
False
Suppose -8*b + 21356 + 40836 = -35960. Is 9 a factor of b?
False
Let z = -4764 + 5009. Does 7 divide z?
True
Suppose 2*b = -2*q + 3*b - 3574, 0 = -5*q - b - 8949. Let p = 2706 + q. Does 39 divide p?
False
Let f be -1 + -5 + 2 - (-1 - 1). Let r = 6 + f. Suppose 53 = r*a - 3*j + 6, -2*j = 5*a - 53. Is 11 a factor of a?
True
Suppose -3*s = 4*n - 144362, -5*n + 40665 = s - 7474. Does 60 divide s?
False
Let w be 682/310 - 2/10. Suppose -3*h - 4*q + 17 + 489 = 0, 0 = -5*h + 2*q + 800. Suppose a = 2*b + 54, 3*a + 0*b = w*b + h. Does 3 divide a?
True
Let b = -62293 + 94409. Does 74 divide b?
True
Let v(w) = 21*w - 17. Let f(k) = 33*k + 46. Let c be f(-1). Is 16 a factor of v(c)?
True
Let p = -19923 - -20184. Is p a multiple of 95?
False
Suppose 31*c + 45 = 26*c, 3*o - 34290 = -5*c. Does 12 divide o?
False
Suppose 4*a + 1064 = -4*w + 5*w, -3*w + 2*a = -3212. Let l = w - 491. Is l a multiple of 16?
False
Let