0). Which is greater: -1/5 or w?
-1/5
Let z = -0.1 + 2.1. Let w = -1 - z. Which is smaller: w or -2?
w
Let v = 5 + -3. Suppose -3*d = -15 + 3. Suppose d*s + 1 = 3*y, 2*s + 4 = -3*y + y. Is y bigger than v?
False
Suppose 0*w - 3*w = -3. Suppose -r - 2*q - 6 = 0, 0*r + 5*q + 15 = -2*r. Which is bigger: w or r?
w
Suppose 0 = -2*g + 8 + 2. Suppose g*p + 2*t + 1 = 0, 18 = p - 5*t + 2. Is p equal to 1/3?
False
Suppose -4*v = 3*s - 20, -4*s = -s - 3*v + 15. Is s smaller than 3/70?
True
Let l = -7 - -3. Let q be l/(-10) + (-44)/10. Let s be (1 - 2)*1/q. Is s at least 1?
False
Let w = -0.6 - -0.63. Let l = w + -0.23. Let b = -0.2 - l. Is -2/3 < b?
True
Let k be (-16)/24 - 8/(-3). Let p = -6 + 7. Is k smaller than p?
False
Let v(g) = -g**3 - 3*g**2 - 3*g - 4. Let z(s) = s**3 + 2*s**2 + 3*s + 3. Let j be z(-2). Let t be v(j). Suppose 4*r + 0*r = t*n - 23, -2*n = -6. Is r < -2?
False
Let l = 1 - 10. Is -6 less than or equal to l?
False
Let r(z) = z + 11. Let g be r(-5). Let q be (-16)/(4/(-2)) + -2. Is q smaller than g?
False
Let q = 0.3 + -0.4. Let k = -1.1 - q. Let i = 2 + k. Is -1 not equal to i?
True
Suppose -5*n - 2*a + 26 = 0, 3*n + 3*a = -0*n + 12. Let p(g) = g - 2. Let q be p(n). Suppose -2*z + 2 = -h, 8*h - 7 = 3*z + 4*h. Are q and z equal?
False
Let h be 3/(-7) - 6/(-14). Which is smaller: h or -2/17?
-2/17
Let y(a) = -a - 4. Let d be y(-6). Let f be 0 + 0*1/d. Is -2/23 < f?
True
Suppose 2*l = -0*l + 2. Let h be -3 + (3 - 0)*l. Let r be 13/(-20) + 2/8. Is r greater than or equal to h?
False
Let y = -5 - 2. Let s = 7.1 + y. Let a = s - 4.1. Do 1 and a have the same value?
False
Suppose -a + 120 = -5*a. Let h = a - -15. Which is bigger: -14 or h?
-14
Let d be 2/(-2)*50/10. Let y = d + 6. Is y greater than -2/23?
True
Let v be (-3)/6 + 3/2. Which is smaller: -1/45 or v?
-1/45
Let u = 1.2 + -1.3. Which is greater: -9 or u?
u
Let x(v) = 9*v**2 + 9*v + 11. Let n(h) = 5*h**2 + 4*h + 5. Let f(w) = -11*n(w) + 6*x(w). Let o be f(11). Let p = -13/30 - -3/5. Which is smaller: o or p?
o
Let m = -56594 - -28523389/504. Let u = -5/72 - m. Are -1 and u non-equal?
True
Suppose -s + 2 = -0*s. Let m be 3/14 + s/(-4). Which is smaller: -1 or m?
-1
Let o = -1 - -1.5. Let n = 6 + -6.8. Let k = n + o. Is k > -1?
True
Let x = -3 + 16/5. Suppose -3*c + 8 = 2. Suppose -5 = o + u, 3*o - c*u = u + 15. Which is smaller: x or o?
o
Suppose -50 = -4*q + 46. Let m be (2/6)/(10/q). Let y(l) = -l**2 + 1. Let i be y(-1). Which is bigger: m or i?
m
Let d be ((-14)/(-6))/(3/9). Suppose -5*n = -4*n - d. Which is smaller: 6 or n?
6
Suppose -3*o + 2*o + 61 = 0. Let n = -185/3 + o. Which is greater: 2/7 or n?
2/7
Let g be ((-1)/7)/(7/23898). Let j = g - -490. Let u = j - 62/21. Which is smaller: u or -2?
-2
Suppose 0 = f + 3*f - 24. Let k be ((-8)/(-12))/((-4)/f). Which is greater: k or -2/15?
-2/15
Let r = -6.4 - -4. Let x = -0.4 - r. Which is smaller: -8/7 or x?
-8/7
Let d = 18 - 14. Suppose 4 = -3*a - 11. Let j = 8 + a. Which is greater: j or d?
d
Let y = 31 + -27. Is y greater than or equal to 0.05?
True
Suppose -4*r = 2*r - 30. Which is smaller: r or 3?
3
Suppose -5*t + t = 0. Let a = 1 - 4. Are t and a equal?
False
Suppose 5 = 2*k + 3. Which is greater: k or -34?
k
Let f = 10 + -11. Which is bigger: f or -1/12?
-1/12
Let m be -1 + -11 + 0/16. Which is greater: m or -10?
-10
Let s = -412/9 - -46. Suppose 0*j - 2*c = j + 8, -3*c = 6. Do j and s have the same value?
False
Let t = -2.941 + -0.059. Is t smaller than -1/3?
True
Suppose -75 = -9*s + 4*s. Is s > 15?
False
Let x = -13 - 5. Let a = 12 + x. Are -4 and a equal?
False
Let l = 23 + -18. Is 6 greater than or equal to l?
True
Let d(g) = -2*g + 1. Let l be d(2). Let p be l*2/(-6)*4. Let n(x) = -x**2 + 6*x - 4. Let y be n(4). Is y at most p?
True
Suppose 4*w = 4*c - c + 17, 5*c + 5*w - 30 = 0. Which is greater: c or 9/5?
9/5
Let h = 4.6 - 0.6. Let r = -4 + h. Which is bigger: r or -2/7?
r
Let h = -8 + 1. Let z be ((-70)/(-2))/(5/5). Let n = z + -43. Is h less than or equal to n?
False
Let h be 2 + 1 - (-1)/(5/(-8)). Which is smaller: h or 0?
0
Let r = -15 - -15.1. Which is greater: r or -4?
r
Let n = -2 + 2. Let y = -28.5 - -29. Which is smaller: y or n?
n
Suppose -5*r + 22 = -4*n, 1 = 2*r - 3*r - n. Let l be r/(-12)*(0 - -3). Which is bigger: -2 or l?
l
Let j be (5/(-18))/5*-8. Are j and 0 unequal?
True
Suppose 8*q - 4*q - 144 = 0. Is q not equal to 37?
True
Let r = 1 + 1. Let w be (-1109)/(-7) - r/(-7). Let d = -159 + w. Is -1 < d?
True
Let j = 20 + -19. Which is smaller: 12/5 or j?
j
Let s = -2 - -3. Let z be (2/4)/((-7)/142). Let k = z + 10. Is k at least as big as s?
False
Suppose 5*r + 6 = 7*r. Suppose -r = -3*b + 9. Which is smaller: b or 3?
3
Let h = 38 + -20. Is 18 less than or equal to h?
True
Let s be (-1)/2 - (-3)/(-6). Let b be 0 - 2 - 1/(-1). Is b less than s?
False
Let r be -6 + (-15)/(450/(-192)). Suppose 0 = 5*c - a + 4*a - 40, -4*c + 4*a = 0. Suppose q - 3 = c*o, -4*q + q - 6 = 0. Which is smaller: o or r?
o
Let y be 0 - (-1 - -4 - 5). Let f be 0*y*3/(-6). Are f and 1/2 equal?
False
Suppose 5*j + 6 = 21. Let q = 30 + -28. Is q greater than j?
False
Let u = -2.4 + 3. Let q = -0.4 + u. Let z = -1.2 + q. Is -0.1 > z?
True
Let h = -16 - -14. Are h and -4 unequal?
True
Suppose 78 = 2*r + 54. Does 1 = r?
False
Let w = -1249 - -1252. Let r be 0/(1*-1) - 2. Is r at least w?
False
Suppose v + 7 = -v - k, -v + 4*k = -10. Suppose -2*i + 0 = 4. Is i != v?
False
Let k be -9 + (-3 - 1) - -1. Which is smaller: -14 or k?
-14
Let x = 1.7 - 1.7. Which is greater: -1 or x?
x
Suppose 4*w + 45 = -4*k + 185, 5*k - 5*w - 215 = 0. Let z = k + -112/3. Which is greater: 3 or z?
3
Let j(a) = a**3 - 8*a**2 + 8*a - 6. Let v be j(6). Let w be (-1)/(-7) - v/(-63). Suppose u - 1 = 2*u. Which is greater: u or w?
w
Let t = -35 + -11. Which is bigger: 1 or t?
1
Let n(j) = -j**2 - 8*j - 8. Let u be n(-8). Let x = u - -13. Suppose -5*a - 1 = -4*t, -2*t - a + 2 = -x*t. Which is smaller: t or 2/7?
t
Let c(m) = m - 3. Let a be c(4). Suppose u + a - 3 = 0. Is u at least as big as 1?
True
Suppose -z + 2*r - 3 - 4 = 0, -3*z - 1 = -r. Let a = 987/5 - 198. Which is smaller: a or z?
a
Suppose 0 = -2*z + v + 11, z - 4*v = -3*z + 12. Let b = z + -41/5. Is 0 smaller than b?
False
Let s(m) = -m**2 + 6*m - 6. Let x be s(5). Let z be (-16)/(-12)*x/2. Is -1 > z?
False
Let w(k) = -6 + k - 12 + 1 - 1. Let d be w(16). Are d and -4 unequal?
True
Suppose -z - 8 = -0*z. Let o be 0 + (z + 2)/(-3). Let q = o + -2. Are 0 and q nonequal?
False
Let i = -1676 + 124029/74. Let s = 557/518 + i. Is 0 greater than s?
False
Let a = 0.6 + -4.6. Let y = 3.5 + a. Let w = -0.5 - y. Is w less than or equal to -3/8?
False
Let b(f) = f**3 - 7*f**2 + 4*f + 8. Let t = -15 + 21. Let u be b(t). Let z be 10/u - 3/(-6). Does -3 = z?
False
Suppose -3*n + 5*a = -0*n - 22, -5*a = 10. Suppose -5*f + 26 = 4*w, 0*w - n = 2*f - 2*w. Which is greater: 3/5 or f?
f
Suppose 0 = -3*s - 2*s + 5. Is s at least 2/9?
True
Let r be (-1 - 0)/(-2 - -3). Let j = 21 - 36. Let x be (-5)/(j/9) + -2. Which is bigger: x or r?
x
Suppose 8*c = 3*c + 20. Suppose l - c*l - 18 = 0. Which is greater: l or -2?
-2
Suppose 0*k - 3*k = -33. Let b = 12 - k. Is b <= -2/69?
False
Let f be 3/(-24)*6*-1. Let d = 15 - 11. Suppose 0*b - d*b = -4. Is f less than b?
True
Let p be 1/2 + (-18)/(-4). Let x be ((-2)/((-4)/3))/((-9)/(-120)). Let f be 6*(x/6)/p. Which is bigger: f or 3?
f
Let w = 484475403/20 + -24215414. Let n = -8360 + w. Let l = 18/5 + n. Is l <= 1?
True
Let g be 8/(-30) - (-12)/30. Which is smaller: g or -1?
-1
Suppose 0 = 3*n - 4 + 1. Suppose -n = -s + 2*s. Let u = s - -2. Which is smaller: -1/6 or u?
-1/6
Let f be (9/(-6))/(1/(-10)). Let k be 61/(-35) + f/25. Does -2 = k?
False
Let m(d) = d**2 + 2*d - 1. Let u be m(-3). Suppose 3*j + 0 - u = -2*r, -2*r + 2 = -3*j. Suppose -3*l - 12 = 0, 5*g = -5*l - 5 - 15. Which is smaller: g or r?
g
Let w(r) = r**2 + 5*r + 5. Let b be w(-4). Which is bigger: 1/4 or b?
b
Let s(p) = p**3 - 9*p**2 + p - 3. Let g be s(9). Let h be g/(-4)*(-4)/6. Let b(y) = -y - 3. Let m be b(-3). Is m less than or equal to h?
True
Let r = -464 + 461.97. Let u = -0.7 - -0.73. Let b = r + u. Is b >= -2?
True
Let r(s) = -s**3 - 6*s**2 + 7*s - 7. Let k be r(-7). Let f = k + 8. Is 1 bigger than f?
False
Let