+ z. Is u equal to 2?
False
Let t = -26 - -28. Are 0 and t equal?
False
Let w(i) = i**2 + i - 1. Let k be w(-1). Let h = -3/19 + 5/152. Which is bigger: h or k?
h
Let g be (-4)/18*(-33)/22. Which is greater: g or -0.18?
g
Let m be 0/((0 + 1)*-1). Suppose m = 3*d + 2*h + 2*h + 7, -h - 4 = 0. Let l be (-10)/(-2 + (7 - d)). Which is smaller: -4 or l?
l
Let w = 0 - -6. Let u = -5.5 + w. Let d = u + 0.5. Is -2 at most as big as d?
True
Let p = 19 + -7. Is p at most 12?
True
Let s = -1034/7 - -148. Let d = -1/2 + 12/7. Let w = d + s. Which is smaller: w or 1?
1
Let c be (-2)/(-35) + 1/(-5). Are c and 1 nonequal?
True
Suppose 4*m - 2 = 2. Let a = 41/4 + -373/36. Do a and m have the same value?
False
Let d be (-1)/(1/(-3)*3). Let v = 9/2 + -25/6. Which is greater: d or v?
d
Let u = -89 + 67. Which is greater: 3 or u?
3
Suppose 0 = 3*f - 2*l + 2 + 11, f + 5*l = 24. Do f and -1 have the same value?
True
Let u(s) = -2*s + 3. Let k(p) = 1. Let t(c) = 3*k(c) - u(c). Let l be t(1). Let a be -3*1/(-3)*1. Which is smaller: a or l?
a
Let h be ((-3)/2)/((-1)/(-2)). Let i be (-58)/18 + (-4)/(-18). Is h at least i?
True
Suppose -u - 5*m - 12 = -4*u, -3*u = 3*m + 12. Let r be 1 + u - (-2 - -2). Let q = 13 - 93/7. Is q smaller than r?
True
Let j = -3623/17 + 213. Is j <= 0.06?
True
Let u = 115 + -114. Which is greater: u or 2?
2
Let w be (-2)/8 - 780/(-3504). Is w greater than -1?
True
Let t = -52 - -51. Let g = -45 + 136/3. Which is smaller: t or g?
t
Let d = -11.87 + 4.61. Let t = 10.3 + d. Let p = t - 0.04. Is 1/3 equal to p?
False
Let f = -1/43 + 391/172. Is f smaller than 0?
False
Let r = 3 - 1. Let n be (21/(-3) - -3)/r. Is n at most 0?
True
Suppose -6 = -0*h - 3*h. Let o be (-6 - 140/(-21))/(14/(-6)). Which is smaller: h or o?
o
Suppose 4*w - 2*p + 7 - 5 = 0, 5*w + 5 = 5*p. Is w at most -5/7?
False
Let u be 140/(-63) - 2/(-9). Let h be -1 - -8 - 0/u. Is 8 >= h?
True
Let k(q) = -q**2 - 5. Suppose x + 15 = 4*x. Suppose -2*i = -x*i. Let s be k(i). Is s greater than or equal to -4?
False
Suppose 1 + 0 = 2*v + j, -v - 22 = -4*j. Let h = v - -4. Is h at least 3?
False
Let o = -22 - -22. Is 0 > o?
False
Let s = -6 + 4. Let g = s + 4. Suppose 5*t - 8 = -g*v, -v = -2*t + 4*t - 3. Is -2/15 greater than or equal to v?
True
Let n be 2/30 - 16/40. Is 0 > n?
True
Let g(m) = -m**2 + 10*m + 73. Let k be g(14). Is 19 > k?
True
Suppose q + 1 - 3 = 0. Suppose -1 = -q*i + 1. Let m = -37 - -112/3. Is m >= i?
False
Let h(m) = m**3 - 3*m**2 - 5*m + 3. Let a(u) = u**2 + 5*u - 10. Let q be a(-7). Let g be h(q). Is -3/2 bigger than g?
False
Let h = 6 + -4. Let l be h/44 + 0 + 0. Let z(x) = -x**2 - 3*x - 3. Let t be z(-1). Which is smaller: l or t?
t
Let q = 0.3 - 0.2. Suppose 0 = -b - 5 + 4. Let y be 1/(-2)*b/2. Which is greater: q or y?
y
Let f = -4.1 + 4. Is f at least -1?
True
Suppose 3*j - 5*o + 11 = 0, j + o + 0 = -1. Let k = 5 - j. Let x be (-86)/30 + (k - 4). Which is bigger: x or 0?
x
Let s = -6 + 4. Let h(d) = -4*d + 59. Let f be h(15). Is f smaller than s?
False
Let m = -12 + 4. Let n be m*-2*3/12. Let g = n + -3. Is g smaller than 1?
False
Let b = 4 + -4.1. Which is smaller: -4 or b?
-4
Suppose 0 = 3*u + 2*u + 180. Is -1 less than u?
False
Let t(v) = -v**3 + 4*v**2 + 1. Let i(h) = -3*h**3 + 13*h**2 - h + 3. Let w(b) = 2*i(b) - 7*t(b). Let l be w(-1). Which is greater: -0.2 or l?
-0.2
Let v(g) = -g**3 + 8. Let m be v(0). Suppose -f - 10 = m. Let k be 9/(-6)*f/(-15). Which is bigger: -2 or k?
k
Let u be (46/(-14) + 3)*-7. Suppose 3*o - u*o = 0. Is -2 greater than or equal to o?
False
Suppose 5*g + 3*p + 3 = 0, 2*p + 0*p + 2 = -g. Suppose 0 = -5*h - 25, -3*d + d + 4*h + 22 = 0. Which is smaller: d or g?
g
Let b(x) = -x**2 + 3*x + 41. Let s be b(8). Which is smaller: 3/19 or s?
3/19
Let m be (-2)/(-5)*5/9. Let z = 71 - 70. Which is smaller: m or z?
m
Let o be (-7)/21*(2 + -3). Which is bigger: o or 0?
o
Let p(c) = c**3 + 3*c**2 - 2. Let x be p(-2). Let r(g) = -g**3 - g**2 + 3*g - 1. Let n be r(x). Let d be (-2)/n + -1 + 1. Which is greater: -1 or d?
d
Let z = -29 + 20. Let s = z + 24. Which is bigger: 14 or s?
s
Let o = 152/3 - 458/9. Do o and 1 have the same value?
False
Suppose 2*x - 20 = -3*c, -3*x + 2*c + 8 = c. Let d be (-4)/x + (-4 - -3). Is -1 greater than d?
True
Suppose -4 = -5*f + 16. Suppose 0*m + 9 = -j + f*m, 0 = -2*j - 5*m + 21. Are j and 3/2 nonequal?
True
Suppose -2*i + 2 + 0 = 0. Is i equal to -2/7?
False
Let w = -2.8 + -0.2. Let y = 2.94 + w. Does y = -0.1?
False
Let y = -0.2 + -1.8. Let n = 1 - 0. Let w = n + -1.1. Which is bigger: w or y?
w
Suppose 3*k + 3 = -3*u, -2*u + u = 0. Suppose 2*w - 12 = 5*g, -3*g - 2*w = 3*w + 1. Let a = k - g. Is 1 < a?
False
Let q = 89 - 191/2. Is q at most -7?
False
Let l be 113/(-8) - -2*3/48. Suppose -b = 2*b + 4*u + 31, 2*b = 2*u - 2. Let y = b - l. Are y and 10 nonequal?
True
Let q be -1 + 0 + (5 - -3). Let v = -7 + q. Which is bigger: -2 or v?
v
Let y = -8.98 - 0.02. Let x = -11 - -4. Let s = y - x. Which is smaller: s or 1?
s
Let j = -3866 + 42574/11. Which is bigger: 4 or j?
j
Let n = -1/28 + 43/28. Let z = 6 - 5. Suppose -l + 5 = 0, -z = -4*w + l - 2. Is n at least w?
True
Let l(z) = -2*z + 5. Let k be l(4). Suppose 0 = -5*n + f + 29, 2*f - 17 = -5*n - 0*f. Let w = n - 6. Which is smaller: k or w?
k
Suppose 3*y = y - y. Is y <= -2/425?
False
Let u(c) = -c**2 - 5*c - 6. Let p = -2 - 2. Let q be u(p). Let n be (-8)/26*1/q. Does -1/2 = n?
False
Suppose 0 = -9*d + 7*d + 3*b - 163, -2*d - 156 = 4*b. Is d > -80?
False
Suppose 2*p - 2*a - a = -11, -p - 18 = -4*a. Suppose -p*w = -0*w. Let l = 145/3 - 48. Which is smaller: w or l?
w
Let q be 2/(-15) - 2/(-15). Which is smaller: q or -1/27?
-1/27
Let m = 3.04 - 0.04. Which is smaller: -13 or m?
-13
Let v = -0.9 - -1. Let y = -1.5 - -12.5. Let p = -10 + y. Which is greater: v or p?
p
Let w(q) = -3*q - 14. Let g be w(-6). Is 6 greater than g?
True
Let d be -3*(-1 - -3)/2. Which is smaller: 0 or d?
d
Let j = -21 - -61. Suppose 2*l - 3 + 27 = -2*b, -3*l - 4*b - j = 0. Which is greater: -7 or l?
-7
Let y(z) = -z**3 - 7*z**2 - 5*z + 8. Let n be y(-6). Let v = 4 - 2. Is n at least as big as v?
True
Let h(o) = 48*o**2 - 3*o + 7. Let i(k) = 16*k**2 - k + 2. Let f(a) = 2*h(a) - 7*i(a). Let j be f(1). Is -14 < j?
False
Let n be (-31)/((-5)/(-5) + (-10)/(-2)). Is -5 at most n?
False
Let o = -18 - -12. Let r = 2.1 + -2. Is r greater than o?
True
Let p = 409 + -12677/31. Let q = p - -56/93. Let a(i) = i**2 - 6*i + 6. Let f be a(5). Are f and q nonequal?
True
Suppose 5*s - 4*j = 4 - 53, -2*j = -5*s - 47. Which is greater: -14 or s?
s
Suppose -4*i = 8, -3*k - 16 = -6*k - i. Let s = 2 - k. Let m be (s + 5)/(0 + 1). Which is smaller: m or 2?
m
Let i be (5/(-9))/(1/(-15)). Let r = 1499/172 + -17/129. Let v = i - r. Which is bigger: v or 1?
1
Let w = -6 - -7. Is w at least 22?
False
Let c(y) = -y**2 - 9*y - 7. Let o be c(-8). Let r be (8/(-4))/(1 + 18). Is r bigger than o?
False
Let w = 14864/215999 + -30/413. Is 0 at most w?
False
Let j = 18 - 12. Let z = -6.4 + j. Let x = 1.6 - z. Are x and 1 nonequal?
True
Suppose -2*g - 5 = t, -5*t + 3*g + 2*g - 25 = 0. Is t smaller than -6?
False
Let a be 6*-1*(-1)/2. Suppose -5 = 5*l - 3*d + 12, a*d - 15 = 3*l. Is -1 > l?
False
Suppose 5*l - 4*w - 20 = -w, -4*l + 29 = -5*w. Is 1/11 greater than or equal to l?
False
Let s = 0.19 - 0.09. Which is smaller: 2/7 or s?
s
Let b = -8 + 15. Which is greater: b or 0.1?
b
Let l be ((-14)/(-42))/((-1)/(-30)). Suppose 2*h - v = -4*v - l, 0 = -3*v. Which is greater: -17/3 or h?
h
Let s = 172401/1310 + -658/5. Let k = s - 69/917. Which is greater: 1 or k?
1
Let g(o) = 2*o**2 - 2*o + 1. Let d be g(-2). Suppose 2*u = -2*u - 5*k + d, -2*u - 2*k = -4. Is u greater than -5?
True
Let x = 8.06 + -8. Suppose m + 2*j + 9 = 0, m + j + 7 = 3. Are x and m nonequal?
True
Let w be (-6)/(-15) - (-6)/10. Let j be (0 - -1)/(w/2). Suppose -a - 2*v - 5 = 1, -4 = v. Do j and a have the same value?
True
Let i = -9 - -12. Is 5 < i?
False
Let i = 3 - 3. Let v be (-3)/(-27)*(-2 - -1). Do i and v have the same value?
False
Let z = -0.43 + 0.48. Does 3 = z?
False
Let h be (-6)/(-15)*5/1. Let q be 10/4 - h/4. Suppose 4*w - 3*o - q - 2 = 0, 4*w - 12 = 5*o. Which is bigger: 2 or w?
2
Let j(c) be the first derivative of c**3/3 - 4*c**2 - 3. Let q be