.4 + -92. Let g = 0 - -13. Let l = g + b. Which is smaller: l or -1/3?
-1/3
Let s be (-451)/(-90) - (-7)/(-28)*20. Are s and -1 non-equal?
True
Let y be (6 - (-1 + 3)) + 11316/(-2826). Which is bigger: -1/3 or y?
y
Suppose 5*b - 23 - 72 = -2*h, 5*h = -b + 203. Let s be 52/(-5) - (-16)/h. Suppose 0 = r + r + 18. Is s bigger than r?
False
Let z = -1.52 - -0.22. Let m = 0.7 + z. Let h = 95157/4 - 23789. Which is greater: h or m?
h
Suppose -2*s + 528 = -14*s. Let t be -3 + (-62)/(-22) - 756/s. Is t equal to 19?
False
Suppose 5 = -0*d - 5*d. Let u(r) = 16*r + 125. Let v be u(-8). Which is bigger: d or v?
d
Suppose -5*j + 27*j = j. Is j bigger than 12/77?
False
Let c be (66/(-110))/(1/(-10)). Suppose -k = 1 - 7. Is c at most k?
True
Let l = 306 - 308. Which is greater: l or -24?
l
Suppose 0 = -95*d + 36*d. Which is bigger: d or -1/20?
d
Let q(h) = -h - 11. Let w be q(-6). Let s(z) = z**3 + 11*z**2 + 22*z. Let d be s(w). Is d at most as big as 41?
True
Let a = -20 + 102/5. Is 0 not equal to a?
True
Let u(x) = -x**3 + 9*x**2 - 9*x + 9. Suppose f - 48 = -f. Suppose 0*a - f = -3*a. Let c be u(a). Does 1/6 = c?
False
Let y be (6/5)/(8/20). Suppose -4*z + k = -4*k - 45, y*k - 54 = -3*z. Which is bigger: 17 or z?
17
Suppose 2*p + 3*p + 2*k = 37, -4*p = 5*k - 33. Let j = -5 + p. Let g be j + 3 + -4 + 2. Is 4 at least as big as g?
True
Let b = -1589.1 - -1589. Do b and 11/6 have different values?
True
Suppose -2*m + 54 + 144 = 0. Let y = m - 301/3. Let r = y + 49/30. Which is greater: r or -1?
r
Let r = 15 - -69. Is r at least as big as 0?
True
Suppose 12*n - 4*t = 16*n - 32, 5*t = 0. Which is greater: 9 or n?
9
Let n(s) = s. Let z be n(2). Suppose o - z*o - o = 0. Which is greater: o or -4/13?
o
Let o = 0.6 + 10.4. Let v = o - 15. Let i = v + 7. Which is bigger: -3 or i?
i
Let w = -58 + 64. Let s(l) = l**3 + 12*l**2 - 10*l + 10. Let p be s(-12). Suppose -p = -w*r + r. Do 26 and r have the same value?
True
Let o be 1 + 30*3/(-34) - -2. Let m = -1/51 + o. Which is smaller: m or -1.1?
-1.1
Let c(s) be the third derivative of s**5/30 + s**4/12 - 7*s**3/6 + 14*s**2. Let z be c(2). Which is bigger: 2 or z?
z
Suppose -68*n = -62*n. Which is smaller: n or -0.081?
-0.081
Suppose 3*w = 10*w - 28. Suppose 0 = -f - w*c + 59, -7*c = -2*f - 6*c + 145. Are f and -1/3 unequal?
True
Suppose b - 2*b + 144 = 4*x, 0 = 3*x + 4*b - 95. Suppose -31 = 3*z - x. Is 10 at most as big as z?
False
Let t = -4/51 - 2789/204. Is 2/9 greater than t?
True
Let l = 3 + -2. Let a(t) = t**2 + 9*t + 1. Suppose -12 = 2*p + 2*q, -p - 6 = -2*p - 5*q. Let f be a(p). Is f smaller than l?
False
Let x(s) = -s**3 + 11*s**2 - 16*s - 1. Let a be x(8). Let n = -10 + 9. Which is bigger: a or n?
a
Let c = -33283/20 - -1665. Do 2 and c have different values?
True
Let q be (-42)/98 + (-67)/7. Let m(d) = -6*d - d**2 - 3*d - 2 + 0. Let l be m(q). Are -11 and l equal?
False
Let y be (32/(-12))/((-2)/12). Suppose -n - 13 = 5*u, -4*u - u = 2*n + y. Suppose 0 = -4*b - 20, 5*b - 1 = -x - 29. Is n less than x?
False
Let z be (-3 - -4) + 8/4. Let x be (-2 + 0 + z)*0/2. Which is smaller: x or 3/53?
x
Let f = -50 - -50. Is f at least 2/63?
False
Suppose 0*s - 56 = -4*s. Let g be (-35)/s*(-2)/(-10)*-86. Which is greater: 45 or g?
45
Let p(i) = i + 15. Suppose -r + 3 - 9 = 0. Let a be (r/4 - -2)*-30. Let k be p(a). Is k != 5?
True
Let i(u) = -u + 18. Let g be i(31). Is g > -16?
True
Let p = 61998 + -1299770/21. Let u = -938/9 + p. Which is greater: 0 or u?
0
Let g = 25 + -2. Let p = g + -37. Let d be (-22)/26 + p/91. Which is smaller: -6/5 or d?
-6/5
Let p = 64 + -29. Suppose 81*l - 80*l = 36. Which is bigger: l or p?
l
Suppose -4*g = g + 40. Let f be 102/g - 3/(-12). Suppose -2*k + 37 = -3*v, 15*v - 17 = 16*v + 4*k. Is v equal to f?
False
Let r = -17.44 - -17.5. Which is greater: r or 7?
7
Let g = 82 - 81. Let j(a) be the second derivative of a**5/20 + 3*a**4/4 + a**3/6 + 4*a**2 - 2*a. Let d be j(-9). Is d at most as big as g?
True
Let s be -4*3/(-26 + 2). Is s greater than 73/2?
False
Suppose 40 = -15*w + 10. Which is smaller: 176 or w?
w
Let m(r) = 3*r + 3. Let u be m(-5). Let w be -15 + 1*(1 - 0/8). Is w at most u?
True
Let o(p) = -2*p**3 - 207*p**2 - 700*p - 1. Let z be o(-100). Suppose -2*k = -2 - 0. Let d = k + -1. Is d smaller than z?
False
Let w be 42/(-84) + (-18)/(-20). Which is greater: w or -800?
w
Let q = 678437450/477 - 1422297. Let k = 17509 - 928010/53. Let r = k + q. Is r less than or equal to 4?
True
Let k = -4.6 + 45.6. Let b = -39 + k. Which is bigger: 28 or b?
28
Let h = 2/21 - 67/483. Let u = h - 0. Which is smaller: 1 or u?
u
Suppose 0 = 22*j - 19*j - 51. Suppose -16*l = -j*l. Let s be ((-2)/18)/((-10)/105). Which is bigger: s or l?
s
Suppose -856 = -0*k - 5*k - i, -i - 512 = -3*k. Which is smaller: k or 173?
k
Let z be 12/(-95)*75/30. Let y = z - -49/95. Is -9/7 less than y?
True
Suppose -z - 3*x = 2*z + 117, 3*z = 4*x - 82. Suppose -3*p + 39 = -77*s + 76*s, -5*p + 175 = -5*s. Is z smaller than s?
True
Let u be 1/(-534)*(81/(-18) + 3). Which is bigger: u or 0?
u
Suppose 3*m - 3*a = 3, 3*m + 2*a - 11 = -13. Does 2 = m?
False
Suppose 2*c + 3*z + 52 = 0, 5*c = 2*z + z - 172. Let b = c - -8. Which is bigger: b or -23?
-23
Let f = 133/135 + -5/27. Suppose -10 + 10 = -6*x. Is f at least as big as x?
True
Suppose -136 + 144 = -8*k. Are 6 and k nonequal?
True
Suppose -4*u - 5 + 1 = 0. Let d = -10/23 - -107/299. Is u equal to d?
False
Let a = -55 + 54.73. Let b = 0.27 + a. Which is bigger: b or -0.1?
b
Suppose 2*s - 5*q = 5 - 17, -3*s - 2*q + 1 = 0. Is -40 <= s?
True
Suppose 0 = 4*q - 2*y + y - 24, 0 = -3*q + 3*y + 18. Let c be (1*3)/(q/(-40)). Let n be (18/5)/(178/(-890)). Is c at least n?
False
Suppose -3*z + 40 = -5*z. Let b be -4 - (112/z + 2). Does 1.3 = b?
False
Let d = -1736 + 1737. Is 6/565 < d?
True
Let h = 1 - -3. Let o = 74 + -71. Suppose -o*d = -h*x - 7*d, -2*x = d + 1. Which is bigger: x or 0?
0
Let p be (6/(-4))/((-21)/154). Let m(f) = -f**2 - 24*f - 114. Let n be m(-8). Which is greater: n or p?
n
Let s be (-2)/3 + (-110)/(-165). Let r be (2/1 + 1)*1. Suppose s = r*k + 2 + 25. Are -7 and k equal?
False
Suppose 3*j - 64 + 17 = -2*z, -55 = -3*j + 2*z. Let v be 36/(-10)*(-6 - -1). Which is smaller: v or j?
j
Let k = -15.2 - -15.3. Is -9.5 greater than k?
False
Let g be (4 - (-40)/(-12))*(-1)/(-2). Are -0.002 and g equal?
False
Let v = 13 - 9. Suppose -5*s - q + v*q = -50, s = 5*q + 32. Suppose -5 + s = 2*l. Which is bigger: l or 5/4?
5/4
Let n = -10804 - -10803.9. Let p = 8 - 8.12. Is p greater than or equal to n?
False
Let s = -2663 - -2543. Is s < -116?
True
Let h be (-34)/85 - (664/(-10) - 1). Let u = 23 - h. Which is greater: -43 or u?
-43
Let o be ((-236660)/15)/1*(-1)/(-48). Let d = o - -1297/4. Which is greater: -3 or d?
-3
Let a(f) = 3*f**2 - 8*f - 3. Let n(r) = -r**3 - 2*r**2 + 2*r + 3. Let k be n(-3). Let d be a(k). Let q be (-6)/27 + d/135. Are q and 2/5 nonequal?
True
Let q be 5/10*(-21)/9. Which is bigger: -2 or q?
q
Let z be ((-98)/(-84))/(1/2). Which is smaller: z or -4?
-4
Let v = -3742/5 + 748. Which is smaller: v or -232?
-232
Let l = -19 - -25. Let a = -8 + l. Let g be (a - 0) + 4 + -2. Is g greater than -1/5?
True
Suppose b = f - 12 + 57, 2*f = b - 44. Is b less than or equal to 49?
True
Let g be 20/7 + (0 - 2). Let a be (-1 - 4) + 19/(38/12). Which is smaller: a or g?
g
Let t be (300/45)/(94/1038). Let p = -83997/470 + t. Let w = 105 + p. Is 1/2 bigger than w?
True
Let b be (-2508)/(-110)*10/3. Let d be (-2)/3 + (-28)/(-6). Let g be 1/d + (-11)/b. Which is greater: g or -2/11?
g
Let w(m) = -2*m - 3. Let k be w(-2). Suppose n - 3*n = -3*t + 9, 3*n - 5*t + 16 = 0. Let u be 1/n*18/(-14). Which is smaller: u or k?
u
Let m(d) = d**3 + 9*d**2 + 4*d + 7. Let v be m(-9). Let j = -33 - v. Which is greater: j or -13/3?
j
Let s(f) = -f - 6. Let u be s(-3). Let k be (-6)/(-8) + 14560/(-6272). Is k > u?
True
Let f = 160 + -159. Which is greater: f or -5/19?
f
Suppose -y = 4 + 1, 4*h + 81 = -y. Which is greater: -91/5 or h?
-91/5
Suppose 6*r - 2*r = 8*r. Let u = -3 - r. Are 0.1 and u nonequal?
True
Let f = -208 - -200. Is f <= -33/5?
True
Let p = 5607/200 + -429/25. Is 12 >= p?
True
Let m = -1.5 + -3. Let r = -3.9 - m. Is -2 at most as big as r?
True
Let n(l) = 3*l**2 + 4*l + 1. Let 