 258*s**2 - 2*s + 29. Does 63 divide t(-5)?
True
Let t(s) be the second derivative of s**5/20 - 3*s**4/2 + 8*s**3/3 + 9*s**2/2 + 9*s. Let x be t(17). Is 11 a factor of (x + (0 - 4))/(4/(-22))?
True
Suppose -4*i - 3*p = -44, -2*p + 39 + 5 = 4*i. Does 44 divide 4/6 - (i - (-5435)/(-15))?
True
Let h(v) = 93*v - 486. Is 12 a factor of h(7)?
False
Suppose 17*j = -14185 + 38818. Is j a multiple of 3?
True
Let s = -6870 + 11658. Is s a multiple of 126?
True
Let c(f) = f**3 - 6*f**2 + 4*f + 426. Is c(0) a multiple of 4?
False
Suppose -3*l - 12 = -3*o, -2*o + 4 = 2*l - 4. Suppose l = g - 213 - 187. Suppose -g = -4*f + 560. Does 15 divide f?
True
Let d(u) = -633*u - 1. Let s be d(-1). Let j = 1183 + s. Is j a multiple of 14?
False
Suppose -x - 1 + 57 = 0. Let h = x - 59. Is 17 a factor of (-58 - (4 + h))/(-1)?
False
Let l(f) be the second derivative of -f**5/20 - 5*f**4/6 - 2*f**3 + 15*f**2/2 + 13*f - 2. Does 45 divide l(-10)?
True
Suppose 5*b = 3*t - 13529, -4*t = -55*b + 52*b - 18046. Does 23 divide t?
False
Let h = -2434 - -11731. Suppose -1641 = 12*r - h. Does 29 divide r?
True
Let n(s) be the first derivative of 4*s**2 + s + 1. Suppose 10*j - 30 = 5*w, 57*j - 55*j = -2*w + 12. Does 9 divide n(w)?
False
Let f be 1*88*(2 - 15/10). Suppose 5*q = f + 186. Let w = -14 + q. Does 7 divide w?
False
Let m be (-42)/(-4) - (-9)/6. Let t(k) = -6 - 40*k - 8*k - m*k + 5*k. Does 22 divide t(-2)?
False
Let y(w) = 2*w**3 - 2*w**2 - 1. Let h be y(2). Let v(g) = -29*g**3 + 12*g**2 + 4 + 2*g + h*g**2 - 21*g**2. Is v(-2) a multiple of 14?
True
Suppose -4*u = -75 + 11. Suppose -27*o = -u*o - 16104. Is o a multiple of 83?
False
Let f(l) = -5*l + 54. Let u(s) = -15*s + 163. Let z = 93 - 90. Let c(b) = z*u(b) - 8*f(b). Does 2 divide c(10)?
False
Let n(h) = h**3 + 7*h**2 - 10*h - 2. Let z be n(-8). Suppose 19*d = z*d + 1690. Is 26 a factor of d?
True
Let w = 10 + -5. Suppose -w*m = -4*m + 14. Let y(h) = -6*h + 6. Is y(m) a multiple of 9?
True
Does 29 divide 18/(27/9) + 429?
True
Suppose -5*g - 2*o = 8, 0*g - 4*o + 2 = g. Let f be 5/(-10)*(g + -2). Suppose 66 = f*p + r, r - 3*r - 132 = -4*p. Is p a multiple of 5?
False
Let u = 185 + -81. Let c = -1224 + 1224. Suppose -2*l = -c*l - u. Is 9 a factor of l?
False
Let p(z) be the first derivative of -43*z**2/2 + 4*z - 8. Let o be (-1 - 5/(-2))/(4/(-8)). Is 18 a factor of p(o)?
False
Suppose 5*l = -3*v + 37, v - 3 = -0*v + 3*l. Suppose -v*t - 254 = -1010. Is t/((4 - -1) + -4) a multiple of 21?
True
Suppose 3*w + g - 14 = 0, -5*w = 3*g + g - 14. Suppose 184 = 4*l - 4*f, -3*f + 3 = -w*f. Suppose -4 = z - l. Does 38 divide z?
False
Suppose 29493 = r + 5*m, 90*r - 87*r - 4*m = 88384. Does 139 divide r?
True
Let v = 5180 + -907. Suppose 2*r = -4*z + z + 2563, -5*z - 2*r + v = 0. Suppose -5*i - 2*p = -z, -3*p - 579 = -3*i - 45. Does 15 divide i?
False
Let p(i) = 2*i**2 - 35*i + 6. Let z(c) = -c**2 + 17*c - 3. Let l(m) = -4*p(m) - 9*z(m). Let o be l(22). Let v = -125 + o. Does 13 divide v?
False
Let a(m) = 1022*m**3 - 3*m**2 - 7*m - 5. Let f be a(-1). Let l = 230 - f. Does 14 divide l?
False
Let w be (-8 - -5)/(6/28). Let m be ((-24)/w - 0)*-14. Is 62/14 + m/(-42) a multiple of 2?
False
Suppose -6*h = -3*h + 5*x - 4737, 4*h + 2*x = 6330. Suppose -17*d = -21*d + h. Is 11 a factor of d?
True
Let c be (27/(-12))/(-9) + (-9)/4. Is 9 a factor of (0 - c/2) + 1776/6?
True
Let m(t) = -3*t**2 - 11*t - 11. Let o(i) = 12*i**2 + 44*i + 38. Let b(f) = 22*m(f) + 6*o(f). Does 21 divide b(-13)?
True
Let b(u) = u**3 - 14*u**2 + 19*u - 40. Let t be b(15). Suppose p - 5*q - 933 = -p, t = p + q. Is 12 a factor of p?
False
Let s(h) = 3*h + 771. Is s(29) a multiple of 33?
True
Suppose -8*j = 5*j - 39. Let z = -34 - -39. Suppose c = -z*l - j*c + 46, l = 5*c + 15. Is l a multiple of 4?
False
Let j be (-38)/(-6) + (-7)/(147/(-14)). Let t(x) = 14*x**2 + 24*x - 26. Is t(j) a multiple of 19?
False
Let x(t) = -t**2 + 3*t + 3. Let w be x(4). Let h be w/(1/(-2)*(-12)/18). Does 43 divide 214 - (h + -1 + 1)?
False
Is 22 a factor of 1*-6 - 1400/(-245) - (-824224)/56?
True
Let a = 7 + 749. Suppose 6*w = 13*w - a. Is w a multiple of 16?
False
Let d be 4 - (285/6)/((-9)/(-54)). Let q = d - -1150. Does 27 divide q?
False
Suppose 30*u - 5 = 115. Suppose 18 = m + 2*h, -u*m + h - 15 = -51. Is m a multiple of 2?
True
Suppose 4847*t + 7734 = 4848*t. Is 106 a factor of t?
False
Suppose -5*i + 21 + 9 = 0. Let a(v) = -2*v**3 - 9*v**2 - 34*v - 142. Let d be a(-6). Suppose 0 = -4*p + i*p - 2*o - 68, 0 = 5*p + 4*o - d. Does 17 divide p?
True
Let c(r) = -r**3 - 5*r**2 + 18*r + 56. Let w be c(-6). Is ((-4)/(w/(-166)))/((-4)/56) a multiple of 35?
False
Let a(z) = 39165*z**3 - 6*z**2 - 43*z + 49. Is a(1) a multiple of 119?
False
Let s(u) = -33 - 111*u + 80 - 122. Does 21 divide s(-9)?
True
Suppose -3*v + 2545 = 5*j, 0 = 5*j + 3*v - 7*v - 2510. Suppose 514*s - j*s - 400 = 0. Is 8 a factor of s?
False
Does 15 divide (-2 + 87)/(((-2)/12)/(265/(-30)))?
False
Let l = -310 - -95. Let o be (1 + -3)/(2/l). Suppose -7*x + o = 54. Does 19 divide x?
False
Let r(d) = -d + 12*d - 27*d**2 - 69 + 31*d**2 + 2*d**3. Is r(5) a multiple of 13?
False
Let c = -647 + 1625. Is 53 a factor of c?
False
Suppose q = 6*q + 135. Let y = q + 27. Let b(d) = d**3 + 42. Is b(y) a multiple of 21?
True
Suppose 4*u + 3*o + 98 = -5, -2*u + 4*o - 24 = 0. Let k = -22 - u. Suppose k = y + 2*y - 45. Is 12 a factor of y?
False
Let b = -258 + 264. Suppose -b*n = -18*n + 732. Is n a multiple of 2?
False
Let z = 40051 + -24055. Is 33 a factor of z?
False
Suppose -6*h + 8*h = -4*h + 12306. Is h a multiple of 18?
False
Let h(a) = 2*a**2 - 16*a + 26. Suppose 2 = i - c + 5, -3*c + 2 = 4*i. Let n(d) = -d**2 + d. Let j(g) = i*h(g) - 3*n(g). Is 8 a factor of j(-18)?
True
Let o = -701 - -2045. Does 6 divide o?
True
Suppose 3*b - 7*a - 22855 = 0, -13*b + 8*b - 3*a + 38165 = 0. Does 14 divide b?
True
Let a(h) = 248*h - 1086. Is a(6) a multiple of 3?
True
Suppose 21*h + 20*h = 77929 + 225881. Is h a multiple of 37?
False
Suppose -2*r = -2*c - 38, -3*c = 2*c - 20. Is 17 a factor of (-1 - -103) + (28 - r)?
False
Let x = 2029 - 1876. Is 7 a factor of x?
False
Let u(h) = 11*h**3 + 1. Let a = 7 + -8. Let n be u(a). Is (0 + n/(-4))*112/35 a multiple of 4?
True
Let y(b) = -b**3 - 5*b**2 + 80*b + 34. Is y(-14) a multiple of 29?
False
Let m(x) = x**3 + 5*x**2 - 2*x - 5. Let w be m(-5). Suppose -w*a = -5*p + 170, -5*a - 15 = -10*a. Does 37 divide p?
True
Does 37 divide (12 - 2)*(-2386595)/(-575) - -8?
True
Is 2426 + 1 - ((-14)/2 - -6) even?
True
Suppose -18*i - 17*l + 960418 = -21*l, 4*l = 3*i - 160093. Does 15 divide i?
True
Let p = -336 + 111. Let z = p - -393. Does 14 divide z?
True
Suppose 6*l - 32319 = -0*l - 21*l. Does 63 divide l?
True
Suppose -4*i = 0, 2*j = -4*i - 7687 + 21291. Is j a multiple of 111?
False
Let v be -4*4/32*30. Let d be ((-80)/(-75))/8 + 32/v. Does 5 divide (-1 - -5) + (19 - d)?
True
Suppose -831 = -8*v + 1. Let d = v + -64. Is d a multiple of 5?
True
Let f(o) = -7*o**2 + 373*o + 8. Is f(43) a multiple of 97?
True
Let j be (-4 - -2 - 48)*(-2)/(-5). Let q be j/2 + (2 - 0). Let s(p) = p**2 + 8. Does 36 divide s(q)?
True
Suppose 13*g - 3658 = -18*g. Let c = 232 + g. Does 35 divide c?
True
Let k be (-1 - 4) + 9 + 31/1. Suppose -34*r + k*r + 52 = 0. Let s = 36 - r. Does 24 divide s?
False
Suppose -72*o + 598558 = 48*o - 1591082. Does 30 divide o?
False
Let n be (-2)/8 + 14*75/40. Suppose 99 = -t + 4*s + n, 5*s = 5*t + 290. Let w = -29 - t. Is w a multiple of 6?
True
Let w(a) = a**2 - 2*a - 17. Let n be w(6). Suppose -n*s + 6760 = -2*s. Suppose -6*d - 2*d + s = 0. Does 39 divide d?
False
Suppose 7*r = 1638 - 665. Suppose 0 = -3*t + 4*n + r, -2*n - 182 = 5*t - 9*t. Does 9 divide t?
True
Let d(u) = -41*u**2 + u + 4. Let t be d(-4). Let k = -344 - t. Is k a multiple of 12?
True
Let j = -124 + 88. Let p = 22 - 39. Let d = p - j. Does 6 divide d?
False
Let t(k) = 144 + 22 - 4*k - 74 + 126. Is t(21) a multiple of 67?
True
Does 30 divide 2/(-8) - (-37244605)/820?
True
Let w be ((-140)/(-25))/(82/20 + -4). Suppose -3*c = -5 + 74. Let a = c + w. Is a a multiple of 6?
False
Suppose -4*g + 0 + 8 = 0, 2*s - 10 = -2*g. Suppose 2*m + s*x - 444 = 0, 4*x = 3*m - 680 - 3. Is m a multiple of 3?
True
Let x(w) = -6 + 117*w - 63*w - 63*w - 8*w**2 - 3