f. Which is smaller: f or 0?
f
Let b be 3/2*(-40)/6. Let p be ((-6)/(-20))/(36/b). Suppose 27*d = 16*d. Does d = p?
False
Let l be 4*((-258)/216 + 2). Which is smaller: l or 4?
l
Let h(s) = s**3 + 21*s**2 + 20*s + 5. Let l be h(-20). Let z = 4 - l. Is 0.04 at least as big as z?
True
Let l be 34*2/4*2. Suppose -g + l = 650. Let p be g/(-1815) + 4/(-10). Which is smaller: 0 or p?
p
Let x(i) = i**3 + 9*i**2 - 11*i. Let j be -4*-15*(-3)/18. Let b be x(j). Does 10 = b?
True
Suppose 17 + 23 = c. Let w = c - 37. Which is greater: w or 11/6?
w
Let a(w) = -2*w**2 - 10*w + 9. Let t be a(-8). Let q = -100 - t. Which is bigger: q or -60?
-60
Suppose -2*u = 5*h - 290, -2*h + u = 5*u - 132. Let f be 9/(-21) + 108/h. Suppose 4*b + 8 = 3*s, -7 = 5*b - 6*s + 3*s. Is b >= f?
False
Let d = 2336/35277 - 6/1069. Suppose -3 + 2 = 3*j + 2*z, -2 = 4*j + 3*z. Is d less than j?
True
Let s be (5 + (-9)/3)*2. Suppose 0 = -s*m + 4. Suppose 4*g = 5*p, 0*g - g - p = 9. Is m <= g?
False
Suppose 3*h = -334 - 338. Let g = 147 + h. Let b be g/(-22) + (-1)/2. Which is greater: b or 1?
b
Let h be 432/(-212) + 4/2. Let i = 6 + -5. Which is greater: h or i?
i
Let k be 3/(-48)*60/(-5). Is -0.42 at most k?
True
Let m be (6/(-4))/(15/6640*4). Which is greater: m or -174?
m
Let v = -597 + 831. Is v greater than or equal to 235?
False
Let u(q) = q**3 + 17*q**2 + 11*q + 22. Let b be u(-16). Let s = 49 - b. Which is smaller: s or -54?
-54
Let m = 611 - 415. Suppose 3*t = -t - m. Is t not equal to -49?
False
Let o be (-2)/(-4) - 9/6. Let a = 227/12 - 89/4. Are a and o equal?
False
Suppose -5*d + 43 = 3*p, 0 = -4*d - 4*p + 12 + 16. Suppose -5*u + 26 = 3*v, v + 12 = 3*u + 2. Suppose 4*x = -5*o + d, -6 - v = -x + 4*o. Is 1 <= x?
True
Let b = 12 - 11. Let r be b/2 - 585/(-30). Which is smaller: r or 21?
r
Let t(b) = -8*b**3 - 13*b**2 - b + 7. Let v(h) = -7*h**3 - 12*h**2 - h + 6. Let i = 19 + -24. Let l(k) = i*v(k) + 4*t(k). Let s be l(-3). Is -14 smaller than s?
False
Suppose -3*u + 4*t + 6 = 0, t + 13 = -5*u - 0*t. Let i be 5*(-1)/(-1) + (-440)/72. Which is greater: i or u?
i
Let g = -0.098 + -12.902. Let u = -12.16 + -1.04. Let v = u - g. Which is bigger: v or -0.1?
-0.1
Suppose -1315 = -2*z + 7*g - 2*g, -4*z - 3*g = -2643. Is z < 658?
False
Let u = 0.356 + -0.156. Is 52/19 <= u?
False
Let g(h) = 2*h + 43. Let d be g(-22). Is d at least 13/28?
False
Let i be (-1)/3*-1*542*9. Let d = i - 172353/106. Is 0 != d?
True
Let n = 244 + -250. Is n at most as big as -13?
False
Suppose -3*w - w - 24 = 0. Are -8 and w non-equal?
True
Suppose -3*x + 5*l + 8 = 0, 0 = 3*x - x - 3*l - 5. Let q = -0.26 + 0.06. Let y = -1.2 - q. Which is smaller: x or y?
y
Suppose -5*u - 546 = -21. Which is bigger: u or -313/3?
-313/3
Let z = -0.673 + -0.327. Is 0.005 greater than z?
True
Let x = -646 + 8390/13. Is x >= 0?
False
Suppose v - 208 = -o, v - 171 - 43 = -4*o. Are v and 205 equal?
False
Let d be (-6)/(-7)*8694/432. Is 18 greater than d?
True
Let c(q) = -q**3 - 25*q**2 + 59*q + 12. Let x be c(-27). Is -120 >= x?
True
Let l = -16 - -17. Suppose -55 = -3*n + 2. Is n greater than or equal to l?
True
Suppose -9 = -4*o + 4*s + 7, -13 = -4*o + 3*s. Is 1 greater than or equal to o?
True
Let j(l) = 3*l**2 + 2*l + 1. Let p be j(-1). Let i be (3/p)/(-4 - (-385)/100). Is -32/3 > i?
False
Let w = -222 + -360. Is -583 > w?
False
Let c be 7 - (-36342)/(-2601) - -7. Is c bigger than 1?
False
Let z = 36 - 42. Let v = -5 - 1. Let w = v - z. Which is bigger: -2/51 or w?
w
Suppose 0 = -4*h - 13 - 3. Let m be (-9 - h)*(4/115)/(-2). Suppose 4*j - j + 3 = 0. Is m greater than j?
True
Let r = -74 + 73.87. Let c = -1.031 + -0.099. Let k = c - r. Is -12 equal to k?
False
Let x be 27*(-3)/((-90)/4). Let m(k) = 2*k**3 - 26*k**2 + 2*k - 22. Let b be m(13). Which is smaller: x or b?
x
Let d = -7/3 + 16/7. Suppose 0*w = -3*w. Suppose w = c - 0*c. Are c and d non-equal?
True
Let b be 3246/(-3836) + 1014/1183. Which is smaller: -1 or b?
-1
Let w = 18 - 16. Let p be ((-2)/12)/(w/44). Which is smaller: -4 or p?
-4
Let k(v) = -v**3 - 3*v**2 + 21*v + 2. Suppose 0 = -3*l - 10 - 8. Let f be k(l). Which is smaller: f or -0.2?
f
Let x be (-4)/10 - (-2 - -2). Let j = 334 + -333. Which is bigger: x or j?
j
Let j = 14 - 44/3. Which is smaller: 3/16 or j?
j
Let d = -373/5 - -75. Let t = -6.397 + 0.377. Let q = t + 6. Which is smaller: q or d?
q
Let i(w) = 6*w**2 + 20*w. Let o be i(-2). Which is smaller: o or -19?
-19
Let o = -5/2155488 - 59969986951/79753056. Suppose -3*k = 3*a - 2247, -4*k + 8*a + 3023 = 3*a. Let p = k + o. Which is smaller: p or -1?
-1
Let o = 39 + -26. Let l be 2 + (-2 - 27/(-2)). Are l and o equal?
False
Let b = -57.2 - -57.28. Is -1/4 smaller than b?
True
Let s = 5318/7 - 761. Suppose 0 = -4*l + 4*o - 28, -18 = 5*l - 2*o + 2. Which is smaller: s or l?
l
Suppose -3*u + d - 3 = -d, -3*u - 4*d = -15. Do u and -3/7 have the same value?
False
Let m be -1*((-2)/(-2) - 19). Let k be -57*(286/33 + -9). Is m >= k?
False
Let a = -34.58 - -5.58. Are -3 and a nonequal?
True
Suppose 0 = 3*q + q - 2*w - 250, 2*q + w - 127 = 0. Let s = q - 63. Is s at least -13?
True
Let o = -230 + 230. Is o at most -3/26?
False
Let m(v) = -3*v + 78. Let a be m(20). Let z be 12/a - 10/15. Let i = 5895/116 - 203/4. Is z at most i?
True
Let i be 108/84 - (2 - 1). Which is smaller: 0.17 or i?
0.17
Let z = 1.7687 + -1.848. Is z at least 2/5?
False
Let m = 1854 - 1263. Let s be (382/m)/2 - (-4)/(-12). Is s greater than 1?
False
Let a = -29 + 143/5. Let j = -9.4 - -19.4. Which is greater: a or j?
j
Suppose 0 = -4*b - 2*j - 2, -4*j - 12 = 4*b - 0*j. Let w = -15 - -17. Suppose -w*x = -x. Is x less than b?
True
Suppose 0 = -2*r - 3*r - 25. Let f(c) = -4*c**2 + 1 + 3*c - 5*c + 2*c. Let v be f(1). Which is smaller: v or r?
r
Suppose -7*u = -4*u. Suppose 0 = 5*o - 15, b - o + 3*o - 6 = u. Is b at most as big as -1/26?
False
Let h be (-472077296)/476 - (-2)/14. Let a = h - -992192. Let l = 433 - a. Which is smaller: 1/4 or l?
l
Suppose -6*f = -224 + 248. Let x be 4/((-3)/6 - -1). Let m = x + f. Are 4 and m non-equal?
False
Let i(z) = -10*z + 152. Let j be i(13). Is 68/3 not equal to j?
True
Let s = -3 - -3. Suppose 5*z + 1 - 26 = 0. Suppose s = -o - 4*o - z. Is o less than 2/11?
True
Suppose 4*x + x = -20. Let p = x - -8. Suppose -p*t - g = -3, -t - 7 = 3*t + 3*g. Which is smaller: t or 1?
1
Let w = 61 + -54.8. Let l = -3.2 + w. Which is smaller: l or -3?
-3
Let i = -7.573 + 7.7. Let n = i - 0.027. Is n equal to 1?
False
Let k = -18.9 - -19.21. Which is smaller: 3 or k?
k
Let n = -10.8 + 62.8. Let j = -51 + n. Which is bigger: j or 0.4?
j
Suppose 3*z = 7*z - 28. Let s(x) = -2*x. Let q be s(-2). Suppose -4*t = 3*c + 2 - q, 0 = -c - t + 2. Which is smaller: c or z?
c
Let k = 2 + -2.1. Let n be 2 - 58 - (21 + -13 - 0). Is n greater than k?
False
Let n(l) = -6*l**2 - 15*l - 16. Let g(p) = 5*p**2 + 14*p + 15. Suppose -5*w - 17 - 3 = 0. Let c(b) = w*n(b) - 5*g(b). Let a be c(-7). Which is smaller: 9 or a?
9
Let t(r) = -r**3 - 27*r**2 + 71*r + 85. Let a be t(-29). Which is smaller: -295 or a?
-295
Let g be (-19736)/20522 - (-2 - -1). Let p be ((16/(-662))/4)/((-8)/8). Let j = g - p. Which is greater: j or 0?
j
Let p = -58 - -110. Let u = 105/2 - p. Is 0.12 at most u?
True
Let w = -25798/11 + 2338. Which is smaller: -8 or w?
-8
Let l = 769992 + -515894501/670. Let z = -107067/134 - -799. Let b = z + l. Are b and 1 unequal?
True
Let i = 906 + -192976/213. Which is smaller: i or 0?
0
Suppose -4*k + 3*k + 3 = 0. Suppose -4*t - 15 = -3*g, -2*t = -0*t - k*g + 15. Let p be -1 + (-5)/(-4) + t. Is 1 at most as big as p?
False
Suppose -f + 2*u + 2 = 0, -3 + 1 = -f - 5*u. Suppose 5*z - f - 28 = 0. Suppose -4*x + 13 = 3*c, -3*x + 5 + 1 = 3*c. Is x != z?
True
Let f = 23.6 - 27. Let p = f + 3.3. Which is smaller: 1 or p?
p
Let j = -28.91 - -0.91. Let l = 0.196 - -28.004. Let b = l + j. Which is smaller: b or -1/3?
-1/3
Let y(b) = b**3 - 9*b**2 - 4*b + 50. Let i be y(8). Which is greater: -41 or i?
-41
Let n be (-11 + 1)*(-8)/(-20). Let k be (((-24)/(-75))/n)/((-2)/10). Let v(z) = z**3 + 3*z**2 - z - 4. Let d be v(-3). Is k at most as big as d?
False
Let t = 79/5 - 77/15. Which is bigger: t or 11?
11
Let z = 746/7 + -39454/371. Are z and 0 nonequal?
True
Suppose -o + 72 = -4*z, -2*z - o = o + 26. 