et k be ((-6)/4)/(8/(-32)). Is k less than or equal to 6?
True
Let o = -0.454 + 0.554. Let z = -46 + 46.19. Which is smaller: o or z?
o
Suppose -5*x + 222 - 227 = 0. Suppose 0 = 5*s - 2*p - 1 - 5, 5*p - 20 = -5*s. Which is smaller: s or x?
x
Let y = 0.06 - 0.36. Which is bigger: 0.03 or y?
0.03
Let n(c) = -c**2 + 4*c + 13. Let l be n(6). Are l and 2/39 equal?
False
Let f = 73 - 72. Is f at least -30?
True
Suppose -10 = -2*p - 2*u, 0 = 2*u + 5 + 5. Is p smaller than 8?
False
Let w = 44 + -27. Which is greater: 18 or w?
18
Let o = 6/17 - 35/51. Let r be (-1)/3*(3 - 9). Let j be -3*r/(-12)*-2. Which is smaller: o or j?
j
Let k = 1.4 + -0.4. Let l = -2 + k. Do l and -4 have the same value?
False
Let s be 611/91 + (-4)/(-14). Which is greater: s or 1/2?
s
Let c = 0.7 - 0.6. Is -0.2 > c?
False
Let f(g) = -4*g - 43. Let d be f(-7). Which is smaller: d or -17?
-17
Suppose -n - 16 = -3*j + 3*n, n + 4 = 4*j. Let d = 1/127 - 275/2667. Is d >= j?
False
Let y = -155/2 - -1411/18. Let s = 3 - 3. Which is bigger: y or s?
y
Let f = 7 - 5. Which is smaller: f or 3/5?
3/5
Let i(y) = -y**3 - y**2 + y + 1. Let l be i(-2). Let d = 5 + -2. Is d bigger than l?
False
Let y(z) = -2*z + 12. Let u be y(4). Which is bigger: u or 17/5?
u
Let d(o) be the third derivative of -o**5/60 - o**4/6 + 5*o**3/6 + 4*o**2. Suppose -4 = i + 1. Let m be d(i). Which is greater: m or -3/5?
m
Let o = -4 + 6. Let k = -1 - -0.6. Let t = k + 0.2. Is o < t?
False
Let x be -46 + 46 + -1*4*1. Let l be (3 + -2)*(0 - -4). Let k = 3/2 - l. Which is smaller: k or x?
x
Let h be 2 - (19 - (-10)/(-5)). Which is smaller: -13 or h?
h
Let g be (-6)/21 + (-103)/(-238). Let f = g + 6/17. Is f at least as big as 2?
False
Let f = -9 - -8.7. Which is bigger: f or -5?
f
Suppose 0 = 2*h + 4*d + 162, h - d + 0*d = -81. Let r be h/(-90)*5/(-6). Are 0 and r non-equal?
True
Let q(y) = -y**2 + 2*y - 2. Suppose 3*u = 6*u - 9. Let z be q(u). Suppose 3*r = -2*i - 1, 5 = r + 2. Is z bigger than i?
False
Let n = 13/20 - 2/5. Which is greater: 1/2 or n?
1/2
Let d = -42 - -16. Let h = d + 25. Are h and -2 equal?
False
Let w = -15 + -6. Which is smaller: -2/5 or w?
w
Let q = -28 - -24. Let i(f) = f**2 - 6*f + 2. Suppose s - 5*w = -10, 2*s - 3*w + 4 - 5 = 0. Let j be i(s). Is j > q?
True
Let v = 6 - 1. Suppose -3*c + 2*l - 13 = 0, 2*c - v*l - 13 = c. Which is smaller: c or -4?
c
Let h = 0.41 - 0.01. Let k = 0.6 + h. Let q = -9/26 - 2/13. Which is smaller: k or q?
q
Let s = 12 + -36. Is s equal to -93/4?
False
Suppose -2*n - 5*k = -4*n - 16, 3*k - 10 = n. Which is greater: n or 1?
n
Suppose -4*k = -9*k - 70. Let h be 80/84 + 4/k. Is h < -2/11?
False
Let x = -23 - -21. Let o(u) = -u**3 + 7*u**2 - 7*u + 3. Suppose 0 = -2*v + 12. Let m be o(v). Is x at most as big as m?
False
Let v = 2 + -1. Let j = 1.1 - v. Which is bigger: j or 1?
1
Let b = 1 + 30. Which is bigger: 30 or b?
b
Let j = -0.1 - 0.24. Let q = -0.06 + j. Let x = q + 0.6. Which is greater: -1/4 or x?
x
Let n be 6*(-3)/9*(-5)/15. Which is bigger: -14 or n?
n
Let t(z) = 4*z - 1. Let w be t(-4). Which is smaller: w or -1?
w
Let a(r) be the second derivative of -r**4/12 + 7*r**3/6 - 3*r**2 + 2*r. Let g be a(5). Suppose v = g*v - 4*z + 19, 4*v = -5*z + 16. Which is bigger: -4/5 or v?
-4/5
Let s = 4 + 0. Let u(k) = 3*k - 4. Let o be u(4). Suppose -4*v + o*v - 20 = 0. Are s and v non-equal?
True
Let f be (-3)/(-9)*0*(-15)/30. Which is bigger: f or -121?
f
Let u = 1 + -1. Let m = -7 - -5. Let d = u - m. Which is bigger: -3/5 or d?
d
Let o be (-25)/(-2) - (-2)/(-4). Suppose o = 9*p - 7*p. Let q = 3 + 1. Is p equal to q?
False
Let u = -18 + 18. Let i = 0 + 2. Let z = 3 - i. Are u and z nonequal?
True
Let x(o) be the second derivative of -o**4/24 + 2*o**3/3 + o**2 + 4*o. Let a(t) be the first derivative of x(t). Let k be a(4). Which is bigger: -1/4 or k?
k
Let y be ((1*-4)/4)/2. Let g = -0.8 - 0.2. Is y greater than g?
True
Let s = 35 + -20. Let i be (-3)/(-9) - 2/s. Are i and 0 non-equal?
True
Let i = 0.81 - 0.21. Which is smaller: -1 or i?
-1
Let q = -0.02 + 0.07. Let n = -0.95 - q. Is n < 0.03?
True
Let a be -1 - -2 - 0 - 0. Let f = 64 - 190/3. Is f not equal to a?
True
Suppose 2*c + c + 3 = 0. Is 0 != c?
True
Let l = -27 + 27. Let a be (4/6)/((-1)/108). Let c = a + 362/5. Is c at least l?
True
Let g be (2 + 1)/(-3)*0. Are -4/17 and g unequal?
True
Suppose -6*z = -2*z + 20. Is z smaller than -2?
True
Let g(u) = -u**2 - 9*u - 8. Let m be g(-8). Is m smaller than -1/5?
False
Let k = -0.46 + 2.86. Do k and 0.2 have the same value?
False
Let a be ((-14)/(-5859))/(-3*(-3)/27). Does -1 = a?
False
Let k = 17 + -9. Let i be (k/(-22) - 0)*-1. Suppose -w - 2*w = 0. Which is smaller: w or i?
w
Let t be (-5)/(-4) + -8 + 7. Which is smaller: 0.1 or t?
0.1
Let b(w) be the second derivative of w**4/12 - 2*w**3/3 + w. Let r be b(4). Which is smaller: 3/7 or r?
r
Let f = -62 + 61. Suppose -2 = -3*c + 10. Let w be -2*(c/(-10))/2. Which is smaller: f or w?
f
Let n = 9979 + -4560405/457. Is 0 at least n?
True
Let q = -65 + 66. Are q and 1/2 nonequal?
True
Suppose -5*p = -2*o - 2, -4*p + 1 = 4*o + 5. Is p bigger than -2/9?
True
Let f = 161 - 170. Which is bigger: -19/2 or f?
f
Let o(g) = g**2 - 6*g + 10. Let b = -4 - -9. Let c be o(b). Which is greater: 2 or c?
c
Suppose 3*w + 4*v = 2*w + 14, 5*w + 2*v - 34 = 0. Is w at most as big as 5?
False
Let x = -4.1 - -3.1. Let t be 2/6*(-3)/(-7). Which is bigger: x or t?
t
Suppose -3*y - 2*y = 0. Are y and 2/5 nonequal?
True
Let u be (-4)/(-6)*(-9)/(-2). Suppose 0*c = -u*c. Let v be (-12)/10 + (-3)/(-15). Is v at least c?
False
Suppose 5*r + a - 1 = 2*a, -5*r = 3*a + 3. Suppose -4*u = -o + 1, 0 = o + u - 0*u - 6. Suppose r = o*f - 0*f. Is 2 < f?
False
Let w = -122 - -603/5. Is 0 greater than w?
True
Let p be (3 - 4)/(4/(-1)). Are p and -4/5 equal?
False
Let w be ((-4)/(-12)*0)/(-2). Suppose -s + w = -a + 6, 5*a = -2*s + 30. Which is bigger: 7 or a?
7
Suppose 5*m = 5*r - 0*m - 25, -2*r - 4*m = -10. Suppose -6 + 24 = 5*i - 4*p, -4*i - r*p = 2. Which is greater: -2 or i?
i
Let y = 77 + -77. Let v be (-2 - -73)*(-374)/50. Let q = -531 - v. Do y and q have different values?
True
Suppose -r - 2 = -2*c, 12 = -2*c - 3*r - 2. Let k = -0.9 + -1.1. Let f = 1.7 + k. Which is greater: c or f?
f
Let k = 23 + -33. Suppose h = 3*y - 5*y - 18, -3*y - 27 = 2*h. Which is bigger: y or k?
y
Let c be (-3920)/(-208) - 4/(-26). Which is bigger: c or 18?
c
Let b be (15/(-18))/(18/24). Is b greater than -2?
True
Let t be 1 + 2 - 11 - 1. Let f be (0 + -3)/(3/2). Let s be (6/t)/(f/3). Are s and 2 unequal?
True
Suppose 0*f + 4 = 4*f. Let h = -103 + 929/9. Does f = h?
False
Let p = -6 - -6. Let b(q) = -q**3 - q. Let d be b(p). Is d != 1/6?
True
Suppose 42 = -0*r + 2*r. Let o be (r/(-30))/(-7)*-3. Which is bigger: o or -1?
o
Suppose 5*c + 6 = 4*c. Let b(s) = -1 - 4*s - 6 + 2*s + s. Let f be b(c). Is -1 at least as big as f?
True
Let j(x) = 7*x + 14 - x**2 - 7 + 2*x**2. Suppose -5*d - 38 + 13 = 0. Let c be j(d). Which is greater: c or -4?
c
Let z be (-2 - (-2)/(-1)) + 5. Let t be 3 - (-219)/144*-2. Are t and z non-equal?
True
Suppose -25 = 5*i - 35. Suppose 2*b - d = -2, -3*d = b - 5*b - 4. Which is bigger: i or b?
i
Suppose -13 = 5*z + 2*w, 4*w + 13 = 3*z - 0*w. Which is smaller: z or 1?
z
Let l be (-13)/3 + (-1)/(-3). Which is bigger: l or 0?
0
Let m = -1 - 0. Let b be (-8)/10 - 4/(-10). Is b smaller than m?
False
Suppose 1 - 5 = -2*c. Suppose -3*m = c*m. Is m greater than -2/13?
True
Let h be 0/((-2)/(-3)*-3). Suppose -3*x = 4*d - 5*d, h = d - x. Is -6 at least d?
False
Suppose 0*m + m - 33 = 0. Suppose -5*g + m + 17 = 5*a, -5*g - 15 = 0. Let o = a - 4. Which is smaller: 8 or o?
8
Suppose 5*x - 2*x - 66 = 0. Is x greater than 24?
False
Let u(w) = -w - 7. Let y be u(-6). Let h be ((-2)/(-8))/(10/(-12)). Is h bigger than y?
True
Let j be (-1)/2 - 85/(-10). Let u be ((-48)/(-15))/(4/10). Is u at most j?
True
Suppose -7 = 6*z - 1. Which is smaller: z or 29?
z
Let d be (21/(-4))/(3/(-14)). Let r = -24 + d. Is r greater than or equal to 0?
True
Let x = 23 + -22.9. Which is smaller: x or 3?
x
Suppose -5*h + 15 = -3*h + 5*j, -4*h - j = -39. Let k be (4/h)/((-63)/15). Let a = 2 + -1. Which is smaller: k or a?
k
Suppose 2*w = 2, 4*l + w = -0*l + 29. Which is smaller: l or 58/7?
l
Let a =