as 22?
True
Suppose 0 = 2*l - 3 - 13. Suppose -2*v = -0*v + l. Let z be (-3)/(-4)*v/(-6). Which is greater: 1 or z?
1
Let k be (-6 - -3)/(9/51*-1). Suppose -k = -4*f + 11. Which is bigger: f or 1/5?
f
Let j(m) = -2*m**3 + m**2 + 1. Let f = 40 + -38. Let a be j(f). Is a less than or equal to -10?
True
Let w = -56/33 - 103/231. Let s = w + 33/14. Suppose -2*f + 3*d + 3 + 5 = 0, -4*f - 2*d = 0. Does f = s?
False
Let k be (-1 - 0)/(2/(-7)). Let y be (10 + (-17 - -6))*10/(-2). Is y equal to k?
False
Suppose -2*p + 72 + 240 = 0. Suppose -3*z + 4*y = -66 - p, 0 = 3*y. Is 73 at least as big as z?
False
Let o = -57.21 + -0.79. Let a = o - -58.3. Is a > -1.7?
True
Let o = 33 - 36. Is o < -20/7?
True
Let g = 1 + 0. Let o = -254/11 - -6284/275. Is o not equal to g?
True
Let h = 35 - 44. Let a = -9.9 - h. Is a less than -1/3?
True
Let f be (2/6 - (-77)/21) + 343. Which is greater: f or -2?
f
Let m = 1.8 - 2. Let u = 0.1 + m. Let o be ((-16)/92)/(-2)*(-2)/2. Is u equal to o?
False
Let v = 47 - 99. Let i = -53 - v. Which is smaller: 3 or i?
i
Suppose 5*k - u + 6 = -11, -2*u = 3*k + 5. Is k >= -2?
False
Suppose 2 - 33 = -3*t - 5*r, 2*r - 10 = 0. Suppose -3*b + 2*w + 10 = -9, -w = t*b - 1. Do -13 and b have different values?
True
Let x be (-63)/(-134) + (-2)/4. Suppose 2*j + 5*w + 20 = 0, 5*j - 25*w = -22*w + 12. Are x and j equal?
False
Suppose -b = -5*j + 14, 5*b - 2*j = -4*j + 38. Let v be 188/(-264) - (-4)/b. Which is smaller: 1 or v?
v
Let m be (160/12)/(-5)*12/(-1). Let j be (-4)/m*-4*58. Is j < 28?
False
Let k = 12/13 - 37/26. Suppose 20 = 5*x - 5*p, 0 = p + 3*p + 16. Suppose 2 = -2*o - x*o. Which is bigger: k or o?
k
Let i = -17 - -16.88. Let o = 0.32 + -0.4. Let p = o + i. Is p at most as big as -0.04?
True
Let d = -567 - -567.1. Let l = 37 - 61. Is d less than l?
False
Let b be 2/(0 - -1) + 2. Suppose -3 + 27 = -b*r. Suppose -q + 18 = -4*q. Is r at most q?
True
Let j(q) = -q**3 - 8*q**2 - 3*q + 13. Let n be j(-8). Let y = n + -37. Which is smaller: y or -2/31?
-2/31
Suppose -2 = 4*z + 2. Suppose 2*w = 7*w. Is w bigger than z?
True
Suppose 0 = 13*d - 11*d - 246. Let k = d + -131. Which is smaller: k or -13?
-13
Let r = -602 - -4215/7. Is r greater than or equal to 68?
False
Let h = 14626645/69924372 + 2/356757. Let l = h - -2/49. Let b = -3.005 - -0.005. Is b at most as big as l?
True
Suppose x = 2*x - b + 346, x + 5*b + 376 = 0. Let n be x/(-1008) - (-4)/(-14). Which is bigger: n or 1?
1
Let o = 65 - 64.93. Let c = -10.93 - o. Are -1 and c nonequal?
True
Let w(g) = -g**2 + 9*g - 9. Let m be w(9). Let i(a) = -a**3 - 10*a**2 - 8*a + 8. Let v be i(m). Which is smaller: -3/5 or v?
v
Suppose 260 = -0*s + 5*s. Let y = 16 - s. Let q = y - -106/3. Are -0.2 and q nonequal?
True
Let d be 4 + 4520/(-568) + 8/2. Which is bigger: 1/3 or d?
1/3
Suppose t = 5*i + 88, -47*t = -43*t - 3*i - 318. Is t bigger than 77?
True
Let v = -107 + 240. Let z be 54/224 + (-57)/v. Is z smaller than 1?
True
Let v = 0.07 + -1.77. Is -1 at most as big as v?
False
Suppose -5 = -5*f + 3*g, -3*f - 3 = -3*g - 6. Let z = 19 + -7. Suppose 0 = -2*n + 4*n - z. Which is smaller: f or n?
f
Let w(l) = 116*l - 15. Let y be w(-2). Is y bigger than -246?
False
Let g(y) be the third derivative of -y**5/60 + y**4/4 - y**3/6 + 10*y**2. Let u be g(6). Let f be u/(-3)*(-39)/26. Is 2/29 less than or equal to f?
False
Let s = -4 - 8. Let v = -9295 - -9282. Which is greater: s or v?
s
Let x = -65 + 67. Let c be 4/(-18) - (-2)/18. Is c equal to x?
False
Let r = -47.9 - -50. Let w = r - 2.5. Let q = -0.4 - w. Do 0.3 and q have different values?
True
Let i(l) = 4*l - 12. Let b be i(4). Let q be 0/3 + b + -3. Is q less than or equal to 2/89?
False
Let r = 2 - 1.95. Let i = -2.411 - -2.611. Which is bigger: r or i?
i
Let b = 3965770/329 - 12054. Which is smaller: b or -1?
-1
Let n(o) = 4*o - 67. Let v be n(-23). Let r = v + 91. Which is bigger: -69 or r?
r
Let t(b) = -b**3 + b**2 + b + 2. Let z be t(2). Let j be (-1*9)/3 + z + 3. Is j not equal to -4/7?
True
Suppose 0*r - 4*r = -60. Suppose -r = -2*d - d, 5*l - d + 10 = 0. Let k = 664 - 663. Which is smaller: l or k?
l
Let i(m) be the third derivative of m**7/5040 - m**6/180 + 3*m**5/20 + m**2. Let v(t) be the third derivative of i(t). Let y be v(2). Is y smaller than 11?
True
Let y(z) = -11*z - 7. Let q be y(-1). Is q less than 3?
False
Let t = 52 - -100. Let f be t/(-36) + (-2)/(-9). Let b be (-16)/(-6)*(f + 1). Does b = 0?
False
Let j(k) = -2*k - 15. Let q(f) = -f - 7. Let w(y) = -3*j(y) + 7*q(y). Let t be w(-4). Is t bigger than 8/17?
False
Let h be 6*2*11/16. Let v(j) = -j**2 + 7*j - 4. Let b be v(4). Which is greater: b or h?
h
Let t = -0.53 - -0.63. Let l(i) be the first derivative of i**4/4 - 4*i**3/3 - 2*i**2 - 2*i + 5. Let o be l(5). Which is smaller: o or t?
t
Let v = 66911/8 + -8343. Which is smaller: 20 or v?
20
Let x = -9.9 + 16.6. Let s = x + 1.3. Let u = -0.24 + 0.14. Which is smaller: s or u?
u
Let c be 36/(-22) + (-27)/((-189)/14). Let b be (-1)/2 + (-3)/(-2). Which is smaller: b or c?
c
Let w = 1/207 + -10771/1449. Let b = 274/35 + w. Is b >= -1?
True
Let l = 0.34 + -0.7. Let g = 39 - 37.94. Let p = g + l. Do p and 1/2 have the same value?
False
Let m = 256 + -1788/7. Let v = -46 - -47. Which is smaller: v or m?
m
Let s = 5730 - 1403848/245. Let h = -1432/4655 - s. Which is greater: h or 0?
0
Let k = -5 - 0. Let o = -2 - k. Let v be 2*((-55)/10)/(-11). Which is greater: v or o?
o
Let l be ((-2150)/(-129))/((-2)/(-3)). Is 28 greater than l?
True
Let r = 25283/33 - 2293/3. Which is smaller: r or 2/89?
2/89
Let t = 7.98 - 12.98. Let c(k) = k**2 + 7*k - 2. Let o be c(-7). Which is smaller: t or o?
t
Let g = 301 + -13. Which is smaller: 0 or g?
0
Let q = 10 + -11. Let r be (-4 + q)*6/(-15). Let p be r/11 + (-104)/88. Is p < -5/6?
True
Let y = -138 - 421. Which is greater: y or -560?
y
Let u = -11.59 + -2.71. Let n = -12.3 - u. Is -1/8 greater than or equal to n?
False
Let h be (-1 - -1) + (-5)/(-2). Let o be (-2)/(-10) + (-285)/(-75). Are o and h nonequal?
True
Let j = 9 - 9. Suppose -4*q + 9 = -q, 2*f - 5*q + 27 = j. Let m be 0 - (3 - (-3 - f)). Do m and -9 have different values?
True
Let u be (-5)/(10/4)*-3. Let p be (0 + 18)*((-21)/u)/(-7). Which is greater: 5 or p?
p
Let t = -55 - -101. Let b = t + -46.1. Which is smaller: -0.3 or b?
-0.3
Let t(j) = j**2 - 16*j + 15. Let o be t(15). Let u = 2 - o. Let q = 189/2 - 92. Which is greater: q or u?
q
Let a(n) = -n**2 - 8*n - 9. Let x be a(-7). Suppose -3 = t - 5. Suppose 6*f - t*f = 0. Do f and x have different values?
True
Let z = 0.07 + -0.37. Let w = z - -0.29. Let p = -0.02 + w. Is p not equal to -0.1?
True
Let m = -11 + 15. Are m and 115 non-equal?
True
Suppose -j = 4*j + 80. Let z = 25 + j. Let f be 43/z + 10/45. Which is smaller: f or 6?
f
Let i be 18/(-4)*24/(-18). Let l(r) = -r**3 + 7*r**2 - 4*r. Let t be l(i). Let z(n) = 11*n**2 + 4*n + 3. Let j be z(-1). Does j = t?
False
Let s = 5 + -5. Let h = 434/9 + -48. Which is smaller: h or s?
s
Let a(w) = 8*w**2 + 2*w + 58. Let q(z) = 3*z**2 + z + 29. Let l(t) = -2*a(t) + 5*q(t). Let m be l(-5). Which is greater: -1/4 or m?
-1/4
Let j(c) = 3 + c**3 + 2*c - 8*c**2 + 10*c - 9*c**2 + c. Let y be j(15). Let i be (-3)/(-4)*24/y. Which is smaller: i or 1?
i
Let a = -168/11 - -2162/143. Let p = -2.3 - -2.3. Which is smaller: a or p?
a
Let m be 1 + (-51)/(-15) + 4/(-10). Let v be -1 + -2 - 28/(-5). Is m >= v?
True
Let b be (-160)/(-9) + (-4)/(-18). Suppose -18 = -3*l + b. Let s be (-8)/5*(l + -7). Are s and -8 non-equal?
False
Let b = -17 + 25. Suppose 7*j - b = 6. Is 9 <= j?
False
Let j be (-5 - -1)/(-4)*-1. Is -2/655 at most j?
False
Let c be 2*(9 - (-1 - -54)). Are c and -90 nonequal?
True
Let j(v) = -2*v + 12. Let b be j(0). Suppose 0 = -2*c - 11*c + 143. Which is bigger: c or b?
b
Let i = 38 - 14. Let u(a) = -2*a**3 - a**2 + 1. Let y be u(-2). Suppose y*d = 10*d - i. Is 1 >= d?
True
Let k = 25/143 + -74/6149. Which is greater: -1 or k?
k
Let n(o) = o**3 + 4*o**2 - o - 4. Let i be n(-4). Suppose -3*s + 4*s = i. Is -1/108 at least s?
False
Let x = -1141 - -1133. Which is greater: x or 29?
29
Let g(u) = -u**3 - 12*u**2 - 9*u + 23. Let d be g(-11). Let c = 7961/62 + -3870/31. Let z = c - 2/31. Is z bigger than d?
True
Let n = -88.056 - -88. Let s =