. Let g be (-1)/(-4)*(2 + -5). Which is greater: g or f?
g
Suppose -7 = 6*t - 1. Let c = 1004/221 + -72/17. Is t greater than c?
False
Suppose -8 = 4*p - 4. Let v = -23/572 - 5/44. Which is bigger: p or v?
v
Let m = -0.01 + -0.19. Let y = m - -0.2. Which is smaller: -0.6 or y?
-0.6
Suppose -5*b = 42 - 2. Let o(n) = -n**3 - 8*n**2 - 5. Let i be o(b). Let w(d) = d + 1. Let z be w(-4). Which is bigger: i or z?
z
Suppose -3*u - 8 = -2. Is u at least -2?
True
Let t = 5 - -9. Let c be t/(-21)*132/2. Let i = 441/10 + c. Which is greater: 1 or i?
1
Let s(y) = 10*y - 21. Let c be s(3). Which is smaller: -0.6 or c?
-0.6
Suppose 0 = -19*t + 21*t + 2. Is 2/95 bigger than t?
True
Let q(h) = -7*h**3 - h - 1. Let w be q(-1). Which is greater: 5 or w?
w
Let f(z) = -7*z - 3. Let i be f(-3). Does 18 = i?
True
Let a = 0.8 - 0.4. Let g = 0.6 - 0.8. Let k = 0.3 + g. Which is bigger: a or k?
a
Let i(k) = -k**3 - 4*k**2 - 3. Let v be i(-4). Is v greater than -0.2?
False
Suppose 0 = 3*f + 3 - 21. Suppose -20 = -c - 5*h, -h + 2*h - 3 = 0. Which is bigger: f or c?
f
Let w = -2 + -8. Suppose 5*o = 3*h - 46, -h - 5*o - 60 = -6*h. Suppose 0 = -0*c + h*c - 7. Are w and c equal?
False
Let k(o) = -2*o. Let t(x) = x - 1. Let s(c) = k(c) + 3*t(c). Let a be s(4). Let p(l) = l - 3. Let y be p(4). Is a at most as big as y?
True
Let h be (-16)/8 + (-30)/(-7) + -2. Which is smaller: h or 0.09?
0.09
Let w(d) = -d**2 - 2*d + 1. Let c be w(-3). Let g = 1.5 + -0.9. Let p = 0.7 - g. Which is smaller: c or p?
c
Suppose -4*j - 4*p = -0*p + 88, 5*p = 4*j + 133. Which is greater: j or 1?
1
Let n be (-406)/(-1584) + 86/(-387). Is n equal to 0?
False
Let r = 0.09 - 6.09. Let w = r - -5.6. Let i(a) = -a - 6. Let y be i(-6). Is w != y?
True
Let a = 53.26 - -0.74. Are a and -0.1 non-equal?
True
Let h = 223/860 - 2/215. Is h < -2/5?
False
Let j = 33.9 + -37. Let d = -0.6 - 2.4. Let i = j - d. Which is smaller: -0.2 or i?
-0.2
Let z(f) = f**3 - 4*f**2 + 1. Let j be z(3). Let v be 10/j*3/(-5). Suppose -s = b - 0 + 4, 0 = -4*s + 5*b + 20. Which is smaller: v or s?
s
Let l = 6 + -10. Let y be ((-3)/l)/((-1)/4). Let q be 0 + 1 - 2 - 1. Which is greater: y or q?
q
Let j(a) = -a**2 + 5*a + 7. Let l be j(6). Let z be (l/(-4))/(-1) - 0. Suppose -1 = 7*w - 1. Is w > z?
False
Suppose -4*u + n - 36 = -4*n, 3*u = 4*n - 28. Let c be 72/u*2*1. Let s be c/(-44) - (-2)/11. Is s greater than 3/7?
True
Let r(o) be the second derivative of -o**5/20 - o**4/2 + 5*o**3/6 - o**2 + 4*o. Let i be r(-7). Is i at most 13?
True
Let n be (2 - 0)*3*-1. Let w(s) = -s - 6. Let d be w(n). Let f = -254/5 - -50. Is d at least as big as f?
True
Let z = 0 - -8/7. Which is greater: 1 or z?
z
Suppose 0 = 9*u - 8*u. Let w be (1/10)/((-2)/(-8)). Is w < u?
False
Suppose 0 = 5*g - 2 - 3. Let m = 7/226 - 1029/7684. Let p = 6/17 + m. Is g less than p?
False
Let s be 9/(0 - 6/4). Let b be (-6)/20*5/s. Let v = -1.93 + -3.07. Is v != b?
True
Let l(a) = -2*a - 1. Let f be l(1). Suppose -4 = 3*i + 5. Is i at most as big as f?
True
Let w = -16.2 - -19.2. Is 1.7 at most w?
True
Let r = 19 + -6. Suppose -5*c + 4*c = 4*s + r, 5*s + 11 = 4*c. Let v = -6 - -31/5. Do v and c have the same value?
False
Suppose -4*k - 3*h = -0*k - 20, 2*k + 12 = 4*h. Let t be k/3*3/8. Suppose -o - 4*o = 5. Which is bigger: o or t?
t
Let i(c) = -c**2 + 7*c - 10. Let z be i(5). Is -2 at most as big as z?
True
Let a = 15 + -16. Which is bigger: a or 1/13?
1/13
Let h be 2/6 + 8/(-24). Let i = -12 - -4. Let k be 8/(-6)*(-2)/i. Which is greater: h or k?
h
Let m(a) = a**3 - 7*a**2 + 9*a - 8. Let b be m(6). Suppose 0 = 5*j - o - 4*o - b, -4 = 3*j + 2*o. Suppose j = -4*u + u + 9. Is u at most 3?
True
Let q = -0.2 + 0.9. Is q not equal to -0.5?
True
Let n be (10/20)/(2/324). Is n not equal to 81?
False
Let j = -0.03 - -10.63. Let a = -0.4 - j. Which is bigger: -2/3 or a?
-2/3
Let m = -57 + 59. Which is greater: m or 16?
16
Let z(f) = -f**2 + 9*f - 7. Let r be z(9). Do 0 and r have different values?
True
Suppose -3*t + 0*i + i = 1, -35 = 5*t + 5*i. Suppose 5*r = 3*b + 5, 3*r + 14 = r - 2*b. Is r greater than or equal to t?
True
Let y = -9 + 13. Let v = 4 - y. Is -2/11 >= v?
False
Let k = 34 + -34. Do k and -9 have the same value?
False
Suppose 11*t - 24 = 7*t. Is 5 > t?
False
Let a(q) = q**2 + 6*q + 5. Let v be (-2)/(-4)*-1*10. Let n be a(v). Which is bigger: n or 3/7?
3/7
Suppose 25 = 4*l + v + 8, 3*l - 9 = -2*v. Which is smaller: l or 6?
l
Let v = 1 + 0. Suppose 4*n = 3*l + 38 - 10, -2*l + 12 = 5*n. Suppose 3*j - n*j + 5*z = 18, -5*j = z - 14. Which is smaller: j or v?
v
Let n = -4.94 - -5. Let z = -0.14 - n. Is 3 less than or equal to z?
False
Suppose -4*z = -0*z - 16. Suppose z*h = 5*h + 2. Are -2/3 and h non-equal?
True
Let p = -0.7 + -0.3. Suppose 2*q + 13 = -q - 4*c, 0 = q - 4*c - 17. Let k be q - (-2)/(-9)*-3. Which is bigger: p or k?
k
Let k be (-39)/(-12) + (-3)/12. Let r be k - 14*1/4. Which is smaller: r or 2/5?
r
Let b(j) = j**3 + 15*j**2 + 2. Let u be b(-15). Let k be u/9*12/(-8). Which is greater: 2/7 or k?
2/7
Let f(o) = o**2 + 5*o + 4. Let z be f(-4). Is -4/3 at least z?
False
Let f = 11 + -9. Which is smaller: f or 4?
f
Let s = -20 - -14. Suppose 3*b = 18 - 3, 2*b = -4*d - 2. Which is smaller: d or s?
s
Let b = 1 - -4. Suppose 0*l = b*l. Suppose y + 3 - 4 = l. Are 1/3 and y non-equal?
True
Suppose -5*k - 209 - 41 = 0. Which is bigger: -48 or k?
-48
Suppose -10 = -2*v + 3*o - 5*o, 5*o = -4*v + 21. Suppose 3*d = -v*t + 5, 3*d - 4*d + 3 = 0. Which is smaller: 3/14 or t?
t
Let z = 11 - 13. Are -1/4 and z equal?
False
Let w be (-2)/(-3) - (-34)/(-6). Let d(i) = -i**2 - 6*i - 4. Let p be d(w). Let v be (p/3)/(5/(-15)). Is -2/25 not equal to v?
True
Let n = 0.25 + -0.05. Which is greater: -25 or n?
n
Suppose 4*v + 2 = 5*v + 2*t, 24 = 5*v - 4*t. Let d = v - 4. Let r be 3/(-1) + 1*2. Which is smaller: d or r?
r
Let x = 5 - 4.9. Let k = -2.92 + -0.08. Which is greater: k or x?
x
Let d(p) be the second derivative of -p**3/3 - p**2/2 - 2*p. Let j be d(2). Let f be 2/20*-6*j. Is 2 less than or equal to f?
True
Let x be 40/6 + (-1)/(-3). Let b(a) = a - 4. Let v be b(x). Suppose -v = -o, -3*r = 2*o - o - 6. Which is greater: 0 or r?
r
Let s = -0.01 - 0.99. Are 2/15 and s equal?
False
Suppose -b = 4*b. Suppose b = 3*f + 3. Let k = 14 - 13. Are f and k non-equal?
True
Suppose j + 3*p + 18 + 5 = 0, -3*j - 48 = 2*p. Which is smaller: j or -13?
j
Let w = 0 + 0. Suppose -h + 2*h - 1 = w. Let r = h - 2/3. Which is greater: 0 or r?
r
Suppose -4*y = y - t - 9, -y + 3*t - 1 = 0. Suppose y = -s + 1. Let v = -0.1 + 2.1. Which is greater: s or v?
v
Suppose 3*i - 18 = r - 5*r, 5*r - 23 = -4*i. Suppose -1 = o - r. Is o >= 1?
True
Suppose -v + 52 = -27. Suppose o - 3*s = 9, 0*s - 4*s = 3*o - v. Which is smaller: o or 22?
o
Let x be (-250)/(-82) + 21/(-7). Which is bigger: x or 1?
1
Let y = -10 - 3. Let f = -40 + 28. Which is smaller: f or y?
y
Let x = -11 - -13. Which is smaller: 7 or x?
x
Let a be -2 + (-4)/(12/(-15)). Let q be 6*-1*18/a. Let r be 4*1/q*2. Is r greater than 1?
False
Let h be 4/(-10) + (-297)/(-1430). Which is smaller: 0 or h?
h
Let u = 3 - 1. Let r = 6.9 + -8. Let i = 1.4 + r. Which is smaller: u or i?
i
Let f = 36 - 107/3. Which is smaller: f or -1?
-1
Let s = -18886/23 + 821. Is 0 at most s?
False
Let z(j) = j**3 + 15*j**2 - 18*j - 31. Let y be z(-16). Is 5/34 greater than y?
False
Let z(x) = -5*x**2 + x + 1. Let j be z(1). Which is greater: 2 or j?
2
Suppose 3*v = v. Let d = v + -1. Is d equal to 2?
False
Let y = -24 + 26.9. Let t = -4 + y. Let d = 1 + t. Is d > -1/6?
True
Let m(k) = -21*k**3 + 3*k + 2. Let s be m(-1). Which is smaller: 17 or s?
17
Let i = 2 - 1. Let c = -1 + i. Which is greater: -0.1 or c?
c
Let r(b) = -b**2 - 5*b + 1. Let k(j) = -j**2 + 4. Let v be k(-3). Let z be r(v). Let q be (6*(-1)/8)/3. Which is smaller: q or z?
q
Let f = -0.6 - -0.55. Let d = f + 0.05. Let x = -33/85 - 1/85. Are x and d nonequal?
True
Let d = 1.09 + -0.19. Let p = d - 1. Let f(w) = -w**2 + 4*w. Let g be f(4). Which is smaller: p or g?
p
Let f = 6 - 9. Let l = -2 - f. Let h = 69 - 209/3. Is h less than l?
True
Let o be (-5*(-1)/5)/(-28). Which is greater: o or 1?
1
Let o(l) = -l**2 - l. Let g be o(-2). Let c be g/3 + (-150)/(-117). Let q = c - 81/26. Is -2 >= q?
True
Suppose 4*y