o greater than y?
False
Suppose 0 = -18*d + 19*d - 2, 445 = -t + 2*d. Is t equal to -439?
False
Let w = -23173 - -2572246/111. Let a = w + -2/37. Let f = 14 + -6. Which is greater: f or a?
f
Suppose -5*k + 4*a = 3*a + 707, 0 = -4*k - 5*a - 583. Let f be -2 + k/(-72) - 4/(-16). Let c = -0.13 - -0.03. Which is bigger: f or c?
f
Let v be (108/(-9))/504*(-7)/2. Let x = -1.8 + 2. Which is smaller: v or x?
v
Let x be (6 - 5) + 78/(-50). Let s be (-5)/((-40)/(-28)) - 10/(-4). Which is smaller: s or x?
s
Let x(r) = -r**3 + 10*r**2 - 17 - 1125*r + 1127*r - 2*r**2. Let n be x(8). Are n and 1 nonequal?
True
Let b(p) = -p**3 + 17*p**2 - 31*p + 12. Suppose -2*l + 60 = 2*l. Let o be b(l). Is -4 less than o?
True
Let v be (-1)/(-3 + 0)*2088/319. Is v != -0.3?
True
Suppose -105 = -65*d + 60*d. Which is greater: 26 or d?
26
Let s(y) = 4*y**2 + 1. Let r be s(1). Let p be 0/(0 + 1) + -60. Let n be (r/p)/(3/6). Which is smaller: n or -1?
-1
Let k(h) = -7 - 13*h**2 + 0*h + h**3 + 21*h**2 + 6*h. Let q be k(-7). Is -2/25 at most as big as q?
True
Let q = 26 - 28. Let m(b) = -b**2 - 7*b - 3. Let g be m(-6). Suppose -4*o + g*p = 16, -4*p + 9 = -o - 8. Which is smaller: q or o?
q
Let f = -299 - -297.935. Let y = f - -0.065. Which is smaller: y or 23?
y
Let y = -18933/11 - -1719. Let f = -15 - -42. Let a = f - 30. Which is smaller: a or y?
a
Let x be 5/(-3) + (-4)/12. Let f be 0/(6/(-4)*x). Let a be (-3)/12*-2*f. Is a >= 2/33?
False
Let o = -2014 + 20123/10. Let t = 9/5 - o. Is t equal to -0.1?
False
Let b(j) = -j + 25. Let m be b(-11). Let w be (-14)/(-110) - m/90. Are -1 and w equal?
False
Let u be (-2)/(2 - (-8)/(-6)). Let a = -7.5 + 9.56. Let c = -0.06 + a. Is c less than u?
False
Let x = 7/18 + 5/18. Are -21 and x non-equal?
True
Suppose 0 = -4*u + u. Let l be ((-142)/4)/((-35)/10). Let y = 4175/413 - l. Is u < y?
False
Suppose 6 = 5*r + 11. Let y = 1574/29865 - -1/543. Is r bigger than y?
False
Let n(k) = -k**3 + 25*k**2 - 24*k - 1. Let f be n(24). Let l be 1*f + -18 + 21. Do l and 3 have the same value?
False
Suppose 3*u - 13 = -2*n + 4*u, u = -3. Suppose l - n*r = 66, -l + 21 = 3*r + r. Which is smaller: -1/2 or l?
-1/2
Let d = -99.49 + 101. Let b = -1.6 + d. Which is greater: 1 or b?
1
Let m = 4.94 + -1.14. Let c = 1.8 - m. Is c < 0.1?
True
Let t = 183 - 167. Suppose 2*d + 52 = -2*d. Let g = t + d. Which is smaller: g or 5?
g
Suppose o - 3*o + 18 = 0. Let z = o + -10. Let y be (-3)/((-1 + z)/(-2)). Do y and -3 have the same value?
True
Suppose 5 - 8 = -f. Let z(s) = -s + 3. Let m be z(f). Is m equal to 2/23?
False
Let i = 1236020/2603887 - 511/1703. Let r = i - -1/139. Suppose 3*q + 3*v - 15 = -12, 3*q + 4*v = 3. Which is greater: q or r?
q
Suppose -c = -3*c + 34. Let w = c + -12. Which is smaller: -0.5 or w?
-0.5
Suppose -z + 3*u + 4 = -2, 3*u - 69 = -4*z. Suppose 0 = 2*d - 3*d + 52. Let o = d - 36. Which is bigger: z or o?
o
Let o(m) = -75*m**3 + 4*m - 1. Let k(w) = 225*w**3 - 11*w + 3. Let y(b) = -3*k(b) - 8*o(b). Let c be y(1). Let v be 465/c + (-1)/(-5). Is v at least -1/2?
False
Suppose 5*x - 12 = x. Suppose -x*w + w = 0. Suppose -5*a = -a. Is w at most a?
True
Let s = 6.043 + -0.143. Let n = -3 - -9. Let d = n - s. Which is smaller: d or 3?
d
Let z be (-4*(-85)/15)/((-22)/6). Which is greater: -7 or z?
z
Let r(m) be the first derivative of -53*m**2/2 - 3*m - 22. Let o be r(-1). Which is smaller: o or 48?
48
Let d be 19/7 - 4/(-14). Suppose -d = -4*j - 95. Let p = -18 - j. Is p smaller than 1?
False
Let n(v) = v**2 - 11*v - 12. Let t be n(11). Let g be (-2)/t*(7 + -8). Let p be 1 + 4/6 + -1. Which is smaller: p or g?
g
Suppose -30*d + 36*d = -384. Which is bigger: -65 or d?
d
Suppose 2 = 3*m - 1, 0 = -5*c + m - 101. Let d be 30/8 + 10/c. Which is smaller: d or 3?
3
Suppose -t = -2*w + 10, 0 = -2*t + 2*w - 22 - 4. Which is greater: -15 or t?
-15
Suppose 3 + 53 = 4*t. Let o be (418/4)/(t/16). Let d = -119 + o. Which is greater: -1 or d?
d
Let h = -38 - -13. Suppose -1 = n + 5*m + 5, -5*n - 3 = -2*m. Are h and n nonequal?
True
Let g(y) = y**3 + 2*y**2 - 3*y + 1. Let a = 4 + -2. Let b be g(a). Suppose 0 = 2*i - 3*q - 1, -4*q + 4 - b = 3*i. Which is greater: i or 3/10?
3/10
Let q(o) = -o**3 - 2*o**2 + o - 6. Suppose -16*p + 15 = -21*p. Let x be q(p). Which is smaller: x or -3/5?
-3/5
Let i be (14/(-84))/(1/(-114)). Which is smaller: i or 40?
i
Let t(a) = 47*a - 236. Let u be t(5). Which is greater: u or -30/59?
-30/59
Let k be -4*6/16*(3 + -5). Suppose k*r + 0*p = -p + 64, 3*p + 38 = r. Is r greater than 23?
False
Let p(h) = h**2 + h. Let u(n) = 2*n**2 + 13*n + 5. Let j(m) = 3*p(m) - u(m). Let i be j(9). Which is smaller: i or -13?
i
Suppose -2*p + 4*p + 6 = 0, 0 = w + 3*p + 9. Suppose w = s + 2*s. Let v = 176 - 529/3. Which is smaller: s or v?
v
Let l be 65/3 - (-8)/6. Suppose -2*f + l = 2*w - 13, w - 3 = 0. Let y be f/13 + (-2)/13. Is y smaller than -1/4?
False
Let f = 3356 - 80525/24. Let p = 9/8 - f. Suppose 2*w = -2*w. Which is greater: w or p?
p
Let t(q) = -4*q - 155. Let k be t(-38). Is k bigger than -40/21?
False
Let u(r) = 16*r - 2. Let g be u(1). Suppose -x = -4, 2*k - 12 - g = -5*x. Suppose 2*z - 5 = -2*l + k, 0 = 3*l + 2*z - 9. Which is smaller: 1/4 or l?
1/4
Let s = -49/5 - -333/35. Which is smaller: 61 or s?
s
Suppose y - 35 = 8*y. Let a be -3 - (-2 - y)*-1. Is a at most as big as 4/43?
True
Let n = 99 - 139. Let k = 34 + n. Which is bigger: k or -0.3?
-0.3
Let i(a) = 2*a**2 + 28*a + 21. Let r be i(-13). Do r and -6 have the same value?
False
Let n = -4 - -7. Suppose b = -3*q - 22 - 24, 0 = b + 4. Let o be 1 - 36/(-21) - 4/q. Is n not equal to o?
False
Let v(g) = 15 - g**3 - 6*g**2 + g + 16 - 22 + g. Let o be v(-6). Let h be 4/8 + o/2. Which is smaller: 2/7 or h?
h
Let n = -14/9 + 419/252. Which is smaller: -0.4 or n?
-0.4
Let p(b) = b**3 + 9*b**2 + 7*b - 10. Suppose -d + 2*h = -1 + 11, 5*h - 21 = 2*d. Let y be p(d). Let j = -60 - -56. Is j > y?
False
Let y be -7 + ((-112)/(-4))/7. Is -4 at least as big as y?
False
Let y = 10 - 17. Let o = y - -5. Let s = 121.4 + -121. Which is bigger: s or o?
s
Suppose 0 = 18*a - 758 + 20. Are a and 6 unequal?
True
Let d(h) = -2*h**2 - 41*h + 40. Let g be d(1). Let l = 1718/7 - 246. Which is smaller: g or l?
g
Suppose m - 3*j = -m, 0 = -3*m - 3*j. Let h(x) = 2*x + 5. Let c(w) = 3*w + 7. Let z(q) = 5*c(q) - 7*h(q). Let k be z(m). Which is smaller: k or -1/8?
-1/8
Suppose -2*v + 4*z - 6 = -3*v, -5*v + 30 = -4*z. Suppose 2*l = v*l. Let q be (-3)/(-1) - (-452)/(-148). Is q at least as big as l?
False
Let l = 0.0591 - 1.1791. Which is smaller: 2 or l?
l
Suppose -24*k = -23*k - 205. Is 205 at least k?
True
Let h(k) be the first derivative of -2*k**3/3 + 15*k**2/2 + 8*k + 24. Let j be h(8). Are -4/11 and j equal?
False
Let b = -4.07 + 3.58. Is -4 < b?
True
Suppose -85*k + 76*k = 0. Is k > -7/16?
True
Let j be ((-9)/24*1)/(12/(-8)). Is 12.8 > j?
True
Let t = 72.1 + -70. Let u = -8.1 + 8. Which is smaller: u or t?
u
Let s = -1015 + 510. Which is smaller: s or -0.1?
s
Suppose -7 = 3*r + p - 8, 0 = r - 3*p + 3. Do r and -26.1 have the same value?
False
Let z be 7/399*(59 + 4). Are 1 and z equal?
False
Let n be 6/429 + 0/(-16). Let l be 8/(-20) + 3/(-5). Is n less than l?
False
Let l = -3051706/81 + 37676. Let f = l - 4331/324. Which is bigger: f or -14?
f
Let r = -0.196 + 3.426. Let q = 3.2 - r. Let g be ((-6)/(-3))/2*-1. Is g > q?
False
Let c = -100183/1008 - -1641/16. Let t = c - 26/9. Does 67 = t?
False
Let q be (-3 - -4)*-2*-12. Let b be (7 - 2) + (-1 - 2). Suppose b*f + 96 = 6*f. Is f at most q?
True
Let q be ((-2)/(-8))/((-8)/(-160)). Suppose 0 = -s + q - 4. Is s at least 5?
False
Let a = 13 - -5. Let h = a - 17. Let v be (h - 1) + 0/1. Is 1 less than v?
False
Suppose 5*b - 29 = 16. Suppose b*c - 4 = 7*c. Suppose -3*u = -c*j + 53, 4*u + 12 = -5*j - 28. Which is smaller: -16 or u?
-16
Let h = 1506 - 3073/2. Is 1 less than h?
False
Let m = -140.7 + 134. Let s = m + -0.3. Let t = s - -12. Is t greater than or equal to -0.2?
True
Let k be 1 - ((-13)/(-5) - 1). Let i(c) be the third derivative of c**5/60 - 19*c**4/24 + 17*c**3/6 + 20*c**2. Let t be i(18). Which is smaller: t or k?
t
Let s = -9 - -10. Let n = -649/7 - -93. Is s at least n?
True
Let p = -35.3 + 35.1. Let y = 2.6 + -2.31. Is p < y?
True
Let s = 680/9 - 