2 or t?
t
Let c be 4/(-8)*(-8)/7. Let s = 10 + -9. Which is smaller: s or c?
c
Let w(o) = -9*o**3 + o**2 - o - 1. Let v be (-1)/(0 - (-3 + 2)). Let n be w(v). Suppose 0 = -5*i - n, 2*i + 0*i = -4*y. Are y and 5 equal?
False
Let o = 128/3 + -52. Is -10 at most o?
True
Let s = -140382/107 - -1312. Which is smaller: s or 1?
s
Let h = 74 + -76. Is 0 less than h?
False
Let h = 19.55 - 0.55. Is h >= 1?
True
Let b = 22 - 30. Which is greater: -6 or b?
-6
Suppose 2 = -4*o - 3*p, -5*o + 2*p + 15 = -3*p. Is 5/14 at most as big as o?
True
Let l be (-93)/95 + 1 - 0/(-1). Is l at least as big as 1?
False
Let c = -46327/5 + 9134. Let t = c - -131. Which is greater: 1 or t?
1
Suppose 3*h + 2*r + 24 = -6, -4*r - 12 = 0. Is h at most -7?
True
Let c be (12 + 1)/((-62)/(-12) - 5). Which is smaller: c or 79?
c
Let z be 22/6 + (-4)/(-12). Let r be 0 - z/(-16)*0. Let m be 2/(-12) - 2/4. Which is smaller: m or r?
m
Let v = 1 + -0.9. Let d = -4 - -3. Which is bigger: v or d?
v
Let r(v) = -v - 7. Let j be r(-6). Let d = 2 + 3. Let m = -5.4 + d. Which is greater: j or m?
m
Let x be 9/(-12)*(6 - (-1 + 5)). Let j be 3/(-5) - (-2)/(-5). Which is greater: x or j?
j
Suppose 6 = -5*a - 4. Let k be 1/((-2)/a) - 0. Let b be -2 + ((-2)/(-14) - -2). Is k less than or equal to b?
False
Let d(k) = k**2 + 13*k + 1. Let i be d(-13). Let j be (1 + -5)*i/(-4). Is 1/3 >= j?
False
Let o be 38/(-4) + (-3)/(-2). Is o at most -6?
True
Let j = 427/53 + -25794/3445. Let i = j - 10/13. Is 1/2 at most as big as i?
False
Let v be (10/3)/(140/30). Which is smaller: v or 0?
0
Let t = -15.01 - -15. Is -1 at most as big as t?
True
Suppose 0 = -4*g - 5*i - 37, -2*g = -6*g - i - 49. Is g bigger than -12?
False
Let x = -302.06 + 299. Let v = x + 0.06. Which is bigger: v or 3?
3
Let s = 16.01 + -16. Is -2 greater than or equal to s?
False
Let w = -36 - 9. Let a be w/6 - 3/6. Is a bigger than -8?
False
Let p be 1/(0 + -1)*4 - 6. Which is smaller: p or -14?
-14
Let b = 0.17 + -0.37. Is b bigger than 1/12?
False
Let l = -659/534 - -6/89. Suppose 0 = -b - 2 + 1. Which is bigger: b or l?
b
Let f(c) = -c**3 - 5*c**2 + 3*c. Let x be -6 + (2 - 1 - 0). Let k be f(x). Let a be 4*(-2 + (-33)/k). Which is smaller: a or 2?
a
Let l = 2 - 0. Suppose 3*c - 4*k = 14, 0 = -3*k + 2*k - l. Which is greater: c or 1?
c
Let z(y) = y**3 + 8*y**2 + 10*y + 9. Let w be z(-6). Suppose 0 = 5*x - 29 - w. Suppose m + m + 4 = p, 2*p + x = -5*m. Is -2 greater than m?
False
Suppose 0 = 2*g + 2*g. Let q = -129/28 - -34/7. Is g equal to q?
False
Let c(o) = -2*o - 70. Let j be c(-35). Let g be ((-4)/1)/(-2) - 0. Let w = g - 1. Which is bigger: j or w?
w
Suppose -k = -4*k + 15. Let t = -10 + 15. Suppose 5*j = -4*r - 5, -k*j - r = 2*r + t. Which is bigger: j or 0?
0
Suppose 3*b + 3*m - 1 = 14, 0 = -4*m + 20. Is 7 > b?
True
Let s = -3 + 3.3. Let l = s - -0.7. Which is bigger: 1/2 or l?
l
Let y be 16/55*(-170)/(-9). Let q = y + -58/11. Suppose 15*i = 17*i. Which is smaller: i or q?
i
Let o = 3.12 - 3. Let p = -1.12 + o. Is p equal to -2?
False
Let v(y) = y**3 - 3*y**2 - y + 3. Let x be v(3). Suppose x*q - 55 = -5*q. Is 11 < q?
False
Let y be (-8)/(-6)*(-3)/(-2). Is 11/4 less than y?
False
Suppose 0*v - 20 = -v. Let o be ((-2)/(-5))/(26/v). Which is smaller: 1 or o?
o
Suppose -i - 2*v = -80, -i + v + v + 60 = 0. Let l = -212/3 + i. Is l less than -0.1?
True
Let x(z) = -z - 1. Let j be x(-1). Suppose 2*q - q + 5*m + 17 = 0, -m = 3*q - 5. Suppose q*y - 3 = -j. Which is smaller: y or 2?
y
Suppose -3*p = -3*d - 9, 15 = -2*p + 7. Let z = 7 + d. Is 0 > z?
False
Suppose -5*j = 9 + 26. Let a = -8 - j. Which is greater: -6/7 or a?
-6/7
Let g be 8/(-28) - (-9)/7. Which is bigger: g or 0?
g
Let a be (0 - 3/(-27))*-1. Let n be (-1)/(-2)*(-3 - -3). Which is bigger: a or n?
n
Let c = 2.12 + -0.12. Which is smaller: -5 or c?
-5
Let y = 6.12 + -0.12. Let m = -3 + y. Is -1 less than m?
True
Let v(s) = -s**3 - 10*s**2 - 8*s + 10. Let w be v(-9). Which is smaller: 3/2 or w?
w
Let q(b) = 3*b**2 + 6*b + 3. Let c be q(-2). Let m be (-2)/9 - 2/(-9). Which is smaller: m or c?
m
Let l(h) = h**3 - 3*h**2 - 5*h + 3. Let y be (0 + -2)/(3/(-6)). Let n be l(y). Are 0 and n equal?
False
Let u = -0.7 + 0.46. Let x = -0.04 - u. Is 1 > x?
True
Let z = -7 - -16. Let i = 10 - 2. Which is smaller: i or z?
i
Let v(k) = 5 - 2*k + 0*k + k. Suppose 0 = -0*h - 5*h + 40. Let d be v(h). Is d less than -3?
False
Suppose 0 = 2*y + 4 + 4, -y = -2*c - 132. Is c < -68?
False
Let x be (-2)/(-2)*(4 + -2). Which is smaller: 6/7 or x?
6/7
Let w = 234 - 151. Is w >= 84?
False
Let s be (1/(-2))/((-9)/(-18)). Is s greater than or equal to 1/8?
False
Let i(s) = -s**2 - 9*s - 3. Let f be i(-6). Is f at least 15?
True
Let p(x) = 5*x + 13. Let v be p(-3). Is -6 greater than v?
False
Let p = 2.8 + -3. Let y = -1.2 - p. Let v = y + 0.8. Which is greater: v or 2?
2
Let g be (-284)/(-6) - 6/6. Let a = g - 47. Which is bigger: -2 or a?
a
Let j be (-4)/(-6)*18/12. Suppose 2*t - j = 1. Does 3 = t?
False
Suppose -6*s = -11*s + 235. Which is smaller: s or 1?
1
Let h be (3 - 3) + 2/56. Let r = 1/4 + h. Let f = -1 - -1. Which is bigger: f or r?
r
Let t be -14 - (0/1 + 0). Let i be 6*(t/(-6) - 2). Suppose -5*g = -h - 17, 3*g - 7 = -3*h - 4. Which is bigger: i or g?
g
Let t be (-1)/(-1 - (0 - 0)). Let g be (3 - t)*(-2)/4. Let y = -89/6 + 43/3. Which is greater: g or y?
y
Let o = -3 + 7. Suppose -n - 2 = -o. Which is greater: 3/2 or n?
n
Let o(c) = -3*c**2 - 8*c + 3. Let l be o(-6). Let s be l/(-6)*(-1)/2. Let k = s - -17/4. Which is smaller: k or -2/3?
-2/3
Let k(w) = w + 1. Let a be k(-4). Let h(x) = 4*x - 3. Let z be h(2). Suppose 0 = 4*r + 11 + z. Is a bigger than r?
True
Let m = -11 + 16. Let a = m - 5. Do a and -1/2 have different values?
True
Suppose 3*a - 68 - 31 = 0. Let y = 49 + -16. Let g be (-6)/a + 72/y. Is g at least 1?
True
Let u = -67 + 45. Let b be 0 - (0 + 188/u). Let n = b - 1388/165. Which is bigger: n or 1?
1
Let z be 32/(-18) + (21/27 - 1). Are -7/6 and z non-equal?
True
Let h = 1 - 1/3. Let d = -5 - -3. Which is bigger: d or h?
h
Let n = -2 + 2.02. Suppose -3*g = 3*b - 2*g, -2*b - 5*g + 13 = 0. Which is smaller: n or b?
b
Let p(y) = -y**3 - 9*y**2 - 3*y + 3. Let f be p(-9). Do 30 and f have the same value?
True
Let m(q) be the second derivative of q**4/12 - 7*q**3/6 + 2*q**2 - 2*q. Let i be m(7). Which is greater: 6 or i?
6
Let l = 199/3 + -997/15. Which is smaller: -1 or l?
-1
Let u = -2 - -1. Suppose -2*h - 2 = -14. Suppose h*m = 4*m. Is u >= m?
False
Let q = 3 + 6. Let f = -17 + q. Let t = f + 8. Which is smaller: 2 or t?
t
Let w = -186/17 - -7964/731. Let k(u) = u + 7. Let s be k(-6). Does w = s?
False
Let p = -11 - -11.3. Is -2 >= p?
False
Let i be (-4)/(-6) - (-2)/6. Suppose i + 2 = -r. Which is smaller: -2 or r?
r
Suppose 0 = 2*t - 6 - 0. Let w = t - 0. Let v be ((w + -2)*3)/5. Is v bigger than 2?
False
Let j = -6.04 - -6. Let k = 5 - 4.94. Let w = k - j. Is w at least as big as -1/4?
True
Let r = 6.8 + -16.8. Which is smaller: r or -1/5?
r
Let r be 10/(-8) + 1/4. Let q(p) = -2*p - 1. Let l be q(r). Let i = -1 - -3. Which is smaller: i or l?
l
Let x be -3*(40/(-12))/(-5). Is x bigger than -11/4?
True
Let a(c) = -5*c**3 + c - 1. Let j be a(2). Which is bigger: -40 or j?
j
Let u be 1*(1 + 4/(-6)). Suppose -5*k - 6 = -3*k. Let g = -2 - k. Which is smaller: u or g?
u
Suppose -3*x + 21 = -6*x - 3*l, -5*x = 3*l + 29. Let k be 2/x*(-3 + 1). Which is bigger: k or 0?
k
Let m = 0.1 - 0.1. Which is smaller: 8 or m?
m
Let n be ((-3)/(-60))/(30/(-25)). Which is greater: n or 1?
1
Let w = 14650/17 + -862. Which is smaller: 0 or w?
w
Let w = 0 - 1. Let j = -777 + 31855/41. Which is smaller: j or w?
w
Let n(z) = 5*z - 58. Let o be n(12). Let c = -11 - -15. Suppose 0*a = -a + c. Which is smaller: o or a?
o
Suppose -17 = -m + 24. Suppose 0 = 2*h + 15 - m. Is h at most 13?
True
Suppose -3*u + 4*t = 6, 5*t = 2*u - 2 + 13. Suppose -2*o = -2*j + j - 2, o + u = 2*j. Suppose 0 = o*b - b. Are b and -2 equal?
False
Let y be 3/(-15) - (-304)/520. Is y equal to 0?
False
Suppose 4*y - 4*d = -1 - 3, -4 = -2*y - d. Are -1/28 and y unequal?
True
Let x(d) = d**2 - 3*d - 3. Let h be x(-3). Suppose 0*n + 10 = -3*i + 2*n, 5*i = 3*n - h. Let y = -1 + i. Is y bigger than 3?
False
Let q = 12 + -6. Suppose -6 - q = 2*m. 