Let l = 6376 - 6445. Is 1/37 at most as big as l?
False
Let u = -3014 + 3726. Is 712 at least as big as u?
True
Let y = 0.012 + 28.988. Let j = -29.023 - -0.223. Let o = y + j. Which is smaller: o or 0.5?
o
Let z(k) = -644*k**2 - 420*k - 13. Let t be z(-3). Which is smaller: -4547 or t?
t
Let g be (-13266)/81 + (-136)/(-36) + -4. Let m be (234/(-65))/(1/45). Which is bigger: m or g?
m
Let g be (12 - 0) + (-492)/(-30). Is 11 less than g?
True
Let q(b) be the third derivative of 49*b**5/60 - b**4/24 + b**3/6 + b**2. Let g be q(1). Suppose -g - 123 = 2*m. Is -87 <= m?
True
Let v be (((-672)/(-234))/(-2))/(2/3). Suppose -2 = 2*w - l + 2, 2*w + 4*l - 6 = 0. Which is bigger: w or v?
w
Suppose 50*z - 68*z - 36306 = 0. Is z less than or equal to -2015?
True
Suppose l = 2*x - 76, 0 = 51*x - 47*x + 2*l - 136. Suppose -2*d = -x + 54. Let j(c) = c - 7. Let h be j(-5). Is h less than d?
True
Suppose -15 + 5 = 10*t. Let p be t - 1 - -3 - 17. Suppose -r + 5*r = -64. Does p = r?
True
Let t = 254.38 - 254. Let n = t + 1.62. Is n < 4.5?
True
Suppose 2*h - 64 = 84. Suppose h*y + 72 = 76*y. Suppose -5*x - 4*x = y. Which is bigger: -8 or x?
x
Let q be ((-2)/(-1) - 1)/((-1)/((-42)/(-273))). Is q greater than 313?
False
Let u(c) = c - 28. Let p be u(22). Let i be 1/(-2) + (-529)/46 + 2. Let n(w) = 2*w**2 + 22*w + 15. Let j be n(i). Is p greater than j?
False
Let s be (67 - -1) + (0 + -2)*-1. Suppose s = 3*i - x, 5*i - 2*x = -0*i + 116. Let d be 2/8 - (-90)/i. Are 4 and d equal?
True
Let j(m) = -31*m + 79. Let l be j(4). Let z(c) = -8*c - 92. Let h be z(-6). Which is smaller: h or l?
l
Let s(i) = -2*i. Let l(a) = 48*a + 58. Let y(z) = -l(z) - 6*s(z). Let b be y(-4). Which is bigger: b or 84?
b
Suppose -162 = 6*m - 144. Let u be 90*m/(-1272) + (-1)/4. Which is bigger: 1 or u?
1
Let p(z) = -35*z**2 + 963*z - 41. Let m be p(29). Is -1550 equal to m?
False
Let c be (60/340)/(((-6)/(-1048))/1). Is c < -1?
False
Let v = 235.394 + -0.394. Let x = v - 148. Which is smaller: -3/2 or x?
-3/2
Let k = 10275 - 195300/19. Let y = -193/57 + k. Let i be ((-21)/(-12))/((-2)/8). Is i != y?
True
Let z be (132/(-297))/(10/(-3936)). Which is smaller: z or 174?
174
Let x(n) = 13*n - 8*n + 4*n**2 - 113 + 6*n + 8*n - n. Let r be x(5). Is 77 less than or equal to r?
True
Let c(i) = 6*i - 19. Let n be c(4). Let f be 1/((-1 + -4)/n). Let k be 1*(1 + 64/(-65)). Which is bigger: f or k?
k
Let y = 2.8193 + -3.0193. Let x = -0.1 - -0.1. Let i = x + 0.1. Which is smaller: y or i?
y
Suppose 0 = -a + 2390 + 5479. Which is smaller: a or 7871?
a
Suppose c = 26 + 46. Suppose -3*p = -p - c. Is 256/7 less than p?
False
Let g be 5/(-30) + (-4798198)/156. Let s = g - -283091485/9204. Let y = -2/177 + s. Which is greater: 1 or y?
1
Suppose 2*r = -o - r - 70, 4*o + 287 = -5*r. Let h be (-18)/(-2) - (11 + -6). Suppose 5*w = 3*i - 15 + 232, 0 = 2*i - h*w + 144. Which is smaller: i or o?
i
Suppose 4 = 3*w - 5*w. Let i be w*1*68*(-5)/(-40). Is -78/5 at most i?
False
Let y be 24848/(-9336) + 1 + 1. Let o = y - 2/389. Which is greater: o or 0?
0
Let d be 1/(-2*5/(-50)). Let c be -1 + (-1*16)/2. Let b be 3/2*(-24)/c. Which is greater: d or b?
d
Suppose -7*l = 11*l - 630. Let i be 35/l*(0 + -7)*-2. Let q = 3.6 - 1.6. Is i smaller than q?
False
Let c = 0.6 - 0.32. Let q = -0.31 + c. Let w = -20.4 + 22.4. Is w >= q?
True
Let u = 49 + -42.7. Let w = u + -6.1. Which is smaller: w or 0.018?
0.018
Suppose 2665 + 167 = -8*d. Let l = 340 + d. Let r(g) = -g**2 - 5*g - 8. Let k be r(-6). Is l at most k?
True
Let z = -847 + 328. Let d = z - -365. Which is smaller: -155 or d?
-155
Let t be (-16)/((-206960)/38831) - 3. Is -2 equal to t?
False
Let h(k) = 53*k + 430. Let z be h(8). Suppose 145*x - 131*x = -z. Which is smaller: -67 or x?
-67
Suppose 0 = 4*y + 3*d - 3591, 0*d + 2676 = 3*y - 15*d. Is 898 equal to y?
False
Let o be (-4)/((-5)/(60/4)). Suppose 18*f - 22*f = o. Which is greater: f or -8/3?
-8/3
Let g(o) = -81 - 17 + 9*o + 40 + 252 + 40. Let y be g(-15). Which is smaller: y or 2?
2
Suppose 0 = -3*c - 14 + 17. Let x be -8 - 116/(-24) - -5. Which is smaller: c or x?
c
Suppose 1136687*b + 3294 = 1136669*b. Let q = -3/10 + 11/20. Which is greater: q or b?
q
Let f = -40.31 + 0.31. Let d = 40 + f. Which is smaller: d or -135?
-135
Let n be 21 + -2 + (63 - 82). Is -32/1957 <= n?
True
Suppose 5*c + 181 = -114. Let u = 185 + -183. Suppose 0 = -u*d - 50 - 66. Is d at most c?
False
Let f be (0 - (-17)/3)*3. Let h(k) = -11*k + 118. Let v be h(11). Let j be 4/(-8)*(-33 + v/1). Is f > j?
False
Let n = -397/5 - -971/15. Suppose -9*m = -4*b - 8*m + 143, -4*b - 2*m + 134 = 0. Let r(h) = 6*h - 226. Let f be r(b). Which is greater: f or n?
n
Let x(r) = 3*r**2 - 61*r + 9. Let f be x(20). Which is greater: f or -52/5?
-52/5
Suppose -44*o = -x - 48*o - 30, -4*x - 4*o = 60. Which is bigger: 4 or x?
4
Let p be -1 - 6*(-45)/54*(-4)/(-20). Which is smaller: -68/91 or p?
-68/91
Let c be -28*12/(-840) - (-3264)/(-10). Which is smaller: c or -322?
c
Suppose -3*c + n - 40 = 0, 3*c + 4*n + 464 - 414 = 0. Which is bigger: -606/47 or c?
-606/47
Let s = 9850 + -9849.3. Are 902 and s equal?
False
Let j be (2 - (-9)/(-6))*-80. Let n be 233472/(-4674) + 9 - (78/(-82) - -1). Which is greater: j or n?
j
Let l(x) = 2*x**3 - 11*x**2 + 5*x - 1. Let k be 96/(-8) - (-9)/3. Let w be (k/6 + -1)*-2. Let d be l(w). Is -16/7 > d?
False
Let w be (4 + 2800/(-695))/1. Let s = -47 + 48. Is w greater than s?
False
Let l = -63 - -60. Let c(n) = 3*n**2 + 2*n + 2. Let a be c(l). Suppose -4*o = -3*g - a, 0 = -5*o + 4*o + 5. Which is bigger: g or 9?
9
Let s = 16.173 - 16.273. Which is smaller: 8667 or s?
s
Suppose 3*t + 4*f - 5 + 0 = 0, -f + 2 = 0. Let v be 130/210 - t/(-3). Suppose -3*o + 9*o = -6. Is o bigger than v?
False
Let n = -6536 - -6536. Are 24/61 and n nonequal?
True
Suppose -84*q + 10405 = 84661. Is -886 greater than q?
False
Let t = 342 - 332. Suppose -10 - t = -20*b. Is 4/253 bigger than b?
False
Suppose -6*i = -3*i - 21, 5*d - 2*i = -14. Is d at least as big as 6/6101?
False
Suppose 6*k - 4 = 5*k. Suppose 4*w + 5*f = -93, k*w + 3*f = 2*f - 105. Is -77/3 bigger than w?
True
Let r = 4839 + -24114/5. Let a = 16 - 0. Let l = a - r. Does l = -3?
False
Let q = 38379/7 - 5483. Is 10045 equal to q?
False
Suppose 2*w + 2*r = -134, -11*w = 3*r + 307 + 494. Let q(h) = -3*h**2 + 9*h + 7. Let i be q(7). Which is smaller: w or i?
i
Let r(n) = -11*n - 4*n - 2*n + 11*n - 7*n + 136. Let z be r(13). Which is smaller: -31 or z?
z
Let r be 6/3 - 5 - 22. Is r bigger than -25?
False
Let v be (((-112)/12)/4)/((-9)/81). Suppose -2*p + p = -24. Is v bigger than p?
False
Let p = 513 + -312. Let j = p - 297. Let v be j/20 + 1 + 3. Which is greater: v or -2/9?
-2/9
Let v = 6 - 10. Let s(c) = 7*c**2 - c**3 - 5*c + 6 + c + 11*c. Let m be s(8). Which is bigger: m or v?
m
Let s(p) = -64*p + 1966. Let o be s(33). Which is bigger: o or -143?
-143
Suppose -r + 15 = -2*t, t + t = -5*r - 9. Let f(m) = -m**3 - 15*m**2 - 8*m + 18. Let x be f(t). Is -320 at least as big as x?
False
Let z be 810/(-1053) + ((-87)/39 - -2). Is 52/129 greater than or equal to z?
True
Let q = 74.2 + -58. Let p = 0.056 + 15.944. Let b = p - q. Is -5 <= b?
True
Let w = -1321 - -1347. Which is bigger: 9/2 or w?
w
Suppose -4*n + a + 49 = 54, 1 = -3*n - 2*a. Is n != -3/35?
True
Let s = 1/6 + -7/33. Let i(q) = -q**3 - 10*q**2 + 8*q + 84. Let z be i(-10). Suppose z*y = 5*o - 29, 25 = 3*y - 3*o + 43. Which is greater: y or s?
s
Let c(h) = h**2 - 7. Let i be c(-3). Suppose 0 = 5*p + 2*o + 44, 5*o = -i*p - 13 - 13. Let t be 7/p*-34 + 2/8. Is 31 < t?
False
Suppose -4 + 5 = -y + 5*t, 2*t = 4*y - 14. Suppose 4*i = 2*i - 4*p + 6, -y*i - 4*p = -8. Is -1/58 greater than or equal to i?
False
Suppose -224 = 4*w + 4*i, 5*i = 4*w - 0*i + 206. Let h = -1619 - -1566. Is w smaller than h?
True
Let a be (3 + -5 - -3)*0. Let v be (-19 - (-3275)/175) + (-184)/(-742). Which is smaller: a or v?
v
Let w(i) = 5*i - 14. Let j(f) = 5*f**3 + 2*f**2 - 1. Let r(q) = -q**3 - 3*q - 3. Let x be r(-1). Let o be j(x). Let h be w(o). Which is smaller: 4 or h?
4
Let l = -216/2143 + -2870040/100721. Which is smaller: l or -28?
l
Let b(u) = 30*u - 172. Let d be b(6). Let h be (-8)/(-22)*(-2 - (-132)/d). Is h <= 6?
True
Let n be ((-404)/(-42))/(13/(65/(-40))). Let 