-41. Is a < i?
True
Let v be 9 - 277/7*7. Is -270 > v?
False
Let u(t) = 26*t**3 - 2*t**2 + t. Let x be u(1). Suppose -w = -z + 5, 5*w + x = 3*z + 8. Suppose y + z*y = 5. Which is smaller: y or 1/3?
1/3
Suppose 3*v + 916 = 4*b, -36*v + 41*v + 4*b = -1580. Is -313 at least as big as v?
False
Let c = 0 - -3. Let h be (-5 + c - -10)/(-2). Which is smaller: -3 or h?
h
Let y be 22/2 - (1 - 2). Let j = -88 - -73. Let l = -13 - j. Is l != y?
True
Let m be (-3592236)/27 - (-4)/(-18). Let l = -1198663/9 - m. Let i = 139 + l. Is 0 greater than or equal to i?
False
Let n = 15 - 11. Let r = 184 + -179. Is n at least as big as r?
False
Let m = -1734 - -1735. Which is bigger: m or 119?
119
Let b be 40/(-21) + (-2)/21 - 1. Which is smaller: b or 13?
b
Suppose -3*q - z - 16 = -7*q, 0 = -2*q + 4*z + 22. Suppose -17 + 23 = q*k. Suppose 0 = k*n + 5 + 3. Is n bigger than -2?
False
Let l = 1.016 - 1.016. Is -0.0448 at most l?
True
Let t(n) = 8*n + 33. Suppose h + 20 = -2*a + 5*a, 5*h + 4*a + 43 = 0. Let j be t(h). Which is smaller: j or -54?
j
Suppose 5*y + 21 = 51. Which is smaller: y or 29/5?
29/5
Let g be (-3)/4 + 2172/16. Which is greater: g or 136?
136
Let r = 20 - 27. Let u(k) = 3*k + 19. Let b be u(r). Is b > -1/2?
False
Suppose 5*h - 2313 - 1015 = -3*q, -q = 3*h - 1996. Which is smaller: 667 or h?
h
Let p be (-12)/645*((-36)/(-8) - 2). Is -8 less than or equal to p?
True
Let w(s) = -s**3 + s**2 - 2. Let u be w(-3). Suppose 3*c + 2 + u = 0. Let i = c + 7. Is i at most as big as -7?
False
Let q(p) = -p**2 + 11*p + 47. Let y be q(14). Does y = 10?
False
Let o = 9897/13370 + 1/382. Which is smaller: 0 or o?
0
Let k = -201/10 + 38/5. Let q = -12 - k. Which is bigger: q or -2/13?
q
Let a = 52 - 58. Let d be 2*3/(-9)*a. Is 4 at least as big as d?
True
Let l = 1951 - 72193/37. Is 0 at most as big as l?
False
Let m be (-3)/(9/(-2))*3/445. Let w = -56196601584/5785 - -9714192. Let j = m - w. Which is smaller: j or 2/3?
j
Let n be ((-2)/10)/((-2)/10)*0. Let k(w) = w + 12. Let b be k(10). Is n at least b?
False
Let f = -23417/1303390 - -3/4510. Are 1 and f equal?
False
Let y(p) = 2*p**2 - 4. Let u be 2 + 9/(45/(-10)). Let z be y(u). Which is greater: z or -19/4?
z
Let o = 67.56 - -0.44. Is 6 not equal to o?
True
Suppose m = 5*v + 19, m + 4*m = -v - 9. Is m >= -1/32?
False
Let y(c) = -22*c**2 + 1. Let a be y(-1). Suppose -7*f = -9*f - 44. Are f and a nonequal?
True
Let o = 603 - 602.1. Is o less than -25?
False
Let o be -3 - (6 + -9 + 9). Is o less than or equal to -2?
True
Let i be 33/(4 - -5 - 6). Which is smaller: i or 93/8?
i
Let x = 20459/2 - 107813/10. Let g = 555 + x. Is 3 less than g?
True
Suppose -3*z + 2*r = 83, -2*z - 5*r + 0*r - 49 = 0. Let h(p) = p**3 - p - 27. Let k be h(0). Are z and k nonequal?
False
Let j be (52/(-20))/(932/(-470) + 2). Let q = j - -152. Is q >= -1?
True
Suppose 4*t - 118 = 3*i, -t + 26 = -i - 3*t. Let v = i + 31. Is -2 > v?
True
Suppose 0*v + 5*r - 23 = -4*v, v = -3*r + 11. Suppose v = -2*a - 2, a = 3*c + 1. Is -1/34 equal to c?
False
Let m = 0.081 - 24.081. Let r = m - -23.9. Let j = -3 + 0. Which is smaller: j or r?
j
Let x be (-28 + 22)*106/(-4). Which is greater: 161 or x?
161
Let j = 1482733/125 - 11862. Which is bigger: -1 or j?
j
Let w = 219 + -135. Which is smaller: 0.06 or w?
0.06
Let o(d) be the second derivative of d**3/3 + d**2/2 + 34*d - 2. Suppose 3*h + n = -0*n - 6, 0 = -5*h - 2*n - 9. Let q be o(h). Which is bigger: -6 or q?
q
Suppose -233*h + 254*h = -21. Let q = -35/8 + 1777/408. Does h = q?
False
Let o = 149 - 150. Let j(q) = 2*q**2 + 7*q + 10. Let y be j(-7). Let s be y/(-130) + 8/52. Is o greater than s?
False
Let u be (-1 + 1)/(-1) - 608/(-323). Is u greater than 3?
False
Let x be 2/(-4)*20/(-18). Let t = x + -53/63. Suppose 3*h = h - 2. Which is bigger: t or h?
t
Let l = 0.4 - 1.1. Suppose 0 = 8*p - 12*p + 8. Suppose 0*r - 2*c - 1 = 5*r, 2*c = p*r + 6. Are l and r unequal?
True
Let o be 6*(-1)/6 - 0. Let w = 240 + -10319/43. Which is smaller: w or o?
o
Let y be (-132)/110 + 272/10. Is y > 25?
True
Let i be (-143218)/230 - 2/5. Let s = -623 - i. Are s and -1 nonequal?
True
Let u = 21 + -37. Let w = u + -3. Let y = -19.7 - w. Is -1 smaller than y?
True
Let c(z) = 8*z**2 + 9 - 4*z**3 + 3*z**3 - 10. Let h be c(8). Is h less than 0?
True
Let g = 1 + 0. Suppose 0 = -3*a - 3, 0*a + 5*a = 5*y - 5. Suppose y = -4*c - 9 + 5. Which is bigger: g or c?
g
Let x be ((-33)/9 - -3) + 56819/(-6279). Let s = 128/13 + x. Is 0 smaller than s?
True
Let g = 276538033/48 - 5761620. Let j = g + 411. Does j = 1?
False
Let j be 8*((-9)/(-6) + -1). Suppose -j*l = 5*m - 0*m - 32, -2*m + 5*l = 7. Suppose m*o = o. Is 1/7 smaller than o?
False
Let z = 7131 - 1918237/269. Let s = 63285324/20713 + -33612/11. Let u = z + s. Which is smaller: u or 4?
u
Let h(p) = -p**2 - 9*p - 5. Suppose -16 = 4*s, 8*s + 2 = 2*o + 4*s. Let x be h(o). Is 29/3 at most x?
False
Let b be (-32)/208 + 947/(-13). Let p = b + 20. Which is smaller: -54 or p?
-54
Suppose -2*g + 8 = -u, u - 2*g - 3*g = -17. Let b = u - -3. Suppose -15 = -5*k + 3*j + 2*j, 0 = -5*k - 2*j + b. Does 2/7 = k?
False
Let q(v) = -16*v**3 - v - 28. Let d be q(0). Which is bigger: -3/7 or d?
-3/7
Let t = 4.1 - 7.1. Is 1 less than or equal to t?
False
Let d be ((-1)/23)/((-418)/44). Which is smaller: d or -1?
-1
Suppose 3 = -3*v - b, -2*b - 9 = -2*v + b. Suppose -5*x + v*x = -115. Which is smaller: 22 or x?
22
Suppose -47*r = -43*r - 8. Is 93 greater than or equal to r?
True
Let o = 130 + -241. Is -109 greater than o?
True
Let j = 24808/11 + -2253. Is 1 greater than or equal to j?
False
Suppose -4*o + o - 2*s - 38 = 0, 0 = -2*s + 4. Which is greater: -19 or o?
o
Let x = -8.9 + -0.1. Let s = x - -12.7. Let m = -3.5 + s. Which is bigger: m or 1.3?
1.3
Let q = 0.1 + -0.1. Let c = q - 0. Let p = -89 + 86. Are p and c unequal?
True
Let f = 10 + -9. Let q be ((-55)/(-44))/(f/4). Which is bigger: q or 3?
q
Suppose 5*x + 2*o = 7*o - 290, -2*o - 159 = 3*x. Let s be 4/(-10)*x/(-22). Are -1/86 and s nonequal?
True
Suppose -16*b - 21 = -5. Let g = -8/43 - 31/989. Is g at most b?
False
Let n(p) = -p**3 - 5*p**2 - 7*p. Let u be n(-3). Let q be u/(-2)*624/(-36). Let o = q - 26. Is o greater than or equal to 5?
False
Suppose -3*v + 4*v + j + 1 = 0, 0 = -3*j - 9. Let b = v + -7. Let h = b - -12. Which is smaller: 6 or h?
6
Let l = -1014 - -1013. Let c be 2/7 - 41907/(-105). Let z = c + -401. Do z and l have the same value?
False
Let d be (12/126)/(-6 - 0). Suppose -9*c = -6*c. Which is bigger: d or c?
c
Let g(a) = -5*a + 15. Let c be g(-5). Suppose -v + 60 = -5*y, 0 = -5*y - 2*v - v - c. Is y < 2/5?
True
Suppose 5*k = 4 + 101. Let i = k - 81/4. Is i greater than or equal to 2?
False
Let x be ((-1)/(856/6))/(639/(-568)). Which is greater: 1 or x?
1
Let o be 0/1*3/12. Let s(v) = -v**2 + 2*v - 5. Let i be s(o). Let c be (-2)/((4/(-14))/(-1)). Which is bigger: c or i?
i
Let f be -6 + 0 + (-40 - -47). Which is bigger: -1/565 or f?
f
Suppose 6 = 5*n + 36. Let o be (-132)/117 - 4/n. Let p = 72 + -650/9. Which is greater: p or o?
p
Let r be 2519/1221 - 5/15. Which is smaller: r or 2?
r
Let f = -24 + 27. Let a(t) = -t - 7. Suppose i - 2 = -8. Let l be a(i). Which is bigger: l or f?
f
Let f = 899 - 898. Is f <= 1/644?
False
Suppose -5*p - 2*s = s - 65, -5*s + 25 = 0. Let z(y) be the first derivative of -y**3/3 - 7*y**2/2 - 3*y + 3. Let v be z(-4). Are p and v equal?
False
Let p(f) = -f**2 + 17*f - 86. Let l be p(7). Which is bigger: l or -21?
l
Let c be (0 - 0 - 1)*1. Suppose 33 = -3*a - 81. Let o = -341/9 - a. Which is smaller: o or c?
c
Suppose -g - 2 = -2*m + m, 5*g + 18 = 3*m. Let t be g/(-4)*(-1)/((-42)/(-16)). Is -1 equal to t?
False
Let k(d) = -3*d - 7. Let b be k(-3). Suppose -5 = b*l - 1. Let s be l/3*(-264)/(-16). Is s at least -10?
False
Let h = -6 + 15. Let j(y) = -y**3 + 13*y**2 - 27*y + 64. Let o be j(11). Does h = o?
True
Let t = -66 + 41. Let m be t/15 - -1*1. Let u = 475/3 + -158. Do m and u have different values?
True
Suppose -2*d - 2*d = 0. Let t be 34/45 + 216/486 + 2*-1. Which is smaller: d or t?
t
Let d(h) = h**3 - 12*h**2 - h + 2. Let n(l) = 2*l - 6. Let b be n(9). Let y be d(b). Which is smaller: y or -12?
-12
Let b = 2.55 + -2.62. Is b >= -17?
True
Let l be -3 - 2/(8/(-876)). Which is smaller: 217 or