et s = 4.4 + -4. Let l = -0.9 + s. Let c = -0.3 - l. Is c not equal to 0.2?
False
Let r be (4/6)/(132/(-36)). Is -1 at least as big as r?
False
Let c be 0 - 0 - (16 - -5). Let l be ((-1)/(-8))/((-7)/c). Which is bigger: 0 or l?
l
Let w(q) = -q + 4. Let m be w(3). Let b be 234*(-24)/(-1778) - 3. Let v = -2/127 + b. Is m greater than or equal to v?
True
Let h = -1 - -1.1. Let m = 38 + -7. Let y = -26 + m. Is y bigger than h?
True
Let z be 5/8*(-14)/35. Is 0.02 at most z?
False
Let g = 6 - 6. Suppose g = -5*k + 5*n - 4 - 21, -22 = 2*k + n. Let f = k - -16. Are f and 6 nonequal?
True
Suppose -4*a - 3*v + v = -14, 5*v - 15 = -5*a. Suppose a*i + i - 15 = 0. Suppose -s + 8 = i*s. Which is smaller: 1 or s?
1
Let p(h) = -3*h**3 + 7*h**2 - 11*h - 14. Let w(a) = -a**3 + 4*a**2 - 6*a - 7. Let f(u) = -2*p(u) + 5*w(u). Let m be f(-7). Are m and -1/4 equal?
False
Suppose -3*y + 9*y = 0. Let m = 1 + 1. Let b = 2 - m. Is b not equal to y?
False
Suppose 3*p = 2*l + 10, p + 1 = -2*l - 1. Is p at most -6?
False
Suppose 0 = -3*v - 5*f - 105, 5*v + f + 153 = -0*f. Let j be 6/4*(-20)/v. Are 1 and j equal?
True
Let n be ((-7 - -1)/(-3))/(-2). Let k = n + 6. Suppose 2*x = k*x - 3. Is x at least as big as 2/3?
True
Let q = -31 + 31.73. Let p = q - -0.27. Which is smaller: p or -18?
-18
Suppose 5*y + 17 = 2*u, -u - 11 = -0*y + 4*y. Let t be (-100)/(-7) + (-2)/7. Let g be 4/14 - (-10)/t. Is g at most as big as u?
True
Let o be 2/9 - (-29)/(-9). Let j = o + 7. Suppose 5*q + 1 + 1 = -3*p, -j*p = -4. Which is smaller: q or -2/5?
q
Suppose -32 = 4*v - 3*n + 7*n, -5*n = -4*v + 13. Is -1 >= v?
True
Let a = -2 + 1.9. Let n be (8/(-6))/(12 + -6). Which is bigger: n or a?
a
Suppose 0 = 2*w - 3*k - 3, 2 = 4*w - 4*k + 6. Let d = 8 + w. Is d greater than or equal to 3?
False
Let v = -18 - -17.9. Let w = v - 0. Is w less than -1/8?
False
Let c(g) = 2*g - 11. Let s be c(6). Which is smaller: 1/7 or s?
1/7
Let q = 15 - 9. Let p be -3*(-3)/(27/q). Suppose -2*o - 2 = p. Is 0 != o?
True
Let f be -1 + (-3 - (6 - 2)). Let r(z) = z**2 - 6*z + 3. Let a be r(4). Let v = a - f. Which is greater: 4 or v?
4
Suppose -3*p = -10 - 5. Suppose -i + 0*g - 2*g = -12, -4*i + p*g - 4 = 0. Is i less than or equal to -1?
False
Let c = -1 - -1. Let m be (-222)/14 - (-2)/(-14). Let o be 4/m*8/10. Which is smaller: o or c?
o
Suppose -3*s = -2*s + 7. Let w(a) = 2*a**2 - 11*a - 8. Let f(t) = 5*t**2 - 32*t - 24. Let h(x) = 3*f(x) - 8*w(x). Let y be h(s). Which is greater: -3 or y?
y
Suppose -4*w + 22 = -2*n, -3*n + 5*w - 13 = 3*w. Is n smaller than 0?
True
Let t(q) = 2*q + 5. Let w(n) = 3*n + 6. Let r(x) = -4*t(x) + 3*w(x). Let m be r(0). Which is smaller: m or -5?
-5
Let u(x) = x - 6. Let y be u(6). Let h be 0 + 5 + (y - 1). Is 2 bigger than h?
False
Let r = -28 + 26.7. Let k = r - -1.3. Suppose 5*q = 3*j + 9, -q - 4 = 2*j + 2. Is q bigger than k?
False
Suppose 2*t + 0 = 4. Let g = 0 + t. Suppose g*r = -2*r. Which is smaller: r or -2/5?
-2/5
Let z = 4 - 2. Suppose -5 + z = -3*m. Let j be (-2)/(-3) - (-1 - -1). Which is bigger: m or j?
m
Let i = 45.8 - 39. Let h = 9 - i. Let b = h - 2. Is b at least -1?
True
Let t = -41 + 24. Which is smaller: -18 or t?
-18
Let u be (10 - 11)*(-4 - -2). Let r = 4 - 3. Which is smaller: r or u?
r
Let y(f) = -f**3 - 5*f**2 + f + 1. Let i be y(-5). Let w be (i/(-6))/(3/(-9)). Suppose 2*z + 3 = -3. Are w and z non-equal?
True
Let f = 8 + -10. Which is smaller: f or -0.3?
f
Let w be (-14)/(-35) + (-58)/120. Which is bigger: 0 or w?
0
Suppose 5*d + 4 = -16. Let n(w) = w**2 - 5*w + 1. Let o be n(2). Let z be o - (0/(-2) - 0). Are d and z unequal?
True
Suppose -3*w - 5 = l, -4*l + l - 6 = 0. Let c = -3.06 + 3. Which is bigger: w or c?
c
Let i = -25 + 25.17. Let j = i + -0.07. Which is smaller: j or 0.05?
0.05
Let u(y) = -y**2 + 4*y. Let s be u(4). Let v be 2 + 1 - 1 - 1. Do s and v have different values?
True
Let i = -11.1 + 12. Let l = i + -4.9. Which is greater: l or 2/3?
2/3
Let c be (1 + -10)*2/(-6). Suppose -4*p + 8 = 4*x, 5*p + 4*x = 3*x + 22. Suppose -p - 1 = c*g. Is g >= -4/7?
False
Let m be (-8)/(-32) + 7/(-60). Is m smaller than 0?
False
Suppose -3*f + 1 = -8. Let p = f + -4. Which is bigger: 1/6 or p?
1/6
Let q = -103/1034 + 5/22. Are 0 and q equal?
False
Let j = 3.26 - 3.2. Is j less than -6?
False
Let j = -9 - -9. Suppose -5*o + 10 = 3*u - 2, -2*u + 5*o + 8 = j. Which is bigger: u or 8/3?
u
Let t = -1 + 2. Let b = 17 - 20. Are b and t unequal?
True
Let m = -40 + 41. Suppose -3*j + j + 4 = 0. Is m at least j?
False
Let f(p) = 12*p - 19. Let x be f(4). Are x and 30 nonequal?
True
Let y(n) = 9*n - 36. Let h be y(4). Is h at least 10/13?
False
Let u = -2/689 + 59/2067. Which is smaller: 0 or u?
0
Suppose 5*q = -5*d + 135, 5*q + d - 135 = 5*d. Suppose -5*c + 3*r = -3*c + q, 4*r = 5*c + 57. Which is greater: -10 or c?
c
Let y = -24/97 - -3831/194. Is 1 bigger than y?
False
Let s(w) = -w**2 + 8*w - 3. Let m be s(7). Suppose 7 = 3*z + 2*g, 2*z - g + m = 4*z. Is 2 greater than or equal to z?
True
Suppose 2*s = -0*s + 2, -3*a - 8 = -2*s. Is a > -3/2?
False
Let v(q) = 3*q**2 - 4*q + 2. Let y be v(2). Suppose -y*x + x = -20. Is x less than or equal to 5?
True
Let n = 15 + -17. Let l(g) = -2*g**3 - g**2 + 1. Let o be l(1). Is o bigger than n?
False
Let q be (-2 - (-46)/20)/(3/8). Which is greater: q or -0.06?
q
Let b = 4/189 + 302/3591. Are b and -1 equal?
False
Suppose -h - 3*o = -8 - 8, 4*o = -5*h + 25. Let z be (10/1)/h - 4. Does 6 = z?
True
Let j = -607115 - -376410923/620. Let v = 1/124 + j. Is -2 >= v?
False
Suppose -2*j + 4 = -3*j. Let a = 5 + j. Is 1 less than or equal to a?
True
Let o = -52 - -41. Which is smaller: o or 0.2?
o
Let c = 0.06 - -1.14. Is 0.1 greater than c?
False
Let p(v) = -v**3 - 4*v**2 + 6*v - 1. Let c be p(-5). Let b be (-7)/27 + (-2)/c. Which is smaller: b or 1?
b
Let r = -0.07 - -1.07. Suppose -6*o = -o. Which is bigger: o or r?
r
Let o be (0 - -2)*3/39. Which is smaller: 0 or o?
0
Let p(i) = i**3 + 7*i**2 + 12*i + 10. Let y be p(-5). Do y and 6/19 have different values?
True
Let o = 3 - 3. Let m be 2/24*16/6. Is o < m?
True
Let j(v) = -v**3 - 11*v**2. Let d be j(-11). Are d and 7/9 equal?
False
Let v be (-217)/140 + (-15)/(-12). Which is smaller: -1 or v?
-1
Let j = -77 - -69. Is -7 at least j?
True
Suppose -4*g - a = -6*a - 24, -g - 2*a = 7. Suppose 0*m = -4*m. Suppose -4*s - 2*c - 6 = -m*c, 0 = -5*c - 15. Does g = s?
False
Let z(q) = q**2 - q - 2. Let v(p) = 6*p - 4. Let c be v(3). Let j be 32/c - 6/21. Let k be z(j). Is -1 smaller than k?
True
Suppose -3*p + 2 = -o, 4*p = -5*o + 4*o + 5. Is o greater than or equal to 1/8?
True
Let d be 28 - (1 + -1 + -3). Suppose -i - i - 5*u = -21, d = -3*i + 5*u. Suppose 0 = n + 1 - 0. Is i <= n?
True
Let i = 0.4 - 0.3. Let f = 0.5 + -0.3. Let n = f - i. Are -1 and n unequal?
True
Let r be -2*1*(-2)/2. Suppose -r*d = -6*d - 8. Suppose -2*m - c = -3 + 2, -5*c = m - 14. Is d less than m?
True
Let d be (20/(-90))/(1/(-3)). Do -2 and d have different values?
True
Suppose -q - 2 = -3*q. Let g = q + 0. Let d = 36/11 + -34/11. Is d > g?
False
Let r(z) = z**2 + z. Let w(p) = 4*p**2 - p + 1. Let a be 3/18*3*2. Let b(g) = a*w(g) - 3*r(g). Let m be b(3). Which is smaller: 1 or m?
m
Let h be (-1)/4 - (-1)/4. Are h and 1/70 equal?
False
Let o be (-18)/15*(-35)/14. Is o < 3?
False
Let y = -45 + 45. Is 1/30 <= y?
False
Let l = -32 + 87. Let p = -53.84 + l. Let q = p + -1.1. Which is bigger: q or 1?
1
Let q(d) = d. Suppose p = 2*z - 4, 0 = 3*p - 4*z + 7 + 7. Let b be q(p). Is b less than or equal to -5?
True
Let j = -10 - -27. Let u = j + -20. Is u > -1?
False
Suppose -2*b + 0*t + 1 = 3*t, 4*b = t - 5. Let r be -2 + 5 + (1 - b). Which is greater: r or 2?
r
Let g = 14 + -21. Which is smaller: -1 or g?
g
Suppose f - 5*k + 11 = 2*f, 2*k - 52 = 3*f. Let y = 13 + f. Let t = -0.1 + 1.1. Which is smaller: y or t?
y
Let u = 0.05 + -2.05. Let o = -1.8 - u. Let j = 0.2 - 0.4. Which is smaller: o or j?
j
Let r(i) = i**3 + 7*i**2 - 1. Let p be r(-7). Which is smaller: 2/5 or p?
p
Let g = -43.1 + 43. Which is bigger: g or 11?
11
Suppose y - 22 = q, 0*q + 2*y - 65 = 3*q. Which is smaller: 2 or q?
q
Let u = 8 + -7. Is 4/5 smaller than u?
True
Let k = -2.7 + -3.3. Which is bigger: k or -1?
-1
Let m be (-4)/(3/(9/2)). Let g = -102 - -96. Is g != m