ger: 0 or n?
n
Suppose 0*f = -2*f - 2. Let a = f + 3. Is 3 >= a?
True
Suppose 0 = -q - q - 5*z + 29, -2*z + 4 = -3*q. Suppose q*h = 3*h. Which is smaller: -1 or h?
-1
Suppose 4*b + 10 = -2. Let q be (-2 + -1)/3*b. Suppose 2*y - 7*y = s - 16, 2*y + s = 4. Which is bigger: y or q?
y
Suppose -4*s + s - 2*v = 20, 3*s + v + 19 = 0. Let x be 0 + (1 - -1) - 1. Let j be (x + 1*-2)*7. Do j and s have the same value?
False
Let l be 154/(-351) + (-76)/494. Is l at most -1?
False
Suppose 2*o - 4 = 2. Is o >= 16/9?
True
Suppose 3*o + 2*v + 5 = -33, 5*v - 38 = 2*o. Is 1 greater than o?
True
Let r(j) = j**3 + 7*j**2 - 7*j + 4. Let i be r(-8). Let q = i - -8. Suppose -l + 3 = -p, 4*l + 0*l = q. Is -3 at most as big as p?
True
Let w = -6 - -11. Suppose -19 = -w*p + 1. Suppose 2*r - 2 = -p. Which is greater: 0.2 or r?
0.2
Suppose -g - 2*g + 12 = 3*c, 4*g - 5*c = -20. Suppose -2*j + 0*j + 26 = 5*q, -5*j = -q - 11. Suppose -23 = -4*h - 5*v, -j*v = -2*h - 0*h - 5. Is g < h?
True
Let f be (100 + 0)*2/(-4). Is f > -50?
False
Let a be 1*(-4 - -2)*54/(-12). Which is smaller: 31/4 or a?
31/4
Let q = 41 + -124/3. Let k(p) = 6*p**2 + 5*p - 6. Let a(s) = -s**2 - s + 1. Let t(g) = 4*a(g) + k(g). Let x be t(1). Which is smaller: q or x?
q
Let h be (-4)/((-40)/(-42)) - -4. Let v(j) be the first derivative of -j**3/3 + 2*j**2 - 3*j - 1. Let y be v(3). Which is greater: h or y?
y
Suppose -4*z + v + 20 = -3*v, -z = v + 5. Let m = 6 - z. Suppose 2*u = m*u - 16. Which is smaller: 3 or u?
3
Let f(p) = -4*p + 73. Let o be f(19). Is o less than 4?
True
Let f(g) = g**3 + 22*g**2 + 22*g + 20. Let x be f(-21). Are -4/107 and x nonequal?
True
Suppose 2*o - 16 = -0*o. Suppose -4*a = -4*n + o, 3*a + 3*n + 14 = -2*n. Is -1/5 at least as big as a?
True
Suppose 0 = 9*f - 8*f. Let l be 37 - -1 - (1 - 1). Let i = l + -151/4. Is i at most f?
False
Let q(g) = -g**2 + 5*g. Let c be q(3). Let b = 4 - c. Is b > -2?
False
Suppose -7 = t + q, 5*q = -t - 17 - 6. Let l(b) = -b**3 - 2*b**2 + 2*b + 4. Let z be l(t). Which is smaller: 5 or z?
5
Let c = 3.9 + -4. Which is greater: c or -2?
c
Suppose 3*c - 17 = -3*d + 2*c, 5*d + 4*c = 33. Suppose 2*v = 5*y + 45, -2*y = 2*v + y - d. Suppose 6*h = h - v. Which is greater: h or -3?
h
Let g be -4*(4 - (-3885)/(-970)). Which is smaller: 1 or g?
g
Suppose -5*k + 12 = -k, 0 = -3*z - 2*k + 6. Suppose -c = u - 8, -5*u + 52 = 4*c + 17. Do u and z have different values?
True
Let x = -6/1427 - -11794/89901. Let g = x - 2/9. Is g <= -0.1?
False
Let r(s) = -s**3 + 10*s**2 - 8*s - 10. Let t(y) = y + 1. Let l be t(8). Let w be r(l). Which is bigger: w or 3/8?
3/8
Let t = -62 - -61. Which is smaller: -2/27 or t?
t
Let n(y) = -y - 6. Let l be n(-8). Is l less than or equal to -1?
False
Let d be 26/(-7) + 6/(-21). Let v(p) be the first derivative of p**4/4 + p**3 - 2*p**2 + 3*p + 1. Let u be v(d). Is u <= 3/2?
False
Suppose -3*v + 40 = -0*v - 5*j, 4*v + 5*j = -5. Suppose 2*h = -5*q - 8, -3*h - 10 = v*q + 2. Is q at most as big as 4?
True
Let h = -2.5 + -0.5. Let j = -0.99 + -0.01. Let z = 0 - j. Which is bigger: z or h?
z
Let s(a) = -a**3 + 8*a**2 + 9*a + 1. Let f be s(9). Suppose 0*m + 4 = m. Suppose -3*q - q = -m. Is q less than or equal to f?
True
Suppose -5*j + 2*z + 49 = -31, -31 = -4*j - 5*z. Let n be 1 - (10/j - 0). Which is bigger: 1 or n?
1
Let m(w) = w**3 + 3*w**2 + w - 1. Let r be m(-2). Is -1/51 <= r?
True
Let d = 2 - 4. Which is smaller: d or -2/5?
d
Let g = 7 + -11. Let a be (-2)/g - 1/2. Are -5/4 and a nonequal?
True
Suppose 0 = 5*f - 2*u + 48, -12 + 4 = -2*u. Let d be ((-9)/(-6))/((-2)/f). Which is smaller: 5 or d?
5
Let g = -5 + 3. Let p = -0.92 - -1. Let y = p - -3.92. Is y < g?
False
Suppose -2*j - 82 + 0 = -5*s, 2 = -s + 5*j. Let q = s - 21. Is q bigger than -3?
False
Suppose -3*p - 2509 = 4*x + x, -5*p - x = 4145. Let f be 208/p*(-11)/28. Let m = f + 2/161. Is m >= -1?
True
Let v(x) be the first derivative of -x**4/4 - 2*x**3 - 3*x**2 - 7*x + 4. Let s be v(-5). Is s > -3/4?
False
Let p = 12 + -8. Is p < -1/6?
False
Let m be 10/(-35) - 4/(-14). Let v = 3 + m. Suppose v*a + 12 = -a. Are -3 and a unequal?
False
Let p = -0.6 + -0.2. Let j = p - -0.7. Is 0.3 equal to j?
False
Let v = -6.91 + 6. Which is greater: 1/2 or v?
1/2
Let l = 21.66 + -21. Let g = -0.06 + l. Let x = g - -0.4. Which is smaller: x or 0.4?
0.4
Suppose -10*a - 36 = -6*a - s, -5*a + 4*s = 56. Which is smaller: a or -7?
a
Suppose -5 = -k - 2. Suppose -t = 5*c - 27, -c - k*t = -4*c + 9. Suppose c*f - q = -0 + 10, 27 = 2*f - 5*q. Which is smaller: f or -1?
-1
Suppose -5*u = -g + 27, -5*g - 4*u + 0 = 10. Let y be (1/(-8))/(g/(-4)). Is y less than 0?
False
Let c be (-1 - (-24)/9)*3. Suppose 4*p - c*g + 5 = -p, -3*g = 4*p + 18. Let u be 2/(p/((-3)/(-7))). Is u greater than 1?
False
Let t = 1 - 1.2. Let d = 0.3 + t. Let a = -0.31 - -0.01. Is a greater than d?
False
Let g(f) = f**3 - 6*f**2 - 1. Let j be g(6). Let s = 10.07 - 10. Is j at most as big as s?
True
Let l = 0.2 - 0.3. Let o = 0.26 - 0.06. Let b = o + l. Which is greater: -1 or b?
b
Suppose -l = 5*v - 27, -4*l = -5*v + 23 - 6. Let t be l/(-8) + 11/12. Let b = -15 + 29/2. Which is smaller: t or b?
b
Suppose 4*r + 8 = -0*q - q, 2*r = -q - 4. Let v = -1 - r. Which is smaller: 10/9 or v?
v
Let s = 0.9 - 1.04. Let t = -0.24 - s. Which is smaller: -0.3 or t?
-0.3
Suppose -4*b + 0*b = 0. Which is smaller: -5 or b?
-5
Let g be 6*(4 + -3 - 2). Which is smaller: g or -14/3?
g
Let p = -119 + 13. Let i = 99177/914 - 4/457. Let f = p + i. Is 2 at least f?
False
Suppose -9*g = 6 + 12. Which is bigger: g or -6/7?
-6/7
Let c = -12.9 - -18.8. Let r = -6 + c. Which is bigger: -2 or r?
r
Let z = -8/51 - 3/17. Suppose 3*p + 5*y = 25, 9 + 6 = -5*p + 3*y. Which is bigger: p or z?
p
Let w = -623/10 + 62. Are w and -1 non-equal?
True
Suppose 0 = -2*f + f. Let w(c) = -c**2 - 5*c. Let i be w(-5). Is i > f?
False
Let d = 5.3 + -6. Let c = 0.4 + d. Suppose 2*n - 5*v = 1 - 11, -8 = -4*n - 4*v. Which is bigger: n or c?
n
Let f be (-20)/45 + (-4)/(-6). Do -5 and f have different values?
True
Let c = 0 + 2. Is -1.2 >= c?
False
Let j = -2.39 - -2.3. Let w = j + 4.09. Let z = w + -4. Is -1 <= z?
True
Let x be (-8 + 2)/(1 + -2). Suppose 3*s = s - x. Let i = -18 + 15. Is i at most s?
True
Let m = 7.85 - 7.8. Which is greater: 3/4 or m?
3/4
Let x(c) = c**3 - 13*c**2 + 20*c. Let l be x(11). Is l at most -22?
True
Let t = -17 - -9. Which is greater: -7 or t?
-7
Suppose a - 2*k = -3, 5*a - 4*k + 0 = -3. Which is smaller: a or -1/64?
-1/64
Let u = 95 + -53. Which is smaller: 44 or u?
u
Suppose -4*c - 5*g - 8 = -g, -4*g - 8 = c. Let m be 2*2/28 - -1. Which is smaller: c or m?
c
Let h = 26/11 - 193/77. Which is greater: 1 or h?
1
Let r be (-1080)/(-1100) + (0 - 4/5). Suppose -4*a = s - 8, -5*a + 5*s = 5 + 10. Is r at least as big as a?
False
Let b be -4*(-9)/(-6)*-1. Let q = -6 + b. Is q greater than or equal to 2/5?
False
Let p(j) = j**2 - 10*j - 18. Let r be p(12). Is -1 at least r?
False
Let b = 20 - 19. Suppose b = x - 0*x. Which is greater: 7/6 or x?
7/6
Let n(o) = -1 + 0*o - 8 + 1 + 2*o. Let g be n(6). Is 2 greater than g?
False
Let l = 1 + -8. Let x = 3 + l. Suppose -4*n = -2*r + 24, 3*n + 2*r + 0*r + 11 = 0. Which is greater: x or n?
x
Let z = -119/26 - -60/13. Which is bigger: z or 0?
z
Let s be 0 + 0 + -9 - 1. Is s at least -10?
True
Suppose 5*y - 25 = 5*k, 0 = -0*y - 4*y - 5*k - 16. Let n = y + -2. Which is smaller: 2/9 or n?
n
Let q = 43 - 20. Is -2/3 <= q?
True
Suppose 3*z + 3 = -l, -4*z + 0 - 4 = l. Suppose -2*b = -2*t - 2 + 16, 0 = 3*t. Let q = b + 6. Is q less than z?
False
Let g = -3631/75 + 145/3. Is g at least -1?
True
Suppose -3 - 24 = -3*q. Let w be (6/q)/(48/(-27)). Which is smaller: w or -0.2?
w
Let m = 9 - 7. Suppose 0 = y + m. Is 2 > y?
True
Let i = 0.4 - 0.52. Which is smaller: i or -0.1?
i
Let a(v) = v + 8. Let j be a(-4). Let i be j/(3/(-3)) - 0. Which is smaller: i or -5?
-5
Suppose 3*l - 2 = -u, -4*u + 4 + 4 = -5*l. Suppose 3*a = -18 - 42. Let m = 65/3 + a. Is u greater than or equal to m?
True
Suppose 2*m + 12 = -m. Let p(g) = g + 4. Let o be p(-7). Is o at most as big as m?
False
Let q be (0 - -6)*18/27. Suppose -4*k + q = -0. Which is smaller: k or 2?
k
Let j be 1/(-4) + (-1)/(-4). Let c be (-130)/(-25) + 2/(-10). Suppose -25 = -3*p + 5*m, p - 