 -2*o + 4*r = -6. Which is smaller: q or o?
o
Let b be ((-37)/(-90) - 0) + (-97)/194. Is 0 equal to b?
False
Let i = -12667 + 12668. Suppose -3*o + 5*y + 29 = 0, -3*o + 2*o + 11 = -2*y. Which is greater: o or i?
o
Let o be 8/(-10) + -1 + 1. Let l be 3/2 + 261/(-58). Let p be 4*(l/12)/(1/2). Is p less than o?
True
Suppose 0 = -3*b - j - j + 34, 0 = -5*b - 5*j + 60. Let k(q) = q**2 - 10*q + 9. Let a be k(b). Which is greater: 7 or a?
a
Let s be ((-20)/(-44) - 2)*-1143. Let n = 1765 - s. Is -1 < n?
False
Let p(r) = -20*r + 17. Let u be p(4). Let h = u - -60. Let m(i) = i**3 - 5*i**2 - 4. Let d be m(5). Which is smaller: h or d?
d
Suppose -77*r - 8 = -76*r. Which is bigger: r or -0.1?
-0.1
Let n(z) = -z - 2. Let p be n(-4). Let i(c) = -6 - c - 2 + 2*c + p. Let s be i(8). Which is smaller: s or -1/5?
-1/5
Let c = 10 + -8. Suppose 0*h + 6 = 2*t + 3*h, 8 = -c*t + 4*h. Which is smaller: t or 3/22?
t
Suppose 4*q + 2 = 14. Suppose 0 = 6*a - q*a. Do -15 and a have the same value?
False
Let v(n) = n + 26. Let d(a) = -2*a**2 - 5*a + 10. Suppose 0 = p - 9 + 14. Let x be d(p). Let g be v(x). Is g >= 10?
True
Let d = -35943/17 + 2114. Is -1 smaller than d?
True
Suppose -5*h = 2*k - 4, 52 = 6*k - 2*k - h. Is k smaller than 33?
True
Let k = 5185/7 - 741. Is -2 bigger than k?
False
Suppose 0 = 3*s - 12*s + 1440. Suppose m + 0*m = -5*c - 14, 5*m + 12 = 4*c. Let a be (-90)/s*m/(-3). Which is smaller: a or 4?
a
Let d = 579 - 577. Suppose 5*t = 0, 4*v + 0*v + 3*t - 8 = 0. Let m(f) = f**2 - f - 1. Let y be m(v). Is y smaller than d?
True
Suppose -9*a - 126 = -23*a. Suppose a = g - 0. Which is smaller: g or 2?
2
Let v = 417 - 287. Suppose i + 9*i = v. Is i <= 13?
True
Let n be (2 - 4)*12/(-8) - 0. Let p = -7.08 + 0.08. Which is greater: p or n?
n
Let g(o) = 5*o - 13. Let r(q) = -4*q + 12. Let j(y) = 5*g(y) + 4*r(y). Let s be j(5). Let n be (s/(-32))/7*-2. Which is greater: n or -1?
n
Let q be 13/18 + (-4)/18. Let p(a) = a**2 - 2*a + 4. Let j be p(-4). Let m be 14/(-12)*(-6)/j. Which is smaller: q or m?
m
Let v = 27 - 26.97. Let u = v + 25.97. Let q be ((-4)/10)/(24/40). Are q and u non-equal?
True
Let i be (-730)/575 - (-4)/10. Are -2 and i unequal?
True
Suppose -1 = -5*g + 89. Let h(c) = c**2 - 9. Let j be h(5). Is j at most as big as g?
True
Let g(j) = -j**2 - 19*j - 4. Let n be g(-14). Let v be 2916/n + 4/(-22). Let u be 3 + v/(-32) + -2. Which is smaller: 1 or u?
u
Let f = 236 + -151.1. Let a = f + -85. Let x = -6 - -8. Which is greater: a or x?
x
Let y(h) be the second derivative of -7*h**3/6 + h**2/2 - 12*h. Let u be y(1). Let b = -3 + -3. Is u less than or equal to b?
True
Let j = -2.7636 - 0.1964. Is 2 equal to j?
False
Let d(l) = -2*l - 30. Let c be d(-17). Suppose -3*g = -6, -12 - 6 = -c*o - g. Is o less than 17/5?
False
Let b(u) = 8*u**2 - u + 5. Let h be b(-3). Let p be (h/(-56))/(2/(-7)). Suppose -p = 2*n - 7*n. Which is greater: -1/17 or n?
n
Let y = -73 + 75.3. Let f = 2.3 - y. Is 2 > f?
True
Let r(p) = -132*p. Let s be r(1). Is -131 bigger than s?
True
Suppose 3*t + 2*r = 1 + 1, 2*r - 2 = -t. Suppose -2*h - 45 = 5*g - 3*h, -3*g + 4*h - 44 = t. Let u = 8 + g. Which is smaller: u or 2/15?
u
Let p = 1059 - 15892/15. Which is bigger: -1 or p?
p
Let h = -10 - -1. Let j be (5/(-20) - (-3)/12) + 1. Suppose 40 = -4*c - 4*a, -j = -4*a + 3*a. Which is smaller: h or c?
c
Let l(k) = k**2 - 6*k + 8. Let a be l(2). Let h be 1*-3 - (a + 6)*5. Is -33 at least as big as h?
True
Let g = -113/4 + 803/28. Let j = -157 + 156. Are j and g non-equal?
True
Let i = 25523 - 25524. Let h = -3 + 6. Let u be ((-4)/(-126))/(h/9). Is i smaller than u?
True
Let j = 1100 - 1022. Which is greater: j or -5?
j
Let g = 6 + -5.84. Let f = -0.8 - 0.2. Which is bigger: g or f?
g
Let d = -5 - -6. Let z = -720/19 - -38. Which is smaller: z or d?
z
Let l(f) = f**2 - 2*f - 110. Let g = -31 - -31. Let j be l(g). Let r be 10/(-4)*253/j. Is r bigger than 5?
True
Suppose 3*j - 3*q = 156, 4*q + 254 = 5*j + 2*q. Let i(b) = -b**3 - 10*b**2 - 7*b - 19. Let n be i(-10). Is n < j?
False
Suppose -5*d + 10*s - 250 = 5*s, 2*d - 3*s = -101. Is d < -51?
False
Let r = 5 - -3. Suppose -r*z + 15 = -17. Let w be -3 + 8/(-2) + z. Is w >= -4?
True
Let t = -2.586 + -0.344. Which is greater: 0.1 or t?
0.1
Let l = -9.11 + 0.11. Let h = 8.6 + l. Let g = 8 - 8.1. Is h greater than g?
False
Let l(b) = -b**3 - 3*b**2 - 3*b - 4. Suppose 0 = 3*x - 3 + 12. Let d be l(x). Suppose 2*g - 3*g = -d*f - 15, 0 = 4*g - 3*f - 9. Which is bigger: g or 1/7?
1/7
Let j be 3/(9/4)*3. Suppose -j*l - 8 = 16. Suppose 30 = 3*w - 8*w - m, 3*w = m - 10. Which is greater: l or w?
w
Let m(k) = 35*k - 1. Let g be m(1). Suppose -5*d + 2*j - g = 0, -2*d - d - 4*j - 36 = 0. Is -9 at least as big as d?
False
Let p(b) = b**3 + 6*b**2 - 2*b - 4. Let l be p(-6). Let t be 14/l + 3/(-4). Suppose 0*y + y = -t. Is y less than -1/5?
True
Let r be 1 + 1/(-2)*0. Suppose -3*h = 2*x - 11, 3*h + 5*x = h + 22. Is h at least as big as r?
True
Let m = 0.05 - 6.05. Let y = -6 - m. Let r = -0.44 - 1.56. Which is smaller: y or r?
r
Let m = -7 - -22. Suppose 5*i = m, 4*l + l - 12 = i. Suppose l*r - r - 2 = 0. Which is greater: r or 3/7?
r
Let u(g) = -g**3 - 10*g**2 + 11*g. Let p be u(-11). Let c = -3.96 - -0.06. Let d = 0.1 - c. Is p greater than d?
False
Let p be (-28)/35 - 1083/15. Which is smaller: -74 or p?
-74
Let t = 12900 - 6024294/467. Is 0 >= t?
False
Let f = -332 - 116. Let a be (-4)/(-22) - f/(-3432). Is -1 equal to a?
False
Let m = -78 - -71. Let t(q) = -q**3 - 9*q**2 - 16*q - 15. Let x be t(m). Which is smaller: x or 3/136?
x
Let c(d) = d**2 - 7*d + 11. Let n be c(5). Is -4/51 less than or equal to n?
True
Let m = 0.12 - 0.92. Let l = m + -1.2. Is -2 less than or equal to l?
True
Let m = -17 - -22. Suppose -5 = m*o - 3*l - l, -4 = 4*o - 5*l. Is o less than or equal to -2/185?
True
Let r = 85/2 - 61. Are -20 and r non-equal?
True
Let m be ((750/(-80))/15)/((-15)/6). Let l be -10 - (-1 - 0)/1. Let d be (-6)/l*3/8. Is d less than or equal to m?
True
Suppose -5*z + 42 = 7. Suppose i = z*i + 6. Which is smaller: 2/7 or i?
i
Let t be (-2)/7 - (-108)/(-14). Suppose -p + 2 + 1 = 0. Suppose -p*l = 2*l - 20, -3*g = 2*l + 19. Is t bigger than g?
True
Let l be -4 - (1 - 1)/2. Let v be 5*1*((-44)/20 - -1). Let g be 38/(-6) - (-2 - 16/v). Is l <= g?
False
Suppose -5*c - 7 = 2*a, 6*a = -5*c + 2*a - 9. Let q be (-319)/(-33) - 2/(-6). Suppose p - 21 = 3*b - 6, -p = 2*b + q. Which is greater: c or p?
p
Let j(r) = -r + 4. Let m(f) = f**3 + 15*f**2 - 15*f + 8. Let w be m(-16). Let o be j(w). Which is bigger: o or 3?
o
Let d(m) = m + 7. Let c be -5 + -4*1/(-4). Let o be d(c). Let q = o - -16. Which is smaller: 18 or q?
18
Let s = 11 - 7. Let u = -22 - -52. Suppose 0 = -s*d + 6*d - u. Which is bigger: 16 or d?
16
Let n(v) = -87*v - 11. Let t be n(5). Let b = t + 19176/43. Which is greater: -1 or b?
b
Let p = -3 + 4. Let i = 0.89 - 20.69. Let n = i + 20. Which is smaller: n or p?
n
Let t = 1/7308702 + 28724823011/36543510. Let o = 786 - t. Suppose 12*n + 8 = 8. Are n and o nonequal?
True
Suppose -3*t + 2*q + 2 = -2*q, 4*q + 12 = -2*t. Let l = -9 - -3. Let d be l/(-15) + -2*1. Which is smaller: t or d?
t
Suppose 5*c - 5*n = 0, -4 = -3*n - 1. Which is smaller: c or -8/31?
-8/31
Suppose p - 4 = 4*h, 6*h - 12 = 10*h + p. Let b be (5 + h)*(-2)/9. Which is smaller: 1 or b?
b
Let b = 78 - 167. Let r = -91 - b. Which is bigger: r or -0.5?
-0.5
Let d = 2986 - 15019/5. Is -17 smaller than d?
False
Let i be (15 - 8328/552) + (-58)/391. Let d = 0.2 - 0.2. Which is greater: d or i?
d
Let n(t) = -3*t + 1. Let m be n(0). Let s = 1/4 - m. Which is greater: s or -1?
s
Let b(z) = z**3 - z**2 - z - 1. Let w = 4 - 2. Let h be b(w). Let x = -1438/10335 - -4/689. Which is smaller: x or h?
x
Let z be (4248/(-1188))/((-2)/9). Is 17 at most as big as z?
False
Let x = -11 - 5. Let l = 16 + x. Suppose -2*r + 0*r - c + 14 = l, c = -4*r + 26. Which is bigger: 7 or r?
7
Let g(a) = -66*a + 160. Let w be g(5). Is -170 at most as big as w?
True
Let k(g) = -9*g + 1. Let b be k(0). Is b greater than or equal to -6/17?
True
Let u be (-16)/(-3)*6/4. Suppose 3*y - u - 13 = 0. Suppose -9*w + y*w + 12 = 0. Which is smaller: w or 7?
w
Let w(u) = -u + 32. Let t be w(16). Let s be (-2 + 6 - 0) + (-60)/t. Is s >= 2/5?
F