 most 158?
True
Let w = -7 - -5. Let o = 187 + -174. Let j be ((-1)/o)/(-5 - 174/(-36)). Is w bigger than j?
False
Let w = -4071 - -468168/115. Let x = 257/1035 - w. Which is smaller: -18 or x?
-18
Let c = 15546 + -15614. Which is bigger: 0.096 or c?
0.096
Let a = -51 - -42. Let l = -58 - -47. Let z = a - l. Does z = 0.2?
False
Let q = -63 + 64.064. Let v = 0.95 - q. Let s = v - -0.054. Which is smaller: s or 5?
s
Let m(j) = 7*j + 49. Let c be m(-7). Suppose c = 9*b - 16*b + 7. Do b and 2/1345 have the same value?
False
Let m = -52 - -97. Let v(x) = -110*x + 137. Let h be v(2). Let c = m + h. Is c < -40?
False
Let p = -34931/28 - -8745/7. Let b(u) = u**2 + u + 1. Let h be b(-3). Suppose -5*r + h = 3*a + 2, -3*a = r - 1. Which is smaller: r or p?
r
Let b = 9 + 21. Suppose 4*z + 0*j = 3*j + b, -3*z = 3*j - 12. Let c be (-3 - -3) + (8 - z). Which is bigger: 10/11 or c?
c
Let c(u) = 74*u - 517. Let l be c(7). Let x be 3 + 0 + 241/(-80). Which is smaller: l or x?
x
Let f = 0.05 + -0.16. Suppose r + 4*l + l + 12 = 0, -5*l = 2*r + 19. Let s be 9/12*6/(-63)*r. Which is smaller: s or f?
f
Let r = -57538/11 - -5234. Let s(n) = -n - 6. Let v be s(-8). Are v and r nonequal?
True
Let p = -6 - -10. Suppose 0*m = -p*m. Let a = -9173 - -119250/13. Which is smaller: m or a?
m
Suppose -85 - 85 = -2*r. Let t = -22325 + 22409. Is r bigger than t?
True
Let v be 185426/42 + 94/987. Are v and 4414 unequal?
True
Suppose 7*y + 5 = -23. Let m be (4 + 152/(-90))*10/y. Which is smaller: -6 or m?
-6
Suppose 39 = 77*d + 116. Which is smaller: -8 or d?
-8
Let r = 89 - 90. Let n be (35/72)/35 - (0 + 0). Is n > r?
True
Let r = -5247 - -5253. Let d be (1 + -5)/((-2)/4). Let m be ((-378)/396)/(0 - r/d). Which is smaller: 0 or m?
0
Suppose 0*l + 2*l = -20. Let r be (-16)/l*30/(-12). Let m be ((-3)/r)/(-18*(-8)/(-32)). Which is greater: m or -2/39?
-2/39
Let j(c) = -42*c**3 + 7*c**2 - 7*c - 25. Let f be j(6). Let y = 44623/5 + f. Does y = 37?
False
Let o = -25 - -13. Let g = 28 + o. Let b be (g/10)/(12/20). Which is greater: b or 4?
4
Suppose 13 = 5*k - 4*g, -k + 24*g = 25*g + 1. Is k at most 3/2369?
False
Let m = 22 - -32. Suppose -3*k + 1045 + 13 = 20*k. Which is smaller: k or m?
k
Let p = -5096 + 4719. Which is greater: 1 or p?
1
Let a be (-80)/(-13500)*(-9)/1698. Is 0 < a?
False
Let b be 184965/60 + 1*-1*(-32)/128. Which is bigger: b or 3087?
3087
Suppose 2*s + 4 = 0, -3*i + 0*s = 3*s. Suppose t = 10 - i. Is t < -2?
False
Let g = -613 + 615. Suppose 0 = -2*f - 3*n - 7, 0 = f + 3*n + 2 + 9. Suppose -5*z - 8 = l, -1 - 3 = g*l + f*z. Which is greater: l or -10?
l
Suppose 52 + 43 = -5*t. Let l = 1/4702 - 578353/32914. Is l bigger than t?
True
Let u = -8770140/1327 + 6609. Is -1 less than u?
True
Let a be (2/6)/((-3)/(-45)). Let o be 2 + (-2)/6*-3. Suppose -3*f + 28 = 2*f - 3*s, 2*s = -f + o. Is a not equal to f?
False
Let j = -26.385 - -30.73. Is j at least as big as 3/5?
True
Suppose u + 16 = 3*u - 4*z, -5*u = 4*z - 26. Suppose -4*h - 2 = -j, -10*j + h + u = -7*j. Is j not equal to -58?
True
Suppose 0 = -t + 5, -5*h = -3*t + 6*t + 2285. Let i = 423 + h. Which is greater: i or -31?
-31
Let z = -0.0709 + -431.9291. Let f = z + 432.4. Is f at most as big as -1/2?
False
Let y = -338 + 338. Suppose y = -f + 2, -9*t - 3*f = -4*t - 1. Which is smaller: -21/17 or t?
-21/17
Let b = -3171 - -3168. Which is bigger: -295/92 or b?
b
Let d = -572 + 542. Let j be (-6 - 198/d)*-3. Which is smaller: -2 or j?
-2
Let o be ((-1)/(-4) - 6850/40) + -3. Let z = -91 - o. Let q = z - 78. Is 0.4 < q?
True
Suppose 1089 + 276 = -39*y. Which is bigger: -9/8 or y?
-9/8
Suppose 2*d = -5*j + 4*d - 14, -5*j - 2*d = 26. Let g be (6/j)/((-74)/4). Let z be 2/8*(2 + 2). Which is smaller: z or g?
g
Let a(o) be the third derivative of o**5/15 - o**4/24 + o**2. Let d be a(1). Suppose 7 = -4*b + d. Which is bigger: b or -9/5?
b
Suppose -23*k + 11*k = 35*k - 175122. Is 3726 > k?
False
Let y = -8.1 - -1.1. Let q = 0.815 + -8.155. Let c = q - y. Are c and -1/3 nonequal?
True
Let s be ((-2)/8)/(5/4). Let x(i) = 3*i + 0 + 6 - 4 + 3. Let l be x(-2). Are l and s equal?
False
Suppose -20 = 5*x - 5. Let o be 24/(-1 + x) - 3. Let t = -3507 + 24495/7. Does t = o?
False
Let x = 0.013489 - 0.223489. Suppose 3*d = -4*o - 21, 2*o - 2*d - 2*d - 6 = 0. Which is greater: o or x?
x
Let o = -615 + 610. Let d be -2*(25/40)/o. Is -106 >= d?
False
Let w = -0.2 + 0.17. Let r = -7.078 - -7.1. Let v = -0.978 - r. Which is greater: w or v?
w
Suppose 0 = 2*n - 64*o + 61*o - 18, -o - 32 = -5*n. Let h be n/15*(-10)/8. Is h >= -10/9?
True
Let y = -221511 + 2440767/11. Is 378 <= y?
False
Let t = -1657 - -1657.1366. Let y = t - -70.7634. Let j = -71 + y. Is -1 > j?
False
Let f = -1614.651 - -14.651. Is f at least 2/9?
False
Let b = 519 - 519. Is b greater than or equal to 101/108?
False
Let f = 2458 - 2830. Which is bigger: 1 or f?
1
Let y(i) = 14*i + 2. Let l be y(5). Suppose 0 = 21*o - 3*o + l. Let c be (18/36)/((-2)/(o/(-19))). Which is greater: c or 0?
0
Let n(r) = r**2 + 2*r - 3. Let g be n(-3). Let c(o) = -7*o - 131. Let l be c(-18). Let k be ((-1)/l)/((-23)/115). Which is smaller: g or k?
k
Suppose 5*h + 8175 = d, 0 = 5*d + 4*h - 40983 + 166. Which is smaller: d or 8167?
d
Let v = 0.2 - 0.3. Let i(f) = 23*f**2 - 8*f + 13. Let q be i(4). Let u = -1389/4 + q. Which is greater: v or u?
u
Let c = 7.5 + -67.5. Let g = -60.48 - c. Let r = g + 0.88. Is r bigger than 0.01?
True
Let v be 5065/(-10)*(-24 + 2). Is v <= 0.1?
False
Let v(t) = t**3 - 7*t**2 + 14*t - 4. Let f be v(4). Let a be -1*(1 + 0) - (f - 7). Let w be (-1)/(a*(-4 + 164/12)). Is w equal to -1?
False
Let a(o) = -o**2 + 24*o - 20. Let s(l) be the second derivative of -2*l**3/3 - 22*l**2 + l. Let q be s(-16). Let d be a(q). Which is bigger: d or 61?
61
Let h be (-6)/38188*((-1144)/(-99))/(-26). Is -1 != h?
True
Suppose 5*o + 104 = -176. Let m be (4/24)/((-7)/o). Which is smaller: m or -14?
-14
Let r = -9464.12 + 9464. Let c = -1328/17 - -78. Is c < r?
False
Let f = -1/524 + 699/23056. Suppose 998*r + 366 + 632 = 0. Is r <= f?
True
Suppose 961 = 5*a - 4*g, 0 = -g - 8 + 4. Suppose 86 + a = p. Are p and 275 equal?
True
Suppose 5*w + 2*g = -82861, -891 - 65399 = 4*w + g. Which is greater: -16574 or w?
w
Let s = -1.1 - -0.1. Let k = -123 - -84. Let q = -30 - k. Which is bigger: q or s?
q
Let r(h) = -4*h + 38. Let y(s) = -s + 13. Let u(m) = -4*r(m) + 14*y(m). Let l be u(-14). Suppose -j = l, c + 3*j = -c - 8. Is -1/5 greater than c?
True
Suppose 40*z + 45*z = 28334 - 9039. Is 229 smaller than z?
False
Let n = 0.0813 + -0.0813. Let b = 0.161 - 74.161. Let x = b + n. Is x at least -2/3?
False
Suppose -589*w - 571*w + 1094*w - 66 = 0. Let i(k) = -k. Let h be i(-3). Suppose h*y + 3 = -0. Is y > w?
False
Let i be (-4)/8 - (-2541)/22. Do i and 114 have the same value?
False
Let f = -1460/161 + 202/23. Which is greater: f or -62.6?
f
Suppose -124*v - 45*v = 83*v + 19404. Let f(w) = -236*w**3 - w + 1. Let q be f(1). Let k = q + 158. Which is bigger: v or k?
v
Suppose -112*p = -105*p - 28. Suppose 4*l = -30*j + 31*j - 29, 5*j + p*l = 241. Let u(f) = -f**3 + 8*f**2 - 4. Let n be u(7). Are n and j nonequal?
False
Let v = -2223 - -2191. Is v greater than or equal to -32?
True
Suppose -12*b = 517 - 49. Let y = 16 + b. Are -27 and y unequal?
True
Let x be (35/(-140))/((-1)/((-1)/(-698))). Let o = 150785/47464 - x. Is o at most 3?
False
Let c be (-1)/(45/30)*((-69)/18 - -4). Let k = -2 - -2.5. Let i = k + -0.1. Is i at least as big as c?
True
Suppose 5*d - 15 = 0, -4*u + 253 = -3*d + 870. Is u equal to -150?
False
Let p be (1/(4/(-6)))/(95/10 - 8). Does -2/14005 = p?
False
Let v be -21 - -11 - ((-784)/(-8))/(-7) - 6. Let i be (-6)/(-23)*10/(-1). Which is smaller: v or i?
i
Suppose 62 = -18*f - 568. Let t be (14/f*5)/(-10). Is -19 equal to t?
False
Let w be (198/50 - 6) + (-14)/(-7). Which is greater: w or 3/5?
3/5
Suppose -g + 3*l + 2*l + 29 = 0, 6 = 4*g + 2*l. Let z be (2/g)/((-6)/(-2) - 1). Let b = -3.6 - -4.7. Which is smaller: b or z?
z
Suppose 28*k + 1572 = -2*m + 23*k, -m + k - 793 = 0. Is -803 at least as big as m?
False
Suppose 2*w - 13 = -5*i, -2*w + 4*i + 2 = -2. Let f(c) = 25*c - 28. Let b be f(-13). Let s = b - -1778/5. Is s >= w?
False
Let g(n) = -n**2 + 5*n - 8. Let c be g(6). Let z be ((-93)