 greater: f or -1?
f
Let a = 5923/15 - 395. Is 0 greater than a?
True
Let u be 69/21 - (-1 + 3). Is 1 equal to u?
False
Let y = -0.1 + 1.1. Let j = y - 0. Let t = 2 - j. Is 2 at most t?
False
Let v be 1/(0 + 1/(-9)). Let u be ((-2)/5)/(v/(-30)). Is u >= 0?
False
Let c be 15/6*(-3)/50. Which is smaller: -1 or c?
-1
Let g = 2 + 2. Let k = -6 - 4. Let t be k/g + 2/(-4). Is t != -3?
False
Let b = 5 - 4. Let c = -40 + 43. Which is bigger: c or b?
c
Let j be (5/2)/((-2)/(-4)). Suppose -3*z = 2*z - j. Let h be (-6)/9 + (-10)/(-6). Do h and z have the same value?
True
Let c = -0.33 - 7.77. Let u = c - -8. Let i = -0.8 - 0.2. Is i smaller than u?
True
Let w(l) = l - 1. Let t be w(-2). Which is smaller: -1 or t?
t
Suppose -3*c = -4*m + 23, 5*c - 5 = -4*m - 22. Suppose -m*w + 3 = 11. Let v be 1 + w + (-145)/(-45). Which is bigger: -2/5 or v?
v
Let y(p) = -p**3 + 6*p**2 - 6*p + 4. Let t = 11 - 6. Let x be y(t). Which is greater: x or 1/5?
1/5
Let s(f) = f**2 - 2*f + 1. Let b be s(0). Let d(x) = x - 4. Let w be d(3). Let u = 2 - w. Are u and b non-equal?
True
Let q = 10.1 - 0.1. Let j = 9.2 - q. Let r = 0.7 + j. Which is smaller: -2 or r?
-2
Let w be (-1)/(-3)*24/(-14). Which is bigger: 0 or w?
0
Suppose -3*r + 5*b - 22 = 0, -r - 2*b + 21 = 2*b. Let z be -2*11/(-12) + -34 + 32. Which is smaller: z or r?
z
Suppose -12 = -4*f + f. Let s = -331157/165 - -2007. Let j = s + 829/330. Which is bigger: j or f?
f
Let r = -0.3 + 0.32. Let z = -26 + 25.82. Let s = r - z. Is s > 0?
True
Suppose b + 0*b - 8 = -4*c, -5*c + 10 = b. Let x(o) = o**3 + 3*o**2 - 6*o - 3. Let v be x(-5). Let s be (-2)/(v*(-1)/1). Which is smaller: b or s?
s
Let w(f) = f**2 - 19*f - 41. Let v be w(21). Let c(o) = -5*o - 8. Let j(d) = 14*d + 23. Let k(u) = -17*c(u) - 6*j(u). Let m be k(2). Is v <= m?
False
Let b be ((-4)/(-5))/(8/20 + 0). Which is smaller: 1 or b?
1
Let x(c) = -c**2 + 6*c - 6. Let v be x(4). Suppose 2*j = -v*i - 4, -i - 6*j + 2*j - 17 = 0. Let w be (-18)/(-4) + 5 + -7. Which is bigger: w or i?
i
Suppose 2*p + 5*r = 10, 0*p = -5*p - 2*r + 4. Is p at least -4/13?
True
Let l(n) = 2*n + 10. Let m be l(-6). Which is greater: m or -2/15?
-2/15
Suppose f = -2*g + 12, 4*g = -2*f + 3*g + 21. Let u be (f/15)/(2/(-9)). Is u >= -1?
False
Let s = -10 - -9.8. Let q = s - -0.5. Which is smaller: q or 0?
0
Suppose 0 = 9*p - 22*p - 13. Suppose -2*y - 2*y = 0. Which is bigger: p or y?
y
Let q = 6 - 9. Let i = 2 + q. Let d = -0.2 - -0.4. Which is greater: d or i?
d
Let n be 11/(-10) + 2/4. Let k = -5/76 + 6/19. Is n < k?
True
Let u = 0.2 + 0.6. Let s = 3.2 + u. Let w = s + -4. Which is smaller: -0.2 or w?
-0.2
Let b(x) = -4*x**2 + 9*x - 8. Let r(m) = -7*m**2 + 19*m - 16. Let d(y) = -5*b(y) + 3*r(y). Let h be d(10). Suppose -4*v + 7*v = h. Which is smaller: v or 5?
v
Suppose -17 + 5 = -4*r. Which is smaller: r or 1?
1
Let k(g) = -g + 24. Let z be k(6). Are z and 17 non-equal?
True
Let x = -54037/332 + 651/4. Which is smaller: 0 or x?
x
Let c be -1*4 - 148/6. Suppose 4*q + 17 = -y, 148 = -5*y + 3*q - 2*q. Let t = y - c. Which is bigger: 2/7 or t?
2/7
Let r = -15 + 22. Which is greater: r or 8?
8
Let m = -1.1 + 0.1. Let h = 5 - 4. Let k = h + m. Which is greater: 1/2 or k?
1/2
Let x be -1 + 4/(12/(-33)). Let p be ((-9)/2)/(6/x). Suppose 0*r + 6 = 3*r + 3*g, -3*r + p = 4*g. Does r = -2?
False
Let s = -0.06 - -0.01. Let j = 3.05 + s. Let q = j + -3. Is -3/8 at most q?
True
Suppose 3*y + 2*y = -6*y. Is y less than or equal to -2/11?
False
Let v = -0.2 + 0.1. Let b = 559/5491 + 1/289. Which is greater: v or b?
b
Let y = -1933/14 + 138. Is -1 smaller than y?
True
Suppose 9 + 17 = -2*a - p, -62 = 5*a + p. Let m be a/3 - -3*1. Is m <= 0?
True
Let i be (2/10)/((-4)/(-15)). Let q(y) be the third derivative of y**6/120 + y**5/12 + y**3/3 + y**2. Let o be q(-5). Is o >= i?
True
Let f = 4.1 + -2.1. Which is smaller: 7 or f?
f
Let y be 0/3 - 4 - 0. Which is bigger: -2/3 or y?
-2/3
Let w be (12/(-162))/((-2)/(-6)). Which is greater: w or -2?
w
Let x be (-16)/((-1)/(0 - -2)). Is x less than 32?
False
Let o(z) = -4*z + 28. Let b be o(7). Which is smaller: -9/7 or b?
-9/7
Let d(q) = 1 - 6*q**2 + 2 + 4 - 1 - 5*q - q**3. Let j be d(-5). Let p be j/(-15) - (-14)/10. Is p at most as big as -2/7?
False
Let c(g) = -g**3 - 12*g**2 + 14. Let l be c(-12). Let y = l - 16. Which is greater: -1 or y?
-1
Suppose -2*p + 4*o = -52, 3*p - 9 = -o + 41. Let n be p/(-15)*40/12. Which is bigger: n or -21/5?
n
Let m = -21 + 26. Suppose m*t - 2*i = -0*t - 25, -4*i = -3*t - 29. Let s = -2 + -2. Is t >= s?
True
Let i(y) = 30*y**2 - 5*y + 4. Let h be i(3). Let s = h + -1816/7. Is s at most as big as 0?
True
Let x = 11 + -11.01. Suppose 0 = l - 5*h - 6, l + 0 = -2*h - 1. Do l and x have the same value?
False
Suppose -3*h - 2*h = -5. Let c(a) = a - 1. Let w be c(h). Let p be (-20)/24 + -1 + (-12)/(-9). Do w and p have the same value?
False
Let o = 2632498/351 + -7500. Is 1 not equal to o?
True
Suppose 3*s = 4 + 2. Suppose -s*b - 3*c - 261 - 26 = 0, b + 150 = 5*c. Let q = -431/3 - b. Is 1 < q?
True
Let a = 20 + -19. Is 0 at least as big as a?
False
Let i = 591/8 - 74. Suppose -t + 8 = 3*u, 5*t + u = -u + 1. Which is smaller: i or t?
t
Let i = 0.33 + -0.03. Let y = i - 0.3. Suppose -2 = w - 2*r, 0*w - 3*r = -5*w + 4. Is w greater than or equal to y?
True
Let k = 6.1 - 1.1. Let f = 0.02 + -7.02. Let x = f + k. Is 1 equal to x?
False
Let o be ((-1)/10 + 0)/2. Are 0 and o equal?
False
Let n(i) be the second derivative of i**4/12 + 4*i**3/3 - 4*i**2 - 4*i. Let g(x) = -2*x**2 - 4*x - 3. Let u be g(-3). Let l be n(u). Which is bigger: 1/10 or l?
l
Let p(l) = -l**2 + 13*l - 15. Let m be p(10). Is m < 14?
False
Suppose -4*p + 5*l + 24 = 0, 3*p + 2*l + 3 = -2. Let z = p - 1. Let b = 0 - z. Is -2/9 not equal to b?
True
Let x be 18/5*(10 + -15). Let z = x - -18. Is -1/4 bigger than z?
False
Let d(x) = x**2 - x - 2. Let l be d(3). Let m = 3 - l. Let z(i) = i**2. Let f be z(m). Are 1 and f non-equal?
False
Let x(g) = -g**2 + 2 + 6*g + 4*g**2 - 2*g**2. Let d be x(-7). Suppose 2*n - 5*n - d = 0. Which is smaller: -1 or n?
n
Let c(u) be the third derivative of u**6/120 + 2*u**5/15 + 5*u**4/24 - 2*u**3/3 - 2*u**2. Let o be c(-7). Which is smaller: o or 11?
o
Let v(q) = q**3 + 4*q**2 + 2*q - 1. Let o be v(-2). Let c be (315/33)/(-3) + o. Is c > -1?
True
Let p(t) be the third derivative of -t**4/12 + 2*t**2. Let w be p(-1). Is 0 < w?
True
Let a be 91/(-35) + (1 - -2). Let o = -13.3 - 0.7. Which is smaller: a or o?
o
Let l be ((-15)/(-18))/5*-4. Do l and 1 have the same value?
False
Let a be 1/(-4) + 7/(-4). Let g be a/3*(-3)/6. Let n(m) = -m**2 + 10*m - 1. Let w be n(10). Which is smaller: w or g?
w
Let p = -24 + 21. Do p and -2 have the same value?
False
Let l(c) = c + 6. Suppose 4*k - 2*w + 23 = w, -4*w = 2*k + 6. Let y be l(k). Is y greater than or equal to 1/5?
True
Suppose 47 - 17 = -5*w. Which is smaller: -23/4 or w?
w
Let r be (2/12)/((-1)/352). Let f = -58 - r. Is f less than 0?
False
Let v = 4 + -3.8. Let o = v - 0.1. Let z = -0.3 + o. Is 0.2 at least as big as z?
True
Suppose 0 = 10*m - 7*m. Is m less than or equal to 2?
True
Let h = 7348/227835 + 2/3735. Is 0 greater than h?
False
Let y = 6 - -2. Suppose 4*f + k + 8 = 0, 4*f - k = -5*k - y. Let p(s) = s**2 + s - 1. Let a be p(f). Which is smaller: -1/4 or a?
-1/4
Let g = 1/5 + -6/55. Is 1 less than or equal to g?
False
Let x(f) = f**3 + 13*f**2 + f + 12. Let m be x(-13). Are -12/13 and m non-equal?
True
Let a(q) = 2*q - 6. Suppose 5*u - 3*u + 40 = 5*j, -24 = -3*j + 2*u. Let h be a(j). Which is smaller: h or 11?
h
Let x(u) = u - 2. Let t(q) = 2*q - 8. Let b be t(8). Let g be x(b). Is 1 >= g?
False
Suppose o + 9 - 3 = 0. Let l be (-250)/(-80) + o/2. Is l at most -1?
False
Suppose p - 24 = -5*f, -2*p - 2*f = -7*f - 3. Let q = -425 + 869/2. Let c = p - q. Is 0 greater than or equal to c?
True
Let y be 1*(-5)/(-6 + 1). Is y < -2/87?
False
Let z = 5 + -2. Suppose -2*p - 4*m + 20 + 0 = 0, 0 = -z*p + 5*m + 8. Let o be ((-6)/p)/(2/8). Which is smaller: o or -3?
o
Let u = -54 - -323/6. Let w = 2 - 1. Let c = w + -1. Which is bigger: u or c?
c
Suppose 4*i = 4*w + 24, 0 = 5*i + 3*w + 2 + 8. Suppose -5*d + 16 = -14. Let h be (-2)/3 + 8/d. Is h >= i?
False
Let s be 5/10 - 319/(-2). Let u be 2/(-5) + 84/s. Which