044. Is y >= 1050/11?
False
Let h(d) = d**3 - 4*d**2 + 4*d - 2. Let f be h(3). Let p be -5 + f - 3/(-1). Which is bigger: p or -2/15?
-2/15
Let i be -1 + 978/(-9)*3. Is -327 > i?
False
Suppose 51*z - 109 = 44. Which is smaller: z or 58/25?
58/25
Let y be (2 - (-2 - -11))*-1. Let d(k) = -k**3 + k**2 + 10. Let t be d(0). Are t and y non-equal?
True
Let a(o) = o**3 - 31*o**2 - 33*o + 41. Let n be a(32). Let q = 7 + -2. Let r(m) = m**2 - 4*m + 5. Let i be r(q). Is i >= n?
True
Suppose 3*b - 3*m = -39, 5*m - 17 = 3*b + 24. Suppose 2*g + 10 = g + 3*v, -3*v - 68 = 5*g. Is b >= g?
True
Let v(o) = -o + 45. Let g(x) = 3*x + 3. Let j be g(3). Let b be v(j). Is 32 not equal to b?
True
Suppose i = -2*x + 14 - 6, 5*x = i + 13. Let v be (-1 - i) + 0 + 1. Let j be -5*2/(-14)*-1. Is j equal to v?
False
Let g(w) = -3*w - 12. Let o be g(-3). Let z be ((-60)/96 - 1/2)/o. Which is bigger: z or -1?
z
Let y(n) = -n**3 + 2*n**2 - 5*n + 4. Let d be y(1). Is 5/181 less than or equal to d?
False
Let v = -5.9 - -10.5. Let h = 4.4 - v. Is 1 at most as big as h?
False
Let h be -1389 - (21/(-7) - -10). Is h smaller than -1396?
False
Suppose 21*z = 17*z + 16. Suppose -z*v + 6 - 14 = 0. Which is smaller: v or -5/6?
v
Let h = 69 + -53. Is h bigger than -3/4?
True
Suppose 2*m + 4*o + 27 = 7*o, 5*m = -o - 42. Is m < -68/7?
False
Suppose -2*l + 24 = 6. Suppose -5*t + 8 = -l*t. Is 0 greater than t?
True
Let k be 20/(-12) + 6/9 + 0. Suppose -7 = 3*v - 2*v. Let f be (-4)/(-24)*3/v. Is k <= f?
True
Let d = 1.66 + -0.66. Let k = 0.1 + -0.08. Are d and k equal?
False
Let o = -606 - -571. Which is greater: o or -40?
o
Let z = 310 + -2794/9. Let q = 16 + -22. Let l be ((-2)/3)/(q/(-9)). Is l smaller than z?
True
Let j(v) = -16*v + 61. Let n(s) = -6*s + 30. Let f(a) = -2*j(a) + 5*n(a). Let z be ((-2)/1*7)/1. Let g be f(z). Is -1/9 not equal to g?
True
Let w be 10/2 - (21 + 7 - 4). Which is smaller: w or -121/6?
-121/6
Suppose -2*w + 180 = -0*w - 2*f, -3*w + 4*f = -275. Let g be 6/(-30) - ((-152)/w + 1). Which is smaller: g or 0?
0
Let d be ((-3)/(-36))/((-6)/16*-2). Which is greater: -28 or d?
d
Let g = -9.4 + 10.5. Which is bigger: 6 or g?
6
Let t(y) be the first derivative of -2*y**3/3 + 4*y**2 + 10*y + 29. Let f be t(5). Which is greater: 3 or f?
3
Let r = 911.9 - 913. Which is smaller: r or -2?
-2
Let y(t) = -6*t - 6. Let m be y(-3). Suppose 0 = -4*p - 48 + m. Is -9 at least p?
True
Suppose 0 = -2*t - 3*a + 149, -2*t - 3*t + a = -347. Let w be 2/5 - 4*7/t. Which is smaller: w or -2/101?
-2/101
Let c = -73/782 - 1/17. Let f = c + 1/46. Which is greater: -1 or f?
f
Let a = -95.63 + -1.37. Which is bigger: a or 0?
0
Suppose -3101 = 5*z - 156. Which is bigger: z or -590?
z
Suppose 58*y + 4 = 60*y. Suppose 17 = 3*f - 4*p, -4*f = -y*p - p - 25. Which is smaller: f or 6?
6
Let k = -8.363 - -0.363. Is k less than -0.09?
True
Suppose 0 = 226*p - 242*p + 16. Let v = 9 + -22. Which is bigger: p or v?
p
Let j be (1 + 0)/(11/(-66)). Let n = j + 10. Which is smaller: 16/5 or n?
16/5
Let z be 4/14 + (-1170)/2821. Let y = 1/248 + z. Which is smaller: y or -1?
-1
Suppose -69*a - 152 = -31*a. Is 198 less than or equal to a?
False
Let j(d) = -9*d + 91. Let w be j(10). Which is bigger: w or -1/362?
w
Let a = 0.0338 - -2.4062. Which is bigger: a or -2/7?
a
Let y be 2956/44 + 40/(-220). Which is bigger: y or 68?
68
Let p = -81 - -276. Which is greater: -1 or p?
p
Let h = -58.045 + 58. Let j = h + -0.055. Is -11 less than or equal to j?
True
Suppose 0 = -3*g + 11*g - 40. Suppose -5*o - 21 - 39 = g*x, 0 = 4*o - 5*x + 3. Let r be 1 - -1*(-8 + 0). Is o greater than r?
False
Let a = 2 - 0. Let h = 11/32 + 5/32. Is h at least as big as a?
False
Let l = 0.145 + 0.485. Let j = l + 32.37. Which is greater: j or 1?
j
Let n = 289.5 + -295.2. Are -0.2 and n non-equal?
True
Suppose 0 = 5*j - 5 - 10. Suppose -11 = -w + j*g, -w + 7 = -2*g + g. Is w greater than or equal to 8?
False
Let d = 238/2325 + 2/75. Is d != 0?
True
Let x(c) be the third derivative of -c**5/60 + 2*c**4/3 + 4*c**3/3 + 6*c**2. Let p be x(16). Are 0 and p equal?
False
Let x = -1.2 + 1. Let h = -139.41 - -139. Let l = 0.43 + h. Which is smaller: x or l?
x
Let o = 25.9542 + 0.0458. Which is greater: o or -0.07?
o
Let i = -22 - -22.8. Let l = i - -23.2. Which is smaller: l or 0?
0
Let z be ((-7)/(-35))/((-3)/15) - -8. Which is bigger: 17/3 or z?
z
Let c = 25007 + -23431557/937. Is c at most as big as 0?
False
Let m = -2118.9 + 2119. Is m at most -202?
False
Let q be 48/(-12) - (-30)/7. Which is greater: -15/4 or q?
q
Let s(n) = n - 1. Let p be s(-9). Let q be ((-4)/p)/((-11)/330). Are -12 and q unequal?
False
Suppose 147 = 3*z + 150. Is z < -2/303?
True
Let m(o) = o**2 - o - 10. Let d be m(7). Suppose j = 3*w - 3*j, -4*j - d = 5*w. Let x be (3 - (-16)/w)/1. Is -5 less than x?
True
Let z be 4408/25441 + 2/(-13). Which is smaller: z or 0?
0
Let q be (-3 - (-1 - 1))/(-1). Let s be (-1)/((-1)/(q + 4)). Suppose -23 + s = 6*d. Which is smaller: -8/3 or d?
d
Let b be 1*147/((-56)/(-8)). Is -4 at least as big as b?
False
Let d = 131 + -79. Let h = -58 + d. Which is greater: h or -9?
h
Suppose -3*p + 5*j + 5 = 0, -p + 5 = 2*j - 7*j. Let q(g) = -g**3 + 3*g - 8*g**2 + 2 + 3*g + 4*g**2 - 1. Let k be q(-5). Is p at most k?
False
Suppose -5*c + 0*u - 6 = -u, -5*u = 2*c + 24. Let m be (-12)/(-30) - c/5. Which is smaller: m or 0?
0
Let m = 38/205 - 82934/615. Which is smaller: m or -135?
-135
Let y = -4.88 - 0.22. Let b = y - 35.9. Do 0 and b have the same value?
False
Let d be (-1144)/(-40) + 6/15. Let q = -7 - -8. Which is greater: q or d?
d
Let x(i) = 33*i**3 + 4*i**2 - i - 2. Let r be x(3). Let n be (-30)/(-135) - r/18. Is n smaller than -52?
False
Let j = 54.3 - 57.3. Which is greater: j or 12?
12
Let n = 1/65 + 38/65. Let q be (-2)/(-4)*(-6 + 10). Which is bigger: q or n?
q
Let i = -500 - -505. Which is bigger: 29/6 or i?
i
Suppose -12*y + 1215 = -537. Is 147 smaller than y?
False
Let o be 1/5 - (1/(-5))/(-1). Let y be (4 - 2)/(-2) + o. Let f be (10/(-6) + 1)*3. Which is greater: f or y?
y
Let k = 30 - 14. Let h = k + -16. Is 1/37 greater than or equal to h?
True
Let k = 293 - 293. Which is greater: 76 or k?
76
Let n = -750 - -741. Let b be 2 + (1 - (12 - -1)). Are b and n unequal?
True
Let f = 39097/50 - 782. Suppose 0 = -3*i + 12, -4*n + 5*i + 7 - 31 = 0. Which is greater: f or n?
f
Suppose -5*p - 1365 = -5*x, 7*p - 6*p + 3*x + 281 = 0. Are -275 and p nonequal?
False
Let j = 661 + -430. Which is smaller: 232 or j?
j
Suppose -4*p - p - 161 = 4*d, p = -3*d - 107. Let g be 4*-1*1/d. Let m(i) = -i**2 + 53*i - 397. Let o be m(9). Is o greater than g?
False
Let z be 2/7*(5 - (-120)/(-18)). Which is smaller: 0 or z?
z
Let q be -1 + (144/(-2))/1. Suppose 224*m = 233*m + 657. Do m and q have the same value?
True
Suppose 2216 = 21*v - 2068. Which is greater: v or 205?
205
Let f(j) = j**3 + 6*j**2 - j + 2. Let p be f(-6). Is p smaller than -2.1?
False
Let b be (1 - 2)*0*1. Suppose -n + 15 + 8 = -4*d, 3*d + 5*n = b. Let o = d + -5. Which is smaller: -9 or o?
o
Let p(u) = u + 14. Let j be p(-9). Suppose 4*l = j*n + 28, -5*l - 9 = 4*n + 38. Is -4 smaller than n?
False
Let r be ((-16)/(-72))/((-1)/(-9)). Let f(x) = 111*x**2 - x. Let b be f(1). Let s be ((-5)/b)/(r/8). Which is smaller: 1 or s?
s
Let y be 2/6 + 256/6 + -2. Which is greater: 43 or y?
43
Suppose 22*i - 30 = 21*i. Suppose -5*u + 2*v = 24 + 27, -4*u - i = 2*v. Is -10 equal to u?
False
Let q be (-431)/(-72) + -2 + 23 + -27. Which is smaller: 1 or q?
q
Suppose -2*f = 5*z + 172, 0 = -2*z + z - f - 32. Suppose -13*v - 89 = 2*j - 10*v, -3*j - 96 = -3*v. Which is smaller: j or z?
j
Suppose 2431 = -5*w - 304. Let y = w + 2177/4. Is y equal to -2?
False
Let u = -20 - -21. Let g = 8 + -8.05. Let x = g + 0.14. Which is greater: u or x?
u
Suppose 4*k + 20 = 5*k. Suppose -3*x + k = x. Let z = 238 - 232. Is z less than or equal to x?
False
Let m = -2920 + 239449/82. Which is greater: m or 1?
1
Let n = -319 + 317. Let b be -2 - (1/(-1) - -2). Which is greater: n or b?
n
Let v = 59 + -62. Suppose 5*g = 12 + 68. Let s = 17 - g. Is v less than s?
True
Let q(j) = -j**2 + 9*j + 3. Let r be q(9). Which is greater: r or 23/13?
r
Suppose -2*i = 121 + 11. Let s be (1/(-3))/(130/i - -2). Is -15 at most as big as s?
True
Let u be (-56