). Let v = -33 + 31. Which is bigger: v or n?
n
Let o = -35 - -40. Are -4 and o unequal?
True
Let t = -36 + 36.09. Does 0 = t?
False
Let v be 2510/3075 + (-8)/(-20)*-2. Which is smaller: v or -1?
-1
Suppose 0 = x + x - 28. Let m = 12 - x. Is m greater than or equal to -2?
True
Suppose 2*a - 10 = -c - c, 4*a - 35 = c. Suppose -a = -o - s, o + 3*s + 2 = 4*s. Is o less than 1?
False
Suppose 0 = 5*q - 13 - 32. Let f be 1*((-12)/q + 1). Which is greater: 0.13 or f?
0.13
Let n = -0.03 + -0.11. Let j = 0.16 - n. Is j >= 1?
False
Suppose -f + 1 = 5. Let o(m) = -7*m**2 + 1. Let n be o(-1). Let d = n - f. Is d less than -2?
False
Let u be (-26)/(-6) - 3/9. Let j be (-40)/(-33) - u/6. Suppose -2 - 2 = -4*t. Which is greater: t or j?
t
Let h = 13 + -10. Let s = h - 3. Let t = -961/8 + 120. Which is smaller: s or t?
t
Suppose 5*h + 5*t - 30 = 0, -5*h + 20 = 3*t - 8*t. Let a = h - 3. Let i(o) = o**3 + 2*o**2 - 2*o - 2. Let f be i(-2). Is a at most f?
True
Let y = 2 - 3. Let j be ((-2)/(-2) + -3)*1. Let m = -4 - j. Which is smaller: m or y?
m
Let l = -2 - -10. Is 8 equal to l?
True
Let r = -29 + 30. Which is smaller: -4/91 or r?
-4/91
Let r be (-654)/10 - 10/(-25). Is -65 < r?
False
Let u = -4.5 - 25.5. Does u = -0.1?
False
Let a be 150/54 - 4/(-18). Let j = -6 + a. Is j at least as big as -12/5?
False
Let r be (-3)/(-45)*(0 - -4). Which is smaller: r or 0?
0
Let g be 4/26 + 4508/(-910) - -2. Is 0.1 >= g?
True
Let y = -49/15 - 7/30. Let g = -4 - y. Let p be (-3)/(2/((-4)/(-3))). Which is smaller: g or p?
p
Let l be (-3)/(-3*4/(-36)). Let b = l - 0. Is -9 less than b?
False
Let n = 0.7 - 0.6. Is 1/3 bigger than n?
True
Let u = 43/99 + -6/11. Is 1 >= u?
True
Let s be (-54)/7 - 8/28. Let b = 20 + s. Suppose j + 5*g + b = 2*j, 0 = 3*j + 3*g + 18. Is j at most as big as -1?
True
Let b be (6 + (-286)/48)/(13/(-2)). Is 1 at least b?
True
Suppose 2*b - 4*g = 8, -3*g = -3*b - 0*b + 9. Let h be 6 + 0/(-3) + -2. Suppose w = b*w - f + 4, h*f - 20 = 0. Is w at least 2?
False
Let v(t) = t - 2. Let w(c) = 6*c - 12. Let b(l) = -34*v(l) + 6*w(l). Let n be b(3). Suppose 0 = 2*p - 4*p - n. Is p < 2/11?
True
Suppose -5*c + 8 = -7. Suppose -5*n = -2*i - 27, 3*i = 16 - 4. Let p = n + -3. Is p at most c?
False
Let w = -347 - -346. Let r be 14/10 - (-2)/(-5). Suppose 0 = -2*o + o + r. Is o != w?
True
Suppose 0 = i - 1, -1 + 14 = 3*q + 4*i. Suppose q*y - 10 = 5*p, p + 5 = 5*y - 19. Is p at least 1?
True
Let l(f) = -f**3 - 4*f**2 - 2*f + 3. Let d be l(-3). Does d = 0?
True
Suppose 0 = -4*x - 0 - 8. Let j be (-3)/(1 + -4)*3. Let s = j + x. Which is bigger: 4/3 or s?
4/3
Let t(m) = 2*m - 26. Let h be t(-15). Is -56 less than h?
False
Suppose -4*t = -2*t - 4. Let l = 4 + -4. Let d = l + 3. Is d at most as big as t?
False
Suppose 3*r + 3*s = 0, 2*r + 3*s = 6*r + 7. Let h = 3/10 + -2/15. Which is greater: h or r?
h
Suppose -4*i - 4 - 6 = -2*j, i - 2*j + 10 = 0. Let d be (12/(-72))/((-2)/(-6)). Is i not equal to d?
True
Let b(m) = 4 + 25*m - 2 - 28*m. Let u be b(1). Which is smaller: u or 1/7?
u
Suppose t + 3*t = 4*i, -2*i + 5*t - 9 = 0. Suppose 3*a - i - 3 = 0. Let h be (a/(-3))/(8/(-6)). Is 2 greater than h?
True
Let r = 22 + -31. Let l be 33*(6/r)/(-2). Which is smaller: l or 12?
l
Let o(n) = -n**3 + 2*n**2 + 2*n + 3. Let p be o(3). Let z = 3/5 + -23/30. Is z >= p?
False
Suppose 0 = 5*s + 5*k, 10 = -3*s - 2*s + 5*k. Which is greater: s or 1/4?
1/4
Suppose -4*f = -21 + 5. Suppose 0 = -4*z - f*t + 4, -2*z + t = -4*z - 2. Let x = 4 + z. Is 1 less than or equal to x?
True
Let n be 11/9 - 4/18. Let l be n + -6 + 5 + -3. Let f be (-62)/36 + l/(-2). Which is greater: f or 1?
1
Let x = -7 + 7. Let u = -1 + x. Let a be ((-2)/(-8))/(3/(-4)). Is a equal to u?
False
Let j = 467 - 5133/11. Suppose 4*r = 5*s + 16, 5*r + 3*s = 5*s + 3. Which is smaller: j or r?
r
Suppose -2*l + 4 = 2*l. Let k be (7 + -6)/((-10)/(-3)). Which is bigger: l or k?
l
Let g = 6 - 7. Which is bigger: 1/3 or g?
1/3
Let b = -40 - -36. Which is bigger: b or -3?
-3
Let c = 9 - 8. Let y = -2 - -1.8. Does y = c?
False
Let b = -18 - -10. Let k(a) = a + 8. Let m be k(b). Is -1/12 smaller than m?
True
Suppose -5*d + 16 = 4*g + 3, 5*d - 22 = -g. Suppose -d*t + 1 = 6. Which is greater: t or -2/17?
-2/17
Suppose -2*f - 4 = 2*d + 2, 5*d + 50 = 2*f. Let a = d - -11. Suppose -2 = w - a. Are w and 2 equal?
False
Let s be (56/(-30) + 2)*-738. Let n = 98 + s. Which is smaller: 0.2 or n?
n
Let r = 136 - 138.58. Let m = r - -0.48. Let p = m - -2. Is p >= -1?
True
Suppose -36 = 2*d + 3*x, 3*x + 92 - 8 = -4*d. Which is smaller: d or -25?
-25
Let a = -1464/16307 + 2/709. Which is greater: a or 1?
1
Let u be (-4)/16 + (-2)/8. Suppose 2*x - 3*x + 1 = 0. Let o be (-1)/(-3) - x/3. Which is smaller: u or o?
u
Let k = 3 - 1. Suppose 0 = 5*v + 5*i + 10, -5*v + 2*i - k = 1. Which is smaller: -2/9 or v?
v
Let g = -18.9 - -18.96. Is g <= -0.2?
False
Let f = -5 + 5.3. Let n = -0.1 + f. Let c = n - -0.8. Is c less than -1/3?
False
Suppose 0 = -5*x + 9 + 11. Suppose -6*r + 2 = -x*r. Let a = r + -1. Is -1 less than a?
True
Let a = -28376/33 + 860. Which is smaller: 1 or a?
a
Let u be (2/5)/((-2)/(-10)). Which is bigger: u or 13/6?
13/6
Suppose -4*x = -5*x - 3*g - 4, -2*g = 4*x + 6. Let m be -1 + -19 + 0 + 0. Let c be m/12 - (x - 0). Which is smaller: 0.2 or c?
c
Suppose -5 = -w + 2*w. Let h = -9 - w. Is h greater than or equal to -4?
True
Let q = -530332/9 + 59070. Let m = q + -144. Suppose -2*z = -2*h + 6, h - z = 6*h - 3. Is h not equal to m?
True
Suppose 6*p = -0 + 6. Which is smaller: p or 3/22?
3/22
Let g be ((-67)/133)/((-1)/(-3)). Let d = 7/19 + g. Which is bigger: d or -2?
d
Let w(q) = q**3 - 6*q**2 + 4*q + 6. Let k be w(5). Suppose 0 = u - 3*h + 2*h - 4, 0 = -2*u + 5*h - 4. Let j be k - 1 - 6/u. Are 0 and j equal?
False
Let q = 7 + -5. Let d be (26/20)/1 + 14/(-28). Is d smaller than q?
True
Suppose 2*r + 2 = -2. Let f(o) = -o**3 - 9*o**2 + 9*o - 10. Let d be f(-10). Suppose -3*t - 3 = -d. Are t and r equal?
False
Let z = 1.02 - 1.3. Let j = -0.18 - z. Which is smaller: 0 or j?
0
Suppose 13*c - 11*c = 0. Which is smaller: 6/23 or c?
c
Let m = 23/248 + 1/31. Suppose -3*q + 6 = 3. Are m and q unequal?
True
Suppose 86 = -48*n + 50*n. Is 43 > n?
False
Let b = -170759 + 5977094/35. Let m = -77/5 + b. Which is greater: m or 0?
0
Suppose -2*h = 2*h - 3*l + 18, 4*h + 2*l = -8. Is h less than or equal to -8/3?
True
Let f be 6/6*(-15 + 1). Let w = f + 15. Which is smaller: w or 3/4?
3/4
Suppose 5*f - h - 14 = 0, -4*f - h = -4*h - 9. Let l be 2/15*(-5)/f. Let s = 1 + -1. Which is smaller: s or l?
l
Let k = -14 + 15. Is -1/4 at least as big as k?
False
Let h = -0.031 + -18.469. Let s = h + 19. Does 1 = s?
False
Let r be (-6)/(-9)*6/4. Let g be -3*(-3)/(-9) + r. Are -7/6 and g non-equal?
True
Let c = -0.5 - -0.3. Let w = c - -0.2. Let t be 1/(-3)*(-2 - 1). Is t at most as big as w?
False
Let f be ((-14)/7)/((-4)/10). Let u(j) = -j**3 + 6*j**2 - 4*j - 5. Let c be u(f). Let n = 77/80 - 9/16. Which is smaller: n or c?
c
Let r be (20/(-6))/(-5)*3. Let v be r*1 - (7 - 5). Which is bigger: v or 1?
1
Suppose m = -m - 4. Let f = -6 - m. Are f and -3 equal?
False
Suppose -2*l + 3*r + 15 = -5*l, 3*l - r + 3 = 0. Suppose -6 - 6 = 4*n. Which is bigger: n or l?
l
Let q be (2 - 2)/(-3*2/3). Which is smaller: -1 or q?
-1
Let g = 18.15 + -19. Let f = g - -0.9. Let w = 6.95 + f. Which is greater: -2/5 or w?
w
Let i(j) = -j**3 + 10*j**2 + 12*j - 9. Let r be i(11). Suppose 6 = 4*x + r*d, 4*d + 8 = 4*x - 2*x. Are -2 and x non-equal?
True
Suppose 3*l - 2 = 7. Suppose -l*j + 6*j = 0. Are j and 0 non-equal?
False
Let b = 17.9 - 18. Which is greater: -16 or b?
b
Let s = -8 + 8.2. Are -0.2 and s equal?
False
Suppose -3*n + 2*u = 7*u + 20, -2*n = 5*u + 10. Let o(s) = s**2 + 11*s + 12. Let v be o(n). Let f be 11/8*v + -3. Does f = 2/3?
False
Let y = 0.04 - -1.26. Are 0.2 and y equal?
False
Suppose -1 = -0*d + d. Let v = -1606/2835 + -2/405. Is d > v?
False
Suppose -37 = 5*l + 3. Do -8 and l have the same value?
True
Suppose -2*c - 20 = -6*c. Let q = 41/8 - c. Which is smaller: -1 or q?
-1
Let a = -133014/25 - -5318. Let g = 287/200 + a. Is g less than or equal to 0?
True
Suppose -3*i - 1 = -4*z, 3*i = z + 6 - 4. Suppose n + 3*n = 0. Is i at most n?
False
Let k = 34 + -53. Let o = 12 + -2