Let o(u) = -u**3 - 5*u**2 + 4*u - 2. Let c be o(-6). Is x(c) a multiple of 5?
True
Let l be (-1)/(2/(-1) - -3) - 155. Does 9 divide 25/(-3)*(-7 - l/30)?
False
Suppose 0 = -3*q + 3*x + 249, -3*q - 4*x - 40 = -254. Let d = q + 63. Is d a multiple of 21?
False
Let v(z) be the first derivative of z**4/4 + 4*z**3/3 - 9*z**2/2 + 4*z - 227. Is v(7) a multiple of 24?
True
Suppose -6*n + 8*n + 12 = 0. Let r(k) = k**2 + 10*k + 21. Let b be r(n). Does 10 divide 62/b*12/(4/(-1))?
False
Suppose 264 + 42 = -9*f. Let j = -15 + -38. Let m = f - j. Is m a multiple of 4?
False
Is 58 a factor of ((-125)/(-100))/(2/14592)?
False
Let i(d) = -835*d - 7 + 19*d**2 + 3 + 842*d + 13*d**2. Does 10 divide i(-2)?
True
Suppose 0*s - s = -3*c + 142, -172 = -3*c - 5*s. Let d be (-40)/(-30)*(3/(-6) - -2). Is (c/14)/(d/20) a multiple of 15?
False
Does 85 divide 718 - -15 - (-3 + -1)?
False
Let f be (-27 - (-4 - 2)) + 2 + -1. Let h be (16/16)/(2/f). Is 1/h*270/12*-4 a multiple of 3?
True
Let q(m) = 180*m - 32. Does 11 divide q(19)?
True
Let l(a) = -26*a - 130. Let w be l(-5). Suppose w = -9*v + 406 - 46. Is 10 a factor of v?
True
Let q(a) = 2*a**3 + 13*a**2 + 4*a. Let i be q(7). Let k = -763 + i. Is k a multiple of 24?
False
Is 64 a factor of 36*-3*(1/4)/((-21)/448)?
True
Is 18 a factor of (((-5)/5)/(5/(-14270)))/(4/8)?
False
Let r = -33 + 32. Let u be (6 - 7) + (168 - r). Let c = u + -88. Is c a multiple of 16?
True
Suppose 5*k = 1 - 16. Let c be ((-27)/18)/(k/(-4)). Does 19 divide 1 + 2 + -4 - 54/c?
False
Suppose -6*f = 38*f + 34*f - 909792. Is 108 a factor of f?
True
Let q(i) = -2*i**3 + 106*i**2 - 19*i + 185. Does 52 divide q(51)?
True
Let z(a) = -2*a - 16. Let b be z(-6). Let p(n) = 93*n**2 - 2*n + 7. Let t(g) = -95*g**2 + 2*g - 6. Let j(o) = b*t(o) - 3*p(o). Is j(1) a multiple of 6?
True
Let q(r) = r**2 - 5*r - 5. Let d be q(5). Let c(u) be the second derivative of -8*u**3 - 21*u**2 + 856*u. Is 10 a factor of c(d)?
False
Suppose -4*p + 2 = -2. Let m = 226 + -368. Is p*(-3 - (-3 + 3)) - m a multiple of 43?
False
Suppose 0 = 175*p - 31869 - 43906. Does 4 divide p?
False
Let x(m) = -m + 2523. Is 49 a factor of x(60)?
False
Suppose -6*c - 15 = -c, -5*h - c = -12. Suppose 0 = 4*i + h*w - 158, 3*i + i = 3*w + 146. Suppose y = 162 - i. Is y a multiple of 18?
False
Let q(v) = 10*v**2 + 33*v + 160. Is 35 a factor of q(13)?
False
Let u(x) be the third derivative of x**6/120 + 13*x**5/60 - 3*x**4/8 + 31*x**3/6 - 110*x**2. Is 9 a factor of u(-13)?
False
Let f(w) = 2*w**2 - 17*w + 8. Let s(b) = b**2 - 2*b. Let j(x) = -f(x) + 5*s(x). Suppose 3*m + 3*p - 21 = 0, 4*p - 7 + 33 = 5*m. Does 29 divide j(m)?
False
Suppose 2*h - 73 + 17 = 0. Suppose -1425 = -2*y - 3*i, -24*i + 1460 = 2*y - h*i. Is 8 a factor of y?
True
Suppose -11*b + 4568 = -10535. Is b a multiple of 27?
False
Let d be (-12)/(-30)*(-15)/(-2). Suppose -n = 3*j - d, -j = 5*n - 13 - 2. Suppose j = q - 37 - 39. Is 21 a factor of q?
False
Suppose 1921*b = 934*b + 960*b + 766422. Is b a multiple of 221?
False
Let y be (14/(-10) + (-4)/(-10))*59. Let z = y - -81. Suppose -l = -c - z + 85, 0 = -3*l + 12. Is c a multiple of 11?
False
Let m be 1494 + -47 - (-1 + 0). Suppose 4*n - 1444 = -2*r, 4*n - r - m = -5*r. Is n a multiple of 48?
False
Let s(w) = -w**2 + 9*w + 2. Let n(u) = 4*u**2 - 37*u - 8. Let f(j) = 2*n(j) + 9*s(j). Let q be f(6). Suppose -20 = q*t - 796. Does 25 divide t?
False
Let m = 30 - 64. Let c = 37 + m. Suppose -36 = -b + 3*w + 4, 4*b - 220 = -c*w. Is b a multiple of 17?
False
Let l(p) = 3*p**2 - 109*p + 1991. Is l(30) a multiple of 29?
True
Suppose w = -2*w - 84. Let v = -21 - w. Let a(t) = -t**3 + 9*t**2 + 2*t + 3. Is a(v) a multiple of 23?
True
Let r(k) = -k**2 - 24*k - 109. Let b be r(-7). Let u = b + 22. Is u a multiple of 8?
True
Suppose -21*i + 80*i = 342790. Is 26 a factor of i?
False
Let l = 38443 - 24355. Is 12 a factor of l?
True
Suppose 12*k = -17685 + 52845. Is k a multiple of 10?
True
Let c(z) = -2*z**2 + 14*z - 12. Let p(u) = -2*u**2 + 15*u - 13. Let g(k) = 6*c(k) - 5*p(k). Let n be g(-8). Let t = -94 - n. Is t a multiple of 7?
False
Suppose 5*q = 3*s - 35, s + 2*q + 71 = 6*s. Does 35 divide ((-50)/s)/((-1)/84*1)?
True
Let t(c) = -10*c - 69. Suppose -58*x = -56*x - 34. Suppose -2*k = -4, -5*k = -s - 2*k - x. Does 38 divide t(s)?
False
Let n(l) = -l**3 - 11*l**2 + 12*l + 6. Let a be n(-12). Suppose -y + 4*h + 317 = 0, 3*y - 5*h = -a*h + 951. Let f = y + -160. Does 19 divide f?
False
Let z(q) = -57*q + 2218. Does 79 divide z(-33)?
False
Let h = 411 + -168. Let q = -200 + h. Does 5 divide q?
False
Let j(i) = i**2 - 8*i + 27. Let r be j(5). Suppose -r*d = -d - 792. Does 8 divide d?
True
Is 62 a factor of (-4 + 1120)*33/22?
True
Let l(v) = 2*v**2 + 122*v + 380. Does 9 divide l(43)?
True
Let l = 352 + 436. Is 14 a factor of l?
False
Let c(f) = -3*f - 7. Let v(t) = -5*t**3 - t**2 - 3*t - 1. Let h be v(-1). Suppose -h*y + 3 = 21. Is c(y) a multiple of 2?
True
Let v = -255 - -395. Does 7 divide v?
True
Suppose -2*m - 5*l = -3788, m + 5*l - 1920 = 9*l. Is m a multiple of 128?
False
Suppose r - 7*r - 6 = 0. Let d(a) = a**2 - 9*a + 13. Let w be d(6). Is 3 + 1 + 24 - (r - w) a multiple of 12?
True
Let b(w) = -18*w + 302. Let n be b(19). Is 18 a factor of 3/(18/1040) - n/(-120)?
False
Suppose 2*f = p - 10, -2*f - 3 + 5 = 5*p. Suppose -p*b + 174 = 6. Is b a multiple of 3?
True
Suppose 0 = -35*r + 33*r + 268. Suppose p - r + 44 = 0. Does 9 divide p?
True
Suppose 2*a - 2*m - m = 31, 0 = -4*a + 2*m + 50. Suppose 0 = 2*k + 5*d - 43, 7*k - a*k = -4*d - 16. Does 3 divide k?
True
Let g = -301 - -259. Is (-3 - g/30)*-60 a multiple of 4?
True
Suppose -3*s + 1417 = -4*w, 2*s - 2*w = -4*w + 926. Suppose -625 = -3*f + s. Is 13 a factor of f?
True
Let t be 114/18 - (-2)/(-3)*-1. Let o be 3 + 496/t - 5/(-35). Suppose v = -5*g + 27, 5*g = -4*v + 2*g + o. Does 5 divide v?
False
Suppose -2*s = 2*p - 22574, -22574 = 13*p - 15*p + 2*s. Is 35 a factor of p?
False
Let u = 7878 - 4952. Is u a multiple of 133?
True
Let y(d) = 2*d - 214. Let b(o) = 3*o - 107. Let j(g) = 5*b(g) - 3*y(g). Is 34 a factor of j(45)?
False
Suppose -5*k + 2*b = -213366, 0 = 4165*k - 4166*k + 3*b + 42681. Is k a multiple of 168?
True
Suppose 7*i + 1813 = 11564. Is 12 a factor of i?
False
Let d(u) be the third derivative of -u**5/20 + 5*u**4/24 - 5*u**3/6 + 39*u**2. Let a(y) be the first derivative of d(y). Is a(-1) even?
False
Let q(w) = 108*w + 216. Let z be q(22). Suppose 3*c = 5*g - 2596, 27*g - z = 22*g + c. Is 14 a factor of g?
True
Suppose -169722 = -118*j - 8*j. Does 71 divide j?
False
Suppose 4*d - 22710 = -5*n, -4*n - 5709 = -11*d + 10*d. Is d a multiple of 12?
False
Let u be 9*(-4)/(-24)*(-2248)/(-12). Let w = u - 145. Is w a multiple of 6?
False
Let s(u) = -1. Let k(w) = -58*w + 19. Let j(n) = -k(n) + s(n). Let x be j(10). Suppose 6*p - x = 2*p. Does 28 divide p?
True
Let h(r) = -r**2 + 11*r - 32. Let q be h(0). Let i(a) = -a**3 - 31*a**2 - 14*a - 59. Is 29 a factor of i(q)?
False
Let p(g) = g**3 - g**2 - 3*g + 3. Let t be p(1). Suppose r - h - 124 = t, 0 = 3*h - 2*h + 2. Is 23 a factor of r?
False
Is (1397/33 + -22)/(2/1584) a multiple of 132?
True
Suppose 2*z - 196*x - 6534 = -197*x, 16335 = 5*z - 3*x. Is 121 a factor of z?
True
Let i be 5*((-32)/20 + 2). Is i/7 + 4462/14 a multiple of 16?
False
Let z(t) be the second derivative of t**4/12 + t**3 - 14*t**2 - 44*t. Is 2 a factor of z(-11)?
False
Let c(x) = 2*x**2 + x + 228. Let p(j) = -j**2 + 10*j - 16. Let a be p(8). Let r be c(a). Suppose -444 = -2*k + 4*m - 2*m, -r = -k - m. Is k a multiple of 37?
False
Let t be ((-75)/(-125))/(3/10). Suppose -2*p + m + t*m = -84, 0 = 3*p + m - 126. Is p even?
True
Is (-25)/(575 + 0) - (-665438)/46 a multiple of 79?
False
Let h be 4/14 + 459/(-63). Let j be 2 + (-2 - 2) - h. Suppose j*a = 382 + 668. Is a a multiple of 15?
True
Let i = -9 - -3. Let s(d) = 3*d**2 + 2 + 0*d**2 + 3*d**2 - 3*d**2 - 2*d**3 - 6*d - 13*d**2. Is s(i) a multiple of 10?
True
Let g = 43 + 262. Is -5*g/75*-6 a multiple of 21?
False
Suppose 20 = b + 3*b. Let p be 46*3/(-7)*(-119)/102. Suppose -2*a - 196 = -5*c, 3*c - 2*c - p = -b*a. Does 13 divide c?
False
Let d(p) = p**3 + 10*p**2 - 13*p - 17. Let h be d(-11). Suppose -3*f + h*w - 8 = f, -w + 13 = 3*f. Does 35 divide -20*(-15)/f + -2?
False
Le