: c or l?
l
Let g be 2/(-10) + (-2)/(-5). Let b = 15.5 + 4.5. Let h = 21 - b. Which is smaller: h or g?
g
Suppose -42 = 3*h + 4*g + g, -2*g - 6 = 0. Suppose -3*z = -3*a - 2*a + 37, -4*z + 2*a - 40 = 0. Is z < h?
False
Suppose 2*s + o - 4*o - 24 = 0, 0 = -5*s + 3*o + 60. Let n(q) = -q + 15. Let l be n(0). Let g be 1/(1 - s/l). Is 5 > g?
False
Let l = 0.7 + 0.4. Let p = 0.7 - l. Let o = 0.3 + -0.5. Is o less than p?
False
Suppose -29 = -5*x + 5*p - 2*p, -5*p = -3*x + 27. Suppose -3*w = 3*t + 3, 0*w = 4*w - 4*t + x. Which is bigger: 1 or w?
1
Let i(r) = -r**3 - r**2 + 5*r - 6. Let h be i(-3). Which is bigger: h or 0?
0
Let p(j) = -j + 4. Let o be p(6). Let u = o + 4. Let m(t) = -t**2 + 2*t + 1. Let c be m(u). Which is bigger: c or 4/5?
c
Let m be (-30)/(-24)*2/((-20)/6). Let k(r) be the third derivative of r**6/120 - r**5/20 + r**4/24 + r**3/6 + 2*r**2. Let j be k(2). Is m equal to j?
False
Let w = 27.8 - 27.8. Let m = -662/5 + 132. Which is smaller: m or w?
m
Suppose -t + 12 = 3*t. Let b = 5 - t. Let v(f) = f**2 + f + 3. Let n be v(0). Is b > n?
False
Let k = 176 + -1230/7. Which is smaller: k or 0?
0
Let g(v) = -v**2 + 10*v - 10. Let y be g(8). Let i = 7 - y. Suppose -p = -6 + i, -30 = -5*t - 5*p. Is t smaller than -1/2?
False
Let j be (2/(-5))/(2/(-30)). Let g be (-3)/j + 3/2. Let a = 114 - 113.97. Which is bigger: g or a?
g
Let x = 11294/9 - 1253. Which is smaller: x or 3?
x
Let i = 33.9 + -32. Let x = i + -1.2. Let d = x - 0.8. Which is smaller: -0.3 or d?
-0.3
Suppose -5 = -3*f + 7. Suppose f = v + v. Suppose 2*q - d - 16 = 3*d, d - 3 = -3*q. Does v = q?
True
Let i be ((-4)/(-88))/((-3)/18). Is i equal to 0?
False
Let h be (-4)/6 + 8/(-6). Let p be (-1)/4 - (-146)/8. Let m = p - 16. Which is smaller: m or h?
h
Let l = 1.9 + 0.1. Let u = 0.09 + 2.91. Which is smaller: l or u?
l
Let i(f) = -6*f - 2. Let o be i(-3). Suppose 5*m - o = -1. Let w be 4/m*4/(-8). Which is smaller: 0 or w?
w
Let o be 2/7 + 0/(-11). Let f be (-5)/35 - 1/(-7). Are o and f nonequal?
True
Let n be 128/(-3) - 4/(-12). Let r = -43 - n. Which is greater: r or 8?
8
Let f = -0.2 - -0.3. Let d be (2/7)/((-6)/(-490)). Let x = -23 + d. Which is smaller: x or f?
f
Suppose 3*c = -61 - 20. Suppose 5*w - 3*h = -146, -h - 13 + 15 = 0. Does c = w?
False
Let u = -30 - -17. Let t = 12 + u. Let j = 0 - -1. Which is smaller: j or t?
t
Let d(g) = g**2 - 7*g. Let i be d(6). Which is greater: i or -16/3?
-16/3
Suppose 4*g - 84 = 3*p, 0 = 2*g + 3*p - 13 - 29. Let u = g + -61/3. Let w = 2.06 + -0.06. Are w and u equal?
False
Let h be (-9)/(-4) - 3/12. Let q be 3/h + -2 + 1. Is q < 2?
True
Let b(u) = 5*u - 9. Let i be b(-11). Let l be 8/44 + i/110. Which is smaller: 1 or l?
l
Let q = 9 + -11. Is q >= -2?
True
Let g = 66 - 329/5. Let w = 0 - g. Let q = -6 - -6. Which is bigger: w or q?
q
Suppose 3*v - 14 + 90 = 2*b, -4*b = 2*v + 24. Let m = -16 - v. Let i be -1*(-2)/m*0. Which is smaller: i or 1?
i
Suppose -a - 3*b - 12 = 0, -a + 0*a + b + 4 = 0. Let j be 6/18*(-1)/(-2). Is a at most j?
True
Suppose r + 3*n - 107 = 0, -5*n = 3*r + r - 421. Let j = 730/7 - r. Let p = 1.5 - -1.5. Is j less than p?
True
Let h be 4/10 + 174/(-60). Let g = h + 11/4. Which is greater: 1 or g?
1
Let f be (-9)/27*6*-1. Suppose 6*s - 10 = s. Let r be (-3 - -1)/(s*-1). Is f smaller than r?
False
Let f(n) = -n**3 + 5*n**2 - 3*n + 7. Let a be f(5). Let z = -8 - a. Let q = 89/6 + -31/2. Which is smaller: z or q?
q
Let q be (50/(-20))/(5/(-4)). Let n = -213039040/423 - -503638. Let j = n + 8/47. Which is smaller: j or q?
j
Let k(a) = a - 13. Let q be k(9). Which is bigger: q or -8?
q
Let u = -1 - -2. Suppose 5*r = -d + 7, 0*d - 4*d + 5 = -3*r. Suppose -d*n + n = 0. Which is smaller: n or u?
n
Suppose -3*q = -0*q + 3. Let i = 170.9 - 171. Do q and i have the same value?
False
Let h be (-1 + -1)/(3 + -1). Let k be 2 + h + (1 - 2). Let r = 88 + -966/11. Which is greater: k or r?
r
Let u = -6 - -12. Let f = u + -6.16. Let a = -0.06 - f. Is a >= -0.2?
True
Suppose -5*n - 32 = -n. Let c be 10/(-4)*n/10. Is 2 at least as big as c?
True
Suppose 0*r + r - 5 = -2*m, 9 = 3*m + r. Suppose 19 = -x - m*n, -3*x = -0*n - n - 8. Which is greater: 0 or x?
x
Suppose 4*i - 2*y = -2, -6*i + i - 3*y - 19 = 0. Suppose -1 = -4*q - h - 4, -3*h + 2 = q. Let m = i - q. Is -1 >= m?
True
Let k(o) = -23*o + 1. Let i be k(1). Let r be (-5)/(-15) + i/(-6). Suppose -r*l - 10 = p - 2*l, 0 = -2*p - 5*l - 25. Is p bigger than -2/9?
True
Let m = 75 + -60. Is m at most as big as 16?
True
Suppose 4*p = -8*c + 4*c - 36, 4*c = -2*p - 24. Which is greater: -9/2 or p?
-9/2
Suppose -2 = -6*i + 4. Is 4/3 equal to i?
False
Let z = 56 - 57. Is z bigger than -2/55?
False
Let k = 0.014 + 0.886. Which is greater: k or -1?
k
Suppose -10*x = -5*x. Which is bigger: x or 1/41?
1/41
Let j = -5/29 + 77/783. Which is smaller: j or 1?
j
Let h be 3 - (-5)/(10/(-6)). Let w = 7 + h. Which is greater: w or 8?
8
Let a be (-10)/(-35) + (-9)/7. Which is bigger: a or 2/37?
2/37
Let m = 55 - 44. Are 0 and m equal?
False
Let f be (-1 + 2)*36/(-6). Which is greater: -5 or f?
-5
Let w = -59.9 + 60. Which is smaller: 1.14 or w?
w
Suppose 4 = -2*w, -2*t + 0*w + 2*w = 128. Let u be 1/((-3)/(t/1)). Suppose 0*n - 5*n = h, 3*n + 5*h = u. Which is smaller: 0 or n?
n
Suppose -3*a - a = -4*l + 28, 0 = 4*l - a - 19. Suppose l = 2*r - 3*m, 2*m + 11 = -r - 3*m. Let j(d) = d**3 + 2*d**2 - 3*d. Let g be j(-3). Is g greater than r?
True
Suppose -6*i + 41 = 5*u - 3*i, 10 = 5*i. Let w = u - 5. Suppose -w*s + 15 = 5. Which is smaller: 4 or s?
4
Let f = -33 - -431/13. Let j be 1 - (1 - 2 - 0). Let b be (j + -2)*(-2 - -3). Which is smaller: b or f?
b
Let u = 6 - 3. Let t = -0.1 - -0.1. Which is smaller: u or t?
t
Suppose w = -7*v + 2*v, -4*v + 2*w = 0. Which is bigger: v or -2/65?
v
Suppose 3*n + 0*n = 9. Suppose 2*x + 32 = 2*q + 6*x, x + 13 = n*q. Let k be (-2)/q*18/3. Is k > -1?
False
Suppose -2*j + 4*j = 124. Let a = 40 - j. Let x = 67/3 + a. Which is smaller: x or 1?
x
Let h = -0.8 + -2.2. Let t = h + 2. Is t smaller than 0?
True
Suppose -4*c + 4 + 0 = 0. Let q be 5 - (1 + (1 - c)). Let w be 2/q + 42/(-68). Is w greater than 1?
False
Suppose 3*h - 6 = 2*v, -6*v + 4*v = 2*h - 14. Let m be (-2)/18*2*v. Which is smaller: 3/7 or m?
m
Let a be ((-16)/(-168) + (-2)/7)*-3. Is a >= 1?
False
Let q(i) = -i**3 + 5*i**2 - 5*i + 3. Let x be q(3). Suppose -l = -c + 2*l - 4, 0 = -4*c - 2*l - 44. Let o = x + c. Which is greater: o or -2?
-2
Suppose 0 = -4*z - 3 - 1. Which is smaller: -2/25 or z?
z
Let t = -120 - -86. Let p be (-4)/(-6) + t/42. Which is smaller: p or 2?
p
Let y(p) = p**2 - p + 6. Suppose -5*j + 10 = 4*q, 4*q - j = -2*j + 2. Let m be y(q). Do m and 7 have the same value?
False
Let p be 4/(-6) - (-8)/3. Suppose 4 - 22 = -p*o + 2*f, -3*f + 5 = 5*o. Is 2 at least as big as o?
False
Let c be (1/(-2))/(2/(-36)). Suppose -3*y = 6 - c. Which is greater: -1/5 or y?
y
Let p = 3 - 3.04. Let o = p - 1.96. Let s = o - -1.9. Is -0.2 less than or equal to s?
True
Let g = -1 - -3. Which is greater: g or -1/2?
g
Let n(z) = z**2 + 8*z + 8. Let o be n(-7). Let r = 9395/3 - 3065. Let c = -66 + r. Which is greater: c or o?
o
Let n = -4 + 8. Suppose -5*f = -n*k - 3, -4*f - 2*k - 4 = 4. Is f < -3?
False
Let h = 14 - 9. Suppose -j - 3*u - 8 = -6*u, -2*j + h*u = 14. Suppose -3*c - 3 = -6*c + m, 4*m = 0. Is c at most as big as j?
False
Let y = 545/18 - 61/2. Let h(z) = -z + 9. Let v be h(9). Suppose -5*g + 3 - 8 = v. Is y less than or equal to g?
False
Let f be (4 - 1) + 5550/(-2206). Let k = f + -3534196/23163. Let d = k - -152. Is 0 != d?
True
Suppose -4*a + 9482 = -5*a. Let h = -66866/7 - a. Let w = h - -70. Which is smaller: -1 or w?
-1
Let c be 10/(-5) + 5 + -9. Which is bigger: c or 1/3?
1/3
Let j(r) = -r**2 - 6*r + 10. Let f be j(-8). Which is bigger: -62/9 or f?
f
Suppose 4*q = 3*c + 188, -q = -2*c + 3*q - 128. Is -59 >= c?
True
Let u = 9.247 - 0.047. Let l = -9 + u. Which is smaller: l or -2?
-2
Let y be (20 + -3 + 5)*-1. Let t = y - -23. Let r be 6/(-40) - (-2)/5. Which is greater: r or t?
t
Let s = -6 + 16. Let y = 6 - s. Which is greater: -5 or y?
y
Let d be (-2)/(-6) - (-26)/(-6). Suppose -2*s - 6 = -2*q, -7*s + q - 35 = -2*s. Let t be (4/s)/((-1)/d). Which is smaller: t or -1?
t
Let j = 0.68 - 9.58. Let w = 9 + j. I