e m(8). Which is smaller: y or x?
y
Let l = 2.034 - 0.034. Is l at most as big as -3?
False
Let d = 9 + -5. Is d less than or equal to 4?
True
Let i = 72 - 68.9. Let r = i - 3. Let u be (-5 + 3)*9/54. Which is greater: r or u?
r
Let h = 1 - 0.9. Let r = -11 + 6. Let i(o) = o + 5. Let p be i(r). Which is greater: h or p?
h
Suppose 4*g - 42 = 2*k, 2*k + 5*g + 52 = -k. Which is smaller: k or 0?
k
Let f = -29/11 - -1678/649. Let k = 133/295 + f. Which is greater: 0 or k?
k
Let d be (-2)/6 + (-3 - (-120)/9). Let j(r) = -2*r + 1. Let f be j(-4). Which is bigger: d or f?
d
Let x = -157 + 15230/97. Is x at least as big as 0?
True
Suppose -s - 19 = -0*s + 5*u, -4*u - 17 = s. Suppose 0 = 3*z + 31 - 4. Is z >= s?
True
Let a = -1.5 + -0.5. Let v = 0 - a. Let j = -2 + v. Which is smaller: j or -1/6?
-1/6
Let k be 20/(-276)*(-3 - 0). Let x = k + 44/115. Which is smaller: 2/5 or x?
2/5
Suppose -5*g = -g - 8. Suppose -b + 3*b = -g. Let x be b/3 + 16/21. Which is smaller: 0.1 or x?
0.1
Let i(g) = g**2 - 8*g. Let m be i(8). Is m smaller than -4?
False
Suppose 4*g - 3*i - 24 = 2*g, -20 = -2*g + i. Let s = 9 - g. Is -1/4 >= s?
False
Suppose -3 = -7*y + 10*y. Let o(s) = -11*s**3 + s. Let x be o(-1). Let c be (-1)/x*(-10)/(-4). Are y and c nonequal?
True
Let p(o) = -3*o - 5. Let b be p(-4). Suppose -16 = -2*s - 6. Let d = s - b. Which is smaller: -1 or d?
d
Suppose -2*g - 2 = -3*g. Let k be -3*((-2)/g - -2). Let n be 0 + 2 - (-3)/k. Which is smaller: n or 1/4?
1/4
Let d = 20 + -21. Is -1/16 != d?
True
Let i = 7.9 - 8. Which is smaller: -52 or i?
-52
Suppose -6*q + 2*q - 60 = 0. Let k be (-1 - -1) + 6/q. Does k = 1/5?
False
Let u = 0.03 - -0.97. Let y = 2 - u. Is y at least as big as -3/5?
True
Let t = 0.2 + 0.2. Let i = 0.18 - -0.32. Let a = t - i. Which is greater: a or 3?
3
Let y(t) = t + 5. Let c be y(-6). Let i = -5 + 4. Are c and i unequal?
False
Suppose -3*r + 16 = -2*d + r, 18 = -d - 3*r. Let s be (d/(-10))/(4/10). Suppose 2*m + s*m = -20. Is m less than -3?
True
Suppose -3*g + 12 = 2*g - u, -2*g + 10 = -3*u. Let i be 5 + 4 - 4/g. Is -1/2 less than i?
True
Let t be 8/4 - (60/17)/2. Which is smaller: 1 or t?
t
Let d(v) = v**2 - 11*v - 1. Let m be d(12). Is m greater than 11?
False
Let n(w) = -2*w - 3. Let h(l) = l + 2. Let z(c) = -5*h(c) - 3*n(c). Let y(f) = -3*f + 3. Let r(i) = 4*y(i) + 11*z(i). Let o be r(0). Is 1/10 <= o?
True
Let r = 27 - 6. Let t = 18 - r. Which is bigger: -5 or t?
t
Let t = -4/13 - -7/65. Which is smaller: t or 0.5?
t
Let y = -157 - -157. Which is smaller: -9 or y?
-9
Suppose -10 = a + 4*a. Let r be (a/(-21))/(1/(-24)). Is r < -2?
True
Suppose -14 + 6 = -2*f. Is 3 at most f?
True
Let i be -7*(-3 - (-54)/14). Let l be 0 + (1 - 4 - i). Is l >= 4?
False
Let u be ((-3 + -3)/(-3))/2. Which is smaller: 3 or u?
u
Let v(a) = 2*a - 2. Let i be v(3). Let l = 5 - i. Which is smaller: l or -1?
-1
Let z = -2 + 0. Let y = 3 + z. Let d(f) = f. Let b be d(y). Are 2/11 and b non-equal?
True
Let v = -3.4 + 3. Let o = 1.6 - v. Let r = 0.4 - 2.4. Which is smaller: r or o?
r
Suppose 4 = -q - 4*z, 2*q - 4*z - 14 = -z. Let h(k) = 3*k. Let x be h(1). Suppose x*r - r = -q. Which is greater: -1 or r?
-1
Let q = -4 + 0. Suppose 0 = -2*u + 2*i + 26 + 14, -5*u + i = -100. Suppose 2*t = 3*t - 2*z + 7, -5*t - 5*z = u. Is t less than q?
True
Suppose -l = 4 - 2. Let w be 1/(4/4) - -205. Let u = -831/4 + w. Does u = l?
False
Let d(o) = o**2 - 5*o + 5. Let j be d(4). Suppose j + 14 = -n. Let q be (-2)/(-9) - n/54. Is q at least as big as 0?
True
Let s = -699/10 + 287/5. Which is smaller: -14 or s?
-14
Let i be (14/(-21))/(2/(-6)). Which is smaller: 4 or i?
i
Let j = 6.7 - 8. Is -1 less than j?
False
Let d(t) = -t**2 - 8*t - 7. Let p be d(-7). Let b = -7 - p. Is 2 > b?
True
Suppose 0 = -2*v - 8, 2*d + 7*v + 4 = 5*v. Which is greater: d or 1?
d
Suppose -t + 2 = 2*y, -2*y = -4*t + 5 - 17. Let o be (-3 - 7/(-2))/t. Which is bigger: 2/3 or o?
2/3
Suppose -5*q + 4 = -2*a, -3 + 2 = -5*q + 3*a. Suppose q*y - r = -1 + 3, 4*r + 8 = y. Which is greater: y or -4/3?
y
Let a = -3689/74 - -5253/148. Let b = a + -33/37. Let z = -15 - b. Which is smaller: z or -3/7?
-3/7
Let g(f) = 3*f**2 - f**2 - f**2 - 5*f - 6. Let u be g(6). Let m be (3/(-58))/((-3)/4). Which is smaller: m or u?
u
Let n(s) = s - 6. Let c = -4 - -9. Let z be n(c). Is 2/17 bigger than z?
True
Let h(i) = -i**3 + 11*i**2 - 10*i + 3. Let x be h(10). Suppose x*n + 7 = 1. Let j be (5/10)/(1/n). Which is greater: j or -2/9?
-2/9
Suppose l - 7 = -4*u - 2, 0 = 5*u - 5. Which is greater: l or -8?
l
Let k be -4 - (-3)/(-2)*-2. Suppose 2*m - 11 = 1. Which is bigger: m or k?
m
Let o be -2*((-6)/(-36))/((-2)/(-3)). Which is smaller: 12/5 or o?
o
Let n be (1 - -5)/(6/(-4)). Let x = -15 - -11. Are x and n nonequal?
False
Let y = 1175/11 + -107. Suppose 4*s + 12 = -2*h, -2*h - s = -3 + 6. Is h equal to y?
False
Suppose 8 = 30*p - 22*p. Let v be (-1)/1 + (-21)/(-23). Which is greater: p or v?
p
Let r = 50465 - 4239113/84. Let a = r - 1/28. Let d = -3.2 + 3. Are d and a unequal?
True
Let c be 2/((-28)/8*1). Is c at least 2/7?
False
Let g be (4/(-505))/(4/10). Is 1 less than or equal to g?
False
Let v = 1 + 0. Let i(n) = -n**3 - 4*n**2 - 2*n + 4. Let y be i(-3). Let f be (y/(-1)*2)/7. Are f and v nonequal?
True
Let u(a) = a - 11. Let x be u(3). Do x and 3 have the same value?
False
Let v be 24/40 - 28/5. Do -5 and v have the same value?
True
Let g(v) = v + 6. Let o be g(0). Which is greater: o or 16/3?
o
Let d be 544/(-420) - (-2)/(-15). Which is smaller: d or 0?
d
Suppose -3*s - 12 = -i, 6*i - 26 = 4*i + 5*s. Suppose -2*r = 3*u - i, 3*r - u - 14 = 2*r. Is r at most 13?
True
Let y = 0 + 14. Are y and 13 equal?
False
Let l be -3*((-1)/(-9) - (-1 - 0)). Which is bigger: l or -2?
-2
Suppose -2*u + d = 5*d, 2*d = 5*u. Which is smaller: -23 or u?
-23
Let z be (18/(-16))/((-6)/4). Let y(t) = t**2 - 6*t. Let x be y(6). Which is bigger: x or z?
z
Suppose -3*a - 108 = -15. Which is greater: a or -32?
a
Let u be (2 - 3 - 0)*6. Let d be (-19)/(-126) + u/27. Which is smaller: 0 or d?
d
Suppose 5*o = -28 + 3. Let b(m) = 4*m. Let f be b(-1). Which is greater: f or o?
f
Let c = 0.15 - -5.85. Let u = -5.93 + c. Is 2 smaller than u?
False
Let q = 178/395 + -4/79. Which is greater: q or 1.9?
1.9
Let j(a) = -a**2 - 6*a + 3. Suppose 5*c - 5 = 5*v, 3*c + 10 = -5*v + 7*c. Let l be j(v). Do l and 0 have the same value?
False
Suppose -n - 2*n = 2*k - 1, -13 = 5*n - 4*k. Let i = 8 + -7. Which is greater: i or n?
i
Suppose g - 4*y = y + 17, 4*g - 3*y = 136. Is g at least as big as 37?
True
Let c(l) be the second derivative of -l**4/12 + l**3 - l**2/2 + 3*l. Let o be c(5). Suppose -o*g - 5 = g. Which is bigger: -4/5 or g?
-4/5
Let g = 33 + -57. Let t = -97/4 - g. Let l = -39/7 - -40/7. Which is smaller: l or t?
t
Suppose 14*q + 0*q + 28 = 0. Is q smaller than -5?
False
Let x = 1 + -0.9. Let j = 6.3 + -6. Let m = -0.1 + j. Which is smaller: x or m?
x
Let u(y) = -2*y**2 + 10*y + 3. Let c be u(5). Suppose 0 = -3*g + 3*f, c = 5*f - 7. Let q be (-34)/(-40) - (-2)/(-8). Which is smaller: q or g?
q
Let b be -3*10/(-54) - (-4)/(-18). Let d = 3/52 + 187/364. Is b smaller than d?
True
Suppose -3*u = -5*v + 2*u + 10, -5*v - 5*u = -20. Suppose -4 = -v*r - 1. Let s = 4 + -3. Is r smaller than s?
False
Let n(l) = l**2 + 6*l + 6. Let j be n(-5). Let o = j + 3. Suppose 0 = y - o*y. Which is greater: 1 or y?
1
Let f = -15 + 19. Which is greater: 2 or f?
f
Let f = 36 - 53. Let y = f + 12. Let c = y + 1. Which is smaller: c or -3?
c
Let r be 9/12*(-8)/(-2). Suppose 2*q = 2*h + 4, 0 = 4*q + r*h - 1 + 7. Is 0.4 > q?
True
Let j = -8 - -10. Suppose 3*n - j - 4 = 0. Which is bigger: n or -1?
n
Let z be ((-6)/28)/(6/16). Let l be (1 + 1)*3/(-6). Which is smaller: z or l?
l
Let u(d) = d**2 - 5*d + 2. Let v be (-38)/(-8) - 6/8. Let p be u(v). Which is greater: p or -4/5?
-4/5
Let q = 50 - 36. Is 61/4 bigger than q?
True
Let d(p) = -88*p + 1. Let y be d(-1). Is y at most as big as 89?
True
Let v = 32 + -37. Do v and 2/13 have the same value?
False
Suppose 4*z + 77 = 5. Let p be 2/4 + (-117)/6. Is p equal to z?
False
Suppose 2*i - 89 = -h, 3*h - 198 = h + i. Does h = 97?
True
Suppose 2*p - 4 = 6. Suppose 1 = -3*n - p. Suppose 3*k + 2*i - 4*i = 0, k + 3*i = 0. Is k at least n?
True
Let n =