= -2*c + 35 - c - 4*c - 2. Let o be s(7). Is o greater than or equal to -17?
True
Let f be ((-344)/(-40))/((-1)/5). Which is smaller: -297/7 or f?
f
Let g = -0.51 - 39.49. Let s = g - -40.04. Which is smaller: s or -3/2?
-3/2
Suppose x = -5*t + 53, 3*x - 65 = -5*t + 8*x. Is 16 not equal to t?
True
Let y be ((-3)/(-68))/(3 + (-62)/8). Let w = y + -111/323. Is w > -1?
True
Let q = 1 + 1.2. Let a = 0.8 + q. Let v = a - 3.2. Which is smaller: 2 or v?
v
Let d = -116/3 + 121/3. Is d <= 3?
True
Let z = 133 - 132. Which is bigger: z or 1/178?
z
Suppose -3*k + 5*s + 922 = 0, 10*k - s = 8*k + 603. Are 300 and k equal?
False
Let u be ((-1)/(-51))/(34/(-714)). Which is greater: u or -1?
u
Let b(j) = -2*j**2 - 29*j - 132. Let t be b(-6). Which is smaller: t or -28?
t
Suppose -6*u - 12 = -3*u. Let d = u - -4. Suppose d = -y - 3*j + 25, -17 - 38 = -3*y + j. Is 19 less than y?
False
Let b be 21*-4*(-2)/(-6). Suppose -13*g - 207 = 170. Which is smaller: g or b?
g
Let p be (-1)/4*-1 + (-820)/2640. Do p and -1 have different values?
True
Let m(g) = g**3 - 5*g**2 + 6*g - 4. Let u be m(4). Suppose -u*z + 9 = -t, z - 16 = -4*t + 4*z. Which is greater: 27/4 or t?
t
Let q = -26 - -29. Suppose -q*d = -8*d. Is d greater than -3/4?
True
Let i(p) = 50*p**2 + 13*p - 7. Let h be i(-2). Is 168 < h?
False
Let m = -166 - -157.24. Let v = 9 + m. Which is smaller: -1/2 or v?
-1/2
Let v = 0.257 + -3.957. Which is smaller: v or 0?
v
Let z = 3.277 + 0.323. Which is greater: 1 or z?
z
Let c be (180/16)/(-9) - -1. Suppose -63*q = -60*q + 54. Which is greater: q or c?
c
Suppose 0 = -4*d + 32 + 104. Which is smaller: d or 32?
32
Suppose 495*o - 494*o + 28 = 0. Which is smaller: -190/7 or o?
o
Suppose -5*w - 5*w - 210 = 0. Suppose -o - 12 = -0*o + 3*n, o - n + 24 = 0. Let g = w - o. Is g not equal to -2/23?
True
Let g be (-410)/(-4)*(-32)/40. Let l = g - -45. Which is greater: -36 or l?
-36
Suppose -595*m = -589*m - 1326. Is 221 equal to m?
True
Let q = -30.2 + 30. Let f = 122.4 - 121. Which is greater: q or f?
f
Let k(i) = -5*i + 135. Let l be k(27). Which is smaller: l or -21/16?
-21/16
Let j = -273 - -1423. Let t be (-8)/48 - j/12. Let d = 671/7 + t. Which is smaller: d or -1?
-1
Let p be (2 + 1)*(-236)/826. Which is bigger: 18 or p?
18
Let k = -1729 - -129677/75. Let u = k + -79/150. Is 28 <= u?
False
Let c(b) = 17*b**2 - 2*b - 1. Suppose 3*s - 6*s - 6 = 0. Let z be c(s). Let y = z - 139/2. Which is greater: 3 or y?
3
Suppose 3*n - 12 = 4*a, 0 = -4*n + a + 3*a + 12. Is n bigger than -2/2621?
True
Let w = 18 + -19.06. Let j = w - -0.06. Which is bigger: j or 0.4?
0.4
Let f = 90 + -89.998. Let k = -0.098 - f. Which is greater: k or -11?
k
Let r be 3/(-2)*(-12)/(-9). Let k be r/(-15) - 1736/14595. Are k and 0 non-equal?
True
Suppose -13*w + 14 = 1. Is w less than -1/82?
False
Let h = -3 + 3. Let z = 23 - 22. Let c be ((-3)/z)/((-6)/(-3) + -1). Which is greater: c or h?
h
Let d = -40 + 29. Suppose -3*s + t + 4*t + 3 = 0, 6 = -s + 4*t. Suppose 11*f - s*f = -50. Which is greater: f or d?
f
Suppose -9 = -5*t + 11. Suppose t*d = 5*d - 6. Suppose d = 3*x + 12. Is -3 <= x?
True
Let z be 196/2205*3/(-16). Which is bigger: z or 1?
1
Let d = 61.1 + -145.1. Is 0 at most as big as d?
False
Let v be ((-2)/17)/(14 - 16). Suppose -5*i = -0*i - 45. Is i at most as big as v?
False
Let v = 78 + -56. Let k = -19 + v. Suppose o - 5*m = -0*m + k, 3*m - 7 = 5*o. Are o and -14/9 unequal?
True
Let b = -40 - -40.38. Let r = b - -1.62. Is r > 5?
False
Suppose 4*i + 1991 = x, -26*i + 24*i - 999 = 3*x. Which is bigger: i or -497?
-497
Let o(w) = -w**2 + w - 18. Let u be o(0). Let s = 19 + u. Which is smaller: 3/10 or s?
3/10
Let h(v) = 7*v**3 + 4*v**2 + 6*v - 17. Let z be h(2). Which is smaller: 74 or z?
z
Let a = 1801.014 + -1801. Which is greater: 24 or a?
24
Let a = -20.42 + -1349.58. Which is smaller: a or 1/3?
a
Let p = 0.23 - 0.71. Let d = p + -0.02. Is d < 0.1?
True
Suppose 10*n = -9*n + 4598. Is 241 greater than or equal to n?
False
Let r(s) be the second derivative of s**3/3 - 9*s**2/2 - 3*s. Let n be r(7). Suppose i - n*o = 26, -2*i - 4 = 4*o + 14. Are i and 2/15 unequal?
True
Let m = 2008 - 2007. Is -71 smaller than m?
True
Let a be (-7)/14 - 1098/(-2244). Is a less than 0?
True
Let t = -111 + 46. Let m be (-2 - -3)/(5/t). Is -15 greater than or equal to m?
False
Suppose -150*a + 147*a + 32 = -4*v, 4*a - 36 = 4*v. Is 36 less than v?
False
Let g = -77 - -76. Are g and 1/44 non-equal?
True
Let t = -45 - -27. Let j = -10 - t. Which is smaller: j or 1?
1
Let p be 42/(-18) - ((-56)/(-21) - 3). Which is smaller: -28/45 or p?
p
Let m = -6 - -10. Let a be -2 - (-6)/(m/2). Let p be (0 - -2)/(1 - (-15)/1). Is p bigger than a?
False
Suppose 7*o + y - 363 = 4*o, 0 = 4*o + 4*y - 476. Are 124 and o nonequal?
True
Let a(r) = 4*r**2 - 20*r + 86. Let x be a(10). Which is smaller: 283 or x?
283
Let l = -500 + 472. Which is bigger: l or -22?
-22
Let v = -0.61 + 0.3. Let j = v - 0.07. Let a = j + 6.38. Is a not equal to -0.1?
True
Suppose 2*m - b - 2 = 0, m = 3*m + 2*b - 2. Let o = 4657/218928 - 2/4561. Which is smaller: m or o?
o
Let f = -1693 - -973. Let b be 5/(-3) + 1 + f/(-918). Which is smaller: -0.2 or b?
-0.2
Let y be ((-10)/(-15))/(-2)*-66. Suppose -2*c + 3*q = -44, 2*c - 2*q - 22 = c. Do c and y have the same value?
True
Let o = -13/2 - -69/10. Let c be (-4)/(-6) + (-90)/(-27). Let w be 2/(-8) + (-1)/c. Is o less than or equal to w?
False
Let v be (288/(-8))/(-9) + -422. Which is bigger: v or -417?
-417
Let z = 27 - 15. Suppose 4 + z = 4*d. Suppose -12 = 4*o, 3*c - d = -o - 1. Is 0.2 at least c?
False
Let v = 24/19 + -198/247. Suppose -3*s + 5 = 5*j + 2, -4*j + 3*s = -24. Suppose -2*i = -5*g - 7, 2*g + 3*g = j*i - 8. Is v less than i?
True
Let w(z) = 32*z - 21. Let r be w(3). Do r and 75 have different values?
False
Let i(x) = x + 8. Let v(d) = d + 7. Let z(p) = 5*i(p) - 6*v(p). Let w(n) = -n**3 - 8*n**2 - 10*n - 22. Let b be w(-7). Let h be z(b). Are h and -3/4 nonequal?
True
Let u = -9364556136/1393 + 6722582. Let t = u - -1/199. Do t and -1 have different values?
True
Let k be (-18 + 0)*(-78)/1300. Which is bigger: 1 or k?
k
Suppose -2*t - 1 = 3*b, 4*t + 0*t = 2*b - 10. Which is smaller: 5/22 or b?
5/22
Let v be (-342)/(-2)*(7 - 8). Is v > -171?
False
Let z be 4/(-1) - (-21 - 7). Let t = 25 - z. Is t at least as big as 1?
True
Let c(l) = 2*l**3 - l + 5 - 3*l**2 - 2 + 0*l**3 - 3*l. Let g be c(3). Let i = 17 - g. Is 2/7 > i?
True
Suppose c = 9*c - 56. Suppose -3*r = -c*r + 4. Is r at most as big as 1/24?
False
Let r(u) = 10*u + 16. Let j be r(7). Let s = -94 + j. Is -9 less than s?
True
Suppose 13*c - 7 = -x + 11*c, 0 = -5*c + 15. Which is bigger: x or 3/835?
x
Let u(m) = m**3 + m**2 - m + 4. Let j be u(0). Suppose -2*n - j = -6*n. Let q be -4*(-16)/80*(-10)/(-14). Is n != q?
True
Let u = -0.19 + 0.1. Let k = -2.09 - u. Let d = -418 + 1258/3. Is k less than d?
True
Let o be (8/(-24))/(3/387). Let l = -54 - o. Which is bigger: -9 or l?
-9
Let k(x) = x**3 + 9*x**2 + 9*x + 11. Let s be k(-8). Suppose -4*m - 5*y - 6 = -s*m, m = -y - 2. Let w = 821/126 + -46/7. Is w at most m?
False
Let q be -1 + 2/((-30)/(-13)). Let i be (-14)/21*6/4. Which is smaller: q or i?
i
Let l = 16 - 16. Let b be -3 - l - 35/(-10). Which is smaller: 0.03 or b?
0.03
Let f(s) = 15*s**2. Let l be f(1). Let z be (554/186 - 3)/((-5)/l). Which is bigger: -1 or z?
z
Let d = -18 - 12. Let r = 30.2 + d. Is 5 at least as big as r?
True
Suppose 5*s + 103 = -p, -p = 4*s + 3*p + 76. Let x = 7 + s. Let w be (2/(-6))/(x/126). Are w and 3 equal?
True
Let b = -5 + -9. Let s = 13 + b. Which is bigger: 2/123 or s?
2/123
Let a be -4 - ((9 - 13) + 1). Is 3/443 > a?
True
Let w be 1 + ((208/188)/1)/(-1). Is w >= 1?
False
Suppose 2*f = -2*f - 256. Let d = 194/3 + f. Let w = -0.765 + -0.035. Which is smaller: w or d?
w
Let r = 1.9 + 3.1. Let g = r + -8. Let p = g + 1. Are p and -0.2 non-equal?
True
Let o = 0.2 - 0.1. Let v = 0.0198 - 16.0198. Which is bigger: o or v?
o
Let p(z) = 2*z**2 + 13*z + 1. Let a be p(0). Does 3/334 = a?
False
Let g be -1 + 448/42*(-6)/(-2). Which is smaller: g or 92/3?
92/3
Let v(o) = 2*o**2 - 2. Let j(m) = -m**2 - 5*m + 4. Let d be j(-6). Let h be v(d). Let g be -2 + 5/(10/h). Which is greater: g or -1/3?
g
Let k be 17217/54*1 + 2/1