be w(2). Which is smaller: 1/4 or c?
c
Let j be ((-7)/((-14)/(-4)))/(-8). Suppose -8 = q - 2*k, 12 = 2*q - 0*k + 3*k. Suppose 0 = -2*l - 0*g - 2*g - 6, q = -2*l - 3*g - 9. Which is smaller: l or j?
l
Let j be 1/5 - (-59)/5. Let q = -11 + j. Let w be 17/8 + -2*1. Which is smaller: w or q?
w
Let j = -28 + 56. Let b be 10/(-7) - (-12)/j. Which is smaller: b or -2/25?
b
Let a be 4/(-14) - (-240)/(-42). Let c be (-1)/6*(-9)/a. Suppose -5*q = -2*q + 3. Is c <= q?
False
Suppose -3*s + 2*l - 9 = 0, 4*l + 2 = 3*s + 17. Let a = 17 - 18. Is s < a?
False
Suppose -3*x + 10 = 2*x. Suppose -x*m + m + 16 = 0. Let j be (-28)/m - 1/4. Is 0 <= j?
False
Let h = 3/4 + -41/44. Which is bigger: -3 or h?
h
Let o be ((-8)/20)/(0 + 1/(-140)). Which is greater: o or 57?
57
Let l be (-1)/(-1 - (-6)/9). Suppose l*f + 20 = -f. Let g = f + 7. Are g and 1 nonequal?
True
Let l(w) = -w**3 - w**2 + 2*w + 4. Let g be l(-2). Do g and 4 have the same value?
True
Let n = 0.118 + -7.818. Let h = -8 - n. Is -2/3 bigger than h?
False
Let c = 0 + -1. Is -2/27 greater than or equal to c?
True
Let g = -7 - -3. Which is smaller: g or -3?
g
Let m be 6/(-9) - 52/3. Let c be 6/27 - 8/m. Let y be ((-4)/(-6))/((-24)/18). Which is greater: y or c?
c
Let q be (1 + 2)/((-3)/(-2)). Suppose 2*z + 22 = q. Which is greater: z or -9?
-9
Let h = -0.12 - 4.88. Let d = 0.5 - 5.5. Let i = -4 - d. Which is smaller: h or i?
h
Let o = -1.14 + 1.11. Is o smaller than 1/2?
True
Let j be ((-1)/(-4))/((-12)/48). Which is greater: -3 or j?
j
Suppose -4*v - 6 = -3*v. Let u = -577 - -572. Is u equal to v?
False
Let o be 22/(-18) + (-1)/((-45)/10). Do o and -1 have different values?
False
Let i be 0*1/(-3) + -3. Let n = 2.94 - -0.06. Let b = -2 + n. Which is greater: b or i?
b
Let j(i) = 2*i. Let k be j(-5). Let f = -7 - k. Which is greater: f or 1?
f
Let p(b) = -b**3 - 7*b**2 + 9*b - 4. Let o be p(-8). Let v be (6/4)/(o/16). Let l be (4/10)/(v/10). Which is smaller: l or 0?
l
Let c = -14 - -6. Is c greater than -9?
True
Let r be -2*(-3)/6*6. Let y = r - 5. Is -4/9 less than y?
True
Let u = 7 - 4. Suppose 0 = -3*b - u. Let n(c) = c**3 + c**2 + c. Let x be n(b). Is x equal to -1/7?
False
Suppose -b + 32 = -4*m + 237, -5*m + 235 = 3*b. Which is greater: 51 or m?
51
Let h = 10 + -16. Suppose -4*y - 2*d - 20 = 0, 2*y + 2*y + 20 = -3*d. Is y at least as big as h?
True
Let d = -16 + 16.1. Let r = 7 - 3. Is d equal to r?
False
Suppose 4*o = 3*y - 23, 2*o + 14 = -5*y + 61. Let c = y - 5. Suppose -m + 5*m = c. Which is bigger: m or -2/5?
m
Let l = 2.6 - -7.4. Let s = l - 9. Which is smaller: s or 6?
s
Let m = 0.25 + 0.05. Let n = 0.4 - m. Let d = -0.3 + -0.7. Which is smaller: n or d?
d
Suppose 0 = -3*u + 4*b - 0 + 7, 1 = -b. Let n = 121369/2120 + 1/2120. Let d = n + -57. Which is smaller: u or d?
d
Suppose -31 = -5*b - 11. Suppose 0 = u + b*u - 30. Let p be 2 - u*2/9. Is 0 < p?
True
Let q = 5 + -4.7. Let u = -159 + 161. Is q at least as big as u?
False
Let x be (-4 - -5) + 8/(-2). Let i = -6 - -3. Are i and x non-equal?
False
Let i = 1.2 - 0.4. Let s = -10 - -21/2. Which is greater: i or s?
i
Let g be 10 - 8 - (-7 - 0). Suppose 3*z - g = 2*l - 1, 5*l + 20 = 2*z. Let m be 2/(-5) - (-6)/(-10). Is z != m?
True
Let n = -19 + 24. Suppose n*b + 2*t - 1 = -0*t, 4*b = -4*t + 8. Is -6 < b?
True
Let m = -3 - -5. Suppose -2*r - r + 9 = 0. Is r at most m?
False
Let k(h) = h**3 - 2*h + 2. Let x be k(1). Is -2/47 less than or equal to x?
True
Suppose -2*h + 3*w = -2, w - 16 = -3*h + 9. Which is smaller: 8 or h?
h
Let q = -3 - -1. Let h = -145 - -67. Let a = -550/7 - h. Is a at least q?
True
Suppose 10*o - 6*o = 0. Is 12 < o?
False
Let p = 10 + -6. Suppose x = 5*x - p. Is -1/10 bigger than x?
False
Let t = -1 + -1. Suppose -4*u + 6*u + 18 = 0. Let y(s) = -2*s - 19. Let f be y(u). Which is smaller: f or t?
t
Let g(s) = s**3 - 6*s**2 + 4*s - 15. Let x be g(6). Which is smaller: 10 or x?
x
Let x = -0.04 + 0.14. Which is bigger: x or -2?
x
Let x = -2.01 - -2. Let v = -0.99 + x. Are v and -2/19 nonequal?
True
Let t(z) = -z**3 + 3*z**2 + z + 5. Let n be t(4). Is n smaller than -5?
True
Suppose 4*k - 1 = v - 9, -10 = -v + 5*k. Let j = 2 + v. Is 1 at least j?
False
Let f(d) = -7*d - 11. Let r be f(-2). Is -1 less than r?
True
Let b be 1/2 + (-1)/2. Suppose -5*v = -x + 19, 4*x + 3*v = 5*v + 4. Is x bigger than b?
False
Let x be (-3 - -1)/((-10)/65). Let o be 2/x - (-24)/(-494). Which is greater: o or -1?
o
Let u be ((0 - 0) + -1)*1. Let n = 5 - 11. Let v be (2/n)/(8/(-36)). Which is greater: v or u?
v
Suppose 0 = -3*h + 19 - 10. Suppose -7 + h = -4*k. Which is smaller: -1 or k?
-1
Let w = -1536 + 16922/11. Which is smaller: 2 or w?
2
Let r = 3 - 2. Let f be r + (-26)/10 - -1. Let k be ((-1 + 1)/2)/2. Do f and k have the same value?
False
Let m be (29619/(-66))/9*6. Suppose 4*o = -r + 315, -3*o + 1167 + 41 = 4*r. Let w = r + m. Which is smaller: w or 0?
w
Let q be 11/((-990)/12)*-5*1. Which is greater: q or -0.3?
q
Let l = 51 + -70. Is -2/7 at most l?
False
Let b = -33 + 17. Let n = 15.8 + b. Is -3 not equal to n?
True
Let r = 3140/21 - 32899/105. Let z = -2917/15 - r. Let d = z - -30. Which is greater: -2 or d?
d
Let z = 1297 + -76525/59. Which is bigger: 1 or z?
1
Let v = 3 + -3.6. Let k(h) = -h**2 - h + 1. Let i be k(1). Is v at most i?
False
Let h be ((-24)/(-56) + 1)/(3/7). Which is greater: 3 or h?
h
Let s = 4 - 5. Let h = s + 3. Which is smaller: 0.1 or h?
0.1
Let s = 77 + -79.06. Let a = 0.06 + s. Is a less than or equal to 0?
True
Suppose 5*l = -4*y - 17, -2*y = -4*l - 0*y + 2. Which is greater: l or 3/8?
3/8
Suppose 1 = -4*r - y + 38, 0 = 2*r - 2*y - 6. Suppose 0 = 2*o - r - 4. Let x(v) = -v**3 + 6*v**2 - v + 6. Let f be x(o). Which is greater: f or 2?
2
Let t be 2/6 + (-30)/9. Is t at least -15/7?
False
Suppose x - 3*v + 66 = -x, -3*x - 93 = -3*v. Which is greater: -25 or x?
-25
Let h(l) = 3*l - 3 + 4 + 4*l**2 - 1 + 1. Let s be h(-2). Is 11 less than s?
False
Let q(y) be the first derivative of y**4/4 + 4*y**3/3 + 3*y**2/2 - 8. Let l be q(-3). Let x = 127/4 + -32. Which is smaller: l or x?
x
Let q = 19.32 - 10.31. Let f = q + -0.01. Let w = -11 + f. Which is smaller: 2 or w?
w
Let t be 12/(-20) - (-3)/5. Which is greater: t or 6/31?
6/31
Let d(t) = t**3 - 4*t**2 - 5*t + 2. Let f be d(5). Let p be (-2 - -5)*(3 - f). Let y be p + -1 - (1 - 1). Is y greater than or equal to 3/2?
True
Let x be 17 + (-2)/((-4)/(-6)). Let z = 13 - x. Which is bigger: 0 or z?
0
Suppose -s - 2*s + 39 = 0. Let m(u) = -u + 18. Let v(t) = -4*t + 73. Let x(p) = -9*m(p) + 2*v(p). Let d be x(s). Which is smaller: d or 0?
d
Let x(n) = n**3 + 6*n**2 + 6*n + 5. Let y be x(-5). Let r = 25 + -74/3. Which is smaller: y or r?
y
Suppose -2*k + 6 = k. Let z = k + -3. Let q be (0 - 24/(-21)) + z. Which is smaller: q or -1?
-1
Let m = -3.2 + -0.8. Let t = -2 - m. Let f = 0.2 - 0.1. Is f at least t?
False
Let d(s) = s**3 + 6*s**2 + s - 3. Let p be d(-5). Are 16 and p non-equal?
True
Suppose 0 = -0*l + 2*l + 4*a + 20, -3*l - 24 = 4*a. Let y be (-70)/(-15) + l/6. Suppose 4*j + 10 = 2*h, -8 = -y*h + 4*j - 0*j. Is -1/5 at most as big as h?
False
Let m = 6 + -1. Let o(l) = l**3 - 6*l**2 + 6*l - 2. Let g be o(m). Are 3/2 and g equal?
False
Let r = -3 - -8. Let u = 0.041 + 0.169. Let h = -0.21 + u. Which is smaller: h or r?
h
Let o be (-10)/8 - 1/(-4). Suppose -9 = -4*g - 1. Let p = o + g. Is 2/5 not equal to p?
True
Let f(r) = -r**3 - r**2 + 5. Let z be f(0). Suppose -5*m - 25 = -5*d, d - 11 = z*m - 2. Is 1/3 at least m?
True
Let y = 22 - 22. Let g be ((-2)/(-3))/((-4)/(-6)). Which is smaller: y or g?
y
Let g be (4/(-10))/(-1 - -3). Let x(s) = s**3 + s**2 - s + 13. Let l be x(0). Let q = -13 + l. Which is smaller: q or g?
g
Let g = -50 - -201/4. Is 0.08 >= g?
False
Let x(q) = -q**2 - 7*q - 2. Let w(p) = -p - 1. Let i(g) = -2*w(g) + x(g). Suppose -2*k - 8 = 0, 0*k - 5 = -3*d + 5*k. Let s be i(d). Which is greater: -2 or s?
s
Let v = -3 + 10. Let m = v + -9. Let k be (-1)/m*(-6)/3. Which is greater: -2/9 or k?
-2/9
Let n = 6 - 15. Let f be (-2 - n)*(-30)/35. Which is smaller: f or -5?
f
Suppose 2*u + 19 = -b + 4*b, 0 = -5*u - 25. Let n(s) = -s + 1. Suppose -6 = -4*k - 14. Let a be n(k). Is a at least b?
True
Suppose 4*h - 209 - 183 = 0. Let m be 7/h + (-3)/(-7). Which is bigger: -1 