71 = -34. Is m <= 0?
False
Let q = -0.12 - -0.92. Let f = -44.4 - -45. Let l = q - f. Which is smaller: l or -5?
-5
Let p = 0.295 - 639.295. Is -0.1 >= p?
True
Let t be (-2 - 117/6)*2. Let m = t + 18. Let u = m + 12. Is -13 bigger than u?
False
Let z be (310/(-93))/((-16)/(-3)). Which is greater: z or -1.2?
z
Let n be (((-24)/32)/(3/8))/(-2). Which is bigger: n or 79?
79
Let q = -19 + 16.1. Let v = 3.14 + q. Let j = 0.14 - v. Which is smaller: -1.2 or j?
-1.2
Suppose 0 = 2*w + w - 3. Let b = -5 - -4. Let s be -1 - b - (-4)/(-16). Is s at least w?
False
Let y be ((-3)/(-9))/(3/(-18)). Let b be y/7 - (-1350)/21. Let j = -446/7 + b. Is -16 > j?
False
Suppose q = 4*q + 4*o + 17, -q - 9 = 2*o. Which is smaller: q or -1/445?
-1/445
Let p = -23 - -24. Suppose 0 = b - p - 9. Suppose 4*r - b = -s + 18, 5*s = 2*r + 8. Is 8 greater than r?
True
Let u = 1.03 + -3.03. Let m = -2 + 4. Let z = m + u. Does -0.1 = z?
False
Let a = 217.85 + -217. Is a != 2?
True
Suppose -2*t + 116 = r, -43 + 215 = 3*t + r. Suppose -3*w - t = 40. Is -32 equal to w?
True
Suppose 0 = 4*h + 2*b + 10, -2*b = h - 0 + 4. Let w = -1 - -5. Let f(v) = v**3 - 4*v**2 + v - 5. Let j be f(w). Which is bigger: j or h?
j
Let l be 65/(-60) + 6/72. Which is bigger: l or -5?
l
Let r = 15.203 + -1.203. Is r less than 1/13?
False
Let x = 0.78 + -0.811. Let j = 0.019 - x. Let k = -0.7 + -0.3. Which is smaller: k or j?
k
Suppose -5657 = 8*m - 5113. Which is bigger: -8 or m?
-8
Suppose 0 = -5*w - 5*a + 1 + 34, 5*a = -4*w + 26. Suppose 3*y = -i - i + w, 3*i - 10 = -y. Suppose -i*z + 6*z = -4*j + 33, -25 = 5*z. Is j >= 12?
True
Let n = -1.11 - 4.89. Is n bigger than -6?
False
Let x(k) = -k**2 - 6*k + 7. Let p be ((-1)/2)/(9/126). Let f be x(p). Are f and 8 non-equal?
True
Let x(s) = -s**3 - 5*s**2 - 3*s. Suppose -4*m + 9 = 3*y, 0*y = -3*m + 2*y + 11. Suppose 0*a = -m*a - 9. Let u be x(a). Is -10 at most as big as u?
True
Suppose 60 = -5*g + 4*t, 3*t + t = -g - 36. Let i be ((-1)/36)/(6/g). Is i greater than or equal to -1?
True
Let j be (-15 + 6)*(-1)/(-3)*4. Is -1 smaller than j?
False
Let t = 498 + -519. Let c = -0.1 + 0.4. Which is smaller: c or t?
t
Suppose 5*r - 107 = -3*m - 384, -m - 2*r = 94. Is m at least 0?
False
Suppose 11*q - 6*q = 4*v + 570, v = -5. Which is bigger: q or -4?
q
Let j = -71 + 62. Suppose -2*v - b + 93 = -7*v, 0 = -2*b + 6. Let a be -2*v/4*-1. Is j at most a?
True
Let l = -0.6 - -0.2. Let g = 0.5583 - 0.0583. Is g greater than or equal to l?
True
Let g = -13 + -206. Let z(h) = h**2 + h - 4. Let q be z(-3). Let s be (3 - g/(-45)) + q. Which is smaller: 0 or s?
0
Let r be 118/8 + (-27)/36. Suppose -3*k + 9 = -0. Let y be r/(-6) + 0 + k. Which is greater: y or -20?
y
Let p be -2 - ((-6387)/1020 + 4/(-10)). Let y = p + -19/4. Is y less than or equal to 0?
True
Let c = 73/3 - 24. Suppose -2 = -6*d - 8. Let v be (3 - 1)*d + 0 + 3. Which is greater: c or v?
v
Let q be (80/35)/(-8)*(-56)/2. Which is smaller: -6 or q?
-6
Let a be 4/(-2) - (-66)/27. Let h = 259 + -260. Which is greater: h or a?
a
Let c(m) = m**3 - 18*m**2 + 16*m + 18. Let n be c(17). Is -4/15 at least as big as n?
False
Let g = 451 + -450. Suppose -5*j + 0*j + 1 = -y, 5*y = 20. Let x be j/3 + (-7)/(-24). Which is smaller: x or g?
x
Let k(h) be the third derivative of -h**6/120 - h**5/15 - 5*h**4/24 - h**3 - 36*h**2. Let l be k(-3). Is 2/7 at least as big as l?
True
Let i(j) = j - 10. Let w be i(12). Which is smaller: 32 or w?
w
Suppose 2*r - 4*r - 52 = 0. Let w = -143 - r. Let h = w + 943/8. Is h not equal to 2?
True
Let h = -94.004 - -94. Let n = h - 0.006. Is n equal to -1/4?
False
Let p(x) = -18*x + 150. Let a be p(9). Is a at most as big as -17?
False
Suppose 2 = -4*w - 5*x - 25, 5*w = 3*x - 6. Let q be (w + -1 - -98)*4/40. Which is bigger: 9 or q?
q
Let q = -82.6 - -82.6. Which is bigger: q or 70.4?
70.4
Suppose -5*y - 5 - 5 = 0. Let b be -4 + (-38)/36*-2. Let z = 5/9 + b. Is z greater than or equal to y?
True
Suppose 5*c + 15 = 10*c. Suppose -c*s + 7*s = 12. Suppose u = 4*g + 28 - 12, 0 = -2*u + g + 4. Is s greater than or equal to u?
True
Let m(i) = -i**2 + 18*i - 8. Let r be m(18). Is r smaller than -16?
False
Let u be (6/(-9))/(14/28)*-3. Let g = -11 + 19. Let m(q) = -q + 10. Let s be m(g). Do s and u have the same value?
False
Let v = 0.188 + -0.308. Let i = 0.52 + -0.4. Let r = v + i. Are r and -0.01 equal?
False
Let d(w) = w**2 + 5*w + 3. Let o be d(-4). Suppose 0*f + 5*f = -45. Let a be (-3)/7*(10 + f). Which is smaller: a or o?
o
Let o be (-18)/9*(-7 - -6). Suppose -4*k + 0*k - 4 = -5*r, -2 = 4*r + 2*k. Is o less than or equal to r?
False
Let v be (-36)/(7/2 + -2). Let w = -14 - v. Suppose 34 = -4*i - w. Which is smaller: i or -13?
-13
Let j = 448 + -485. Are j and 0.01 nonequal?
True
Let h(w) = w + 5. Let i(a) be the third derivative of -a**4/8 - 3*a**3/2 - 3*a**2. Let f(m) = -5*h(m) - 2*i(m). Let y be f(5). Which is bigger: y or -5/2?
y
Let f = -6.4 + 7.84. Let u = 1.4 - f. Let g = -0.06 + u. Which is smaller: -2/3 or g?
-2/3
Let w(y) be the second derivative of y**4/12 - 4*y**3/3 + 3*y**2 + y. Let a be w(7). Let b = 0 - a. Are b and -8 unequal?
True
Suppose 1 = 4*b + 3*p, 4*b - 2*p + 2 = 8. Let n(x) = -x**2 + 6*x + 9. Let r be n(7). Let d be r/3*(-9)/15. Which is greater: b or d?
b
Suppose 3*c + 3 = -3*x, -x + 5*c - 3 = -2*x. Let i be 8227/76 - x/8. Let m = -106 + i. Which is greater: 2 or m?
m
Let c be 6/(-10) + 3/5. Let j = -0.18 - 0.32. Let i = j + 0.6. Are c and i nonequal?
True
Suppose 2*q - 2*p + 129 = 399, 4*p - 110 = -q. Which is bigger: 127 or q?
q
Suppose -2*p = 2*p - 4. Suppose -z + 2 = -p. Suppose 0 = -z*c - 0*o - 3*o + 15, -2*o - 2 = -c. Which is smaller: c or -2/5?
-2/5
Suppose 3*p + 3*o - 8*o = 13, 0 = -o - 2. Is p bigger than 46/19?
False
Let d = 0 + -0.1. Let m = -0.86 - 84.14. Let s = m + 85.5. Is d at most s?
True
Let i = 1883 + -1877. Do -18/11 and i have the same value?
False
Let u = -329 - -330. Are u and -1/123 equal?
False
Let l = -0.03796 - 44.96204. Let i = -2.1 - -2. Which is smaller: l or i?
l
Let w = 895 - 901. Let r be (-12)/70*(-20)/9. Let q = -247/42 + r. Is w smaller than q?
True
Let s be (586/(-5436) + (-4)/(-36))*-2. Which is smaller: 0 or s?
s
Let o = 5/13 - 28/39. Let f = -2.275 - -2.3. Let x = -1.975 - f. Is x < o?
True
Let h(j) = -81*j - 6. Let f(b) = 41*b + 3. Let n(k) = 5*f(k) + 3*h(k). Let l be n(2). Is l smaller than -79?
False
Let v = 30 + 10. Let q be 3/(v/44 - 1). Which is greater: -32 or q?
-32
Let x be 2184/(-588) + (-4)/14. Suppose -2*n - 3*n - 20 = 0. Is n < x?
False
Let m(r) = r**2 - r - 8. Let p(l) = -2*l + 1. Let v be p(-2). Let o be m(v). Let w be 7/o + (-11)/(-44). Which is smaller: 2 or w?
w
Let x = 434/255 - 80/51. Let u = 6 + -5. Which is greater: x or u?
u
Suppose 2*c + 5 = 5*a, -c - 2*c - 1 = -a. Let g be 66/(-9)*a/2. Which is smaller: g or -1/2?
g
Let r be ((-3)/(-4)*-2)/((-2)/12). Suppose -n = -2*c - 5, -r + 2 = 3*n + 5*c. Which is smaller: 10 or n?
n
Let m be 5 + -4 + (-28 - 2 - 2). Is -29 at most as big as m?
False
Let u = 0.915 + -38.215. Let k = u - 0.7. Is 0 not equal to k?
True
Let a = 15 + -11. Let t = a + -6. Suppose 6 = 3*c, 2*c - 4 = 2*r + c. Which is bigger: t or r?
r
Let d be (31/124)/(((-3)/(-12))/1). Is 2/41 < d?
True
Let t(h) = h - 14 - 1 + 3*h + 0*h. Let w be t(5). Suppose 0 = 5*l - w*x - 10, 12 = 5*l - 4*x - 0. Is 24/5 > l?
True
Suppose -2*r - 3*t + 5 = 0, -5*r = -2*t + 1 - 4. Let y be (r/2)/((-2)/(-32)). Which is smaller: y or 7?
7
Let l = -431 + 438. Is l at most as big as 17?
True
Let p = -6.6 + 6.87. Let g = 0.46 - p. Let r = g + -0.26. Which is greater: r or 2?
2
Let g = -0.3 - -4.3. Let q be 2 - (0 + 1 - -1). Let r(z) = z**3 + 2. Let k be r(q). Which is bigger: k or g?
g
Suppose -4*q + 2*p + 28 = 0, q + 6 + 5 = 5*p. Let y be 42/(-8) + 1*5. Is y < q?
True
Let v be ((-6)/(-40))/(2/(-8)). Suppose 4*f - 20 - 8 = 4*g, -12*f - 5*g = 35. Which is greater: f or v?
f
Let k(z) = z - 20. Let i be k(16). Let q = 36 - i. Is 41 less than or equal to q?
False
Let f = 179 + -310. Which is smaller: f or -1/3?
f
Let p = -1 + 1.12. Let a = 0.12 - p. Let x = -181 - -1993/11. Which is smaller: x or a?
a
Let u = 1.27 + -89.27. Which is bigger: u or -5/8?
-5/8
Suppose 5*o = 3*s - 15, -12 = -4*s + o + 8. Suppose 5*t - 9*j - 29 = -10*j, -2*