= -w**2 - w - 2. Let v be z(-2). Let c = -339/65 - -1/65. Which is smaller: c or v?
c
Suppose 63*w = 34*w + 21*w. Is -2/2111 < w?
True
Let g = 0.8 - 1. Suppose -2*s + 56 - 48 = 0. Suppose 2*y + 27 = 2*i - 9, s*i - 3*y - 69 = 0. Which is bigger: i or g?
i
Let i = 815 + -682157/837. Which is smaller: i or -0.2?
-0.2
Let u = 155 + -116. Suppose 3*r - u = 3*l + r, r - 57 = 4*l. Are l and -19 nonequal?
True
Let q be (-14)/21 - (-46)/6. Let a = -2 + q. Suppose -4*s + 4*m = -8, -3*s + 0*s - a*m = -22. Is s >= 0.1?
True
Let g be 0 + 226581/225 + 1 + 1. Let k = g - 1009. Is k smaller than -1?
False
Suppose 2*o + 4*h - 134 = 0, h - 1 - 1 = 0. Let n = o - 43. Let b(z) = 19*z**2 + 1. Let j be b(-1). Does j = n?
True
Suppose n = 3, -r - 30 = -2*n + 9. Let s = r + 4. Which is bigger: s or -30?
s
Suppose 0 = 4*m - 5*l + 2*l + 12, 3*m = -5*l - 38. Let x = m + 10. Suppose 3*o = 3*h - o - 8, -x = 3*h + 2*o. Which is bigger: -1 or h?
h
Let y be ((-225)/(-585))/(2*(-6)/(-4)). Which is smaller: -1/5 or y?
-1/5
Let u = -668/9 + 74. Is -2/7 > u?
False
Let z be 2/(-5) - (-16592)/43180. Which is smaller: z or 3?
z
Let p be 216/28 + 2/7. Suppose p*m - 4*m = -s + 28, 3*m - 3*s = 21. Suppose -3*w = -m*w - 4. Which is smaller: -3/7 or w?
w
Suppose 80*u - 6483 = 3357. Is u bigger than 119?
True
Suppose c = -2*a + 40, 2*a - 2*c - 30 = a. Let u = -18 + a. Suppose 3*b = 11 + 1. Are u and b non-equal?
False
Let n = 26.9 - 18.9. Let s = -3 + 2. Let f = s - -0.9. Which is smaller: f or n?
f
Let y be ((-12)/18)/((-2)/33). Let u = 2.35 - 4.35. Which is bigger: u or y?
y
Suppose 0 = -7*q - 11 - 3. Let p be (q + -1 - -2)/1. Which is bigger: 3/13 or p?
3/13
Let q = 91 + -92. Let t(j) = -19*j**3 - 2*j**2. Let v be t(-3). Let m be (-213)/v + (-4)/(-10). Which is smaller: q or m?
q
Let l be ((-18)/(-180))/(1/1206). Let c = 121 - l. Let u = 3.5 + -0.5. Does u = c?
False
Let j = 0.2 - 32. Let a = 32 + j. Which is greater: 1 or a?
1
Let q(d) = -24*d - 4. Let p(x) = -19*x + 6. Let u(o) = -4*o + 1. Let v(c) = 2*p(c) - 11*u(c). Let j(l) = -2*q(l) - 9*v(l). Let w be j(1). Is w equal to -7?
True
Suppose -4*i + 2*n - 4 - 10 = 0, 0 = -3*i - 3*n + 12. Which is smaller: i or 3/721?
i
Let s(t) be the first derivative of -5 + 9*t - 1/2*t**2. Let q be s(7). Are q and 4 unequal?
True
Let b(n) = -10*n + 46. Let t(l) = 2*l - 9. Let a(u) = 3*b(u) + 16*t(u). Let g be a(5). Which is smaller: g or 3?
3
Let s = -4537/4842 + -2/269. Let o = s - -461/450. Is o less than or equal to 0?
False
Let k = -95 - -95.47. Let h = k + -0.21. Let b = h + 0.64. Which is greater: b or 0?
b
Let s(j) = j**2 + 6*j + 6. Suppose 3*l = -4*b - 0*b - 29, -2*b + 4*l = -2. Let w be s(b). Is 15/8 >= w?
True
Suppose 3*d = 30 - 9. Suppose 5*p + 4*h - d - 13 = 0, 4*p = -3*h + 15. Suppose 2*z + p = 4*i + 10, -4*i - 7 = -z. Is i at least as big as -1?
True
Let r be (-34)/40 + (-2)/5. Let b = 2134 + -2134. Which is bigger: r or b?
b
Let n be 7 - ((-1)/4)/(3/12). Let t be (-4)/(-14) - (-38)/14. Suppose 19 = 2*g - g + t*b, 5*b = g + 13. Do g and n have different values?
True
Suppose -4*m - 603 = -r, r + 0 + 1 = 0. Is -151 bigger than m?
False
Let v be (-1116)/15 - 1/5. Let m = 75 + v. Let q = 103.1 + -103. Is q bigger than m?
False
Suppose -124*p + 122*p + 4*n = 0, -3*p = 2*n + 8. Let f be (-34)/10 + (-2)/(-2). Is p greater than or equal to f?
True
Let k = -386 + 486. Is 99 < k?
True
Let t be (-16785)/(-525) + (-6)/(-14). Let q = t - 36. Does q = -5?
False
Let n = -1.38 - -1.48. Which is smaller: -14 or n?
-14
Suppose -5*z - 169 = 66. Let s = z + 46. Which is bigger: s or -2/121?
-2/121
Suppose 5*s + 25 = 0, 6*k - 270 = k - s. Let r = k - 56. Do -0.05 and r have the same value?
False
Let u = -6 + 8. Let s = -2594/377 - -204/29. Which is smaller: s or u?
s
Let y = 0.002 + -0.067. Let n = -7.065 - y. Is -1 not equal to n?
True
Let m = 224 - 222. Let i = 7 - 12. Let v(j) = -j**2 - 7*j - 6. Let u be v(i). Which is smaller: m or u?
m
Let u be 2 - (3*-11 - 3). Let w = u + -32. Let l = w - -4. Which is smaller: l or 8?
8
Let w(p) = -14*p - 1. Let r be w(-1). Suppose r = -3*l - 17. Let i = l - 0. Is -10 equal to i?
True
Let z be (-3)/580*(-81 + 89). Which is greater: 0 or z?
0
Let g be ((-15)/4)/((-13)/312). Let x be 3/(-5) - (-78)/g. Is 0 >= x?
False
Suppose -3*f - 3*r = -117, r - 121 - 44 = -4*f. Let k be 21/f - (-2)/(-4). Which is smaller: k or -6/11?
-6/11
Let i(o) = 10*o**2 + 12*o + 2. Let y be i(-1). Which is smaller: y or -2/505?
-2/505
Let o(r) = -r**3 - 4*r**2 - r - 3. Let u be o(-4). Let v be (231/22)/(u + 1). Which is greater: 5 or v?
v
Let n(i) = 20*i + 16. Let x be n(-7). Which is smaller: x or -125?
-125
Let w = -1233/3074 - -24/53. Let t = -597034 + 173140223/290. Let g = t - w. Which is greater: g or 0?
g
Let g = 226 + -225. Which is greater: g or 3/146?
g
Let c = 174 + -338. Let s = 164 + c. Let f be -2*1*1/37. Is s greater than f?
True
Suppose 0*m + 12 = 2*m + c, 5*c + 5 = 3*m. Let b be (124/20)/((-2)/m). Let t = b + 715/46. Is t at least as big as 0?
True
Let u = 119/207 + -3/23. Suppose 0 = -5*s + s + 8. Suppose -3*y + s*y = -1. Do u and y have the same value?
False
Let i = -606 + 609. Which is bigger: -14/9 or i?
i
Let p = 150.89 + -151. Which is greater: -2/3 or p?
p
Suppose -2*h = -10 - 0. Suppose z + 2*f = -f - 1, -5 = h*z + 5*f. Let r = 166505/238 + -4897/7. Is z at most r?
True
Let w be 4 - ((-8334)/2106)/(-1 + 0). Are -1 and w non-equal?
True
Let n be 12 + 16/(3 + 1). Suppose -n = -s - 13. Is s greater than or equal to -1/2?
True
Let i = 11/12 + -71/84. Which is smaller: i or 1?
i
Suppose -2*j + 96 = 4*a, -3*a + 83 = -0*a - 4*j. Let c = -45 + a. Which is bigger: c or -22?
c
Let z = -76.9 + 80.9. Is -7/6 equal to z?
False
Let l be 4/(-6) + (-10)/(-18). Let z = -46 + 80. Let v = 32 - z. Is l smaller than v?
False
Let r = 296 - 296. Is r smaller than -1/8?
False
Suppose 7 = -3*c - k + 1, -k + 18 = -5*c. Suppose 0 = 5*m + 3*j + 11, -2 - 1 = m + j. Let b be (c - 12/(-3))*m. Which is smaller: 0 or b?
b
Let d = -826.1 - -826. Is 0.442 at most d?
False
Let o = 0.0221 - 2.0221. Let a = -0.9 + -0.1. Let h = a - -1.5. Which is smaller: o or h?
o
Let v(m) = -m. Let b be v(-6). Let x be (b/9)/((-4)/(-6)). Let h be 10/(-60)*(-3 - x). Which is smaller: 5 or h?
h
Let b(f) = -2*f**3 + 8*f**2 - 4*f - 6. Let r be b(5). Let l = -69 + -8. Is l greater than r?
False
Let t(u) = -25*u - 100. Let h be t(-4). Which is smaller: h or -1/1491?
-1/1491
Suppose -62 = -4*r + 86. Suppose -2*j + j - r = -2*v, -3*j - 2*v - 119 = 0. Which is bigger: j or -38?
-38
Suppose -4*f + 6*f = -2. Let k(z) = 7*z - 20. Let d be k(-6). Let a = d + 60. Which is smaller: f or a?
a
Let r = -52 - -64. Let w(i) = i**3 + 14*i**2 + 8. Let g be w(-14). Is g at most r?
True
Let w be (-5)/6*(6 + (-64)/10). Is -1/10 smaller than w?
True
Let t = 0.3 + -0.3. Let n be (60/25)/(4/10). Let y be 26 + (-4)/n*6. Are t and y equal?
False
Suppose -14*n = -16*n, -42 = 2*d + 3*n. Which is smaller: -19 or d?
d
Let v = 16 + -11.95. Let z = 107.95 - 108. Let j = v + z. Which is greater: -3 or j?
j
Let k(z) = -z + 1. Let w be k(-1). Suppose -3*f + o - 4 = 0, -w*f + 2*o - 8 = -4. Is f greater than 2/149?
False
Let a = -6 + 6. Suppose 2*m - 4*h - 12 = a, -2*h = 2*h + 12. Let x = 1/12 + -3/4. Which is greater: m or x?
m
Let j(s) = -s**3 - s**2 + 5*s + 2. Let l be j(-3). Let p be l*-1 + -6 + 9. Let k(w) = -w**2 - 2*w + 1. Let i be k(p). Is i bigger than 1?
False
Let k be (-9)/(2214/1128) - -4. Is k greater than -1?
True
Let f(t) = t + 6. Let s be f(0). Let h = 21 - s. Do 15 and h have the same value?
True
Let t = -3/89 + -157/623. Let i = -16 + 20. Let j be 2 - i - (-3 - -2). Is j smaller than t?
True
Suppose -f + 34 = -2*y, -4*y + 5*f - 76 = f. Let u(n) = -n**2 - 14*n + 14. Let t be u(y). Is 31 smaller than t?
False
Let z(o) = o**3 - 2*o**2 - o - 3. Let b be z(3). Suppose -u - 63 = -5*w + u, b*w - 25 = -2*u. Let c = w + -12. Which is bigger: -1/22 or c?
-1/22
Let i be (108/348)/((0 - -3)/(-3)). Is i greater than or equal to -1?
True
Let p be 6/(-15)*-5 + -2. Are -5/11 and p equal?
False
Suppose 4*z + 4*w + w - 4 = 0, -5*z + 3*w = -5. Let c be z/(72/(-664)) - (-4)/18. Is c equal to -10?
False
Let m = 31202/1353 + -948/41. Let j be 1 - (1 + 0 + 0). Which is smaller: m or j?
m
Let x(s) = -s**3 - 4*s