m. Which is bigger: 1 or a?
1
Let u = -1.3 + -6.7. Is -0.1 < u?
False
Let u = 2.09 - 1.22. Let h = u + 0.13. Is -0.2 smaller than h?
True
Let u(k) be the first derivative of -k**3/3 - k**2/2 - 4. Let b be u(1). Is -4 less than b?
True
Let i = 31 - 28.4. Let g = i + -2. Let y = -2.6 + g. Is 0 less than or equal to y?
False
Suppose 0 = -2*m - 2*m + 4. Let c = -3 - -5. Suppose -c*u - 1 = -u. Which is greater: u or m?
m
Let u(n) = n. Let r be u(2). Suppose -r*i = -i. Which is bigger: i or -2/27?
i
Let d be 0/((-4 - -8)/4). Let m = -578 - -23119/40. Which is bigger: m or d?
d
Let q be (-3)/6 + 3 - 2. Let s = 9 - 35/4. Is s > q?
False
Suppose w + 60 = 3*w. Let r be 2/5 + (-32)/w. Suppose 3*j = 4*v + 41, -3*j = -5*v + 4*v - 26. Does j = r?
False
Let s(o) = o**2 - 3*o - 4. Let a be s(4). Suppose -4*y - y - 10 = a. Let b be 2*y/(-40)*2. Are 1 and b unequal?
True
Let m(s) = -s + 9. Let a be m(5). Let f(t) = -t**2 + 4*t - 2. Let w be f(a). Let o = -1 - 1. Is w <= o?
True
Let u = -11/4 - -73/28. Which is smaller: 2 or u?
u
Let v be (-3)/2*(-17 - -3). Let z be -10*(v/6)/(-7). Which is bigger: z or 6?
6
Let a(i) = -2*i - 8. Let b be a(-6). Let x = -8 + b. Let v be (x/20)/(2/4). Which is greater: 1 or v?
1
Suppose 3*s = s + 104. Suppose -s = -8*z + 4*z. Suppose 0 = f + m + 7, -2*m - m - z = -f. Which is smaller: 0 or f?
f
Suppose 4*r = -k - 9, -2*r = -0*r - 4*k. Which is bigger: r or -1/13?
-1/13
Let p = 3 + -6. Let m = -3 - p. Is -1/2 less than m?
True
Suppose 5*f - 3*n + 27 = 0, n - 12 - 11 = 4*f. Let a = 1 + f. Let u be a/(-3) + (-2)/1. Which is bigger: 0 or u?
0
Let r(t) = t**2 - 6*t. Let h be r(5). Let g = h + 6. Suppose 2*u = -v + g, 4*u = 5*v - u - 5. Which is bigger: v or 2/3?
v
Let n = -49 - -83. Let u = n + -103/3. Let l be -1 + -2 + (9 - 5). Is u less than or equal to l?
True
Let k be 5/(-2)*((-18)/(-10) - 1). Suppose 5*w - 5*z = 0, -4*z + 3 = 2*w - 9*z. Is k greater than w?
False
Suppose -17*c - 4 = -13*c. Let v be (1 - (-56)/(-10)) + 3. Which is smaller: c or v?
v
Let y = -2 - -4. Let a(b) = -b - 5. Let p be a(-5). Is p >= y?
False
Let q be -2*(15/(-6))/(-5). Let b = -262/3 + 86. Which is smaller: q or b?
b
Let k = -38 + 53. Which is smaller: 0 or k?
0
Suppose -3*p - 10 = -4*q, 5*q - 26 - 2 = -4*p. Which is smaller: 13/3 or q?
q
Let q be (-6)/4 - (-6)/12. Suppose 0 = -5*p - 20, -4 - 8 = 5*w + 3*p. Which is greater: q or w?
w
Let v = -69 + 97. Let c = -19 + v. Which is smaller: c or 0.1?
0.1
Let x(k) = k**2 - 7*k + 3. Let s be x(5). Which is bigger: s or -32/5?
-32/5
Let v = 2 + 1. Suppose -2*g - 5 = v*g. Let t = 2 + -4. Is g at most as big as t?
False
Let f = -332 - -472. Let a be (-6)/(-1*(-2 - -3)). Let b be a/(-8) + f/144. Does 0 = b?
False
Let y be 2 + 2/(-2)*2. Let t be 1*(-2 + y - -3). Is -1/9 greater than t?
False
Suppose 4*d + 6 = 2*d. Suppose -7*q = -5*q + 2*v + 6, 9 = q - 5*v. Let g = d - q. Is g less than -3?
False
Let o = 0.09 - 0.11. Let t = -0.08 + o. Which is bigger: 4/3 or t?
4/3
Suppose 2*t - 77 = -5*n, 6*t = 4*n + 3*t - 57. Suppose -4*z - 47 = -n. Which is smaller: z or -7?
z
Suppose -3*j = 3 - 21. Let f = j + -9. Suppose 4*v + 3*x = 2*x - 12, v + 3*x = -14. Is f bigger than v?
False
Let z be (-12 + 9)*1/31. Is z at most 0?
True
Suppose g + 3*p = -25, 3 = p + 6. Let b be 3*((-4)/12)/1. Which is greater: g or b?
b
Let w = -31 + 45. Is w > 13?
True
Suppose -5*a - 8 = -9*a + 4*w, 2*w + 4 = 0. Let r = -155/4 - -39. Is r <= a?
False
Suppose 2*s = 3 - 5. Which is smaller: s or -1/18?
s
Let l be 1 + 1 + -4 + 51/23. Is l greater than 0?
True
Let g = 0 - 27. Let s be 0 + (g/(-21) - 1). Let y = 74 + -372/5. Which is greater: y or s?
s
Suppose 4*w + 3 = -1. Let z(b) = 2*b - 1. Let t(v) = 3*v - 1. Let i(p) = 3*t(p) - 4*z(p). Let h be i(w). Which is bigger: -1 or h?
h
Suppose -3*g - 6 = -g. Which is smaller: -12 or g?
-12
Let b be (-4)/(-22) - 35/(-110). Suppose y + 2 = 5*x, -5*x - y = 2*y + 6. Which is bigger: b or x?
b
Let p = -1415/12 + 118. Let g be (2 - 6)*(-2)/8. Are p and g unequal?
True
Let j be ((-3)/(-2) - 1)*0/(-15). Does j = 1/20?
False
Let j = -25 + 26. Which is smaller: 2 or j?
j
Let z be 0/(-1) - (-5 + 3). Let g be 0/3*(-1)/z. Suppose 0 = 4*c - g*c + 4. Is c at least as big as 0?
False
Let p be (-2)/4*(-6 + 6). Suppose p = -2*w + 4*w - 4. Which is smaller: -4 or w?
-4
Let b = -8 - 2. Which is greater: -11 or b?
b
Suppose 7*p - 60 = 24. Which is greater: 14 or p?
14
Let g = -17 + 16. Let u be 2 + ((-32)/4)/g. Which is smaller: u or 11?
u
Let d(n) = -n + 4. Let g(k) = -k**2 - 5*k - 1. Let o be g(-4). Let j be d(o). Let v be (-2)/(-9)*(4 - j). Which is bigger: 2 or v?
2
Suppose -i + 3*p + 7 = 0, -6*i - 4 = -2*i + 4*p. Let t be 2 - ((-22)/(-18) + i). Do t and -1 have different values?
True
Let c(y) = y**3 + 4*y**2 + 2. Suppose m - 2 = -6. Let i be c(m). Let w = 3 + -2. Is w at least i?
False
Let h be (-1)/4 + 16/64. Let a = -3 - -1. Which is smaller: a or h?
a
Let r = 0.8 + -3.1. Let f = r + 2.3. Is 6 less than f?
False
Let r = 2.9324 + 0.0676. Let l = 1.2 - 1. Is r smaller than l?
False
Let w be (-1*1/(-1))/1. Let h = -4 + 2. Let m be 0/h - 3/9. Which is smaller: m or w?
m
Let t = 2 - 4. Let r be (-27)/(-6)*(-4)/t. Let o = r - 9. Do o and -3/4 have the same value?
False
Let p(u) = 2*u**2 - 2*u - 2. Let i be p(-2). Suppose -w = -3*w + i. Suppose -3*k - 2*k = -w. Which is bigger: k or 2/3?
k
Let z be (-9)/((-9)/3) - -59. Suppose -5*b + 27 = z. Is b < -10?
False
Let i(h) = -h**2 - 3*h + 1. Let u be i(-2). Let o be (-1)/u - 44/(-60). Is -2 < o?
True
Let d = -0.1 - -2.1. Let h = 0.02 + 3.98. Let m = -3 + h. Are m and d unequal?
True
Suppose 0*w - 2*w + 112 = 0. Let i be 16/w*(-7)/(-4). Is 0 greater than i?
False
Suppose 53 = 5*r - 2. Let o(j) = j**2 - 10*j - 15. Let n be o(r). Which is greater: n or -3?
-3
Let f = -38 - -12. Is -1 at most as big as f?
False
Let n be 12/(-20) - (-39)/15. Is 2 not equal to n?
False
Let t be 0 + 1 + -3 + -1. Let k = 2 + 1. Suppose -k*y - 2*a - 4 = 0, -3*a = 2*y - a. Which is greater: t or y?
t
Suppose 0 = -2*r + 3*r - 5. Suppose -14 - 11 = r*x. Is -6 bigger than x?
False
Suppose 0 = 5*g - 6*g - 5. Do g and -5 have different values?
False
Let t = 9 - 5. Suppose 0 = -4*n + 2*i - t, -2 = -5*n + i - 2*i. Does n = 0?
True
Let a(c) = c + 1. Let r be a(4). Suppose 4 = -r*q - 1. Let m = -13 - -51/4. Which is smaller: m or q?
q
Let r(p) = p**3 - 5*p**2 + 5*p + 3. Let m be r(3). Let l(v) = -v**2 + 1 + 3*v + 3*v**2 - v**2. Let u be l(-2). Which is greater: m or u?
m
Suppose a - 1 = 0, -2*d + 2*a = -3*d - 10. Is -11 smaller than d?
False
Let l = -1.3 + 1.4. Let q = -0.65 - -1. Let n = -0.05 + q. Which is bigger: l or n?
n
Let c = -46 - -50. Is 4 greater than or equal to c?
True
Let v = -2 + 2. Which is smaller: 5 or v?
v
Let c = 1.937 + -0.037. Which is greater: c or 2/3?
c
Suppose -3*w + 1 = -5. Suppose -d - w*d = -6. Let f be (26/(-14) + d)*2. Is f not equal to 2?
True
Let m(x) = x**2 + 5*x + 4. Let c be m(-5). Which is greater: c or 1?
c
Let w be 29/4 + -2 - 0. Let x be (-15)/(-6)*(-2 + 0). Let v = x + w. Is v smaller than -1?
False
Suppose -5*l + 283 = 73. Let y be 38/l + (-4)/12. Which is smaller: 0 or y?
0
Suppose 3*v + 50 = 5*v. Let f = v + 1. Suppose 3*l - d = 4*d - 38, 5*d = l + f. Is l at least as big as -5?
False
Let d be (12 + -10)/((-7)/1). Let l = -1/90 - 7/18. Which is smaller: d or l?
l
Let y(d) = 3*d. Let o be y(-1). Let h be 18/((-9)/o) + -2. Let r(k) = -k**2 + 4*k + 1. Let z be r(h). Is 1 at most as big as z?
True
Let q = 0 + 3. Let x = 4 - q. Let a be -1*(-6)/(-8) + 1. Which is smaller: x or a?
a
Let w = 4 - 3.9. Let p = 0.2 - w. Which is smaller: -3 or p?
-3
Suppose 0 = -3*m + 2*q - 4*q + 37, 19 = m + 4*q. Let z = -16 + m. Which is bigger: z or -3?
-3
Let z = -109 + 159. Let k be (2/6)/(z/30). Is k greater than or equal to 0.03?
True
Let y be -2*22/(-4) + -3. Which is greater: y or 5?
y
Let f(v) = -v**2 - v - 2. Let m be f(0). Which is smaller: m or -5/3?
m
Let j(s) = s + 3. Let i be j(-3). Let t(o) = -o**2 + o + 6. Let y be t(i). Let f be (-1)/(2*(-1)/y). Which is smaller: 2 or f?
2
Suppose 0 = -w + 5*l - 6, 2*w = -2*w + 2*l - 6. Let p(m) = m**3 + m**2 + 1. Let k be p(w). Which is bigger: 2/17 or k?
k
Let n = -1.67 - -0.47. Is n at least as big as 0.1?
False
Let v be (-2)/9 - 2/(-9). Let 