 2*b - b + 3, -5*n = 5*b + q. Is -1/11 > b?
False
Let h = -5118 + 5093.53. Let p = h + 25. Let u = 0.17 + p. Is u not equal to -1/2?
True
Let n be (-7866)/1957 + 8/2. Does n = -1?
False
Suppose -17*t + 5*u + 95 = -19*t, 2*t = 4*u - 86. Which is greater: -60 or t?
t
Let a = -57 - -173/3. Let k = 5 - -5. Suppose 0 = -4*g - 2*s + k, -3*s + 10 = 4*g - 3. Which is bigger: g or a?
g
Suppose -s + 118 = -3*q, -3*s - 3*q + 218 = -s. Suppose -x - s = -4*g, 0*g - 3*g + 73 = 2*x. Let z be ((-3)/g)/((-2)/6). Which is smaller: -1/9 or z?
-1/9
Suppose 5*x + 10*r = 7*r + 7, 17 = -5*x + 3*r. Do x and -2/417 have the same value?
False
Let t be (-3 + 2)*0*17/(-17). Suppose t = 3*c - 3 - 12. Which is greater: 21/5 or c?
c
Let w(c) = -c**2 - 3*c + 10. Let u be w(-3). Let k = 16 + 36. Let a be (-14)/(-35)*u/k. Is 1 at most as big as a?
False
Let k = 1.3 + 0.1. Let g = -107.7 - -109. Let x = g - k. Which is greater: 4 or x?
4
Let f(r) = 33*r + 360. Let w be f(-11). Let c be 0 - (-1 - 0) - 3. Is c smaller than w?
False
Let j be ((-6)/(-4))/(2/20). Suppose -j = -3*k + 8*k. Suppose 0 = 4*z, 2 = 4*d - 4*z + 10. Is k at most d?
True
Suppose -s - 6*j + j + 6 = 0, -s = -3*j + 10. Let p be (-84)/s*2/(-2). Suppose 5*t = 94 - 199. Is t >= p?
True
Let z(h) = -2*h**3 - 9*h**2 + 7*h + 23. Let l be z(-6). Is 87 at least as big as l?
False
Let d = 190 + -176. Which is smaller: -0.3 or d?
-0.3
Let w = -942/7 + 134. Let c = w - -29/14. Is 3 greater than c?
True
Let m(s) = 2*s**2 + 15*s - 29. Let q(l) = -l**2 - 8*l + 14. Let x(a) = 3*m(a) + 5*q(a). Let b be x(-13). Is -2/3 less than or equal to b?
True
Suppose 0*r - 4 = -r. Suppose g - r + 3 = 0. Let y be ((-3)/3 + 2)/g. Which is bigger: 9/5 or y?
9/5
Suppose 6*d - 3*d - 18 = 0. Is -17/5 smaller than d?
True
Suppose 0 = -4*u + 2 + 6. Suppose 0 = -4*r + 2*o + 16, -u*o = -2*r + 3 + 1. Suppose 21 - r = -5*g. Do g and -3 have different values?
False
Let m be 1/(20/8) + (-3)/(-5). Let v be (m - (-1 + 0))/(79 + -77). Is -2/167 at least as big as v?
False
Let j be (-16)/114*(-5)/(5*-4). Which is smaller: -1 or j?
-1
Let v be 5 + ((-2 + 2)/3)/1. Suppose -v*m = 3*m. Is m less than 2/9?
True
Let m(p) = 6*p + 4. Let x be m(2). Let u be 12*((-4)/x + 14/(-8)). Is -24 greater than u?
False
Let w(k) = k**3 + 4*k**2 - 5*k + 7. Let i(r) = -r**3 - 15*r**2 + 15*r - 22. Let b be i(-16). Let l be w(b). Let d = 30 + l. Is -6 equal to d?
False
Let u be 72/28 - (32/(-28))/(-2). Let x be (-41 - -35) + u + (0 - 1). Is -3 at most as big as x?
False
Suppose 24*v - 15*v + 2736 = 0. Is v less than -303?
True
Let a(p) = -p**3 - p**2 + 77. Let s be a(0). Suppose -h - s = -42. Are -34 and h non-equal?
True
Let j = -695 - -704.5. Is 0.1 smaller than j?
True
Let x = -6030/13 - -464. Is -4/3 <= x?
True
Suppose 9*g + 14*g = 3657. Is g not equal to 159?
False
Let x(g) = -g**2 - 17*g + 10. Let i be x(-18). Let w be (i + -3)*13/4. Let b = 36 + w. Which is greater: b or 0?
b
Suppose 81 = -m + 4*n, -4*m - 16*n + 17*n = 294. Let g = -1 + 1.1. Which is bigger: m or g?
g
Suppose -2*v + 206 = 5*f + 32, 0 = v - f - 87. Is v at most as big as 84?
False
Let m(y) = -y**3 + 1. Let q(b) = b**3 - 3*b**2 + 3*b - 1. Let f(g) = 2*m(g) + q(g). Let i be f(-4). Let k = 8 + -3. Are k and i equal?
True
Let p be (-7)/7 - (-3 + 0/(-1)). Let u be (-1)/(-3) + p + 103/(-39). Is u less than or equal to 0?
True
Let h = 72149/29 + -2488. Which is greater: h or -5?
h
Suppose -5*c - 245 = 30*z - 25*z, 3*c - 5*z + 171 = 0. Is -60 smaller than c?
True
Let z(j) = 8*j + 1. Let k be z(0). Which is bigger: 30 or k?
30
Suppose -13*v + 0*v - 650 = 0. Let q = v - -68. Are q and 18 unequal?
False
Let u(c) be the third derivative of -4*c**5/15 - 17*c**2. Let o be u(1). Is -1/3 greater than or equal to o?
True
Let k = 8 + 54. Let t = k - 63. Is t less than or equal to -12/11?
False
Suppose k = 5*k - 2*f, -3*k = -4*f - 5. Is -1/546 less than or equal to k?
False
Let f = -97 - -95.36. Let k = 1.34 + f. Which is bigger: k or 4?
4
Let z(c) be the first derivative of -c**5/120 - 5*c**4/12 + 4*c**3 - 6. Let q(m) be the third derivative of z(m). Let t be q(-4). Is -8 < t?
True
Let r = 109 - 107. Let k = 2 - r. Which is smaller: -7/6 or k?
-7/6
Let b(d) = -d. Let h be b(2). Let w = h - -3. Let x be (57/(-8) + 7)/1. Which is smaller: x or w?
x
Suppose -3 = 2*q - 5*z, -4*z + 0*z = -4. Let s be (-4)/12*(-10 + q). Suppose -s*a = -a - 2. Which is greater: a or -4?
a
Let s(c) = c**2 - 37*c + 78. Let k be s(35). Is 5 bigger than k?
False
Let m(g) = 9*g - 112. Let z be m(11). Suppose -8 = h - 5*h. Let t be (z/3 + h)*3. Are -7 and t equal?
True
Let o = 150 - 153. Let w(t) = t**2 + t - 3. Let s(d) = 6*d**2 + 6*d - 16. Let v(g) = 2*s(g) - 11*w(g). Let l be v(o). Is 5 less than or equal to l?
True
Let v be ((-27)/378)/((-1)/8). Let i = 0.02 - -1.98. Which is smaller: v or i?
v
Let d be (465/(-6))/((-4)/288). Suppose -4*s = 5*c + d, -s - s + 3370 = -3*c. Let p be 4/18 - c/(-5688). Which is bigger: -1 or p?
p
Let z = 87 + -58. Are z and 29 nonequal?
False
Let v be ((-66)/39)/((290/(-16))/(-5)). Let f = v - -18/29. Which is bigger: f or 1/3?
1/3
Let v = -1238.9 - 72.1. Is v less than -2/3?
True
Let d = -24 - -24. Let l be (-16)/(-24) + (-2)/4. Which is bigger: d or l?
l
Let d be (-10 - 54)/2*-16. Which is bigger: 510 or d?
d
Let r = -2.4 + 5.5. Let d = r + -1.3. Let g = d - 0.8. Which is smaller: -1/20 or g?
-1/20
Let o be 270/12 + (-3)/6. Let r = -16 + o. Suppose -2*z + 4*q = -7*z + 34, 0 = -q + 1. Is z smaller than r?
False
Let d(f) = -2*f**2 + 17*f - 10. Let b(l) = -l**2 + 8*l - 5. Let n(q) = 7*b(q) - 3*d(q). Let p be n(1). Suppose -4*v + 3*v = 0. Which is greater: p or v?
v
Let o = -57.07 - -5.47. Let h = 52 + o. Let c = 5.02 - 0.02. Which is smaller: h or c?
h
Suppose 5*f = -154 + 49. Let t = 33 - 55. Is t at least as big as f?
False
Let f = 1 + -5. Let g = -95 + 93. Is g at most f?
False
Let p(z) = 4*z + 1 - 2 + 11*z - 13*z. Let m be p(5). Is m smaller than 10?
True
Let q = 0.113 + -5.113. Which is smaller: 40 or q?
q
Suppose -3*i + 0*q + 183 = q, -303 = -5*i - q. Let d = -335 - -394. Is d greater than or equal to i?
False
Let u be 6/(-10) + 1/(45/(-18)). Let n be (-3 - 1)*(-2)/38. Which is bigger: n or u?
n
Let t = 760 - 759.7. Is -6/19 greater than t?
False
Let l be 2 - 0 - (12/3 + -4). Suppose w + 5*d + 12 = -0*w, -l*w - 3*d = 10. Do -2 and w have different values?
False
Let m = 17 + -9. Suppose 4*z - m*z = -20. Suppose 5*p = 0, -3*y - y + 4*p = -8. Is z less than y?
False
Let i be 1/(2*(39/(-24))/1). Let j(l) = 1. Let m(s) = s + 2. Let y(u) = -2*j(u) - m(u). Let x be y(-3). Are i and x equal?
False
Let n be (3/(-4))/((-45)/(-24)). Let l = 1960 + -1952. Which is smaller: n or l?
n
Let r = -19.2 + 9.2. Which is greater: 6 or r?
6
Let w = -19 - -40. Let p be 57/w - (-4)/14. Let h be ((-2)/p)/(1*-2). Is -0.12 equal to h?
False
Suppose -p = 5*v - 40, 2*v + 8 = v + 3*p. Suppose -16 = -v*u - 100. Is -1 smaller than u?
False
Let j = -145 - -154. Let b = j + -33. Is b at least 1?
False
Let d = 38 - -15. Let r = 25 - d. Let f = r + 21. Which is bigger: f or 0?
0
Let a = -7 - -7. Let v = -48.4 + 44. Let q = v - -4.61. Is a greater than q?
False
Let m = 38797/7 + -5558. Which is smaller: m or -15?
m
Suppose 467 + 205 = 32*s. Let t be 12/(-10)*(-15)/6. Suppose 0*m - 2*m = -t*u - 6, 0 = 3*m + 3*u + s. Is m smaller than -3?
False
Let o be 5/1*(-30)/(-150). Is o smaller than 3/47?
False
Let z = -5 - -12. Let n = z + -5. Let r = -930.94 + 931. Which is greater: r or n?
n
Let m(t) = -t**2 + 15*t - 3. Let k(i) = 14*i - 4. Let w(g) = -3*k(g) + 2*m(g). Let q be w(-6). Is 8 at least as big as q?
True
Let m be 2235/558 - (-2 + 3 - -3). Which is bigger: m or -1?
m
Let o be 6/(-18) + 86/14. Which is smaller: 6 or o?
o
Suppose -33*g - 177 = 1539. Which is bigger: -51 or g?
-51
Suppose 0 = -8*w + 7 - 15. Let t = -232 - -7194/31. Which is smaller: t or w?
w
Suppose -6*p = -p - 20, -p = d - 149. Let h be (4/138)/(d/45 - 3). Let i = -1 - -2. Is h > i?
False
Let b be 17/51*(1/(-1) + 28). Suppose -b*s - 10 + 1 = 0. Which is smaller: -2 or s?
-2
Let g = -62.9 + 6.9. Let s = g - -54. Is 0 bigger than s?
True
Let o(k) = -k**3 + 4*k**2 + 6*k - 3. Let u be o(5). Let l(b) = -80*b + 4. Let c be l(u). Let n be (-76)/c + (-1)/3. Is n smaller than 0?
False
Let p =