+ 485/3. Which is smaller: u or 0.2?
u
Let x = -3 + 2. Let o(s) = -8*s + 31. Let b(a) = -a. Let y(g) = 6*b(g) - o(g). Let j be y(14). Is x smaller than j?
False
Let q = 165 - 215. Let l be q/(12/6) + -1 + 4. Is -20 bigger than l?
True
Suppose -5*w - 5 = s, 3*w - 3 = -s - 8. Suppose 0 = b, w = -3*d + 3*b + 5 + 46. Let i(n) = -n + 17. Let v be i(d). Which is bigger: v or -3/8?
v
Let w be ((-8)/(-3) - 2) + (-128)/246. Are 1 and w equal?
False
Let h = -4.04 + 4.34. Do h and -1/5 have different values?
True
Let a = -1708453/14203 + 5/2029. Let z = 120 + a. Which is greater: z or 0?
0
Suppose 4*l - 190 = 30. Let r = -56 + l. Is -2/3 at least r?
True
Let l = -1.8 - 0.2. Let h = l - -1.9. Let u = 233/5 + -232/5. Which is bigger: u or h?
u
Suppose 0 = -116*z + 137 - 21. Let q be 139/4 + 1/4. Let r be (-8)/28 - (-87)/q. Which is greater: z or r?
r
Let k be 2*6*(-12)/9. Let a be (36/(-16))/((-6)/k). Let t(g) = g**3 + 5*g**2 - 5*g + 5. Let c be t(a). Is c >= -2?
True
Let u be -53*(20/12 - 2). Suppose a + 7 = 2*m - 29, 4*m + 2*a - 64 = 0. Which is greater: u or m?
u
Let h = -8744/13 + 673. Let r(z) = -z**3 - z**2 - z - 1. Let f be r(0). Which is bigger: f or h?
h
Let f = -122/3 - -362/9. Let s(t) = -t**3 + 14*t**2 + 16*t - 15. Let k be s(15). Which is bigger: f or k?
k
Let m be (8/(-7))/((-6)/42). Is m at least as big as 8?
True
Let t = 330 - 327. Which is smaller: t or 19/9?
19/9
Let o be (1 - (-14)/(-12))/(2/66). Which is greater: o or -6?
o
Let q = 232 - 116. Let n = q + -81. Which is smaller: n or 2/3?
2/3
Suppose -29 = -2*o - 5*j, -5*o + 4*j = -2*o - 32. Suppose 2*c = -o - 14. Let h = 82 + -96. Which is smaller: h or c?
h
Let r(b) = -b + 29. Let z be r(15). Suppose -6*c + z = -4*c + 4*w, 0 = w + 1. Which is greater: c or 4?
c
Let f(j) = -j**3 + 92*j**2 + 2*j**3 - 85*j**2 + j + 8. Let q be f(-7). Is q bigger than -1/5?
True
Let f = 20.56 + -21. Let p = 0.384 + f. Are 0 and p non-equal?
True
Let k = 6110/41 + -149. Let f = -121/82 - k. Which is greater: f or -0.1?
-0.1
Suppose 4*w = -3*z + 1 + 4, 3*w - 10 = 4*z. Is -6 not equal to z?
True
Let h = 488 + -12196/25. Suppose 0 = 9*n + 5927 - 5936. Is h >= n?
False
Let m(l) = 4*l + 6. Let k be m(-4). Let r be 2 - (-2*2 + (-6 - -6)). Let g be 2*(-1 + (-27)/r). Are k and g equal?
False
Let s(l) = -2*l**2 + 11*l - 58. Let a be s(5). Is -66 < a?
True
Suppose -4*t - 5*o = 1401, 3*o = -2*t + o - 702. Is -354 at least as big as t?
True
Let z = 1/79 - 249/7189. Are 0 and z non-equal?
True
Let t = -3746 + 3749. Let i = -1/127 + 391/1270. Which is smaller: i or t?
i
Suppose 5*y = y + 5*n + 37, -4*y + n = -17. Let x be (1*y)/((-36)/168). Let d be 150/x + (-8)/28. Is -11 >= d?
True
Let m(a) = -16*a + 124. Let h be m(8). Is h > -77?
True
Suppose -2*x + 4*x - 8 = 0, 2*g + 4*x = 8. Let q be 4/(-16)*g*0. Suppose 4*f + 4*h = -q*h - 24, -2*f - 14 = h. Is f greater than or equal to 1?
False
Let i(b) = b - 1. Suppose x + 4 = 0, -2*h + 4 = -3*x - 18. Let f be i(h). Let r(m) = -m**3 + 5*m**2 - 4*m + 4. Let j be r(f). Is 4 less than or equal to j?
True
Let j = 84 - -86. Is 168 bigger than j?
False
Let t = -473642444/15 + 114132158069/3615. Let n = t + 4335. Let h = n + -1114/6025. Which is smaller: 0 or h?
h
Let m = 13 + -12.96. Let u = m - 0.14. Let k = 15 - 14. Which is smaller: u or k?
u
Let n(h) = 29*h + 43. Let p be n(-6). Which is smaller: 0 or p?
p
Let v = -40.62 + -0.38. Let k = v + 42. Let r be (4 + -5)/(-4 - -1). Is r at least as big as k?
False
Let l be (3 + (-55410)/(-18))*(-12)/(-158). Let i = 234 - l. Is i at least 0?
False
Suppose 10*a - 12*a + 3532 = 0. Let i be (-1)/(a/(0 - 2)). Let z = i - 917/30022. Which is bigger: z or -1?
z
Let u be (1141/652)/(-4*2/(-68)). Which is smaller: u or 16?
u
Let q be (-2838)/(-143) - (-4)/26. Is q greater than 10?
True
Suppose 3*l = 2*y + 7, 2*y - 5 = 5*y + l. Suppose -5*b + 0*i = 4*i - 11, -3*i = -3*b + 12. Suppose b*o = -o. Are y and o nonequal?
True
Let n be 5694/(-108) + 4/18 - -4. Is n >= -49?
True
Let q = -29 + 30.1. Let w = 94.1 - 95. Let c = q - w. Are c and -3 equal?
False
Let z = -500 - -562. Which is greater: 66 or z?
66
Let j be -4*(-2)/16 - 27/(-6). Suppose 5*x + w = 17, j*w = 8 + 2. Is 54/13 >= x?
True
Let o(k) = k**3 + 9*k**2 - 11*k - 9. Let w be o(-10). Let i be (-8)/12 + w/3. Let a be (-18)/(-8) + -2 + (-6)/(-168). Are a and i equal?
False
Let f = 8056225/792 + -10172. Does f = -1?
False
Let c be (-10)/8*40/10. Let z = c + 13. Does 2 = z?
False
Let c(o) = 190*o - 19. Let a be c(4). Is 742 at most a?
False
Suppose 27 = -2*c - 31. Let b = c + 202/7. Let o(w) = -4*w - 7. Let i be o(-2). Which is greater: b or i?
i
Suppose 0*r - r + 2 = 0. Suppose m - r*m = -5. Suppose 0 = -h - 5*p + 30, 0*p = -4*h + 3*p + m. Which is smaller: h or 4?
4
Let x = -10 - -36. Let w = 24.9 - x. Let u = 3.1 + w. Do u and 2 have different values?
False
Suppose -10*y + 30 + 0 = 0. Suppose 9*u - y = 6. Let q be (-1)/(-4) + (-3)/(-52). Is q greater than u?
False
Suppose -2*w + 3*p - 8 = 0, -4*w + p + p - 8 = 0. Let n be (3 + -3)/((-2)/w). Which is smaller: n or 3/19?
n
Suppose 5*z - 38 = v, -9*z = -5*z + 12. Suppose -5*r + 154 = 424. Are r and v non-equal?
True
Suppose -5*u - 11 = c - 36, 3*u = 4*c - 31. Is c bigger than -2.2?
True
Let q = 655/2 + -1871/6. Which is greater: q or 15?
q
Let m be 52/91 - 72/273. Let f(u) = -u**3 - u**2 + u. Let s be f(1). Do s and m have different values?
True
Let r = -10 + 12.4. Let u = -0.4 + r. Let z = u - 3. Which is bigger: z or -10?
z
Let k = -112 - 14. Is k < -125?
True
Let v = -1.9 + 2. Let n = 0.1 - v. Let c(j) = j**2 - 24*j + 15. Let z be c(23). Which is smaller: n or z?
z
Let a(r) = 18*r + 183. Let x be a(-10). Which is greater: 5 or x?
5
Let c(p) = p**3 - 5*p**2 + 6*p - 9. Let u be c(4). Which is greater: 71 or u?
71
Let c = 6215/133 - 326/7. Which is greater: c or 1?
1
Let u(j) = -22*j - 514. Let w be u(8). Is w smaller than -689?
True
Suppose -g + 2*h = -6, -4*g + 7*g + 6 = -2*h. Which is smaller: g or -10/117?
-10/117
Let j be (1/1)/(70/166). Let t = -18/7 + j. Let h(g) = g**3 - g**2. Let l be h(0). Are l and t non-equal?
True
Suppose 0 = d + 5*c - 109, 0*c - 3*c = 9. Which is smaller: d or 1?
1
Let y = -1.9 + 0.9. Let i = 10.16 - 0.16. Let d = i + y. Which is smaller: d or 0?
0
Let d(u) = 3*u**2 + 58*u - 40. Let a be d(-20). Is -3/157 <= a?
True
Suppose 6*b = 5*b - 113. Let w = b + 114. Do -4/51 and w have different values?
True
Suppose 2*i + 150 = -384. Which is smaller: i or -268?
-268
Let w be (-66)/(-132) - ((-15)/6 + 0). Is 35/22 less than or equal to w?
True
Let d be -1 + -1 + 4 + -2. Let m be 4/6 - 355/(-12). Let z = -29 + m. Is z <= d?
False
Let j be (4 - 84/20)/(2/(-10)). Suppose -3*u - j = -2*u. Which is smaller: u or -10?
-10
Let o = 92 + -83.2. Let q = o - 0.8. Let h = q - 7. Which is smaller: h or 2/5?
2/5
Let s = -2.88 + 1.88. Which is smaller: s or -0.279?
s
Let z be (-7 + 7)/(4*(-6)/(-8)). Is z greater than 4/177?
False
Let k = 81 + -56. Let y = -159 - -178. Let z = y - k. Is -6 != z?
False
Suppose -101*j - 431 = -2 - 2146. Let v = 3 + -4. Which is greater: j or v?
j
Suppose -1 = -b + 1. Let l be (27/b)/((-7)/56). Let p be (-6)/(-8) - (-105)/l. Which is smaller: -0.5 or p?
-0.5
Let j = 2661 - 13141/5. Are 33 and j equal?
False
Let k(r) = r - 8. Let h be (-2 - (-1 + 0))*0. Suppose 3*q - 12 = -q, 3*u - 3*q - 18 = h. Let x be k(u). Are -1/5 and x equal?
False
Let v = 1677 - 1913. Is -238 greater than v?
False
Let u = 0.1 - 0.68. Let t = 0.02 - u. Let f = 0.4 + t. Is -0.2 <= f?
True
Suppose -2*i + 180 = a - 41, -a + 5*i = -207. Is a != 219?
True
Let n be -4 + 1 + 3*1. Let x = -0.1 - -11.1. Which is greater: x or n?
x
Suppose -p - 3 = 5*o, 5*o + 7*p - 3*p - 3 = 0. Let y = -2/305 - 1214/915. Is o smaller than y?
False
Let g(a) = a**3 - 7*a**2 + 10*a + 3. Let o be g(5). Suppose 0 = 3*m + 2*s + 7, 3*m + 0*m - o*s - 3 = 0. Is -1/11 at least as big as m?
True
Suppose 3*a - 7 = -5*s, a = 88*s - 92*s + 7. Which is smaller: s or 25/43?
25/43
Let a = 21 - 10. Which is greater: a or 5?
a
Let s = 8.74 + -8.4. Let y = -3.34 + s. Which is greater: y or 1?
1
Let f(k) = k**2 + 13*k + 32. Let i be f(-10). Is -0.93 < i?
True
Let r = -50 - -43. Is -0.3 greater than or equal to r?
True
Let v be (-16)/4 - -16 - (1 - -1). Suppose -v*z + 14*z + 32 = 0. Wh