o + r - 3. Let l be o/(-5) - (-22)/30. Which is smaller: 1 or l?
l
Let l = 1.1 + 5.9. Let x = -17 + l. Let h = x + 9. Are -0.06 and h equal?
False
Let u = -705/16 - -44. Which is greater: 0 or u?
0
Suppose -o = 2*o - 2*r + 7, 4*r = 8. Let y be (-44)/(-14) + -2 + o. Is y at least as big as -1?
True
Let b = 3 - 5. Let t = 3.933 + 0.067. Which is bigger: b or t?
t
Suppose -4115 = 5*z - 5*w, -2*w + 1636 = -2*z - 5*w. Let a = z + 9037/11. Which is bigger: a or 0?
a
Let u = -20 + 20. Is u <= 0?
True
Let l = -3.2 - -11.1. Let c = l - 8. Do 0 and c have the same value?
False
Let r be -4*(15/12)/(-5). Let u be -3*(-2 - -1)/r. Suppose -3*m - 24 = 4*g, -m + 2 = -u*g + g. Is g greater than -1?
False
Let h be 2*(4/(-20))/(-1). Are 4 and h equal?
False
Let u = 3 - 1. Let j(r) = r**2 + r + 8. Let v be j(0). Let c be 12/v + 2/(-4). Does u = c?
False
Let y = -549 - -14297/26. Let h = y - 5/13. Is h > -1.4?
True
Let v = -30.349 - 0.751. Let a = -28 - v. Let m = -3 + a. Which is bigger: m or 1?
1
Let v be (-201)/(-18) + 4/(-24). Suppose -6*c + 30 = -3*c. Which is smaller: v or c?
c
Let v = -5 - -5. Suppose 6*u - 3*u = v. Let z(w) = w + 1. Let f be z(-1). Is u smaller than f?
False
Let c = 0.17 - 0.17. Let g = 0.01 + -0.31. Let a = 0.4 + g. Is a less than c?
False
Let c be 4 + (-188)/(-360)*-8. Is c at least as big as 0?
False
Suppose -2*w = -k - 8, -4*k = -k. Suppose 2*z = -v - 1, w*v + 16 = z + 3*z. Which is smaller: z or 8/5?
z
Let u(s) = s**2 - 9*s - 8. Let y be u(11). Let f = 44/3 - y. Let z be 0/(-1 - 0) + 2. Which is smaller: f or z?
f
Let i = 2/573 + 51/3629. Which is bigger: i or 0?
i
Let l = 2.4 + 0.6. Let u = l - 2.7. Let m = -0.3 + u. Is m equal to 0.3?
False
Let p(o) = -o**3 + 5*o**2 - 4. Let v be p(5). Let t be (-2)/v - 1/2. Is 1 >= t?
True
Let a = 0.069 + -0.069. Let i be (-6)/(2/1) + 0. Let q be 7/6 + 2/i. Which is greater: q or a?
q
Let d = -12 - -5. Suppose 16 = a - 0*t + 5*t, 5*a - 5*t - 20 = 0. Let o be a/d*(-4)/6. Do o and 0 have the same value?
False
Let r = 181 + -266. Let l be ((-50)/r)/((-1)/2). Let i = l - -18/17. Is i bigger than 1?
False
Suppose -4*q = -2*b + q - 14, 3*b = -4*q + 25. Suppose 0 = -b*j - j + 12. Let d = 6 - j. Which is smaller: d or 4?
d
Let w = -2.9 + 3. Let r = 29 + -25. Which is bigger: r or w?
r
Let u be (-4)/10 - (-12)/5. Suppose u*j = -3*j - 5. Which is smaller: -5 or j?
-5
Let q = 0.1 - -4.9. Let m = 3 - q. Let i = -0.9 - 0.1. Which is greater: m or i?
i
Let p be (-29)/(-10) - 3/1. Let u = -17/30 + p. Which is bigger: u or -1?
u
Let c = 16 - 16.17. Let m = -0.07 - c. Is m != -1/4?
True
Let u = -196 - -199. Let j = -19/5 - -161/45. Which is greater: u or j?
u
Suppose 3*m = 13*m. Let t = 17/2 + -37/4. Which is bigger: t or m?
m
Let t = 0.019 + -4.019. Is -1/4 at most t?
False
Let i = -65 + 119. Let f be (-9)/i*3/8. Is f > 0?
False
Let p = 20.75 + 0.25. Which is smaller: p or -2/3?
-2/3
Let r(v) = -v**2 + 11*v - 3. Let c be r(8). Let i be 43/c - (-6)/21. Is i > 3?
False
Suppose -5*b - 3*g + 16 = 0, b - 3*g = -b - 2. Which is smaller: 1 or b?
1
Let o be (143/5)/((-2)/3). Let f = o + 213/5. Is f bigger than -0.1?
False
Let i be -1 + 5*2/5. Is 2/7 <= i?
True
Let z(o) = -o**3 - 7*o**2 - 7*o - 3. Suppose 4*d - 9*d = 30. Let g be z(d). Which is bigger: -1 or g?
g
Suppose -26 = 4*k + 2*y, 2*k - k + y = -8. Let o be -2 + (k - (1 + -1)). Is -5 less than o?
False
Let v(u) = -u**3 + 22*u**2 + 23*u. Let m be v(23). Are 3/25 and m nonequal?
True
Let c = 0.19 + -0.19. Which is greater: -1/2 or c?
c
Let z = 14 - 16. Is z at least as big as -2?
True
Let y(q) = -17*q + 2. Let a(i) = i**3 - 8*i**2 - 9*i + 1. Let l be a(9). Let r be y(l). Are -14 and r nonequal?
True
Let w be (39/2)/(14 + -5). Which is smaller: w or 2?
2
Suppose -2*u = -4*r + 288, 4*r = 3*u + 209 + 219. Let b be (-2)/(-6) + u/15. Let a be 2/b + (-160)/(-504). Which is smaller: 0 or a?
0
Let g be -1 - (-7)/(14/4). Let t be 57/(-110) - (-1)/2. Let m = t - -61/330. Which is smaller: g or m?
m
Suppose -2*r - 604 = -0*d + 5*d, 116 = -d - 2*r. Does d = -123?
False
Let f be 129/14*4/6. Let y = f - 323/56. Which is bigger: 1 or y?
1
Let u be (5/100)/(2/(-5)). Is u greater than -1?
True
Suppose 0 = -2*q - 3*x + 15, 5*x - 5 + 2 = 4*q. Is -1 <= q?
True
Let d be (-3759)/(-140) - (-4)/10. Let b = d - 27. Let h = 1.9 + 0.1. Which is greater: h or b?
h
Suppose -5*x + 2*x + 18 = 0. Suppose -x*b = 4*g - b + 28, 3*g + 5*b + 26 = 0. Suppose 5*q - 6 = -4*u - 0, 0 = -u - 3*q + 5. Is g bigger than u?
False
Let l = -15/8 + 107/40. Are l and 0.1 equal?
False
Let x = 26 + -18. Let w(y) = -3 + x + y + 2. Let o be w(-5). Is 0 bigger than o?
False
Let j = 18 - 15. Suppose -c = -4*k - j - 1, 4*k - 3*c = -4. Which is smaller: 2/19 or k?
k
Let n = -1 + 5. Let j be -6*(-2 - n/(-3)). Suppose -1 - j = 5*x. Which is greater: x or 0?
0
Let c(y) = y**3 + 14*y**2 + 14*y + 15. Let g be c(-13). Which is smaller: g or 12/5?
g
Let h be 64/(-10) - (-8)/20. Let x be 10/h*(-4)/(-10). Which is smaller: x or -1?
-1
Let r(b) = b - 1. Let h be r(6). Let o(k) = k - 2. Let i be o(h). Let v = i - 5. Which is smaller: v or -1?
v
Let j = -23 - -23.02. Which is bigger: 2 or j?
2
Let w = -6 + 2. Let q be 1*w/(-6)*3. Let s be 5/q*(-3)/5. Which is smaller: -3 or s?
-3
Let u = 9 - 17. Let k be (0 + -1)/(u/(-8)). Is 0 greater than or equal to k?
True
Suppose -4*p + 6 = -2. Suppose p*f = 7*f - 5. Which is greater: f or -2/7?
f
Let o = -5 - -9. Suppose 0 = 2*l + 4*u + 24, -5*l + 4*u + o = -2*l. Are -1 and l non-equal?
True
Let p(g) = -g**3 + 7*g**2 + g - 4. Let v be p(7). Let l be v*3*(-12)/27. Let k(b) = 2*b. Let h be k(-2). Is l equal to h?
True
Suppose -3*m - 50 = -53. Does 5 = m?
False
Let t be 2/(-8) - 38/8. Which is smaller: t or -4?
t
Let x = -26 + 25.6. Let y = -2 - -2. Which is smaller: x or y?
x
Let p be 2*1 - 65/5. Let w = 7 + p. Is -5 equal to w?
False
Suppose 6*z - 20 - 4 = 0. Suppose 3*v = -k + 17, 0 = 5*v - 3*v - 2*k - 6. Suppose -v + 0 = -p. Is p > z?
True
Let j(h) = h + 14. Let a be j(-14). Which is bigger: a or -0.61?
a
Let x be 0 + 2 - (-36)/(-16). Let b be 2/(-7) + 206/280. Let f = b + x. Which is smaller: -1 or f?
-1
Let m = -2.96 + 3.1. Let r = 2 - 2. Is m >= r?
True
Let g = 37/5 - 341/40. Is 0 equal to g?
False
Suppose 0 = -2*c - 22 - 40. Which is smaller: c or -32?
-32
Let s be -2 + (-1 - 12/(-5)) + -1. Do s and -3 have different values?
True
Let d be -2 - (-4 + (-2)/1). Let x be (-189)/(-39) + d/26. Suppose x*z + 0*z = -5. Which is bigger: -2 or z?
z
Let v(u) = u**2 + 6*u - 3. Let z be v(-7). Is 23/5 greater than z?
True
Let a = -6/967 + 35809/4835. Let n be ((-116)/5)/2 - (-3 - 0). Let j = n + a. Is -1 <= j?
False
Let z = -43.96 + 44. Let q = -1.99 - 0.05. Let x = z + q. Is x less than or equal to 0.2?
True
Let b be (12/(-16) - -1)*0. Which is smaller: 1/83 or b?
b
Suppose a + 16 = -a. Let p be (-9)/6*a/(-3). Is p >= -4?
True
Let x(r) = 10*r**2 + 12*r - 10. Let p(g) = -3*g**2 - 4*g + 3. Let o(q) = -7*p(q) - 2*x(q). Let c be o(-4). Is c less than or equal to 2/9?
True
Suppose 29*n - 1375 = 18*n. Which is smaller: 124 or n?
124
Let m = -64622/5 - -13243. Let f = 320 - m. Is 1 less than f?
True
Let z(v) = v**2 - 20*v - 3. Let c be z(18). Which is greater: c or -40?
c
Let l(d) = d**3 + 6*d**2 + 2*d + 11. Let u be l(-6). Let h = -2 + 1. Is h smaller than u?
False
Let i(x) = 5*x - 5. Let g(d) = 15*d - 16. Let q(l) = -2*g(l) + 7*i(l). Let w be q(2). Suppose -2*f = -w*f - 10. Is f >= -2?
True
Let v = 329 - 995/3. Is v bigger than -2?
False
Let n = 136 + -95. Suppose 5*b + n = 11. Are b and -6 equal?
True
Let d be (2 - (-15)/(-6))/(-2). Suppose -3*k = -2*f + 4 + 2, 2*f = -4*k - 8. Which is greater: d or k?
d
Let m be 5*(2 + (-12)/5). Let n = m - -5. Is n greater than 3?
False
Let x(m) = 1 + 3 - 2*m + 3*m. Suppose v + 1 = -2*z - 0*v, -31 = 2*z - 5*v. Let s be x(z). Which is bigger: s or -0.2?
s
Let y = 3.04 + -0.04. Let k = 0.07 + 2.93. Let p = y - k. Which is smaller: 1 or p?
p
Let l = 53 - 83. Let m be (6/l)/((-1)/5). Which is smaller: m or 1/31?
1/31
Let k be (-28)/15 - (-6)/(-45). Let o be k/(-3)*(-15 + 3). Is -7 greater than or equal to o?
True
Let w(n) = n**3 + 8*n**2 + 6*n - 7. Suppose 4*o = 6*o + 14. Let x be w(o). Do x and 0 have different values?
False
Let w = 16 + -22. Let j = w + 9. Which is bigge