)/6). Suppose 5 = -5*y, -c + y - 5*y - 4 = 0. Suppose c = w + o*w. Which is greater: w or 1/2?
1/2
Suppose -4 = 2*z - 2. Let c be 0 - (-10)/(10/(-2)). Which is bigger: z or c?
z
Let z be 3/((-9)/(-60)) + 3. Is 0 smaller than z?
True
Let h = 0 - 3. Suppose -4*p = -4*u + 20, -3*p - 4*u + 20 = -0*u. Let l = p + h. Is -2 at least l?
True
Let y be 7/1 + -4 + 2. Let z = y + 0. Let o(g) = g - 3. Let p be o(z). Are 2 and p equal?
True
Suppose 0 = -5*v + 2 + 8, 6 = -l + 2*v. Let k be (-2 + 1 - -10) + l. Is 9 less than k?
False
Let x be (2/8)/(35/(-56)). Let s(r) = -r + 4. Let d = -7 + 12. Let j be s(d). Does x = j?
False
Let j(o) = o**3 + 11*o**2 + 11*o + 12. Let u be j(-10). Suppose -2*n - u = -6. Suppose -2*h = 3*z + 12, -n*z + 2 = -h + 3. Which is bigger: h or -2?
-2
Suppose 2*n = 5*n + 3. Let k = -0.3 - 0.7. Is k smaller than n?
False
Let q be 18/(-56) - 1/4. Let w(p) = -4*p - 3*p + 2 + 6*p. Let o be w(4). Is o >= q?
False
Let g = -18.1 + -2.9. Let i = g + 21. Which is smaller: i or -1/2?
-1/2
Suppose 5*d - m - 4 = 2*m, 2*d - 5*m = -6. Let n(s) = s**3 - 4*s**2 + 4*s - 3. Let b be n(3). Suppose 0 = 3*p - 5*v - 26 - 0, b = -2*p - v. Is d >= p?
True
Let x be (-3)/28*-2*1. Which is smaller: x or 0?
0
Suppose 0 = 44*w - 48*w. Is 4.5 at most as big as w?
False
Suppose -q = -0*q - 5. Suppose 0 = -q*w + 5, 19 = 3*x - 2*w - 6. Which is smaller: 10 or x?
x
Let s(b) = -b**2 + 2*b + 14. Let m be s(5). Is 2/103 smaller than m?
False
Let r be 1*1/21*6. Suppose -3*t - 42 + 15 = 0. Let k(x) = x**3 + 9*x**2 + x + 9. Let u be k(t). Does r = u?
False
Let y be (-1)/11429*1829733/(-15). Let o = y + -57/1039. Let s = 54/5 - o. Are 0 and s unequal?
True
Suppose 8*a = 3*a - o + 62, -2*o + 4 = 0. Which is smaller: a or 1?
1
Let b = 0.05 + 1.95. Let v = 1.3 - b. Let w = v - -0.8. Which is greater: 3 or w?
3
Let a = -10712 - -53209/5. Let o = 70 + a. Suppose 0 = -q - h - 1, 2*q = -0*q - 3*h - 2. Which is smaller: q or o?
q
Let m be (1/(-14)*-2)/(1/(-15)). Which is greater: -2 or m?
-2
Suppose 2*v - 20 = -4*x, 3*v + 4*x - 28 + 0 = 0. Which is greater: v or 6?
v
Let z = 271/4898 - -2/79. Let s = 9533/186 + z. Let x = s - 52. Which is smaller: -2 or x?
-2
Let i = -1.8 + 16.8. Let x = 14.6 - i. Let w(z) = -z**2 + 5*z + 2. Let g be w(5). Do g and x have different values?
True
Suppose 3*r = 0, -3*z + 2*r = -0*r. Let j = 9 - 22. Let p be 2/2 + j/11. Do p and z have the same value?
False
Let r be 0*((1 - 2) + 0). Which is bigger: r or 2/9?
2/9
Let n = -0.06 - 0.54. Let o be ((-12)/126)/(3/(-21)). Which is smaller: n or o?
n
Suppose 2*r = o - 0*r - 5, 0 = 5*o - 4*r - 19. Suppose o*i = -i - 16. Let p be 1*-2 + (-4)/i. Is -1/4 > p?
True
Let a be (-4)/8 - 126/(-20). Let o = 6 - a. Which is smaller: o or 0?
0
Let y = 0.98 + 0.32. Is -1/2 <= y?
True
Let m = -43/4 + 11. Let t = -0.065 - 1.935. Is m less than t?
False
Let i = -0.24 + 0.07. Is -2/5 greater than or equal to i?
False
Let g = 101 + -1813/18. Is 0 less than g?
True
Suppose -4*r + 31 = 3*d, 5*d - r - 5 = 16. Let b = 5 + -4. Let q be (-2*b + d)/5. Which is bigger: q or 2?
2
Let x be (1 + 2)*(-1)/(-1). Suppose 0 = 4*w - w - x*o, 5*w = -o. Which is smaller: w or -1/7?
-1/7
Suppose 2*q = -f + 5*f + 28, 5*f = q - 26. Let r be 4 - 0 - 3/q. Let k(l) = -2*l**3 + 17*l**2 + 10*l - 6. Let h be k(9). Which is greater: h or r?
r
Let s be 28/(-49)*2/(-12). Which is greater: s or -0.2?
s
Suppose 0 = -0*n + 3*n - 9. Suppose -n*h - 6 = h - 2*u, -5*h + 5*u = -5. Is -3 < h?
False
Let x(o) = -2*o**2 + 2*o + 16. Let r be x(-5). Which is smaller: r or -43?
r
Let v = -230/99 - -28/11. Suppose -2*y - 4*g + 16 = 0, -3*g = -3*y - y - 12. Suppose 0 = -5*p - y*p. Is v at least p?
True
Suppose 9*q = q. Let j(i) = i**3 - i**2 - i + 1. Let v be j(q). Suppose -r = r. Is v greater than r?
True
Let b be (9 - (-20)/(-5))*1. Let n(w) = -w**3 + 3*w**2 + 3*w - 4. Let u be n(3). Is b greater than or equal to u?
True
Let b = -54 + 53. Let x be (-2)/(-10) - (-6)/70. Is b at least x?
False
Let i be -1*6 - 3/1. Let p be (-3)/6 + i/6. Suppose 2*h + 4*x - 12 = 0, 4*h + 10 = 3*h + 2*x. Does h = p?
True
Let x be 20/(-16) - 1/(-3). Let s = x - -113/84. Are 0 and s non-equal?
True
Let g(j) = -j - 2. Let y be g(-4). Suppose 1 = y*t - 1. Is -2/9 at most t?
True
Let w = -0.12 + -1.28. Let a = 0.4 + w. Which is bigger: 0 or a?
0
Suppose -7 = 4*x + 13, 4*c - 5*x = 17. Let i be (2/6)/((-3)/c). Suppose 0 = -3*f + 4*f. Which is smaller: i or f?
f
Let g = 5.99 + -6. Let j = -2 + 1. Do j and g have different values?
True
Let n = 18.6 + -17. Let f = n - 1.69. Let z = 0.39 + f. Which is smaller: z or -1/4?
-1/4
Let z(s) = 2*s + 6. Let t(m) = m + 5. Let v(r) = -3*t(r) + 2*z(r). Let p be v(3). Let x = 0.46 - -0.04. Do p and x have different values?
True
Let l(a) = a**3 + 6. Let g be l(0). Suppose -3 = 3*f - g. Let w = f + -2. Is w smaller than 0?
True
Let l = 2 - -28. Let y(x) = x**3 - 9*x**2 - 7*x - 25. Let s be y(10). Suppose -l = -s*h - 0*h. Is h equal to 6?
True
Let c(r) = r**2 + 19*r. Let m be c(-19). Is m smaller than -6/7?
False
Suppose 0 = -5*v + 2*t - 95, 0*v = v + 3*t + 2. Which is bigger: v or -13?
-13
Suppose 2*u = 8 + 8. Let q = 7 - u. Do -1/3 and q have different values?
True
Suppose -3*i + 3*o = 27, 3*o = -5*i - o. Let z = -1 + 3. Let k be z/7 + (-90)/21. Is k equal to i?
True
Suppose 0 = 3*n - 15, -5*z + 0*n + 5*n = 100. Let c be 1*9/z*-1. Let s = -1/5 + c. Are s and -1 equal?
False
Let d be (84/385)/((-4)/30). Is d > -2?
True
Let u = -4.5 - -2.6. Let l = u + 2. Let n(i) = -i**2 - 11*i - 9. Let h be n(-10). Do l and h have the same value?
False
Let u = -59 - -53. Which is smaller: -1/3 or u?
u
Suppose 0 = -10*k + 6*k + 8, 4*k - 72 = -v. Is 62 not equal to v?
True
Let c be (-4)/10 + (-9)/(-60). Let q be 4/10 - 22/55. Which is smaller: q or c?
c
Suppose -5*p + 3*p - 1 = i, -5*p + 2*i - 7 = 0. Which is greater: 3/13 or p?
3/13
Let n = 2.2 + 0.8. Let m = n - 4. Let z = -262/3 + 88. Is m less than or equal to z?
True
Let i be (-18)/(-4)*(-10)/(-15). Suppose 2*s + 0*s - 4*z + 8 = 0, 4*z - 8 = -i*s. Suppose -4*m + s*m = 8. Which is smaller: m or -3?
-3
Suppose -4*g = -3*g + 2. Let r = g + 1. Let q be (-13)/6 + 6/4. Which is bigger: q or r?
q
Suppose 3*m - 1 = 23. Suppose -m + 1 = -7*y. Does y = 1/3?
False
Let t(f) = -f**2 - 8*f - 7. Let m be t(-5). Let q be 14/10 - m/20. Which is bigger: q or -6?
q
Let u = 20 + -19. Which is smaller: 5 or u?
u
Let m be (-16)/15 + (-2)/(-5). Which is smaller: m or -2?
-2
Let v = -4 - -5. Let r = 0 - v. Let p = -3 - r. Are -2 and p equal?
True
Suppose -2*o = -3*t - 226, -4*o + 8*o + 172 = -2*t. Let m be 1/t - 40/260. Is 0 at least as big as m?
True
Let i = -7 + 6. Let b = 241382/11 + -21962. Let y = -18 - b. Is y at most as big as i?
False
Let b = 0 + 1. Let u be 46/69 + (-5)/3. Which is smaller: b or u?
u
Suppose 3*n = -4*p - n + 12, -3*p + n - 3 = 0. Let l be 1/(-2)*(17 + -16). Which is bigger: p or l?
p
Let x = -21 - -11. Let s = x + 9.94. Let n = 0.04 + s. Does n = 0.1?
False
Let f = -10 - -40. Let q be 3/(-2)*(-8)/f. Which is smaller: -1 or q?
-1
Let z be 1*((-7)/(-2))/(-7). Which is smaller: -0.03 or z?
z
Let c = 0.8 + 0.2. Let z = -2 - -3. Let k = 3 - z. Which is bigger: k or c?
k
Let t = 2.8 - 3. Let h = -0.4 + 0.46. Let l = -0.24 - h. Is t smaller than l?
False
Let z = -0.13 + -0.57. Let k = z + 0.63. Is -1 < k?
True
Let k = 3 - 3.1. Let j = 0.18 + 14.82. Let o = -16 + j. Which is bigger: k or o?
k
Let s = -89324/369 - -2176/9. Let z = -2/287 - s. Let f(o) = -o**3 + 2*o**2 + 3*o. Let q be f(3). Does q = z?
False
Let z(f) be the first derivative of 7*f**2/2 - f + 4. Let y be z(-1). Let d(t) = -t**3 - 7*t**2 + 9*t + 9. Let x be d(y). Is -1/7 not equal to x?
True
Suppose -5*z = 17 - 62. Is z at least 9?
True
Suppose 3*u - 5*r = 34, 0 = 3*u - r - 10 - 4. Let g = u + -5. Is g at least as big as -5?
True
Let o be (-960)/(-476) + (-8)/4. Which is bigger: 0 or o?
o
Let f = 7 + -1. Let z = -6 + f. Is 0 smaller than z?
False
Let a(m) be the third derivative of m**6/120 + m**5/30 - m**3/6 + 3*m**2. Let l be a(-1). Is l > -1?
True
Let c be ((-9)/3 + 6)*1. Suppose 2 - c = a. Which is smaller: a or 4/13?
a
Suppose -4 = 5*j + 1. Let i = 903/2 - 441. Let b = -103/10 + i. Which is greater: b or j?
b
Suppose 3*a + 0 + 1 = 2*z, -2*a = -6. Is z >= 5?
True
S