 - 2. Let j be n(2). Let h = j - -4659/4. Let y = -23 - h. Is 0 >= y?
False
Let d = 943/2 - 459. Let f = -12 + d. Let b be (-18)/(-36) - 6/(-4). Is b at least f?
True
Let v be 0 - (1 + 39/(-27)). Let g = -2 + 3. Which is smaller: g or v?
v
Let f = 3 - 0. Let q = -1 + f. Let b = 1 - q. Which is greater: 0 or b?
0
Let d(a) be the second derivative of -a**3/6 + 19*a**2/2 - 7*a. Let j be d(9). Is j > 11?
False
Suppose -3*u - 20 = u. Is -8 at most as big as u?
True
Let z be 35/(-2) + 9/(-18). Let x = 53/3 + z. Is -1 at least x?
False
Let w(r) = 3*r**2 - 1. Let d(p) = -p - 5. Let g be d(-6). Let k be w(g). Let z = 2 - k. Which is greater: -2/9 or z?
z
Let h = -9314/5229 - -2/581. Let k = -167/99 - h. Let l(g) = -g**3 - 5*g**2 - 5*g - 4. Let w be l(-4). Is w greater than or equal to k?
False
Let h be (-305)/(-35) + 4/14. Are 9 and h equal?
True
Let w = -0.19 - -0.09. Is -1/10 less than w?
False
Let u = 121 - 850/7. Is 0 > u?
True
Let o = 0.2 - 0.5. Let x = -3324/7 - -474. Let u = x - -17/28. Are o and u equal?
False
Suppose 0 = 5*o - 4*m + 33, 5*o + 2*m = 5*m - 36. Let d be (-6)/o*(-3)/(-11). Which is smaller: 1/4 or d?
d
Let p = -12 - -27. Which is greater: p or 13?
p
Let z = 1 + -1. Suppose -8*k + 6 = -14*k. Are k and z unequal?
True
Suppose -r - 4*l = 1, 5*r - 2*l = -3 - 2. Let c = r + 5. Let p(z) = z**3 + 6*z**2 + 5. Let i be p(-6). Which is smaller: i or c?
c
Let y(p) = -2*p + 3. Let t be y(3). Is t >= -3?
True
Let i(j) = 7 + 2*j**2 + j**3 - 7*j - 8 - 8*j**2. Let y be i(7). Let p = -103/414 - 9/46. Which is smaller: y or p?
y
Let m = 10 - 6. Let t(f) = f**3 - 3*f**2 - f - 4. Let w be t(m). Let c be w/(-44) + 13/11. Is 2 equal to c?
False
Let l be ((-5)/(20/(-6)))/6. Let w be ((-1)/(-10))/(12/50). Let b = l + w. Which is smaller: b or 1?
b
Let f be -3 + 1/(2/4). Let n = 1.51 + -0.11. Which is greater: n or f?
n
Suppose -r - 5*d - 16123 = 0, r = -0*r + 3*d - 16139. Let u = 65061/4 + r. Let h = 133 - u. Is 0.3 bigger than h?
False
Let h = -59716/73 + 818. Is 1 at most h?
False
Let f = -16.9 + -5.1. Let r = 21.8 + f. Which is smaller: r or -10?
-10
Let s = 4.24 - -0.76. Let o be 4/14 - 30/56. Which is greater: o or s?
s
Let h = 57 - 60. Let n(i) = -i**2 - i - 2. Let g be n(0). Is h at most g?
True
Let z(j) be the second derivative of -9*j**5/20 - j**4/12 + j**3/6 + j. Let n be z(1). Let g be (12/(-40))/(n/(-4)). Are 0 and g non-equal?
True
Let s(w) = -w**3 + 13*w**2 + 10*w + 43. Let t be s(14). Which is smaller: t or -11?
t
Let l = -16 + 33. Let f = 3 - l. Which is smaller: f or -15?
-15
Let z(i) = -i**3 - 13*i**2 + 16*i + 21. Let r be z(-14). Let y be 1*(9/r - 0). Is y less than or equal to -2?
False
Let v be (-26)/(-10) - 12/20. Let j be 2/(-4)*v*0. Let t be (-10)/4*4/25. Which is smaller: t or j?
t
Let b = 18 - 17.82. Let u = 0.08 - b. Which is bigger: -9 or u?
u
Suppose -r + 4*r = -12. Suppose 7 = 4*o + 11. Is o <= r?
False
Let x(t) = 3*t**2 - 2*t - t**2 + 5*t. Let b be x(-2). Let w be 8/5 - 2/(-5). Is b less than or equal to w?
True
Let z be 5/(-3) + (-6)/(-9). Is 1/8 greater than z?
True
Let m = -3/113 - 41/2712. Which is greater: 0 or m?
0
Let v(h) = h + 3. Let x be v(-3). Let j = 14 + -13. Which is greater: j or x?
j
Let z = 752/45 + -50/3. Which is bigger: 0 or z?
z
Let g(z) = -z**2 + 2*z + 7. Let q be g(4). Is -0.5 smaller than q?
False
Let u = 0.183 + 0.317. Let f be -1 + -1 - -6*1. Suppose w + f*w = 0. Which is greater: u or w?
u
Let o = 2.2 - 2. Let z = -6 + 7. Which is greater: o or z?
z
Suppose -3*t = -t - 8. Is t smaller than 5?
True
Let o = 2 - 2. Let a = 2 + 0. Suppose -a*p = -0*p. Is o bigger than p?
False
Let c(t) = 2 - 3*t - 3*t + 5*t. Let o be c(3). Which is smaller: -1/8 or o?
o
Let t = -5 - -5. Suppose -3*b = -2*r - 14, t = -2*r - 3*b + b + 6. Let z be 0/(-1)*3/(-6). Is r >= z?
False
Let x = 23 + -21. Which is bigger: 1 or x?
x
Let n = 213 - 467. Let d = n - -3812/15. Are d and -2 nonequal?
True
Let f = 0.06 + 0.5. Let i = f - 0.6. Let s = i - 0.06. Which is bigger: 0 or s?
0
Let m be (-1 - -1) + (6 - 5). Suppose 5*z + 14 - 4 = 0. Let q be z - 7*9/(-30). Is q >= m?
False
Let c = -18 + 27. Let b = -29 + 27. Let v be b/4 + c/(-6). Is -2/3 >= v?
True
Let c = 8 + -4. Suppose 0*w = -c*w. Suppose 0 = -o - w - 1, -2*a - 1 = o. Which is smaller: a or 1?
a
Suppose 2*p = -1 - 1. Let w be (-2)/(-8) + 33/(-100). Does w = p?
False
Let o be (7 - -1)/(2 + 0). Let w be o + (-2 + -4)/3. Let t be (-1*w/4)/(-1). Is t less than -0.1?
False
Suppose -5*q - 29 = -q + 5*k, 3*k + 15 = 0. Which is bigger: q or -2/9?
-2/9
Let p be (-2)/4*(-488)/(-460). Let s = 3/23 + p. Let g be (-1 + 0)/(2/(-2)). Is s greater than or equal to g?
False
Let h(u) = -u**2 + 7*u + 8. Let k be h(8). Which is smaller: k or -2/3?
-2/3
Let v be -136 + (1 - (-4)/(-2)). Let w = 115448 + -1037801/9. Let m = w + v. Which is bigger: m or -0.1?
-0.1
Suppose -h + 1 - 6 = n, -3*n - 4*h - 17 = 0. Let y be 16/80*1*5. Let a be -3*y/n*-1. Is 0 bigger than a?
True
Let d = 13 - 12. Is d != -4/23?
True
Let u be (-11)/(-5) - (-3)/(-15). Let w be (u + -1)*(2 - 1). Let s(o) = 2*o + 1. Let q be s(w). Which is greater: q or 2?
q
Let a be (-4)/(-12)*(1 - -14). Let c = -8 + a. Let y = 3 + c. Which is bigger: y or -1/3?
y
Suppose 3 + 5 = -2*m. Let g be (m/6)/(4/(-6)). Suppose -g - 2 = -n. Is 3 at most n?
True
Let y = 106 + -102.05. Let u = y - -0.05. Let n = u - 2. Are n and 0.1 unequal?
True
Let i be (-2)/4*(-3 + -3). Suppose -4*f - i = 17. Are f and -4 equal?
False
Let q(p) = 4*p**2 - 1. Let i(y) = -y**3 + 5*y**2 - 1. Let w(b) = 3*i(b) - 4*q(b). Let f be w(-1). Suppose -2*k = k - f. Which is smaller: k or 2/9?
2/9
Let n(b) = b**3 - 22*b**2 + 20*b + 22. Let w be n(21). Let z be 2/(-42) - 2/(-6). Is w greater than or equal to z?
True
Let b be (-1)/4 - (2 - (-27)/(-12)). Let d = -114 + 2620/23. Which is smaller: d or b?
d
Let v be ((-28)/(-7))/20 - (-1 + -3). Which is smaller: 3 or v?
3
Suppose -6 = -2*q + q - u, 4*q - u - 19 = 0. Are 7 and q non-equal?
True
Let n = 5 - 10. Let r = n - -5.3. Let c = r - 0.5. Which is smaller: 2/3 or c?
c
Let s = -6.9 - -0.9. Let w = s + 3. Let a = 0.06 + 0.04. Does w = a?
False
Let r = -99/428 + -2/107. Let t = 19 + -11. Let f be (-1)/2 - (-12)/t. Which is smaller: r or f?
r
Let v = 12.9 + -13. Is v less than or equal to 2/11?
True
Let w = -5389729/736 - -7323. Let s = w + -102301/2208. Let c = 47 + s. Which is greater: c or -1?
c
Suppose k - 16 = 4*a, 0 = 2*a + 5 - 1. Let y = -3 + k. Suppose v = -y*p + 25, -5*v - 1 = -2*p + 9. Which is smaller: -4 or v?
-4
Let r(u) = -14 - u + 26 + 0*u. Let x be r(10). Let q be (1 - (-3)/(-2))*x. Are q and -2/9 unequal?
True
Let w = 26.022 + -0.022. Is -0.2 at least w?
False
Let z = -4 + -5. Let t(x) = x**2 + 9*x + 4. Let q be t(z). Suppose -q*n + 8 = -4*o - 0*o, 5*o + 2*n = -10. Is -1 > o?
True
Suppose 4*i = -9 + 21. Which is smaller: 4 or i?
i
Let q(n) = n + 3. Let r be q(-5). Which is smaller: -9/4 or r?
-9/4
Let k(y) = -y + 3. Let p be k(2). Suppose 4*z - z + 99 = 4*l, 0 = -2*l - 3*z + 63. Suppose 5*a = j - l, 20 = 2*a - 6*a. Is j < p?
False
Let o = 9381/28 + -1331/4. Is 3 at least o?
True
Let n(q) = q**2 - 5*q - 4. Let w be n(6). Let v(y) = -y**3 + 2*y - 1. Let k be v(1). Which is smaller: w or k?
k
Suppose 0 = 5*n - 8 + 3. Let h be (((-150)/(-45))/10)/((-13)/3). Which is smaller: n or h?
h
Let r = -0.09 + 0.1. Let c = 1.01 - r. Is 0.2 less than c?
True
Let i = 12 - 13. Is -1 at most as big as i?
True
Let n = 33 + -162/5. Let r be ((-3)/2)/(3/(-4)). Which is smaller: r or n?
n
Let d = 598/133 + -23/19. Let y = d + -543/161. Which is greater: 2 or y?
2
Let k = 0.9 + 0.1. Is k less than -2?
False
Let p be (-6)/8 - (-2)/4. Let z(f) = 15*f + 76. Let o be z(-5). Is o at least as big as p?
True
Let s(n) = -2*n**2 + 24*n + 3. Let w be s(11). Which is smaller: w or 0?
0
Let y = -24 + 23. Which is bigger: y or -2/33?
-2/33
Let x = -547 - -11489/21. Suppose -13 = -3*a - 3*j + 8, 0 = -2*a + 3*j + 29. Suppose -5*z - 19 = 4*m, 2*z + a = 4. Which is greater: x or m?
x
Let v = 9 - 39. Which is smaller: 0 or v?
v
Suppose -5*c + 25 = -5*k, 5*k + 6 = -4*c - 10. Suppose c = 2*t - b, 3*t - 3*b = 2*t - 2. Is 1/4 at least as big as t?
False
Let w = 2 + -1.5. Let z = -2.5 + w. Let d = z - -4. Is -0.1 at least as big as d?
False
Suppose 0*w = -3*