= -11 - m. Let c = -0.2 + 0.2. Is c greater than q?
False
Let g = 8 + -11. Suppose -6*b = -b - 15, b = 3*v + 24. Let q = -11 - v. Is g greater than q?
True
Suppose 2*l + d + 16 + 1 = 0, 3*l = -2*d - 27. Let q be (-8)/10*5/l. Suppose 0 = -0*w + 5*w - 5. Is q at most as big as w?
True
Let d(y) = y. Let i be d(-1). Let q(w) = -w**2 - 6*w + 7. Let g be q(-7). Let k = 1 + g. Which is smaller: k or i?
i
Suppose -32*m = -33*m + 1. Which is smaller: 53 or m?
m
Let j = -0.2 + 1.3. Let i = 0.9 + j. Suppose -z + 5*w = 20, 2*z - w + 0*w = -4. Is z greater than i?
False
Suppose -a + 1 + 1 = 0. Which is smaller: a or 3?
a
Suppose -5*g - 9 = 2*u, 4*u = 4*g + 6 + 18. Suppose 2*t + 23 = -p + 67, u*t = -4*p + 191. Let i be (2/35)/(5/p). Is 1 equal to i?
False
Let t(x) = 2*x**2 - x + 1. Let f be t(2). Let d(h) = h - 7. Let r be d(f). Which is greater: 4/3 or r?
4/3
Let v be (-15)/6*(-4 - -2). Suppose v*z + 8 = -2. Is z at least -1?
False
Let g = 0.4 - 0.2. Suppose -c + 4 - 1 = 0. Let d be (c/(-6)*-1)/1. Do g and d have different values?
True
Suppose 3*l = 13 - 16. Is l at least -5?
True
Let u(c) = c - 3. Let m be u(3). Let i = -8 - -5. Let s = 4 + i. Which is smaller: m or s?
m
Let m(v) = 4*v + 1 + 5 - 5*v. Let x be m(5). Let s be 12/8 + (-1)/2. Is x less than s?
False
Let j(x) = -2*x + 1. Let y be j(2). Let u = -3 - y. Suppose -t - 1 + u = 0. Which is greater: -2 or t?
t
Let m(k) be the first derivative of k**3/3 + 5*k**2 + 12*k - 7. Let b be m(-9). Which is smaller: b or -1?
-1
Let h = 284/7 + -1418/35. Are h and -1 equal?
False
Let x be (-396)/15 + (8/(-5))/(-4). Which is greater: -27 or x?
x
Let o(i) = -i - 3. Let h be o(-7). Let k be 184/360 - h/(-18). Let v = k + -4/3. Is v at least -2?
True
Suppose 0 = 2*x - 3*x. Which is smaller: -1/11 or x?
-1/11
Suppose 4*o = 5*o - 1. Let p be 0*(o/1)/2. Let x(t) = t + 3. Let j be x(-4). Which is greater: j or p?
p
Let d(c) be the second derivative of -c**3/6 - 7*c**2/2 - 2*c. Let h be d(-4). Let l = -6.1 + 5.1. Which is smaller: h or l?
h
Let i(b) = 2*b + 2*b**3 - b - 3*b**3 + 8 - 6*b**2. Let v be i(-6). Suppose -4 = 5*q + v*j + 3, 5*q + 19 = j. Which is smaller: -1 or q?
q
Let w be 1/(-2) - 65/(-2). Let u be 32/18*8/w. Is -1 greater than u?
False
Let s = 4 + -24. Let v be (1 + 1)*(-5)/s. Which is greater: v or 2?
2
Let p = -0.054 + 20.054. Which is bigger: 2 or p?
p
Let v(h) = h**2 + 2*h + 38. Let w be v(0). Which is bigger: 2/7 or w?
w
Let p be (-1 + 2)/(7/28). Suppose p*g - 23 = 3*w, -4*w = -2*g + 24 - 0. Is -4 at most w?
False
Suppose -2 = -i + 5*i + h, -h - 2 = -2*i. Let k be 1 + (i + 1)/1. Are 4 and k unequal?
True
Suppose r - 2 - 5 = 0. Which is greater: 9 or r?
9
Let i(w) = w - 8. Let c be i(12). Let l be -1 - (-1)/(0 - -1). Suppose 0 = c*q - l + 8. Are q and -3 equal?
False
Let q(w) = -w**3 - 8*w**2 + 10*w + 11. Let u be ((-12)/8)/(3/18). Let t be q(u). Let p = t + -5. Is p not equal to -7/4?
True
Suppose 0 = -5*d - 6 + 1. Let y = 1 - d. Suppose 3*i = y*i. Is 0.3 less than or equal to i?
False
Let k = 18 - 14. Suppose 0 = k*u - 8*u. Let q = 1.04 + -1. Which is greater: q or u?
q
Suppose 0*a + 24 = -4*a. Let z be (-3)/(-2)*4/a. Let l be (z/(-2))/((-2)/(-4)). Which is smaller: l or 0?
0
Suppose 4*q - 6 = 2. Suppose q*a + 8 = 5*r, 2*a = 2*r - 0*r - 8. Which is greater: -1 or r?
r
Let y = 10 + -8. Which is bigger: y or -2/7?
y
Let n = 47 - 31. Suppose -5 = 5*k + 5*j, 4*k - 2*j + n = 3*k. Are k and -0.1 non-equal?
True
Let r be -4 + (-4)/6*9/(-6). Let o(v) = v - 8. Let g be o(4). Which is bigger: g or r?
r
Let b = -5 + 9. Let q = 1/434 + -115/2821. Let g = 32/13 - q. Which is smaller: g or b?
g
Suppose 4*f - 8 = 2*f. Let z be -10*((-6)/f + 1). Let t = z + -7. Are -2 and t equal?
True
Suppose 4*l = -l + 95. Let h = l - 17. Are 11 and h equal?
False
Let c = -1.5 + -0.5. Let z = 0.7 - -1.3. Let i = 4 - z. Which is smaller: c or i?
c
Let l = -24844 + 7825933/315. Let c = l + -4/45. Which is smaller: -1 or c?
-1
Let r be ((-1)/1)/(0 + -5 + 6). Is r < -7/26?
True
Suppose 5 = 4*v + 9. Suppose g + 2 = 3. Let a = -1 + g. Which is smaller: v or a?
v
Let j = 3.564 + -3.6. Is 1 bigger than j?
True
Let z be (-5 - (-3 + 2)) + 4. Which is smaller: 2/103 or z?
z
Let v be ((-1)/(-2))/(-7 + 26/4). Is -5/8 at least as big as v?
True
Let y(a) = -a**2 - 10*a + 5. Let i be y(-10). Suppose -5*f = -f - 12, 3*c - i*f = -12. Let b = -50 - -552/11. Which is smaller: b or c?
b
Let a(k) = k + 6. Let d(c) = -2*c - 7. Let g(r) = 3*a(r) + 2*d(r). Let q be g(0). Let b be q/40 - 1/2. Which is smaller: b or -2?
-2
Let y be 524/(-18)*(-3 - -4). Let c = 88/3 + y. Which is greater: c or -1?
c
Let r = 1 + 3. Suppose 5*y + r = -11. Is -3 bigger than y?
False
Let b(h) = -h**2 - 3*h + 1. Let w be b(-2). Let v = -3 + w. Let f be 1 + (-18)/14 + v. Which is smaller: 0 or f?
f
Let l = -0.21 - 0. Let f = l + 0.01. Do f and 0.3 have the same value?
False
Let y be 37/(-6)*(20/(-5) + 2). Is y at most as big as 12?
False
Let t = 15 + -10. Let m(f) = f + 1. Let z be m(t). Which is smaller: 4 or z?
4
Let i = 0.09 - -0.01. Let r = 13 + -11.8. Let z = r - 1. Which is smaller: i or z?
i
Suppose 34 = -4*g + 5*u, -g - 4*u - 19 = -0*g. Let m be g/(-5) + (-3)/15. Is 1 smaller than m?
True
Let f be -2 - (4 - 2942/1064). Let n = f - 2/133. Which is bigger: n or -2?
-2
Let c = 181 - 2354/13. Is c >= 0?
False
Let o be 1/2*(-21)/14. Let r = -0.2 + 0.1. Which is smaller: o or r?
o
Let p(n) = n**3 + 4*n**2 + 5*n + 7. Let t be p(-3). Do t and -52 have different values?
True
Let y be (49/21)/(2/(-12)). Suppose -2*l + n - 17 = 0, 2*l = 4*l + n + 23. Let g be y/(-21)*(-6)/l. Is g less than or equal to -0.1?
False
Let q be 2*(9/2)/3. Suppose q*f = -4*y + 4, 0 = -f - 4*y + y + 3. Which is smaller: 1 or f?
f
Let o = -7 - -8. Let m(i) = i**3 + 1. Let v be m(o). Do v and 5/6 have the same value?
False
Let l be (-1)/2*(-6)/5. Let c(z) = z**2 + 9*z + 10. Let d be c(-1). Which is smaller: l or d?
l
Suppose 0*u = 5*u + 10060. Let l be u/2490*(-3)/6. Let m = 1/249 - l. Which is smaller: m or -1?
-1
Let c(h) = 2*h + 5. Let j be c(0). Are 4 and j nonequal?
True
Let z(r) be the third derivative of r**5/60 + 5*r**4/24 - r**3/6 - 2*r**2. Let c be z(-5). Is -6 < c?
True
Let j(i) = i + 2. Let c be j(-1). Let u = 344 + -4468/13. Do u and c have the same value?
False
Let t(d) be the first derivative of d**2/2 - 2*d + 1. Let f be t(2). Which is bigger: 1 or f?
1
Let g = 5 - 4.9. Are -4 and g equal?
False
Let z be 1/(-3 + (-24)/(-9)). Let i be z + 2/2 + 0. Let r = 0.04 + -0.04. Which is smaller: i or r?
i
Let y = 0 + 0. Let m be (-5)/12 - (-36)/54. Is y != m?
True
Let l = -7 + 9. Let c = -3 - l. Which is smaller: -4 or c?
c
Let y(f) = -4*f**2 - 52*f + 1. Let c be y(-13). Let n(s) = s**2 + 4. Let l be n(0). Which is smaller: c or l?
c
Suppose 0 = 3*m - 2*j - 3*j + 29, 5*j = m + 23. Suppose f - 1 = -0. Suppose f + 1 = -3*y - u, 5*y + 4*u - 6 = 0. Which is smaller: m or y?
m
Let n = -2 - -1. Let j be ((-24)/(-21) + -1)*1. Which is greater: n or j?
j
Let b(w) = 11*w + 14. Let v be b(6). Suppose 3*n + n + v = 0. Is n <= -19?
True
Let u = 0.2 - 0.1. Let d = -178 + 178.7. Which is smaller: d or u?
u
Let i be (2 - 1) + -2 - 33/(-39). Which is smaller: -1 or i?
-1
Suppose s + 0 - 6 = 0. Let h(z) = z**2 - 8*z + 5. Let m be h(s). Which is smaller: m or -8?
-8
Let n = -1292 + 24554/19. Which is bigger: -1 or n?
n
Let o = 24 - 239/10. Suppose -3*c - 5 = -4*f - 16, 0 = -c + 5. Which is smaller: o or f?
o
Let b = 54 + -51. Is -4 less than or equal to b?
True
Let t = -30 - -54. Which is bigger: -1 or t?
t
Let o be ((-3)/(-6))/((-7)/(-4) + 0). Let f(p) = -p**3 + p**2 + p. Let m be f(0). Is m <= o?
True
Suppose -5*u + 0*n - 10 = -5*n, 4*u + n = 2. Let s = 0 - -2. Let p = -2 + s. Is p bigger than u?
False
Let s = 7 - -8. Suppose -x + 4*l + 22 = x, -s = 5*l. Which is greater: 4 or x?
x
Let t be (-10)/(-35) + 30/238. Is t at least 1?
False
Let p = 13.2 + -2.2. Which is smaller: -1/3 or p?
-1/3
Let n = -5 + 10. Suppose -5 = m - 4*m + b, m + n = -b. Is m at most -2/13?
False
Let h = -7 + 9. Suppose 20 = 5*q, -28 = -h*z - 2*z - q. Let u be (5/10)/(z/4). Is -7 equal to u?
False
Suppose -x = -0*f - 2*f - 5, 0 = 3*x + 4*f + 5. Which is smaller: x or 2?
x
Suppose -4*v = -6 - 6. Let y(h) = -2*h + 2. Let j be y(-1). Is j not equ