r = -21 - -22. Let t be ((-3 - -3)*r)/1. Are t and -2/35 unequal?
True
Let t(h) = -2*h + 44. Let x be t(22). Is x >= 0?
True
Let s be (-344)/(-12) + 2/(-3). Suppose -12*t = -8*t + s. Which is smaller: -9 or t?
-9
Let m = -4 - -1. Suppose -5*s = -21 - 184. Let j = s + -85/2. Are j and m nonequal?
True
Suppose -4*l + 2*l + 5*g + 102 = 0, -16 = 4*g. Suppose 0 = 3*z - 8*z - 2*f + 30, -4*z - 5*f + l = 0. Is z at most as big as 5?
True
Let q = 3 + -2. Suppose -28 = -3*p - 5*a, 2 = p - a - a. Let y be (-16)/65 - p/(-15). Is y at least q?
False
Suppose x - 83 + 34 = 0. Which is greater: 48 or x?
x
Let r be 2/2 + 2 + -1. Suppose -2*p + 5 = -4*m - 1, -5*m = -p. Which is smaller: m or r?
m
Let t be 2/6 + 6 + -7. Which is bigger: 0.7 or t?
0.7
Let f = -9 + 11. Suppose -f = -3*c + 1. Let t = -7 + c. Which is smaller: -5 or t?
t
Let i be (2/(-10))/(16/10). Let m be -1 - (16/2 + -2). Let p(c) = -c**3 - 7*c**2 + c + 8. Let t be p(m). Which is bigger: i or t?
t
Let n(r) = -r**3 - 5*r**2 - 5*r - 4. Let z be n(-4). Is -8/7 at most z?
True
Suppose 3*h - 54 = 5*h. Let c be -3*(-3)/h*3. Which is smaller: c or -2/17?
c
Let a = -2/4479 - 8752/461337. Which is smaller: a or 0?
a
Let d = -11 - -14. Which is bigger: 0.3 or d?
d
Let a be ((0 + -1)/(-1))/1. Let m = a - 0. Are -0.3 and m equal?
False
Let o = 17 - 17. Let a be (-1527)/630 + (-1)/(-5). Let m = a - -33/14. Which is smaller: m or o?
o
Suppose 0 = -3*i - 3*k, 4*i - 5*k - 6 + 15 = 0. Which is greater: -2/3 or i?
-2/3
Let r = 29 - 13. Suppose 5*x = 6 - r. Which is smaller: -1 or x?
x
Let x be ((-9)/(-12))/((-18)/(-4)). Is x less than -1?
False
Let g be 184/(-60) + (-4)/(-6). Which is smaller: g or -3?
-3
Let g be -2 + 5/(1035/416). Let m = -16/69 + g. Is m <= -1?
False
Let j = 131/1510 - -2/151. Let s = -29/90 + j. Which is greater: s or 0?
0
Let h = -23 + 21. Let l = -1 + h. Let b = -1 - 1. Do l and b have different values?
True
Let a = -13 - -28. Suppose -2*b + a = -57. Suppose 4*n + 4*k + b = -k, 24 = -2*n - 4*k. Which is smaller: -1/3 or n?
n
Let b = -175 - -1573/9. Let x(p) = -p - 1. Let d be x(-2). Suppose 4 + d = 5*l. Which is smaller: l or b?
b
Let u be (1 - (3 - 3))*1. Let y be (-10)/(-6*u/2). Is y < 4?
True
Let j = -0.4 - 0.6. Let c = j - -1. Let d = -1 - c. Which is smaller: d or -0.2?
d
Let x(h) = -h**3 - 2*h**2 - 2*h - 2. Suppose 0 = -5*b - 19 + 4. Let u be x(b). Suppose 5 = -3*j - u. Which is smaller: 1 or j?
j
Let x(n) = -3*n - 25. Let a be x(-12). Which is smaller: a or 10?
10
Let i = 9 + -7. Let n(g) = g**3 - 4*g**2 + 4*g - 1. Let f = -7 - -10. Let a be n(f). Is a bigger than i?
False
Suppose j + 0*j = 1. Let x be j/(2/(-4) - -1). Let l be 0/((-112)/24*(-24)/28). Is x at least l?
True
Let y = 3/172 - 7/172. Is y equal to -1?
False
Let j be (-1)/4*(-16)/(-6). Let w = 4 + -5. Let a = 0 + w. Is j equal to a?
False
Suppose -5*x + 31 = -14. Let b be (x/30)/(18/15). Do -1 and b have different values?
True
Let p be 1 - (-1 + (-3 - -2)). Suppose 0 = p*d + 16 - 7. Let c = 4 + d. Which is greater: -2/17 or c?
c
Let w(r) = -r**3 + 4*r**2 - r - 2. Let x be w(4). Which is bigger: -7 or x?
x
Let z = 3.1 + -3. Let h = 6 + -4. Suppose h = -2*l - 2. Which is greater: z or l?
z
Let i = 17 - 13.5. Is i < 0?
False
Let m(h) = -h**3 - h. Let a = 8 + -8. Let d be m(a). Are d and 2/5 equal?
False
Let p be ((-6)/10 + 0)*-5. Which is bigger: 17/8 or p?
p
Let j = 8 + -6. Let m = 0 + j. Which is smaller: m or 3?
m
Let k be (14/84)/((-2)/(-4)). Let i be (0/(0 + 2))/2. Is k < i?
False
Let q = -4/593 - 7489/32615. Let f = 2/55 + q. Which is smaller: f or 1?
f
Let z = -49 + 43. Which is greater: z or -3?
-3
Let q be ((-16)/20)/((-2)/5). Let l = -1 + q. Which is greater: l or -2/5?
l
Suppose -12*f = -304 - 296. Is 1/2 != f?
True
Suppose h - 3 = 8. Is 11 equal to h?
True
Let y = -11 + 7. Let n = 432 + -435. Is y not equal to n?
True
Suppose -4*i = 5*r - 7*i - 3, 3*i - 24 = -4*r. Suppose 3*p + 3*c - c = -35, 2*p + 6 = r*c. Let t be (6/p)/(2/(-9)). Is t at most 3?
True
Suppose -2*h - 8 = 2*h. Let n = h + 2. Which is greater: n or -2/7?
n
Let s = 23 + -23.9. Let p = 0.7 + s. Let z = 3.8 + -0.8. Which is smaller: p or z?
p
Let j be (-54)/(-21) + -2 - 0. Let w = -31 - -33. Is w greater than or equal to j?
True
Let g be (-4)/8*-6 - -2. Let p be g + -3 - (-3)/3. Let t = -4 + 7. Is p greater than t?
False
Let z(r) = 2 + 0*r + 0 - r. Let s be z(4). Which is smaller: 2/3 or s?
s
Let j be 2 - 22/12 - 0. Let n = -25 - -27. Which is greater: j or n?
n
Let k = 27 + -25. Let c be k/((-2)/3*-3). Which is smaller: 0 or c?
0
Let i = -922/5 - -185. Let q = -1/10 + i. Which is greater: 2/15 or q?
q
Suppose 2*s + 2*s = 0. Suppose 0 = c - s*c. Which is bigger: c or 2/11?
2/11
Let d be (-1)/(-2)*(6 + 4). Suppose 2*q = -d + 1. Is -3 equal to q?
False
Let o(x) be the third derivative of x**5/60 + x**4/4 + x**3/3 + 3*x**2. Let t be o(-6). Do t and 2 have the same value?
True
Let j = 12677/110 - 639/22. Let m = 3881/45 - j. Which is smaller: m or -1?
-1
Let s = -15679 - -424006/27. Let b = s - 25. Let x = -7/15 - -13/15. Which is bigger: b or x?
x
Let j(y) = y**3 + y**2 - y - 1. Suppose -2*z + 0*z = 0. Let o be j(z). Which is greater: o or 1/3?
1/3
Let f be 48/14 + -2 - 1. Suppose -2*i + 1 = -3*v, -4*v = -3*i - 0*v. Let c be 1/i*2*-2. Which is greater: f or c?
c
Let w = -6 - -43/7. Suppose -5*c = 1 + 4. Which is smaller: c or w?
c
Let i = -0.2 - -0.2. Suppose -h - 4 = 3*a, -2*a - 4*h = -7*a - 1. Is a greater than or equal to i?
False
Let q = 14 + -8. Let t = q + -5. Which is smaller: t or 5?
t
Let d = -19.2 - -13.2. Is d <= 12?
True
Let y be 3/((-54)/(-22)) - 1. Let q(c) = -c**3 - 2*c**2 - 2*c - 3. Let d be q(-2). Suppose -t - d + 2 = 0. Which is greater: t or y?
t
Suppose m - 4*m + 259 = 2*o, 20 = -5*o. Which is greater: m or 87?
m
Let y be (-1)/(-3)*-2 + 10/6. Which is smaller: y or 2/25?
2/25
Suppose -s - 42 = 13*s. Suppose 0 = -4*z - 15 - 1. Which is smaller: z or s?
z
Let i = 3 + -3. Suppose 0 = -i*z - 3*z - 3. Is z not equal to 2/23?
True
Let a = -0.2 - -0.3. Let d = 2.8 + -3. Let z = a + d. Is 1 <= z?
False
Let z(b) = -9*b**3 - b**2 + b + 1. Let q be 3 + (-2 - -1) + -3. Let l be z(q). Which is greater: l or 7?
l
Let d be ((-740)/(-66))/(-5) - -1. Let g = d + 10/11. Which is greater: 1 or g?
1
Let o = -2/5 + 1/5. Let s be 2 + 2 + -3 + 1. Suppose -4*j = -s*c + 10, 3*j + 7 = -c + 2*c. Is c bigger than o?
True
Let r(d) = -d**2 - 5*d + 3. Let p be r(-5). Suppose -5*v - p = -2*v. Which is smaller: v or 0?
v
Let n = 0.16 - 1.16. Do -4 and n have different values?
True
Let i = 0.2 - -0.1. Let l(h) = h**3 - 2*h - 3*h**2 + 3*h - 4*h - 5. Let s be l(4). Are i and s equal?
False
Suppose 5*o = 2*o + 18. Let z be 1 + 3/(o/(-2)). Let c = -33/52 + 18/13. Is c >= z?
True
Let u = 19/51 + 5/17. Let x(q) = q**2 - q - 4. Let z be x(3). Which is smaller: u or z?
u
Let u be (1 - 763)*12/56. Let b = 397 + -234. Let o = u + b. Is 1 at most as big as o?
False
Let q = -1 + 2. Let x = 3.3 + 0.7. Let t = -4.2 + x. Are q and t equal?
False
Let q(v) = 6*v + 13. Let y be q(-11). Let j = 157/3 + y. Which is greater: -1 or j?
j
Let l = -112 - -121. Which is greater: 11 or l?
11
Let b be -4*((-3)/(-3) - 2). Suppose 2*u = -u - 6, 4*r + 2*u = -b. Let g be -1*((2 - 1) + 0). Which is bigger: g or r?
r
Let q(k) = k**3 + k**2 + 1. Let p be q(-2). Let j be -2*(0 - p/(-6)). Are -1/15 and j unequal?
True
Suppose 0 = 4*c + 4*k + 1 - 21, -3*k = -9. Suppose 18 = s + c*s. Which is smaller: 5 or s?
5
Let k be (-17 + 13)*(-1)/4. Let d be (-6)/14 - (-2)/6. Which is bigger: d or k?
k
Let t be 6/(-9) + 26/21. Which is smaller: 0 or t?
0
Suppose 99 = -8*x + 43. Which is smaller: -10 or x?
-10
Suppose k = 6 - 13. Which is greater: k or -6?
-6
Let h = -6 + 10. Is 2 > h?
False
Let s = -170 - -526/3. Do 6 and s have the same value?
False
Let s = 39/2 + -739/38. Which is smaller: 1 or s?
s
Let v = -4 + 2. Let m be -1 + 0 + 3 + v. Is m >= 3/7?
False
Suppose -2*k - 3*k = z - 11, 0 = 5*k - 10. Which is bigger: z or 3/19?
z
Let x be -1*(2 - (-9)/(-3)). Let a be (11 + -5)*x/(-3). Which is smaller: -2/3 or a?
a
Let j = 21 + -21. Which is bigger: 5/6 or j?
5/6
Let q(j) = -j**3 - 2*j**2 + 15*j - 4. Let u be q(-5). Let f = -4 - 0. Is u >= f?
True
Let b be (1 - -1 - 0)/((-3)/18). Suppose 2*y + 2*n - 8 = -32, 4*y