be 0 - (-2 + g/(-2)). Do -3 and z have the same value?
False
Let y = -39 + 22. Let x = 18 + y. Which is greater: -1 or x?
x
Let c = -21.075 + 0.075. Let t = c - -21.1. Let a = -0.7 + 0.85. Is a at least as big as t?
True
Let z(y) = y**2 - 17*y - 1. Let n be (7/(-2))/(11/(-44)). Let s be z(n). Which is bigger: s or -42?
-42
Let i(h) = h**2 - 4*h - 1. Let y(g) = 2*g + 14. Let m be y(-6). Let o be i(m). Let v(f) = 3*f + 3. Let p be v(-2). Are p and o equal?
False
Let c(n) = 185*n - 212. Let d be c(5). Which is smaller: d or 714?
d
Let m(i) = i - 1. Let z be m(3). Suppose -y = 5*d - z - 4, 0 = -2*y - 4*d. Let a be (-2)/(-12)*(-41 - -41). Is y less than a?
True
Let f = 1/31953 + 14251031/223671. Let k = -64 + f. Is k != 27?
True
Let n = -211 + 212.65. Let a = n + -1.71. Let u = 0.1 - -0.1. Which is greater: u or a?
u
Let d(p) = -2*p**2 - 6*p. Let b be d(-3). Let q = 96 + -284/3. Is q < b?
False
Let h = 255/116 + 1/580. Which is smaller: h or 1?
1
Let y be 2*((1 - 2) + 2). Suppose 0*q = -2*q + y. Let j be (-65)/65*(-1)/5. Is q equal to j?
False
Let y be 873300/(-1599) - (-4)/26. Is y <= -547?
False
Let z = 45 - 43. Suppose 3*o - 3*o = z*o. Which is bigger: 17 or o?
17
Suppose -3*o + 0*o = 7*o. Is -1/407 != o?
True
Suppose 0*u - 440 = 2*u + 4*j, -u = -5*j + 192. Which is smaller: u or -208?
u
Let p be ((-4)/7)/(8/(-28)). Let z(o) = -o**3 - 9*o**2 - 10*o - 8. Let v be z(-8). Let g be ((-9)/(-66))/(1/v). Is g at least p?
False
Suppose -d - 2*d - 4*q = 7, 0 = 3*d + 2*q + 5. Let k be 16/(0 + 1) - 2*2. Let w be (4 + 1)*(k/(-35) + 0). Is w != d?
True
Suppose -2*h = -0*h. Let g = 125999/18 + -6981. Let a = 19 - g. Which is greater: h or a?
a
Suppose -4*h = -2*b - 24, 0 = -15*h + 12*h - 3*b. Which is smaller: h or -8/11?
-8/11
Let u be (-1)/(-1 + 0)*18. Let v = u + -12. Suppose 0 = 2*i + v. Which is smaller: -4 or i?
-4
Suppose 30 = 4*t + t. Suppose -3*s - 8 = -5*s. Is s equal to t?
False
Let d(f) = -2*f + 8. Let c be d(-11). Let g = 16 - c. Suppose -11*u = -7*u + 56. Are g and u nonequal?
False
Suppose -137 = s - 2*x, 31 = -3*s - 4*x - 400. Let r = 80 + s. Do r and -62 have the same value?
False
Suppose -5*a - 2 = -2*v - 12, 3*v = -15. Let m = 0.408 + -0.44. Which is smaller: a or m?
m
Let s = -3.1 + 2.8. Let i = -0.86 + 0.8. Let v = 2.94 - i. Which is smaller: v or s?
s
Let n be ((-11)/(-4))/((-4)/16). Let t = 14 + n. Suppose t*z + 1 = -44. Which is smaller: z or -14?
z
Suppose -2*x - 8 = -0. Let d(h) = -21*h + 4*h - 5 + 13*h + 3*h. Let z be d(x). Which is smaller: z or -1/6?
z
Let f(l) = l**3 - 15*l**2 - 31*l - 56. Let o be f(17). Which is greater: 6 or o?
6
Let p be 219*(-7)/1092 + 8/52. Let w = -0.3 + -0.2. Which is greater: w or p?
w
Suppose -4 = 2*l - 2*g, 4*g - 8*g = -4. Are 1/357 and l nonequal?
True
Let j = -5699 + 5698.9. Let s = 124.094 + -0.094. Which is smaller: s or j?
j
Let n = -348 + 4177/12. Let b = -6 + 6.9. Let p = b - 1. Is n less than or equal to p?
False
Let s(q) be the first derivative of q**4/2 - 5*q**3/3 - 2*q**2 + 3*q + 4. Let u be s(4). Let n = u + -107/3. Which is greater: -2 or n?
n
Let p(i) = -7*i + 103. Let k be p(9). Suppose 3*q - 30 = -2*q. Suppose k = q*d - d. Is -2/5 != d?
True
Let h be (10/147)/((-42)/(-36)). Is h < 1?
True
Let q(g) = g + 31. Let d(p) = -p**3 - 5*p**2 - p + 5. Let c be d(-4). Let z be q(c). Is 25 at least as big as z?
True
Let u = -1280 - -1279. Is 3/11 != u?
True
Let h = -12/7 + 50/21. Is h at least as big as 4/53?
True
Let t = 5 + -8. Let m = 14 + -11. Suppose 2*d + 16 = m*l, -2*l = 3*d + d + 16. Which is smaller: d or t?
d
Let f = -14 - -16. Suppose 86 = -f*t + 28. Is t at most -29?
True
Let z = 93536/180495 - -2/6685. Let f = z + -520/1107. Which is bigger: -1 or f?
f
Let k = 86/33 - -1873/231. Which is smaller: 12 or k?
k
Suppose z - 7 = -0*z. Suppose -d = -5*n - 0 - 11, 0 = d - 4*n - z. Is -10 less than d?
True
Let n = 3.32 - 0.42. Let t = n + -2.8. Let p = 67 + -339/5. Is p >= t?
False
Let x(i) = i**3 - 19*i + 13. Let h be x(-5). Let r = -0.2 + 0.3. Which is greater: r or h?
r
Suppose n - 3*d - 24 - 12 = 0, 20 = -5*d. Let p = n - 26. Let j = -1 - p. Which is smaller: j or -1?
-1
Suppose 3*i + 894 = -3*q, -16*i - 306 = -15*i + 3*q. Which is greater: 2/5 or i?
2/5
Suppose 2*b - 3*p = -41, 7 + 10 = -2*b - 5*p. Let c = 18 + -32. Which is greater: b or c?
c
Let f = 3541 + -1543875/436. Let i = f - -1735/3924. Let y = -41/72 + i. Which is bigger: y or 1?
1
Let h(g) = -g - 24. Let t be (-4)/(-12) + 52/(-6)*-1. Let j be h(t). Is -33 at most j?
True
Let h = -43.32 + 0.32. Let f = 45 + h. Is -2/15 >= f?
False
Let l(g) = g - 13 + g - g. Let v be l(14). Let t be (-3)/7 + (-4)/(-12). Which is smaller: t or v?
t
Let t be 3*(-3)/9*-7. Suppose 2 = -t*d + 9*d - 3*m, 1 = d - 4*m. Which is smaller: d or -5/28?
-5/28
Let c = -0.76 + -12.64. Let v = -13.5 - c. Which is smaller: 14 or v?
v
Let u = 38.05 - -0.95. Let w = -39 + u. Let l = 0.2 - 0.1. Is w equal to l?
False
Suppose -11*y = -8*y. Let x(v) = -v**3 + v**2 + 7. Let s be x(y). Let j be (-2)/s - (-24)/(-210). Is j not equal to -10?
True
Suppose 379 = 2*w - 3553. Let u be (-3 + w/654)*-3. Is -1 greater than u?
False
Let d = -96 - -97. Let z be ((-9)/(-27))/(d/(-27)). Is -9 > z?
False
Suppose 0 = -5*w + 5*t - 25, -9 = -12*w + 9*w - 3*t. Let m = 321443645483/15372 - 20910984. Let j = 1/252 + m. Which is bigger: j or w?
j
Let k be 3 - -2*(-3172)/8. Let v be (-4 - (-60)/14) + k/2275. Is -1 equal to v?
False
Let i = -212 + 146. Let r = -66.04 - i. Are -1/4 and r non-equal?
True
Let g = 2 + -103. Let i = g - -63. Let h be 0 - i/(-12) - -3. Is 0 smaller than h?
False
Let w be 24/16*4/3. Suppose -w*c = 3*d + 29, -c + d + 8 = -2*d. Do -6 and c have the same value?
False
Let s = 9 + -1. Let u(m) = m**2 + 4*m + 2. Let q be u(-6). Suppose 8*a = 6*a + q. Which is smaller: s or a?
a
Let f(n) be the first derivative of n**2/2 - n - 2. Let t(j) = -24*j - 74. Let d be t(-3). Let z be f(d). Is -11/6 at most z?
False
Suppose -5*u + 3*t - 25 = 0, -2*u - 5*t - 10 = -0*u. Suppose -1 - 24 = o + 5*l, 18 = -3*o + 4*l. Is u at most as big as o?
False
Let i(f) = f**2 - f + 24. Let g be i(0). Suppose -g = 2*b - 22. Which is greater: 3/4 or b?
3/4
Suppose -9*x = x + 50. Let a be -3 - (-1)/(-1)*x. Is 2.6 greater than or equal to a?
True
Let g = -3.6 - -1.1. Let n be 3/(-4)*252/189. Is n <= g?
False
Let q = -15 + 15. Suppose -w - 9 + 13 = q. Suppose w*m + 6 = -6. Which is greater: -16/7 or m?
-16/7
Let c = -2/141 - 268/987. Is -4.79 greater than or equal to c?
False
Let k = -18.091 + 0.091. Is k > -1/5?
False
Let o = 6 - 19. Let x be 162/(-12) - (-1)/2. Is o at most as big as x?
True
Let t = 1/101 + 2521/404. Which is greater: 5 or t?
t
Let l = 1.01 - 1.28. Let s = l + 1.27. Which is smaller: -1/22 or s?
-1/22
Let c be 170/92 + -15*(-18)/(-180). Let k = -2 - -3. Which is greater: k or c?
k
Let d = -0.005 - -2.495. Which is smaller: 1 or d?
1
Let x be ((-6)/(-25))/(308/(-110)). Which is greater: 23 or x?
23
Suppose -1136 = 8*c + 848. Which is smaller: -247 or c?
c
Let w = -101 + 507/5. Which is greater: w or -164?
w
Let w be -1 + 1 - -3 - 242. Let v = w - -1441/6. Let b = -30 + 32. Which is smaller: v or b?
v
Let p = 1356 - 1407. Which is greater: p or -205/4?
p
Suppose 8*p - 1915 = -1147. Which is greater: 97 or p?
97
Let h = 11 + -3. Suppose 5*f - h*f = -6. Let i be (f - 3)*(0 - -1). Is i less than or equal to -2/19?
True
Let a = 1214 + -1213.7. Is a > 183?
False
Suppose 3*y + 5*o = -10, -4*o + 0 = -3*y + 8. Let w = 35 - 179/5. Is w at least y?
False
Let a be 1 - -2*2/(-4). Let r = 131 + -122. Which is greater: r or a?
r
Let m be (-4)/63 + 11*(-6)/(-231). Which is smaller: 8/19 or m?
m
Suppose 0 = -2*f + 4*g - 2*g + 160, -g + 300 = 4*f. Let o be f/(5 - 4) + 1. Is 76 smaller than o?
True
Let k(m) = m**3 - 4*m**2 + 2*m - 39. Let x be k(5). Are x and 3 equal?
False
Let n be (-8409)/(-1683) - 40/8. Which is smaller: 1 or n?
n
Suppose 226 - 61 = 5*p. Let n be (-7)/(21/(-6)) - p/18. Which is smaller: n or 14?
n
Let u(a) = a**2 - 5*a - 12. Let g be u(9). Suppose g = 4*x + 2*x. Let y be x/((-4)/((-4)/7)). Is y <= 0?
False
Let h be 8 + 27/((-3672)/(-320)). Which is smaller: h or 10?
10
Let y(g) = g + 103. Let k be y(-1). Which is greater: 103 or k?
103
Let l = -1 + 0.9. Let k be (12/(-8))/((-6)/16