t r be l(1). Are 9 and r unequal?
True
Let c = -809 - -67957/84. Is c >= -1?
True
Let l = 0.2164 - 0.34. Are l and 1 nonequal?
True
Let x(o) = -o**3 - 6*o**2 - 3*o + 4. Let h be x(-5). Suppose 3*w + 57 + 18 = 0. Let v = w + 73/3. Is h less than v?
True
Suppose 3*j + j + 2*h = -80, -3*j = -2*h + 53. Suppose -a - 9 - 12 = 0. Which is smaller: a or j?
a
Suppose -3*a + 3*q = -5*a + 17, -2*a - 2*q = -18. Which is smaller: 8 or a?
8
Let k(d) = d**3 - 5. Let h(a) = a + 4. Let l be h(-4). Let n be k(l). Let u be (n - -4)/(-4 - -1). Is u bigger than 1?
False
Let p(k) = -k**3 - 2*k + 28. Let v be p(0). Let i = 20 - v. Suppose -5 = -x, 1 + 0 = 4*g + 5*x. Which is greater: g or i?
g
Let n = 724855 - 1226783. Let v = n - -30116851/60. Let c = -98/5 + v. Which is smaller: c or -1?
-1
Suppose -10*b + 790 = -180. Suppose 0 = 5*t + b - 52. Let f = -24 - -16. Which is greater: f or t?
f
Let r be -4 + 0 + 0 + 6. Suppose -2*j - 16 = j + 5*b, -12 = r*j + 3*b. Which is smaller: -13 or j?
-13
Suppose 40 = 3*j + 112. Let b = 23 + j. Is b at least 2/161?
False
Let q(n) = n**3 - 11*n**2 + 12*n - 9. Let c be q(10). Let s(v) = -v**2 + 11*v - 1. Let h be s(c). Which is greater: -2/9 or h?
-2/9
Let f = -0.058 - -0.108. Which is smaller: 2 or f?
f
Let p = -3 + 3. Which is smaller: -6/17 or p?
-6/17
Let y be 1 - 3/429*139. Let d = -648/2717 + y. Are d and 0 non-equal?
True
Let y = -51 - -52. Let b(j) be the second derivative of -j**4/12 + 4*j**3/3 - j**2 - 3*j. Let n be b(8). Which is smaller: n or y?
n
Let n = 106 + -106. Let u = 4/197 - 2054/4137. Let w = -4/21 + u. Is n at most as big as w?
False
Let f = 0.8 + 1. Let i = f + -1.75. Let o = -0.01 - i. Which is greater: 2/3 or o?
2/3
Let f = -20 + 21. Which is greater: f or 4/543?
f
Let i be ((-7)/(-2))/(1/(-2)). Let b be (-4 - (-52)/12)/((-2)/(-18)). Suppose -30 = 5*x - 3*l, b*x = 2*x - 4*l - 6. Which is bigger: i or x?
x
Let l = -29 + 13. Let y = 13 + l. Let i be (-20)/9 + 0/y. Which is greater: i or -1?
-1
Let g = 4 + -6. Let o be (-54)/24*2/(-3). Let d = o + -1. Which is smaller: d or g?
g
Suppose 5*r = -0*r + 10. Let q be -4 + 2*r/(-4). Suppose 10 = -8*i - 38. Which is smaller: i or q?
i
Suppose -7 = i - 3*a - 2, -5*a = -20. Suppose 0 = 4*u - i*u + 45. Is u bigger than 15?
False
Let h = 1 + -1. Let y = -188/19 + 1160/171. Let c = y + 214/63. Are c and h equal?
False
Let j be (32 - 4/1)*(10 + -8). Is 50 smaller than j?
True
Suppose -6*r = -2*r + 448. Let k = r - -52. Let o be (261/k + 4)*-4. Which is greater: o or 0.2?
o
Let y = 0.01 + -14.01. Let z = 14 + y. Is z <= -1.9?
False
Let q be (-2)/9 + 160/396. Let s = 1/100 - 41/100. Does q = s?
False
Let q = 527 + -867. Let n be (30/q)/(6/8). Which is bigger: -1 or n?
n
Let w be (57/12)/(2/8). Let p be (-1)/3 - 1/(12/(-220)). Which is greater: p or w?
w
Let k be (-970)/5917*(-1)/5. Are 0 and k non-equal?
True
Let h(w) = w**2 + 3*w - 1. Let c be h(-3). Let x be (-2480)/18 - -4 - 0. Let z = -134 - x. Is c at most z?
True
Let z(a) = -2*a + 24. Let b be z(7). Let s be (b/(-30))/(10/12). Is -1/20 > s?
True
Suppose 5*s + 4*x + 13 = -15, 4*x = -8. Let l be -2 - 0/s - 0. Let p be 11/(2*(-1)/l). Which is bigger: p or 9?
p
Suppose 6*m - 11*m + 15 = 0. Suppose 0 = m*x + n - 84, -4*n + 18 = -3*x + 102. Let v = 13 - 13.1. Which is smaller: v or x?
v
Let b(g) = 13*g - 8. Let w(t) = 2*t - 1. Let a(r) = 2*b(r) - 2*w(r). Let l be a(2). Are 31 and l non-equal?
True
Suppose -2*g + 0*z = -3*z - 14, -3*g + z + 7 = 0. Suppose h = 4*c + 3*h + 4, 3*c + 3*h + 6 = 0. Which is greater: c or g?
g
Let w be -9 - (24/72)/((-5)/123). Let d = -6 + 9. Which is bigger: d or w?
d
Suppose 35*w + 6 = 32*w. Let k be (-40)/(-70) + 184/(-126). Which is smaller: w or k?
w
Let k = 2072664/53 - 39108. Which is greater: 0 or k?
0
Let v = -27945 - -23865027/854. Is 1 smaller than v?
False
Suppose 0 = -4*x + 20, u + 4*x + 376 = -0*x. Is -397 >= u?
False
Let m(b) = -5*b - 5. Let j be m(-4). Let k(z) = z**3 + 37*z**2 + 133*z + 46. Let h be k(-33). Does h = j?
False
Let h = 1.618 - 1.618. Which is greater: h or -0.885?
h
Let h = 22.1 - -1.9. Let a = 24.26 - h. Let o = 0.29 - a. Which is bigger: o or 1?
1
Let b be 1 + -6 + (-873)/(-162). Which is smaller: b or 1/3?
1/3
Let s be (-1 - (-649)/(-2))*(-3730)/1119. Are s and 1084 nonequal?
True
Let d = 43.981 + 0.019. Let v = 46 - d. Is -16 smaller than v?
True
Let w be (4 + -1)*(-6)/(-7). Let g = -52 + 73. Suppose -6*n + g = n. Which is smaller: w or n?
w
Let o = 10.1 - -2.9. Let u = -1 + -6. Let w = o + u. Which is smaller: -0.1 or w?
-0.1
Let i(r) = 3*r**2 - 5*r + 21. Let f be i(6). Let q = 109 - f. Which is bigger: q or 65/6?
65/6
Let c = -2167 + 2168. Which is bigger: -5.4 or c?
c
Suppose y - 3*z - 12 = -1, -y = -z - 15. Suppose 0 = 5*g + 5, 0*x - 3*g - 7 = -2*x. Suppose s + 4*s - x*l = y, -l - 13 = -4*s. Is 5 < s?
False
Suppose 2*a - 3*a = -5. Suppose -2*t = 5*u - 25 + 7, -a*u = 4*t - 16. Are t and 1 nonequal?
True
Let s = -189/2 + 95. Let a = -7/6 + s. Is a bigger than -22?
True
Let y(v) be the first derivative of -v**3/3 - 4*v**2 - 7*v - 11. Let f be y(-6). Suppose -48 = f*h + h. Does -8 = h?
True
Let g(u) = 11*u**2 + 2*u**3 - 5 - 1 - 3*u**3 + 13 + 24*u. Let s be g(13). Is -19 equal to s?
True
Let d(m) = m**3 - 8*m**2 + 3*m + 9. Let j be d(7). Let z = -1339/42 + 171/14. Let h = z - j. Is 3/4 less than or equal to h?
False
Suppose -l + g = 4, 0 = -4*g - g + 5. Let q = -22340/9 - -2478. Which is bigger: q or l?
l
Let b = -12 - -7. Let y = -9/2 - b. Let r be (27/(-60))/((-12)/20). Which is smaller: r or y?
y
Let r be (-50)/30*1/5. Let y = -25 - -36. Which is greater: r or y?
y
Let d = -656 - -3301/5. Do 4 and d have different values?
True
Let l = -3.0838 + 0.0838. Is 223 greater than or equal to l?
True
Let d = 23.1 + -25. Let n = -2 - d. Let q = 199 + -227. Which is greater: n or q?
n
Let s = -9 + 14. Suppose s*c - l = -0*l + 21, 4*l = -2*c + 26. Is c at most as big as 5?
True
Let o(a) = -a**3 - 2*a**2 + 4*a - 4. Let l be o(-4). Suppose -8*w + 4 = -l*w. Let i = 3/725 - 7283/7975. Is i less than w?
False
Let f = 1779 - 1777. Let k = -5 + -7. Is f < k?
False
Let q = 11/12 - 5/4. Let y(u) = 12*u**3 + u**2 + 3*u + 1. Let l be y(-1). Which is smaller: l or q?
l
Let m = 1 - 7.4. Let l = m - -6.1. Is l < 1?
True
Let n(y) = -y**3 + 7*y**2 + 20*y - 17. Let h be n(9). Which is bigger: -2/105 or h?
h
Let r be ((-16)/(-6))/((-13)/(-78)). Let v = r + 5. Are v and 23 equal?
False
Let w = 0.41 - 0.11. Let a = w - 2.3. Which is smaller: a or -6/13?
a
Let h = 389/4 + -96. Suppose -2 = 5*n + 2*q, -n = -5*n + q + 1. Suppose n = -i + 3*i. Which is bigger: h or i?
h
Let p = 4499 + -652351/145. Is -1 > p?
False
Let m(y) = 2*y**2 - 9*y + 5. Suppose 0 = -t + 5*t - 2*u - 14, t - 5*u = -1. Let d be m(t). Which is bigger: -0.23 or d?
d
Let f be 1*(2 + -16)*(-11)/(-22). Which is smaller: f or -141/19?
-141/19
Let n(f) = f + 5. Let w(m) = m**3 + 7*m**2 + 3*m + 17. Let c be w(-7). Let h be n(c). Are h and 5/8 equal?
False
Let p = 1290 - 7789/6. Let i = -151/18 - p. Which is bigger: i or 1/4?
1/4
Let w(o) = 0 - 5 + 2 + o + 1. Let r be w(6). Let d be (2 + -4)*10/r. Which is bigger: -4 or d?
-4
Suppose -4*h - l = -27, -3*h = -4*l - 1 - 5. Let p = 6 + 0. Is h greater than or equal to p?
True
Let z be -1*(-4 + 1)/(-3). Let g be 6 + -14 - 170/(-21). Which is greater: g or z?
g
Let g = 0.15 + 1.95. Let x = g - 0.9. Let v = -0.2 + x. Which is bigger: v or -2/3?
v
Suppose -m = -3*d - 4*m + 183, 5*m = 2*d - 115. Suppose 2*w + 4 = d. Which is bigger: 27 or w?
w
Suppose -n + i = -5, -i - 4*i - 13 = n. Suppose -2 = 2*m - 3*y + y, -n*m - 5*y = 37. Let l = 10 + m. Which is smaller: l or 0?
0
Let q(b) = 37*b + 192. Let y be q(-8). Which is bigger: -108 or y?
y
Let b(j) = -j - 4. Let l be b(0). Let g be 2 - (1/(-13))/((-75)/(-1285)). Let p = -1/65 - g. Is l less than or equal to p?
True
Let l = 1741 + -3481/2. Which is smaller: -0.136 or l?
-0.136
Let j(i) = 6*i - 4. Let n be j(8). Suppose 4*x - 142 = -3*h - 1, x = -4*h + 175. Which is greater: n or h?
n
Suppose 0 = 41*s - 27 + 68. Do -27/16 and s have different values?
True
Let v = 19.98 - -0.02. Let x = 20.2 - v. Let k be 4 + 260/(-44) - -2. Is x less than or equal to k?
False
Let j = 23950/7 - 26780/7. Let p = j + 405. Is p bigger than 2/7?
True
Let r(u) = 3*u 