4/6 + (-127)/195. Is h at least as big as u?
True
Let v = 42 - 47.4. Let x = -5.1 - v. Is x < -5?
False
Let v be (9/(-12))/((-171)/76). Which is bigger: -217 or v?
v
Let p(w) = 21*w + 4. Let t be p(3). Let o be 4702/(-70) - (-27)/45. Let y = o + t. Do -1 and y have the same value?
False
Let q(f) = -59 + 59 - 7*f**2 + 3*f. Let p be q(2). Let h be (-77)/p*4/7. Which is smaller: h or 1?
1
Let h = 25 - 20. Let x(f) = 13*f**2 + 58*f + 5 - f**3 - 71*f + h. Let k be x(12). Which is smaller: 2 or k?
k
Let v = 60.76 + 0.24. Which is bigger: v or -0.1?
v
Let c(v) = -v**3 - 5*v**2 + 5*v - 5. Let p = 3 - 8. Let y be c(p). Let j be (-2)/3*y/(-4). Which is greater: -2 or j?
-2
Let r be (-280)/(-16) - (-1)/2. Let u = 41 - r. Suppose 0 = 4*y + 3 - u. Which is smaller: 11/2 or y?
y
Let j = 78 + -97. Let d = -16 - 4. Which is smaller: j or d?
d
Let u(b) = 19*b**2 + b - 1. Let z be u(1). Suppose z*r = 18*r - 2. Which is smaller: r or -8/3?
-8/3
Let k = 6/29 - 47/87. Let p = -0.081 + 1.881. Let f = -6.8 + p. Is k > f?
True
Let g be (-9)/(-12) + 648/15. Let f = g + -44. Which is bigger: 1 or f?
1
Let u be -1*(2 - 3) - -24. Suppose -2*i - u = 5*m + i, -5*m - 25 = -i. Let z be -2 - m - 1 - 7. Is -5 smaller than z?
False
Let c(p) = 7*p + 2. Let g be c(4). Let h = 45 - g. Let r be (6/9)/(10/225). Is r smaller than h?
False
Let a = 33 - 32. Let m(h) = -5*h + 4. Let s be m(a). Suppose -3*v - 8 = -2*b, -6 = 3*v - 0*v. Is b < s?
False
Suppose 0 = 6*q - 19 + 91. Let u be 39/(-33) - q/66. Let j be (24/28)/((-54)/(-28)). Is u > j?
False
Let d = -115 - -73. Let x be (-12)/d*(-82)/110. Let g = x - 4/55. Is g greater than 5/6?
False
Let w be 1*-3*110594/(-33). Let q be w/(-2024) - (-1 + 1). Let z = 258/23 + q. Which is smaller: 5 or z?
5
Let q = 22 - 22.36. Let j = -687 + 687.1. Are j and q equal?
False
Suppose 0 = -2*h - 4*h + 96. Let q = -17 + h. Which is smaller: q or 5/23?
q
Suppose 0 = 4*d - 9*d + 250. Suppose 5*c + 5*p = d, 25 = -2*c + 3*c + 4*p. Which is smaller: 2 or c?
2
Let n be (-18)/(-140)*873/444. Let c = -39/148 + n. Let i = -653/8680 - c. Which is bigger: i or 0?
0
Suppose 5*t + m = 5*m - 408, -15 = 5*m. Let q be ((-7)/t)/((-1)/(-2)). Let a(o) = -o + 1. Let l be a(1). Which is smaller: q or l?
l
Let x = -4452/197 + 464075/17336. Let a = 86067/3080 + x. Let m = 201/7 - a. Which is greater: -2 or m?
-2
Let c(z) = -z**3 - 5*z**2 + 7*z + 7. Let i be c(-6). Let l be (i - -2)*(-13)/(-39). Is l at most as big as -1?
False
Let w = 532 - 531. Let b = -5 + 4.98. Let x = 0.48 - b. Which is greater: x or w?
w
Suppose 141*v - 159*v = 18. Let n be ((-290)/(-16))/((-956)/40). Let k = n - -2/239. Is v less than or equal to k?
True
Let t(h) = -3*h**3 - 4*h**2 - 3*h - 1. Let d be t(-2). Let y be (1 + 2 - -1)/d. Let l(z) = 2*z**3 - 6*z**2 + z - 4. Let s be l(3). Is s bigger than y?
False
Let b be -4 - (-3 + 2250/2238 + -2). Is b at least 1?
False
Let j(r) = 149*r**2 - 3*r + 2. Let z be j(-2). Which is greater: 603 or z?
z
Let n be (-450)/21 + (-8)/14. Let r = -40 - -19. Is r >= n?
True
Let i be (2/3)/(40/48)*-5. Let a(z) be the second derivative of z**5/20 - 11*z**4/12 - z**3/6 + 9*z**2/2 - 3*z. Let j be a(11). Which is smaller: j or i?
i
Let a be 24/11 - (-10)/385*-7. Suppose 3*r + 5*k = -4 - 4, -3*k + 4 = 4*r. Suppose 5*c = c + r. Which is smaller: c or a?
c
Let h = 3867311/347 - 11145. Which is bigger: -1 or h?
h
Let j = 33 + 2. Let v be (-12)/130*j/(-14). Is v >= 0?
True
Let s = 810/7 + -116. Let r = -21.052 + 0.052. Let k = r - -6. Which is greater: k or s?
s
Let n be (-1)/(11*2/(-10)). Suppose -2*r + i = 6*i - 13, 2*i = 7*r + 13. Is r > n?
False
Suppose 0 = 3*m + 2*x + 1969, 31*x - 28*x = -2*m - 1321. Which is smaller: -654 or m?
-654
Suppose -1695 = 5*q + 5*w, -4*q - 9*w - 1356 = -10*w. Which is smaller: -340 or q?
-340
Let q = 418 + -473. Are q and 3/8 unequal?
True
Suppose 5*p - 4*d + 573 = 0, 5*p + 2*d = -0*d - 591. Is p <= -120?
False
Let s(g) = -19*g - 170. Let o be s(-9). Which is smaller: 17 or o?
o
Let b(m) = m**3 + 2*m**2 - 6*m - 4. Let l be b(-4). Let q = -653 - -643. Is l >= q?
False
Suppose -3*f = 4*g + 37, 0 = -2*f - 2*g + 4 - 28. Let w(x) = 5*x + 6*x + 12*x**2 - 747*x**3 + 748*x**3 - 1. Let a be w(f). Is a < -1?
False
Let k = 654 - 650. Which is smaller: k or -29?
-29
Let t(n) = 9*n - 1. Let q be t(2). Suppose 4 = -4*b + 3*z - 20, 5*z = 20. Let d = b + q. Which is bigger: d or 15?
15
Suppose -w + 0*w - t + 2 = 0, 0 = -4*w - 5*t + 8. Suppose 5*n = -4*f + 13 - 3, -2*n + 4 = -w*f. Suppose 6*m = 4 + n. Which is smaller: -1/7 or m?
-1/7
Let g(r) = r**3 + 3*r**2 - 2. Let z be g(-3). Let s be (-4)/(-2 + (z - -2)). Is s bigger than 1?
True
Let v = -208 - -223.1. Let t = v - 14.6. Is 14 >= t?
True
Suppose -7*p + 3*p = 28. Suppose -28*j = -43*j - 57 - 63. Which is bigger: j or p?
p
Let q = -39 + 63. Let p = -26 + q. Is 0.6 < p?
False
Suppose 0 = 16*z + 62 - 126. Let a = 41456/11 + -3766. Which is smaller: z or a?
a
Let c(l) = 2*l**2 - 2*l + 6. Let k be c(4). Let s = -63 + 58. Let v be (-2)/4 - s/k. Is 0.3 less than or equal to v?
False
Let s = 0.18 - 0.08. Let b be 184/(-56) - (-6)/2. Which is bigger: b or s?
s
Let s = 35 + -74. Let k = 39 + s. Let x = 119/5 - 24. Do k and x have the same value?
False
Let u = -17 + 26.3. Let d = -7.9 + u. Is -2/7 at most as big as d?
True
Let r be (-3)/2*-2 - -2. Let m = 39 - 35. Let i be m/(-6)*15/25. Which is greater: r or i?
r
Let z(x) = 2*x**2 + 24*x + 11. Suppose -4*q = 312 - 268. Let n be z(q). Which is smaller: n or -68/7?
n
Let d = 201 + -371. Is -168 equal to d?
False
Suppose j - 61 = 2*i, j - 177 = -2*j + 3*i. Let p = -39 + j. Let k be ((-4)/p - 0)/2. Do k and 0 have the same value?
False
Let m be -6*(2/152 - 0). Suppose -58*q = -44*q. Is q less than m?
False
Let w = -116 - -118. Which is bigger: w or 1.3?
w
Let o = -9.3 - 5.7. Is 2 at least o?
True
Let l = 316 + -314. Is -45 less than l?
True
Suppose -m - 130 = -11*m. Let i(b) = -2*b - 4. Let q be i(-3). Suppose -q*p - m = -37. Which is smaller: 13 or p?
p
Let l = 113/112 - 17/16. Let r be 0 + 1 + -3 + 3. Is r less than or equal to l?
False
Let b(x) = -x**3 - x**2 + 3*x - 2. Let g be b(1). Which is bigger: g or -1/124?
-1/124
Suppose 44*l - 46*l = -8. Let i(j) = j**2 - j - 13. Let r be i(l). Is -3/2 <= r?
True
Suppose -p + 6*p = 40. Let y = p - 8. Suppose n + y = -6. Are -6 and n unequal?
False
Let m be ((-34)/6)/((-4)/(-276)). Which is greater: m or -392?
m
Let p(b) be the third derivative of 2*b**2 + 0*b + 1/6*b**3 + 1/12*b**4 + 0. Let u be p(-1). Is u <= 3/2?
True
Suppose -4*s = 5*o + 43, -o - 4*o = -5. Let j = 19 + s. Suppose j*i = 2*i + 90. Is 18 > i?
False
Let j = -8 - -10. Let o(v) = v**2 - 15*v + 2. Let r be o(15). Let s be (3 + r + -11)/j. Is -2 <= s?
False
Let l = 14636884/565 - 25906. Is l less than or equal to 0?
True
Suppose -39*k = -33*k - 19*k. Is k greater than -20/37?
True
Suppose 1 = -2*s + 3*w - 0*w, 4*s + 2*w + 10 = 0. Let z be ((-57)/(-2))/(1/s). Let f be 4/(-22) + z/(-11). Which is bigger: 4 or f?
f
Suppose -7 - 15 = 2*c - 5*p, -2*c - 22 = 5*p. Let q = 16 + c. Suppose 10*h - q = 5*h. Does h = 12/7?
False
Let n(a) = -a**2 - 2*a - 1. Let c be 15/(-20)*16/(-2). Suppose b - c = 4*b. Let z be n(b). Is z at most as big as -1/13?
True
Let w = -25 + 25. Suppose -4*c + 12 = -6*c. Let z be (-10)/(-5)*2/c. Are z and w nonequal?
True
Let d = 3 + -2.88. Let g = 19.05 - 19. Let c = -0.95 - g. Which is bigger: c or d?
d
Let n = 35 + -27. Suppose -q - 3*s + 22 = 0, -n*s = -5*q - 3*s + 10. Which is smaller: 0 or q?
0
Let w(n) = -n + 1. Let c be w(2). Suppose 0 = 2*z - 15 + 7. Suppose -z*l - 16 = -0*i + 2*i, 4*l + 24 = -4*i. Which is bigger: l or c?
c
Let w = -0.552 + 0.452. Let g = -1.5 - 0.5. Is w smaller than g?
False
Suppose -l = -m - 31, -m - 2*m = -l + 85. Let f be (15/9)/((-15)/m). Is f at most 4?
True
Let o = -342 + 433. Which is bigger: 0 or o?
o
Let j = -318 - -303. Which is greater: j or -13?
-13
Suppose 3*u + 4 = 13. Let p be (-120)/325*-1 + u/(-5). Is 1 <= p?
False
Let l = 183 + -190. Is l at most as big as 1?
True
Let n = 34 - 18. Let h = -16.1 + n. Is 14/9 at most h?
False
Let l(q) be the first derivative of q**3/3 - 23*q + 9. Let f be l(-6). Is 17 <= f?
False
Suppose o + 22 = 5*a + 90, 4*o + 3*a - 364 = 0. Which is smaller: o or 90?
o
Suppose -37 = -3*