 - 21 + 31. Is b greater than -3?
True
Suppose -1 = -2*x + 5. Let n = -3 + x. Let t be (3 + n)*4/(-42). Is -1 smaller than t?
True
Let w = 0.7 - -0.3. Let x = 0.1 + -0.1. Let k = -1 - x. Which is greater: k or w?
w
Suppose 4*z - 13 = 83. Let g = 27 - z. Are g and 5 nonequal?
True
Let n(k) be the second derivative of k**4/12 - 2*k**3 + 15*k**2/2 + 2*k. Let s be n(11). Is 4 smaller than s?
False
Let b = -11.794 + 0.094. Let y = b - -12. Which is smaller: -2 or y?
-2
Let o be 2*1/4*4. Suppose -o*w = -w + 5. Suppose -5*u - 4*c - 25 = 0, -3*c + c = -5*u - 25. Is u < w?
False
Suppose -3 = -5*m + 7. Suppose -m*f + f - 4 = 0. Let h = f + 6. Is 3/4 smaller than h?
True
Let n = -47 - -46.9. Which is bigger: 37 or n?
37
Let n be 0 + 0/(3/1). Let q(d) = -d**3 + 7*d**2 - 11*d + 6. Let b be q(5). Is n < b?
True
Let l = -22 + 14. Which is smaller: 8 or l?
l
Let o be 22/18 + 12/(-54). Is o at least 0.1?
True
Let x = 0.8 - 0.8. Is x at least -0.1?
True
Suppose 14*k - 7 = 7*k. Do k and -2/5 have the same value?
False
Let q(g) = -g**2 - 4*g + 12. Let n be q(3). Which is greater: -31/3 or n?
n
Suppose -2*f + 5 + 3 = 2*d, -3*f = -3*d. Suppose d*j - 6*j = 8. Let v be 0 + j + (-1 - -2). Which is greater: v or -4/5?
-4/5
Let z = -17 + -31/3. Which is smaller: z or -27?
z
Suppose 10*t = 2*t + 104. Which is smaller: 12 or t?
12
Let q = 0.06 - -0.04. Which is bigger: q or -0.3?
q
Suppose u = -0*u + 2. Let s(a) = -a**3 - 4*a**2 - 3*a + 1. Suppose -5*i - 6 = 3*h, -i = -0*i + h. Let v be s(i). Which is smaller: u or v?
v
Suppose -6 = -p - r, -1 + 6 = r. Is p != 10/9?
True
Let u(g) = g. Let t be u(6). Suppose -q = -3*o + 3, 0 = -t*o + 2*o + 8. Suppose p = -q*p. Do 0.2 and p have the same value?
False
Let l = 1317/2 - 672. Is l at least as big as -15?
True
Let c(d) = -2*d + 2. Let w be c(-3). Suppose -2*o + 0*o - w = 0. Is 0 at most o?
False
Let r = -8.21 - -0.51. Let n = -8 - r. Let l = 11.9 - 12. Is n equal to l?
False
Suppose 0 = 6*l - 8*l. Which is bigger: l or 2/23?
2/23
Let q = 17 - 18.8. Let h = q - -0.8. Which is smaller: -0.01 or h?
h
Let h = 0.03 - -2.97. Are h and -0.1 non-equal?
True
Suppose 11*s + 42 = 13*s. Which is smaller: s or 19?
19
Let f = -70 - -69. Suppose b + 4 - 1 = -x, -5*x = 3*b + 7. Let i be 16/10*x + -1. Which is bigger: f or i?
i
Let n = 7 - 11. Let o = n + 1. Let c = 7 + o. Is -1/3 at most c?
True
Suppose 6 = 5*h + 11. Let p = -1/16 - -21/80. Which is smaller: p or h?
h
Suppose -2*l + 40 = 2*l. Suppose 4*i + 16 = 3*a + 2*i, -2*i - l = 0. Let d be (-2)/(-3 + a - 0). Is 1 smaller than d?
True
Let j = -4 + 2. Let u be (-6)/3*(-45)/j. Let k = u - -181/4. Which is bigger: k or 0.1?
k
Let k = 26267/44 - 597. Let t be (-3)/1 + (-3101)/924 + 7. Let a = k - t. Which is greater: a or 0.1?
0.1
Let m = -3 + 9. Suppose c + 35 = m*c. Is c smaller than 7?
False
Suppose 0 = 5*s - 2 + 37. Let c be (-1)/(s - (-3 + 3)). Let k(u) = u + 13. Let y be k(-12). Which is smaller: c or y?
c
Let z(f) = -f**2 + 6*f + 10. Let d = -4 - -6. Suppose -4*i - 2*q + 18 + 10 = 0, d*i = -5*q + 6. Let v be z(i). Do v and -6 have the same value?
True
Suppose -4*m - 2*u - u - 73 = 0, 5*m + 65 = 5*u. Let q = 23 + m. Does q = 7?
True
Let z be 37 - (7 - (-4 - -8)). Let v = 29 - z. Let c be (-4)/((-3)/((-18)/4)). Which is bigger: c or v?
v
Let j = 0.3 + 0.7. Suppose 0 = -3*o + 23 - 8. Let f = o + 2. Which is smaller: f or j?
j
Let f = -59/4 + 14. Let w be (3 + 0)*6/(-12). Let a = f - w. Is 0 at most a?
True
Suppose 2*n + 0*n - 2 = 0. Which is smaller: n or 7?
n
Suppose 4*n = 3 - 11. Which is smaller: -6/5 or n?
n
Let w = 19 + -18. Let l = 866/9 - 96. Which is smaller: l or w?
l
Suppose p + x - 12 + 3 = 0, -2*p = 5*x - 30. Suppose 0 = -p*m + m. Let k be (-1 - -2)/1 - m. Which is bigger: 1/2 or k?
k
Let p be (-40)/(-3 + -1) + -4. Suppose -2*m = -4*n + 11 + 1, m - n = -1. Let v be m/p + 0/(-3). Is v greater than 0.1?
True
Let q = -2014 - -4145/2. Let h = 60 - q. Which is smaller: h or 2?
h
Suppose -h + 5 = 2*k, k - h - 11 = -k. Suppose -i + k*a = a - 17, 4*a + 26 = 3*i. Let r(p) = p**2. Let m be r(-1). Which is smaller: i or m?
m
Let p = -3.06 - -0.06. Let h = -1 - p. Let v = -2 + h. Which is smaller: -0.2 or v?
-0.2
Let d = 16 + -15. Are 1/18 and d nonequal?
True
Let o(s) = 2*s - 2. Let t be o(2). Let z be (-1 - 6/(-9))*t. Let p = 0 + 1/2. Are z and p nonequal?
True
Let h(y) be the third derivative of -y**5/60 - y**4/24 + y**3/3 - 2*y**2. Let s be h(-2). Suppose s = -n + 5*n. Which is smaller: n or 0.1?
n
Let s(r) = -2*r**3 + 4*r**2 + 6*r + 3. Let i be s(5). Let o = -1051/9 - i. Is 2/11 less than or equal to o?
True
Let m(b) = -33*b**2 + b. Let u be m(-1). Let o be u/(-24) + (-10)/15. Let q(h) = h - 1. Let p be q(2). Does o = p?
False
Suppose -5*s + 4*x = 38, 2*s + 5*x - 4 = s. Is -4 greater than or equal to s?
True
Let u be -2 + (184/90 - 0). Let v(s) = s**2 - 5*s - 6. Let i be v(6). Which is smaller: u or i?
i
Let v = -104 - -101. Let t be (-50)/(-8) + (-1)/4. Let y be 3/4*t/9. Which is greater: y or v?
y
Let p(o) = -o**2 - 3*o. Let z be p(-3). Suppose 0 = -3*n - z*n + 6. Suppose 4*l - 3*b - 6 = 0, -2*b + 10 = -n*l + 4*l. Is l greater than or equal to 2?
True
Suppose 2*c - 5 = -1. Which is smaller: c or 22?
c
Suppose 2*d - 20 = -3*d. Which is smaller: 14/3 or d?
d
Let i = -2 - 0. Let j = 1 + -3. Let w be 2*j*(-2)/(-8). Is w less than i?
False
Let z = 2/23 + 28/207. Let d = 1.1 + -0.1. Which is bigger: z or d?
d
Let u = 15 - 45. Let b = u + 148/5. Suppose -3*w + 7*w + 4 = 0. Is b at least as big as w?
True
Let l(x) = -11*x**3 + x**2. Let u be l(-1). Suppose -27 = -5*h - u. Suppose -h*i + 2*y = -3*y + 6, 9 = -2*i + 5*y. Is i at most as big as 2?
False
Let b = -5 - -27. Suppose -5*c = -5*u - 2 + b, 0 = -2*c - 4*u + 4. Let n be (c/(-4))/((-1)/2). Do n and 2/17 have different values?
True
Suppose 0 = -5*c - 5 - 5, 5*z - 32 = c. Let q = z - 3. Let b be 1/q*(-3)/(-7). Is b at most as big as 1?
True
Let t(u) be the first derivative of 5*u - 2 - 1/2*u**2. Let l be t(8). Are l and -2 equal?
False
Let h(v) = -7*v + 11. Let w be h(-7). Suppose 0*s - 4*s = w. Which is bigger: s or 1?
1
Let c = 6.02 - 6. Let o = -11.3 - -10.28. Let l = o + c. Which is smaller: l or 2?
l
Let u = -69 + 70. Is u at most 2/23?
False
Let n be ((-12)/30)/(5/((-75)/6)). Which is bigger: n or 17?
17
Let l = -14 - -12. Do 2 and l have different values?
True
Suppose -22 = t + 5*z, t - 3*t - 4*z - 14 = 0. Suppose -t - 2 = -5*v. Is v less than 3?
True
Let f = -3 + 6. Let p = f - 3. Which is smaller: p or 2/11?
p
Let p = 1.53 - 1.33. Which is smaller: p or 15/4?
p
Suppose -2*g - 40 = 2*g - u, 5*u - 20 = 0. Let w be (-3)/12 + g/(-4). Suppose w*t = t - 1. Do t and 0 have different values?
True
Let f = 75 + -62. Do 13 and f have the same value?
True
Let b = 100.04 + -100. Let f = -0.3 - -0.1. Which is greater: f or b?
b
Let h be 4 + (-20 - 0 - -1). Is h < -14?
True
Let r(y) = -y**3 - 7*y**2 - 8*y - 9. Let g be r(-6). Let w(c) = 2*c - g*c - 7 + 0*c. Let a be w(-6). Do 3 and a have the same value?
False
Let k = -14/3 + 13/3. Is -5.4 at most as big as k?
True
Let x be (-141)/9 + (-14)/(-21). Are -14 and x non-equal?
True
Suppose 4*u + 7 = 3. Let k = -153491/1190 + 2175/17. Let x = k + 8/7. Is u less than x?
True
Let w be (-16)/(-102)*(-12)/(-16). Is 1 >= w?
True
Let k be (-241)/332 - 3/(-4). Which is smaller: k or -1?
-1
Suppose 0 = -0*d + 2*d. Let q be ((-26)/(-642))/((-20)/108). Let m = 2/107 + q. Are m and d unequal?
True
Let n = -0.118 + 5.118. Which is smaller: n or 11?
n
Let q(w) = w**2 - 7*w - 14. Let s be q(9). Which is smaller: s or 5?
s
Suppose 1 = -5*k - 4, -4*y - k - 1 = 0. Suppose 0 = 5*b - y*b. Is b < -1?
False
Let l = 22 - 13. Let b = l + -13. Which is smaller: -0.2 or b?
b
Suppose -q + 2*q + 42 = 5*s, -s + q + 10 = 0. Let t = s - 5. Let n be 1/(-4) - 13/(-4). Are n and t non-equal?
False
Suppose -4*v + 0*v - 5*f - 7 = 0, 0 = 3*f - 3. Let s = v + 5. Let j be (-4 - -3)/(-2)*6. Which is smaller: s or j?
s
Let k = 15 + -14.9. Let j = 2.1 + 2.8. Let h = 0.9 - j. Are h and k equal?
False
Let s = 703/4 - 177. Which is smaller: s or -1?
s
Let l be 136/5 - (-7)/70*8. Which is greater: 29 or l?
29
Let j(r) be the second derivative of -r**4/12 - 5*r**3/6 + 5*r**2 - 6*r. Let t be j(-7). Suppose -5*g = 7 + 8. Is t at most as big as 