 = -1 + w. Let c be -9*(-2)/(-12)*-2. Is p greater than c?
True
Let d be (-1)/11*(-1)/2. Let g = d + 39/110. Let u = -3.1 - -3. Is u greater than g?
False
Let p = -2 + -1. Let b be (-12)/9*p/2. Let d be (0 - 3/3)*-1. Which is bigger: d or b?
b
Let q be ((-68)/(-9))/(-2) - 2*-2. Let i be ((-1094)/(-6))/((-15)/(-9)). Let r = 109 - i. Which is bigger: q or r?
q
Let k be (5 - 8) + (6 - 1). Which is smaller: 3 or k?
k
Suppose -5*k = 5*y - 10, 0 = 3*k + 2*y - 7*y + 18. Let q = 2 - k. Suppose -n = -3*l + 3, 0 = -5*n + 7*l - 3*l + 7. Is n smaller than q?
False
Let t = -14 + 8. Are t and -7 non-equal?
True
Let z(w) = -3*w - 3. Let r be z(-2). Is 2/5 less than r?
True
Let z(g) = -g**3 - 6*g**2 + 2. Let o be z(-4). Let s be (-12)/9*3/o. Let f = -0.3 - -0.3. Which is smaller: s or f?
f
Let x = 0 + 4. Let k be 6/x - (-24)/16. Suppose -w - 1 = -r, 7*r - 3 = k*r + 3*w. Does r = 3/8?
False
Suppose 0*s - 10 = -n + s, 41 = 5*n + 4*s. Suppose 3*u + n = -3. Is -4 <= u?
True
Suppose 0 = 3*p - 2*p - 4*m + 45, -45 = p - 2*m. Let w be p/(-84) - (-1)/(-4). Is -1 at least w?
False
Let l = 29 - 29. Which is greater: -2 or l?
l
Suppose -3*d + 2 = -d. Suppose 5*y - 20 = -5*g, 2*g - y = y - 8. Let z be g*3/(-6)*d. Which is greater: z or -1/3?
z
Let n = 2.02 + -0.02. Let z(q) = 14*q - q**2 + 2 - 5*q + 7. Let g be z(10). Is n greater than or equal to g?
True
Let o = -1 - -6. Which is smaller: 0 or o?
0
Let b be 4 - (238/(-6))/(-7). Is b at least -3?
True
Let i = -8 + 7. Is -9 > i?
False
Let f = -1704/175 - -69/7. Let c = -59/75 + f. Let j be (8/(-6))/((-4)/3). Is c at most j?
True
Let u be -1*(2 - (-14)/(-8)). Does u = -2?
False
Let y = -0.17 - 6.83. Let t = y + 6.8. Suppose -6*b + b = 5. Which is smaller: b or t?
b
Let l be (-4)/(-6)*(-1)/2. Let q = -1.87 - -12.87. Is q greater than or equal to l?
True
Suppose -t + 2 = 5*j + 6, 2*j + 4*t + 16 = 0. Let k(l) = l**2 - 7*l + 2. Let h be k(5). Let p be ((-2)/(-20))/((-4)/h). Is p equal to j?
False
Let g = -0.44 + 0.24. Let r = 1.1 + -1. Is r equal to g?
False
Let z be ((-1)/6)/(-3*1). Does z = 1?
False
Let f(b) = b**2 + 8*b + 14. Let x be f(-6). Let y be (-33)/108 - x/(-9). Which is bigger: y or 0?
0
Let x = 199 - 1390/7. Let y = -0.08 - -0.18. Which is smaller: x or y?
y
Let m(u) = -u. Let r be m(6). Let c be (-3)/(-9) + (-16)/r. Suppose 6*y - 2*y - 10 = 3*h, 2*h = -y - c. Is -4/5 less than h?
False
Let n = -21 - -15. Is n equal to -2?
False
Let b be (-15)/(-24)*10/(-25). Suppose 4 = k + 3. Is k less than b?
False
Let v(h) = -h**2 + 2*h + 2. Let s be v(4). Let z be (18/12)/(s/304). Let p be (-1)/(-6) + z/(-120). Which is smaller: 0 or p?
0
Let j = -415 - -273. Which is smaller: j or -1?
j
Let u = 2/183 + 242/183. Which is smaller: u or 1?
1
Let t(k) = k**3 + 28*k**2 + 28*k + 28. Let l be t(-27). Which is smaller: 1/5 or l?
1/5
Suppose -b = -3*b - 24. Let o be (3/(-10))/(b/10). Is -5 greater than or equal to o?
False
Let b be -1 + 2/(4/14). Suppose 3*j + 5*a - 15 = 0, -j + a + 5 = -2*a. Which is smaller: j or b?
j
Suppose 31 - 109 = 2*f + 4*l, 39 = -f + 2*l. Which is bigger: -38 or f?
-38
Let g = 4.88 + 0.12. Let j = 1 + -4. Let v = g + j. Which is greater: v or 0.1?
v
Suppose n = 2*n + 5. Let o be 4 + -1 + 0 + 3. Suppose s + o = -0. Which is smaller: n or s?
s
Let v = 5 + -11. Let x be -14*(v/(-4))/(-3). Suppose 5 + x = 2*g - 2*j, 2*j - 6 = -4*g. Is g bigger than 3/2?
True
Let x = 1 - 7. Let z = x + 6.1. Let y = z - 0.5. Is 0 smaller than y?
False
Let k = -3666 + 1301429/355. Let a = 387/11360 + k. Are a and 1 equal?
False
Suppose 3*v = -2*i + 156 + 257, -5*i = 3*v - 425. Let c be (-122)/15 + 18/v. Do -8 and c have the same value?
True
Let y(i) = i**3 + 4*i**2 - 5*i + 2. Let s be y(-5). Let z = -7 - s. Which is smaller: -11 or z?
-11
Suppose 0 = 4*k, -h + 5*k = -2 - 0. Let v(g) = 2 - 1 - g**h + g**3 - 2 + g. Let a be v(0). Is a <= -1?
True
Let p = 38 + 48. Which is smaller: 85 or p?
85
Let i = -5 + 46. Suppose o - 5*s + 1 = -o, 3*o + s - i = 0. Is o < 13?
True
Let l = -843/4715 + 1/205. Which is smaller: 2 or l?
l
Let q(n) = n**3 + 8*n**2 - 9*n - 1. Let b be q(-9). Let s = 257/4 - 64. Is b equal to s?
False
Let p(l) = -41*l**3 - l**2 + 2*l - 1. Let c be p(1). Is c greater than -41?
False
Let v(z) be the first derivative of z**4/4 - 8*z**3/3 + 2. Let j be v(8). Which is smaller: -2/11 or j?
-2/11
Let f = 1.1 - 16.1. Which is greater: -2 or f?
-2
Let t(m) = -2*m**2 + 4*m. Let i be t(3). Let c(w) = -w**3 - 6*w**2 + w + 4. Let a be c(i). Let o(l) = -2*l - 3. Let d be o(a). Is d at most 2?
True
Suppose -2*c + 10 = -4*v - 0*c, c + 5 = 0. Suppose -33 + 9 = 3*d. Let u = 23/3 + d. Which is bigger: v or u?
u
Suppose 2*q = -2*t + 12, 2*q - 4 = 5*t - 34. Is 3 greater than t?
False
Let u = -13 + 22. Let h be u/180 - 2/(-10). Is -4/5 at least as big as h?
False
Suppose b = -b. Let t be b/(-5) + (-2)/28. Are t and 1 non-equal?
True
Let w = 1.98 + -0.08. Let v = 2 - w. Let j = 2.9 + v. Which is greater: 2/3 or j?
j
Let x = 2 - -2. Let a = x + -4.02. Which is greater: -1/3 or a?
a
Suppose 4*j - 12 = -4. Do 2 and j have different values?
False
Suppose 0 = 5*l - 10, 5*z - 5*l = -0*z + 5. Suppose -2*b - 1 + 0 = -w, 0 = 5*w - z*b - 12. Suppose 5*j = 2*j - 5*q - 11, 8 = -4*j - 5*q. Is w equal to j?
True
Let s be (-6)/(-10) - 158/5. Let t = 20 + s. Which is smaller: 1 or t?
t
Let p(y) = y**2 - 10*y + 2. Let r be p(4). Is r at most -23?
False
Let b be (4/(-20))/(8/5). Which is smaller: b or -0.1?
b
Let f = 2.63 - 0.63. Are f and 2 nonequal?
False
Let m(v) = v**3 + 4*v**2 + 3*v. Let f be m(-3). Suppose -5*c + 5*s + 45 = -0*c, f = -c + 5*s + 29. Which is greater: c or 3?
c
Let z be 99 - (-2 + 2/1). Let f be (-2)/6*z/22. Is f at most 0.2?
True
Let j = 10288443779/1925 + -5344646. Let b = j - 3/77. Is -1/3 at least as big as b?
False
Suppose -4*n + n - 27 = -3*a, -n - a = 1. Let c(x) = x. Let m be c(-5). Is n != m?
False
Suppose -m - 3*m - 25 = -5*z, 4*m = z - 21. Which is greater: z or 0.05?
z
Let z be 3 + (-3)/((-6)/2). Suppose 0 = -0*u - u - 5*o + 11, z*u - 5*o + 31 = 0. Which is smaller: -5 or u?
-5
Let d = -4.5 - -4.6. Is d > -19?
True
Let l be 15/(-6) - 8/16. Let z(s) = s**3 + 2*s**2 - s + 3. Let p be z(-3). Is p bigger than l?
False
Let s = 9 + -7. Suppose -s*d - d - 33 = 0. Which is greater: d or -12?
d
Let f(a) be the third derivative of a**6/60 - a**5/12 + a**4/8 - a**3/3 - a**2. Let q be f(3). Suppose -5*o = -5*h - 11 - 9, -q = 5*h - o. Is -4 >= h?
False
Suppose 0 = -i - 5*d + d + 2, 34 = i - 4*d. Which is bigger: 19 or i?
19
Suppose 5*u - 3 = 4*u. Suppose -3*t - u*i + 8*i - 5 = 0, 0 = -2*t + 4*i. Let r(b) = -b - 8. Let o be r(t). Is 2 at most as big as o?
True
Suppose 7 = -4*o - 1. Suppose -4*n - 4 = -2*n. Is o less than n?
False
Let k = -9 - -8. Let b = -3 - k. Which is bigger: 0 or b?
0
Let l = 171949/49 - 3509. Let f = l - -26/441. Is f less than 0?
False
Let g = -0.043 - 52.957. Is g <= 1?
True
Let h be (-50)/(-20)*(-8)/10. Let x be (-1)/h - (-17)/2. Is x equal to 8?
False
Let a be (60/(-25))/((-1)/5). Let v be a/9*(-3)/2. Is -4 bigger than v?
False
Let q = 3172/215 + -74/5. Is 1 greater than q?
True
Let r = -0.24 - -0.2. Let h = r - -0.04. Is h > 8?
False
Suppose -2*a + 32 = -a. Let h = 63/2 - a. Which is greater: h or 0?
0
Let z = 0 - 2. Let h be z/3 + (1 - 1). Let n(s) = -2*s**3 + 2*s**2 - s. Let i be n(1). Which is greater: h or i?
h
Let h = -5737/3 + 1886. Let y = 62 - 89. Let d = h - y. Is -1 at most as big as d?
True
Let y = 31/228 - 1/19. Which is greater: y or -2/3?
y
Let j(c) = 4*c**2 - c - 2. Let w be j(2). Suppose -r - w = r. Is r != -7?
True
Suppose 2*r = 6*r - 16. Suppose a + 0 = -r. Let l be 3/(1 + a)*0. Which is smaller: l or 3?
l
Suppose 0*x - 2*x = 118. Let p be (-6)/(-147)*x/(-5). Let h = p + -4/49. Which is smaller: 0 or h?
0
Let l = 47 - 27. Let s be 6/18 + (-40)/(-15). Suppose 0 = -5*j - 5*f + l, 3*j + j - 15 = -s*f. Do j and 2 have the same value?
False
Let d = -8/11 - -10/11. Let h be -1 - (-2)/3 - 4/(-3). Which is smaller: d or h?
d
Suppose 8 - 3 = 4*x + 5*l, 4*x - 4 = -4*l. Let g(i) = i**2 - 5*i + 1. Let m be g(5). Let z be m/(-2) - (-10)/4. Is x != z?
True
Let j = 59.1 + -72. Let n = j + 13. Which is bigger: 2 or n?
2
Let c(w) = 2*w - 3. Let f be c(3). Suppose 0*a + 12 = -f*a. Which is greater: -5 or a?
a
Le