uppose -5*o = 4*s - 91, -5*s + 41 = -3*s + o. Let t = 39/2 - s. Suppose -5*k = 5*n - 25, 6*n + 2*k = 2*n + 10. Is n smaller than t?
True
Let t = 0.13 - 12.13. Is t > 1/3?
False
Suppose -5*x + 4*l = -19 + 99, -4*x - 2*l = 38. Let t be (-82)/x + 1/6. Let c = t + -27/4. Is c less than or equal to -0.1?
False
Let o(w) = 2*w**2 + 2*w - 5. Let n be o(4). Let u = 60 - n. Suppose -j - u = 4*j. Which is smaller: 2/7 or j?
j
Let x(i) = i**2 + 7*i - 7. Let b(g) = g**2 - 5*g - 4. Let q be b(4). Let c be x(q). Let r be (-2 - -2) + 6/(-9). Are c and r unequal?
True
Let g be (1/17)/(1/(-2)). Suppose 0 = -f - 2*u + 1, -2*f - 5*u = -8*u - 2. Is f less than or equal to g?
False
Suppose 5*j = -31 + 11. Let q = -3 - j. Let x be 8/(-12) + 5/3. Is q != x?
False
Let l = 5 - 3. Let w be (4 + -2)*(-10)/(-4). Suppose 7*a + 8 = -2*o + w*a, o = 5*a + 20. Is l at most o?
False
Let y be (2 - 1)*(1 + 0). Let x = 2 + y. Suppose -x*a - 2*a = 0. Is a at least 0?
True
Let y be (1 + -2)*0 - 1. Let l = -6 + 4. Let g = l - -2. Which is greater: g or y?
g
Let p(y) = y + 8. Let n(v) = 2*v + 16. Let s(w) = -3*n(w) + 5*p(w). Suppose -40 + 0 = 5*x. Let z be s(x). Which is greater: z or -1?
z
Suppose -3*y + 3 - 11 = 5*r, -3*r - 24 = 5*y. Let i be (-2)/(-3)*y/(-2). Suppose k = 5*b - 3, 11 = -i*b - 5*k - 4. Which is bigger: -2/25 or b?
b
Let p = 0.69 - 0.29. Is p at least as big as -0.2?
True
Let l be 7*(3 - (-8)/28 - 3). Let z be 0/(2 + -1 - 2). Which is greater: l or z?
l
Let m = -992/143 - -78/11. Is m at least 1?
False
Let w = 0.47 - -4.43. Let h = w + -5. Let u = -1 + 2. Which is smaller: u or h?
h
Suppose -3*h + 4*b = -5, 0 = -h + 5*h + 5*b + 14. Let t = 79/5 - 81/5. Which is greater: h or t?
t
Let x = 1841/345 + -1/345. Is -0.2 greater than x?
False
Let j(p) = -p**2 + p. Let z be j(6). Let b be (-4)/(-6)*z/20. Let n be (-5)/(-8) - (-2)/(-4). Is n not equal to b?
True
Let d = 0 + -1. Is d greater than or equal to 2/7?
False
Let l be ((-4)/10)/(3 - 8). Let d = 1550 + -38762/25. Let y = d + l. Is -2 > y?
False
Suppose 3 + 0 = -3*j. Suppose -17 = 2*a - 3*b, 2*a = 5*b - 0*b - 27. Is a at least as big as j?
True
Suppose -69*j = -65*j - 4. Is j greater than 6/7?
True
Let n(f) = f**2 + 8*f + 5. Let s be n(-7). Let u be (-18)/(-4) - (-1)/s. Suppose 5*h - 17 = u*w, 0 = 2*h + h - w - 6. Which is bigger: 1/3 or h?
h
Let m = 16 + -15.4. Is 1 != m?
True
Let p be (6/8)/(3/(-2)). Let s = -3 + 4. Is p at least as big as s?
False
Let t = 0.018 + -4.018. Is -2/7 bigger than t?
True
Suppose -68 = -4*p - 180. Which is bigger: -29 or p?
p
Let c = -12 + 9. Is c equal to -3?
True
Let y = -2.7 + -0.3. Which is greater: -1 or y?
-1
Let f = -20 + 79/4. Is 2 at least as big as f?
True
Suppose 0*p = -2*w - p + 3, 4*w - 2*p = 10. Which is smaller: w or 1?
1
Suppose l = -3*l + 4. Is 0.13 at least as big as l?
False
Suppose -4*t = 2*w - 30, -t + 3*w = -4*t + 30. Let v = -2 + t. Let p be (v/15)/((-8)/5). Is p less than -1?
False
Suppose 6*j + 5 = -13. Let k(g) = -g**3 + 4*g - 3. Let u be k(2). Is u equal to j?
True
Suppose -g + 3 = 7. Let x = g - -8. Is 0 greater than x?
False
Let a = -6 + 7. Let h = -2.1 + 2. Is h not equal to a?
True
Suppose 4*j + j = 5. Suppose 3*t - 15 = -0. Suppose t*q = q. Which is bigger: j or q?
j
Let b(d) be the second derivative of d**4/12 - 2*d**2 + 4*d. Let o be b(3). Is 5 <= o?
True
Let c be 81/45*10/3. Let b = 3 + c. Which is greater: 10 or b?
10
Let h be (12/(-2))/((-22)/(-2)). Suppose 2*t + 2*t = 0. Is t not equal to h?
True
Let q(b) = -2*b**2 + 10*b - 7. Let a be q(6). Which is bigger: -20 or a?
a
Suppose 2*z + z = 9. Suppose 2*a = 2*d + 6 - 4, -z*a + 5 = -2*d. Suppose 4*l + d*f = 6*f, 9 = l - 4*f. Is -2 < l?
False
Let i = 7.21 - 0.01. Let n = 7 - i. Which is smaller: -1 or n?
-1
Let w = -0.023 - -0.253. Let r = -2.23 + w. Which is greater: -0.06 or r?
-0.06
Let s = 0.7 - -0.3. Let a be -2 + (80/2)/(-2). Let d be 3/9 + a/30. Which is bigger: s or d?
s
Let r = -26 - -51/2. Suppose -4*n = n. Let u = n + -2. Which is smaller: r or u?
u
Let c be 26/24 - 8/24. Which is bigger: c or 0.03?
c
Let r = 8.73 - -0.27. Which is smaller: r or 0?
0
Let c be (-4)/(-6) - 5/3. Let w = 2 + c. Let u = w + -1. Is 4/3 > u?
True
Let y be 0 + 1 + (1 - -1). Suppose 0 = y*z - 5 + 2. Suppose k + z = -2. Is k at least as big as -0.1?
False
Let p = -12.1 + 12. Is 0 != p?
True
Let p be (2/(-3))/(1/3). Suppose 2*t = -3*t + 30. Let k = -7 + t. Is p < k?
True
Let f = -4/33 - -5/11. Is 5.9 > f?
True
Let r = -227 + 247. Which is smaller: 17 or r?
17
Suppose -3*f = s - 4 - 1, -2*s = -5*f + 1. Suppose s*l - 5 = -1. Suppose -2*m = -3*b + 7*b + 4, 0 = m - 3*b - 13. Which is greater: m or l?
m
Suppose -3*z + 27 = 2*p, 9*z - 6*z - 39 = -4*p. Suppose -2*r - 6 = -3*r. Suppose -r*d + 3*d = p. Which is smaller: d or 2?
d
Let u = -141 + 140.5. Which is smaller: 4 or u?
u
Let v(n) = -n**2 + 17*n - 16. Let i be v(16). Which is smaller: i or -1/7?
-1/7
Let s = -9 + 9.7. Let t = s + -0.78. Let d = t + -0.92. Does 0.4 = d?
False
Let a = 1531/459 + -1/459. Is a bigger than 4?
False
Let w(d) = -d**3 + 5*d**2 + 6*d - 2. Let j be w(6). Let a(v) = v + 2. Let z be a(j). Suppose z = 4*r + r. Which is greater: r or 1/6?
1/6
Let h = -4 - -2. Suppose 0 = -5*d - c + 1, 7*d + c - 1 = 3*d. Which is smaller: h or d?
h
Let r be 2 - (-2 + (-22)/(-5)). Let l = 13 - 18. Let n = l - -5.1. Is r equal to n?
False
Let c be 4/10 + 112/20. Let v be (4/c)/(8/12). Let b be (-9)/42 + v/2. Which is smaller: b or -1?
-1
Let z(o) = -o**2 - 7*o - 7. Let v be z(-4). Let l = 10 - 6. Is l != v?
True
Let o(l) = 2*l + 2. Let p be o(-4). Let i be 1 - 1 - (p + 6). Suppose 3*x + 3 + i = 0. Which is greater: x or 1/7?
1/7
Let l be -2 - (7/(-13) - 1). Is -1 != l?
True
Let l = 1310 + -98252/75. Is l >= -1?
True
Let r = 0.7 - -0.3. Let m = -925/126 - -51/7. Which is greater: m or r?
r
Let o = -38.4 + 34. Let v = -2 - o. Let w = 0.6 + v. Do w and 0 have different values?
True
Let p be (-712)/(((-7)/1)/1). Let m = -102 + p. Let o = -8/17 - -22/119. Is m greater than or equal to o?
True
Suppose -5*g = -3*h + 19, 4*h - 31 + 0 = g. Suppose 0 = z + z - 10. Let n be (h/10)/((-2)/z). Is n at least -1?
False
Suppose 34 + 41 = 5*x. Suppose -3*v = 2*v - x. Suppose 11*f - 50 = -17. Is v < f?
False
Let y(f) = f**2 - 1. Suppose 3*u - 30 = -2*u. Suppose 5*i - u - 4 = 0. Let x be y(i). Which is bigger: -1 or x?
x
Let t(u) = u**3 + u**2 - 2*u. Let c be t(-2). Suppose 0 = 3*d, -4*j + 4*d + 123 + 525 = c. Let w = j - 1943/12. Which is smaller: w or 0?
0
Let q = -16 - -34. Is 19 not equal to q?
True
Let i = -37 + 37.1. Which is smaller: i or 37?
i
Let w be 23/(-28)*2*-8. Let q = 2951/224 - w. Which is greater: q or -1?
q
Suppose 0 = 3*x + 2*x - 20. Let m be (-4)/2 + -1 + x. Is m greater than 6/7?
True
Let p = 2 - 1. Let r be -1*(-1 - (p - 1)). Is 3 greater than or equal to r?
True
Let v = 48 - 68. Let i = v + 382/19. Which is smaller: 1 or i?
i
Suppose 5*c = -4*d + 59, 0 = -5*c - 2*d + 3*d + 54. Is 10 at least c?
False
Let c(w) = 3 - w**2 - w**2 + 0*w**2 - 3*w**2. Let d(n) = 4*n**2 - 2. Let h(f) = -5*c(f) - 6*d(f). Let z be h(3). Is z < 5?
False
Let i(t) = t**2 - 10*t - 10. Let f be i(11). Do f and 2 have the same value?
False
Let v be (0 - 1)/(9/(-2)). Suppose 0 = 2*m - 10 + 4. Suppose -2*u - u + m = 0. Is v less than or equal to u?
True
Suppose w - 2 - 4 = 0. Let h = w + -5. Suppose 4*a = 2*a + 4. Is a greater than or equal to h?
True
Let i = -6 + 7. Let m = 142 + -1274/9. Which is greater: m or i?
i
Let l = 4/23 - 1/138. Let w be (-3 + -2)/(1/(-1)). Suppose 4*m = w*m. Which is greater: l or m?
l
Let k = 4 - 4. Which is greater: k or -3/4?
k
Suppose -f + 1 = y, 0*y = -4*f - 2*y + 4. Suppose -3*v - f = 2. Is v not equal to -2/11?
True
Let m = -33 + 23. Is 2/7 less than m?
False
Let i = -0.5 - -0.5. Let z = -0.1 + i. Let d(b) = -b**3 - 4*b**2 - 2*b + 2. Let y be d(-3). Is z > y?
True
Let k = -137 - -137. Which is smaller: 1/12 or k?
k
Let d be (2/3)/((-7)/3). Which is bigger: 1 or d?
1
Suppose 0 = -3*x + 4*x + 2. Let o be 0/4 + 2/x. Suppose 0*h + 2*h + 6 = 0. Which is smaller: o or h?
h
Let t = -115.9 - -116. Let v = 938/5 - 187. Are t and v equal?
False
Suppose 5*w - 2*w = -12. Which is smaller: w or 5?
w
Let y = -1 - -2. Let c = -1.9 + 2. Let m = c + -0.2. Which is smaller: y or m?
m
L