*2/2 + 7*f - 4. Let o be i(6). Let k be (-6)/(-21)*o*1. Is k at most 0.1?
False
Let y(p) = p + 6. Let h be y(-6). Suppose 4*r = -3*d - h + 2, 0 = -5*d - 4*r - 2. Let m be 2*(-1 - d) + -4. Which is smaller: -3 or m?
-3
Let c = 242/5 + -48. Suppose -2*d = 2*d. Are d and c non-equal?
True
Let f = 19 + -14. Suppose -2*k + f*k = -4*n - 6, 3*n - k = -11. Which is smaller: -4 or n?
-4
Let n = 0.1 + 0.1. Suppose 2*q = q. Let h be (-1)/(1 + q) - 0. Which is smaller: n or h?
h
Let x(j) = -j**3 + 3*j**2 + 2*j - 4. Let t be x(3). Suppose -2*z = -7*z, -6 = -t*d + 4*z. Which is smaller: 2 or d?
2
Let g = -2.07 + 0.07. Does g = 1?
False
Suppose 3*z + 44 = -z. Is -11 equal to z?
True
Let n = -43/3 + 14. Let b(a) = -a**2 - 6*a - 5. Let o be b(-5). Which is smaller: o or n?
n
Let q = 17 + -30. Let j = q - -8. Suppose -4*n = -2*n + 10. Is n bigger than j?
False
Let s be -1 - (9/2 + -2). Which is greater: s or -5?
s
Let s = 1.03 + -0.03. Which is smaller: -2 or s?
-2
Suppose -3*t - 4*z - 23 = -10, 2*t - 5*z = 22. Let y be (1/6*2)/t. Is y less than 0?
False
Let d = 317/7 + -45. Is 0.06 less than d?
True
Let g = 1531/13 + -118. Which is greater: -0.2 or g?
-0.2
Suppose -7*k = -6*k - 3. Is -2 at least as big as k?
False
Let j = 0 + 3. Let u(w) = j - w**2 + 0*w - 1 + 0*w. Let g be u(2). Are g and -1 equal?
False
Let k be ((-2)/42)/(4/8). Is k at most 2/5?
True
Let i = -2 + -51. Are 1 and i non-equal?
True
Let c = 202121/7 + -28618. Let t = c - 256. Let r = -3 + 4. Which is smaller: t or r?
t
Let a be 56/(-6)*3/(-2). Let u be (-1 - 2)*(a + -11). Which is smaller: -8 or u?
u
Let r = -2.4 + 2.1. Suppose -3*t - q = -8*t + 1, -3*t + 3*q = -3. Is r at least as big as t?
False
Let k(i) be the second derivative of i**4/12 + i**3/6 - i**2/2 - 2*i. Let v be k(-2). Let b = 61 + -1767/29. Which is smaller: b or v?
b
Suppose 0 = -4*x - 0*x + 8. Let r = x - 2. Let d = -4 + 3.9. Which is bigger: d or r?
r
Suppose 0 = 5*g + 3*x + 23, 4*x = g + g + 30. Is -7 greater than g?
False
Let c = 0.08 + 0.02. Do -6 and c have the same value?
False
Let a = 4610/7 - 660. Let q be (-218)/84 - 4/(-6). Let n = a - q. Is 1 at least as big as n?
True
Let w(y) = -5*y + 1. Let q be w(1). Let n be 2 - 4 - (q - 0). Suppose 1 = -n*d - 3. Which is smaller: -3 or d?
-3
Let d be (-2386)/(-2370) + 11 + -12. Let w = 10/79 + d. Is w >= -1?
True
Let j = 9 - 16. Let s = j + 7. Which is greater: s or -2/19?
s
Let h = 156 + -1094/7. Which is smaller: h or 1/8?
h
Suppose 4 = -t + 7. Let v be (4/10)/(t/30). Suppose -l + 2*f = -1, -v*l = -2*l - 2*f + 2. Which is greater: -4 or l?
l
Suppose -4*w + 0*d - d = 19, -2*d = 4*w + 18. Let s be -2 - (4 + -6) - (5 - -1). Which is bigger: s or w?
w
Let q(k) = -k**3 - 9*k**2 - 7. Let t be q(-9). Is t <= -2?
True
Let v = -30 + -8. Is v < -38?
False
Let w = 12.3 + -2.3. Are w and 2 nonequal?
True
Let d(v) = -v**2 + 9*v - 7. Let p be d(7). Is 4 greater than or equal to p?
False
Let y = 9.3 + -0.3. Are y and -0.1 non-equal?
True
Let o = -1.2 + 1.9. Let l = 5.3 + o. Let i = l - 5. Is i equal to 2/3?
False
Suppose 5*d + h + 15 = 0, -2*d + d + 4*h = -18. Let n be d - (6/(-3) + 1). Is -2 at least as big as n?
False
Suppose 0 = -2*u - 3*h - 14, 5*u - 3*h = -h + 3. Suppose -3*q = 5*m - 0 - 5, 0 = 5*m - 5. Which is greater: q or u?
q
Suppose -2*l + 3 = -5. Suppose 2*v = 3*t + t - 18, -l*t + 13 = 3*v. Which is bigger: 0 or v?
0
Suppose -5*k = -x - 41, 0 = k + x + 4 - 11. Suppose -w + 1 + 7 = 0. Is w smaller than k?
False
Let z = 24 + -23. Which is greater: 13/6 or z?
13/6
Let f = 3 - 2. Which is smaller: -0.14 or f?
-0.14
Let w be (-4)/(-24)*-3*-8. Suppose w*q - 4 - 12 = 0. Which is smaller: q or 0.1?
0.1
Let a(g) = -g**3 - 5*g**2 - 5*g - 4. Let o be a(-4). Let h = 75 + -76. Which is smaller: h or o?
h
Let n(b) = b**2 - 6*b. Let j be n(6). Suppose 2*i = -j*i - 4. Let r = 5 + -7. Is i not equal to r?
False
Let p be (-32)/18 - (3 + -5). Is -1 less than or equal to p?
True
Suppose 5*m - 21 = 2*m. Suppose 0 = 2*d - 4*z + z - 3, z = -5*d + 16. Let c be (6/9)/(m/d). Which is smaller: 0 or c?
0
Let a(v) = -v**2 - 5*v + 7. Let n be a(-6). Let d = 121/4 - 30. Which is bigger: n or d?
n
Let o be -1 - (0 + -2 - 0). Let q = 32 - 75. Let u = 89/2 + q. Is o at most as big as u?
True
Let c = 2 + -1.8. Let b = 87/2 - 41. Let z = -9/4 + b. Which is smaller: z or c?
c
Let z(o) = -o + 2. Let m be z(1). Is -0.08 at least m?
False
Let o(u) = -u + 7. Let h be o(7). Is -1 bigger than h?
False
Let h(v) = 2*v**3 + 2*v**2 - 6*v - 2. Let r be h(-3). Which is smaller: -21 or r?
-21
Let h = 14/19 - 113/76. Let g be (-44)/(-8) + 1/2. Suppose 0 = -2*d + 5*u - 3*u + g, 4*u + 20 = 0. Which is smaller: d or h?
d
Let l = 0.637 + -0.68. Which is smaller: 2/5 or l?
l
Let m = -2 - -3. Let q = -4.199 - -0.099. Let a = -4 - q. Which is smaller: a or m?
a
Suppose v + 1 = 4. Suppose -6*w + v*w = -48. Which is bigger: w or 15?
w
Let g be (-1 - 0) + (-21)/(-15). Let l = -8 + 8.07. Let x = 0.27 - l. Is x <= g?
True
Let n be (-2)/4*((-20)/(-5) + -4). Is n > 1/16?
False
Let p = 15698/73 + -215. Let o = 179397004/365 - 491499. Let w = p - o. Which is bigger: 0.2 or w?
w
Let i(d) = -d - 2. Let n be i(2). Let q = 4 + n. Is 2/3 greater than q?
True
Let c = 61/28 - 10/7. Are c and -0.3 equal?
False
Suppose 91 = 2*x + r, -2*x = -5*x - 5*r + 154. Which is smaller: 42 or x?
42
Let k(s) = 12*s**3 - s + 1. Let l be k(1). Let o be -1 - (-3)/(6 + -3). Which is bigger: l or o?
l
Let a be ((-6)/4)/(51/(-34)). Is -1/16 < a?
True
Let l = 2646/2365 + -6/215. Which is bigger: 2/5 or l?
l
Let i(z) = -z - 10. Let k be i(-10). Suppose -4*n = 16, 5*a - 2*n = -0*n + 18. Let r be 0/a - 0 - -1. Which is greater: k or r?
r
Let m = 6.8 - 7.4. Let d = 1 - 0.9. Let a = d - 0. Which is greater: a or m?
a
Suppose 3*c = -2*k + 9, 4*c - 3 = 3*c - 5*k. Suppose c*y - 4 = 5*y. Let m = 5 + y. Are 4 and m non-equal?
True
Suppose 22 = -p + 2*p + 3*x, 5 = x. Which is smaller: 8 or p?
p
Let v = -357 - -2495/7. Which is greater: -2 or v?
v
Let n = 66 + -62. Is 10/3 at most n?
True
Suppose -j + 5*b = -25, 5*j = -0*b - b + 73. Let x be (-11)/j + (-12)/(-30). Is x > 3/4?
False
Let g = -9 - -8. Is 2/17 <= g?
False
Let g(t) = t**3 + 5*t**2 - 7*t - 9. Let m(i) = -6*i**2 + 2*i + 2. Let r be m(-1). Let y be g(r). Suppose d + 19 = -4*o, 0 = -5*d + 4*d + 4*o + 13. Is y < d?
False
Suppose 13*g - g + 732 = 0. Is g >= -61?
True
Let c(f) = -3*f + 55. Let r be c(21). Let s = 18 + -25. Which is smaller: r or s?
r
Let d = -4316/5 + 860. Is -4 smaller than d?
True
Suppose 21*s = 42 - 0. Let f(v) = -v**3 - v**2 + 2*v + 1. Let o be f(-2). Let u(d) = -d**3 + 2*d**2 - d. Let k be u(o). Are k and s nonequal?
True
Let x be ((-4)/(-6))/((-76)/(-36) - 2). Is 38/7 less than x?
True
Let s = 7.3 - 6.3. Is -15/7 greater than s?
False
Suppose -z = -5 + 6. Let s(a) = -2*a - 3 + 4 + 3 - 3. Let o be s(2). Is z greater than or equal to o?
True
Let w be 36/(-126) - (-40)/(-7). Is -2/3 at most w?
False
Suppose 3*r + 5*f = r + 9, 5*r + 2*f - 33 = 0. Let h = -6 + r. Is h at least 2?
False
Let r = 6.033 + -0.033. Which is smaller: -0.1 or r?
-0.1
Let x = 17 + -19. Which is smaller: -1/2 or x?
x
Let m be ((-20)/75)/(-3 + 2). Is m at least 0?
True
Let g(t) = t**3 + 7*t**2 - t - 7. Let s be g(-7). Let z = -196 - -3334/17. Which is smaller: s or z?
s
Let w(y) = y + 0*y + 5 + 0*y. Let t(o) = o - 2. Let g be t(-4). Let f be w(g). Are f and -3/2 non-equal?
True
Let t be ((-2)/18)/(399/(-99) - -4). Which is bigger: -3 or t?
t
Let r be ((-9)/1)/(-3) - 39/15. Suppose -3*o - 19 = 4*p, -5*o + 2*p + 2 = -1. Is r greater than or equal to o?
True
Let g be 15/(-2)*(-20)/6. Suppose -m + 0*k = 3*k + 14, -g = -5*m + 4*k. Is 1/9 bigger than m?
False
Let t be (94/20)/(402/(-195)). Let o = -2/67 - t. Let g = 73/36 - o. Which is smaller: 0 or g?
g
Let y be 0*(10/(-4) - -3). Let g = y - -1. Let q be (-1)/(g/(-2)) - 1. Which is bigger: q or -1/4?
q
Let n = 8 + -6. Suppose 0 = -2*b + n + 2. Is 1 greater than or equal to b?
False
Let y be 5/8 - (-2)/(-4). Is -1 greater than y?
False
Let x = -0.1 + 0. Let n be ((-12)/(-128))/((-3)/(-2)). Let z = n - 35/48. Is z equal to x?
False
Let c = 0.61 - 11.81. Let k = 11 + c. Is 2 greater than k?
True
Let x = 107 + -106.8. Are x and 18 unequal?
True
Let v = -99 - -199/2. Which is smaller: v or -0.01