e?
False
Let h = -16 + 16.06. Let g = 0.94 + h. Let z = 0.06 - 2.06. Is z greater than g?
False
Let t = -24 - -14. Let q be ((-12)/t)/(9/(-30)). Let r(k) = -k**2 - 4*k + 2. Let h be r(q). Which is greater: h or 1?
h
Suppose 0 = -3*r + 3*m + 15, -3*m - 6 + 39 = 3*r. Is 0 at most as big as r?
True
Let g be (-57)/(-6) + (-1 - -3). Let u = -11 + g. Is u > 0?
True
Let q(r) = -r - 2. Let t be q(-5). Suppose 0 = 5*p - t*v - 14, -4*p + 6*p = -3*v + 14. Let j = 8 - 4. Is j greater than p?
False
Let r be -1 - -2 - 103/97. Let c = r + -92/1649. Which is smaller: -1 or c?
-1
Let i = -14 + 55/4. Which is smaller: i or -3/31?
i
Let j be (-10)/(-3)*3*-1. Does j = -11?
False
Let w = 1.8 - 2. Let j(x) = -x - 9. Let n be 1 + -9 + (1 - 3). Let z be j(n). Which is smaller: w or z?
w
Let o = 9 + -7. Suppose -4 = -o*b - 8. Suppose m = -4, -2*s + 2*m + 0 + 4 = 0. Is s equal to b?
True
Let x(s) = s**3 - 23. Let v be x(0). Let j = -15 - v. Let q be (6/(-4))/(6/j). Is q < -2?
False
Suppose 0 = o + o + 36. Let f be 3/(-45)*o/3. Is f greater than 0?
True
Let v be (1/(-2))/(27/6). Let t = v - -5/18. Which is smaller: t or 0?
0
Let x(k) = k**3 + 6*k**2 - k - 3. Let o be x(-6). Suppose -m - 2*d - 4 = 0, 0 - 7 = -5*m - d. Let r = m - o. Is r at least as big as 2?
False
Suppose -1 = v - 0*v. Is v < 1/54?
True
Let q = 7.961 + 0.139. Let s = 9 - q. Let f = s - -0.1. Is 0.1 smaller than f?
True
Let w(k) = -k**3 - 8*k**2 + 9*k + 1. Let b be w(-9). Let a = 139 + -2225/16. Which is greater: b or a?
b
Let v = 17 - 18. Do v and 2/35 have the same value?
False
Let f = 57 + -56.8. Which is bigger: 32 or f?
32
Suppose -q - 9 = g, -3*g = -0*g + 5*q + 33. Let r(f) = -f**3 - 6*f**2 + 2. Let c be r(g). Is 3 greater than c?
True
Let q = -155/91 + 24/13. Which is smaller: q or 2?
q
Let n(y) = -y**3 + 7*y**2 - y + 1. Let h be n(7). Let d be 1/(-6) - (-57)/(-9). Is d bigger than h?
False
Let f = -7 + 5. Let h(w) = -w**2 + 6*w. Let v be h(6). Let d = f + v. Which is smaller: -3 or d?
-3
Suppose j - 5*j - 3*p + 166 = 0, 4*p - 168 = -4*j. Is 40 not equal to j?
False
Let f(x) = -x**3 - 8*x**2 + 5*x - 5. Let m be f(-9). Let o = -158/5 + m. Suppose 0 = z + 6 - 4. Which is greater: z or o?
o
Suppose 0 = -2*w + 5*s + 18, 16 = -2*w + 4*w - 4*s. Is w greater than 5?
False
Let d = 76 + -83. Is d equal to -5?
False
Suppose d + 25 + 2 = -2*v, -5*v - 3*d = 69. Let h = v + 16. Suppose 0 = 7*f - 3*f - 2*p - 16, 3*p = -2*f. Is f != h?
True
Let j = 3 + -5. Let w be -1*1/j*5. Is 2/7 > w?
False
Let k(o) = 5*o - 14. Let c be k(3). Is 0 greater than or equal to c?
False
Let n be 1/((-4)/16*-4). Suppose 2*u + 2*t = -3*u + 7, -5*u - 4*t - 1 = 0. Suppose 4*c = -5*k + u*c - 4, 2*k - 2*c = 8. Which is smaller: k or n?
k
Let l = 1 - -7. Let b = l - -4. Which is smaller: b or 0.1?
0.1
Let n = 9611/3 + -29179/9. Let q = n - -38. Is 0 != q?
True
Let n(y) = -y**3 - 4*y**2 + 4*y + 4. Let c be n(-5). Let t = -3 + c. Is 5 not equal to t?
True
Let m = -5 - -8. Suppose -5*l + 4*q + 40 = 0, -19 = -3*l + 2*l + m*q. Suppose l*t + 4*g - 2 = -6, 4*t + 4 = 4*g. Which is smaller: -1/3 or t?
t
Let n(i) = -i**2 - 14*i - 1. Let s be n(-13). Which is smaller: s or 14?
s
Let x = -7 + 7.16. Let o = x + -0.06. Is 0.1 greater than or equal to o?
True
Let m be ((-5)/10)/(2/(-24)). Let s be (-1 - (-9)/m)*-2. Do s and 2/75 have the same value?
False
Let m = -7 - -10. Let y be (45/(-3))/(1 - 2). Suppose 3*b = -4*r + y, -m*b - 2*r = -8 - 1. Which is greater: b or 0?
b
Suppose 10 = 5*o - 0. Suppose 2 = -4*a + o*a. Is a less than or equal to -2/13?
True
Suppose -2*t + t = -2. Let f = -3 + t. Let m be -1 + 0 + 1 + f. Does -2 = m?
False
Suppose -34 = -2*r + d, r - 6 = d + 9. Are r and 19 non-equal?
False
Suppose -2*z = -7*z + 100. Suppose 3*h - 4 = 4*h + 4*n, n = 5*h + z. Let f be ((-6)/h)/(6/16). Is 3 greater than f?
False
Let l = 12 - 20. Let n = l + 7.9. Which is smaller: -7 or n?
-7
Suppose 2*h = -h. Is h less than or equal to -0.01?
False
Let c = -0.2 - 0.8. Let s = c + -1. Is 2 at most s?
False
Let q = 5.97 + -6. Let x = q - -0.13. Which is smaller: 1 or x?
x
Let x = -0.043 + 6.143. Let c = x - -0.9. Let d = -5 + c. Is 1 < d?
True
Suppose -3*a - 2 = -a. Let t be (0 - 1)/a + 3. Suppose c - t = 3*c. Which is smaller: -3 or c?
-3
Let d be (-6)/2 + 793/9. Let o = 85 - d. Which is bigger: -1 or o?
o
Let o be ((-2)/(-6))/(11/33). Is 1/62 < o?
True
Let a = 5 - 5.17. Let l = a - -0.27. Is l at least as big as 15?
False
Let b(v) = -v. Let a be b(-5). Which is smaller: 6 or a?
a
Let f = 2.8 - -8.2. Let x = f - 10.9. Is x less than or equal to 3/10?
True
Let a(h) = -h**2 - 4*h - 2. Let k be a(-3). Suppose 4*y = -23 - 25. Let p = 13 + y. Is p greater than k?
False
Let u be (1 - (-3)/(-2))*2. Let x be 3*u - (-16)/4. Which is bigger: 2/15 or x?
x
Suppose 8*y + 4 + 12 = 0. Which is bigger: -4 or y?
y
Let a(h) be the second derivative of h**3/6 - 3*h**2 + 3*h. Let g be a(7). Which is bigger: g or 1/8?
g
Let q be (2/22)/((-1)/(-2)). Let m = 1 + -3. Let w be m - (0/2 + -2). Is w less than or equal to q?
True
Let t be 89/2 - (4 - 5). Let a be -1 - (-3)/(3/(-43)). Let q = a + t. Which is greater: q or 3?
3
Let s(d) = -3*d**2 + 1 + 1 + 2*d**2 - 3 - d. Let v be s(0). Is v < -1/16?
True
Let v = -4 - -5. Let q(w) = -4*w. Let m be q(v). Let g be 0 + (m/7)/2. Which is greater: 0 or g?
0
Let k = 0.2 - 0.2. Let t = k + -0.1. Let s be (-2)/(-21)*1 - 0. Are t and s equal?
False
Let l(d) = -2*d**2 + 19*d - 5. Let p be l(9). Is 3 at most as big as p?
True
Let h(f) = -f + 9. Let i be h(10). Is -5/6 != i?
True
Let k = 33 + -24. Is k < -0.1?
False
Let v = -4 + 7. Which is bigger: v or 0.3?
v
Let h be 121/(-18) + 18/81. Is -6 smaller than h?
False
Let u be (-1)/(-2) + 27/6 + 1. Is u >= 27/5?
True
Let s be 3/4 - 34/24. Let b = 0.02 + 6.98. Let r = b + -6.9. Is r > s?
True
Let u = 100.3 + -96. Let z = -0.1 - 3.9. Let k = z + u. Is 0.2 smaller than k?
True
Let m be -1*3/3*-2. Which is smaller: 3/2 or m?
3/2
Suppose 0 = -0*v - 2*v + 8. Let h be (-1 - 6)/(1/(-5)). Suppose -5*z + 3*g + h = -0*g, v*g + 20 = 0. Which is smaller: 1 or z?
1
Let w = 6 - 2. Suppose 5*c = -4*z + 32, 2*z - w*z - 3*c + 18 = 0. Let u = 2 + 1. Is u less than z?
False
Let v = -16 + 32. Let c be 4/10 + v/(-15). Which is smaller: 1 or c?
c
Let d be -1 + -1 - -9*3. Let q = -17 + d. Is 7 at most q?
True
Suppose 3*f - 6 = v, 4*f + 5 = 5*v - 9. Suppose 0 = 5*s - 8*s - v. Let k be 4/18 - (-62)/(-36). Which is greater: k or s?
k
Let c = 6.94 + -0.04. Let a = 7 - c. Let k = a - -0.1. Which is bigger: k or -1/5?
k
Let q be (-602)/(-3094) - 4/68*2. Let s = 0.2 + -1.2. Do s and q have the same value?
False
Let v(g) = -2*g**3 + 2*g**2 - 1. Let z be v(1). Let o = -3.9 + 4. Let d = o + 0.1. Which is greater: d or z?
d
Let w = 3 + -1. Let s = -29/20 - -27/10. Which is greater: s or w?
w
Suppose j = 5*a, -6*j + a = -j. Let y = 50/7 - 293/42. Is j less than y?
True
Suppose 4*h - 9 = -13. Is 0.8 < h?
False
Let g = -9 - -8.4. Let i = g - 0.4. Does 0.1 = i?
False
Let l = 2033/3 - 659. Let p = l - 18. Which is smaller: 0 or p?
0
Let h be ((-1)/2)/((-6)/36). Suppose -2*m + 2 = -h*m. Let r be (m/(-14))/(5 - 4). Which is smaller: 0 or r?
0
Suppose -5*d - 5 + 0 = 0. Let m = 2 + d. Let z be 12/10 + (-2)/2. Are z and m unequal?
True
Suppose -6*l = -l - 200. Suppose -n = 4*n - 5*o, -4*o = 4*n - l. Let d be (n - 6)*(-3)/(-1). Which is greater: -1 or d?
-1
Let x = 7 + -7.1. Is 3/10 < x?
False
Suppose 22*o = 13*o - 432. Which is smaller: o or -47?
o
Let l(p) = p - 3. Let z be l(6). Let f(u) = -5*u**3 - 2*u**2 - 2*u - 1. Let y be f(-1). Are z and y nonequal?
True
Let m be 2 - 0/(2 - 4). Suppose -3*t - m*o + 16 = -12, 2*t + 3*o = 27. Which is greater: 5 or t?
t
Let u(k) = k**3 + 25*k**2 + 69*k + 6. Let l be u(-22). Is l <= -60?
True
Let x = 3.5 - 0.5. Let o = -3 + x. Let d = o - 0. Is -0.3 less than d?
True
Suppose -4 = -2*y + 6. Let t be (1 - 3) + 9/y. Which is smaller: t or 0?
t
Let z = 80 - 17. Let c = z + -251/4. Is -3 greater than or equal to c?
False
Let m = -8.13 - -0.13. Let d = m - -6. Are d and -1/6 equal?
False
Let i = 0 - -0.01. Let p = i - 2.01. Let a = -4.6 - -3.6. Is p equal to a?
False
Let w = 11 - 18. Let b = -5 - w. Which is smaller: b or -1?
-1
Let x be (-8188)/(-17840) + 5/(-20). Let u = -418346/223 + 1876. Let l = x - u. Is l