 + l - 3*b - 7 = 0. Is l at least as big as -2/51?
True
Let d be 18/(-81) + 799/(-9). Let v = -451/5 - d. Is v less than 0?
True
Let v be ((-5)/(10/(-16)))/1. Suppose 6*x - 2*x = v. Is x bigger than 3?
False
Let y be (-3 - -1)*(15/1041)/5. Is 0 at most as big as y?
False
Let d = 62 + -33. Let w = 18 - d. Let c = w + 7. Is c equal to -1/4?
False
Suppose t = -0*t - 3*d + 18, 11 = -3*t + 4*d. Which is smaller: 8/3 or t?
8/3
Let g(r) = 3*r - 2. Let c be g(3). Let n = -269 - -270. Do n and c have different values?
True
Suppose -h + 2*r - 3 - 4 = 0, -10 = 2*h - 2*r. Suppose 5*m - 4*q = -4, 3*m + 2*q + 9 = -11. Is m < h?
True
Let o = -810 + 8093/10. Which is smaller: o or -2?
-2
Let k = -3 + 3.1. Let c be (-2)/(28/6) - (-4)/14. Is c less than or equal to k?
True
Suppose 2*b - 5*b = 0. Let t be (6 - 7)*(0 - -1). Which is bigger: b or t?
b
Let k(c) = 3*c**3 + 3 + 0*c**3 + 6*c**2 - 2*c**3. Let j be k(-5). Let d be 8/j - (-2)/(-7). Are d and 2/7 equal?
False
Let f = 590932/203 + -2911. Is 0 at most f?
False
Suppose 3 = d - 2*l - 4, 4*d - 23 = 3*l. Is d > 8?
False
Let o = 1.8 - 2. Let k be (-2)/8 + (-57)/12. Let b = -5 - k. Which is bigger: o or b?
b
Let i be (4 + 1)*6/(-15). Let k be ((-2)/12)/(i/(-8)). Are -2 and k nonequal?
True
Let y = 50.46 - 51. Let s = -0.04 - y. Is s greater than -0.1?
True
Let w = -0.324 + -17.976. Let b = w - -18. Is -1/2 <= b?
True
Let k be (1/3)/((-2)/(-6)). Let v = -970/117 - -76/9. Do v and k have different values?
True
Suppose -3*p = -74 - 1. Suppose 5*n - p = -0*n. Suppose 2*l + l + n = 2*f, 0 = f + 4*l - 8. Which is smaller: f or 3?
3
Let u(k) = 2 - k - 3 + 14*k. Let z be u(1). Suppose 5*f - 2*t - 14 = -0*f, -f + z = -5*t. Is f at most 1?
False
Let d be 58/(-85) + 4/5. Is 1 at least d?
True
Let i be 0/(1 - (3 - 0)). Let p(g) = -g**2 + 3*g + 1. Let h be p(2). Suppose -q - h + 4 = i. Is q != 1?
False
Let t = 6.2 - 6.2. Which is smaller: t or 2?
t
Let r = -124 + 1615/13. Which is smaller: 0 or r?
0
Let p be (-62)/(-70) - 21/35. Which is bigger: 0 or p?
p
Let d(q) = -q**3 + 7*q**2 + 1. Let g be d(7). Let y = -3 + 2. Let a = 3 + y. Is g equal to a?
False
Let i be (3/(-2))/(6/(-68)). Are 16 and i equal?
False
Let t(r) = 3*r**3 - r**2 - r. Let x be t(-1). Suppose 3 = 2*j + 3*h - 1, 0 = -h. Let a = x + j. Which is greater: a or -4/3?
a
Let b = 20 + 1. Let c = b - 29. Is -8 less than c?
False
Let h be ((-2)/2 - -1)/1. Let n be h/(2/1) + -6. Which is smaller: -5 or n?
n
Suppose 0 = -4*b - 32 + 8. Are b and -1/4 nonequal?
True
Let h be -11 - (3 - (-5)/(-1)). Which is greater: -16 or h?
h
Let f(x) = 9*x**2 - x - 1. Let l be f(2). Let j be 2/11 - 6/l. Which is bigger: -0.2 or j?
j
Let l = -6.5 - -14.5. Let g = -10.8 + 1.8. Let v = l + g. Which is greater: v or 0?
0
Let b = 0 - 2. Let h be 1/(1/4*b). Let j be h*3/(-12)*2. Do j and -1 have different values?
True
Let g(w) = -w**3 + w**2 - 2*w + 2. Let u be g(0). Which is smaller: -2/5 or u?
-2/5
Let p(h) = -h**2 - 11*h - 12. Let k be p(-11). Let i = 34 - 17. Let o = i + k. Is 6 > o?
True
Let c be 5 + (0 - 2/1). Let b = c + -4. Is b bigger than 2/5?
False
Let w(a) = -10*a**3 - 2*a**2 + 2*a - 1. Suppose 0 = 5*l - m - m - 9, 0 = -4*l - 3*m - 2. Let f be w(l). Is f at least -12?
True
Suppose -4*i = -3*s - 6 - 1, -13 = -i + 3*s. Let z be (-2)/(0 - -2) + -4. Let l = i - z. Is 3 smaller than l?
False
Let y be 8/40 + 6/(-5). Is y greater than 10/37?
False
Let w be (-9)/(-2) - 2/4. Suppose 3*s - 19 = -2*h, s - 2*h + 4 = -s. Does w = s?
False
Let o = 34 + -24. Suppose 0 = -2*a - 4, 5*q + 3 - 32 = 2*a. Let h be 4/o + (-7)/q. Is -1 less than or equal to h?
True
Suppose 2*f = 2*j - 3 - 7, 2*f = -3*j + 5. Suppose 2*g = -1 + 5. Does j = g?
False
Suppose 5*p - 2*o = -40, 5 = -2*p + o - 10. Let d be ((-2)/p)/((-16)/10). Which is bigger: 1 or d?
1
Let m = 35.1 - 35. Do m and -0.12 have different values?
True
Let y be (2/(-14))/((-3)/9). Let j be 2/(-2) - (-2 + -2) - 2. Is j at most as big as y?
False
Let a be (16/12)/(4/12). Suppose -5*c = -8 - 17. Let m = a - c. Is -1/2 at least as big as m?
True
Let p(g) = g**3 - 5*g**2 + 5*g - 3. Suppose 0 = 6*r - r - 15. Let b be p(r). Let v(z) = 2*z + 8. Let f be v(b). Which is smaller: -3 or f?
f
Let s = 26/3 - 79/9. Let f be ((-1)/(-2))/(1/(-2)). Do f and s have the same value?
False
Let d = -1581/8 + 198. Suppose 6 = -2*o - q - q, 5*o = -2*q - 6. Which is smaller: o or d?
o
Let y(o) = -o**2 + 11*o + 19. Let a be y(11). Which is smaller: 17 or a?
17
Let c be (-6)/(-15) - (-5739)/3015. Let l = -2/67 - c. Which is bigger: l or -2?
-2
Let k be (14/6)/(4/6). Is k not equal to 4?
True
Let g = -31 + 53. Let l = g - 20. Is 2/9 at least as big as l?
False
Let g = -4 - -6. Let h(i) = 1 - i**3 + 2*i - 2*i + 2*i - 2*i**g. Let y be h(-2). Which is greater: -2 or y?
-2
Let w = 5 + -2. Suppose -n = i + w*n - 11, n = -3*i. Which is greater: i or -0.16?
-0.16
Let p = -1.6 + 0.7. Let y = p - -0.6. Let w = y - -0.3. Which is greater: w or 1?
1
Suppose g - 5 = -2. Let n = g - 2. Let j(q) = -q**2 + 6*q - 5. Let u be j(4). Are n and u equal?
False
Let u = 0.2 + -2.2. Let q = -2.2 - u. Which is greater: q or -3?
q
Let j(q) = q**2 + q - 1. Let c be j(-2). Suppose 13 = -5*k - 2. Let i = -5 - k. Which is smaller: i or c?
i
Let g = -522 - -1586/3. Which is smaller: 6 or g?
6
Suppose 3*s - 4*f - 25 = -0*s, -3*s + f + 13 = 0. Suppose s*m = -9, 2*u = 2*m + m + 27. Let y be (2/(-8))/(u/(-24)). Which is greater: y or 1?
1
Let g(o) = -o**3 - 4*o**2 + 9*o + 10. Let z be g(-5). Is z < 5/3?
True
Suppose 2*x + 10 = 0, -x = 3*k - 5*x - 17. Let t be 0 + 2 + k + -3. Does 0 = t?
False
Let w = -1.1 + 0.1. Let q = -0.9 - w. Let l = 0.06 + 0.04. Is l < q?
False
Let m(t) = -2*t - 3. Suppose -2*f = 3 - 1. Let j be m(f). Which is greater: 2/23 or j?
2/23
Let h = -65/196 + 4/49. Which is smaller: -0.1 or h?
h
Let v(y) = -15*y - 7. Let b be v(11). Let a = 695/4 + b. Is a equal to 3?
False
Let d = 10168229/348 + -29219. Let v = d + 1/29. Are -1 and v non-equal?
True
Let j be 9/45 - (-49)/5. Let z = j + -9. Let m = 0 - -1. Is m smaller than z?
False
Suppose -3*w = -2 + 29. Is -8 equal to w?
False
Let u be (-6)/8*2/(-6). Is u >= 2?
False
Suppose -4*o + 0*o = 56072. Let u = -2537252/181 - o. Let n = u - -1237/905. Which is smaller: n or 0?
0
Let v(l) = -l**3 + 5*l**2 - l + 6. Let x be (6/(-4))/(6/(-20)). Let t be v(x). Which is smaller: t or -2/31?
-2/31
Let z be -4 + 11/(748/8). Is -5 > z?
False
Suppose 2 - 4 = 2*q. Does 1/21 = q?
False
Suppose -4*f = -3*v - 29, -10 = -7*v + 2*v - 5*f. Let a = 3 + v. Is 2 < a?
False
Let t = 0.11 - 6.11. Let v = t + 8. Is v greater than 2/9?
True
Suppose -2*q - 15 = 3*q. Let l be (q/9)/(1/(-1)). Suppose -3*m - 2*m - 3*z + 11 = 0, z - 2 = 0. Which is bigger: l or m?
m
Let r be 0/2 - (-1 - 2). Suppose 4*i - 42 = 5*u, i - 5*u = 5*i - 22. Let t be i/(-12) - (-8)/3. Which is greater: r or t?
r
Let v be 9*(-3)/21 - (-2)/7. Which is bigger: 5/23 or v?
5/23
Let k = 25.8 - 26. Suppose 0*y + 3 = -y. Which is bigger: y or k?
k
Let n = -13 - 7. Let p be n - ((-3)/3 - -2). Let f be (-3 - -1) + (-48)/p. Which is bigger: f or 0?
f
Suppose 2*o + 81 = -21. Which is bigger: -50 or o?
-50
Let x = -9 + 15. Let q be 6/10*4/x. Let f = 0.7 + -5.7. Which is smaller: q or f?
f
Let s be 26/7 + (-6)/(-21). Suppose 3*r - 7 = 3*z + r, 0 = -5*z - s*r + 25. Let b = -1/30 - -37/210. Which is smaller: b or z?
b
Let w = -0.07 - -1.07. Is 2.2 less than or equal to w?
False
Suppose -2*p = 9 - 3, 123 = -5*k + 4*p. Let a be (8/6)/((-18)/k). Are a and 3 non-equal?
True
Suppose -2*x - 13 = 6*u - 3*u, -4*x - 20 = 0. Is 2/35 smaller than u?
False
Suppose -5*j - 5*g + 2 = -3, -8 = -4*j - 2*g. Do j and 4 have the same value?
False
Let j = -12782/897 - -186/13. Which is smaller: j or 1?
j
Let z = -7/20 + 9/140. Which is smaller: 0 or z?
z
Suppose -4*r + 8 = 5*n, 0 = 5*r - 4*n - 14 + 4. Suppose -4 = -4*l + 4. Is r < l?
False
Let p(q) = -6 + 2 + 8 + 6 - q. Let z be p(5). Suppose a - z*a + 4 = 0. Is a less than -1/5?
False
Let g = -8.05 - -0.35. Let u = 8 + g. Let k = 0.2 - u. Which is smaller: k or 1?
k
Suppose 0 = 2*j + 2*j. Let h = j - 4. Which is bigger: h or -1?
-1
Let n(l) be the third derivative of l**4/24 + l**3/2 - 3*l**2. Let z(x) = -x - 4. Let v(h) = -6*n(h) - 5*z(h). Let f be v(0). Is 2 at most as big as f?
True
