. Let p = i - 4.6. Let n = p + -1.4. Is 2/7 >= n?
True
Let k = 16 - 11. Let z be ((-2)/k)/((-4)/(-20)). Let c = -0.4 + 0.3. Is z less than c?
True
Let n(z) = -z**3 - 10*z**2 + 12*z + 10. Let l be n(-11). Suppose -3*b = -4*h + 4, -2*b - 2 - 4 = -h. Let g be 1 + h/(-1)*-1. Is g at least l?
True
Let h = 20.2 - 5. Let j = h - 15. Which is smaller: 0.5 or j?
j
Let a = 4.08 + -0.08. Let y = a + -4.1. Let s = -0.9 + y. Which is smaller: s or 0?
s
Let y = 2 - 4. Let n = -1 - y. Is n at least as big as 1/3?
True
Let k(y) = 2*y. Let v be (-2)/((-6)/(-3)) - -3. Let c be k(v). Suppose 8 = t + 3*t - c*h, 0 = 2*t + 5*h + 10. Is 0 > t?
False
Suppose -4*i = 2 - 6. Let d = i - 0. Suppose -16 = -4*b, -5*w - 4*b + 3 = -18. Is d smaller than w?
False
Suppose -t + 4*t = 66. Is t smaller than 22?
False
Let f be (-20)/(-70) + 46/(-210). Suppose 2 = -4*q - m, -4*q - 2*m - 3*m - 10 = 0. Which is greater: f or q?
f
Let u(y) = y**3 + 4*y**2 + y - 4. Let o be u(-3). Let m be (-9)/4*(-2 - o). Let w be (2/m)/((-10)/15). Which is smaller: w or 1?
w
Let o = -30 - -11. Let f = -59/3 - o. Is 0 <= f?
False
Let u = -33 - -33. Are u and -1/245 equal?
False
Let q be 4*1 + (-161)/46. Which is greater: q or 40?
40
Suppose 0 = -6*n + 2*n + 8. Suppose 2*w - n = 4*w. Is w bigger than -1/4?
False
Suppose -5*p + 2*t + 82 = 0, 0 = 4*p - t - 42 - 26. Is p greater than 18?
False
Let s = -2 - -3. Suppose -s = -0*j - j. Is -0.4 smaller than j?
True
Suppose -4 = 2*c + 34. Is c equal to -19?
True
Suppose 14 = h + 4*r, -2*h - r = h - 9. Let n be (0 + (-4)/h)/2. Do -2 and n have the same value?
False
Let s(p) be the third derivative of -p**5/60 - p**4/8 + 5*p**3/6 + p**2. Let o = 54 - 58. Let u be s(o). Which is bigger: u or 1/4?
u
Let u be (-1)/(-5) - (-195)/(-100). Let o be (3/(-2))/(3*-1). Which is smaller: o or u?
u
Let a(l) = 32*l**3 + 1. Let r be a(1). Suppose 0 = 5*u - r + 13. Which is greater: u or 3?
u
Let o be 3/(-6) + (-1)/(-2). Suppose -2*f - 2*f = -2*c + 12, o = 2*f + 8. Which is smaller: -4 or c?
-4
Let m(t) = -t**2 - 21*t + 39. Let y be m(-25). Which is smaller: y or -59?
y
Let k = 89/129 - 1/43. Which is smaller: 2/5 or k?
2/5
Let t = -27 + 8. Let x = t + 18.9. Which is bigger: 2/7 or x?
2/7
Let f(v) be the third derivative of v**6/120 + v**5/15 + 5*v**4/24 + 2*v**3/3 - v**2. Let b be f(-3). Is -2 greater than b?
False
Suppose -4*q + 2*w + 18 = 0, 0*q = 2*q - 5*w - 29. Is -0.1 at most q?
True
Let d = -53.6 - -55. Which is smaller: -2/5 or d?
-2/5
Let h be 0/(3/(-2 - -1)). Let d be (-3)/4 + 1 - 0. Which is smaller: d or h?
h
Let k(n) = -2*n - 4. Let l be k(2). Which is bigger: -9 or l?
l
Let g = 3 - 15. Let v = -11.9 - g. Which is bigger: 1.1 or v?
1.1
Let y = 2 - 7. Let f = y - -4. Let a = 1.4 + f. Is 1/2 at most a?
False
Suppose -30 = -2*j + j. Suppose 0 = 4*i + j - 6. Let w = i + 6. Is w less than 4?
True
Let y = -301 + 551/2. Which is smaller: -26 or y?
-26
Suppose -3*r - 2*r - 10 = 0, -4*f + 36 = -2*r. Suppose 0 = f*b - 3*b + 10. Let m = -1 - b. Is -2/11 at most as big as m?
True
Let n(r) = -r - 8. Let o be n(-12). Suppose -o*v - 52 = -4*s, 61 = 5*s - 4*v + v. Are s and 10 nonequal?
True
Let s = 27 + -16. Let p = s + -11.1. Which is greater: p or -0.8?
p
Let v = -37283/6015 + -2/1203. Which is smaller: v or -5?
v
Suppose 10 + 6 = 2*i. Which is greater: 7 or i?
i
Let i be (-1)/((-7 - -3)/28). Which is smaller: -1 or i?
-1
Let c = 22/491 + -92887/1964. Let o = -47 - c. Is o smaller than 1?
True
Let h(p) = 3*p**2 - 31*p + 5. Let i be h(10). Is i at most -3?
True
Let a be (4/(-5))/((-4)/10). Suppose 25 = -5*n, -4*q - a*n - 3*n = 29. Which is smaller: q or 0?
q
Suppose 0 = 4*c - 4*n - 52, -4*c + 3*n = 6*n - 59. Suppose 4*b - 5*r + c = 4, 0 = -5*r + 10. Which is greater: b or -2?
b
Let q be 32/(-18) + 2/3. Let r = 20 + 15. Let b = r + -37. Which is smaller: q or b?
b
Let m be -1*(-2 - -3) - -8. Let s(k) = 2*k**3 + 6*k**2 - 5*k + 7. Let c be s(-4). Let o = m + c. Which is smaller: 1/2 or o?
1/2
Let p be (-12)/10*45/24. Let c(o) = -4*o**3 + 3*o**2 - 1. Let x be c(1). Which is smaller: p or x?
p
Let m be (-6)/24 - (-105)/(-12). Is m < -9?
False
Let u(x) = -x**3 + x**2 + 1. Let v(m) = 3*m**3 + 10*m**2 - 2. Let n(g) = 2*u(g) + v(g). Let t be n(-12). Which is smaller: t or 2?
t
Suppose 0 = -0*c + 3*c. Let q be 3 - (-65)/(-75)*3. Which is greater: q or c?
q
Let w(q) = -11*q**3 - q. Let a be w(-1). Suppose a = -4*p + 3*g, 3*g - 2 = 10. Suppose -2*b - 5 + 3 = p. Is b at least 1?
False
Let k(w) = w**3 - w**2 - w. Let p be k(-1). Which is smaller: p or -5/18?
p
Let q(g) = -g**3 - 5*g**2 + 2*g - 1. Let r be q(-6). Let c = -26 + r. Is -2 less than or equal to c?
False
Let v = 1 - -1. Let f = 3 - v. Which is smaller: f or 0.7?
0.7
Let k be (-16)/40 - (-58)/70. Let n = 2/21 - k. Let b = n - 1/3. Is b smaller than 2?
True
Let f = 1 - -1. Suppose -f = -a - 5. Let p be a/2*(-2)/3. Is p <= 1?
True
Let f(j) = j**3 - j - 3. Let y be f(0). Let p = 10 - 1. Let c be (y/p)/((-2)/2). Which is bigger: c or 0?
c
Let r = 34/63 - 3512/6741. Let l = 196/963 + r. Suppose 4*v = q + 6, -4*q - 2 = 2*v + 4. Which is smaller: l or v?
l
Let r be -6*(-4)/30*-5. Let h be (2/4)/(15/r). Suppose 3 = b + 2*b. Which is smaller: b or h?
h
Suppose -5*x + 2*y = 9, -7*x = -2*x + 4*y - 3. Let c = 3 + -2.6. Let r = c + -0.5. Is x greater than or equal to r?
False
Suppose y - 4 - 1 = 0. Suppose 0 = y*d + p - 12, -d + 16 = 2*d + 5*p. Suppose -9*c + 11 = 2*c. Which is smaller: d or c?
c
Let y(q) be the third derivative of q**5/60 + 5*q**4/24 - q**3/2 - q**2. Let b be y(-4). Let n(f) = f**2 + 6*f - 5. Let g be n(b). Are 3 and g non-equal?
True
Let a be ((-6)/18)/(2 + 5/(-3)). Is -1/23 < a?
False
Let k = -22013/15015 - -58/77. Let t = k + 3/65. Suppose -m = m. Is t smaller than m?
True
Let g be (-2)/3 - (-2)/3. Let c(y) = -17*y - 66. Let z be c(-4). Is g greater than z?
False
Let l be (66/(-70) - -1)/((-9)/(-15)). Let s = -4 + 4.1. Which is greater: s or l?
s
Let s = 2 + 0. Suppose 10 = -5*l - 2*w, -s*l + 2 = -3*l - w. Is -2 at least as big as l?
True
Let i = 4 - 2. Suppose 0 = -0*o + i*o - h + 1, -3*o - h = 9. Suppose -2*r - 8 = -2*p, 3*r + 4 = -2*r - 3*p. Is o greater than r?
False
Let v = -28 + -1. Let s = v - -24. Is s < 2/5?
True
Let g = -0.7 + -5.3. Let l = 8 + g. Let b = -1.3 - -1.4. Which is bigger: l or b?
l
Let a = 7 + -2. Is 4 > a?
False
Let s = 0.07 - 0.27. Is s less than 10?
True
Let o = 6 - 4. Suppose o*l + 3*f = 8, 2*l - 4*l + 3*f + 8 = 0. Which is smaller: l or 5?
l
Let d = 59 + -63.8. Let v = d - -5. Let o = 2/63 - 71/252. Which is smaller: v or o?
o
Let w = -342 - -663/2. Let t = 43/4 + w. Is -2/3 at most as big as t?
True
Let c = -10 - -10.4. Let k = 0.2 - 0.6. Let r = k + c. Does r = 1/3?
False
Suppose 2*x - 4 = 8. Let n be -2 - (-5 + (-1)/(-1)). Suppose f - n*y - 3*y - 1 = 0, -3*f + 16 = -2*y. Is x != f?
False
Let u = 2 - 1. Let t(j) = -j**3 - j - 3. Let y be t(0). Is y smaller than u?
True
Let x(m) = m**2 + 7*m - 6. Let q be x(-8). Suppose 0 = q*l - 5*z - 4 - 6, -3*l = z + 2. Is l greater than or equal to -4/9?
True
Let c(g) = 4*g + 35. Let l be c(-8). Which is smaller: -1 or l?
-1
Let l be (-1 + 0/(-3))*0. Suppose -5*i - 25 = 5*f, l*f + 1 = f - i. Let o = -32/39 - -2/13. Which is bigger: o or f?
o
Let y be (-7)/(-14) + 14/(-4). Which is greater: 2 or y?
2
Let i = -10 - -10.18. Let a = -0.12 - i. Is -0.2 < a?
False
Let r = -0.35 + -0.05. Let o = r - -0.2. Let w = 1.7 - 1.6. Which is smaller: w or o?
o
Let h = 23 - 23. Is -41 < h?
True
Let b be 5 + -5 + 0 - (3 - 1). Let l = 0 + 3. Suppose l*t - 2*t = -3. Is t at most b?
True
Let l = 688/1629 + 4/181. Is l at most as big as 2?
True
Suppose -h - 6 = o + 2*o, 3*h = -4*o - 8. Let r be 78/12 + o/(-4). Which is bigger: -1/3 or r?
r
Let w(c) = -c - 12. Let v(k) = 1. Let g(f) = 5*v(f) + w(f). Let r be g(-7). Let t be (r + 1 + 0)*2. Which is smaller: 4 or t?
t
Suppose 2 - 4 = 3*z + 2*j, 2*z + j + 1 = 0. Suppose z = b + 1 + 9. Is -10 <= b?
True
Suppose -4*z = 5*g, 2*g - g = 3*z. Which is greater: -1/12 or g?
g
Let v = -3.9 - -4. Let k be -1 + 0 - 0/(-2). Which is greater: v or k?
v
Let l be (-92)/(-90) - (-8)/(-10). Which is bigger: l or 1?
1
Let i = -107 - -98. Let d be ((-4)/6)/((-1)/(-15)). Is d equal to i?
False
Suppose -g = g - 6, 4*k + 37 = -5*g. Let p = 9 + k. Supp