 (-4)/(6 - 2) - 3. Let h = 5 - 8. Which is smaller: h or o?
o
Let s = -3.1 + 3. Let g = s + 0.2. Which is greater: g or -1?
g
Let q = 7 + -15. Let o be (-4)/q*3 - 1. Is o >= 0?
True
Let i = -0.1 + 0.2. Let d(o) = o**3 + 7*o**2 - 11*o - 20. Let h be d(-8). Suppose 2 = h*z + 5*x, 0 = -2*z + 6*x - x - 14. Which is smaller: i or z?
z
Let a be 0/(-1)*(-1)/(-1). Suppose 0 = -d + 23 + 99. Let j = d - 1340/11. Is j > a?
True
Suppose 5*s + 106 = -264. Let k = s + 369/5. Do k and 0 have different values?
True
Let l be 4 + 0 + -2 - -8. Suppose -4*v - 5*g - 28 + 3 = 0, 0 = 3*v - 2*g - l. Suppose 2*j = 5*j - 6, -3*c + j + 1 = v. Which is smaller: c or -2/7?
-2/7
Let r = 0.6 + -0.1. Let b = -11.3 + 12. Let i = r - b. Are i and -2/5 unequal?
True
Let o = -11.5 - -11.5. Are 2 and o equal?
False
Let u be (0 + 2)*1 - -2. Suppose g + g - y = -30, 3*y - 58 = u*g. Let q be (-12)/(-16)*g/18. Do q and 0 have different values?
True
Suppose 5*l - 5*c - 43 = l, l - 2*c = 13. Let h = l + -16. Is -9 greater than h?
False
Suppose -3*n + 5 = n - w, -n - 2*w + 8 = 0. Let s(l) = 6*l + 1 - 12*l + 7*l. Let o be s(n). Is o greater than 3?
False
Suppose 0 = -3*u - 6, 0 = -3*l + 5*u - 19 - 16. Is -15 less than or equal to l?
True
Let p = -2.7 + -0.3. Let z = -2.9 - p. Let g = -0.6 - 2.4. Which is greater: g or z?
z
Let n = -13 + 23. Let z = 15 - n. Suppose z*g - 2 - 6 = -4*s, 5*s = 4*g + 10. Does s = 1?
False
Let m be 290/(-2054) + (-2)/(-13). Is -1 bigger than m?
False
Let g = 224/3 - 74. Let q be (-3 - 0 - -4)*5. Suppose 2*b + q*k = 5, -5*b + k + 4 = 5. Is b bigger than g?
False
Let r = 0.5 - 0.2. Let x = -0.4 + r. Is x at least 0?
False
Let o be ((-66)/(-11))/((-20)/6). Let y(u) = u**3 - 5*u**2 + u - 6. Let r be y(5). Which is smaller: r or o?
o
Let z = 0 - -1. Suppose -m - 24 = 2*q - 3*m, 2*m + 78 = -4*q. Let d = q - -87/5. Which is bigger: z or d?
z
Let j = -4 - -1. Let i(a) = -a**2 - 4*a - 7. Let w be i(-5). Let y be (-5)/20 + 1/w. Which is smaller: j or y?
j
Let o = 0 + -0.1. Let s = 1.2 - -0.7. Let k = s + -2. Is k != o?
False
Let z = -18 + 17. Which is greater: z or 3/8?
3/8
Let m = 617267/75 - 8230. Let h = -1597 + 119777/75. Let x = h - m. Which is smaller: x or 0?
x
Suppose 3 = 4*k - 3*k. Let b be 1 + -1 - (2 - k). Suppose -3*y + 5*y - 2 = 0. Is b less than y?
False
Let n = 6 + -2. Let b be (12/8)/(2/n). Let d = 51/14 + -15/7. Which is bigger: b or d?
b
Let s = -0.06 + 1.06. Let j = s - 0.9. Which is greater: j or 1?
1
Suppose 2 = -3*l - 4. Let q be l/(-6) - 12/9. Let p be (-2)/(-3)*-3 - 4. Is p greater than or equal to q?
False
Suppose 2*k = 7*k - 5. Let m(s) = 10*s**3 - s**2 - s + 1. Let n be m(k). Suppose 7 = -4*w - n. Do -4 and w have the same value?
True
Suppose -v + 0*v = 2. Is 5 bigger than v?
True
Let p be 1 + ((-126)/(-240) - 4/10). Which is bigger: 1 or p?
p
Let u be ((-8)/6)/((-2)/18). Let l be (-6)/u*(1 + 3). Which is greater: 1 or l?
1
Suppose 0 = -l + 13 - 4. Which is bigger: l or 10?
10
Let b = 6.9 + -8.9. Let x = -4.3 - -4. Which is greater: x or b?
x
Let s be 6/(-18) + (-92)/(-6). Let y = -12 + s. Is 2 bigger than y?
False
Let t = 19.956 - -0.044. Let y = -20.1 + t. Which is greater: 10 or y?
10
Suppose 5*h - 33 = -l + 177, -h = l - 42. Let v be (-18)/h - 2/(-7). Let c be (-2)/(-4) + 2/(-4). Do c and v have the same value?
False
Let g = 704/5 - 2407/15. Is g smaller than -19?
True
Let c = 23 - 24. Are -3/2 and c nonequal?
True
Suppose -c + d = 3, 0*d = 2*c + 5*d - 15. Suppose -3*z + c*z + 9 = 0, -8 = g - 3*z. Is g greater than 1?
False
Suppose -5*g + 0 = 3*s + 20, 24 = -4*s - 4*g. Let m(i) = 3*i**2 - 45*i + 3. Let v be m(15). Which is greater: s or v?
v
Let r be ((-4)/10 + 0)/((-14)/10). Is r < 0?
False
Let n be 1/2*-8 + -2. Which is smaller: n or -39/7?
n
Let a = 2861/6 + -1095/2. Let f = 70 + a. Is 7 not equal to f?
True
Let r = 10.9 + -8.9. Let z = 0.4 - 0.3. Which is smaller: r or z?
z
Let b be (-3)/(2/2) - (-35 + 31). Is 6 > b?
True
Let h be ((-3)/(-6))/(2/16). Suppose -4*g + 12 = -4. Is h at most as big as g?
True
Let h = 0.1 + -0.1. Let u = 0.2 + h. Let j = -13.9 + 14. Is u at most j?
False
Let z(n) = -n + 14. Let k be z(10). Let d = 1 - -4. Is d < k?
False
Let u = -786 - -3943/5. Is u smaller than 2?
False
Let x = -5 + 4.9. Let i = 0 - -1. Is i bigger than x?
True
Let o = -0.6 + -1.06. Let t = -1.8 - o. Let l = -0.04 - t. Does 0 = l?
False
Let i = -0.008 + -0.602. Let l = -0.01 - i. Let a = l - 0.6. Are 0 and a equal?
True
Let j = 237 - 3083/13. Which is bigger: 0 or j?
0
Let l be 1/(95/(-48)) - 2/(-19). Is -22 greater than l?
False
Suppose 9 = -2*o - 3*h, -o = 2*o - h - 3. Let j = -1/176 + 3/16. Which is smaller: j or o?
o
Let x = -13 - -3. Let j = -6 - x. Let w be ((-9)/(-6))/(3/j). Is 2 equal to w?
True
Let l(v) = -v**3 - 14*v**2 - 14*v + 13. Let r be l(-13). Is r at least 25?
True
Let y(n) = n**3 + 3*n**2 - 3*n - 3. Let g be y(-3). Let m be (1/g)/((-40)/(-150)). Which is bigger: m or 2?
2
Let i = 196 - 197. Which is greater: i or 32?
32
Let w = -2 - -1. Let r be ((-4)/(-4))/((-1)/1). Let c be -1 - r - (-15)/(-25). Which is greater: w or c?
c
Suppose 0 = 4*v - 68 + 8. Suppose -v = 5*b - 0*b. Which is smaller: 2/5 or b?
b
Let i = 11.14 + -0.14. Let c = 11.1 - i. Is 10 >= c?
True
Let s(f) = f**3 - f - 1. Let p(x) = -6*x**3 - 8*x**2 - x + 10. Let k(u) = p(u) + 5*s(u). Let n be k(-7). Does n = -2/3?
False
Let y = -7 - -10. Let n be 2/y*(-12)/(-8). Is -1/3 at least as big as n?
False
Let h be 2/(-4) + 10/(-4). Suppose g = -0 + 5. Suppose 2*l - 4*l + w = 4, g*l - 5*w = 0. Which is smaller: l or h?
l
Let t = -3.99 - -4. Let b = 0.05 + t. Let q = 0.36 - b. Which is greater: 2 or q?
2
Let q(j) = j**3 + 3*j**2 - 5*j - 2. Suppose 0*k = k + 4. Let s be q(k). Suppose -6*p + s*p = 16. Are -3 and p nonequal?
True
Let o = -0.1 + 2.1. Suppose -a + 19 - 62 = 4*h, 0 = 2*a - h + 131. Let p = 249/4 + a. Which is smaller: p or o?
p
Let z = -34 - -1056/31. Which is smaller: 1 or z?
z
Let r = 19 - 13. Let j(s) = 8*s**2 - s**3 - 4 - 6 + 4 - r*s. Let x be j(7). Which is smaller: 0.2 or x?
0.2
Let h be 1*-2*2 + -2. Let w be 1/h - (-1)/(-15). Let q = w + -1/60. Which is greater: 3 or q?
3
Let b = 1 + 0. Let x = 16/15 - 2/3. Is x >= b?
False
Let l = 2/3 + -47/66. Let k = 2 + -1.9. Which is smaller: l or k?
l
Let w = 43 - 31. Which is smaller: 11 or w?
11
Suppose -2*l + 10 = 3*l. Suppose -l*v = -0*v. Is v less than 1?
True
Let i(c) = -c**3 + 6*c**2 + 2*c - 11. Let t be i(6). Which is bigger: 2/51 or t?
t
Let w(k) = -2*k - 6. Let u be w(-8). Let m = u + -7. Let c be (-2 + m)*2/(-10). Which is greater: c or 1?
1
Suppose -k + 4 = -3. Suppose -k = -3*q - 4. Which is smaller: 3 or q?
q
Let p = -469/6 - -78. Let z(g) = -g**2 - 5*g + 5. Let r be z(-5). Suppose -l - r = -4. Is p bigger than l?
True
Let q(l) = -l + 1. Let i(t) = -t - 7. Let c(o) = -i(o) + 2*q(o). Let g be c(10). Let k be 8/(-20) - (g - -1). Which is smaller: 1 or k?
k
Let o(x) = x + 7. Let i = -15 - -8. Let q be o(i). Which is smaller: 1.5 or q?
q
Let z = 3 - 2. Which is greater: z or 2/13?
z
Let n be 6/1*4/12. Suppose 3*p = -2 - 4, -n*k = 2*p. Are k and 3 nonequal?
True
Let p = 43 - 26. Do 17 and p have different values?
False
Suppose g = 4*q - 11, 2*g - q + 1 = -0. Is g > -6?
True
Let n be (-6)/(-7)*(-77)/11. Is n >= -4?
False
Let q = -9964/9 - -1106. Which is bigger: q or -1?
-1
Let u(k) = -k + 1. Let v be u(0). Let w = 272 + -270. Is v at least as big as w?
False
Let s(j) = j + 7 + 10 - 4. Let p be s(-11). Let z be p + -2 - 2/2. Which is bigger: z or -0.3?
-0.3
Let o = -8 + 11. Let c = -19 - -18. Is o bigger than c?
True
Let m = -5285/316 - -67/4. Is 1 > m?
True
Let a = -70 - -86. Is a > 16?
False
Let g = -20/51 + 934/561. Is 0 at most as big as g?
True
Suppose 0 = 5*h + 4 + 6. Let u = 3 + h. Which is smaller: 2 or u?
u
Suppose -2*n = y + 4 - 1, 0 = n + 3. Let w = 0 - y. Let j be (-2)/1 + 5 + -7. Which is smaller: w or j?
j
Let s = -8 - -54/7. Let m(o) = -o**3 - 6*o**2 - 5*o. Let y be m(-5). Which is bigger: s or y?
y
Let s(f) = f**3 - 6*f**2 + 3*f + 4. Let i(k) = -k**3 - 4*k**2 + 5*k + 5. Let j be i(-5). Let w be s(j). Is w > 0?
False
Suppose -2*q - 6 = -2*h + 4, -4*q = 3*h + 6. Let a be (-467)/224 + 0 + h. Let g = a + -11/32. Which is smaller: g or 0?
g
Let v = 17 - 16.93. Let k = v - -0.03. Do -1 and