be w(s). Is u greater than or equal to m?
True
Let z = 10 + -9. Let r = 0.1 + -0.5. Let y = 0.6 - r. Is z > y?
False
Let l be ((-4)/(-6))/(12/90). Is 6 equal to l?
False
Let s(g) = g - 5. Let m be s(5). Suppose m = 5*t + 3*q - 8, -t + 1 = -3*t + 3*q. Suppose -3*p - 7 = 4*r + 4, 12 = 2*r - 2*p. Is r bigger than t?
False
Let w = -33 + 57. Let g be (-1)/(-3) - w/18. Which is greater: 3/16 or g?
3/16
Let b = -3 - -2. Let n be (3 + -2)/1*b. Let g be n + 4 - 24/7. Which is smaller: -1 or g?
-1
Let i = 3 - 6. Let o(v) = v**3 + 7*v**2 + 6*v - 1. Let x be o(-6). Let a be ((-9)/12)/(3*x). Which is smaller: a or i?
i
Let f(d) = d**3 - d**2 + 4. Let t be f(2). Let w(o) = -o**3 + 8*o**2 - o + 10. Let g be w(t). Is 4 <= g?
False
Let j = -276/5 - -55. Is j >= 1/10?
False
Let o be (-2 + 0 - -2)/(-2). Let r = 1 + o. Suppose -5*x = 5*t, t = -x - x + r. Is t less than -3?
False
Let o = 4.5 + -3.5. Let d be (-3)/(-15) + (-34)/20. Which is smaller: d or o?
d
Let j = -38 + 15. Which is greater: j or -1/2?
-1/2
Let s = 1 - 1. Let w = 0.5 + s. Let x = -1 + 1. Is x greater than or equal to w?
False
Let t = 2.97 - -0.03. Let q = 3.5 - t. Let x = q - -3.5. Which is smaller: 2/7 or x?
2/7
Let w be (-44)/(-12) - 1/(-3). Let b be (-4)/14 - w/(-14). Let u = -37/21 + 13/14. Is b bigger than u?
True
Let q = 1 + -0.7. Let v = q + 0.7. Let z = 0.12 - 0.02. Is v less than or equal to z?
False
Suppose 0 = -4*x - 0*x - 4*y + 88, -4*x + 52 = -5*y. Suppose -4*d - 22 = -3*j + 2*j, j = -4*d - x. Which is smaller: 3 or j?
j
Let y = -8 + 5. Let g be (-2)/1 - (3 + -4). Let x(l) = 2*l**3 - 2*l**2 - l. Let z be x(g). Is y not equal to z?
False
Suppose -m = m - 5*r + 26, 0 = -5*r + 20. Which is smaller: m or -13/7?
m
Let v be (-21)/(-10) - (-12)/30. Let o be (1/2 - -1)*2. Which is smaller: v or o?
v
Let j(k) = -k**2 - 2*k - 1. Let u be ((-2)/(-6))/((-2)/6). Let v be j(u). Is 0 at least v?
True
Let n = 0.65 + -3.55. Let s = 3 + n. Which is smaller: 0 or s?
0
Let u be 1/(-1) - 40/(-28). Let c = -1 + 1. Suppose 5*j - 3*o + 2 = c, 3*o - 2*o + 5 = -4*j. Which is smaller: j or u?
j
Let r be 21/6 - 1/2 - 1. Which is bigger: r or -1?
r
Suppose -15 = 2*i - 5*i. Let r(j) = -j**3 + 5*j**2 - j + 3. Let k be r(i). Let u = 3 + k. Do u and 0 have the same value?
False
Let g = -20 - -32. Let v(r) = -r**2 + 27*r + 102. Let f be v(30). Are f and g unequal?
False
Let p = 53 - 479/9. Are p and -1/3 nonequal?
True
Let r = -0.3 + 1.2. Let i = -4 - -5. Let f = r - i. Which is smaller: f or -3?
-3
Let s be 3*(-2)/(-3) - (-40)/(-18). Which is smaller: s or -1?
-1
Let r(s) = -s - 105. Let p be r(0). Let l be (-2)/(-3) - (-412)/p. Let m = 20/7 + l. Which is smaller: 0 or m?
m
Let w = 508 + -508.1. Let u = -0.1 - -0.1. Which is bigger: u or w?
u
Suppose -3*z - 1 = y, -5*z + 2*y - 4*y = 1. Suppose -9 = -d + 4*r - 14, -3*r + 20 = -4*d. Is d greater than z?
False
Suppose -10 = 2*p + 8*p. Is 3/19 at least p?
True
Let m be (-30)/20 - 1/(-2). Is m bigger than 1?
False
Let g = 20 - 11. Let h = -8 + g. Is h at most as big as -10?
False
Let n = 2/11 - 15/22. Let g = -13 - -11. Let z = g - -2.3. Is n at most z?
True
Let v be -2 - (2 + -2 - 4). Let n(a) = 8 + v*a - a - 2*a. Let d be n(8). Are -1 and d unequal?
True
Let j = 1111/6 - 187. Are j and -2 nonequal?
True
Let o(y) = y. Suppose -k - 2*f - 4 = 0, 1 = 3*k - f - 8. Let s be o(k). Suppose -2 = -4*n - 5*b, -4*n + s*b + 16 + 0 = 0. Which is bigger: 1 or n?
n
Let p = -19 + 21. Is 3 greater than p?
True
Let k = -3/80 + -11/1840. Is k at least 1?
False
Let q be 0/((-8)/4 - -4). Let p be -1*(-4 - -3)*q. Is -2/31 greater than or equal to p?
False
Let o = 837 - 7519/9. Which is greater: o or 1?
o
Let z = -45 + 28. Let d = -19 - z. Which is smaller: 0 or d?
d
Suppose 3*j + 9 = x, -4*j - 7 - 5 = 2*x. Is -18 >= j?
False
Let j(m) be the first derivative of m**4/4 - m**3 + m**2/2 - 4*m + 3. Let b be (-5)/(-1) - (2 + 0). Let d be j(b). Do 2/7 and d have the same value?
False
Let r = 6 + -3. Are 0 and r non-equal?
True
Let x = -109/4 + 27. Let j = -0.06 + 0.06. Is j less than or equal to x?
False
Let n = -6 + 11/2. Let b = 159278 + -33766997/212. Let k = b + 2/53. Is k less than n?
False
Let x = 1.8 + -0.8. Let d = -0.9 + x. Is d less than or equal to -0.1?
False
Let g(i) = -i + 10. Let p be g(13). Let v be 10/(-3)*p/(-8). Is v equal to -1?
False
Suppose -2*l = -4*c + 56, -3*c = -5*l - c - 164. Is -36 bigger than l?
False
Let p be ((-1)/1)/1*-5. Let x be (-6)/(-12) + p/(-6). Is 1 < x?
False
Let w(i) = -2*i - 14. Let s be w(-10). Let q = -6 + s. Which is smaller: q or 1?
q
Let p(d) = -2*d**2 - d + 7. Let q be p(0). Let g = 1 + 6. Is q less than g?
False
Suppose -30 = 3*w + 2*w + 3*r, 0 = r - 5. Are -8 and w equal?
False
Let f = -1.51 - -1.4. Let o = f + 0.01. Is o at least 2/7?
False
Suppose 0*y + 3*y + 7 = -4*v, 0 = 5*v - 2*y - 20. Let x = 4 - v. Suppose 3*q + 3*m = -2*q - x, -m = q + 2. Which is bigger: q or 1?
q
Suppose 8*x - 611 = -107. Is x less than 63?
False
Let w be 3 - (1 - 3 - 14). Let h = w - 59/3. Do -2 and h have the same value?
False
Let w(z) = -z**3 - 8*z**2 + z + 11. Let u be w(-8). Suppose -u*s + 6*s = -45. Let l = s - -11. Which is smaller: -5 or l?
-5
Let w = 29 + -11. Which is smaller: 0.1 or w?
0.1
Suppose -5*s = -s - 4. Let i = s + -2. Which is bigger: -2 or i?
i
Suppose -4 = -3*u + o + 33, u - 2*o = 14. Is u less than or equal to -1/4?
False
Suppose c + 5*x = 141, -3*c - 2*c = -4*x - 647. Let w = -2752/21 + c. Which is greater: w or 0?
0
Let c = 0.07 - 0.67. Let z = -0.5 - c. Which is smaller: z or 1/2?
z
Let n = -29/62 + -1/31. Let t(f) = 3*f - 27. Let s be t(9). Which is bigger: s or n?
s
Suppose -6 = -4*n + 2*n. Suppose n*y - 4*h + 12 = 0, -4*y + 2*h = y + 6. Which is bigger: y or 3/5?
3/5
Let k = -3095/99 - 7/99. Let b = k + 31. Let f = 81 + -569/7. Is f >= b?
True
Let p = 3 + -2. Let t = 1 - p. Is t not equal to -1/5?
True
Let l = -2/7 + 1/28. Let u = 0 + 0. Does l = u?
False
Let f be (7 + -1 - 1)/1. Suppose 4*l - 23 = -3, p - 17 = -f*l. Which is smaller: p or -7?
p
Suppose m - 2*m = 0. Let o be (m + 0)/(2 - 3). Let u be (-5)/3*3/(-15). Which is smaller: u or o?
o
Let u = -16/5 + 152/35. Is u >= -0.1?
True
Let s = -17/24 + 3/8. Which is smaller: 0 or s?
s
Suppose -2*r = -3*r + 2. Let g(b) be the third derivative of -b**6/120 + 7*b**5/60 - b**4/6 - b**3 + 6*b**2. Let t be g(6). Which is bigger: t or r?
t
Let i be 9/((-15)/(-5))*-3. Which is bigger: i or -10?
i
Let i = -3 + 2.9. Which is smaller: 8/3 or i?
i
Let r = 12.7 - 13. Which is greater: r or -0.2?
-0.2
Let o be (-78)/144 + (-4)/(-6). Which is smaller: 1 or o?
o
Suppose -2*i - 3*x + 1 = 0, 11 = 5*i - 2*i - 5*x. Suppose -4 + 16 = i*f. Let g = f - 6. Is 2/7 at least g?
True
Let p = -1.52 - -1.12. Let m = -0.1 - 0.9. Which is greater: m or p?
p
Let a = 8.07 - 8. Let z = a + -0.07. Is -1/4 < z?
True
Let i(b) = -b**3 - 11*b**2 + 12*b - 1. Let n be i(-12). Which is smaller: n or -12/17?
n
Let x = 134 + -189. Is x greater than or equal to -56?
True
Let l = -11.3 - -10.3. Which is bigger: -32 or l?
l
Suppose -v + 4*p = 4*v - 66, 4*p = 2*v - 24. Suppose 2*b - 40 = 5*g, 0*b - 2*b = 4*g + v. Let i = g - -8. Which is greater: 3/4 or i?
i
Let o(d) = 2*d**2 + d + 5. Let y be o(-5). Let m = 152/3 - y. Is m at most 2?
True
Let q(y) = -y - 11. Suppose -2*j + 3*j + 12 = 0. Let l be q(j). Which is bigger: -2/5 or l?
l
Let f(i) = i**2 - 6*i + 4. Let n be 20/8*(-1 - -3). Let y be f(n). Are -3/2 and y nonequal?
True
Suppose -3*u + 16 = -t - 4*u, 2*u + 21 = -t. Let q be 3/(-2) + t/(-2). Which is smaller: q or 3?
3
Let t be (2 + 1)/((-2)/(-14)). Suppose -4*q + 1 = -2*b + t, -5*b + 15 = -3*q. Which is greater: b or -1/3?
b
Let s = -4 + 4.5. Let m be 0 - -2*(-1)/6. Is m less than or equal to s?
True
Let b = -88 - -27. Is b < 0?
True
Suppose -53*y - 168 = -46*y. Which is smaller: -21 or y?
y
Let u = -1.3 - -1. Let t = -0.103 + -2.847. Let y = t + -0.05. Which is smaller: y or u?
y
Let m = -12 + 11.9. Is m bigger than -18?
True
Let a(p) = 6*p - 9. Let g be a(3). Which is bigger: 12 or g?
12
Let o be (-1)/((-1)/4) + 2. Let z be o/(-10)*80/(-8). Let r = 18 - 13. Do r and z have different values?
True
Suppose 0*i = 4*d + 4*i + 24, -2*d - i - 10 = 0. Let r be (-6)/d*(-192)/18. Let q = 11 + r. Is q at most as big as -4?
True
Let t(x) =