2*x + 216 - z. Is 7 greater than or equal to x?
False
Let i(r) = r**3 + 3*r**2 - r + 6. Let j be i(0). Let a be (((-16)/j)/(-2))/((-2)/(-6)). Suppose 5*n = -5*q + 100, a = -5*n - 1. Which is greater: q or 18?
q
Suppose 5*q + 8*w = 99, 3*q + 2*q + 5*w = 90. Suppose 10 = -5*s + 25. Suppose -s*a = -5*d + 45, -3*a + 16 = 2*d - 23. Which is smaller: d or q?
d
Let a = -1.3 + 1.524. Let s = -0.046 - a. Let r = -4.73 + s. Is 0.4 > r?
True
Let j = 0 - 5. Let y(t) = -4*t - 13. Let w be y(j). Suppose 2*z = -3*i + 1, -2*z + 4*i = -3*z - w. Which is greater: z or 2?
z
Suppose -5*x + 2*n - 8 = 0, -3*x + 2*n = 3*n + 7. Let k(b) = 8*b**2 - b - 6. Let d be k(x). Suppose -w + 2*w = -d. Is -88/3 equal to w?
False
Let i be (-53)/((-1)/2*1). Let o = i - -146. Let q be o/28 - ((0 - -1) + 0). Which is bigger: 9 or q?
9
Let z = 1.876 + 0.469. Let t = -2.39 + z. Is 0.1 smaller than t?
False
Let z(m) = m**3 + 29*m**2 - 9492*m - 1. Let w be z(-113). Let p(c) = -c**3 - 2. Let r be p(-2). Let g be r/4*4/(-243). Is g smaller than w?
False
Let t = -6352 - 4719. Which is smaller: 1/2 or t?
t
Let r be (3 - -9) + -5 + (-2508)/357. Which is smaller: r or 0?
r
Suppose -5*k + 3 - 28 = -5*w, -4*w - 2*k + 20 = 0. Suppose 0 = 3*t + 3, -w = -r + 2*t + t. Suppose 3 = -r*l - 1, 0 = -b + 4*l + 8. Which is bigger: 1 or b?
1
Let w(h) = -149*h - 1342. Let d be w(-9). Is d smaller than -92/113?
True
Suppose 4*t = 4, 0 = 4*d - 9*d - 3*t - 202. Let n be (-3)/(18/(-121)) - d/246. Suppose 33 = 2*c - 9. Which is smaller: n or c?
n
Suppose -5*l + d + 904 = 0, 23*d - 20*d + 359 = 2*l. Which is smaller: 183 or l?
l
Let h(v) = -v**2 - 11*v - 26. Let y be h(-6). Let t be 294/y - 63/42. Which is bigger: 71 or t?
t
Let j = 1336 - 805. Do 531 and j have the same value?
True
Let z = -13288 - -11695. Which is bigger: -1598 or z?
z
Let f(c) = 3*c**2 + 22*c - 34. Let w(k) = 2*k**2 + 15*k - 23. Let s(r) = 5*f(r) - 7*w(r). Let y be s(-12). Suppose -y = -6*a + 3*a. Is 26 bigger than a?
True
Let f be (284984/20363)/(-14) - (-3 + 2). Is f less than -1?
False
Suppose r + 8 = 3*r. Suppose -2*a + 6 + r = 0, 4*i + 21 = 5*a. Let z = -28761 - -201331/7. Is i >= z?
True
Let v be (-23)/(-14) + 0 - -1. Let y(h) = -2*h**3 - 37*h**2 - 117*h + 128. Let r be y(-14). Are v and r nonequal?
True
Let d = 36.07 - 36.27. Is d at least as big as -7/66?
False
Let c be 3399/210 + -4 + 0. Let o = -79/10 + c. Let s be 2/(-2 + (-8)/(-3)). Is s less than or equal to o?
True
Suppose 2*d - 34*l + 35*l - 2174 = 0, 0 = -3*d - 3*l + 3264. Let h = -79280/73 + d. Which is smaller: h or 1?
h
Let x = 192 - 202. Let n be 2/3*((-5)/x - 2). Which is smaller: n or -2/45?
n
Let r(f) = -f**2 + f - 1. Let x be r(3). Suppose -d - 99 = 35*w - 40*w, 4*d = -w + 24. Suppose 58*y - w*y = -190. Which is greater: y or x?
y
Let u(t) be the first derivative of -t**2/2 + 8*t - 15. Let n be u(9). Let d be (-2 - 36/(-16))*0/n. Is 4/13 <= d?
False
Let t(u) = u**3 + 5*u**2 - 32*u - 549. Let i be t(-15). Is i greater than -9275/4?
False
Let t(c) = c**3 - c. Let y be t(1). Let q = 105 + -103. Suppose -72*a + q = -74*a. Which is greater: y or a?
y
Let u = 4851/10 - 2484/5. Which is smaller: u or -2?
u
Let l be 118/4*2/3. Let y be (-8)/(-3)*(264/16)/11. Suppose 46*u - y*r - 23 = 45*u, 4*u + r = 75. Which is bigger: u or l?
l
Let o(y) = -y**2 + 17*y - 1. Let d be o(17). Let u = -33 + 42. Let x be (10/(-615))/(6/u). Which is greater: x or d?
x
Let i = -0.359 - 252.641. Let a = i - -253.081. Which is bigger: 2/3 or a?
2/3
Let r be 1 - -290 - (4 - 18/6). Suppose r*i = 293*i + 294. Which is bigger: -97 or i?
-97
Let g = -1/2439 + -18991/1270719. Which is smaller: 0 or g?
g
Suppose -6*k = -5*r - k + 165, -3*r = k - 99. Suppose x + 3*i + r = -44, -2*x - 151 = 5*i. Which is smaller: x or -70?
-70
Let k be 8/(-6)*(-150)/200. Let y be ((-6)/(-24))/(2 - k). Are 322 and y non-equal?
True
Let m be 28/(-294)*6*(-4)/(-20)*65. Let k = 7 - 14. Which is bigger: m or k?
k
Let u(v) = -v**2 + 33. Let z be u(-9). Let n(l) = -l**3 + 9*l**2 - 5*l - 3. Let c be n(9). Is c less than or equal to z?
True
Let p be 24/(3 + -4) + 2. Let r = p - -18. Let u be (-2*(-2)/4)/(-4). Which is greater: u or r?
u
Let l = 1475.3 - 1452.302. Let x = 23 - l. Let q = x + 0.058. Which is smaller: 1/3 or q?
q
Let z be (63243/420)/(3 + 3 - 3). Let m = 201/4 - z. Suppose -2*r - 3*v = -0*v - 10, 3*r = 3*v - 15. Which is smaller: r or m?
r
Suppose 808 = 16*b - 20*b. Let r = 201 + b. Let c be 2/4*(-4)/19. Which is bigger: r or c?
c
Let x be (-9)/(-6)*160/(-6). Let f = -40 + x. Let b = f + 115. Which is smaller: b or 36?
b
Let b be 8 - 2*(3 + -2). Suppose -2*u + 4*m + 22 + 28 = 0, 0 = 3*u + 5*m - 64. Let p be u/3 - (-355)/(-213). Is b > p?
False
Let a(w) = -10*w + 72. Let x be 5 + ((-3)/1 - -1*4). Let l be a(x). Is 14 at least l?
True
Let m(a) be the first derivative of a**6/360 - a**5/8 - 13*a**4/12 - 4*a**3/3 + 8. Let q(b) be the third derivative of m(b). Let g be q(16). Is g >= -7?
False
Let n = -2.978 + 2.956. Which is bigger: n or -1.6?
n
Let n = 8215.408 + -8217. Is n smaller than 3?
True
Let p = 8.53 + -7. Let z = p + -1.13. Do z and -39 have different values?
True
Suppose 5*n - 3*p = -54, 2*p = -3*n - 0*n - 21. Let a = -2 + -27. Let t = a - -20. Is t < n?
False
Let k = 0.07 - 0.37. Let r = -24458 - -24504. Which is greater: k or r?
r
Suppose -11*c - 102330 = -5*c. Let o be (3/2)/((-261)/c). Let y = 98 - o. Which is smaller: 1 or y?
y
Let x be (-332)/(-16) - (-8)/(-16). Which is greater: 21 or x?
21
Let w = -26 - -43. Let t be 17/((-147)/1862*(-2)/(-3)). Let f = 339 + t. Which is bigger: w or f?
w
Suppose 0 = 690*s - 650*s + 94080. Does s = -2350?
False
Let p = 0.01761 - -266.88239. Which is bigger: p or -0.1?
p
Let g = 422 + -407. Let i(o) = o**2 + 8*o - 10. Let q be i(3). Which is smaller: g or q?
g
Let k(u) be the third derivative of 71*u**4/24 - 2*u**3/3 - 3*u**2. Let m be k(4). Let y be (-46)/m - (3 - (-80)/(-25)). Which is greater: -1 or y?
y
Let q = -1/18 + 1/6. Let o = 1.18 - 1.34. Let v = 0.04 - o. Is v >= q?
True
Let a(j) = 9*j - 35. Let k be a(7). Suppose -42 = -2*v - k. Which is smaller: -3/5 or v?
-3/5
Let b(z) = 33*z**3 + 4*z**2 + 39*z - 101. Let u be b(-6). Is -7320 equal to u?
False
Let n(o) = -7*o. Let z be n(-1). Suppose -5*t + 27 = 5*p - 3, 0 = -2*t + 3*p + z. Suppose -20 = t*m - 4*d, -4*m + 6*d - d - 25 = 0. Does m = 2/197?
False
Let n be 2/34 - (-1122)/578 - 7. Which is smaller: 70 or n?
n
Let s = -69 - -72. Let b be (4/s)/4 - (-2074)/(-6834). Let l(u) = -u**3 - 2*u**2 + 2*u - 3. Let g be l(-3). Is g less than or equal to b?
True
Suppose 10*u + 1806 = 53*u. Suppose 316 = 5*j + 44*v - u*v, 3*v = 3*j - 177. Let h = 2 - 0. Which is greater: h or j?
j
Let v(y) = -y**3 - 19*y**2 + 17*y - 50. Let x be v(-21). Let g = x - 1075/2. Is -64 < g?
True
Let l = -215 - -211.7. Let s = 24 - 24.2. Which is greater: l or s?
s
Let m be (-2)/3*(231 - (1 + -1)). Which is bigger: -160 or m?
m
Let a(r) = 75*r + 109. Let l be a(-3). Is -820/7 not equal to l?
True
Let z(b) = 2*b + 1. Let u(w) = 6*w + 4. Let y(h) = -4*u(h) + 11*z(h). Let i be y(-5). Suppose 3*c - a = 5, i*c - 2*a - 7 - 3 = 0. Is 54 less than or equal to c?
False
Let d = -33102 - -33102. Let k = -1088 + 38084/35. Which is bigger: k or d?
k
Let n = -18.128 + 16.341. Does n = 2?
False
Suppose -34*x + 30*x = 176. Let r = x - 6. Let o = 55 + r. Is 6 <= o?
False
Let h(x) = x**3 + 3*x**2 - 3*x**3 - 4 + 2*x + x**3 + 3*x. Let v be h(4). Which is greater: v or -17/15?
v
Let v = 33 - 47. Let d = 281 + -294. Which is bigger: v or d?
d
Suppose -5*n + 4*n + 44 = 0. Suppose 0 = n*z - 7*z - 4440. Is 119 > z?
False
Let f = 260 + -143. Suppose 2*d - b = -224, f = -d - 0*d + 3*b. Let z = -112 - d. Which is smaller: z or -18/19?
z
Let x(y) be the third derivative of 17/6*y**3 + 0 - 1/60*y**5 + 0*y + 38*y**2 - 7/24*y**4. Let r be x(-9). Is -12/23 not equal to r?
True
Let t = -7137554/577905405 + -2/446259. Are -1 and t equal?
False
Let k(c) = 5*c - 5*c**2 + c**3 + 4*c**2 + 2*c**2 - 4 - 4*c**2. Let d be k(2). Let g = 551 + -549.4. Which is bigger: d or g?
d
Let y = -0.263 + 0.71. Let d = y + -0.347. Which is bigger: 129 or d?
129
Let h be -3 - -8156*(-1)/28. Is -293 <= h?
False
Let b be (-5)/(-35)*28/3856. Let m = 7731/18316 - b. Let z = -1 + 1. Is z bigger than m?
False
