e 4/o*99/(-22). Which is bigger: z or -5?
z
Let l = -1.5 + 1.6. Suppose 5*w - 5 + 0 = 0. Is l at least as big as w?
False
Let n(v) = -v. Let j be n(-2). Suppose -4*z + 67 = -189. Let c be 15/(-6)*z/(-100). Which is smaller: c or j?
c
Let l(s) = -5*s + 98. Let o be l(16). Is o at least as big as 55/3?
False
Let p(g) = g**2 + 106*g + 23. Let q be p(0). Let c = 43 + -17. Which is smaller: c or q?
q
Let z be ((-53)/4)/(7/(-28)). Let j = -17 + z. Suppose 4*c + 3 = -3*p + 33, 5*c - j = -3*p. Is 5 less than or equal to c?
True
Let c be (-14)/(-21)*18/4. Let r be c - 3 - (-618)/9. Let w = r - 68. Is w bigger than -0.9?
True
Suppose -8*k + 3*k - 4*y - 16 = 0, k + 3*y + 12 = 0. Let p = -14 - -12. Which is smaller: p or k?
p
Let r be (-48)/(-20) - (-8)/(-20). Suppose -7*c + r*c = 0. Let h = 2 + c. Is h >= 2?
True
Let i be (-2)/6 - (-226)/(-60). Is i > -4?
False
Let s = -163 + 163. Is s at least -8/17?
True
Let i(z) be the third derivative of z**6/120 - z**4/24 - z**3/6 + 2*z**2. Let x be i(0). Let h be (12/30)/((-2)/(-5)). Is h <= x?
False
Let x = -11.6 - -11.7. Let l = -4.99 - -5. Let v = 0.05 + l. Which is greater: x or v?
x
Let l(y) = 3*y**3 + 0 - 5 - 5*y**3 - 4*y - 5*y**2 + 3*y**3. Let w be l(5). Let h = 327/13 + w. Which is smaller: h or -1?
-1
Suppose 4*g - 3*n = -2*n - 47, -5*g + 3*n - 50 = 0. Which is greater: g or -12?
-12
Suppose -8 = -m - 3*m. Suppose -140 = m*n + 3*n. Let l be n/(-35)*(-50)/(-4). Is 10 at most l?
True
Let p be 1 - 1 - (-1 + -660). Let n = 2657/4 - p. Which is bigger: 0 or n?
n
Let x be ((-8)/(-20))/(1/(-10)). Let t = -2 + x. Let q be (-9 + (-152)/(-16))*-8. Are q and t nonequal?
True
Let d = -105 + 99. Let u(y) be the third derivative of y**4/8 + 17*y**3/6 + 2*y**2. Let z be u(d). Which is smaller: z or -1/20?
z
Let c be (99/(-15) - -7)/(1/(-65)). Which is greater: -27 or c?
c
Suppose 0*k = 4*k + 52. Let z(o) be the first derivative of o**3/3 - o + 31. Let v be z(0). Which is smaller: k or v?
k
Let w be 2 - ((-544)/(-4))/(-2). Suppose 21*g - 26*g = -w. Let x be 10/g + 2/7. Which is smaller: 1/4 or x?
1/4
Suppose -3*n - 7 = -4*p, -n + 23 = p + 4*p. Suppose 0 = -4*f + 16, n*m = 3*f - 6*f + 15. Let d be 1/21*(-4)/(-2). Which is greater: d or m?
m
Let l = -4 - -3. Let c = 2807/191936 - -3/2999. Is l >= c?
False
Let m = -44 + 24. Let r = -2 + -19. Which is smaller: r or m?
r
Let f(s) = -s**3 - s**2 + s. Let j be f(2). Suppose -10*r + 7*r = -5*z - 34, 0 = 5*z + 2*r + 44. Which is bigger: z or j?
z
Let x = -2428/80451 + -2/1277. Is x >= 0?
False
Let d(i) = 3*i**2 + 26*i - 9. Let x be d(-9). Which is smaller: 1/87 or x?
x
Let b be 217/62*(-24)/14. Is b at least as big as -24?
True
Suppose -4*s + 8*s = -84. Let c(z) = 2*z**3 - 2*z**2 - 2*z - 2. Let l be c(-2). Which is smaller: l or s?
l
Suppose 76 = t + 70. Which is smaller: -0.02 or t?
-0.02
Let c(v) = -4*v**2 - 10*v + 11. Let t = -4 + -1. Let y be c(t). Is y greater than or equal to -38?
False
Let q = -0.55 - -0.55. Let t = 13.6 - 12. Is q > t?
False
Let j(s) = -53*s + 61*s - 8 - 8*s**2 - s**3 + 2*s**3. Let u be j(7). Let n = -3/8 + 17/24. Does u = n?
False
Suppose 46 - 406 = 9*h. Is h less than or equal to -39?
True
Let a be (1547/936 + (-5)/3)*1. Which is greater: -1 or a?
a
Suppose -o = 4*o - 10. Suppose -4*h - 2*w - 7 - 15 = 0, 2 = -o*w. Suppose -2 = 2*f + 6. Is f at least as big as h?
True
Let f be 2/168*((-20)/30 - -2). Is f bigger than -1?
True
Suppose 351 = -3*i - 27. Let j = -373/3 - i. Let u = -12 + 15. Is u equal to j?
False
Let r be ((-2)/3)/((-4)/6). Let d(t) = -t**3 - 58*t - 192. Let z be d(-3). Which is smaller: z or r?
r
Suppose r = -2*u + 23, r + 2*r + 41 = 4*u. Suppose -4 - u = p. Is -16 at most as big as p?
True
Let z be (3 - (-1 - -4))*(0 - -1). Let b be 1*(z + 3) - (-23)/(-8). Let u = 2 + -1. Do b and u have the same value?
False
Let i be (-2 + 115/20)/(3/(-8)). Let y = -1 - i. Is 8 at most y?
True
Let z = -0.44 - -0.51. Let g = -191/10 + 37/2. Is g smaller than z?
True
Let a = 157 - 278. Which is greater: -120 or a?
-120
Suppose 30 = 2*h - 6*h - 2*m, h - 2*m = -10. Let d be (-46)/h + 3/12. Let g = d - 9. Which is smaller: g or -3/2?
g
Let x be (9/(-6))/3*0. Suppose x = -3*y + 4*n + 7, -4*n - 6 + 1 = -y. Is y less than -2/105?
False
Let j be 2/18*(-8)/16. Let m(b) = -b**3 - 2*b**2 + 1. Let z be m(-2). Which is bigger: z or j?
z
Let v be (-4)/(1 + (-20)/28). Let n be 77/21 - (2 + v/6). Is n less than 1?
False
Suppose 2*y + 168 = 4*c + y, -5*c + 210 = -y. Let m = c - 47. Is m less than -7?
False
Let k = 210.66 + -209. Is 0 equal to k?
False
Let k = 47.72 - -0.28. Let v = k - 49. Which is smaller: -21 or v?
-21
Suppose 3*q - 6*t = -11*t + 203, 3*q = -4*t + 199. Let b = 64 - q. Is 12/7 != b?
True
Let r = -522 + 523.1. Which is bigger: -61 or r?
r
Suppose -8 = -4*z + 3*z. Let j = -77 - -112. Let f(s) = -s**2 + 33*s + 78. Let r be f(j). Is z at least r?
True
Let w(i) be the first derivative of -i**3/3 - i**2/2 + i - 6. Let z be w(2). Let c be 16/40*z/3. Which is smaller: c or -1?
-1
Let k = 124952/5 - 25090. Let q = -100 - k. Is q > 1/4?
False
Let y(l) = 3*l - 10. Let i be y(6). Suppose -9*x + i*x = 9. Is x at least -9?
True
Let m = 0.35 + 0.14. Let p = 0.49 - m. Is -1.5 bigger than p?
False
Suppose -4*v - 700 = y - 45, -2*v + y - 323 = 0. Does -657/4 = v?
False
Suppose 0 = -4*m + 5*c - 20, 4*m - c = -m - 4. Let p be (234/(-3952))/(15/(-20)). Which is smaller: m or p?
m
Let g = 17.553 - 0.153. Let u = -17 + g. Let j = -0.08 - -4.08. Are j and u equal?
False
Suppose -7*l - 14 = 21. Let d(v) = 3*v + 7. Let g be d(l). Are -7 and g unequal?
True
Suppose -4*o + 5*v = -25, 1 = v - 2. Let s be ((-36)/o)/(15/(-200)). Let n be -50*(-3)/s - 3. Is n != -1?
True
Let h = 2543 - 2567. Let d be (-182)/8 + (-1)/4. Is d <= h?
False
Suppose 0 = -18*y + 96 + 30. Let r(j) = 9*j - 60. Let d be r(y). Let n be 9/2 + (-2)/4. Which is greater: n or d?
n
Let u(h) = h**3 + 5*h**2 + 4*h - 5. Let q be u(-4). Let v(b) = 9*b + 3. Let y be v(-1). Which is smaller: q or y?
y
Let h = 159.1 + -79.5. Let r = h + -80. Is r >= -12?
True
Suppose -2 = 4*f - 10. Let q = 249 - 246. Suppose 21 = 5*j - q*s, -3*j = 3*s - 1 - f. Which is greater: j or 1?
j
Let a be (-1)/((-10)/8) + 689/795. Do 0.28 and a have different values?
True
Suppose 119 = 12*l - 289. Which is smaller: l or 233/7?
233/7
Let c = -9 - -5. Suppose -6 = -q + k, -3*q + 1 = k + 3. Which is smaller: c or q?
c
Let k(y) = y**3 - 13*y**2 + 5*y + 39. Let i be k(12). Is 0 bigger than i?
True
Let t = 3/650 + -3469/47450. Which is smaller: 1 or t?
t
Let o = 2/3893 - 31274/253045. Let d = o - -28/65. Suppose 0 = -u - b + 3, 3*u - 5*b = -b - 12. Is d < u?
False
Let l = 13 + -9. Let z be (0 + l)/((-5)/10). Let x = -11 - z. Which is smaller: x or -2?
x
Suppose -3*n = -4*n - 21. Let b = 19 + n. Let z be (b - 0 - -5)/(-11). Which is smaller: 1 or z?
z
Let q = -30 - -11. Let n = -21 - q. Is 17 <= n?
False
Let k = 90 + -79.25. Let b = k - -0.25. Let a = -10.9 + b. Are -3/7 and a unequal?
True
Let s be 2 + 36/(-15) - 3/(-20). Do 56/13 and s have the same value?
False
Suppose -6*s + 71 = -19. Suppose 5*p + 17 = -2*b, -26 = -4*b + 5*p + s. Let w = -7 + 12. Which is smaller: b or w?
b
Let t(j) be the third derivative of -13*j**6/120 - j**4/24 - 4*j**2. Let q be t(-1). Suppose -3*f = a + q, -18 = -a + f + 4*f. Which is smaller: a or -3?
-3
Let f = 8.5 - -155.5. Is f smaller than 2/5?
False
Let h be -4 - (-1 + 2 + -1). Is -30/7 at least as big as h?
False
Let v = -1.96 - 0.04. Let d = -15 + 5. Let r = d + 9.5. Is r greater than or equal to v?
True
Let l be (-5)/(6 - 12/1). Which is greater: l or 1?
1
Let c(b) = 36*b + 211. Let v be c(11). Which is bigger: v or 606?
v
Let x = -18 + 20. Suppose -12 = -3*v - 5*z, 3*z - 8 = -x*v - 1. Does v = 61?
False
Let x(z) = 2*z**3 - 6*z**2 - 39*z + 16. Let y be x(6). Which is smaller: y or -6?
-6
Let p(x) = x**3 + 5*x**2 + 2*x + 15. Let i be p(-5). Suppose 3 - 6 = t + 3*q, -i*t - 5 = 5*q. Is -43 >= t?
False
Let m(n) = 5*n - 336. Let v be m(38). Which is bigger: -147 or v?
v
Let p = -151 - -189. Is p at least as big as 39?
False
Let x = -45 + -50. Let v = -94.76 - x. Is 1 < v?
False
Let f = -13.65 - 0.35. Let c = 0.243 - -6.757. Let v = c + f. Are v and -1 unequal?
True
Suppose 4*h + 4 + 96 = k, -30 = h + k. Which is smaller: -