. Which is greater: i or h?
h
Let i = 33.43 + -33.53. Which is smaller: i or 18.54?
i
Let j(b) = 87*b - 3734. Let d be j(45). Is d < 163?
False
Let p = -662 + 1216. Which is smaller: p or 559?
p
Let m be 9*(-46)/(-6) - -5. Suppose -9*x = -m - 25. Let i(j) = -5*j - 1. Let p be i(x). Which is bigger: -55 or p?
-55
Suppose -12 = -0*l - 6*l. Let p be l + 4*(-3)/12. Which is bigger: 1/74 or p?
p
Let a(v) = 6*v + 96. Let m be a(-3). Suppose -4*p = 9*p + m. Which is smaller: p or 1.1?
p
Let o = 961/13169 - -4/1013. Is -55/2 at most as big as o?
True
Let l be 32/(-14) - (-3 + 1). Let c = -12545.8 + 12545. Which is greater: l or c?
l
Let h = 104 + -916/9. Let o be 14/((-16 - -71) + -41). Which is greater: h or o?
h
Let w(i) = 188*i + 5077. Let y be w(-27). Which is smaller: -1/3370 or y?
-1/3370
Let v = -360 + 264. Let k be 24/v + 10/8. Which is smaller: k or 6/11?
6/11
Let v be (-15)/6*(-8)/5. Suppose v*g - 140 = -112. Which is bigger: g or 3?
g
Let t = 2668 - 2638. Which is smaller: t or -38?
-38
Let g = -0.097 + 0.032. Let z = 0.135 + g. Let n = z - 0.07. Which is smaller: n or 0.3?
n
Suppose 4*h - 14 = 2. Let s be 84 - (-6)/(h - 6). Let o = -248/3 + s. Which is smaller: -2 or o?
-2
Let f = 7842 - 39141/5. Is f > 13?
True
Suppose -2*u + 264 = -35*u. Let p be 81 - ((-3 - -8) + u). Which is smaller: p or 83?
83
Let z = -5879.9 - -6349. Let n = z - 494. Let c = -25 - n. Are c and -17/5 unequal?
True
Let v = -12531537014769/2840 + 4412513091. Let x = 461/8 - v. Which is smaller: x or 0?
x
Let y = -50.27 + 0.27. Let l = y + 51. Let q = l - -1. Which is bigger: q or 0.1?
q
Let d(y) be the second derivative of -y**5/20 + 7*y**4/6 - 16*y**3/3 + 2*y**2 + 2*y + 10. Let s be d(13). Is s not equal to -243?
False
Let r(g) = -g**3 + 17*g**2 + 23*g + 20. Let i be r(18). Let x = i + -170. Let d be ((-5)/(-16))/((-9)/x) + -2. Is d <= -1?
False
Let f(g) = g**3 - 3*g**2. Let o be f(3). Let y = 739795 - 697626684/943. Which is smaller: o or y?
o
Let n(d) = -11*d + 24. Let j be n(-12). Let u = -1097/7 + j. Let o = -8.5 - -8. Which is smaller: o or u?
u
Let c = 5.9 - 5.78. Let p = -25.94 + 26. Which is bigger: p or c?
c
Let q be 16 + -10 + (-10)/((-286560)/(-171942)). Which is smaller: 1 or q?
q
Suppose 4*k - 19*o - 19 = -16*o, 5*k - 4*o = 25. Is 2/6841 smaller than k?
True
Let i = 29126 - 669922/23. Suppose 3 = 4*m + 7. Which is smaller: i or m?
i
Let k be (-24)/20 - 10/((-28700)/3474). Which is greater: 1 or k?
1
Let o be 2*(5/(-2) - -2) + 2. Let d = o + -18. Let r be (-7)/((-28)/(-12)) - 14. Are r and d nonequal?
False
Let w = 1 + 3. Suppose 3*b - w*b = 0. Let m be 1216/(-176) - (-7 + 1). Which is smaller: b or m?
m
Let y = -196 - -174. Let p be (y/12)/(-3*(-8)/(-144)). Do 12 and p have the same value?
False
Let n be (1/2)/(22/10824). Is n less than or equal to 59?
False
Suppose 0 = o - 3*y + 1, 4*y + 1 = 3*o - y. Let x be o + (-17)/(-10) + -4. Let i be (1/2)/((-2)/(-48)*4). Do i and x have different values?
True
Let o(p) = p**2 + 15*p + 72. Let k be o(-13). Let s = 507/4 + -127. Is s <= k?
True
Let l = 66141 + -66049. Suppose -c + 98 - 6 = 0. Is l at most as big as c?
True
Suppose -1 = 17*d - 35. Suppose d*m + 97 = -39. Which is smaller: -67 or m?
m
Suppose 74 - 29 = 9*y. Let k be ((-25)/(-15))/y*(3 - 0). Let x = 290 + -8119/28. Is k bigger than x?
True
Let u = -1198 + 2088. Suppose 134*d + u = 144*d. Which is bigger: d or 87?
d
Let r(o) = -o**2 - 5*o - 5. Let k be r(-4). Suppose -168*h = -185*h - 12053. Let w = 4948/7 + h. Is w at least as big as k?
False
Suppose 4*l - 708 = 5*u, 304 = -4*l + 4*u + 1012. Suppose -5*h - l - 308 = 0. Do -98 and h have the same value?
False
Let g = -100179.949 - -100248. Let q = -68 + g. Suppose 49*t = 41*t - 8. Is q at most as big as t?
False
Let a(q) = 2*q**2 - 35*q + 7. Let l(f) = -18 - 8*f - 17*f + f**2 + 8*f + 22. Let d(v) = 3*a(v) - 7*l(v). Let k be d(13). Do 6 and k have different values?
False
Suppose 4*y + 0*y = 424. Suppose -y*v = -102*v + 8. Are v and -4 equal?
False
Let l(c) = -c**2 - 6*c + 26. Let r be l(-9). Let s be 5/4*76*(r - -2). Let v be ((-418)/s)/(4/(-10)). Is 13 at least v?
True
Suppose z = 6*z + 5*z. Suppose -3*l - 13*l - 16 = z. Do -17 and l have the same value?
False
Let w(g) = -5*g**2 - 336*g - 357. Let o be w(-64). Are 656 and o equal?
False
Let f(n) = -n**3 + 9*n**2 - 8*n + 1. Let u(z) = -14*z + 9. Let d be u(-2). Let j = d + -29. Let k be f(j). Which is smaller: k or -2/9?
-2/9
Let y be -9 + (-3172)/(-10) + 15/75*4. Is y <= 12?
False
Let m be (-59)/(-3) + 2/6. Let u = 17566 + -17546. Is u at least m?
True
Suppose -21*b - 92 = 76. Let m(v) = 4*v + 33. Let l be m(b). Which is bigger: l or 2?
2
Let g = -200/87 - -7504/3567. Is g at least -4?
True
Let r(w) = -2*w - 20. Let j be r(-5). Let v be 6*6/(-9) - j. Suppose 4*n - 3*h = -5, 3*h - v = n + 2*n. Which is greater: -1/8 or n?
n
Let i be 5/20 + ((-198)/(-8))/(-3). Let y be (28/i)/((-2)/(-132)). Let w = 1381/6 + y. Which is greater: w or -2?
w
Let u be -3*3/(-9)*-53. Let s = 463 - 463. Suppose s = l - 10*l - 477. Is u >= l?
True
Let r = -118.6 + 74.9. Let k = 0.06 - 44.06. Let y = k - r. Are 5 and y unequal?
True
Let i(r) = 64*r**2 - 20*r - 47. Let u be i(-3). Do u and 2353/4 have the same value?
False
Let f be 276/24*(-192)/(-132). Is f at most 16?
False
Let k = -520.7 - -544. Let l = k + -23. Is l greater than or equal to 1.09?
False
Let m be (-2)/2*(172/16)/(-43). Which is greater: m or 2603?
2603
Suppose -1586 = -3*r - g, -r - 3*g - 1072 = -3*r. Suppose -265*x + 260*x - r = 0. Which is bigger: x or -211/2?
-211/2
Let b = -173 + 116. Let t = 56.71 + b. Let n = 1.29 + t. Which is bigger: n or 4?
4
Let r = -15.42 + 9.92. Let v = 13 - 8.5. Let m = r + v. Which is bigger: 29 or m?
29
Let u(w) = 5*w**2 - 171*w + 468. Let r be u(3). Is r at least -1/2?
True
Let t = -20094 - -20095. Is t > -0.8946?
True
Let b = 56757/14 + -8203/2. Which is smaller: 0.15 or b?
b
Let j = -1347672/113 + 11926. Which is bigger: j or 0?
0
Suppose 1455 = -28*p - 104189. Which is bigger: p or -22645/6?
p
Let s = -11766 - -13524. Which is smaller: s or -2?
-2
Suppose 4*x = 26 + 98. Let j(n) = 7*n - 52. Let l be j(3). Let k = x + l. Is k <= -2?
False
Let p be (4/(-3) + 1)/((-4)/492). Suppose 45 = -3*r - 3*y, r - 4*r = -y + p. Let h be r/(-12) - 5/30. Is h smaller than -1?
False
Let d = 3438 + -41257/12. Which is greater: d or -2/445?
-2/445
Suppose -2*x + 3*o - 2694 = 0, 4*x + 3*o = -x - 6693. Is -1341 smaller than x?
False
Let d be ((-2261)/(-266))/((-2)/(-20)). Let o be 1 - (-85 + (-6)/(-3)). Is d greater than o?
True
Let c be (((-136)/30)/(-2))/((-328)/(-5330)). Which is smaller: c or 38?
c
Let d = -3936 + 3935.9974. Is d less than -2?
False
Suppose 0 = -71*d + 1658 - 2723. Are d and -847 unequal?
True
Let p(v) = -v**3 + 2*v**2 + 119*v - 11. Let h be p(-10). Which is smaller: 97 or h?
h
Let d = 32 - 98. Suppose -148*h = -106*h + 2772. Is d at least h?
True
Let q be (790/50 + -16)*-2*5/(-4). Which is greater: q or 414?
414
Let p(y) = -4*y**2 - 95*y + 27. Let c be p(-24). Suppose -4*f + 0 = c*l - 13, -4*f + 20 = -4*l. Are 18/49 and l nonequal?
True
Let q = -108106 + 108107. Let b be -1 + (-2)/(130/(-59)). Is q > b?
True
Let a = 62 + -39. Let r = 12 - a. Let m(f) = f**3 + 11*f**2 - f - 1. Let j be m(r). Is j at most 9?
False
Let s = -4562 - -77578/17. Let t(j) = -37*j - 1220. Let y be t(-33). Is s less than y?
False
Let j(t) be the second derivative of t**5/10 - t**4 - t**3/6 + 3*t**2 + 35*t. Let v be j(6). Which is greater: 5/43 or v?
5/43
Let y = -228/13 + 443/26. Is y less than -0.00708?
True
Suppose -3*i = -4*i - 3*j - 14, i + 5*j = -20. Let s = 14 - 16. Let u be -8*1/s*-1. Which is bigger: u or i?
u
Suppose -28 = -2*x - 2. Suppose 0 = -5*d + 10 + 15, 5*d = -3*c + x. Let p(s) = -2*s**2 - 6*s - 5. Let o be p(-4). Which is smaller: c or o?
o
Suppose -7*p + 477 = -195. Suppose 3*s + 6 = -p. Let g(a) = 5*a - 48. Let r be g(3). Which is smaller: r or s?
s
Let w be (-162)/(-15)*180/27. Suppose -8*k + 4*k = -w. Is k at least as big as 18?
True
Suppose 3*u + 2 + 7 = 3*x, 3*u - 1 = -2*x. Suppose -9*q = -x*q - 7. Let f be q/106*(-12)/3. Is -0.1 <= f?
True
Let f be ((-5)/9)/(552/144 - 3). Are 1352.4 and f equal?
False
Let b be (-10)/(-100) + (-804)/40. Let j = -15 + -4. Let g = j - b. Is g gr