**3 + 3*o**2/2 - 27*o + 7. Let x be l(5). Let j = x + 62. Which is smaller: -24 or j?
j
Let c(t) = 9*t**2 - 5*t**2 - 3 - 3*t**2 + 1 + 13*t. Let w be c(-16). Let r be (1 + (-4)/3)*69/w. Which is smaller: -0.12 or r?
r
Suppose 0 = 3*w - h - 66, 0 = -4*h - 9 + 21. Suppose 0*j + j - w = s, 5*s + 3*j = -123. Which is bigger: -101/4 or s?
s
Let s = -4.07 - -3.6. Let y = s - -0.457. Let k = y - -1.013. Is -0.17 greater than or equal to k?
False
Suppose 6*n + 21167 = -25891. Let z be n/165 + 2/10. Are z and -47 non-equal?
True
Let v(m) = -4*m**3 - 2*m**2 + 2*m + 1. Let z = -34 + 32. Let y be -2 + (-2)/z - (1 + -4). Let n be v(y). Is -34 > n?
True
Let s(x) = 124*x + 281. Let g be s(4). Let f = g - 776. Which is greater: f or 3/626?
f
Let y = -4837 - -4837.1. Which is bigger: y or -568?
y
Let u be -8 + (16/(-136) - (-6900)/561) + -4. Do u and -646 have the same value?
False
Suppose 3*q = -9 + 6. Let p be 2/(-1) + (-62 - -69 - 1133/227). Which is bigger: q or p?
p
Let n be (85/10 - 6) + (-297)/18. Suppose 0 = 4*r - 4*l - 20 + 60, 5*r - l + 66 = 0. Is n at most r?
True
Let j = -21907 - -3417511/156. Which is smaller: j or -1?
-1
Let x be ((-6)/(-7))/((-62425)/509810) - (-3 - 4). Which is smaller: x or 0?
x
Let j = 543 - 490. Suppose 4*c - 78 - 144 = 2*y, -5*y - 225 = -4*c. Is c < j?
False
Suppose 0 = 4*k + w - 371 + 97, -216 = -3*k + w. Let p(y) = y**3 + y - 8. Let j be p(0). Let l be (-2)/j*4 - k/(-6). Does l = 13?
False
Let g be (-41959)/(4 + (-51)/(-9)). Let f = -4341 - g. Are -1 and f unequal?
True
Let u = -6.068 + 6.86. Which is smaller: -1 or u?
-1
Let p be (-31 + 299)*6/120. Which is smaller: p or 12?
12
Let t(g) = 6*g**3 + 2*g**2 - 1. Let n be t(1). Suppose -3*y + 16*y + 150 = 63*y. Suppose 109 = -2*m - 3*o, n*m = y*m - o - 223. Which is smaller: -57 or m?
-57
Let d = -0.3384 + -0.6616. Let g = -0.25 - -10.25. Is g > d?
True
Let o be -1 + -1*49001/4. Let h = o + 12101. Let b = h + 39073/260. Do -1 and b have the same value?
False
Suppose 12*k - 12 + 1 = 13. Do 30/13 and k have the same value?
False
Let l be (18/130665)/((-511)/(-70) + -7). Is l at least as big as 1?
False
Suppose l = -c + 51, -4*l + 2*c + 3*c = -159. Which is bigger: 48 or l?
48
Let f be (15/20)/(9/(-60)). Let x(i) = 16*i + 110. Let l be x(f). Suppose -64 = -4*s + 60. Which is bigger: l or s?
s
Let b(d) = 8*d**2 - 10*d - 62. Let w be b(-4). Let f = w + -68. Is f at most as big as 39?
True
Suppose -5*x - 128 = -7*x. Suppose 86 + x = 10*r. Suppose 0 = -n - 5*a - 2, -2*n = -a - r - 25. Which is smaller: n or 0?
0
Let q = -0.0441 + 27.2441. Let d = 27.49 - q. Which is greater: d or 8?
8
Suppose 2*a + 0 - 4 = 2*h, 2*a + 3*h - 29 = 0. Suppose 69 = -4*j - a. Which is bigger: j or -20?
j
Let i be (-316562)/(-20)*70/(-36). Let d = i + 30839. Let y = -245/4 + d. Does 0 = y?
False
Suppose -2*p - 20 = s + 8, -7*p - 34 = -2*p + s. Let q = -5.6 + 9. Let v = 0.8 + q. Which is smaller: p or v?
p
Suppose -9*b + 18 + 0 = 0. Suppose 0*h = b*h - 20. Suppose -3*f + 2 = -t - 10, 2*f = h. Do 0.07 and t have the same value?
False
Let a be -4*(14/(-77))/((-6)/1). Suppose -4*g = 8, 2*g = 3*h - 4 - 6. Suppose -h*u = -4*l, l - 4*u + 5 = -2*l. Which is smaller: a or l?
a
Let q = -762 + 764. Suppose 24*j = -q*p + 27*j + 3, -4*p + 3*j + 3 = 0. Which is smaller: -2 or p?
-2
Suppose 2*q = -3*i + 13, -5*q = -2*i - 0*i - 4. Suppose z = -5*c + q, 5*c - 2 = -2*z - 3. Let k = -4/2257 - 13322/124135. Which is smaller: c or k?
k
Suppose 0 = y + 2*o - 17, 14 - 3 = -2*y + o. Which is bigger: y or -9/1417?
-9/1417
Let m = 39 - 46. Let c = m + 7.46. Let a = 0.46 - c. Which is smaller: -11/3 or a?
-11/3
Let b be 284/(-71) + 2655/2615 + 3. Is b < 1?
True
Let y be (47/(5640/48))/(24/10). Is y not equal to 4?
True
Let c be 3*(-36 - (-18 + -4)). Let g be 2*-1*(-1 + -19). Let q = g + -82. Is c smaller than q?
False
Suppose 12*v + 11*v = -3956. Let m = v - -174. Which is greater: 9 or m?
9
Let o = -720 - -720.0708. Let r = o + -0.0808. Is 4 smaller than r?
False
Let x = 4 + 3.4. Let n = x + -8.07. Let i = 0.37 + n. Which is smaller: i or -2?
-2
Suppose -2*l + 1 = t + 12, 2*t - 13 = 3*l. Let r be (2 + 4)*l/2. Let z = 80772 + -80788. Is z <= r?
True
Let l(c) = c**2 - 3*c - 4. Let r be l(5). Let j be (-1 - -5 - 27/r)*2. Let y be (-12)/90 + 116/1095. Which is greater: y or j?
y
Let d = 21 + -9. Let o be (-7)/(-3)*3 + (-115)/23. Let q be (1/(-3))/((2/(-39))/o). Which is smaller: d or q?
d
Let h = -6737 - -5820. Is 0 at most as big as h?
False
Suppose 2*m - 1698 = -568. Is m <= 565?
True
Suppose -5*p + 289 = 2*i, -3*p - 5*i = -0*i - 181. Let d = p + -49. Suppose -2*x = -2*l - d, 0*l - 6 = 2*x + 5*l. Which is bigger: x or 0.01?
x
Let w(o) = -5*o**2 + 76*o - 24. Let l(x) = -2*x**3 + 72*x**2 + x - 22. Let t be l(36). Let m be w(t). Do 10 and m have the same value?
False
Let b = 0.599 - 0.815. Let i = 0.316 + b. Which is smaller: -118/5 or i?
-118/5
Let j = 61 - 25. Let v = j + -34. Let b be v/9 - 114/27. Is b < -6?
False
Suppose -5*f = 3*m - 0*f - 140, 0 = 5*m + 3*f - 228. Let s be (42/m)/7 + (-48958)/210. Is -234 less than s?
True
Let g = 33/4 + -15/4. Let h = -97/6 + g. Let s(n) = 6*n + 197. Let x be s(-35). Is h at most as big as x?
False
Let d be (16/(-12))/(-6 - (4 - 14)). Let j = 6 - 6.3. Let i = j + 0.22. Which is bigger: i or d?
i
Let t = 279 + -285.08. Let k = t + 384.08. Is 2/5 equal to k?
False
Let w = -251774/26104605 - -2/31263. Which is smaller: 1 or w?
w
Let x = 10035 + -10056. Are -55 and x equal?
False
Let n = 3908 + -3746. Is n less than 142?
False
Let t = -6930 - -6932. Which is smaller: t or 6/2689?
6/2689
Let a = 2.5545 + -2.6445. Which is smaller: -682 or a?
-682
Let c = 1642 + -438. Is -1 >= c?
False
Let f(s) = -898*s + 17075. Let k be f(19). Let v(m) = 2*m - 7. Let a be v(6). Let g be (18/10 - -1)*a. Which is bigger: k or g?
g
Let n(r) = -r**3 + 17*r**2 + 14*r - 62. Let p be n(24). Is -3758 smaller than p?
False
Let o be (-6 - -8 - 5)*(1 + -2). Suppose 0 = 4*g, 5*g = -o*a + 6*g - 1347. Are -449 and a equal?
True
Let t = -21.17 - -21.4. Let q = t - 0.13. Is q greater than or equal to -7/4?
True
Let f(k) = -k**2 + k - 1. Suppose 5*h - 4*l - 25 = 0, -5*h = -0*h - 2*l - 15. Let q be f(h). Let z(g) = -2*g - 4. Let b be z(q). Which is smaller: -4/3 or b?
b
Suppose -4*l = -4*q - l, l = -5*q - 19. Let z be -1*(12/4)/q. Let d = 3112/11 + -283. Which is smaller: z or d?
d
Let d be (-29574 - 6 - 5)*12/20. Do d and -17750 have the same value?
False
Let w be ((-6)/(-20)*(-248)/124)/((-1146)/4). Does w = -10?
False
Let v = -18.042 - -18. Let x = 46.958 - v. Let u = -45 + x. Which is bigger: u or -0.07?
u
Suppose -11*t = 8288 + 28760. Is -3367 at most t?
False
Suppose -11*h = -6097 + 28240. Does h = -2013?
True
Let v be 3717/(-84)*7/(42/(-72)). Which is greater: v or 2649/5?
v
Let n be (-837)/(-372) + 3/(6/3 + -3). Which is greater: 446 or n?
446
Let u be 2/5 + 4872/120. Suppose a = -2*r + 72, 0*a + 3*a - u = -r. Which is smaller: r or -0.1?
-0.1
Let g = -66741 + 11613019/174. Let w = g - -1/87. Let b = w - 1. Which is greater: -1/3 or b?
-1/3
Suppose 0*z = 4*z + 84. Let f be (1035/90)/(1/(-2)). Is z at most as big as f?
False
Let n be 1/(-3) - (-1075)/75. Let i(b) = -19*b + 254. Let a be i(n). Is a less than 6?
True
Let l = -265994/58256093 + 40/12019. Which is bigger: 0 or l?
0
Suppose 6*r - 1320 = -1326. Is -607 at least r?
False
Let v = 96 - 101. Let b be 3 + -6 - 54 - v. Are b and -52 equal?
True
Let f be (72/(-48) - 62/(-36))*-12. Which is greater: f or 547?
547
Let t(k) = 4*k - 6. Suppose -h - 5*d + 30 = 0, 3*h - 2*d + 2 = 7. Suppose -h*b = 2*g - 0*g + 2, 5*b = -g - 1. Let a be t(g). Are -10 and a nonequal?
False
Suppose -121 + 141 = 5*s, -4*s = -4*n + 712. Which is bigger: n or 42?
n
Let y be (-890)/(-36) + -21 + (-3025)/(-150). Is y bigger than 25?
False
Let k(c) = -c**3 - 62*c**2 - 138*c - 1088. Let w be k(-60). Let x be (20/(-16))/((-1)/(-7)). Which is smaller: w or x?
x
Let t = 0.081839 - -0.026161. Let p = -69/4 + 17. Is p less than or equal to t?
True
Let u be -3*12/48 + (-1333)/4. Let g = 336 + u. Which is greater: g or 6/5?
g
Let z = 113 - 899/8. Suppose 0 = -l - 2 + 7, -5*w + l = 20. Let g be w + (-4)/(8/(-10)). Which is smaller: z or g?
z
Let y = 51681/9185 - -117/167. Are 7 and y unequal?
True
Let g be (-24