er than o?
False
Let l = 197 - 177. Let u(x) = -4*x**3. Let b be u(1). Let v be (-1)/b - l/(-48). Which is smaller: v or 3/7?
3/7
Let m(p) = p**2 + 3*p - 2. Suppose 0 = -3*x + 6, 4*w - 4*x - x + 42 = 0. Let y = 4 + w. Let o be m(y). Is 3 greater than o?
True
Let d(m) = -145*m + 221. Let v be d(8). Which is bigger: v or -940?
v
Let x = 4/53 - 89/477. Which is bigger: 6 or x?
6
Let z(s) = s**2 + s + 6. Let x be z(-6). Let b be 2/(-6) + 138/x. Is 1/2 less than or equal to b?
True
Let p = -59.087 + 0.087. Let q = 37 + p. Let m = -21.8 - q. Is -0.05 <= m?
True
Let k be 3*4 - 228696/19084. Which is smaller: -1 or k?
-1
Let h be 204/(-272) - (-11)/4. Which is greater: 478 or h?
478
Let o be -1*4/((-8)/6250). Suppose 5*c + o = -2*s, -1 + 0 = c. Let l be (3/(-4))/(s/(-64)). Are 0 and l non-equal?
True
Let y = -48 + 27. Let b = 21 + y. Let w be 2*(3 - 285/96). Which is bigger: w or b?
w
Let x be (6 - (2/(-9) + 130/18))*-1. Let n be 134/(-520) + 2/8. Which is smaller: x or n?
n
Suppose 3 + 7 = w. Let l = -2 - w. Let v be 6/l - 1/2. Is -1 < v?
False
Let c = -0.06 + -0.94. Which is smaller: c or 374?
c
Let w be 15/(-2)*(-189)/36. Let y = w - 197/5. Is y less than 0.1?
True
Let r be ((-48)/6)/((-2)/(-2)). Let x = r + 20. Let d be (-6)/(-8) + (-5)/x. Is 3 smaller than d?
False
Let w = 4/47 + -138/517. Let a = 10/23 - 24/161. Which is smaller: w or a?
w
Let r = -1.17 - 0.23. Let h = -8.4 - r. Let d = h - -6. Which is greater: d or -2/9?
-2/9
Let z = 4805 - 4777.19. Let l = z + 0.19. Is -1/2 > l?
False
Let m = 47 - 10. Let o = m - 37.2. Which is smaller: -10 or o?
-10
Suppose 3*s + 42 = 3*a, -4*a + 18 + 28 = s. Suppose 0 = -4*v - 3*m + 95, -4*m = m - 5. Suppose 2*g - 1 = v. Are a and g equal?
True
Let x = 7 - 5. Let d(w) = 6*w - 28. Let v be d(10). Let h be v/(-42)*(-21)/14. Which is smaller: x or h?
h
Let b be ((-48)/18)/((-984)/(-36)). Let h(g) = -g**2 - g + 1. Let k be h(1). Does k = b?
False
Let x be (-11)/((-33)/6) - 1/(-1). Suppose 3*n + 18 = -9. Let d be -3 - (0 - (-57)/n). Which is greater: x or d?
d
Let b(n) = -n**2 + 2*n + 9. Let f be b(-3). Which is bigger: f or -47/8?
-47/8
Let y = -149 - -123. Is y less than -26?
False
Let f = 210 + -215. Is 25 greater than f?
True
Suppose -3*g - 1 = 2. Let t(w) = -w**2 - 9*w - 6. Let r be t(-10). Let c = -16 - r. Which is greater: c or g?
c
Let j = -109.9 + 11.9. Is 1 at least j?
True
Let s = 1637/9450 + -5/378. Suppose k - 4*k = 0. Which is smaller: k or s?
k
Let s be 3*(-3 - (-129)/45). Let p = 297/5 + -3207/55. Which is smaller: s or p?
s
Let v = -19/25 - -29/25. Is -5/124 greater than or equal to v?
False
Suppose 5*x = -0*x + 105. Let n = x + -190/9. Let b(f) = f**3 - f**2 + f. Let s be b(0). Which is smaller: n or s?
n
Let t be ((-11)/11)/((-4)/104). Is t less than 33?
True
Let k be ((-4)/(-4) - 3)/(1/(-29)). Is 54 greater than k?
False
Let x be 56/7*(-1 + 0). Let j(r) = r**3 + 9*r**2 + 6*r - 13. Let o be j(x). Does 3 = o?
True
Let j = -616 + 615. Is j less than or equal to -3/223?
True
Suppose r = 4*r + 12. Let y = 185 - 190. Is y bigger than r?
False
Suppose -3*b + 24 = 4*u + 268, -u = 2*b + 66. Let h be 3648/70*30/27. Let z = h + u. Which is bigger: z or 1?
1
Let c = 2/193 + 151/4053. Suppose -2*d + 5*w - 18 = 9*w, 5*d - w = -1. Which is smaller: c or d?
d
Suppose 3*a - 42 = -k + 51, -a + 255 = 3*k. Suppose -14*t = -12*t - k. Is 42 smaller than t?
False
Let k = -0.92 - -1.03. Which is greater: k or -0.01?
k
Let r = 5261/7 - 753. Let u = -12.2 - -12.3. Which is smaller: u or r?
r
Let m = 1628319/7556 + -1/7556. Is 216 at least m?
True
Suppose 5*i = 6 + 19. Suppose 0*l + i*l - 15 = 0. Let u = l + -3. Which is greater: u or 4/5?
4/5
Let k = 162 - 176. Is k greater than -16?
True
Let b = 13.114 - 0.114. Which is greater: b or 49?
49
Let j = -28 + 46. Let d(v) = j - 3*v - 4*v**2 - v**3 + 15*v + v - 7*v**2. Let u be d(-12). Is u greater than 5?
True
Let s = 7564 - 7589. Suppose -3*f - 56 = 16. Which is smaller: s or f?
s
Let p(x) = -3*x + 4. Let h(d) = 4 + 20*d - 10*d + 6 - 12*d. Let n be h(4). Let q be p(n). Is q bigger than -4?
True
Let m = 158 + -152.9. Is m at most as big as 2?
False
Let m = 35/102 + -3/17. Let b be 1/(-6 + 1 - -4). Are b and m nonequal?
True
Suppose 5*k + 483 = z - 876, -2*z + 1092 = -4*k. Which is smaller: -272 or k?
-272
Let y be 0 - (1 + 0)*-1. Let d = -0.11 - -0.03. Let s = 1.08 + d. Is s <= y?
True
Let r = 64 - -141. Is r smaller than 205?
False
Suppose -8*a - 114 + 26 = 0. Suppose b + 2*b = -72. Let c = b - -11. Which is smaller: c or a?
c
Let b be 15785/31 + 1 - 2. Let n = b - 508. Which is bigger: n or -1?
n
Let r(p) = p**2 - 6*p + 6. Let q be r(4). Let z(l) = -3*l - 4. Let o be z(q). Is 3/4 <= o?
True
Let n = -2/2845 + 202001/8535. Let q = 23 - n. Let i = -2 + 0. Does q = i?
False
Let c = -0.54 - -10.94. Let q = c - 2.4. Let y = 3 - q. Is 1/3 not equal to y?
True
Suppose m + 4*c - 50 = 0, 2*m + 5*c = 140 - 55. Which is greater: 4 or m?
m
Suppose 206 = -6*s + 20. Is s greater than -34?
True
Let t be ((-13)/((-390)/(-36)))/((-14)/10). Let g = 2/39 + -49/195. Which is smaller: g or t?
g
Let i = 3.84 + -4. Let r = i + 0.26. Let o = 0.4 + -3.4. Is r greater than o?
True
Let u be -2*3*(-2)/6. Is 50 <= u?
False
Let c = -0.5 - 7.5. Let y(z) = -3*z + 2. Let k be y(7). Let i = k - -19. Which is greater: i or c?
i
Let p be 31/((-1302)/1440) + (-4)/(-14). Are p and 0.3 unequal?
True
Let a(y) = 46*y + 2. Let q be a(1). Let m = q + -49. Is -2/165 less than or equal to m?
False
Let b = 175 - 194. Is b at least -3?
False
Let j = 7937/186 - 251/6. Is 1 > j?
True
Let h be (236/78 - 3)*2. Suppose 57*p = 4*p + 53. Which is smaller: p or h?
h
Let m be 2/(-3) - (-1209)/2232. Suppose -2*k = -7*k. Is m < k?
True
Let w = -9 - -7. Let f be (-3*4/(-10))/(2/(-5)). Are w and f equal?
False
Let d be (-2289)/2955 - 280/(-350). Is d != -1?
True
Suppose q = -4*c - 8, 3*c + 6 = -2*q - 3*q. Let s(h) = -h - 8. Let i be s(-6). Do i and c have different values?
False
Let w = 29.785 + 0.215. Which is smaller: 0.6 or w?
0.6
Let a be (-10)/(-32)*(-1922)/(-80). Let h be (-4)/(-14) + (-747)/2688. Let d = h - a. Which is smaller: -9 or d?
-9
Let p be (-7)/(833/(-14)) - 38/34. Do -10 and p have different values?
True
Let f(b) = -2*b**2 + 49*b - 81. Let v be f(25). Which is bigger: -104 or v?
-104
Let a be (1/(-3))/(110/195). Which is bigger: 0 or a?
0
Let o = 15.046 - 15. Let r = -5.246 + o. Let i = -5 - r. Which is greater: i or -4?
i
Let a(o) = -o + 6. Let f = 8 - 4. Let l be a(f). Suppose -20 = l*c - 2*g - 2*g, -40 = 5*c - 5*g. Is -6 less than c?
False
Let j(z) = z**3 + 2*z**2 - 2*z + 2. Suppose 3*b + 0 = -9. Let a be j(b). Let y = a + 2. Which is smaller: y or 0?
0
Suppose -15*i = -6*i - 1755. Is i greater than 195?
False
Suppose 0 = 3*b - 2*b - 3*y + 9, 32 = 2*b + 4*y. Suppose 0 = o + b*o + 63. Which is bigger: -25/3 or o?
-25/3
Suppose 520 = -97*p + 84*p. Which is smaller: p or -81/2?
-81/2
Let a be 40/60 + 2703/9. Which is smaller: a or 300?
300
Let w = 41 + -38. Suppose -w*b - 141 - 18 = 0. Which is smaller: b or -52?
b
Let k be (3/7)/(12/(-8)). Suppose -3*a + 13 = 2*y + 3*y, 3*y - 5*a - 35 = 0. Suppose -y*w = -43 - 22. Are w and k non-equal?
True
Let m = 23 + -17. Let f = -3 + m. Let o be ((-56)/42)/(1/f). Is -2 less than o?
False
Let w = -933 + 19597/21. Let n = -88 + 117. Suppose -25*m + n*m = 0. Which is smaller: w or m?
m
Let n be (2/(-4)*0)/2. Let g be (-4)/22 + 688/(-88). Let b be ((-12)/(-16))/(-1) + 2/g. Which is smaller: n or b?
b
Suppose -9 = -3*y, 0 = -3*n + 2*n - 2*y + 1. Let s = 0 - n. Is 5 at least as big as s?
True
Let t = -18.41 - -0.41. Let j = -18 - t. Let a = 45 - 22. Which is smaller: j or a?
j
Let a = 642 - 766. Is -126 <= a?
True
Let q(z) = -z - 4*z + 4*z + 11. Let y be q(6). Let c(o) = o**3 - 4*o**2 - 6*o + 4. Let v be c(y). Which is bigger: v or 7?
7
Let u(i) = i**3 - 5*i**2 + 3*i + 2. Let a = 40 - 37. Let m be u(a). Which is greater: m or -22/3?
m
Let v = 1492 - 1500. Which is smaller: v or 30?
v
Let s be 1*((-365)/(-95) - 4). Suppose 3*x - 10 = -4. Suppose -x*j - 5*p = -12, -7*j = -3*j + 4*p - 12. Which is smaller: s or j?
s
Let l = 14219813/252 + -56428. Let p = 11/28 + l. Which is smaller: p or -1?
-1
Let m = 10 - 45. Let t = m + 34.9. Which is bigger: -26 or t?
t
Let h(d) = -160*d +