 = 3.1 + -4. Let z = 22.1 - r. Let o = z - 43. Is o greater than 1/4?
False
Let j = -55.059 - -55.2. Which is smaller: j or -1?
-1
Let d = -0.095 - -36.795. Let k = d + -37. Let o = -17 + 25. Which is bigger: o or k?
o
Let p = 1983 - 1802. Are p and 3 non-equal?
True
Let t = -36 - -39.35. Let z = t + -3.6. Let b be (-4)/(-6) + (-6)/18. Is z smaller than b?
True
Let d = -9.3 + 0.3. Let u = -12 - d. Let m = 38 - 37.5. Which is bigger: m or u?
m
Let r be (-15)/10 + 123/(-2). Let u = r + 89. Is u at least 27?
False
Let s be 1854/78 + -9 - 11. Do s and 3 have different values?
True
Suppose 3*f = 6*f - 24. Suppose 5*o = -3*q + 43, -3*q + 18*o - 16*o + 8 = 0. Is q greater than f?
False
Suppose -4*k = -l - 6, -5*l + 14 = 5*k - 6. Which is greater: 39/19 or k?
39/19
Let c(a) = a + 99. Let v be c(72). Which is bigger: 172 or v?
172
Let d be -29 - ((-40)/5 - -5). Let f = 192/7 + d. Is f at least as big as 0?
True
Let c be 9/((-27)/(-24)) + -4. Suppose 10 = c*y + y. Is 1 > y?
False
Let q = -0.65 + 45.65. Which is greater: 5 or q?
q
Let x(q) = -q**2 + 7*q. Let k be x(7). Let v be 252/2310 + (-2)/10. Which is smaller: k or v?
v
Let o = -1.23 - 1.77. Is -2/7 at least as big as o?
True
Let k = -2.6 + 0.6. Let w = -5 - k. Let c = 3.1 + w. Which is smaller: c or -0.4?
-0.4
Let t = 187.9 - 219. Let h = t + 28. Let c = 3 + h. Is -0.3 greater than or equal to c?
False
Let o(n) = -2*n + 30. Let z be o(15). Suppose 5*q - c = -z*q - 2, 2*q - 5*c = 13. Which is smaller: -4/17 or q?
q
Let o = 2368/247 - 126/13. Which is greater: 4 or o?
4
Let g be (1 - 2) + (4 - (-52)/(-16)). Let m = 2 + -17. Is m <= g?
True
Let t = -462 + 5077/11. Suppose 0 = -5*q - 25, 0*s - 2*s + 4*q = -128. Let g = s + -55. Is t less than g?
False
Let y = 13 - 5. Let h = -9 + y. Which is smaller: h or -18?
-18
Let o = -1397 - -1396. Is o bigger than 74/13?
False
Let m(g) = -2*g**2 - 8*g - 21. Let d be m(-8). Let k = 82 + d. Suppose -5*u - 5 = 10. Are k and u equal?
True
Let q(r) = r + 2. Let m be q(-3). Let u = -292 + 264. Is m less than u?
False
Let a = 750 + -728. Is a greater than 230/11?
True
Let j = -350.1 - -350. Is -1685 < j?
True
Suppose 366 = 27*z - 66. Do 91/6 and z have the same value?
False
Suppose 0 = -q - 3*j + 16, -4*q = -q + j - 16. Suppose m + 3 = t + 5, -2*m = q*t + 2. Is 2/73 smaller than m?
True
Let k be 2/(-6) + (-8)/(-6). Let f be (-27)/(-29) - (-10)/(-30). Let b = 2/29 + f. Which is bigger: k or b?
k
Let q = 2/461 - 95447/4610. Which is bigger: -20 or q?
-20
Let f = 20 + -14. Suppose 0 = -4*v + f*v + 2. Let y be (3/(-90))/(-1*(-4)/(-16)). Do v and y have the same value?
False
Let u(d) = -d**3 - 17*d**2 - 15*d + 18. Let h be u(-16). Let n be (2*1/h)/(-1). Is n less than -1/2?
True
Let u = 0.01 - -16.99. Let o = 35.7677 - -0.2323. Let a = u - o. Is a greater than 0?
False
Let o be (-38)/24 + 35/105. Which is smaller: o or 2/9?
o
Let o = -31 - -58. Let f be 0 + -2 + o + -9. Is f <= 16?
True
Let m = -641 - -615. Which is smaller: m or -22?
m
Let y = -302 - -908/3. Which is greater: y or -12/25?
y
Let q = -14.5 - 0.5. Let a = q + 14. Let g = a + 1.1. Which is smaller: 2 or g?
g
Let n = -23.3 + 4.3. Let x = -19.1 - n. Which is greater: -17 or x?
x
Let w = 447.3 + -428. Which is smaller: -0.1 or w?
-0.1
Let o = 4/7 + -22/63. Let x = -18719/22 - -851. Is o equal to x?
False
Let q be 24/84 + (-1)/((-28)/28888). Which is bigger: q or 1033?
1033
Suppose 0 = -2*a + 4*c - 34, -15 = 2*a - 2*c + 29. Suppose 0 = -10*z - 15*z - 540 - 210. Is a bigger than z?
True
Let k = 0.01 - -2.99. Let y(l) = 5 + 3 + l**3 - 3 + 2*l**2 - 1 - 2*l. Let g be y(-3). Which is greater: k or g?
k
Let p = -62.8 + 68. Let l = -0.7 + 5.7. Let m = p - l. Which is smaller: m or -1.2?
-1.2
Let g = 20 + -15. Suppose i - g*o - 9 = -3*i, -5*o = 3*i - 33. Suppose 4*k + 5 - 21 = 0. Is i less than or equal to k?
False
Let s(p) = -4*p - 4. Let l be s(-2). Suppose k + 2*r = -1 - 1, 0 = -3*k - 5*r - l. Is 5/4 < k?
True
Let q = -9 - -60. Suppose 4*v + 58 = y, 5*v - q = -3*y + y. Let a = y - 23. Are a and 15 equal?
True
Let d be 44/(-36) + 2 + -1. Which is smaller: 2/3 or d?
d
Let d be 2 - (-8)/(1/(-1)). Let v be (4 - 2 - 1)*d. Let o = -8 + 2. Are v and o equal?
True
Let i = -15 + 14. Let r be (7/14)/(i/(-2)). Which is smaller: r or -5/11?
-5/11
Suppose 3*p + 5*l = 7*p - 33, 0 = -p - 4*l - 18. Suppose 0 = -p*o + 4*w - 0*w - 8, -2*o - 5*w = -10. Which is smaller: -0.3 or o?
-0.3
Let i = -22091/4 + 5565. Let w = 42 - i. Let c = 11 - 10. Which is bigger: c or w?
c
Let x = -0.255 + 0.155. Let o = 0.36 + 0.63. Let s = o - -0.01. Which is smaller: x or s?
x
Suppose 9 = 4*s - 5*o, s = -o - 0*o - 9. Let c = 18 + s. Suppose -5*g + 1 = -c. Is -0.3 > g?
False
Let d = -9746 + 14784684/1517. Which is greater: d or 1?
1
Let f = -17 - 2. Let p = f - -18.1. Let w = -1 - p. Which is smaller: 2 or w?
w
Let y = 5/1274 - -8363/141414. Do y and 1 have different values?
True
Let w = -10.5 + 12. Let z = w + -1.9. Let q(o) = 2*o - 3. Let u be q(2). Is u equal to z?
False
Let s be (-4174)/55 + (-12)/(-15) + 2. Let z = -73 - s. Which is smaller: 1 or z?
z
Let c(f) = 19*f**2 - 39*f + 6. Let s be c(5). Do s and 286 have the same value?
True
Suppose -18 = 3*k - 6*k. Suppose -k*h = -11 - 19. Let d be ((-2)/12)/((-1)/28). Which is bigger: h or d?
h
Let d = -245.7 - -250.7. Which is smaller: d or -0.2?
-0.2
Suppose -2*w + 1513 = -5*j, -4*w + 5*j - 98 + 3109 = 0. Is w greater than 751?
False
Let i(c) = 2*c**2 - 6*c - 1. Suppose 0 = -r - 2*x - 1, 4*x + 14 = 5*r - 3*r. Let w be i(r). Let q = 2 - 4. Which is smaller: w or q?
q
Let c(l) = -l + 13. Let k be c(5). Suppose -f + 9 = 2*o, -2*f = -4*o + 8 - 2. Suppose y = -f*y + k. Is y > 2?
False
Let y = -2370 + 801. Is y bigger than -1569?
False
Let m be (-1 + 6/(-4))*(-23 + 15). Is m at most as big as 14?
False
Let f(b) = b**3 - 2*b**2 + 5*b - 6. Let g be f(5). Let h = -55 + g. Let w be (52/h)/(2/(-3)). Is -3 less than w?
True
Let f = -881 + 1520. Is f >= 639?
True
Let p = -526 + 499. Are -4 and p non-equal?
True
Suppose 8*h + 121 = -7. Is h at least as big as -17?
True
Suppose -5*u + 366 = -149. Suppose -2*v - u = 5*b + 178, -175 = 3*b - 2*v. Is -111/2 greater than b?
True
Let j(v) = v**2 - 10*v + 2 + 17*v + 6*v. Let n be j(-13). Let u be (6/3 - 2)/(-1). Is n at least as big as u?
True
Let y = -0.0658 + 0.2658. Which is bigger: y or 195?
195
Let a(x) = -2*x**3 + 4*x**2 + 14*x + 8. Let u be a(5). Let r be 1/(-44)*u/27. Which is bigger: r or -1?
r
Let q = 1 - -20. Let y = 68.1 + -88.2. Let n = y + q. Is -2 not equal to n?
True
Let m be (1 - -1)*((-279)/30 - -5). Which is bigger: -9 or m?
m
Let h(y) = y**3 - 6*y - 4. Let j be h(3). Let s be 2/(-4) + (860/(-16))/j. Is s != -10?
True
Let p(q) = 9*q + 4. Let f be p(2). Suppose -23*l - f = -22*l. Is l at least -22?
True
Let k be (-2)/10 - ((-12544)/2415 + 5). Which is smaller: k or 1?
k
Let c = 69 - 65. Suppose -2*z = -3*s + 9 + 3, 0 = 3*s + 2*z - 12. Suppose -c*q = -0*q - s. Which is smaller: -8 or q?
-8
Let g(m) = -3*m + 11. Let i be g(10). Let s = i - -19. Is -4 > s?
False
Suppose 0 = -3*h - n - 30, -30 = 3*h - 0*h - 4*n. Let q be (-85 - -91)*(-24)/14. Which is bigger: h or q?
h
Let s = -292 - -299. Does 55/7 = s?
False
Let o = 118 - 45. Let m = -73.2 + o. Which is bigger: m or -5?
m
Let s = -41 + 41. Let n = 8894/11 + -808. Which is bigger: n or s?
n
Suppose -9*j + 24 - 258 = 0. Is -20 smaller than j?
False
Suppose -3809*i = -3817*i - 8. Which is bigger: i or 10?
10
Let b be 405/6 - (-3 - 49/(-14)). Which is smaller: b or -0.2?
-0.2
Let y be (-4924)/(-2)*2/112. Let b = -44 + y. Which is greater: -1 or b?
b
Let c be -19 + -2 + -3 + -1. Let o = 31 + c. Is 5 smaller than o?
True
Let p be (8/(-900))/1 + (1 - 1). Are p and -1 nonequal?
True
Let u = -11.5 + 1. Let r = u - -10.5. Is 0.03 >= r?
True
Suppose -y - 42 = y. Let g be 2/10 + (-848)/40. Is y greater than g?
False
Suppose 114 = 4*f + 2*s, -13*f + 18*f = -s + 135. Is f greater than 27?
False
Let w be (-16)/(12/20 + -1). Suppose 4*f = -44 - w. Let y be 1/(f/6 + -1). Which is bigger: -1 or y?
y
Let x = 26 - 6. Let s = x - 28. Is 2/3 smaller than s?
False
Let z = -67058/5985 + 438/133. Let w = z - -34/5. Let g = -4/9 - w. Which is greater: g or 7?
7
Let x(p) be the third derivative of -p**4/24 - 2*p**3/3 + p**2. Let v b