 <= b?
True
Let s(h) = -2*h**2 - 8*h + 16. Let b be s(-5). Let u be (-6 - -3) + b + (-25)/9. Which is greater: u or 3/8?
3/8
Let s = -374 + 14959/40. Which is bigger: 1 or s?
1
Let c = 18 + -25. Let u = -0.133 + 7.233. Let j = c + u. Is -2/5 > j?
False
Let n be 1*(-2)/2 - -1. Let t = 2578 + -7733/3. Is n at most as big as t?
True
Let m be (-4)/((-12)/(-9)) - (-6715)/2244. Which is bigger: 0 or m?
0
Let y(u) = u**3 - 7*u**2 + 2*u - 9. Let z be y(7). Suppose 3*t = 5*r - 18, 0*r + z*r + 4*t - 11 = 0. Suppose -5*q = -3*q + 2*b, -b = 3. Is r greater than q?
False
Let i(l) be the third derivative of l**6/60 + l**4/12 - l**3/6 + 4*l**2. Let u be i(1). Suppose 0 = u*b - 4*q - 35, 4*b = -0*b - q + 15. Is b < 5?
False
Let o = -0.2 - -0.1. Let n = -160 + 124.5. Let d = 36 + n. Is o <= d?
True
Let m be (-3516)/(-7) + 48/(-168). Is 502 <= m?
True
Suppose -3*i = -r + 4, 0 = 4*r + 4*i - 3*i - 29. Let n = 8 - r. Let a(s) = -s**2 + s - 1. Let f be a(n). Are -2 and f unequal?
True
Let g = 68 - 48. Suppose 0 = -o + 4, -2*y + 2 - g = -2*o. Let t = 12 - 19. Which is bigger: y or t?
y
Let w = 13 + 17. Let z be (w/(-9))/(-5) - 1. Let q = 2 - 1.6. Which is smaller: q or z?
z
Let i be (-18)/(0 + -3 + 4). Let j = i + 18. Is j < 1?
True
Let b(w) = -w + 17. Let t be b(0). Let m(a) = a**3 - 16*a**2 - 15*a - 35. Let p be m(t). Is p smaller than 2/47?
True
Suppose -2*i - 8 + 28 = 0. Let x = 0 + -36. Let l = x - -44. Is l greater than or equal to i?
False
Suppose -3*r - 232 + 199 = 0. Is r greater than 6?
False
Let k = -1275 - -1288. Which is smaller: 2 or k?
2
Let g = -309.4 + 197.1. Let l = 112 + g. Which is smaller: -0.04 or l?
l
Suppose -8 = -5*q + 27. Let n be (3 - 0) + -17 + q. Let u be (n/((-28)/(-8)))/1. Which is greater: -3 or u?
u
Let r = -763 - -821. Is 58 greater than or equal to r?
True
Let i = 0 - 2. Suppose 49*d = -62*d + 666. Is d > i?
True
Let p(i) = -60*i**2 + 467*i - 6. Let q be p(8). Which is smaller: -116 or q?
-116
Let a be 0/(-2*1/(-2)). Suppose 5*d - 155 + 50 = a. Let u be (18/(-4))/((-63)/d). Which is smaller: -0.01 or u?
-0.01
Let y be (-44)/66*93/2. Is -31 < y?
False
Let f(o) = 6*o**2 + 72*o - 429. Let t be f(6). Are t and 215 equal?
False
Let g = -1/109 - -111/218. Let t = -0.16 - -0.3. Which is smaller: t or g?
t
Let b = -10 - 5. Let u = 9.08 + -0.08. Let k = u + b. Are k and 0.1 equal?
False
Let t = -27 + 47. Let g(s) = -s**2 - 27*s - 68. Let u be g(-24). Suppose 4*y = z + 5, u*z = -z + 5*y + t. Which is smaller: 5 or z?
5
Let p = -9.9 - -70.9. Let h = p - 60.956. Are h and -1 nonequal?
True
Suppose -u + 1 + 4 = -p, 0 = 3*u + 3*p - 33. Suppose -v + 30 = 4*c, u = 6*c - 2*c. Suppose -2*n = -4*n + v. Is 12 greater than n?
True
Let r(q) = -q**2 - 9*q + 2. Let h be (1/(-2))/(3/54). Let m be r(h). Let b = 9/25 - -137/175. Which is smaller: b or m?
b
Let y = 2041 - 2037. Let f be 0 - 1/(-1 - 0). Which is smaller: f or y?
f
Let r be 3/48*2 - (-455)/(-6328). Let t = -638/3503 + r. Which is bigger: 1 or t?
1
Let q be 5 + -3 + 368/(-259). Let b = -2/259 + q. Is b at most 2?
True
Let r be (-3)/((-1)/(-6)*(-60)/150). Which is bigger: 43 or r?
r
Let w be (17/17068)/((-2)/(36/(-3))). Which is smaller: w or 0?
0
Let t = -54 - -94. Let o = -2566 - -2608. Do t and o have the same value?
False
Let j(q) = -q**2 - 2*q + 9. Let i(x) = -1. Let r(k) = 4*i(k) + j(k). Let u be r(-4). Let a(o) = -o**3 - 4*o**2 - o + 2. Let m be a(-3). Which is bigger: m or u?
u
Let l = -16/7 + 73/35. Let b = l + -3/35. Let m be ((-168)/44 - -4) + 0. Which is bigger: b or m?
m
Suppose -20*t = -19*t + 12. Let l be t/(-6) + 0 + -2. Which is smaller: l or -2/37?
-2/37
Suppose -5*k + 192 = -3*l + 4*l, -2*l = -2*k + 72. Let t = -38 + k. Is t smaller than 3/8?
True
Suppose 2*v + 3*k = 9 + 21, -k + 40 = 4*v. Let n(s) = -s**2 + 16*s + 2. Let i be n(16). Suppose i*a - 12 = 8. Is v at least as big as a?
False
Suppose 0 = -2*w + 39 - 17. Suppose 19 + 3 = -2*d. Let u = d + w. Which is smaller: u or 2?
u
Let p = -26 - -36. Let d(q) = q + 16. Let b be d(11). Suppose -3*y - 15 = 0, 3*u + 2*y - b = -4. Is p >= u?
False
Let j be (1 - 64/66) + 0. Let v = 1515 - 1516. Is v bigger than j?
False
Let m = 2563/4959 - -2/4959. Which is smaller: m or 2?
m
Let v be (4 + (-76)/24)*(-154)/(-105). Which is smaller: 1 or v?
1
Let z be ((-1)/3 - 0)*0. Suppose -6 = -g - 1. Is z bigger than g?
False
Let i = -12 - -44. Let y be i/180 + (-4)/(-18). Which is smaller: y or -0.18?
-0.18
Let u = 5.8 - 5.9. Let i = 0.2 + u. Which is smaller: i or 0.3?
i
Let u be (0 - 4/(-195))/((-8)/(-20)). Let q = -13 - -11. Which is smaller: u or q?
q
Let i(r) = -10*r**2 + 179*r + 17. Let a be i(18). Let w = 181/3 - 61. Which is bigger: a or w?
w
Let g be (44/12 - 3)*27. Let p be (-4)/(-18) - 58/g. Let v be (p/(-12))/((-4)/(-6)). Which is bigger: -1 or v?
v
Let u = 3257/2 - 1597. Which is greater: 33 or u?
33
Let o = 145 - 94. Let t = 24 - o. Let j = t + 15. Is -13 greater than j?
False
Let r be ((-1566)/8)/((-69)/184). Let n = 5738/11 - r. Which is greater: n or 1?
1
Suppose -5*f - 4 = -6*f. Suppose -k + 0*k + f = 0. Let i = k + 0. Is 3 greater than or equal to i?
False
Let p = -215 - -216. Let k(r) = r**2 - r - 4. Let t be k(3). Suppose 0 = 4*g - 2 - t. Is g equal to p?
True
Let c(y) = -11*y**2 + 11*y + 14. Let z be c(-6). Let d be (-4)/(-6) + z/312. Which is bigger: 0 or d?
0
Let k = -710 - -1330. Let p = k + -441. Let v = -3041/17 + p. Is v <= 1?
True
Let q(x) = x**3 - 5*x**2 + 3*x - 6. Let d be q(5). Let f(n) = -n**3 + 4*n**2 + 6*n - 16. Let i be f(3). Which is greater: d or i?
i
Let o = 98 - 163. Let n = o - -63. Which is smaller: n or -15/8?
n
Suppose 6*o + 43 = -3*n + o, -4*o = 2*n + 28. Which is bigger: n or -18?
n
Let h = 216 + -266.7. Let y = -0.7 - h. Let x = y + -26. Is 0 equal to x?
False
Suppose -15*u - 504 = -489. Which is greater: 1/694 or u?
1/694
Let d = -463/24831 - -3/178. Which is bigger: 0 or d?
0
Let r = -121 + 118. Let b be (r/30*4)/(56/805). Is b equal to -6?
False
Let c = 1101796514 + -6237270015371/5661. Let f = -7/629 + c. Let d = -373/45 + f. Which is smaller: -1/4 or d?
-1/4
Let j(q) = -4*q - 59. Let z be j(-15). Let b be (-3)/12 - (-34)/120. Which is smaller: z or b?
b
Suppose z + 2 = 4. Let p(c) = -3*c**3 - 8*c**2 + 8*c - 5. Let n(m) = -7*m**3 - 16*m**2 + 16*m - 10. Let h(b) = -4*n(b) + 9*p(b). Let o be h(7). Is z >= o?
True
Let z = 11557/15 - 770. Let v = 109/105 - z. Let c be (1 + (2 - 3))/2. Does v = c?
False
Let m = -13074/7 + 1867. Let l = -1 + 1. Let v be (l/3)/(1 + 1). Is v bigger than m?
True
Let z(h) = h**3 - 4*h**2 - 60*h + 11. Let p be z(-6). Which is smaller: 50 or p?
p
Suppose -25 = 5*x + 20. Let n(r) be the first derivative of r**4/4 + 3*r**3 + r**2/2 + 10*r - 12. Let l be n(x). Which is greater: 5/3 or l?
5/3
Suppose -3*v = -2*v - 4. Suppose -4*n + v*b - 16 = -0*n, -n + 2*b = 8. Is 0 != n?
False
Let w = 1138288/285 - 3994. Which is bigger: 0 or w?
0
Let n = -57 + 72. Suppose -n = -5*u, -2*s + 3*u = -0 + 1. Is s bigger than 25/6?
False
Let c = -29.6 - -43.6. Is 15 not equal to c?
True
Let x be (2 + (-10)/3)*3. Let g be (-3)/12 - x/16. Let k be 2 - (-3 + g + 2). Is 3 greater than or equal to k?
True
Let z be 2*44*11/(-22). Which is smaller: z or -45?
-45
Let o be (54/(-24))/(7 + 230). Is o < 1?
True
Let l be (-95 - 1)/(-2)*1/(-2). Let q be ((-3)/(l/(-38)))/(4/(-16)). Are 19 and q non-equal?
False
Let i(s) = -9 - s - 8 + 0*s. Let a be i(-16). Which is smaller: a or -1/71?
a
Let z(i) = -6*i**2 + 25*i + 24. Let j be z(5). Which is smaller: j or 2/73?
j
Let y be (36/14)/(-2*(-5)/(-10)). Is y equal to -2/9?
False
Let q(l) = 5*l. Let r be q(1). Suppose -2*v - r*i + 8 = 0, -14 = -5*v - 3*i + 6. Suppose -6*b - 2 = -3*f - b, 3*f - v*b = 1. Is f >= 1/3?
False
Suppose -4*c - 2*g - 94 = 0, 4*c = 3*g - 0*g - 99. Let f be (c/(-18))/((-174)/9). Which is greater: -1 or f?
f
Suppose 8 = -4*z + 3*f + 26, 4*z = 4*f + 16. Let x = -97 + 93.1. Let u = x + 4. Which is smaller: z or u?
u
Let v be 1/(1*2/123). Let g be 4/(264/4299) + -4. Let s = g - v. Is s bigger than 0?
False
Let c be (14/(-48))/((-1)/(-3)). Let l = c + 3/8. Is l at most as big as -1?
False
Let x = -177 - -254. Let p = x + -80. Are p and -5/3 non-equal?
True
Suppose 7 = -z - 4. Let h = 12 + z. Which is smaller: h or -5/12?
-5/12
Let c be -8 + ((-141