ter: -2 or c?
c
Let b = 47 + -38. Let h be 1/((-2)/(-4) + b/(-6)). Let p be 4/10 + (-3)/3. Which is smaller: p or h?
h
Let k = 8.96 + -8.86. Are -311 and k non-equal?
True
Let y = -476 - -470.06. Let w = 6 + y. Let a = 0.94 + w. Is a bigger than -3/2?
True
Suppose -n - 64 = 10*h - 14*h, n - 2*h = -54. Are n and -40 equal?
False
Let n be (-5677)/1274 + (-4)/(-56). Is -5 greater than or equal to n?
False
Suppose -3*l + 5*d + 226 = 0, -3*d - d - 152 = -2*l. Let b = -1538 - -1610. Are l and b equal?
True
Let f be (-8)/(-14)*(-1918)/7124. Let k(a) = a + 1. Let h be k(-2). Which is greater: h or f?
f
Let g = -0.1 + 0.1. Let d = -82 - -76. Let h = d + 5. Which is greater: h or g?
g
Suppose 5*b = z - 51 - 39, b - 2 = 0. Suppose -4*w + 9*w - z = 0. Is w less than or equal to 18?
False
Let d(s) = -s**3 + 17*s**2 - 31*s + 17. Let l be d(15). Which is bigger: 57/17 or l?
57/17
Let s be (36/7)/(-1) + 6. Which is smaller: s or 1?
s
Let q be -3*1/(-3) + 4. Suppose -q*c + 8 = -5*z - 17, -4*z - 4 = -2*c. Is 7 > c?
False
Let v = -57.927 + -0.073. Let r = v + 46. Which is bigger: r or -1/3?
-1/3
Let r be (3001/2)/(182/(-49)). Let l = r - -404. Is l greater than 0?
True
Let p(l) = -3*l**2 - 12*l - 16. Let z be p(-2). Let s(b) = -2*b - 3. Let k be s(-3). Suppose f + 2 = -k. Which is smaller: z or f?
f
Let f be 18/8 + 3/(-12). Suppose -w = -1 + f. Let n be (-5 - -2) + (-16)/(-5). Is n greater than or equal to w?
True
Suppose 348 + 217 = -5*q. Let y = q + 461/4. Which is greater: 1 or y?
y
Let m(b) = 2*b**2 - 7*b - 2. Let p be m(4). Suppose -p*h = -18*h - 16. Are h and 4/77 non-equal?
True
Let u be 2/(20/38) - 14/(-70). Suppose 6*a = 4*a - u. Is -2 smaller than a?
False
Let x(h) = -28*h - 11. Let i be x(-1). Which is greater: i or 22?
22
Let z = 17/33 + 95/264. Suppose -2*p + 6*p + 16 = -5*m, -5*m - 3*p - 12 = 0. Let h be (-2 - m)/(2 + -4). Are h and z equal?
False
Let c be -2 + 3 + 27 + -1. Let v = -43 - c. Let m be (1/3)/(v/15). Do -1 and m have the same value?
False
Suppose 6 = -k - 7. Which is smaller: 4 or k?
k
Let x = -3.15 - -3.4. Let i = -0.15 + x. Is i smaller than 7/5?
True
Let g = -0.047 + 75.047. Let u = 70 - g. Is -0.8 greater than or equal to u?
True
Let v be (-40)/18 - (-130)/585. Let c(r) = r**2 - 5*r - 10. Let k be c(7). Let i be k/(-6)*12/10. Which is smaller: i or v?
v
Let c be 0 - 3/(117/6). Let z(a) be the third derivative of -a**4/24 - a**3/2 + 9*a**2. Let t be z(-3). Is c at least as big as t?
False
Let w be (5/5)/((-2)/(-6)) + 3. Let s be (32/(-18))/(w/9). Let p = 3 - 6. Which is smaller: s or p?
p
Let a be (3828/(-220))/((-3)/20). Is a less than or equal to 113?
False
Let y = 0.71 + 37.29. Let q = y - 37. Is q >= -17?
True
Suppose 0 = 5*n + 3*b - b + 127, 4*n + 104 = -b. Let i = n - -14. Does -11 = i?
False
Let b be 8/(-2) - (-550)/75. Suppose a - 2*f + 6 - 3 = 0, 31 = 3*a + 4*f. Let o = -3 + a. Which is smaller: o or b?
o
Suppose -17*z + 5675 = -1193. Which is smaller: 403 or z?
403
Let n = 14.72 + 0.28. Let z = n + -14.4. Let i = 6 + -5.9. Which is smaller: z or i?
i
Let h be (-111)/(-45) - 1/1. Let i = -8/5 + h. Let x(y) = y. Let c be x(-1). Which is smaller: i or c?
c
Let o be (-336)/280 + 531/430. Is 0 smaller than o?
True
Let f be 204/14 - (-98)/98. Is f < 17?
True
Let r = 0 - 0.1. Suppose -2*k = 6*k - 648. Let b = 86 - k. Is r != b?
True
Suppose -3*s + 5*r + 20 = 0, 3*s - 16 = -s + 4*r. Suppose -f + 1 = -3. Let p be (f - 12/4)/1. Which is greater: s or p?
p
Let s be (-2)/((-12)/(-2)) + (-16)/(-3). Suppose 24 = -2*x - 3*i, i + 21 - s = -2*x. Which is greater: x or -11/2?
-11/2
Suppose 684*c - 1696 = 652*c. Let i = 2 - 3. Is c at least as big as i?
True
Suppose 25*z - 22*z = -5*v - 41, 4*v = -5*z - 51. Is z at least -11?
True
Let y(w) = -3*w**3 - 7*w**2 + w. Let v be y(-3). Are -15 and v equal?
False
Suppose -12*u + 19 - 7 = 0. Suppose -3 = -4*p - j, -8*j = -4*p - 3*j - 15. Let r = u + p. Which is smaller: r or 7/4?
r
Let l = 260.6 - 260.7. Which is bigger: -1589 or l?
l
Suppose 32 + 31 = 3*u. Which is greater: u or 43/2?
43/2
Let t = -51 - -36. Let r = -17.4 - -3.4. Let h = r - t. Is -1/4 greater than h?
False
Let b be (-1)/(-6)*-2 + 137/(-273). Let u = b + 9/13. Are u and -0.1 unequal?
True
Suppose 3*d - w - 47 = 0, 5*w = 4*d - 50 - 20. Which is smaller: 46/3 or d?
d
Let u = 134.31 - 135. Let j = u - 0.31. Let r = -1.3 + -8.7. Is r equal to j?
False
Let d be (-10 - 468/(-48))*8/7. Let a = -1 + 1. Suppose -j = -4*j + l - 3, a = j - 2*l + 1. Which is smaller: d or j?
j
Let p = -0.191 - -0.15. Let c = -25.959 + p. Let d = c - -27. Is d smaller than -1/4?
False
Let b = -114/97 + 19431/16781. Which is smaller: 1 or b?
b
Let b be (-1 + 7/1)/(534/8). Is b less than -1?
False
Let k be 246675/(-3172) + (1*-2)/(-8). Let h = k - -155/2. Is 1 at most h?
False
Let k = -222 - -222. Is k > -1039?
True
Let w = 147 + -129. Is w at least 37/2?
False
Let n = 4 - -1. Let i = 7 - n. Suppose i*f + 20 = -14. Is f smaller than -18?
False
Let l(b) = 2*b**3 - b**3 + 6*b**2 - 2*b**2 - 5 + 4*b. Let h be l(-4). Let r be (-1)/3 + (-19)/h. Which is smaller: r or 2?
r
Let n be (-3840)/13195 - -2*(-7)/(-49). Is -1 > n?
False
Let y = -53.976 - -54. Let l = y + 0.046. Is 2 at least as big as l?
True
Let g = -0.3 - -0.4. Let w(h) = -6*h + 41. Let o(x) = -x + 8. Let b(r) = 11*o(r) - 2*w(r). Let z be b(-3). Which is smaller: z or g?
g
Let h(t) = -t - 3. Let d be h(-1). Let x be (0/3)/(1 + d). Which is bigger: 2/61 or x?
2/61
Let t(w) = 20*w**2 + 2*w - 2. Let g be (-35)/(-25) - (-1)/(-10)*4. Let o be t(g). Which is bigger: o or -0.2?
o
Let u(k) = -9*k - 31. Let b be u(-7). Which is smaller: b or 156/5?
156/5
Let a = -0.35 + 0.334. Let w = -0.016 - a. Which is bigger: -12 or w?
w
Let w = -160.9 + 161. Suppose -1 = -t + h, 4*h - h + 1 = 4*t. Let o be -1 - t - 18/10. Does w = o?
False
Let a(j) = j**3 + 8. Suppose -6*x = -5*x. Let z be a(x). Let s be (-2)/z - 6/8. Is -3/4 less than s?
False
Let b(l) = 13*l - 70. Let t be b(5). Suppose 3*v - 130 = 4*h + 207, -4*v = h + 89. Let p be t/(150/h) + -3. Is p smaller than 0?
True
Let c be 2/(-8) + ((-1419)/4)/(-11). Let p be 47/15 + 2 + c/(-15). Does p = 22?
False
Let o = 88.7 + -78.7. Is -82 smaller than o?
True
Let b(y) = -y**3 + 24*y**2 - 33*y + 2. Let n be b(23). Which is greater: n or -229?
n
Suppose -5*l + 7*l = 5*q - 48, 0 = -3*l - 2*q - 34. Suppose 2*j + 23 = 97. Let r = 22 - j. Is r not equal to l?
True
Let y = -300 - -303.54. Is y > -1?
True
Let i = 1 + -10. Let p be -1 + ((-23)/i - 2). Let h = 7/9 + p. Are h and 4 unequal?
True
Let g be ((-22)/6*1)/(23/207). Let q = -43 - g. Is -12 greater than or equal to q?
False
Let u = -36 + 116. Let k = 147 - 67. Are u and k nonequal?
False
Let j = 2373 - 2374. Let m be (-2)/(1/17*-2). Let q be m/36 - (-6)/(-27). Which is greater: j or q?
q
Let r be 10/(-15)*(-6)/7. Let c(z) be the third derivative of -z**5/60 + 2*z**4/3 - 5*z**3/2 - z**2. Let u be c(15). Which is greater: r or u?
r
Let i be 2 + (-62)/64 - 1. Let o = -55 - -55. Suppose 0 = -10*y - o - 0. Which is smaller: i or y?
y
Let z = -33 - -32.991. Let l = 0.209 + z. Which is greater: -1.1 or l?
l
Let g = 206 - 205.5. Which is greater: 0.07 or g?
g
Let q(h) = h - 10. Suppose 5*m + 62 = -4*n, 3*m - 7*m = 2*n + 28. Let f = 29 + n. Let j be q(f). Which is smaller: j or -3/11?
-3/11
Let v(x) = -x**3 - 6*x**2 - 5*x + 3. Let u be v(-5). Suppose -1 = -2*l + 3*l, -2*i + u*l - 45 = 0. Let z be (-4)/(-12) + 14/i. Is z greater than or equal to -1?
True
Let z(v) = v**3 - 19*v**2 - 21*v + 19. Let w be z(20). Which is smaller: w or 1/163?
w
Let h = 15 + -14.94. Let w = h - 0.16. Let q(i) = i**3 + 13*i**2 - 15*i - 14. Let n be q(-14). Which is greater: n or w?
n
Let t(d) = d**3 - 7*d**2 + 4*d + 2. Let u be t(6). Let n = u - -14. Suppose -2*p + p + n = 0. Is 4 <= p?
True
Let v be (-66)/(-44)*(-1)/6. Which is smaller: -47/5 or v?
-47/5
Suppose 0*f + 196 = -7*f. Let t = -29 - f. Is t >= -3?
True
Suppose 0*m = -10*m + 400. Let r = 24 - m. Is -14 smaller than r?
False
Let f = -10 + 13. Suppose -3*g + 8*g = 4*w + 10, w + 4*g - 8 = 0. Suppose -f*m + 6 - 21 = w. Is m less than -4?
True
Let x = -622 + 621. Which is smaller: -17/7 or x?
-17/7
Let g(z) = z**3 - 7*z**2 + 3*z + 3. Let h be g(4). Let a(f) = 32*f**3 - 2*f**2 + f + 1. Let x be a(-1). Whic