19*j - 1074. Does 71 divide f?
True
Let d = -62 + 62. Suppose d = 6*u - 3491 - 5221. Suppose u + 1068 = 12*j. Is j a multiple of 30?
True
Is 46 a factor of (44 - (-2 - (-4 - -1)))*9?
False
Let i(b) = -b**3 + 14*b**2 + 14*b + 21. Let g be i(15). Let r be ((-58)/g)/((-284)/72 + 4). Let h = r - -271. Does 21 divide h?
False
Let x(y) = y**3 + 3*y**2 + 14*y + 47. Let n be x(-4). Let c be (-1 - (-147)/12)*4. Let q = c - n. Does 14 divide q?
True
Let w = 183 + -109. Let f be (-1 - (-6 + 0 + 5)) + 11. Suppose f*u - 3*z + 6 = 12*u, 3*u - w = 5*z. Is 2 a factor of u?
True
Suppose -45*p - 81188 = -5*x - 46*p, -3*x + 4*p = -48699. Does 22 divide x?
False
Let v = -390 + 594. Does 8 divide v + (-1 - -6 - 0)?
False
Let d be 4/(-8)*316*(-22)/(-4). Let r = d + 1314. Does 22 divide r?
False
Let s(q) = -q**3 + 2*q**2 + 8*q + 2. Let i(z) = -2*z**3 + 4*z**2 + 15*z + 3. Let n(x) = 4*i(x) - 7*s(x). Let u be n(-2). Is (-198)/(9/u*-1)*1 a multiple of 43?
False
Let x(p) = -p + 9. Let j be x(-5). Suppose j*h + 1416 = 8*h. Let l = 404 + h. Is 14 a factor of l?
True
Suppose -b = -0*g - g - 42, 3*b - 2*g = 130. Let q = b + -43. Suppose y + q*y - 460 = 0. Is y a multiple of 23?
True
Let t(w) = 86*w**2 - 130*w + 2366. Does 101 divide t(18)?
False
Suppose -6*j = -138 - 120. Suppose -16 = -3*k - j. Let f = 81 - k. Is 18 a factor of f?
True
Suppose 5*v + 2*x - 6980 = 0, 11*x = 48*v - 50*v + 2741. Is v a multiple of 56?
False
Suppose f - 2*a + 3 = 16, 0 = 5*f - 5*a - 40. Suppose -302 - 1015 = -f*h + c, h - 2*c = 434. Is h a multiple of 11?
True
Suppose -16*c + 6976 = -7664. Does 174 divide c?
False
Suppose 4*c = -212 + 1084. Let d = 149 + -238. Let x = d + c. Does 10 divide x?
False
Is (176920/34)/4 + (-16)/(-136) a multiple of 162?
False
Let s = -93 + 95. Let f(d) = 27*d**2 - 12*d**2 - 5*d**s + 9*d - 1 - 6*d**2. Is f(5) a multiple of 36?
True
Let q(c) = -1597*c - 7275. Does 106 divide q(-55)?
True
Let t be 0 - 16 - 0/1. Suppose 0 = -2*b - 2, -294*b = -3*z - 292*b - 1. Does 13 divide (t/(-2))/((-14)/(-13) + z)?
True
Does 200 divide ((-13)/(-5) - (-48)/120) + 4797?
True
Suppose 2*i + v = 6212, 390*i + 6220 = 392*i - v. Is 148 a factor of i?
True
Let k(n) = 8*n**2 + 4*n + 13*n**2 - 3*n + n + 20*n**2 + 1. Let l = -21 + 19. Does 22 divide k(l)?
False
Let h = -14 - -23. Let v = h - -54. Is v a multiple of 7?
True
Suppose -128617 = -2*d - 23*y + 18*y, -y = -5. Is 12 a factor of d?
True
Let s = -317 - -310. Let h(i) = 9*i**2 + 5*i. Does 13 divide h(s)?
False
Let y = -1904 - -7164. Does 19 divide y?
False
Let o = 1483 + 68. Is 37 a factor of o?
False
Suppose 1115 = u - 3*t - 1232, -5*u + 3*t + 11699 = 0. Is 132 a factor of u?
False
Let h be (1/5 + (-32)/10)*1. Let l be (6 - -3)*(-10)/h. Suppose r + 265 = 5*x - r, 0 = x - 5*r - l. Is x a multiple of 11?
True
Suppose -5*w = a - 10*w + 536, 3*w + 1007 = -2*a. Let q = a + 773. Is 31 a factor of q?
False
Let z = 140 + -135. Does 29 divide 1235/z + (1 + -6 - -3)?
False
Suppose -2*x = g + 7, 3*x - 9 = 4*x - 5*g. Does 13 divide 182/x*(-60)/21?
True
Let z(m) be the second derivative of -m**4/12 - 9*m**3/2 - 5*m**2/2 + 14*m. Let w be z(-22). Suppose -3*r + 105 = -u - u, -3*r + w = -3*u. Is r a multiple of 6?
False
Suppose -9*h + 7*h - b = -120, 4*b = -8. Suppose 22*l - h*l = -6357. Is l a multiple of 2?
False
Suppose 53*w = 50*w + 1830. Let l = 856 - w. Is 41 a factor of l?
True
Suppose 3*m - 60 = 4*x, -9*m = -14*m + 2*x + 100. Is m*2/10*6 a multiple of 12?
True
Let c = -12 - -47. Let a = c - 19. Suppose -120 = -18*r + a*r. Does 20 divide r?
True
Let k(o) = 2*o - 4. Let b be k(4). Suppose -3*x + b*a + 14 = 0, x + 4*a = -0*a - 6. Does 10 divide (12/15)/(x/150)?
True
Let t(m) = -m**3 + 8*m**2 + 20*m - 8. Let a be t(7). Let z = a + 159. Is 22 a factor of z?
False
Let r = -13 - -78. Let i = r - -207. Is i a multiple of 8?
True
Let u(b) = 39*b - 4. Let k be u(-1). Let j = -39 - k. Suppose -j*f = o - 88 + 12, 0 = 5*f - 4*o - 95. Is 3 a factor of f?
False
Let x(s) = 2*s + 25. Let q be x(-10). Suppose -2*r = -q*t + 25 + 16, 0 = 3*r + 3*t + 93. Is 10 a factor of (-1896)/r + 4/14?
False
Let s = 207 - -255. Let m = s - 295. Is 13 a factor of m?
False
Let k(g) = 238*g**2 - 59*g + 16*g - 30 + 12*g. Is k(-1) a multiple of 13?
False
Let i(b) = 6*b. Let y(m) = -16*m + 1. Let g(t) = -6*i(t) - 6*y(t). Let w be g(2). Does 4 divide w/3*(-6)/(-12)?
False
Suppose 2*o + 2*v = 1288, 0 = 2*o - 3*v + 606 - 1874. Is o a multiple of 40?
True
Let a(l) = -1405*l + 10674. Does 17 divide a(-11)?
True
Let h(p) = 53*p**2 + 94*p - 963. Does 69 divide h(12)?
True
Let k(s) = 13*s - 42. Let v be k(8). Let j = -60 + v. Suppose -3*h + 60 - 6 = f, -5*f - j*h + 270 = 0. Is f a multiple of 18?
True
Let a = 188 + -178. Suppose -a = -5*d, k = -d + 38 + 29. Does 13 divide k?
True
Let f(b) = -40*b - 10. Let a be f(-1). Let p = -45 + 64. Suppose -7*g + p = -a. Does 5 divide g?
False
Let d = 5204 - -1552. Does 69 divide d?
False
Suppose 29*r - 28575 - 15940 = 0. Is r a multiple of 9?
False
Let d(v) = 381*v**2 - 56*v + 24. Does 134 divide d(4)?
True
Let y = 8416 - 8106. Let s = 102 + -62. Suppose -9*k + y = s. Does 5 divide k?
True
Suppose 0 = -5*c + 2*b + 6, 11 = -3*c - b + 19. Is 16 a factor of (-8 - -322) + c + 4?
True
Suppose 9*y + 23702 = 58262. Is y a multiple of 4?
True
Let t(n) = n**3 - 11*n**2 + 11*n - 6. Let j be t(10). Let l be 3 - (2 + j/(-3))*-231. Let a = l + -6. Is 18 a factor of a?
False
Suppose 3*t - d - 691 = 7019, 0 = -3*d - 9. Suppose 5*h + n = t, 0*h = -4*h + 2*n + 2044. Does 12 divide h?
False
Let s be ((-49566)/(-8))/3*4. Suppose -44*r + 55*r = s. Is r a multiple of 31?
False
Let v(j) = j - 3. Let m be v(7). Let y(a) = a**3 - 15*a**2 - 45*a - 209. Let n be y(19). Suppose 8*s - n = m*s. Is s a multiple of 24?
False
Suppose -12*b = -8*b - 24. Suppose b = 3*m - 3*d, 4*m + 3*d + d = 24. Suppose -s + 24 = -2*g + 3*g, -5*g = -m*s + 51. Is 2 a factor of s?
False
Is 16 a factor of (-244160)/(-120) - (-40)/(-15)?
True
Let v(f) = -797*f + 27. Let w be v(-2). Let d = -936 + w. Does 30 divide d?
False
Let i(x) be the first derivative of 16*x**2 + 6*x + 22. Let s be i(2). Suppose -s = -2*d - 2*v, v = -2*v. Is d a multiple of 3?
False
Suppose -9*q = -12*q + 4*r + 12, 2*q = -5*r + 8. Suppose -2*b + 2*m = -106, -q*m - 10 = -2*m. Is b a multiple of 8?
True
Is 911228/84 - 82/(-1722) a multiple of 48?
True
Let j be 4/(-48)*-4 - 344/6. Let g = j - -57. Is 13 a factor of (-3 - -12)/((-2)/(-26) + g)?
True
Let g(j) = 21*j**2 + 117*j - 45. Let i be g(-6). Let h(m) = -7*m**2 + 24*m - 14. Let x(r) = -3*r**2 + 12*r - 7. Let p(b) = -2*h(b) + 5*x(b). Does 5 divide p(i)?
True
Suppose 30*o = 34*o. Suppose 4*w - 2*i = 36, o*w - 2*w - 4*i = -38. Suppose w*q + 14 - 542 = 0. Is q a multiple of 8?
True
Suppose 12 = 2*l + l. Suppose -168 = -4*q - l*u + 3*u, 4*q = -4*u + 180. Suppose 7*b = 8*b - q. Is 18 a factor of b?
False
Suppose -x + 4 = v, 3*v + 7 = 2*x - 6. Does 14 divide ((-28)/16 - v)*-504?
True
Let n be (-19)/2*(-9 + 7). Suppose -26 = n*u - 20*u. Is u a multiple of 13?
True
Let k(d) = -d + 5. Let v be k(0). Let b be (79 - -65) + (-8)/(-1). Does 8 divide -2*b/40*v/(-2)?
False
Suppose -77*n + 27 = -86*n. Is 24 a factor of (-2 + n)/((-3 + 5)/(-146))?
False
Let g(y) be the second derivative of -11*y**3/6 + 6*y**2 + 3*y. Let m be g(5). Let a = -16 - m. Is 9 a factor of a?
True
Suppose 6*t = 991 + 29. Let u be (-2)/9 - (-2980)/(-36). Let i = t + u. Is i a multiple of 29?
True
Let m(y) = -y**2 - 2*y. Let w be m(0). Let j(c) = -7*c - 40. Let u be j(w). Does 10 divide u*(4 - (-5 - -11))?
True
Let s(q) = 13*q**2 + q - 15. Let b(x) = x + 6. Let u(o) = -3*o + 14. Let j be u(8). Let y be b(j). Is s(y) a multiple of 33?
False
Let q(g) = -g**3 - 9*g**2 - 9*g - 66. Let l be q(-9). Suppose -139 = -l*b + 1901. Does 8 divide b?
True
Let h(t) = 3*t - 29. Let v = 140 - 95. Suppose -v = -6*c + 3*c. Is h(c) a multiple of 2?
True
Let y(q) = 2*q + 182. Suppose 0 = 4*p - 3*p - 4. Let t be (-30)/(-75) - -3*p/(-30). Is y(t) a multiple of 12?
False
Let c = -49 - -189. Suppose c = 8*m - 76. Suppose 0 = 31*r - m*r - 152. Is r a multiple of 5?
False
Suppose 1 = 3*j - 2. Let r be (-8 + 58)*(j + 0 - -2). Suppose 2*l - r - 206 = 5*q, 4*q + 352 = 2*l. Is 12 a factor of l?
True
Let r = 280 - -155. Let c = r + 29. Suppose -c = -7*u +