. Is -1 at most as big as f?
True
Let l = 30 + -18.7. Let r = 6.3 - l. Is -2 < r?
False
Let b = -621 + 622. Is b less than -12/43?
False
Let u be (((-21)/4)/7)/(6/17). Does -3 = u?
False
Let x = -18.3 + 2.3. Let r = x + 16.09. Let z = 0.13 - r. Do z and -1/4 have the same value?
False
Let y be 1/6 - 1*71/42. Is y >= -1?
False
Suppose 0 = 5*l - 55 - 15. Let t = l + -10. Suppose -k - t = k. Which is bigger: k or -3/4?
-3/4
Let l(a) = -a**3 - 10*a**2 - 17*a - 35. Let z be l(-5). Is z at least -70?
False
Let o = 11 - 12. Is 1 less than o?
False
Let z(k) = -2*k**3 - 3*k - 1. Let n(j) = j**3 + j - 1. Let r(q) = n(q) + z(q). Let x be r(-1). Suppose 3*a + 2 = 2*a. Is x smaller than a?
False
Let v be 134/17 - (-28)/238. Let r be 3*(v/12 + -1). Let t = 0 - r. Is 1/11 bigger than t?
False
Let m = 14 - 15. Let c be m + 18/2 + -3. Let h be c*3/(-20)*-4. Which is bigger: 4 or h?
4
Let v = -3277 + 3276. Is v smaller than 3/272?
True
Suppose c - p + 50 = 0, -3*c + 8*p - 130 = 10*p. Which is bigger: c or -45?
-45
Let h be 68070/27252*(-4)/(-10) - 1. Which is smaller: -1 or h?
-1
Suppose 0 = 6*u + 451 - 457. Which is smaller: -24/53 or u?
-24/53
Let k be 5/2*116/(-1305). Are 96 and k unequal?
True
Suppose -j = -6*j - 690. Which is bigger: j or -137?
-137
Let y be (-380)/(-1 + 3) + (-2 - -8). Is y bigger than -186?
True
Suppose -t - 2*l - 67 = 0, -2*t - 109 = -5*l + 43. Is -71 != t?
False
Let i = -59 + 59. Which is bigger: 1/69 or i?
1/69
Let b(n) = -n**3 + n**2 - 4*n + 5. Let k be b(0). Suppose -35 = -6*w + w. Which is bigger: k or w?
w
Let o = 36.452 + -36.3. Is -2/3 at least o?
False
Let q = -190 - -25272/133. Which is bigger: q or -1/9?
q
Let c = 0.66 + -1.56. Let g = 0.22 - 0.3. Let l = g + -0.02. Which is smaller: c or l?
c
Suppose 0*u = -5*u + 20. Suppose 0 = -5*m + 5, -3*p + 4*m = -6*p + 16. Are u and p non-equal?
False
Let z be 1/6 + 3604/(-24). Is z >= -150?
True
Let x be (-3 - -5)/(10/1755). Which is bigger: x or 1?
x
Let m be 6/10 - 4914/8840. Which is smaller: 0 or m?
0
Let d = -1.73 - -108.73. Let c = 106 - d. Which is greater: c or 4?
4
Let u = 1 + -1. Let i = -3 - -3.028. Let y = 0.032 + i. Which is smaller: y or u?
u
Let t be (-9)/2 + 9/(-6). Let z be (-4)/t + (-3)/3. Which is greater: z or 10?
10
Let i(k) = 10*k**2 - 4*k + 3. Let a be i(1). Suppose 0 = 13*d - a*d + 4. Which is bigger: -2/149 or d?
-2/149
Let j = -167 - -166. Which is greater: -18/221 or j?
-18/221
Let r be (4/(-7224)*-14)/(2/12). Which is greater: -1 or r?
r
Let w = -2944 - -108926/37. Let l be 0 - 5/(30/(-4)). Is w < l?
True
Suppose 6 = 36*b - 35*b. Let r be (-24)/b - (1 - -9). Is -12 < r?
False
Suppose 3*h + 3*g = -249, 2*h + 5*g = 5*h + 249. Let t = h + 52. Do t and -31 have the same value?
True
Let r(u) = 27*u + 12. Let m be r(2). Is 66 equal to m?
True
Let a = -292 - -240. Which is smaller: -6 or a?
a
Suppose 5*q - 4*q - 20 = 0. Let m be (q/(-8) + 3)*6. Suppose 9 + 3 = -m*n. Is -7 > n?
False
Let j = -146.196 - -0.196. Let m = 145.8 + j. Let d = 0.22 - 0.06. Is m at most d?
True
Let n = 869.939 - 870. Is n less than -0.2?
False
Let w = 3/70 + 17/70. Let q = 163 - 161. Suppose -n + 5*j - 30 = -4, 5*j + 7 = -q*n. Is w <= n?
False
Let s(c) = c**2 - 3*c + 7. Let v be s(5). Let b = 18 - v. Let h be (-5 - -6)*(0 - b). Do h and -1/44 have different values?
True
Let k(b) = b**3 - b**2 + 4*b - 298. Let c be k(0). Which is greater: c or -296?
-296
Let l be 3/15*10*(-1)/(-12). Is 0 > l?
False
Let f = -14 + 27. Let t = f - 14. Let q = -0.1 + 0.5. Which is smaller: q or t?
t
Let r = 658/25 - 168/25. Is 19 less than or equal to r?
True
Let q(f) = -f**2 + 1. Let a be q(0). Let n(y) = -y**2 + 22*y - 120. Let s be n(11). Is s > a?
False
Let w(b) = 12*b**3. Suppose -5*l - 113 = 3*g, -1 = -0*l + l. Let v be 84/g - 8/(-6). Let r be w(v). Are r and -13 non-equal?
True
Let r = -186.05 + 186. Is r >= -0.13?
True
Let d = -0.0309 - -5.0309. Which is bigger: 1/18 or d?
d
Suppose 2*z + 17*k - 324 = 22*k, 4*z + 3*k = 700. Is z <= 2?
False
Let t(z) = z - 4. Let v be t(4). Is -1/1058 smaller than v?
True
Let l = 2 - 5. Let y = l - -4. Suppose -29*k - f - 5 = -28*k, -5*k - 18 = 4*f. Which is smaller: y or k?
y
Let x = 3/55 + -204/715. Let b(u) be the first derivative of -u**4/4 + u**3 - 5*u**2/2 + 5*u - 6. Let i be b(2). Are i and x equal?
False
Let p(i) = 3*i**2 + 25*i - 12. Let l be p(-9). Let x(r) = -r + 5. Let n be x(l). Is n smaller than -1/85?
True
Suppose 5*i = 5*j - 10, -5*i - 7 = -j + 7. Which is greater: j or 3/157?
3/157
Let p = -1552 + 32594/21. Is 21 less than p?
False
Suppose 11*b = 42*b + 31. Is b > 3/2?
False
Let m(d) = -11*d**2 + 21*d + 21. Let u(v) = 5*v**2 - 10*v - 10. Let f(c) = -6*m(c) - 13*u(c). Let b be f(-2). Which is bigger: b or 9?
9
Suppose -2*m + 31 = 5. Let b be (-2 - 28)*-1*(-1)/(-2). Which is greater: m or b?
b
Let q = 385 - 378. Is q at least 4/5?
True
Suppose m + 2 - 29 = 0. Let z = m + 4. Let h = z - 21. Which is smaller: 11 or h?
h
Suppose 5*p = -5*o - 35, -o - 2*o - 4*p - 23 = 0. Let s(l) = -2*l - 12. Let k be s(o). Is 4 less than k?
False
Let w(u) = u**3 - 3*u**2 + 2*u - 5. Let k be w(3). Is 2/15 less than or equal to k?
True
Suppose 3*h + 7 = 133. Let c be 4 + 50/(-14) + (-18)/h. Which is bigger: c or -14/11?
c
Let g(m) = -60*m - 4. Let k be g(-1). Let b(y) = y. Let h be b(-7). Let i be k/h*(-3)/2. Is 12 >= i?
True
Let m(i) = -2*i**2 - 1 + 3*i**2 + 5*i**3 - i**3 - 2*i**3. Let s be m(1). Suppose b + s = -2. Is b not equal to -4?
False
Suppose 5*l - 177 = -0*l - a, -l - 4*a = -43. Let h be 441/l - 6 - 1*-3. Which is bigger: h or 10?
10
Let u = -44 - -64. Suppose 18*j - u = 14*j. Is j at least as big as 8?
False
Let k(l) = 4*l + 8. Let j be k(0). Let i be ((-2)/j)/(2/4)*2. Do i and -1/23 have different values?
True
Suppose -k = p + 2, 8*p - 11 = 4*k + 9*p. Which is smaller: 2/155 or k?
k
Let q = -1074 + 1073.7. Which is smaller: q or -4?
-4
Let l(b) = 5*b + 148. Let g be l(-29). Which is greater: 12/5 or g?
g
Let a be ((-33)/15 + 1)/(2/5). Let o be (a/(-9))/(2/(-18)) + 2. Is -1 < o?
False
Let u = -39.0745 + -0.0255. Let x = u + 37. Let t = x + 1.1. Which is greater: 4 or t?
4
Let i = 323 - 322. Is -1/19 > i?
False
Let y = -0.441 - -5.441. Is -12 equal to y?
False
Let g(t) = t**3 - 12*t**2 - 3*t + 203. Let c be g(14). Which is bigger: c or 554?
554
Let w = 609 - 610. Is w at most -12/85?
True
Let k = 1163.06 - 1197. Let h = k - -34. Which is bigger: -1 or h?
h
Suppose -4*n + 6*n = 14. Which is greater: n or 10?
10
Suppose 4*z + 8 = b, -3*z - 6 = -3*b + b. Let h be 1/z + (-66)/(-116). Is 0 bigger than h?
False
Let t = -33 - -54. Is t less than or equal to 0.04?
False
Let m(a) = 13*a + 19 - 6 - 40*a - 31*a. Let d be m(-1). Which is smaller: 72 or d?
d
Suppose 0*u = u - 39. Suppose -4*w = -3*l + 124, -l = -14*w + 11*w - 43. Is l > u?
True
Let u(q) = 2*q**2 + 21*q + 7. Let z be u(-10). Let i be z*2/21 - (-1130)/(-14). Is i greater than -0.1?
False
Let r = -56 + 184. Is 126 at most as big as r?
True
Let s be (6/248*-2)/(5/(-10)). Let a = s - -81/124. Which is greater: a or 0?
a
Let c(s) = s**3 - 16*s**2 - 30*s - 5. Let t be c(18). Which is bigger: t or 0?
t
Let h(x) = 25*x - 51. Let i be h(2). Which is smaller: i or -0.1312?
i
Let c = -68 + 135. Let r = c + -69. Let o = -5 + 0. Which is greater: o or r?
r
Let i = -145/96 + 1/96. Let m = 7 + 2. Let x = m - 13. Is x >= i?
False
Let g = -832/7383 + -5/107. Which is smaller: 0 or g?
g
Let d = -175/272 + -29929/1360. Let i = -89/4 - d. Is 33 smaller than i?
False
Let z = 9 - -13. Let i be 4/z - 65/55. Let c be 4/4 - (9 + i). Which is bigger: -1 or c?
-1
Suppose -2*f = 8, 4*p - 5*f - 143 - 1573 = 0. Which is greater: 422 or p?
p
Let y(v) = -2*v + 45. Let j be y(23). Let t be (-1 - 5/(-3))*(8 + -10). Which is smaller: t or j?
t
Let h = 2.1 - 7.8. Let v = -390 + 396. Let o = h + v. Which is greater: o or -2?
o
Let d be 1/((9/(-3))/(-3)). Let x = 8 + -8. Let i be 0/(-2 + -1 + x). Are i and d unequal?
True
Let y = -4602 + 796154/173. Which is bigger: 1 or y?
1
Let x be ((-13)/2)/(6/120). Let t be 4/(-20) + 134/x. Which is bigger: 0 or t?
0
Let h = 247/56 - 33/8. Suppose -2*t = -6*t + 24*t. Which is smaller: t or h?
t
Let j(r) = -2*r**3 + 3*r**2 + 11*r - 31. Let z be j(5). Which is greater: z or -152?
z
Let i be (-18)/4*192/(-180) 