?
-2/7
Let q = -26 + 16. Let o be 4/(-3)*45/q. Let y = o + -7. Is -3/2 at most y?
True
Let u be ((-54)/32)/(2/8*6). Which is smaller: -1 or u?
u
Suppose l - 21 = -2*l. Suppose 0 = b - 3*i - 3 + 8, 0 = -3*b - 2*i + l. Let k be 5/(-5)*2/b. Which is smaller: k or -3?
-3
Let q = 29 - 31. Which is smaller: -5/9 or q?
q
Let f = 15 + -27. Let r = f + 14. Which is greater: 1/4 or r?
r
Let v = 0.089 - 0.089. Which is smaller: 3/5 or v?
v
Suppose -7*z + 4*z - 6 = 0. Let m be (-2)/4 - (-3)/6. Let q be 0 + (m - -2)/(-2). Which is bigger: q or z?
q
Let n be 4296/(-252) + 4/(-14). Which is smaller: n or -17?
n
Let o = -5 - -4. Let h be -3 + ((-4)/o)/1. Which is smaller: h or -2/9?
-2/9
Let u(t) = t**3 - 5*t**2 - 5*t - 3. Let m be u(6). Suppose 2*f - 1 = m. Let r be 8/44 - ((-651)/33)/7. Is r smaller than f?
False
Let l = -22 + 22. Is 1 != l?
True
Let q = 8 - 54/7. Which is bigger: 1 or q?
1
Let z(x) = x**2 + 2*x - 3. Suppose -2*g - 1 = -5. Let q be z(g). Let w(y) = y**3 - 4*y**2 + 5*y - 4. Let p be w(3). Is q <= p?
False
Let l = 2 + -9/5. Which is smaller: l or -1?
-1
Suppose -5*u + 13 = -2*u + 2*f, 3*u + 5*f - 28 = 0. Let b = 36 + -11/2. Let s = b + -31. Is s less than or equal to u?
True
Let b = 2/17 - 3/170. Which is smaller: b or -1?
-1
Suppose 0*b = -4*b - 5*m - 66, -2*b - 44 = -3*m. Which is smaller: -17 or b?
b
Let o be (-3)/(-9)*6 - 1. Suppose 13 = v - 2*v - 4*d, 2*v = 4*d + 10. Let j be (3 - 3)/(1 - v). Which is bigger: j or o?
o
Let l = 0.12 + -5.12. Let u = l + 8. Let s = 1 - u. Which is bigger: s or 1/3?
1/3
Let u(w) = 13*w + 29. Let g(p) = 6*p + 15. Let m(v) = -9*g(v) + 4*u(v). Let i be m(-9). Let n(a) = a + 4. Let f be n(-3). Which is greater: i or f?
f
Let h = -41051/66 + 622. Which is greater: 0 or h?
h
Let f = -114344903/22713 + 30/7571. Let p = 5170 + f. Let h = p + -137. Is -1 < h?
False
Let k be (-1*6/3)/5. Let m = 11.9 - 12. Let i = m - 0.9. Is i at least k?
False
Let v = -21 + 20. Which is smaller: 1/16 or v?
v
Let w be (-9)/159*12/18. Is w at most 1?
True
Let x(y) = -y - 3. Let k be x(-9). Let q be 270/14 - (-5 + k). Let b = q - 449/28. Which is greater: b or 2?
b
Let l = -4 + 3. Let s be 5 - 3 - (l - 1). Suppose 0 = -k + 5*z + 11, 3*k - 9 = 5*z + s. Which is greater: 3 or k?
3
Let y = 45/44 - 14/11. Is 4 != y?
True
Let f = 4/29 + 38/145. Which is smaller: f or -0.9?
-0.9
Let r = 6.8 + -7. Let v = -0.8 + r. Let t = -0.05 - -1.05. Is v bigger than t?
False
Suppose 11*y = 9*y. Which is smaller: 3 or y?
y
Let l = -3 + 2. Let v = 18 + -13. Suppose 3 = v*g - 2. Is l >= g?
False
Let s be 7 - (1 - (0 + -1)). Suppose 0 = -q + 5*n + 18, -2*q - 8 = -4*n - 26. Suppose -g - 4 = -q*g. Which is smaller: g or s?
g
Let w = -25 + 27. Which is bigger: w or 4/7?
w
Let j = -118 + 118.69. Which is smaller: -1 or j?
-1
Let r = 0.88 - 4.88. Which is bigger: -11 or r?
r
Let v = -16 + 17. Is 6/11 greater than or equal to v?
False
Let n(s) = 2*s**2 - 2*s - 10. Let u be n(-6). Let z be u/(-38) + 6/3. Which is greater: z or -1?
z
Let n be 3/((-9)/(-3)) + 2. Suppose -2*r - n = -13. Which is greater: 6 or r?
6
Let m = -0.084 - -0.104. Which is smaller: m or -2/3?
-2/3
Let y(a) = 8*a**3 + a**2 - a - 1. Let z be y(-1). Let c = -70 + 63. Is c at least as big as z?
True
Let a(y) = -y**3 - 5*y**2 - 4*y + 1. Let i be a(-4). Let p = 1 + i. Let n = -0.1 - -0.3. Which is greater: p or n?
p
Let m = -11 - -13. Let v be (-34)/187 + m/11. Is v less than or equal to -2/53?
False
Let b be (2/(-12))/((-6)/27). Let y(x) = x**3 + x**2. Let h be y(1). Is b greater than or equal to h?
False
Let x = 12/1547 - 67649/145418. Let p = x + -2/47. Is -0.2 bigger than p?
True
Let s be (-3 - 9/(-6))*8/18. Let r = 5 + -2. Suppose 0 = r*h - 2 - 4. Is h bigger than s?
True
Let h be 4 + -6 + (-70)/(-32). Which is greater: -1 or h?
h
Let s(k) = k - 13. Let l(h) = -9*h**3 + 2*h**2 + 2*h + 1. Let r be 4/6*(-6)/4. Let u be l(r). Let i be s(u). Are -3 and i nonequal?
False
Let b be (-4)/(-2) - 0 - -2. Suppose 5*w - b = 1. Let h = -209/5 - -42. Which is bigger: h or w?
w
Let g be 1 - (38/14 - 2). Let f(n) = -n**2 - 10*n + 1. Let z(m) = m**2 + 11*m - 1. Let s(j) = 6*f(j) + 5*z(j). Let o be s(-5). Is g at least o?
False
Let o = 2992/3 - 989. Which is greater: o or 7?
o
Let q be (3/(-24))/((-90)/4). Let w = -371/1980 + q. Let m = 1 - 0. Is w <= m?
True
Let c = 5/36 + 1/12. Suppose -q = -5*s + 4, -6*s - 3*q = -2*s - 7. Which is smaller: s or c?
c
Let s be 2*2/28 + 0. Suppose 1 + 6 = 7*n. Is n >= s?
True
Suppose -5*x = -10*x + 5. Which is smaller: 3/7 or x?
3/7
Let s be 5*1 - (-2 + 4). Let w(v) = v**2 - 2*v - 4. Let k be w(s). Which is bigger: k or -2?
k
Let m be (-4 - -5)/(1/6). Suppose -2*u = -4 - m. Is 4 less than or equal to u?
True
Let y(b) = b**3 - 8*b**2 + 11*b + 3. Let l be y(6). Which is bigger: -2 or l?
-2
Suppose -4*i = -16, 5*s - 4*i = 14 + 10. Suppose -t - t - s = -n, 5*n = 2*t + 16. Suppose f = n*f. Which is smaller: f or 3/4?
f
Suppose -2*g + 7 = q, 5*g + 0*g = 4*q - 15. Let o = g + -1. Let w = -1/32 - 89/224. Which is bigger: w or o?
o
Suppose -4*j + 7*j = -60. Let a = j + 81/4. Which is greater: -1 or a?
a
Let c be ((-7)/84)/((-2)/6). Which is bigger: -7 or c?
c
Let w be (-58)/90 + (-2)/(-10). Let o = -1/9 - w. Which is greater: o or 0?
o
Suppose 5*o - 3 = -b, 2*b + 1 - 7 = -2*o. Let h be (3/(9/6))/2. Is h at least as big as b?
False
Let w be (-1500)/54 - 6/27. Do -28 and w have the same value?
True
Let v be 3 + (2 + -2 - 5). Let y(m) = m**2 + 5*m - 4. Let t be y(-6). Suppose 0*s + t = -s. Does v = s?
True
Let w = -4.99 - -5. Let u = w + -0.03. Let j = u + -1.98. Is j < 2?
True
Let d = -80 + 54. Is -24 bigger than d?
True
Let f(o) = 2*o**3 - 4*o**2 + o + 2. Let z be f(2). Suppose -5*g - 8 = -7*r + 6*r, g = 3*r + z. Is -2 less than g?
False
Let g be 16 - 1 - (0 - 0). Let b = g - 20. Which is greater: b or -6?
b
Let g = 4.9 + -5. Let j = -1.3 - -1. Is g not equal to j?
True
Let b = -124/171 + -1/19. Which is smaller: 0 or b?
b
Let o(w) = -w. Let n be o(3). Let a = n - -2. Let z be a - -4 - (-1)/(-1). Which is smaller: z or 4?
z
Let q = -20 - -19.9. Let y = 29 - 28.86. Is y at least as big as q?
True
Let a be -7*(-4 + (-3)/(-1)). Suppose 2 = -5*s + a. Is s smaller than 0?
False
Let f = 173 - 172. Let t = 0.95 - 1. Which is smaller: f or t?
t
Let q be ((-2)/(-4))/(2/12). Suppose 19 = -2*t + q*m, -4*t + 0*m = -2*m + 18. Do t and -2 have different values?
False
Let j be (-3 + 2)/(1/4). Let h = 4 - 7. Which is bigger: h or j?
h
Suppose 2 = 3*p - 1. Let z = -11 + 16. Is p != z?
True
Let g = -137 - -137.4. Is 4 equal to g?
False
Let s(c) = -c**2 + 7*c - 7. Let j be s(6). Is -3/7 < j?
False
Suppose -5*m - 1 + 2 = -4*u, m = -2*u + 3. Let g be m/(10/8)*-5. Suppose -6*q + q = 15. Is g at most q?
True
Suppose 2 = 2*b - 54. Suppose 0 = 4*j + b. Which is smaller: -6 or j?
j
Let o = 5 - 2. Let v(k) = k**3 - 5*k**2 - 6*k + 3. Let m be v(6). Is o != m?
False
Let o be 10 + -4*2/4. Suppose 0*s + 4*s - o = 0. Suppose -3*a = -s*a. Is a less than -2/11?
False
Suppose 2*r = 6*r - 3*d - 46, -5*d - 50 = -4*r. Let s = 31 - 21. Do r and s have the same value?
True
Suppose 10 = r + r. Which is smaller: 25/6 or r?
25/6
Let y = -8 + 4. Suppose 8*g = -5*z + 5*g + 10, -2*z - 5*g = -23. Which is smaller: y or z?
y
Let c = -16 - -22. Suppose -x + 5 = 0, s + 3*x - 23 = -c. Suppose 4*t - 23 = -3*l, s*l = 2*t + 2 - 10. Which is greater: 2 or l?
2
Let q = -22 + 22. Let l be ((-4)/(-3))/(20/(-18)). Let d = l - -47/35. Is q <= d?
True
Let s(c) = c**2 + 6*c + 3. Let y be s(-4). Let a(t) = -t**2 + 5*t - 2. Let g be a(2). Suppose 1 = -3*b + g. Which is greater: b or y?
b
Suppose 3*h + 6 = h. Let f(n) = -n - 9. Let m be f(-7). Which is greater: m or h?
m
Let b(k) = -k**2 - 3*k + 4. Let i be b(-4). Suppose 5*z - 23 - 7 = i. Which is smaller: z or 3?
3
Let y = 4/9 - -2/9. Are y and 1 non-equal?
True
Let y = 9 - 23. Is -2/5 at least as big as y?
True
Let w(h) be the second derivative of -h**5/20 - h**4/6 + h**3/3 - h**2 + 3*h. Let g be w(-3). Is g at least 3?
False
Let l = -401 - -4420/11. Do l and 1 have different values?
True
Let b be 1*-4 + 2 + 0. Let r = b + 5. Is r equal to 7/2?
False
Let v(i) = -i**2 + 15*i. Let u be v(15). Which is smaller: -6/53 or u?
-6/53
Suppose -5*m = -5*n - 57 + 2, -2*m + 1 = 5*n. Suppose d + 3*d = k + m