
True
Let y = -0.804 - -0.704. Suppose 41 = 4*g + 157. Which is greater: y or g?
y
Let r = -97.6 - -187. Which is bigger: r or -1?
r
Let f = 0 + -1. Let v = f + 13. Let o = -12 + v. Is 1 less than or equal to o?
False
Let h = -2/257 - 1277/1028. Let w = -37.6 + 140.8. Let i = -103 + w. Is h not equal to i?
True
Let u = 493 + -495. Is u greater than -24/13?
False
Let g = 31/14 + -13/6. Let s(m) = -m + 24. Let n be s(24). Is n bigger than g?
False
Let o be 2*3/21 - 976/(-112). Which is bigger: 10 or o?
10
Let z = 3.2 - 3. Let d = 35.2 - 34. Is z > d?
False
Let k = -11.42 - -14.1. Let j = k - 2.7. Let d = 0 - 0. Is d equal to j?
False
Let h(y) = y**3 + 5 - 2*y**2 - 4*y - y**2 - 1 + 0*y**3. Let x be h(4). Let b be ((-3)/(-30))/((-1)/x). Which is smaller: b or -1/2?
-1/2
Suppose -77*p = -28742 - 2751. Is 413 at most p?
False
Let m = 11.1 + -11. Is -27/14 less than m?
True
Let l = 839687/14589 + -518/9. Is 1 != l?
True
Let p = 13/138 - -23257/690. Is p >= 33?
True
Let s = 141/31 + -2558/651. Which is bigger: s or 2?
2
Let n be (5/330 - 0)*2. Which is smaller: n or 1?
n
Let b(h) = -h - 1. Let j be b(8). Let m = -12 - j. Let w be (28/(-10))/(m - -1). Is 1 <= w?
True
Let p = 63 - 61. Let h = p + -2. Which is greater: h or -3?
h
Let o(p) = -p + 7*p - 7 - 5*p. Let u be o(7). Is -1/16 at least u?
False
Let f be (-1)/5 - (-18)/(-10). Let v be 15/(-10) + 1/2. Let q be -1 + v/1 + f. Which is greater: -5 or q?
q
Let v(x) = -2 - x**2 + 80*x - 3 - 76*x. Let z be v(2). Which is greater: -3/7 or z?
-3/7
Suppose -8 + 20 = 12*j. Let m = 2/85855 + -2724694366/3691765. Let n = -738 - m. Is j greater than n?
True
Let g be (-38)/53732*(-2)/(-3). Which is smaller: 0 or g?
g
Let z(r) = r. Let u be z(-3). Let s be u/9*(-3)/(-4). Let n be (-285)/(-450) - 4/30. Which is smaller: s or n?
s
Let d = -2.7 + 2.7. Let y = -0.541 - -23.541. Which is bigger: d or y?
y
Suppose -187*f + 9 = -184*f. Let b = -2 - -1. Which is smaller: b or f?
b
Let s(w) = -w**3 + 5*w**2 + w - 11. Let c be s(5). Suppose -5*q - 2*u - 20 = 0, 0 = -4*q + q - 2*u - 8. Let h = c - q. Which is greater: 2 or h?
2
Let z = 2.15 + 0.85. Is z at least -6?
True
Suppose 12*i - 8 = 13*i. Let z(m) = m + 10. Let g be z(i). Suppose 4*r + 16 = g*r. Is -8 > r?
False
Suppose 9 + 13 = 2*c + 5*y, -2*y = -5*c - 3. Let i(f) = -f**3 - 9*f**2 + f - 7. Let v be i(-9). Let r be (2/20)/(8/v). Which is smaller: c or r?
r
Suppose -6 = -0*j + 2*j. Let w be j*(2/6 + 0). Let y be -4 + (640/22)/8. Which is greater: w or y?
y
Let k be (-2095)/15 + 2 + 3. Let i = -130 - k. Which is smaller: 0 or i?
0
Let a(i) = -2*i**3 + 22*i**2 + 16*i + 94. Let m be a(12). Let c = -1/311 - 928/1555. Which is bigger: m or c?
c
Let b be ((0 - -5)/(-15))/((-19)/(-6)). Which is smaller: b or 39?
b
Let z(l) = l**2 - 7*l - 10. Let f be z(9). Let a be ((-4)/(-10))/(f/(-28)). Which is greater: 4 or a?
4
Let p = 0.133 + -0.573. Are -0.07 and p unequal?
True
Let i = -16 - -33. Let z = i - 18. Is -2/13 <= z?
False
Suppose 5*o = 2*y + 17, -y - 4*o + 24 = -0*y. Suppose -2*u = 3*w - 361, -4*w + 8*u - 3*u = -466. Let l = w - 355/3. Which is smaller: y or l?
l
Let a = 1006 - 1008. Let l(z) = -z + 4. Let u be l(6). Let y = u + 4. Which is smaller: y or a?
a
Let i = -423/5 + 85. Let v = 2.843 + -2.883. Do i and v have the same value?
False
Let v = -2.21 + 0.21. Let p = -3 - -1. Let m = p + 3. Is m > v?
True
Let a be 112/48*((-9)/7 - -1). Which is bigger: a or 9?
9
Let a = -35/13 + -194/39. Let p = -7 - a. Suppose 0 = -8*q + 17 - 9. Is p > q?
False
Let t be -8 - -3 - -4 - (-75)/73. Let h(f) = f**2 + 14*f + 12. Let o be h(-13). Is o greater than t?
False
Let o = 1639.8 - 1640. Are o and -40 non-equal?
True
Let x = 17.3 - 16. Let w = x - 0.6. Let g = w - 1.7. Which is bigger: g or 4?
4
Let s(v) = -v**3 - 4*v**2 + 7*v + 3. Let r be s(-5). Let t(z) = -z**2 + 5*z + 1. Let g be t(6). Is r greater than g?
False
Let h(i) = 3*i - 7. Let t be h(3). Suppose b + 4 = 4*b - r, -4*r - 6 = -t*b. Which is smaller: 1/48 or b?
1/48
Let c = -692 - -723. Let y = 1 + -2. Which is smaller: c or y?
y
Let q be (-12)/4 - ((6 - 7) + -451). Is 448 smaller than q?
True
Suppose 28 = -3*n - n. Let u be 1 + (-74)/(8/(-4)). Suppose 0 = -4*h - y - y - u, -2*h - 3*y = 25. Which is smaller: n or h?
h
Suppose 2 = 2*m - 4. Suppose -m*y + 4*b + 28 = -y, 4*y + 5*b - 30 = 0. Let d(q) = -q**2 - 18*q + 185. Let u be d(-25). Is y at least u?
True
Suppose 34 + 26 = 4*p. Suppose w + 3 = 2. Let j be (2 - 6/(w + 2)) + 21. Is p greater than or equal to j?
False
Let v = 20 - 15. Let u(p) = 11*p + 28. Let o(n) = -5*n - 14. Let x(s) = -13*o(s) - 6*u(s). Let c be x(10). Which is smaller: v or c?
c
Let r = 87 + -262/3. Is 137 at most r?
False
Let i = 42 + -44. Let o(r) be the second derivative of -3*r**4/4 - r**3/6 + r**2 + 5*r. Let d be o(1). Which is bigger: d or i?
i
Let g(j) = j**3 - 4*j**2 + 4*j - 4. Let m be g(4). Suppose 3*q - 4*q = -m. Suppose -4*b - 4 = -q. Do 2 and b have the same value?
True
Suppose 0 = 2*x - 4*x - 2. Let l = 2198/11 + -200. Is l < x?
False
Let y = 2074.05 + -2013. Let m = 61 - y. Are -2/3 and m non-equal?
True
Let m(p) = 4*p**3 - p**2 - 2*p - 1. Let i be m(-1). Suppose 385 = 5*o - 3*c, -3*o = -o - c - 154. Let j be 57/(-11) + 14/o. Is i greater than or equal to j?
True
Suppose -3*l + 0 = -3, 3*n - 2*l = 19. Suppose 3*b = -3*x - 6, -n = 2*x - 4*b + 9. Let g be x - (2 - 16/4). Is -2 at least g?
True
Let d(f) be the second derivative of -1/12*f**4 - 1/3*f**3 + 0 + 3/2*f**2 + 9*f. Let u be d(-4). Is -3 <= u?
False
Let t(i) = -47*i + 26. Let p be t(3). Is p at most -117?
False
Let o = -1833 - -1834. Let l = 6939/95 + -366/5. Which is smaller: o or l?
l
Let j be ((-34)/(-4))/((-12)/456). Which is smaller: j or -322?
j
Let y = -8.929 + -0.071. Let l = 0.09 - -7.91. Let s = l + y. Which is greater: s or 1?
1
Suppose 7 = c - 2*g, -14 = -2*c - 3*c + 3*g. Let y be 25/50*(c + -1). Do y and 4/61 have different values?
True
Let l be 14/(-84) + 343/6. Is 56 bigger than l?
False
Let o(u) = 8*u**2 - 12*u**3 + 0 + 11*u**3 - 2. Let d be o(8). Let b be (4/12)/(d/30). Which is greater: -6 or b?
b
Let z = -34 - -55. Let i = 21.414 - 0.314. Let r = i - z. Which is bigger: r or -7?
r
Suppose 2*h = 5*h + 4*u - 26, u = -4*h + 13. Suppose -5 = -h*k + 1. Let z = 3 - 0. Is z greater than or equal to k?
True
Suppose -14 = 2*r - 0*o - 4*o, 3*o - 15 = 3*r. Let k be (7/(-11))/((r/(-6))/(-1)). Suppose 2 = 4*p + t, -p - 3*p + 2*t = -8. Are p and k equal?
False
Let n = -364 + 676. Which is greater: n or 313?
313
Suppose 0 = 4*r + 2*r - 108. Suppose 2*u - 112 = -5*k, -5 + 0 = -5*u. Suppose r*w = k*w. Which is bigger: -1/8 or w?
w
Let t = 155 + -26. Let f = -643/5 + t. Is f greater than or equal to -0.06?
True
Let u = -20.65 + -2.35. Which is bigger: u or -2/9?
-2/9
Suppose 5*g - 5 = -5*k + 10, -3*k + 3*g = -9. Let o(b) = -b + 15. Let y(n) = -3*n + 45. Let a(h) = -8*o(h) + 3*y(h). Let s be a(12). Are k and s non-equal?
False
Let n be 5/(-20) - 99/4. Let i = n + 30. Let j(s) = -s + 5. Let l be j(0). Are l and i unequal?
False
Let a be -2*14/8*-2. Let t(s) = -8*s**2 + 14*s - 24. Let n(m) = -m**2 - 2. Let o(x) = -14*n(x) + 2*t(x). Let w be o(13). Does a = w?
False
Let p = -2043 + 2044. Which is greater: p or 1/713?
p
Let u be ((-505)/2)/((-1)/2). Let v = u - 4553/9. Is -1 bigger than v?
False
Suppose -4*z - 31 + 51 = 0. Let l be (-14)/z + ((-8)/(-10) - 1). Let s = 3 - 7. Which is bigger: s or l?
l
Let x be (14/6 - -1) + 8/(-24). Suppose -4*s - x*v - 18 = -5*v, 2*v = -5*s - 18. Is 4 bigger than s?
True
Suppose 4*s - 33 = 7. Let r be 79/(s*1/(-94)). Let u = -740 - r. Is u != 3?
True
Let g = 203 - 209. Is g bigger than -33/5?
True
Let i = 13/11 - 17/33. Which is smaller: i or -6?
-6
Let x(c) = -c**3 - 5*c**2 + 5. Let k be x(-5). Suppose 3*z = -3*t - 40 + 61, -6 = -2*t. Is z greater than k?
False
Let l(c) = c**3 + 11*c**2 - 13*c - 13. Let m be l(-12). Let i be -2*(-1410)/(-1428) + 2/17. Are m and i equal?
False
Let t be -3*(-3 - 6/(-9)). Suppose -1 = 2*q - t. Let x = 1.2 + -1.3. Is x at most as big as q?
True
Let j(f) = -f**3 - 2*f**2 - f - 4. Let a be j(-3). Let v = 7 - a. Let m be (1 - -1)/((-1)/v). Is 4 greater than or equal to m?
True
Let v = -474 - -60197/127. Which is smaller: 1 or v?
v
Let r = 37.4 + -37. Let u(b) be the first der