o. Is -1 equal to d?
False
Let w be (-2 - 0)*9/(-18). Let t(i) = 11*i. Let b be t(w). Is b at least -1?
True
Let x(a) = 3 - 5*a - 2 + 3*a**2 - 2*a**2. Let q be x(4). Let z be q/4 - -1 - 0. Is -1 at least as big as z?
False
Let h = 0.02 - 1.02. Let o = -2 - -1.9. Is h < o?
True
Let j = -1/167 - -375/6847. Suppose 7*q = 11*q. Which is bigger: q or j?
j
Let z be 2/(-4)*30/(-215). Let h = 95/129 - z. Let g(b) = b**2 - 3*b - 3. Let y be g(4). Which is smaller: h or y?
h
Suppose -13 = 5*h + 7. Let g = h - -4. Let b = -4 + 3. Are b and g equal?
False
Let v(m) = 2*m - 4. Let g be v(3). Suppose -g*o - 5*r = -22, 2*o = 3*o - 4*r + 15. Which is smaller: o or 2/23?
2/23
Suppose -4 = 3*b + 20. Let c = b - -8. Which is bigger: -1 or c?
c
Suppose 0 = a - 3*b - 2, -3*a - b = -2*b - 6. Let q be (-1)/(-1 - -2) - -1. Suppose -a*u - 3*s + 5 = q, -4*u + 6 = s - 9. Is u smaller than 3?
False
Let o be (2 - 12/10)*5. Suppose 3 = u - 0. Which is bigger: o or u?
o
Let g = 2 - 4. Let q = -5 - g. Let j = q - -3.2. Which is smaller: j or -2?
-2
Let s be ((0 - 0) + -2)*-1. Suppose -s*l - 2*d + 6 = -l, 3*d = 2*l + 16. Let j(t) = -2*t. Let f be j(1). Is f bigger than l?
False
Let q be 1/3 - 1/(-3). Let i = -4 - -6. Let t = i + -3. Which is smaller: q or t?
t
Suppose -3*s + 18 = -0*s. Let f be (-2 + 1)*s - 0. Is -6 greater than f?
False
Let h be (10/4)/(-5)*-4. Let m = -6 + 7. Does h = m?
False
Let v(w) = 13*w**2 - w. Let m be v(-1). Let q = m + -9. Suppose -4*n = -0*n - 16. Which is smaller: n or q?
n
Let m be (-12)/(-135) + 8/(-36). Let b = 6 - 5. Which is greater: b or m?
b
Let k = -57 - -58. Which is greater: -2/7 or k?
k
Suppose 3*i + 0*q = -3*q + 24, -3*i + 4*q - 11 = 0. Suppose 5*m + 31 = 2*m - w, -i*w + 39 = -3*m. Is m smaller than -10?
True
Let i(u) = -u**2 + 2*u - 2. Let t be i(2). Let c be -1*2 - (t + 0). Let b be 0 - c - 1*-1. Is 2 at most b?
False
Let h = 202 + -1418/7. Suppose 0*n - n + 15 = 0. Suppose -3*q - 5 = -l, -l = 2*l - n. Which is bigger: q or h?
q
Suppose s = 5*s. Let d = -7 + s. Suppose 164 = -14*j + 52. Is d at most as big as j?
False
Let m be (2/6)/(1/6). Let g be 24/9*m/(-12). Is 0 greater than g?
True
Suppose 0 = 2*r - 2*m - 16, -35 = -5*r - 4*m + 32. Suppose 5*f + r = 5*x + 3*f, x = 5*f + 16. Is 1 not equal to x?
False
Let y(o) = o**3 + 2*o**2 - 2. Let c be y(-2). Let a be c*1 - (-68)/32. Is 1 >= a?
True
Suppose -4*i - 3*k - 15 = 0, -4*i + 7 = -2*k - 3. Let u be 3/(-5) + (1716/270)/13. Which is greater: i or u?
i
Suppose -5*b + 10 = -40. Let t = 81 - 72. Is b != t?
True
Let p be (3/4)/((-6)/120). Does p = -16?
False
Let g(j) = -j**3 + 4*j**2 + 4*j + 5. Let r be g(5). Which is bigger: r or -3/38?
r
Suppose 0 = 5*r + 10, 3*r = -0*c + 4*c - 14. Suppose 2*v - c = -0. Which is smaller: 1/7 or v?
1/7
Suppose -2*s + 18 = 2*v, -22 = -3*s - 0*v + 2*v. Let i(f) = -f - 2. Let x be i(s). Is x not equal to -10?
False
Let d = 2 - 1. Let b = 0.61 + -0.6. Let j = -0.49 - b. Are j and d non-equal?
True
Let y = -6.9 + 3.8. Let d = 0.07 + -3.07. Let i = d - y. Is -1 not equal to i?
True
Let n = -0.1 - -1.1. Is -0.01 > n?
False
Let w = -1 - -4. Let l be 2/3 - (-24)/18. Suppose 3*b = -4*n - w, -n - 2 = -l*n + 2*b. Is 0 >= n?
True
Let r be (-95)/(-15) - (-1)/(-3). Let b be (r/4)/(-3)*-2. Let x = b + -2. Which is smaller: 1 or x?
x
Suppose -3*q = -2*q - 4. Is 7/2 > q?
False
Suppose -j = -4*j + 3*n + 9, 4*n = 2*j - 12. Are 1/73 and j nonequal?
True
Let u(c) = -c. Let i be u(1). Let v be 4/24*(-27)/6. Is v greater than i?
True
Suppose -4*b = 26 + 10. Which is smaller: b or -8?
b
Let o be (-3)/15 + 104/70. Is 1 less than or equal to o?
True
Suppose 0 = -5*g + 10. Suppose 2*n - m - 10 = -0*m, -2*m - 10 = -g*n. Which is smaller: n or 3?
3
Let b = 16 + -12. Which is bigger: b or 0.1?
b
Suppose -q - 4 = 6. Let b = q - -19/2. Let g be (6/30)/(12/(-10)). Is b greater than g?
False
Let t = -10544/413 - -178/7. Is -0.1 <= t?
False
Let w(b) = 4 + 4*b - 5 - 5. Let y be w(4). Which is smaller: y or 9?
9
Let l = 109.3 - 104. Let m = l + -5. Let o = 0.4 - m. Is o less than or equal to 0.1?
True
Let z(u) = u**3 - 18*u**2. Let n be z(18). Is -2/75 equal to n?
False
Let a be (-15 - 0)*(-84)/70. Let m(d) = -d**2 - 6*d - 2. Let s be m(-5). Let k be s*-4*3/a. Which is greater: k or -3?
k
Let b(k) = k. Let j be b(5). Suppose 2*d = 10 - 2. Suppose j*o = r + 3 + 9, d*r = o - 10. Is r greater than or equal to -3?
True
Let x = 0.1 - 0.1. Let h = 5.3 - 0.3. Let o = -6 + h. Which is smaller: x or o?
o
Suppose 5*b + s - 197 = 0, -3*b + 5*s + 74 + 33 = 0. Is 39 bigger than b?
False
Let b be (-1)/2 - (-24)/(-16). Let m be (-4)/12 - b/(-3). Is 6 greater than or equal to m?
True
Let i be 1/(2 - (1 - -2)). Which is smaller: 15 or i?
i
Let q be (-1 - -9) + 4 - (2 + -2). Which is smaller: q or -0.01?
-0.01
Let o be (-21)/9 + 3 - (-4)/12. Is o at most as big as 2/3?
False
Let y = 5 + -5.3. Let q = -0.3 + 0.4. Which is bigger: y or q?
q
Let z be 6*(-85)/(-190) + -2. Which is smaller: z or 0?
0
Let i = 2.5 - 0.5. Let o = -1 - -4. Let w = -2.8 + o. Which is bigger: w or i?
i
Let p = -4.11 - -4. Let v = 3.89 - p. Which is greater: -0.2 or v?
v
Let f be (-6)/9 - (-4)/5. Let u(d) = -d**3 + 7*d**2 + 7*d + 3. Let b be u(8). Let w = b + 6. Is w > f?
True
Let t(u) = -u**3 + 3*u**2 - 1. Suppose -2*d - 2*b = -6, 2*d + d = b + 9. Let v be t(d). Which is bigger: 0 or v?
0
Let u be (40/6 - 6)/(4/(-6)). Suppose 0 = -c + 2*c. Which is smaller: c or u?
u
Let b(w) be the second derivative of -w**3/2 + w**2/2 - 2*w. Let z be b(1). Which is smaller: -4/5 or z?
z
Let r(i) = -i**3 + 7*i**2 + 6*i + 7. Let k be r(8). Let c = k - -5. Let g = 7 + -11. Is g smaller than c?
False
Suppose -4*p + 12 = 112. Are p and -23 unequal?
True
Let z be (12/(-9) + 2)/2. Let o = -0.5 - 1.5. Let k = -2 - o. Is k greater than or equal to z?
False
Let w(u) be the third derivative of u**5/20 + u**4/24 + 2*u**2. Let n(x) = 8*x**2 + 2*x. Let h(d) = 4*n(d) - 11*w(d). Let l be h(-4). Is -3 <= l?
False
Suppose 0*f = 5*f + 15. Let s(j) = j**3 + 2*j**2 - 3*j. Let x be s(f). Let c = -3 + 1. Is c greater than x?
False
Suppose -3*r - 5*v - 15 = 0, -4*r + 6*v + 6 = 4*v. Suppose -5*u - 2*q = -3*q - 4, -5*u + 4*q + 16 = 0. Suppose u = -0*z + 5*z. Is r at most z?
True
Let t = 0.11 + 7.89. Is t bigger than 1/2?
True
Let z(r) = -r**2 - r + 2. Let v be z(0). Which is greater: v or 4/3?
v
Let l(k) = -2*k**2 + 3*k - 4. Let j(f) = -f**2 + f - 1. Let o(y) = 6*j(y) - 2*l(y). Let b be o(-2). Let w = b - -11. Which is smaller: w or 4?
4
Let u be (((-8)/12)/(1/(-3)))/2. Which is greater: u or 2/33?
u
Let u = -24 - -25. Which is bigger: 11.4 or u?
11.4
Let f = 47 - 47.1. Is f at least -36?
True
Suppose 0 = -n - 1 + 3. Suppose -2*j - n*j = 0. Let h = 0 + j. Which is bigger: 1/4 or h?
1/4
Let q = -2/139 - -1396/417. Is 4 greater than q?
True
Let d be (711/(-217))/3 + 1. Let y = -66644/31 - -2150. Let w = d - y. Is 1 smaller than w?
False
Let a be 6/(-8) + (-11)/(-4). Suppose -2*n - 4 = a*n. Let z be 1/(-1) + -1*2. Is z greater than or equal to n?
False
Let j be (6 + -5)/(2/(-27)*3). Is -6 equal to j?
False
Let g = -2 - -1. Let u(c) = -c + 4. Let f be u(5). Let j be (1 - 2)/(1/f). Is j not equal to g?
True
Let y be -2 - ((-290)/73 - -2). Is y at least -2/5?
True
Let x(c) = -c**3 + 3*c**2 - 2*c - 1. Let t be x(3). Which is smaller: -8 or t?
-8
Suppose -2*r + g = 1, 2*r - 3*g + 13 = 6*r. Let t = 25 + -23. Does t = r?
False
Let y be (1 + -2)*(-1)/1. Let l(m) = m**3 - 4*m**2 + 4*m - 2. Let f be l(2). Does f = y?
False
Suppose 0 = -2*q - 6 + 2. Let l be 6 + 2 + 6/q. Let h(x) = -x**3 - 7*x**2 + x + 11. Let b be h(-7). Which is smaller: l or b?
b
Let o(j) = j**2 - j - 2. Suppose 3 = -u + 1. Let x be o(u). Which is bigger: 5 or x?
5
Let w = 0.19 + 7.81. Let l = 7.7 - w. Is 2/5 < l?
False
Let k(l) = l**2 + 6*l - 43. Let m be k(-10). Suppose -4*z = -2*i - 14, -z - 2 + 0 = 5*i. Is m at most i?
True
Let l = 0.2 + 0. Let u = -0.1 + l. Let x = -25 + 24.7. Which is smaller: u or x?
x
Let b = -46 - -24. Is -23 greater than b?
False
Let j = -641/2 - -3273/10. Which is smaller: 6 or j?
6
Let z(c) be the third derivative of c**6/120 - c**5/12 + c**4/12 - 7*c**3/6 - 3*c**2. Let n be z(5). Let f be n + -3 - 1/4. Is -2 at most as big as f?
True
Suppose -5*t - 10 = -4*n + 2, 24 = -5*t - 2*n. Let m(