). Is z at most 43?
True
Let s(g) be the first derivative of -1/3*g**3 + 1 + 13*g + 5/2*g**2. Let m be s(7). Is -3/8 bigger than m?
True
Let l be ((-3)/(-6))/(1/(-18)). Let d be (-3 - l/3)/2. Let n = 0 - d. Which is bigger: 2/3 or n?
2/3
Let x be 403/(-153) + 2 + (-146)/(-657). Do x and 0 have the same value?
False
Let h be (13 + -12)*1/(-17). Do 0 and h have the same value?
False
Let w(a) = 5 - 6 + 2 + 0*a - 5*a. Let y be w(-1). Let h(r) = r**2 - 5*r - 6. Let c be h(y). Which is greater: -1/9 or c?
c
Let y = 114 + -46. Do 69 and y have different values?
True
Suppose -6*m + 19 + 185 = 0. Let c be (0 + -5 - -17)/m. Which is greater: 0 or c?
c
Let x = -24 - -22.3. Let k = x - -7.7. Let c = k - 9. Which is bigger: 0.2 or c?
0.2
Let u = 6/65 + -308/4745. Which is bigger: 0 or u?
u
Let s be (1136/(-5))/(-2*(-1)/(-10)). Is 1136 smaller than s?
False
Let r = -65 - -129. Let d = -15 - r. Is -79 less than d?
False
Suppose -v + 100 = 5*m, 3*v + 57 = 2*m - 0*v. Which is greater: m or 109/5?
109/5
Let b = 18 - 13. Suppose -3*u + 4*a + 0*a = 12, -2*u - 4 = -4*a. Let p be (-24)/u*(-14)/(-6). Is p bigger than b?
True
Let h be (2/4)/((-6)/96). Let i(o) = -o**3 + 8*o**2 + 9*o + 2. Let j be i(9). Let l = j - 11. Is l smaller than h?
True
Suppose -2*y - 2 = 0, 2*y + 32 = 4*q - 98. Suppose q*p - 34*p - 12 = 0. Let w(l) = -5*l**2. Let j be w(-1). Which is bigger: p or j?
j
Let x(z) = 141*z + 41. Let p be x(10). Let i = 14497/10 - p. Is 0 equal to i?
False
Let y = 7691/4 - 1934. Let k = 115/12 + y. Let l be (2 - -4) + -9 + 2. Which is greater: l or k?
l
Let t = -83 + 49. Let f = 31 + t. Let o(b) = b + 1. Let l be o(-3). Is l at least f?
True
Let p(d) = -7*d - 5. Let q(u) = -u. Suppose -v + 2 = v, -l + v = 7. Let w(y) = l*q(y) + p(y). Let s be w(-4). Is 1/26 at most as big as s?
False
Let b = 33 + -62. Let r = -30 - b. Which is greater: r or 1/2?
1/2
Let g = 39 + 6. Which is bigger: 0.1 or g?
g
Let k be ((-9)/12 - -1)*18/177. Which is bigger: k or 1?
1
Suppose 4*m - 5*m + 3 = -3*j, -2*j - 2 = m. Is m < 5/131?
True
Let b = 75 - 71. Suppose 3*t - 4*h - 77 = 0, -t + 0*t - b*h - 1 = 0. Is t less than 17?
False
Suppose 2*o + 5 = 3*m, -2*m - 34 = -2*o - 40. Which is smaller: -48/55 or m?
m
Let d = -20617/4 - -5097. Let n = -57 - d. Which is greater: n or 0?
n
Let z be 90/18*(-2)/5. Let p be (12/z)/2*10/(-30). Let j = -5936/23 + 258. Which is greater: p or j?
p
Suppose -2*l = -6*l. Let j be (2 - 0) + (-3 - l). Is -1/67 at most j?
False
Let z be ((-20)/50*16)/((-4)/10). Is 18 <= z?
False
Suppose u - 2 = -4*g, 2*u + g = -5 + 30. Let q = -39 + u. Which is smaller: -26 or q?
-26
Let t = -19 - -15. Let z be t/(-14) + 20/(-70). Let o = -1268 + 64666/51. Which is smaller: z or o?
o
Let g = -170 - -170. Is g != 3/92?
True
Suppose -7*l + 14*l + 217 = 0. Which is bigger: l or -32?
l
Let w = 2 - 4. Let t = -497/3 - -166. Which is greater: w or t?
t
Suppose 20*r - 12*r = 10*r. Which is smaller: -0.172 or r?
-0.172
Let a be -1 + 2/20 + (-216)/360. Is a less than or equal to 1.3?
True
Let l = 8.83 + -9. Let g = l - -0.17. Are 0.07 and g non-equal?
True
Suppose -1 = 2*w + 179. Is w > -90?
False
Suppose 0 = -u + 5*s + 31, -5*u - 3*s = -0*s - 15. Let q(g) = -2 - g + 0 + 5. Let b be q(-4). Is u less than b?
True
Let n be 1/3 + ((-76)/(-21))/(-4). Let i = 7 - -3. Let v = -11 + i. Which is smaller: n or v?
v
Let s = 2/1867 - -3548/173631. Are 1 and s nonequal?
True
Let o = 429157/52 - 8254. Which is smaller: 0 or o?
o
Let x = -0.183 + 0.583. Which is bigger: x or -1.5?
x
Let o = 0.38 + -1.88. Let m = -3 - -5. Which is greater: m or o?
m
Let h = 380696/31 - 12282. Which is bigger: h or -2?
h
Let m be ((-14)/3)/(2/(-6)). Let n be 18 + (5 - 16) - (0 + 2 - -4). Which is smaller: m or n?
n
Let z = 131.8 - 126.8. Which is bigger: 3/47 or z?
z
Let m(s) = -s - 4. Let n be m(0). Let x be n*((-3)/12)/1. Is 1/16 at most x?
True
Let w = -46 + 49. Suppose -5*n = w*a + 13, 0*a - 2*n + 2 = 3*a. Which is smaller: 1/5 or a?
1/5
Suppose -10*k - 6 = -12*k - 4*z, -2*k + 5*z = 21. Are k and 17 equal?
False
Let c = 0.0255 - 16.7855. Let u = c + 0.76. Are -0.3 and u unequal?
True
Let u be (-2)/((-205)/30 - -7). Are -29 and u unequal?
True
Let c = 0.16 + -0.17. Let f = c - -1.01. Let x(o) = -o**3 - 2*o**2 + 5*o + 4. Let v be x(-3). Is f less than v?
False
Let w = 26 + -248/9. Suppose -3*u + 11 - 2 = 0. Suppose 4*o + 2 = u*o. Which is smaller: w or o?
o
Let p be -50 - -40 - 78/(-8). Do -7/12 and p have the same value?
False
Let a = -5 - -3. Let t = 121 - 116. Is t less than or equal to a?
False
Let z = -147 - -154. Do z and 6 have the same value?
False
Let b be (-316)/(-168) + 6/21. Let m = -11/6 + b. Suppose 2*w + 7 = -5*v + 22, -2*v + 2*w = 8. Is m at least v?
False
Let w = 152 + -67. Let i = w - 84.94. Which is greater: -3 or i?
i
Let l(i) = 6*i**2 - 43*i + 6. Let v be l(7). Do v and 1/164 have the same value?
False
Let v = -391227/11 + 35519. Are -47 and v non-equal?
True
Let m = -6.08 + 1.08. Let g = -0.09 + -0.21. Do m and g have different values?
True
Let o = -2 + 4. Suppose 3*a = -3*p + 18, 2 - 6 = -o*p. Suppose 5*u = 4*h - 29, -1 = u - a*h + 8*h. Which is smaller: u or -6?
-6
Let y(w) = -w**3 + 4*w**2 + 14*w - 10. Let x be y(6). Which is smaller: 10/9 or x?
10/9
Suppose -3*o + 10*v - 19 = 6*v, -3*v = -5*o - 17. Do o and -2/529 have the same value?
False
Suppose 2*f - 3*o = -0*f + 23, 52 = 5*f - 2*o. Is f greater than 7?
True
Let w(q) = q - 1. Let h be w(-2). Let c be 6/h + (-56)/(-30). Is c at least as big as -1/6?
True
Let t be (285/70)/(8/(-196)). Is -100 at least as big as t?
False
Let x be 14/1*(4 + -2). Let j = 90 + -50. Let c = j - x. Is 12 >= c?
True
Suppose -2*j - 169 = -k + 533, 3*k = -4*j - 1414. Are -353 and j nonequal?
True
Let u(h) = h**3 - 4*h**2 + 2*h. Let k = 7 - 22. Let z be (-16)/(-5) - (-3)/k. Let g be u(z). Which is greater: g or -2?
-2
Let c = 85 - 119. Let s = c - -34.02. Is 2 smaller than s?
False
Let r be 5 - 7/((-14)/4). Let j be 4/(r/(42/(-20))). Let f = 0 - 1. Which is bigger: j or f?
f
Let b = 22 - 39. Suppose 0 = 5*r - 7*r - 30. Which is smaller: b or r?
b
Suppose m + 4*m - 937 = -3*q, 4*m = 2*q + 732. Let s = m + -731/4. Which is bigger: s or 0.1?
s
Let j = -13 + 17. Suppose j*o = 3*o + 9. Is o < 9?
False
Let s = -34214/5073 - -128/19. Is 2 greater than s?
True
Suppose 57*r - 700 = 43*r. Are r and 49 equal?
False
Let p be (1/(-6))/(4/(-16)). Let j = -2 + 2.6. Let v = -1.6 + j. Which is smaller: v or p?
v
Let j be 70/(-1) + (-110)/(-55). Is -71 > j?
False
Let s = 6 + -6. Suppose s = 8*d - 6*d - 26. Which is smaller: d or 11?
11
Let w = 12 + -357. Let p = 330.1 + w. Let g = 15 + p. Is g at most -2/3?
False
Let w = 688 - 4818/7. Which is bigger: w or -295?
w
Let l be (-150)/240*(-4)/(-1). Let m = -19 + 16. Are l and m nonequal?
True
Suppose 93 = -17*b - 94. Is b != 2?
True
Let n be (-48)/(-64) - (-1508)/(-2224). Which is greater: n or 0?
n
Let k = 48 + -57. Suppose 3*n + 1 = 16. Suppose -2*h + 3*h - t = -7, -t = n*h + 59. Is h not equal to k?
True
Let g be -121 + 124 + 20/(-6). Do g and 113 have the same value?
False
Suppose 4*m - 60 = -5*a, 3*a - 4*m - 68 = -0*m. Let i = a + -11. Suppose 2*t = -4*c - 0*c + 22, c = -2*t + 7. Is c at most as big as i?
True
Let x be (3 - 21/6)*(21 - -1). Suppose 4*v + 5*y + 98 = 0, 4*v + 0*y = -2*y - 92. Let h = v + 12. Which is bigger: h or x?
h
Let t = -217 - -171. Which is smaller: -332/7 or t?
-332/7
Let n be -10 - (-10 - 2296/(-49)). Do -46 and n have different values?
True
Let s(w) = -6*w + 40. Suppose -2*k + 16 = 3*h, -2*h + 4*h = -k + 10. Let u be s(h). Is u at least as big as 6?
True
Let r = -0.1 - -1.1. Let w = 1.2 + -8.1. Let l = w - -0.9. Is l bigger than r?
False
Let z be 6/2 - (1 + -2). Let u be ((-6)/8)/(1*z/(-48)). Let v(o) = -o**2 + 5*o + 6. Let d be v(6). Which is greater: u or d?
u
Let v = 14 - 30. Let h(o) = o**2 - 4*o - 91. Let m be h(11). Is m <= v?
False
Let h = 0.236 - 0.124. Let t = h + -0.012. Suppose 44 = -0*k + 2*k. Which is smaller: k or t?
t
Let x be 45 - (7 + 0 + -4). Let r = -25 + x. Is r > 17?
False
Let f be (-15)/45 + (-1)/(-3). Let g = -4899/7 + 701. Is g at least as big as f?
True
Let o(d) = d + 4. Let f be o(-2). Suppose b + 3 = f*u, -3*u + 15 = -2*b + 7. Which is smaller: -1 or b?
b
Let m(y) = y + 14. Let u 