) + i. Is 1 >= l?
True
Suppose -3*v = -7*v + 24. Let y = 9 - v. Suppose 0 = -3*x - y - 3. Is -3 less than or equal to x?
True
Let n be (-6)/(-4)*88/33. Suppose -b - 4*u - n = -2*b, 5 = -5*u. Is b smaller than -1/2?
False
Suppose -3*q + 3 = -9. Suppose 0 = -4*x - 0*x - 2*v - 6, q*v = 2*x - 2. Is x < -1?
False
Suppose -3*v + 2*z = -2*v, 6 = 3*z. Let k be 7 + (-9 - -8) + (-1 - -1). Is v >= k?
False
Let y = -138/5 - -3317/120. Is 1 >= y?
True
Let p(g) = 7*g**2 - 12*g - 10. Let k(m) = 20*m**2 - 35*m - 29. Let i(y) = -6*k(y) + 17*p(y). Let u be i(6). Is 3 less than or equal to u?
True
Suppose 3*z + 6*u = 2*u + 23, -4*z = u - 9. Let f = 81/8 - 10. Which is smaller: f or z?
f
Let k(f) = f**2 - 6*f + 5. Let n be k(4). Let i(o) = -3*o**2 + 2*o + 2. Let y be i(-1). Is y equal to n?
True
Let z(i) = -i**3 + 10*i**2 - 2*i + 13. Let p be z(10). Let j = 37/5 + p. Which is smaller: 1 or j?
j
Let v be (5/10)/((-1)/6). Let q(k) = -k + 1. Let r be q(4). Do r and v have the same value?
True
Let o = -0.057 + -76.943. Which is smaller: 1 or o?
o
Let k be ((-3)/(-2))/(4/(-32)*3). Do -4 and k have the same value?
True
Let k = -10.45 - -10.6. Is 2 > k?
True
Let j(y) = -y**3 - y**2 - 7. Let m be j(0). Let w(p) = -2*p + 6. Let a be w(6). Is a bigger than m?
True
Let h = 337/1015 - 3/29. Which is smaller: 1 or h?
h
Let i = -108 + 302. Let j = 1744/9 - i. Let f(w) = w + 2. Let c be f(-3). Which is smaller: c or j?
c
Let k(g) = 2*g - 5*g + g - 6. Let y be k(-5). Which is greater: 3 or y?
y
Suppose -c + 4 = 4*u + 15, 4*c - u + 129 = 0. Which is greater: -30 or c?
-30
Suppose -p = -0*p. Let c be ((-2)/8)/(5 + -6). Is p > c?
False
Let d = -13/12 + 281/252. Which is greater: -1 or d?
d
Let p(v) = v**3 + 7*v**2 + 5*v - 4. Let d be p(-6). Suppose 2 = s - d. Suppose 2*b = 4*l + s, -4*l + l + b = 2. Which is bigger: 2 or l?
2
Let d = 7 - 5. Let r be 0/(d*(-4 + 3)). Is r bigger than -1?
True
Let j = -74 - -52. Which is bigger: 0 or j?
0
Let l(q) = -6*q**2. Let b be l(1). Let x = 3 + -9. Is x < b?
False
Let a be (-4)/(-3) + (-6)/(-9). Let m = -16117/4 - -4061. Let i = -31 + m. Are i and a nonequal?
True
Suppose 2*o = -4*t - 0*o, -4*t = 3*o. Do -2/17 and t have the same value?
False
Let a = 1 - -0.2. Let b = a - 2.2. Is b >= 2?
False
Let l(w) = -w**2 + w + 2. Let u(x) = -2*x**2 + 3*x + 3. Let s(y) = 13*l(y) - 6*u(y). Let a be s(-6). Is a greater than or equal to 0?
True
Let y(f) = f**3 + 9*f**2 + 6*f - 8. Let k be y(-8). Which is bigger: 6 or k?
k
Let c = 25 - 37. Let t be 8/c*6/8. Is t < -1/2?
False
Suppose 12 = 4*i - 5*x - 12, -5*x - 25 = -5*i. Let n be i*((-3)/(-1) + 2). Suppose n = 2*z - m, -5 = -z - 5*m - 19. Which is smaller: -0.6 or z?
-0.6
Suppose u - 17 = -4*l - 7, 4*u = 5*l - 2. Suppose -5*x - l + 22 = 0. Suppose 4*o = 3*z - 15, 2*o - 20 = -o - x*z. Are o and 1/4 non-equal?
True
Let l = -26 - -26. Which is smaller: -6/7 or l?
-6/7
Let j = -3646/77 + 320/7. Which is smaller: j or -2?
-2
Let m be 8/(-36) + 87/27. Let p be (-1)/m + 13/39. Which is bigger: p or -1/14?
p
Let l = 20 - 19. Which is smaller: -1/4 or l?
-1/4
Let v be (-2)/6*(-18)/23. Let i = v - 100/207. Suppose -3*p - 10 = 5*z, 4*p + 4 = 16*z - 18*z. Which is smaller: p or i?
i
Let k(v) = -v + 3. Let s be k(5). Suppose f - 2*n - 6 = 0, 5*f + 0*n - 19 = -n. Suppose -f = -2*w - 0*w. Is w greater than s?
True
Let t = -87/34 - -18/17. Let r = 1 - -1. Suppose -v - 3*v - 12 = r*g, 2*v - 5*g - 18 = 0. Is t >= v?
False
Let a(y) = y - 4. Let p be a(-3). Is -7 less than p?
False
Let h = -62 - -62.01. Which is smaller: -1 or h?
-1
Let h = 24 - 28. Are -5 and h unequal?
True
Let n be (-10)/(-4) + (-4)/8*6. Let o = 16 + -11. Which is smaller: n or o?
n
Let x = -14 - 8. Is x greater than or equal to -22?
True
Suppose 4*h + 4*c = 12, 3*h = -2*c - 4 + 14. Suppose 5*k = 4*t + 40, 0 = 3*k + 5*t + 16 - 3. Let b = k + -1. Which is bigger: h or b?
h
Let g(c) = -c**3 - 4*c**2 - 3*c - 1. Suppose 5*a + u + 23 = 0, 5 = -0*a + a - 3*u. Let b be (0 - 2)*(-6)/a. Let z be g(b). Is z less than 0?
True
Let o(d) = -d**2 + 4*d - 5. Let t be o(4). Is -7 < t?
True
Let g(y) = 2*y**2 - 13*y - 15. Let w be g(8). Let j(m) = -2*m + 3. Let b be j(6). Let v = b + w. Which is bigger: v or 5?
5
Let c = -1 - 19. Let f = c - -20.1. Let q = 161/3 + -55. Which is smaller: f or q?
q
Suppose -f = 3*s - 27, -3*s - 2*s - 4*f + 45 = 0. Is s less than or equal to 9?
True
Suppose 14 + 22 = 6*k. Let z(u) = 8*u**2 - 1. Let r be z(1). Is r > k?
True
Let g be (3/6)/((-2)/(-20)). Let u be (g/(-70))/(1/18). Is -1 < u?
False
Let b = -8 - -8.06. Let l = b - -1.94. Let s be (-6 - (4 + -6))/(1 + 0). Is s at most l?
True
Suppose -4*v + 4 = -4. Suppose v*o - 3 + 1 = 0. Which is greater: 2/11 or o?
o
Let k = 83/390 - 1/78. Let g = -125 + 119. Is k at least g?
True
Let r(m) = -m**3 + 9*m**2 + 9*m + 7. Let l be r(10). Let c be (-30)/(-100)*(-2)/l. Let k(h) = h - 2. Let n be k(1). Which is smaller: c or n?
n
Suppose -4*c - p - 20 = 0, 6*p - 8 = 4*c + 4*p. Let w be c/12*-3*2. Which is greater: 1 or w?
w
Suppose 2*n = 3*n. Let s be 2/14*-1 - n. Is s at most as big as -2/5?
False
Suppose -s - 2*s - 5*m - 25 = 0, 4*s + 25 = -5*m. Let g be 2/(-39)*(-6 + 9). Which is smaller: s or g?
g
Let f = 326/5 - 65. Which is bigger: 0 or f?
f
Suppose x + 5 = 3. Suppose 0 = -3*r - 6 - 3. Let h be (-66)/24 + r/(-4). Is h less than or equal to x?
True
Let o = 2 - 2. Let i be (-2 - -3)/(o - -1). Which is bigger: 3 or i?
3
Let b = 6971/41 - 170. Is b equal to -0.1?
False
Let l = 1 + -1. Let q(v) = -v**2 + 2. Let a be q(l). Suppose -2*j = 2*j. Is a greater than or equal to j?
True
Let p be (-54)/(-15) - 4/(-10). Let m(b) = -4*b**2 + b + 5. Let s be m(p). Let a be s/75 - 1/(-3). Are 2/5 and a equal?
False
Let u be -2 + 1 + 234/200. Let w = u - -2/25. Which is bigger: 0.1 or w?
w
Suppose 1 = p - 0*p. Let q = 140 + -140.8. Are q and p unequal?
True
Let p(g) = -g**3 - 3*g**2 + 1. Let c be p(-3). Which is smaller: c or -4?
-4
Suppose -19 = i - 5*t, 210 = -18*i + 13*i + 2*t. Is -44 less than i?
False
Let f = 2 - 11. Do f and -8 have different values?
True
Let b = -7.85 - 0.15. Which is smaller: 1/3 or b?
b
Suppose 4*b + 300 = 4*r, 150 = 4*r - 2*r + 5*b. Let w be 2/6 + (-10)/r. Let d(i) = i - 4. Let h be d(3). Which is greater: h or w?
w
Let w be (42/(-10) + 4)/((-4)/(-5)). Which is smaller: -0.31 or w?
-0.31
Suppose -3*k - 5 = -7*k - n, -2*n = -3*k + 1. Which is bigger: -1/289 or k?
k
Let w(d) = -d**3 - 2*d**2 + 3*d + 3. Let j be w(-3). Let i = 1 - j. Let q(g) = -g**2 - 2*g - 1. Let o be q(-3). Are o and i non-equal?
True
Let n = -2/1273 + -2512/21641. Let m be 104/32 - 3*1. Which is smaller: n or m?
n
Let u = -56104 + 5554222/99. Let i = -235/7 + 2634/77. Let s = i + u. Is s at least 1?
False
Let c be -4 + 15/3 + 0. Is c less than or equal to -1/28?
False
Let d(y) be the first derivative of -y**3/3 + 5*y**2/2 + y + 5. Let z be d(5). Which is bigger: z or -2/7?
z
Let p(g) = -g**3 + 6*g**2 - 6*g + 5. Let h be p(5). Suppose r - 23 - 138 = 0. Let k = -1775/11 + r. Is k greater than h?
False
Let u = 0.6 + 0.1. Let m = -1 + u. Which is bigger: 2/5 or m?
2/5
Let n be ((-6)/3)/(63/6). Let k = -37/84 - n. Is k at least as big as 0.03?
False
Suppose h - 2 + 3 = 0. Suppose -2*c - 26 = u + 3*c, -1 = -4*u + c. Is h <= u?
True
Let p(k) = -k + 2. Let h be p(0). Suppose h*z + 2*z - 16 = 0. Let g be z + -4 - (1 - -1). Which is smaller: -2/3 or g?
g
Let k be (2/(-4)*2)/(-1). Suppose -a = -2*c + 5, c - 2 = a + k. Let d(q) = 2*q - 28. Let x be d(16). Which is bigger: x or c?
x
Let o(l) = -l**3 - 6*l**2 - 4*l + 3. Let g be o(-5). Which is bigger: g or -4/5?
-4/5
Suppose -t = 5*g - 0*t - 445, -g + t + 95 = 0. Let i be ((-32)/g)/(18/5). Let x = i + 44/81. Which is smaller: 1 or x?
x
Let y be ((-128)/60 - -2)*(-13 - -1). Which is smaller: 3 or y?
y
Suppose 1 = -2*a - 1. Let h be 2 + (-116)/18*22. Let l = h + 140. Is a less than l?
True
Let j = -7 - -17. Let f = 6 - j. Let g = 4.3 + f. Which is smaller: -0.1 or g?
-0.1
Suppose 4*z + 4*f - 54 = 6*f, -2*f = 5*z - 63. Which is greater: z or 43/3?
43/3
Let i(l) = -l**3 + 7*l**2 - 2*l - 6. Let w be i(6). Let f be (-13)/(-3) - 6/w. Suppose -2*v - t = -f*t + 14, 0 = 5*v + 4*t - 11. Are v and 0 non-equal?
True
Let n be (7/((-35)/10))/(-52). Let i = 3 - 3. Which is smaller: n or i?
i
Suppose