 + 24. Let i = c - -0.8. Which is greater: i or -2/9?
-2/9
Let t = -57 + 20. Let r = t - -112/3. Is 0 < r?
True
Let n(j) = 6*j - 23. Let t be n(4). Is t <= -7/17?
False
Let i = -9646/11 + 878. Let u = 11 + -10. Which is smaller: u or i?
u
Let h be ((-1)/8)/((-2)/(-4)). Let x(i) = i**3 - 2*i**2 - 3*i + 3. Let c be x(3). Suppose -4*f = c - 7. Which is greater: h or f?
f
Let r = -11 + 20. Which is greater: 8 or r?
r
Suppose 1 = 2*u - 1. Is u at most -2/33?
False
Let t be ((-9)/168)/(3/(-12)). Is t bigger than -1?
True
Let j = 21 + -17. Is 11/4 < j?
True
Let a = 104 + -99. Let x be (1 - 4/2)*-4. Which is bigger: a or x?
a
Let y be 2/(-4 + (-12)/(-2)). Is 1/7 > y?
False
Let v = 2 - 1.99. Let k = v + 4.99. Let j be 10/3 - 2 - 2. Is k >= j?
True
Let b = -53/600 + -3/25. Is -1 less than b?
True
Let c be -6 - -6 - 2/(-43). Is 1 at most as big as c?
False
Suppose 45 = -3*y + 12. Let w = 8 + y. Which is greater: w or -9/4?
-9/4
Let n be 8/(-3)*6/(-8). Suppose -n*l - 10 = 3*l. Is -1 less than l?
False
Let i be ((-2)/44)/(2/(-8)). Let x = -7 - -12. Let k = x - 6. Is k less than i?
True
Suppose 2*r = -3*r + 5. Let g be (-3)/r - 135/(-50). Which is greater: g or 1?
1
Let h(f) = f + 1. Let q(u) = -u**2 + 2*u + 13. Let a(j) = -6*h(j) + q(j). Let x be a(-5). Let t be (2 - 1) + (-1 - x). Is t greater than or equal to -2?
True
Let d(g) = -g**3 - g**2 + 1. Let k be d(-3). Which is greater: 20 or k?
20
Suppose 0 = 4*v - 0 - 4. Let d(r) = -r**3 + 2*r**2 - r - 1. Let o be d(2). Let i be (o - 15/13) + 4. Which is smaller: i or v?
i
Let f be 1/(-2)*1616/(-24). Let s = 34 - f. Which is greater: s or 0?
s
Suppose d + 3*v = 3*d - 26, 4*d = -4*v + 52. Which is greater: d or 2?
d
Suppose -2*z + 4*z - 2 = 0. Let d be 4 - (z - 14/(-4)). Which is bigger: d or -1?
d
Let x(c) = -c - 3. Let i be x(4). Let j be ((-2)/i)/(6/56). Suppose -6*u + 3*u + 9 = 0. Which is bigger: j or u?
u
Let g = -35 + 13. Which is bigger: -19 or g?
-19
Let q = 38 + 51. Is 90 less than q?
False
Let q(c) = 3 + 1 - 29*c**2 + 3*c + 30*c**2. Let f be q(-5). Is 0 > f?
False
Suppose 67 = 4*a + 2*c - 17, -2*a = -4*c - 42. Which is bigger: a or 20?
a
Suppose -o = 5*w + 2*o - 25, w = -4*o + 22. Let c = 4 + -9. Which is smaller: w or c?
c
Let v = -17 - -30. Let x be ((-1)/4)/(4/216). Let c = v + x. Which is greater: c or -2?
c
Let c(g) = -4*g + 2*g + g**2 - 2*g**2. Let w be c(-2). Let f(u) = u - 2. Let d be f(w). Is d less than or equal to 1/2?
True
Let b(r) = r**2 - r - 2. Let c be b(2). Is c greater than -3?
True
Let o = 92 - 93. Which is greater: o or 2/5?
2/5
Let d(x) = x. Let p(g) = -g**2 + 7*g + 7. Suppose -b = -f - 2 - 5, -2*b + 21 = 5*f. Let c be p(b). Let r be d(c). Which is greater: 0 or r?
0
Let k be 4/8 + 6/(-4). Let s be (2/6)/(k/3). Does s = 2?
False
Let p = -42 - -42. Do p and 0.27 have different values?
True
Let v be (-34)/27*(-65910)/(-28). Let m = 20163/7 + v. Let f = m - -84. Which is greater: 0 or f?
f
Let h be (4 - 2)*2/4. Let t be 2/(-3) - 2/6. Which is smaller: h or t?
t
Let a = -0.6 - 0.3. Let w = -0.7 - a. Which is greater: w or 1?
1
Let i be 4/((-7)/(28/(-16))). Is i <= 9/13?
False
Let m(w) = -w**3 - 6*w**2 - w. Let i be m(-6). Suppose -p + i = -6. Let u be (6/(-15))/(p/10). Is u at most as big as -1?
False
Let n(t) be the first derivative of -t**2 + 1. Let g be n(-2). Suppose -g*j = 3*b + 7, 5*j - 3*b - 1 = -3. Does -1 = j?
True
Let k = -0.3 - -0.2. Let g = -0.1 - -0.1. Which is greater: g or k?
g
Let v = 35 + -42. Which is smaller: -3 or v?
v
Suppose 0 = 4*z + 65 - 9. Let o = -13 - z. Which is greater: o or 1/6?
o
Let f = -1 + 1. Let p = -1 + f. Which is greater: 0.06 or p?
0.06
Suppose 5*l - 34 = -x, -18 - 2 = -4*l + x. Is l at least as big as 7?
False
Let r(h) = -5*h - 16. Let l(m) = m + 4. Let j(a) = -9*l(a) - 2*r(a). Let f be j(4). Let u be 2 + (-58)/18 + 1. Are f and u non-equal?
True
Suppose -z + 5 = -2*z. Let b be 1/z + 2/10. Suppose 0 = -b*x + 5*x. Which is smaller: 1 or x?
x
Let n = -9 - -6. Let k = -42 - -42. Is n at least k?
False
Let n = 1.5 - -5.5. Let j = -6.4 + n. Let r = 0.92 + 0.08. Is j at most r?
True
Suppose -4*o + 73 = 81. Is -5/4 > o?
True
Let w = -7 + 6.84. Let k = w - -0.08. Let p = k - -0.03. Which is smaller: p or 1?
p
Let x be (-9)/12 + (-3)/12. Let v be x/((-5)/(-2))*1. Which is bigger: v or -0.1?
-0.1
Let c be (0/(-5 + 1))/(1/1). Is 3/35 less than c?
False
Let j = -0.7 + -5.3. Let t = 12 + j. Which is greater: t or -1?
t
Let i = -746.22 - -733. Let j = -0.22 - i. Which is smaller: -1 or j?
-1
Let d be (-6 + 34)*(2 + -1). Let b be d/(-6)*6/(-8). Which is smaller: 5 or b?
b
Let a(x) be the third derivative of -x**6/120 + x**5/20 + x**4/6 - x**3/2 - x**2. Let h be a(4). Let m = h + 4. Which is smaller: m or 1/6?
1/6
Let p be ((-128)/40)/(4/(-10)). Let m = 6 - p. Let l be m/(-8) - 54/(-8). Which is bigger: l or 0?
l
Let a = 14 + -22. Let m = 8 + a. Which is bigger: 2/3 or m?
2/3
Let f(z) = -11*z**3 + z**2 - z. Let c be f(1). Let g = c + 18. Are 20/3 and g non-equal?
True
Let l = -83/67 - -9281/8844. Let d = 12311/33 + -373. Let t = l - d. Which is greater: 0.1 or t?
0.1
Suppose 3*q = -2*q. Which is greater: q or -1/2?
q
Let l = 56/319 - 13/29. Which is smaller: 1 or l?
l
Let i(z) = -z**3 + 5*z**2 + 2*z + 1. Let v be i(4). Let a be ((-10)/v)/(12/(-1835)). Let g = a + -61. Is g bigger than 0?
True
Suppose -6*a - 4 = -2*a. Is 2 smaller than a?
False
Let l(n) = -n**2 + 27. Let x be l(0). Suppose 4*r + x = r. Which is bigger: -10 or r?
r
Suppose -2*j + 0*j = -8. Suppose 3*i - l - 4 = 0, 0 = 2*l - l + j. Suppose i*g - 4*g = 0. Which is bigger: g or 2?
2
Let t = 0.34 + -0.4. Which is smaller: 0.1 or t?
t
Let n = -394/7 - -56. Is n <= 1?
True
Let j = 65.3 + -65. Which is smaller: -0.14 or j?
-0.14
Let l = -14/177 - 4504/1239. Which is smaller: l or -5?
-5
Let a = -2.4 + 2.6. Which is greater: a or 3/4?
3/4
Let o be (-38)/(-8) - 1/(-4). Let p = -3 + o. Is 5/3 > p?
False
Suppose -3*s - 39 = -3*o, 0 = -2*o - 3*o - 4*s + 110. Let c be 15/(-4) - o/(-24). Are -3 and c nonequal?
False
Let r = 0.001 - 0.021. Let v = 80/93 + -6/31. Is v less than or equal to r?
False
Let n(s) = -s**3 - 8*s**2 - 8*s - 6. Let j be n(-7). Let h(x) = -x - x + x + j. Let z be h(3). Which is greater: -4 or z?
z
Let r = -3 + -1. Let n = r + 4. Let f = 0 + n. Is 0.3 not equal to f?
True
Let o = -0.2 + 0.2. Let b = 17 + -15. Is o less than b?
True
Let c be ((-12)/(-3))/((-2)/(-2)). Suppose 112 = 3*p + c*n, -7 = 4*n + 1. Let w = 481/12 - p. Does w = 1?
False
Let l = 9 + -10. Let o be l + 1 + 3 + 0. Which is bigger: o or -0.1?
o
Let d = 35 + -137/4. Which is bigger: d or -1?
d
Let p be -2 - (-7)/(14/4). Suppose 3*x + 2*x = p, 5*u - 3*x + 5 = 0. Is -2/25 != u?
True
Let p = -1975/1722 + 1/246. Let c be 3/6*(-1 + 1). Are p and c unequal?
True
Suppose 2*u = 3*s + 5*u + 6, -4*u = -3*s + 1. Is 1 at least s?
True
Let l(d) = -12*d + 1. Let o be l(1). Suppose -p - 2 = -5*a - 57, 5*a + 55 = 5*p. Is o equal to a?
True
Suppose -4*b + b + 1698 = 0. Let n = b - 16412/29. Which is greater: n or 1?
1
Let w be ((-27)/(-15))/3 + (-24)/(-60). Let l(q) = -q + 2. Let s be l(0). Which is bigger: w or s?
s
Suppose -18 = -2*u - 6. Suppose 2*r - 4 = -0*r. Suppose 0 = -4*n - 12, -u*w + r*n = -w - 1. Are -1 and w equal?
True
Suppose 4 = -5*z + 5*u - 2*u, 2*z - 17 = -5*u. Which is smaller: 1/4 or z?
1/4
Let p be 52/95 - (-12)/(-20). Is 0 > p?
True
Suppose 0 = -4*o - 13 - 3. Suppose -2*y = -2*v + 6, 3*y + 2*v + 3*v = -25. Is o != y?
True
Let a be (10/20)/((-3)/4). Which is bigger: -1 or a?
a
Let j be (-9)/6*(-3)/72. Which is smaller: 0 or j?
0
Let t = -3 - -2. Which is bigger: 4 or t?
4
Suppose -4*w + 7 = -3*m, -21 = 4*m - 2*w - w. Suppose -3*t + 3*b - 2 - 40 = 0, 0 = t + 4*b - 1. Which is smaller: t or m?
t
Let n be (-42)/(-105)*(-1 - 24). Which is greater: -49/5 or n?
-49/5
Let a = 0 - -7. Let j(t) = t**3 - 6*t**2 - 8*t + 5. Let r be j(a). Which is smaller: -1 or r?
r
Let n be -14*(1 - (-2 + 2)). Let x = -14 - n. Which is smaller: 2/31 or x?
x
Let n(u) = -u + 14. Let w be ((-5)/10)/(2/(-28)). Let d be n(w). Let v = -4 + d. Are 4 and v unequal?
True
Let j(p) = p + 6. Let m = 17 - 31. Let k = m + 8. Let t be j(k). Is t bigger than 1?
False
Let s be 15/6 + 1 - 3. Do 8 and s have different values?
True
Let m = 0 - -8. Suppose 50 = 