m. Which is smaller: n or -2/7?
-2/7
Let b = -87709/155 + -463/31. Which is smaller: b or -582?
-582
Let s = -353 - -343. Let c be 60/18*s/(-125). Let q(d) = d**3 - 6*d**2 - d + 6. Let m be q(6). Does c = m?
False
Let a = 4 + 1. Let s(m) = -20*m**2 + 42*m. Let n be s(2). Suppose -2*u + 2*l + 0 = n, a*u - l = 10. Is u at least 2?
True
Let m = -15 + -15. Let i = 36 + m. Let x be (12/(-8))/((-9)/i). Which is greater: 0 or x?
x
Let z be ((-7)/(-6))/((-2)/(-48)*4). Let g be 46 - 6 - 5 - z. Are g and 29 nonequal?
True
Let w be (-7 + 8 - 6) + 117. Let t = 88 - w. Suppose -x - x - 48 = 0. Is t at least as big as x?
True
Suppose 4*p = j + 28, 2*p - 5*j + 9*j - 32 = 0. Suppose -f + p*f = 63. Let a be f/2*(-9 + 1). Which is smaller: -37 or a?
-37
Let r(g) = -g - 13. Let f be r(-18). Suppose 0 = f*z + x - 30, 7 = 5*z - x - 13. Suppose -4*l + 20 = 0, 6*t - z*l = 3*t - 61. Which is smaller: -13 or t?
-13
Let a be 38682/(-294) - 6/14. Is -139 greater than or equal to a?
False
Suppose 57 = 2*f + 6*u + 19, 0 = -f + u + 7. Is f less than 167/19?
False
Suppose 0 = 280*b - 232*b - 22224. Is b less than or equal to 461?
False
Suppose -34*z + 777*z = -2229. Are -1263/7 and z equal?
False
Let u = -817/2 + 1633/4. Which is smaller: u or 44?
u
Let i = -9632 - -7680. Which is smaller: -1950 or i?
i
Let z(q) = 4*q**3 + 18*q**2 + 23*q + 22. Let t be z(-6). Which is greater: -331 or t?
-331
Suppose -2*r + 123 + 3 = 0. Let k(x) = -x**3 + 15*x**2 - 52*x + 89. Let i be k(10). Suppose r = -o + i. Which is smaller: o or 12?
o
Let i = 701 - 687.92. Let z = -3.08 + i. Is -1 >= z?
False
Let i be (-54)/72*(-6 + 4570/765). Let f(z) = -z**2 + 3 + 0 - 3*z + 0. Let q be f(-4). Is q at most i?
True
Let h = 731 + -730. Let o be (0/(h - -11))/(-1*2). Which is greater: -2/2163 or o?
o
Let j(c) = 34*c - 1088. Let y be j(32). Which is bigger: y or -2/39717?
y
Let n(x) = x**3 - 14*x**2 + 12*x + 13. Let v = -65 - -65. Let i be 12 + v + 5/5. Let k be n(i). Is 1/160 greater than k?
True
Let a be (-86 - -84)/(1*5). Is 15/101 less than or equal to a?
False
Let f(r) = -2*r**2 - 59*r - 52. Let j be f(-32). Which is greater: j or -209?
-209
Suppose -2372*f + 2377*f = 1645. Is 328 at most f?
True
Suppose 102*l + 23470 - 5782 = -9342. Is l at most -282?
False
Let b be (3 + 24/(-2))/(-1). Suppose -z + b = -8. Let m = 531 - 514. Is m < z?
False
Let m = 56/11201 - -33456827/112010. Suppose -k + 2*u + 279 = -3*u, -881 = -3*k + 4*u. Let z = m - k. Which is smaller: -0.2 or z?
z
Suppose 4*z = 4*v - 28, 3*v - 6*z - 12 = 21. Which is smaller: v or -44/173?
-44/173
Suppose -51*z - 2*r = -54*z - 4470, -r = -3*z - 4464. Which is smaller: z or -1485?
z
Suppose 14*a = 9*a. Let t be 18*((-10)/(-15) - a). Suppose -t*c = -11*c - 3. Is 3 != c?
False
Let w = 604 + -1380. Which is bigger: w or -773?
-773
Let l = 8934 + -8935. Let r be ((-4)/(-153))/(1 - 2). Is r less than l?
False
Let q = -56 - -11. Let s = q - -46. Is s less than or equal to -8/35?
False
Let x = 30595624/82089 - -17/11727. Let n = x - 373. Which is smaller: -22 or n?
-22
Let n(v) be the second derivative of -7*v**3/6 + 14*v**2 + 61*v. Let m be n(1). Is m greater than 31?
False
Let l be (-2)/(-15) + (-347648)/960. Is -1085/3 smaller than l?
False
Suppose 0*k = -5*k - 70. Let p = k + 21. Are 8 and p unequal?
True
Let i(l) = 73 - l - l - 4. Let x be i(0). Let v = -76 + x. Is -8 greater than v?
False
Let y = -12705 + 14784. Which is smaller: y or 2080?
y
Let w = 94 - 101. Let x(i) = i**2 - 6*i + 8. Let g be x(6). Let f = -15 + g. Is w > f?
False
Let w = 261259 - 5494604/21. Let q = w + 389. Let z(d) = 10*d + 19. Let a be z(-2). Is a != q?
True
Let p be 468/795 + 8/(-20). Suppose 56*j = 105 - 161. Which is smaller: j or p?
j
Suppose -310*v + 296 = -274*v + 5876. Are -145 and v unequal?
True
Let s = -6270/7 - -11003864/12285. Which is greater: s or -1?
s
Let i = 309537/2809454986 + -2/290173. Which is smaller: i or 0?
0
Let p = 1003.5 - 1029.5. Is p equal to 0.051?
False
Let s = -1131 + 987. Is s <= -1/23?
True
Let a be 1938/663*2/3. Is a smaller than 2?
True
Let g(u) = 45*u + 540. Let m be g(-12). Is -134/325 less than or equal to m?
True
Let a be (1252/18)/2 + (-2)/(-9). Let s = -12726/5 + 2579. Do s and a have the same value?
False
Let d = 1174 - 1175. Which is bigger: d or 13/25?
13/25
Let d = 8 + -1. Let k = -1 + 1.6. Let q = k - 0.6. Which is bigger: d or q?
d
Suppose 5*n - 20 = 0, -23*c + 22*c + n - 24 = 0. Let z be (-1)/(-3) + c/15. Do z and 4/19 have the same value?
False
Let i(f) = -12*f + 74. Let v(k) = k**2 - 8*k + 27. Let a be v(8). Let s = -20 + a. Let u be i(s). Which is smaller: u or -53/5?
-53/5
Let p be (-4131)/28448 - 2/(-7). Let j = p + -5/32. Let q = 719 - 720. Is j bigger than q?
True
Let t be (-4)/12504*-3*(-21 - -9). Which is smaller: 1 or t?
t
Let p = 294.7 + -291.4. Which is greater: -2/27 or p?
p
Suppose -2*n = 5*o - 5, o = -2*n + 5*n - 16. Suppose -a - m = -6*a - 2186, 5*a + 2178 = 3*m. Let j be 19/(-38) + (-225)/a. Which is bigger: j or o?
j
Let v(g) = 4*g - 126. Let n be v(35). Suppose 0 = 2*o + 4*q - 18, 5 = 3*o + 4*q - n. Is o greater than -3?
True
Let d = -514.5 - -471. Let m = -43.3 - d. Which is bigger: 65 or m?
65
Let v(m) = m**3 - 15*m**2 - 9*m + 19. Let s be v(13). Let d = -436 + -1. Is d less than or equal to s?
True
Let f be (-980)/147*(-438)/88. Is 33 at most f?
True
Suppose -9*j + 13*j = 552. Suppose -j = -16*t + 13*t. Let c = -45 + t. Which is greater: c or 4/21?
c
Suppose -6*w = -3*w - x - 4, 10 = 3*w + 2*x. Suppose 0 = 89*n - 68*n + 21. Let a be -6 - w/n - 204/(-52). Which is smaller: a or -1?
-1
Let b(t) = -t**2 + t - 6. Let y be b(0). Let l be (110/33)/((-4)/y). Let q = -65 - -74. Which is smaller: l or q?
l
Let a(q) = q**2 - q + 1. Let f(c) = c**3 + 15*c**2 - 2*c - 53. Let b(y) = -a(y) - f(y). Let j be b(-16). Which is smaller: 1/5 or j?
1/5
Let s = -101260 - -1140288862/11261. Which is smaller: 0 or s?
0
Let v = 8244 - 8504. Let d = -0.03 - -0.13. Is v > d?
False
Let x = 2169 - 2230. Suppose 0 = 2*w - 0*w - 120. Let p = x + w. Which is bigger: p or 2/23?
2/23
Let v = -14275 + 15455. Which is smaller: 1176 or v?
1176
Let k = -164 + -59. Let u = k - -6023/27. Let o = -37 + 40. Which is smaller: o or u?
u
Let c = -2 - -45. Let l = c - 41. Suppose l*g - u - 6 = 0, -5*g - u - 2*u - 7 = 0. Are g and -3/34 nonequal?
True
Suppose -445*j - 129131 = 96588 - 48609. Is j < -418?
False
Let x be -3 + 1 + (-4)/(-2). Let k = 121 + -118. Let m be 0 + (4 - k) - (-13)/(-14). Which is smaller: m or x?
x
Let n be 196/(-16) + 20*(-6)/(-12). Which is greater: n or -1/9?
-1/9
Let u(s) = -2*s**3 + 2*s**2 + 1. Let m be u(-3). Let y be (-372)/(-21576) + 8350/116. Which is smaller: y or m?
y
Let k = 341.5 - 332.5. Is 2/47 greater than k?
False
Let r = 488 - 647. Which is smaller: r or -1281/8?
-1281/8
Let n(l) = 11*l**2 + 3*l - 8. Let d be n(-4). Let v be (1 - 0)*(-24)/d. Let z = 2.17 - 0.17. Is v < z?
True
Let w = -1.86 - -359.86. Let b = w - 356. Which is smaller: 8 or b?
b
Let f = -5636 + 6118. Which is smaller: f or -1/5?
-1/5
Let x(w) = w**3 - 4*w**2 - 8*w + 16. Let u be x(5). Let c be 18 + ((-16)/4)/u. Let b = 21 - 9. Which is greater: c or b?
c
Let x be 18/(-8)*(-4)/(-1). Suppose -5538*c - 105 = -5523*c. Is x less than c?
True
Suppose 3*i = -29*i + 181 - 885. Suppose 0 = -4*z + 3*g - 85, 0*z + 2*g - 20 = z. Does z = i?
True
Let j = -10509 - -10509. Which is smaller: j or -19031?
-19031
Let h = 1314629/24 - 54788. Which is bigger: h or -12?
h
Suppose -y - 17*y + 90 = 0. Suppose -2*z = -3*z + y*k - 125, -4*z + 2*k = 518. Which is bigger: z or -128?
-128
Let q be (-3)/(-12) + (-87)/12. Let t = -9 - q. Let h be (-16)/t*(-15)/75. Is -1 smaller than h?
False
Suppose -24*c + 66*c - 24*c - 18 = 0. Is c equal to 8/311?
False
Let c = 23852093/1149 - 20759. Let i = 115/7277 + c. Which is smaller: 0 or i?
0
Let q = 420 + -416. Suppose q*a = -4*j + 24, 5*a + 2*j + j = 20. Let g be (1 - 1) + 2/(-6). Is a not equal to g?
True
Let r = 1749800/1387 + -23970/19. Which is bigger: r or -0.1?
r
Let l = -259 + 901. Let x = l + -634. Which is greater: x or 0?
x
Let y = -341 + 346.21. Let n = 2690.21 + -2690. Let m = y - n. Which is smaller: 9 or m?
m
Let d = -41104/11 - -48708251/13035. Let r be -2 + (-6)/4*-2. Which is bigger: d or r?
r
Suppose 0 