9 + -14. Suppose -d*x = -u*x - 8. Which is greater: -3 or x?
-3
Let y = -688 - -2062/3. Which is bigger: 47 or y?
47
Let u(t) = t**3 - 2*t**2 + 2*t - 1. Let w be u(1). Let i = -200906/25 + 8035. Let h = -1/100 + i. Are w and h unequal?
True
Suppose 2*z + 0*z = -152. Which is bigger: 0.3 or z?
0.3
Let g = -49 - -49.23. Let w = 0.34 - 0.44. Is g equal to w?
False
Let m = -77.98 - -74.98. Let l = -22.09 - -22. Is m <= l?
True
Let s = 11/2 - 21/4. Let l be (-13)/21 + 1/3. Which is smaller: s or l?
l
Let f be 114/22 + 49 + -56. Is 2/19 < f?
False
Let x = 14 - 9. Let r be x/(-2) + (-3 - -6). Which is smaller: r or -1/5?
-1/5
Suppose -23*i + 25*i + 2*l = 10, -i - 3*l = -9. Which is smaller: -41 or i?
-41
Let z(n) = n**2 - 7*n + 6. Let t be z(6). Let q be (-86)/2 - (t - -3). Let k be (-25)/q*4 - 2. Which is bigger: k or 1?
1
Let d = 0.27 + -1.27. Which is smaller: 11.6 or d?
d
Let o(m) = -14*m**2 - 334*m + 47. Let u be o(-24). Are u and 2/3949 equal?
False
Let g = -311 - -171. Let t be 3/(-2)*g/21. Let k be 24/70*(-25)/t. Is k equal to 0?
False
Let q be -1*-6*6/144. Let d = 3.79 + -157.79. Which is smaller: d or q?
d
Suppose 0*w + 4*w + 48 = -2*d, 4*w + 4*d = -52. Which is greater: w or 0?
0
Let c be 7 + -1521 - (4 + 0). Let q be (-302)/c - (-19 - -19). Let i = q + -8/33. Are i and -1 equal?
False
Let p = -192 - -115. Let t = p + 39. Which is bigger: t or -1?
-1
Let d(r) = -r**3 + 4*r**2 + 5. Suppose -20 = -6*y + y. Let g be d(y). Suppose g*p = -2 - 3. Which is greater: p or -4/9?
-4/9
Let p(c) = -c - 16. Let t be p(-12). Let r be t - (2 + -3)*-9. Is r at least -13?
True
Let v(t) = 25*t + 225. Let i be v(-11). Is i bigger than -197/4?
False
Let v = 2107/4 + -519. Which is smaller: -1 or v?
-1
Suppose 0 = a + a. Let o be (-1)/(-2) - (-259)/(-542). Let f = o + -836/13279. Which is bigger: a or f?
a
Let k be (-1)/2 + 18/20. Let h = 0.025 + 0.06. Let w = -1.585 + h. Which is smaller: w or k?
w
Let n = 18 + -18.49. Let f = 22.49 + n. Is -0.1 != f?
True
Suppose -3*u + 102 = 5*i, -i + 8 + 17 = -4*u. Which is smaller: i or 0.3?
0.3
Suppose -822 = -2*d - 0*d - 3*l, l - 409 = -d. Suppose -d = 6*b - 15*b. Is 44 less than or equal to b?
True
Let h = -453 - -453. Do 2/305 and h have the same value?
False
Let y = 22 - 17. Suppose 11 + y = 4*z. Let n be (z/6)/((-6)/36). Is n smaller than -2?
True
Let l(x) = x**2 + 21*x + 5. Let j be l(-17). Let y be ((-306)/(-21))/(9/j). Is y equal to 1?
False
Let f = 3.1993 + -0.1863. Let q = 0.013 - f. Is q less than 0.3?
True
Suppose -5*t - 13 + 3 = 0. Let f be (-4 - 2)*t/(-28). Is 0 at least as big as f?
True
Suppose 5*j + 3*v - 102 = 0, 2*v - 64 = -4*j + 16. Suppose -4*a + 2*l + 9 = 3, -15 = -a + 5*l. Suppose a*m = -3*m + j. Which is smaller: m or 2?
2
Let o = 0.0161 + 0.9439. Does -1 = o?
False
Let c(a) = a**3 + 5*a**2 - 4*a + 10. Let d be c(-6). Let t be (-8 - (0 + -1))*d/14. Which is greater: 2/11 or t?
t
Let m = 365 + -363.096. Let p = 0.004 - m. Are p and 2/7 nonequal?
True
Let k(i) = -1. Let u(z) = z - 4. Let v(x) = 9*k(x) - 2*u(x). Let w be v(-3). Let f be ((-2)/12)/(11/(-198)). Which is smaller: w or f?
f
Let t(h) be the third derivative of h**6/120 + h**5/20 + h**4/12 + h**3/3 + 7*h**2. Let l be t(-3). Let v = 19 + -23. Is l >= v?
True
Suppose 0 = -5*a + 5*u + 35, 5*a + 0*u - u = 31. Suppose a*o + 21 = 5*o. Is -21 bigger than o?
False
Let g = 41/418 + 1436/7733. Are g and -1 equal?
False
Let n = 632 + -612. Is n not equal to 25?
True
Let x be 9 + -3*(-6)/(-2). Which is smaller: x or 2/621?
x
Suppose 2*y = -0*y + 8. Suppose -y*h + 10*h - 24 = 0. Is h at most 6?
True
Let n = -9 + -27. Let x = -41 - n. Let c = 3 - 7. Is c equal to x?
False
Let k = 66 - 93. Let r = 1316/3 + -465. Is r not equal to k?
True
Let x(t) = -t**2 + 11*t - 8. Let o be x(10). Suppose 5*m - o*h = -0*h + 99, m - 9 = 4*h. Let w be 37/13 - m/7. Is -1 at least w?
False
Let a(l) = -4*l + 69. Let n be a(21). Let m be 10/25 - (-381)/n. Is m less than -24?
True
Let n = 11 + -18. Let i be (-2)/n + 108/(-84). Which is smaller: 1/3 or i?
i
Let j(v) = 4*v - 74. Let o be j(21). Suppose -g + 2 = m, 2*m + 16 = g + g. Suppose -k + 5*a = -o, -g*a + 0*a - 10 = -4*k. Which is greater: -2 or k?
k
Let m(x) = -x**3 - 7*x**2 + 9*x - 14. Let i be m(-8). Which is bigger: -0.02 or i?
-0.02
Let n = 42 + -42.04. Let x = 367.04 + -361. Let m = x + n. Is m equal to 0?
False
Let t be (-8 - 9562/(-1196))/(-3). Is t > 1?
False
Let i be (-2)/21*(147/24 + -5). Which is greater: i or 1?
1
Let g(y) = y**2 - 2*y - 2. Let r be g(3). Let m be 2990/741 + 8/(-2). Is r > m?
True
Let l = -7 + 7. Let j = 33 - 29. Suppose -j*r - 15 = 3*g + 6, 4*g + 9 = r. Is r smaller than l?
True
Let x(y) = -2*y**3 + 45*y**2 + 74*y - 76. Let t be x(24). Let v be (-2)/(-1)*(-29)/2. Is v at least t?
False
Let w be (-1 - -2)*((-30)/8781)/(-5). Which is bigger: -1 or w?
w
Suppose 0 = -3*l - 59 - 22. Let r be 1354/5218*l/8. Let y = -2/2609 - r. Is 0 > y?
False
Let n = 9 - -24. Let l = -0.1968 - 32.9332. Let p = l + n. Is p > -1?
True
Let l = -4012.1 - -3855. Let z = 157 + l. Is 1/122 less than z?
False
Let g be 334/(-274) + (-3)/(-8 + 5). Let n = g - -4487/19865. Does -1 = n?
False
Suppose t - 3*r = 18, 2*r + 0 = -2. Let i = t + -13. Is 8/7 < i?
True
Suppose 45*j = -7 + 22 - 60. Let s = -1 - -2. Let l be 12/(-10) - s*-1. Which is smaller: j or l?
j
Let t = -707 + 662. Do -7 and t have different values?
True
Let b(u) = 7*u - 50. Let h be b(9). Let y(q) = -97*q**2. Let v be y(-1). Let r = 483/5 + v. Which is smaller: h or r?
r
Let n = 4 - 10. Let o = -5 - -5. Let u(j) = j**2 + 2*j - 4. Let s be u(o). Is n not equal to s?
True
Let x = 1 + 0. Let t be ((-3)/6)/(1/18). Let v be 2/(-6) - 6/t. Which is bigger: v or x?
x
Let c = 113 - 134. Which is smaller: c or -22?
-22
Suppose 3*q - u = 945, -630 = -2*q - 8*u + 7*u. Does q = 314?
False
Let v = 0.089 + -0.04. Let o = v - 0.049. Is 12 at most as big as o?
False
Let j = -0.16 - -0.06. Let h = 1.4 + -0.95. Let b = h + -0.4. Is b < j?
False
Let d = 0.1377 + -0.0377. Is d greater than or equal to 60?
False
Suppose -3*x - 60 = -5*q, -3*q = -x + 4*x - 60. Suppose 0 = 2*r - 2*p - 6, 2*p + 6 - q = -r. Is r less than 0?
False
Let c be (-2)/(-9) - (-1712)/(-576). Let p = -779/292 - c. Which is bigger: p or 0?
p
Let t = -3 - -2. Suppose 69 = -10*w + 33*w. Which is smaller: t or w?
t
Let d = -563 - -571. Suppose 17*p - 8 = 15*p. Are d and p non-equal?
True
Suppose 2*c - 141 = 231. Is 185 <= c?
True
Suppose -26*n - 155 = -1013. Is 31 equal to n?
False
Let i(j) = -j**2 + 1. Let c be i(1). Let w be (29/87)/(c - 2/(-6)). Which is smaller: w or -1/77?
-1/77
Suppose o + 2 = -c, 6*o = -3*c + 4*o - 5. Is 3/127 less than or equal to c?
False
Suppose 4*t = -2*m + 12, -2*m + 6 = -7*m + 2*t. Suppose 6 = -2*k, z = 3*z + 4*k - 584. Let s = 2082/7 - z. Which is greater: m or s?
m
Let i be (-1 + 764/2)/((-222)/(-148)). Is i less than or equal to 255?
True
Let q = 51.8 - 56.1. Which is greater: q or -3?
-3
Suppose s + 4 = 14. Suppose -1 + 11 = -s*h. Which is smaller: 3/14 or h?
h
Let o(i) = -i**3 + 9*i**2 + 10*i - 7. Let m be o(9). Let p = -86 + m. Let u = -0.4 + 0.1. Which is greater: u or p?
u
Suppose r + 141 = -3*x, 0*x = -x - 5*r - 33. Let n = x + 24. Is n bigger than -24?
False
Suppose -w - l + 3 = -3*l, 0 = w - 3*l + 2. Suppose w - 1 = 3*b. Which is smaller: b or 3?
3
Let x be ((-3)/(-6) - 1) + (-40)/(-16). Suppose 15*h = -h + x*h. Which is bigger: -2 or h?
h
Suppose 4*u = -3*o + 83, -4*u = 3*o - 8*u - 43. Is o smaller than 24?
True
Let g = 170231/19 + -8963. Which is smaller: g or -4?
-4
Let o = -2605 + 117232/45. Which is bigger: o or -0.1?
o
Let d(g) = g**3 + 2*g + 2. Suppose 12*y = 14*y. Let m be d(y). Which is smaller: -0.7 or m?
-0.7
Let u be ((-232)/24 + 9)/((-2234)/6). Is u at least as big as -1?
True
Let v(q) = -q**3 - 9*q - 9. Let n be v(-1). Is n bigger than -1/14?
True
Let g(m) = m**3 - 7*m**2 - 23*m + 20. Let u be g(8). Let j = -107 - u. Which is bigger: j or -6?
-6
Let l be (-431319)/225 + 1 + -3. Let p = l - -1919. Let q be (-5 + 30/6)/(-1). Which is smaller: q or p?
q
Let v = -0.48 + 0.68. Suppose 6 + 6 = 3*o. Suppose -u + 3*j = -21, 0*u - o*u - 3*j + 24 = 0. Which is bigger: v or u?
u
Let a be (-157)/2 - (-27)/(-18). Is -239/3 at least a?
True
Let d = 0.051 + -0.156. Let b =