 Let x = t - 118.2951. Let a = x - -118. Is -14 equal to a?
False
Let y = 0.385 + -0.741. Let d = y + -0.144. Let f = 0.22 - 0.13. Which is smaller: f or d?
d
Suppose 5*k - k = g - 293, -3*g + 4*k + 903 = 0. Let v = g + -306. Which is greater: v or -11/23?
-11/23
Let p = 2.87 + 172.13. Let h = -4.1 - 163. Let i = h + p. Which is smaller: 1 or i?
1
Let l = -6283/4 + 1570. Which is bigger: l or 10.4?
10.4
Let f(r) = r**3 + 16*r**2 - 77*r + 61. Let z be f(-20). Which is smaller: z or -2/9167?
-2/9167
Suppose -o - 52 = -54. Suppose 4*b + 0*b - 4*y = 28, 0 = o*b - y - 16. Let f = 28 - b. Which is smaller: f or -0.1?
-0.1
Let w(f) = -f**2 - 31*f + 22. Let t be w(-30). Suppose h + 128 = 3*p, 0 = -4*p - 5*h + 87 + t. Is 43 bigger than p?
True
Let a = 6296 + -6292. Which is smaller: 708 or a?
a
Let i(b) = -b**2 + 9*b - 4. Let o be i(5). Let d = 14 - o. Let g(w) = -w + 5. Let z be g(d). Which is greater: 2 or z?
z
Let g = -1.15 + -101.85. Let a = -0.0285 - 106.9715. Let t = a - g. Is 0.13 less than t?
False
Let k = -57 - -59. Suppose 2*o - 68 = 4*z, -z - k*o + o = 14. Let r be (-34)/286 + z/104. Which is smaller: r or 1?
r
Let m(l) = -5*l**3 + l**2 + 3*l + 3. Let v be m(-1). Suppose -4 = 2*o - v. Are o and -2/65 non-equal?
True
Let c be (46/(-69))/(4/2934)*(-1)/(-3). Is -17 less than or equal to c?
False
Let j = -4/33 - -5/11. Let g = 0.004 - -0.239. Let b = -4.757 - g. Which is bigger: j or b?
j
Let c be 2112/12 - 0 - (0/(-4) - -1). Is c not equal to 174?
True
Let m be (-1808)/(-5504) - (-2)/43. Let t = -2 + 4. Suppose t*l + 16 = 3*i, l + 14 = 3*i - 0. Do i and m have the same value?
False
Suppose 0*u = 3*u - 192. Let v = u + -59. Suppose -2*f + 23 = v*x - 16, -21 = -x + 4*f. Is x less than 9?
False
Let m(v) = -v**2 - 9*v + 80. Let g be m(0). Suppose g*c - 81*c = -7. Which is smaller: c or 9?
c
Suppose 10*o - 29*o + 124*o = 192255. Which is smaller: 1832 or o?
o
Suppose 6*j = j + p + 155, j - 2*p = 31. Let d be -4 + (49 - 10/(-5)). Let c = d - 15. Is c greater than j?
True
Let r be (-2276607)/(-25695) + -4 - 2. Let w = r - 2/1713. Let o = w - 83. Is o greater than 8?
False
Let n = -7093.9 + 6569. Let v = 502 + n. Let h = v + 23. Which is smaller: h or 1?
h
Let a = 138058/3 + -1372946/33. Let c = 4412 - a. Which is bigger: -3 or c?
c
Let g be -158 + 4/40*70 + -4. Suppose 25 = 5*r, 0*s + r = -5*s - 760. Is s at least as big as g?
True
Let r = -5021 - -5029.1. Is -18 >= r?
False
Let j = 75/853 + 628/2559. Let y = -5/204 - 1/17. Is j at least as big as y?
True
Let k = 839 - 3397. Is -2559 at least as big as k?
False
Let w = -7815 + 6729. Which is smaller: w or -1084?
w
Suppose -k + 29 = -43. Let s be (-3 - (k/4 - -2))*2. Are s and -46 nonequal?
False
Suppose 2*i + y - 5*y = -398, 5*i + 5*y + 965 = 0. Let l be 240/i - 0/1. Which is bigger: -0.1 or l?
-0.1
Let m = -53/28 + 157123/82964. Are 1 and m non-equal?
True
Suppose 0 = 5*u - 0*u + 20, -x - 4*u - 75 = 0. Let y be 0 + 2 + 26*2. Let n = y + x. Which is smaller: n or -23/5?
n
Let w(r) = r**2 + 4*r - 1. Let g be w(0). Let x be (8 - 4)/(-4)*(-36 + g). Let j = 38 - x. Which is bigger: j or 2/253?
j
Let g(z) = 5*z**3 + z**2 - 9*z - 18. Let h(s) = -s**3 + s**2 + s + 1. Let o(c) = g(c) + 6*h(c). Let w be o(6). Let v be (24/w)/(4 + -2). Are 0 and v equal?
False
Suppose -53*k - 54863 = 80923. Which is greater: -2560 or k?
-2560
Suppose -5*p = 30, 21 = -56*t + 59*t - 4*p. Is -0.01965 <= t?
False
Suppose -34 = 8*x - 10. Let g be (x/9)/(1/(-9)). Let f be 0 + 3/(0 - -9)*g. Are f and -4/31 equal?
False
Suppose -f + 3*m + 1208 = 0, 5*f + 5*m - 598 - 5442 = 0. Let b = f + -1756. Is -547 equal to b?
False
Let n = 50 - 47. Suppose -4*q - 135 = -w, -n*w + 3*q + 373 = -q. Suppose -v = 3*u + 11, -v = 3*v - 3*u + w. Which is greater: v or -27?
v
Let p be ((-24)/(-84))/(15465/(-21)). Which is smaller: p or 0?
p
Let u be 654/1417 - (-10308)/(-26). Do u and -398 have different values?
True
Let j = -915.29 + 915.9. Which is smaller: 0.028 or j?
0.028
Let k = 0.29 + 2.31. Suppose -4*z - 678 = -5*q - 6*z, 5*q = 2*z + 662. Let l = q + -135. Which is smaller: l or k?
l
Let t be (14 + -29)*1 + 16. Which is smaller: 6214 or t?
t
Suppose -8071 = -22*b + 1125. Which is greater: 420 or b?
420
Suppose 0 = -p + 2*w - 112 + 96, 0 = w - 4. Are p and -48/11 unequal?
True
Let q(n) = -47*n + 3. Let u(l) = -23*l + 2. Let z(t) = 4*q(t) - 9*u(t). Let a be z(3). Suppose -a = 13*f + 105. Which is smaller: -11 or f?
f
Let u = 16214 - 16331. Is u less than or equal to -1980/17?
True
Suppose -h = -3*s - 449 - 442, 5*h = 2*s + 607. Which is smaller: s or -2?
s
Let w(p) be the second derivative of p**3 + 3*p**2/2 - 83*p. Let d be w(-3). Do -32 and d have different values?
True
Let k = 9/13 - 49/52. Let y = -2.081 - -11.571. Let s = 9.2 - y. Which is greater: s or k?
k
Let w = 1059 - 1053.27. Let s = w + -1.73. Which is smaller: 5 or s?
s
Let j(c) = -2*c**2 - 6*c + 12. Suppose -5*g - 16 - 59 = 0. Let h be (-2)/5 + (99/g - -1). Let l be j(h). Is l bigger than -23?
False
Let j(k) = -2*k**3 - 24*k**2 + 13*k - 23. Suppose 134*m + 65 = 129*m. Let q be j(m). Which is smaller: q or 148?
q
Let f = 17791853/238 + -74756. Which is smaller: f or -1?
-1
Let r = 198 - 110. Let y = r - 84. Suppose 0 = 5*s, 3*o + 1 - y = s. Which is smaller: 0 or o?
0
Suppose 5*o + 3*p - 163 = 0, -3*p = -5*o + 120 + 67. Let q be o/(-1 - 4) - (-1 - 3). Is -4 at most as big as q?
True
Let n(g) = g + 11. Let m be n(-8). Suppose 0 = -2*h + o + 5, m*o = 19 - 34. Which is smaller: -10/11 or h?
-10/11
Let m = -29029/146 + 24/73. Let b = 599/3 + m. Which is smaller: -1 or b?
-1
Suppose -2*o = 4*r - 16, 5*o - 3*r - 2 = -1. Let i be (2/(-185))/(o/10). Suppose -33*q = 15*q + 99 - 147. Is i at most q?
True
Let o = -188 - -145. Let c(u) = 5*u**3 + 4*u + 5. Let y be c(-2). Is y at least o?
True
Let i = 33.98 - 34.48. Which is greater: -192 or i?
i
Let m be 406/(-528) + (-2)/(-3). Let v be ((-40)/6 + 2 + (19 - 14))*0. Is v greater than m?
True
Let d be ((-2)/16 - 442/240) + 4 + -1. Is d greater than 0?
True
Let m(u) = 100*u - 72. Let w be m(7). Suppose -640 = -4*h - w. Is h at least 9?
False
Let m = -59.7 + 53. Let t = m - -6.5. Let k = t + 1.2. Which is bigger: k or 0?
k
Let n(y) = y**3 - 7*y**2 + 9*y - 8. Let j be n(6). Let u = -10369 - -83029/8. Is j less than u?
False
Let k = 184 - 184. Suppose -4*b + 6*u - 3*u - 8 = k, -4*u = -16. Which is smaller: b or -1/114?
-1/114
Let z = 4607 + -6617. Which is smaller: -2/5 or z?
z
Let m = -9056 + 11284. Is m != 2230?
True
Let q be (-896)/168*(-9)/17031. Which is smaller: q or 1?
q
Let c be (-192)/(-216)*225/(-5). Let x be 6/8 + (-2)/4. Does x = c?
False
Let b(f) = -f**3 + 8*f**2 + f - 8. Suppose 0 = 2*h - n - 20, -2*h + 52 = 3*h - 3*n. Let s be b(h). Suppose 6*y + s*y = 144. Is y greater than or equal to 24?
True
Let t(i) = -14*i + 23*i**2 - 17*i + 12 - 2*i**3 + 0*i**3 + 18*i. Let y be t(11). Let v = -18 + 7. Do y and v have the same value?
False
Let h = -0.6 + 1.8. Let v = h - 1. Let p = 79783 + -79763. Is p not equal to v?
True
Let a be -18 + 4 - (-6 - 8). Which is smaller: 1/980 or a?
a
Let r(f) be the first derivative of -f**2 - 68*f + 71. Let u be r(-34). Is u less than -0.11?
False
Let x = -10684/5 + 2137. Is -1405 greater than x?
False
Let s = 14 - 34. Let n be (-15)/s*(-36)/1. Let b = -43 - n. Is -14 at most as big as b?
False
Let p(g) be the second derivative of -2*g - 1/6*g**3 + 3/2*g**2 - 11/12*g**4 + 0. Let m be p(-2). Which is smaller: m or -38?
m
Suppose -11 = -63*a - 74. Which is smaller: a or 22/87?
a
Let m be 32/(-640) + 39461/20. Is 1973 less than m?
False
Let y = 43331083/106 - 408780. Is y != 4?
True
Let z be (18/49)/(12/5936). Let q = -182 + z. Which is smaller: q or -17/7?
-17/7
Let x(u) = 13*u**3 + 88*u**2 + 13*u + 92. Let k(a) = 3*a**3 + 22*a**2 + 3*a + 23. Let c(z) = 9*k(z) - 2*x(z). Let t be c(-22). Which is bigger: t or 9/20?
t
Let v = -3 - -9. Let t be (5/4)/5 + 99/(-252). Let u = t + 143/21. Which is bigger: u or v?
u
Let x be (5/(-4))/5*0. Let f be ((-16)/320)/((-1)/21). Let v = 1451/1420 - f. Is x less than v?
False
Let x be 36/(-4) + 9/((-72)/2648). Which is greater: x or -2723/8?
x
Suppose 2*g + 50 = 3*i, -5*g + 4*i - 101 = 38. Let t = 33 + g. Suppose 5*z + 1 - 15 = t*m, 8 = 4*z. Which is smaller: -3/4 or m?
m
Let s be (