et c be w(-2). Which is greater: c or l?
l
Suppose 21 = 5*k + 4*c, -5 = 3*k - 2*c - 0. Suppose 3*p + 21 = 3*v, 0 = -v + 5*p + 11. Which is smaller: v or k?
k
Let d be (-1 - 0)/(9 + -10). Let k be ((-60)/18)/(d/(-3)). Which is smaller: k or 11?
k
Suppose 3*s = -2*o + 2*s + 15, 2*s - 18 = -2*o. Suppose 2*g - o*g + 2*g = 0. Let c be (1/(-5))/((-32)/20). Does g = c?
False
Let r = 50 - 33. Which is greater: r or 1?
r
Let z(s) = -12*s + 3. Let i be z(3). Suppose 76 - 332 = 8*a. Which is greater: i or a?
a
Let h = -4 + 6. Let g be (-60)/(-9) + h/(-3). Suppose 2*p + 3*p - g = 4*u, 0 = -5*u - 4*p + 13. Which is greater: -1/6 or u?
u
Let q = -5.85 - -6.6. Let d = q - 0.65. Is 6/49 greater than d?
True
Let c be (9/6)/((-7 - -1)/12). Let h(j) = j**3 + 3*j**2 + 5*j + 12. Let t be h(c). Are t and 0 equal?
False
Suppose 0 = -7*i - 67 - 74 + 183. Let q be (46/(-10))/(4/(-5)). Is q at least as big as i?
False
Let y = 133 - 168. Which is greater: y or -137/4?
-137/4
Let l(q) = -q - 1 - 3*q - 3*q + 0*q. Let h be l(2). Let z = h + 15. Which is bigger: 2/27 or z?
2/27
Let u = -30 - -21. Let d = 10 - 12. Let m be 18*(-3)/(-12)*d. Is m > u?
False
Suppose 0 = -p - 1, -2*g + p - 7 = 4*p. Suppose -3*y - i = -2*y, -5*i = -15. Is y greater than or equal to g?
False
Let x(y) = 3*y - 35. Let j be x(12). Is -4/67 less than or equal to j?
True
Let c(l) = -l + 1. Let s be c(-7). Suppose -o - 10 = 4*f, -3*o - 4*f + s = o. Is 6 > o?
False
Let q be (2 - 0) + 34/24 + -2. Let v = q - 13/6. Which is bigger: v or -2?
v
Suppose 0 = -18*i + 13*i + 105. Suppose i = 3*l + 9. Which is greater: l or 14/5?
l
Suppose 5*s - 4*s - 2 = 0, 2*n + 3*s = 36. Let q(h) = h**3 - 3*h**2 - 2*h - 3. Let w be q(4). Suppose 5*m + 2*p = n, w + 21 = m + 5*p. Which is bigger: m or 2?
2
Suppose 2*h - 335 = 2*n + 391, 0 = 3*n - 12. Which is smaller: h or -2/5?
-2/5
Let p = -35 + 28. Let h be p/21 - 4/6. Is 3 > h?
True
Let q be ((-110)/8)/(2/8). Let c be (-4)/q*(-9 + 4). Is -1 bigger than c?
False
Let l(x) = -x**3 - x. Let b be l(1). Which is smaller: 316 or b?
b
Let b = 311 - 1245/4. Which is greater: 0.4 or b?
0.4
Let y = -1504 + 2813. Which is smaller: 1310 or y?
y
Let k be 11/(-2)*12/(-24). Let q = -16 - -18. Suppose 0 = -q*b - v + 12, -2*v + 17 + 11 = 5*b. Is k at least as big as b?
False
Let g be 13/(26/(-24)) + 1. Let s(t) = -t**2 - 10*t + 13. Let v be s(g). Is v at most 3/4?
False
Let m = 0.001 - 0.001. Let o = 12.98 + -13. Which is smaller: m or o?
o
Suppose 0 = -4*h - 14 + 310. Suppose h = -2*f + 4*q, q - 125 = 5*f + 3*q. Is -28 less than f?
True
Suppose 2*r - 3*w = 18, 0*r + 3*w = -4*r. Let u be -3 - (-6)/9*r. Let g(c) = 3*c**3 - c. Let i be g(u). Is i smaller than -2?
False
Let a be (60/(-25))/((-884)/(-4590)). Is -12 <= a?
False
Let c = 226 - 214. Which is smaller: c or 0?
0
Suppose -24 = -7*g + 5*g. Suppose g = p + 16. Is p != 0?
True
Suppose g - 3*d = 3*g + 45, -2*d = -2*g - 30. Let u be (-2)/g + 2 + -2. Let o = u + 5/9. Which is bigger: o or 8?
8
Let g = -929 - -928. Let c = -0.7 + 1. Is g > c?
False
Let i(k) = -2*k + 17. Suppose -2*d + 3*o = -6*d + 19, o + 31 = 4*d. Let z be i(d). Suppose 2*w - 2*s = -12 - 24, -2*w + z*s = 38. Is w smaller than -15?
True
Let k = 9.6 + -11.5. Let t = 2.4 + k. Which is smaller: -3 or t?
-3
Let f = -25.94 + -0.06. Let h = -25 - f. Let m = 1 + h. Which is bigger: m or 5?
5
Let b(x) = 15*x - 406. Let h be b(27). Let c = 414/7 - 12813/217. Which is bigger: c or h?
c
Suppose -2*q + 4*g = 3 + 9, -2*g = -4*q - 30. Let r = q + 20. Suppose t + 2*t = -o - 1, 9 = -o - 5*t. Is r at most o?
False
Let n be 2*-1 + 3/((-3294)/(-2223)). Which is smaller: n or 0?
0
Let y(q) = 54*q**3. Let j be (-3)/(-4) + 1/4. Let l be y(j). Let i be -1*2 + 102/l. Which is greater: i or 1/2?
1/2
Let f = -2596 - -1441. Let q = f - -26555/23. Which is greater: q or 1?
1
Suppose k = -7*k + 888. Let r be k/(-705) + (-1)/(-5). Is r bigger than 1?
False
Let r = 81/80 + -6/5. Is r less than or equal to -1?
False
Let c be ((-2)/(-3))/(18/(-189)). Let j be 2/c - 40/(-140). Is j at most as big as -16/11?
False
Let h(o) = 2*o + 19. Suppose 0 = a + s + 13, 3*a - 1 = 5*s - 8. Let r be h(a). Suppose 0 = -l + 4*p - 19, p = 4*l - 0*p + r. Is l equal to 0.1?
False
Let v = 16.6 - 1.1. Let q = v + -15. Let r = 0.1 - q. Which is smaller: 4 or r?
r
Let c be (68/54)/(18/27). Let d = 137/63 - c. Let s = 3/4 + -13/12. Are d and s unequal?
True
Let b be (20/22)/(6 + (-500)/85). Which is greater: b or 7?
b
Suppose -8 = -7*z - 15. Let q = -352 - -76. Let j = 3033/11 + q. Is j > z?
True
Suppose -6*k + 3*k + 19 = 2*y, -3*y + 2*k = 4. Suppose y*s = 4*c - 92, -c + 56 = c + 4*s. Let n be (-3)/2*4/c. Is 1 bigger than n?
True
Let b be ((-4)/(-10))/(5/25). Suppose b*i + 3*p - 2 + 5 = 0, 5 = -2*i - 5*p. Let c = -0.03 - -0.33. Which is bigger: c or i?
c
Let j be (-2 - 11) + 88 + 3*-1. Is j at least 73?
False
Let j(h) = h + 11. Let u be j(5). Let w = 20 - 18. Let b be u/(-4) - 1 - w. Is b greater than -17/3?
False
Let t(g) = -g**3 + 23*g**2 - 22*g + 3. Let w be t(22). Let r be (-4)/(-14) - 18*10/(-105). Which is smaller: w or r?
r
Let h be 10*(-4)/16*-2. Suppose n - h = -2*t + 3*t, t + 2 = -2*n. Which is smaller: 4/9 or n?
4/9
Suppose 8*l = 6*l - 4*r + 22, -r = -5. Which is greater: l or -1/331?
l
Let g be 34/4*4 + 2. Suppose 7 = 4*c - 3*b + 52, -5*c - 3*b - g = 0. Let a(d) = -d**2. Let n be a(-3). Is c > n?
False
Suppose -23 = 2*j - 5*s, 3*j + 6*s - s = 28. Let d be 1 - (3 - 1/15*57). Which is bigger: d or j?
d
Let f = -38 + 12. Let h = f - -28. Let v = h + -1.1. Is v >= 1?
False
Let g = 0.47 + -0.34. Let n = 253 - 257.13. Let j = g + n. Which is bigger: j or -1/2?
-1/2
Suppose -3*a + 2*q = -819, 1090 = -0*a + 4*a - 2*q. Which is smaller: a or -0.1?
-0.1
Let i = 0.2 - 0.1. Let z = i + -0.06. Let d = -348 + 349. Do d and z have the same value?
False
Let n = 28 + -30. Let j = -13 - n. Let g = -10.99 - j. Is g >= -0.5?
True
Let l(b) = -b**3 + 46*b**2 - 103*b + 119. Let u be l(44). Which is greater: u or 1?
1
Let u = -181.8 + 159. Let d = u - -2.8. Which is bigger: d or 2/7?
2/7
Let s(x) = -x**3 - 7*x**2 - 2*x - 8. Let b be s(-7). Let p(l) = 8 - 2*l**2 + 0*l**2 + 3*l**2 - b*l. Let f be p(6). Is f greater than 7?
True
Let k be 30/(-10) - -23 - -3. Are k and 189/8 equal?
False
Let p be 6/(-16) - 42594/208. Let q = 205 + p. Is q at most as big as 1?
True
Let g = -1.01 + -0.29. Let p = g - -1.2. Let b = 2.8 + -17.8. Which is smaller: b or p?
b
Let j be (5/10)/(44/(-33) - 7/(-12)). Suppose -4*h = -0*h. Let p = 1 - h. Which is bigger: p or j?
p
Suppose n - 2*j = -2*n - 37, 0 = 5*n + 5*j + 95. Let y be 0/((n + -1)/(-4)). Is y at least as big as -1?
True
Let h = -1.39 - -0.43. Let x = h - 0.04. Let f = -0.04 + -0.05. Which is greater: f or x?
f
Let o = 15 + -18. Let f = o - -3. Let r be -2 + (0 + 2 - f). Is -1/5 less than r?
True
Let r = 65 + -65.1. Which is smaller: r or -4?
-4
Let x = 2145 - 2166. Is x less than or equal to 14?
True
Let j be 0*1/2 + -10. Let i be -4 - (-27 + 20 - (0 - 5)). Let p be j/(-20) - 1/i. Do p and 7/6 have the same value?
False
Suppose 0 = -5*c - 120 - 15. Let i be 2/(-12) - (-1085)/(-42). Which is smaller: i or c?
c
Suppose -o = 2 + 1. Let c(g) = g**3 + 2*g**2 - 4*g + 1. Let n be c(o). Suppose -55 = 5*b - n*t + 9*t, 2*b + t = -23. Is b bigger than -11?
False
Let i be -6 + (-6 - (-9 + 68)). Is i < -4?
True
Let y be (18/24)/((-1)/(-12)). Suppose 12*o - 15 = y*o. Suppose -2*b = -5*l + 20, -o*b + 0*l + 5*l - 20 = 0. Which is smaller: -1/26 or b?
-1/26
Let m(l) = l**2 - 15*l + 39. Let o be m(5). Let c be ((-51)/(-6))/(o/(-4) - 3). Are -34 and c nonequal?
False
Let n = 170 + -120. Suppose 0 = 7*i - 5*i - n. Are i and 24 nonequal?
True
Let f = 135 - 131. Let l = 0.2 + -0.3. Is l at most as big as f?
True
Let m = -0.12 + 2.62. Let b = 16.5 - m. Let g = b + -14.1. Which is smaller: 3 or g?
g
Let n = -25857/5620 + 1/1124. Is -5 != n?
True
Suppose -24 = -b + 22. Suppose a = -3*a - 2*n + b, a + 2*n - 10 = 0. Let j be 2/(3*(-8)/a). Is j smaller than 1/4?
True
Let i(x) = -2*x - 14. Let a be i(-6). Let k = -8 + 20. Let z be ((-18)/16)/(k/16). Which is bigger: z or a?
z
Let v = -1431 + 2689. Are -1 and v equal?
False
Let v be -3 - (729/(-210) - 6/(-15)). Let n = -6 - -7. Let b be (0/(n + -2))/2. Is v greater than b?
True
Let u =