pose -5*x = -7*s + 2*s + 20, -5*s - 1 = 2*x. Suppose -o + 0 = -5*w + 5, 4*o - 3 = -3*w. Is s equal to o?
False
Let v = 4614/5 + -929. Which is smaller: -6 or v?
v
Let i = 19/3 + -6. Let g = 8/15 - i. Is g greater than 1?
False
Let g = -2 - -2. Which is smaller: -2/27 or g?
-2/27
Let b = 83.5 - -19.5. Is 0 less than or equal to b?
True
Suppose 5*v = 7*v. Suppose -2 = -2*x - v. Let a = -137/400 + 7/25. Which is greater: a or x?
x
Let c = 1335541 - 68123507/51. Let r = -214 - c. Which is smaller: 0 or r?
0
Let f = 20 - 16.9. Let g = 3 - f. Which is smaller: 7 or g?
g
Suppose -7*f = -4*f - 36. Suppose -2*w + 4*a = 3*w - 28, -4*a + f = 0. Let z = w - 8. Is z not equal to -2/5?
True
Let y = 64 - 63. Is -1/74 at least y?
False
Suppose -m + 2*m + 3*b = -5, 4*m - 4*b - 12 = 0. Which is bigger: m or -3/20?
m
Suppose -18 + 10 = -4*m. Which is greater: -1 or m?
m
Let q be -8 + 12 + 1*-2. Let x = 2503/4 + -629. Let r = 4 + x. Is r > q?
False
Let v = -140 - -136. Which is smaller: -7/2 or v?
v
Let l = 0 + -4. Let t = 3 + l. Is -1 != t?
False
Let c = -1 - 2. Let a = -23 - -20. Does c = a?
True
Let b be (5/3)/((-10)/(-12)). Suppose b*n = -n + 9. Which is smaller: 2 or n?
2
Let c = 167 + -70. Is c > -1/2?
True
Let z be ((-16)/(-40))/((-1)/(-2)). Which is greater: z or 2?
2
Let j(g) = 6*g - 1. Let h be j(1). Suppose -8 = 5*u + 4*l, -6*l + h*l = u + 2. Which is bigger: -2/3 or u?
u
Let v(b) = -3*b - 9. Let u be v(-5). Suppose -u*j + 30 = -j. Suppose -6*r + r = -25. Which is bigger: r or j?
j
Let x be 8/6*6/4. Let j(c) = -2 + c**2 + 5*c - 2 + 0*c**2. Let h be j(-6). Is x at least as big as h?
True
Let h = -1.8 + 2. Let d = -338.8 - -313. Let x = d + 26. Is h at least x?
True
Let o = 23 - 15. Let b = 1.3 - 0.3. Which is smaller: o or b?
b
Let i be 1/(-3*1/3). Which is smaller: i or -1/5?
i
Let j = 313 - 8453/27. Do -1 and j have the same value?
False
Suppose 0 = -2*x + 1 - 21. Do x and -11 have the same value?
False
Let r(d) = -d**3 + 9*d - d**2 + 5*d**2 + 5*d**2 - 2 - 2*d**2. Let t be r(8). Suppose k = t*k + 5. Is k > 0?
False
Let f = -3 - -4. Suppose -2*h + f - 3 = 0. Let g = 4 + h. Is g > 3?
False
Suppose -u = 5*u - 96. Let h be 3/(-4) - 68/u. Does -7 = h?
False
Let y be 2*(-3)/(-12)*2. Let p = 0 + y. Suppose -p = 5*t - 6. Which is smaller: -0.2 or t?
-0.2
Let w = -165 + 163.06. Let r = w + -0.06. Are -2 and r non-equal?
False
Suppose -4*k - 8 - 4 = 0. Let b(i) = i**3 - i**2 - i. Let h be b(0). Let p = k + h. Which is bigger: p or -2?
-2
Let w = -39 + 65. Which is smaller: 24 or w?
24
Let n = -0.1 - -0.1. Let y = -0.1 + n. Let l = 93 - 653/7. Which is greater: y or l?
y
Let x(f) = -f. Let t(p) = 2*p + 8. Let g(k) = -t(k) - x(k). Let l be g(-8). Which is bigger: l or -6/7?
l
Let g = -46 + 29. Is -17 >= g?
True
Let n = 265/4 - 66. Which is smaller: n or -6?
-6
Let m(q) = q**2 + 25*q + 30. Let d be m(-24). Suppose 3*r - 5 = r - 3*h, r - 10 = h. Which is smaller: r or d?
d
Let c = -0.09 - 0.01. Let s = -11.4 + 6.7. Let q = s + 5. Is q >= c?
True
Let b = 1 - 0. Let a be (2 - (1 + b)) + -1. Let z be 1/((21/2)/3). Which is smaller: z or a?
a
Let n(v) = -9*v + 100. Let x be n(14). Is -26 at least as big as x?
True
Let g be (-4)/20 + 1/(-5). Suppose h = 5*b - 19, -2*b + 0 = -8. Let x be (h/8)/((-2)/4). Which is smaller: x or g?
g
Suppose 4*m + 15 = -293. Which is greater: m or -76?
-76
Let y = -50 + 59. Which is bigger: y or -5?
y
Let b be 2/((-8)/2 - -2). Let w(a) = -5*a + a + 6*a. Let l be w(-1). Is b > l?
True
Suppose -5*y - 35 = -5. Let f be y/(-39) + (-160)/26. Let i = 8 + f. Which is smaller: i or 1?
1
Let w = 8 + -33/4. Suppose -m = m. Which is greater: w or m?
m
Let o = -18 - -30. Let b = 7 - o. Which is bigger: -6 or b?
b
Let t = 22.09 - 22. Let o = t - -0.91. Is o smaller than -2/5?
False
Let w = -4 + -1. Suppose -t - 12 = 2*t. Which is bigger: w or t?
t
Let v = -83540/91 + 918. Let g = 103/546 + v. Which is bigger: 0 or g?
g
Let t = 7 + -14. Let f(u) = u**2 + 5*u - 10. Let m be f(t). Let w be (-6)/9 - m/(-6). Is 4 bigger than w?
True
Let n(w) be the first derivative of -3*w**2 - 6*w - 1/3*w**3 + 2. Let q be n(-4). Do q and -0.1 have the same value?
False
Let p(m) = -m**3 + 4*m + 3. Let s be p(-2). Suppose -5 + 2 = s*a. Is -1/4 < a?
False
Let l be -3 + 2 + (-27)/(-21). Let f be 65/(-15)*(-3)/28. Let s = l + f. Which is smaller: 0 or s?
0
Suppose -6*i + 3*a + 51 = -3*i, -3*a = 6. Let k be (2/(-3))/(-2)*i. Which is smaller: 3 or k?
3
Let y = -1 - -1. Are -87 and y equal?
False
Let g be (-8)/20*5*-1. Suppose -3*o = o - 12. Are o and g unequal?
True
Let g be (-4)/12 - (-7)/39. Is g < -1?
False
Let f = -0.14 - 5.86. Let n = 5 + f. Let r = n + 0. Is r bigger than -3?
True
Let a = 6 - 6. Which is smaller: a or -1/15?
-1/15
Let v = -9.1 + 8. Let i = -1 - v. Let d be ((-3)/6)/(1/3). Is i less than d?
False
Let h(a) = -a**2 - a - 1. Let q be h(0). Let w = 842 + -9268/11. Are q and w non-equal?
True
Let z = -41 - -39. Let g = 1 - 1. Let b = z - g. Is 1 <= b?
False
Let w be (15/6)/((-2)/(-24)). Is w at most 30?
True
Let b(n) = 20*n. Let o(y) = 7*y. Let f(v) = -6*b(v) + 17*o(v). Let k be f(1). Which is smaller: k or -5/3?
-5/3
Let s = 0.9 - 0.6. Let n = s + -8.3. Let b = -7.98 - n. Is b at most as big as 0?
False
Suppose -i = i + 2*i. Are -1 and i equal?
False
Let p be (4 - 2)*14/4. Which is smaller: 13/2 or p?
13/2
Let s(x) = x**3 + 6*x**2 + 6*x + 5. Suppose 2*t - 6 = 2. Suppose -h + t*h = -15. Let n be s(h). Is 1/2 less than n?
False
Let j = 258 + -763/3. Which is greater: j or 5?
5
Suppose 3*g - 4*g - 5 = -j, 4*g = -j - 20. Suppose 3*r + 20 = 2*f, 4*f + r = -2*r + 4. Suppose j = -f*m - m - 5. Is -1 > m?
False
Let d = -457 + 476.74. Let t = d - 20. Let i = 0.04 - t. Which is smaller: i or 2/5?
i
Let y = -0.62 - -5.52. Let n = 5 - y. Which is greater: n or 2/7?
2/7
Let i(c) = -c - 1. Let a be i(0). Which is greater: 1/94 or a?
1/94
Let o be (16/10)/(2/15). Let m(t) = -t + 14. Let u be m(o). Let n be (-1 + -1)/u - 0. Is 2/17 at most n?
False
Let p(q) = q**3 + 4*q**2 - 5*q + 4. Let u be p(-5). Suppose -u*l + 0*v = -v + 8, 5*l = 2*v - 13. Suppose 3*t - 2*w - 13 = 0, 3*t + 2*t - 4*w - 25 = 0. Is t > l?
True
Let x = 5.94 + -1.04. Let w = x + 1.1. Let m = 6 - w. Is m >= 0?
True
Let p = 3.2 - -0.8. Let q = 1.9 + -2. Which is greater: p or q?
p
Let r = 12 - 12. Is 4/5 at most as big as r?
False
Let c be ((-2)/4 + 1)*-4. Which is bigger: c or -3?
c
Let f be 3385/(-15) + 4/6. Let p = f - -1571/7. Which is bigger: p or -2?
p
Suppose -3 + 1 = 2*s. Suppose y - 2*m + 6 = 0, -4*m + 4 = -y - 3*m. Let w = y + 1. Is w less than s?
False
Let r(p) = p**3 + 3*p**2 - 4*p. Let q be r(-4). Which is greater: -2/3 or q?
q
Let q = -9.2 - -9. Let g = q - -0.1. Is g at least 2?
False
Let b = 37 - 12. Is 26 > b?
True
Let q = -0.22 + 0.05. Let j = q - -0.07. Let k = j - -0.1. Which is smaller: k or 2?
k
Suppose 5*j - 8 = j. Let d(q) = -2*q + 2. Let s be d(j). Which is bigger: 0 or s?
0
Suppose -5*m + 6 - 1 = 0. Let l = m - 1. Which is smaller: 7/6 or l?
l
Let f = 38 + -6. Suppose 3*h - 4 = f. Is h >= 13?
False
Let g = 118 + -118. Does g = 1/24?
False
Let k = -0.97 - -0.8. Let o = -0.03 + k. Let n be -1 + 1 + (-2)/10. Does o = n?
True
Let r = 0.2 - 0.1. Let w be ((-6)/4)/(2/(-4)). Suppose 0 = -w*g - 1 - 2. Is r less than g?
False
Suppose 16 = -2*y - 2*y. Let a(c) = -2*c**2 + 6*c + 5. Let l be a(4). Is y > l?
False
Let y = -828/7 - -118. Is y less than -6?
False
Suppose -k = 5*p + 20, -5*p + 2*p - 2*k - 19 = 0. Let m(f) = -f**2 + 5*f + 5. Let q be m(6). Let a be (-5 - p) + (q - -3). Which is bigger: -2/7 or a?
a
Let z(b) = -b**2 + 1. Let j be z(1). Suppose -2*s + s + 7 = j. Suppose -2*y + 1 = s. Is y less than -3?
False
Let o = -125 + 237/2. Let s = o + 7. Let g = 2 - 7. Which is smaller: s or g?
g
Let o = 5.5 + -0.5. Is o less than -1?
False
Let i be -2 + 3*(-2)/(-3). Let h = -4 + 2. Is h < i?
True
Let u = 194/217 + -10/31. Which is bigger: u or 0?
u
Let x = 190 + -191. Is -5/16 greater than x?
True
Let l(i) = -i**3 + 7*i**2 - 5*i + 6. Let b be l(6). Suppose -5*q + q = -b. Let r be ((-8)/10)/(4/(-20)). Which is greater: r or q?
r
Let a = -64 - -65. Let l = -5 - -7. Let k be 6/(-10)*l/(-3). Which is bigger: k or a?
a
Let b = 591 - 2944/5. Which is bigger: -2/7 or b?
b
Suppose -a = -u + 5, 2*u = 4*u 