3 + 0.023. Let g = -45 - c. Is -1 at least g?
True
Let c = -2145 - -1243. Are -902 and c unequal?
False
Let v(a) = a + 3. Let h be (-34)/10 + -4*3/(-30). Let j be v(h). Let z = -4843/9 - -537. Is j at least z?
True
Let b = -466 + 459. Which is greater: b or -54/7?
b
Let q(o) be the third derivative of 5*o**4/12 - o**3/3 + 11*o**2. Let s be q(1). Let w be 118/(-48) - s/(-64). Which is smaller: -2 or w?
w
Suppose -15 = -8*h + 3*h. Is h greater than 16/9?
True
Suppose 0 = -3*v - 4*j - 70, 0*v = -2*v - 2*j - 46. Let h be 2/(-2)*v/(-8). Which is smaller: h or -3?
-3
Suppose -7 = -o + 9. Suppose -5*r - 4*k - o = -3*r, 12 = -r - 4*k. Let x = 41 - 46. Do x and r have the same value?
False
Suppose 4*o = r - 3 - 4, -5*o = 4*r - 7. Suppose -2*k + 2 = 28. Let w(q) = q**3 + 12*q**2 - 12*q + 15. Let t be w(k). Which is greater: r or t?
r
Let z be 1/(7/26) - 66/(-231). Suppose 0*j = -5*a + 4*j + 270, -z*j = -a + 38. Which is smaller: a or -1?
-1
Let n = 1822 - 1989. Which is smaller: -168 or n?
-168
Let w be 0/(-2) - (-75)/36. Let f(s) = -2*s**2 - 4*s + 337. Let n be f(12). Which is smaller: n or w?
n
Let c be (10 - 11)*(-3)/3. Let s = -0.99 - -1. Let f = s + 6.99. Is c at most as big as f?
True
Let k = 632/715 - 22/65. Let z(r) be the first derivative of -r**4/4 - 5*r**3/3 - 2*r**2 + 4. Let f be z(-4). Which is smaller: f or k?
f
Let i be (6 - 2) + (570/(-69))/2. Let m be 10/20 - ((-1)/(-2) + -1). Which is greater: i or m?
m
Suppose 5*k + 54 = 4*v - 322, 2*k + v = -140. Let r be (23/4)/((-18)/k). Is r less than 23?
False
Let n = -25 - -28. Suppose 20 = -n*p - 2*p. Let j = p - 11. Are -16 and j non-equal?
True
Let m(a) = 2*a**2 - 13*a - 1. Let v be m(6). Let s be (-2)/v - 34/119. Which is smaller: -5/38 or s?
-5/38
Let f = 38742/53 - 731. Is f not equal to -1?
True
Suppose 173 - 151 = 11*l. Which is bigger: l or -91?
l
Let s be (9/(-2))/(-3)*130/234. Which is smaller: -92 or s?
-92
Let h(n) = -n**3 - 5*n**2 + 5*n - 5. Let u be h(-6). Let o be 1*1/2*10. Let z = o - 6. Which is smaller: z or u?
z
Let d = 2.3 + -2.24. Let o = 27.06 - d. Let y = o - 26.9. Which is smaller: y or 0.09?
0.09
Let v = 180 - 2322/13. Which is bigger: v or 0?
v
Let t = -27 + 19. Let m = 6.6 + -7.6. Which is bigger: m or t?
m
Let r = -2 + 2.2. Let y = -36 + 36.016. Let s = y + -0.016. Is r greater than or equal to s?
True
Let g = -1280 + 1302. Let p(t) = -2*t**3 + 2*t**2 - t - 2. Let n be p(-2). Do g and n have different values?
True
Let l be 130/(-4) - (-101)/202. Are -21 and l equal?
False
Let j = -2/5791 + 81096/63701. Let u = 101/88 - j. Which is smaller: u or -1?
-1
Suppose c = 39 - 40. Is -3/56 equal to c?
False
Suppose z + 3*z - 516 = 0. Let x = -647/5 + z. Let t = x - -1/15. Is -6 at most t?
True
Suppose -2670 = 34*m - 4*m. Which is smaller: m or -90?
-90
Suppose 4*s + 4*y = y - 20, 4*s - 8 = 4*y. Let x be (3/s)/(45/(-120)). Are -1 and x non-equal?
True
Let o(t) = -t - 10. Let f be o(-7). Let h be -4*(23/(-4) - -3). Let d(u) = -u + 8. Let w be d(h). Is w at most as big as f?
True
Let y = -0.0616 - 0.1384. Is 26/17 smaller than y?
False
Suppose 222 = -f - 4*f + 2*i, 4 = 4*i. Do -218/5 and f have different values?
True
Let o(h) = -10*h**3 + 12*h**2 + 2*h - 11. Let v be o(10). Let x = v + 123211/14. Let i = 100/7 - x. Which is smaller: i or 6?
i
Let n(s) = -s**3 - 8*s**2 - 2*s + 33. Let i be 5 - (-5 - -7) - 10. Let l be n(i). Is l greater than or equal to -2/7?
False
Let c = 5/2 + -2. Let q = -712 - -738. Is q at least as big as c?
True
Let n be (-3)/((-351)/2)*(-31)/155. Let g = 128/585 - n. Which is bigger: g or 0?
g
Suppose -5*b + 0*u + u + 39 = 0, 5*b + 2*u = 42. Let y = 145/18 - b. Let o = -1.1 + 0.1. Do o and y have the same value?
False
Let l = -106 + 86. Let b(z) = z**3 + 18*z**2 - 39*z + 21. Let o be b(l). Is o smaller than -3/80?
False
Suppose -4*x + 12 = -4*a + 2*a, 0 = -5*a - 5*x + 15. Suppose h + 1 = -3. Let d be (5/(-15))/(h/(-12)). Which is bigger: d or a?
a
Let q(g) = g**3 - 14*g**2 + g - 13. Let c be q(14). Let p be (((-6)/(-59))/(-3))/(-1). Let t = p + 230/177. Is t less than c?
False
Let r(z) = -z**3 + z**2 + 2*z + 6. Let y be r(0). Do y and 27 have different values?
True
Let j = -302.9 + 303. Let n = 0.4 - 0.2. Is j at least as big as n?
False
Let m be (-172)/(-12)*((-16)/(-4) + 2). Which is greater: 88 or m?
88
Let q = -332 + 66. Let f be (-132)/q - (36/(-21) - -2). Suppose -3*l = 5*n + 15, -3*l + l + 3*n + 9 = 0. Which is greater: f or l?
f
Let y = -2.48 - 0.62. Let d = -7.1 - y. Let v = -4 + 4. Are d and v equal?
False
Suppose 14 = -14*q - 476. Is -34 smaller than q?
False
Let g = 182 + -1636/9. Let m = -0.01 - 3.06. Let w = m + 0.07. Which is smaller: g or w?
w
Let i = 32 + -29. Let r = 0.08 + -1.08. Is r at most i?
True
Let u = -17 + 21. Let j = -11 - u. Let o = -19 - j. Is o bigger than -3?
False
Let m = -62 + 62.0576. Let j = -28.9576 + m. Let t = 29 + j. Which is bigger: t or -12?
t
Suppose 6 = -3*m + 6*m. Suppose -m*b - 26 - 4 = 0. Let p = b + 15. Which is greater: p or -2/7?
p
Let s be (5/(-3) + 1)*555/5. Let h = -73 - s. Which is bigger: h or 16/9?
16/9
Suppose -356 = -6*f - 44. Let i = f - 52. Which is smaller: i or 2/139?
i
Let m = 32 - 29. Let l(u) = u**2 + 2*u + 1. Let n be l(m). Let o(z) = -z**2 + 16*z + 2. Let c be o(n). Are 3 and c nonequal?
True
Let t = -133.1 + 133. Is -10 greater than or equal to t?
False
Let k be (-4)/14 + (-48)/(-21). Suppose -g - 4*l = 15, 19 = 5*g - 4*l - k. Let m = -617 + 8017/13. Which is smaller: m or g?
m
Let x = 110 + -110. Is 2/123 bigger than x?
True
Let c = -991 - -997. Let i be (-28)/(-6) - (-3 + 2). Is i not equal to c?
True
Let l be 20/(2520/234) - 12/14. Is l < 70/59?
True
Let l be (-3)/6 + 30/(-4). Let w(c) = c**3 + 7*c**2 - 7*c + 9. Let d be w(l). Suppose 16 = 4*a + 4*r, 30 = -8*a + 3*a + 5*r. Is d greater than or equal to a?
True
Let b(l) = l**3 - 19*l**2 + 15*l + 40. Let j be b(18). Is -14 at least j?
True
Let j = 1572 - 1571.825. Which is bigger: j or 0.3?
0.3
Suppose -5 = -4*k + 5*f, 10*k - 9*k - 2*f = 2. Which is smaller: k or -5/31?
-5/31
Let n(t) = -t**2 - 8*t - 16. Suppose 5 = 2*q + 5*m - 12, 2*q - 5*m + 33 = 0. Let w be n(q). Are w and -1/4 nonequal?
True
Let a(z) = 4*z - 5. Let v be a(2). Let k be 3 + ((-8)/(-20) - v). Is -3 greater than or equal to k?
False
Suppose -5*b + 2*b = 0. Suppose h + f + 60 = -20, -h + 4*f - 60 = b. Let i be 6/21 - h/28. Is -3/8 greater than i?
False
Suppose -4*o - 253 = -5*c, 121 = -3*o + o - 3*c. Let a be (-63)/((-3 + 0)/(-3)). Which is smaller: o or a?
a
Let h(l) = -l - 22. Suppose -6 - 12 = z - 2*q, 0 = 2*z + 2*q + 66. Let u be h(z). Is u smaller than 31/6?
False
Let s = -2177/132 + 186/11. Let a = 1/12 - s. Let t = -1322 + 1323. Which is bigger: t or a?
t
Suppose m + 67*t - 5 = 69*t, -12 = -2*m + 5*t. Which is smaller: -8/227 or m?
-8/227
Let m = 110 + -193. Let u = m - -83. Let i = 59/63 - 5/7. Which is greater: u or i?
i
Let u = 3 + -3. Suppose -5*r + 4*o + 4 = 0, -12 = -5*r - u*r + 2*o. Suppose -3 = v - r. Which is bigger: v or -1/10?
v
Suppose 840 + 0 = 8*s. Which is greater: s or 108?
108
Let c be 4/14*252/(-135). Let d(k) = k**2 + 6*k + 7. Let x be d(-2). Which is smaller: c or x?
x
Suppose -2*t = -3 - 1. Suppose -t*x - 6 + 20 = 0. Suppose 0 = -3*l - 5*i + x, -1 = -4*i + 19. Which is bigger: l or -8?
l
Let w = -101 + 66. Let t = 36 + w. Is 23/2 at least as big as t?
True
Let q(b) = b**2 + 9*b + 8. Let w be q(-8). Suppose -4*c - 2*a + 7 = 27, w = 4*c + a + 22. Let d = 6 - 10. Is d at most as big as c?
False
Let a(o) = 4*o**2 - 28*o + 24. Let m(k) = k**2 - 9*k + 8. Let q(c) = -2*a(c) + 7*m(c). Let w be q(-8). Which is bigger: 6/29 or w?
6/29
Let o = -453 + 453. Which is greater: -3/761 or o?
o
Let o(p) = -4 + 2 + 2 - p. Let r be o(0). Suppose r = -2*v - 0*v - 2. Which is greater: -2/11 or v?
-2/11
Let u be ((-16269)/132)/(14/24). Is u not equal to -211?
True
Suppose -82*x + 83*x = 5. Suppose -m + x*s = -6, 2*s = -3*m + 7*s + 8. Is 3/20 less than m?
True
Let x = 216 - 214. Is 21 > x?
True
Let i = 0.8 + -1.4. Let q(l) = -2*l + 2. Let x be q(1). Let p be (4 + x)*9/(-18). Which is smaller: p or i?
p
Let s = -23/3 - -1345/177. Suppose 4*b = -b. Which is smaller: b or s?
s
Suppose -2*i - 12 = 8. Suppose 0 = u + 4*f - 2*f + 5, 15 = 5*f. Which is smaller: i or u?
u