*l + 5*l, -l - 18 = -2*z. Is -17 bigger than l?
False
Let f = 5 + -1. Let d = 4 - f. Is -4 < d?
True
Let y(j) = -j**3 - j**2 + 3*j + 1. Let d be y(-2). Let h be (d/(-5))/((-2)/(-10)). Is h bigger than 3?
False
Suppose l = -4*y - 5, 2*l = 3*y + 1 - 0. Let r = 15 + -23. Let z be r/6*6/124. Is z at most l?
False
Let f = 1.1 - 1. Which is greater: 17 or f?
17
Let y(k) = k**3 - 5*k**2 - 5. Let u be y(5). Is u < -37/6?
False
Let h = 248/35 + -34/5. Let l be 2/14 - (-15)/(-35). Which is smaller: h or l?
l
Let a(u) be the third derivative of -u**6/30 - u**5/60 + u**3/6 - 2*u**2. Let m be a(-1). Is 1/4 smaller than m?
True
Let v be (0/(-2))/(-2 + 1). Let b = 81 - 51. Let x be (b/(-7))/3 + 1. Which is bigger: x or v?
v
Suppose -3*i + 14 = -4. Let t(a) = -a**2 + 10*a - i - 2 - 2. Let w be t(9). Which is bigger: 1/5 or w?
1/5
Let q = 12.978 - 13. Are 0.1 and q non-equal?
True
Let x = 0 + 2. Let w = -12 - 8. Let g be (4/10)/((-16)/w). Which is bigger: x or g?
x
Let w = 2 + -7. Let h = w + 4.98. Let g = h + 0.02. Which is smaller: g or -1?
-1
Suppose 22 = -3*g + 4. Let b = 6 + g. Which is smaller: b or 1/4?
b
Let p = 8.8 + 0.2. Let n = -8.9 + p. Let x = -0.11 - 3.89. Is x < n?
True
Let l(k) = -3*k. Let m(t) = -2*t. Let w(f) = 3*l(f) - 5*m(f). Let p be w(6). Let a = p - 3. Is a at most as big as 2?
False
Suppose -3*s - 3*n - 21 = 0, -3*n = 5*s + 35 + 6. Let g be (-4)/s - 26/40. Is g greater than or equal to -2?
True
Let o = 14 + 6. Suppose 2*u - 4 = -k, -4*u + o = u. Suppose 6*a = -9*a - a. Which is smaller: k or a?
k
Let a(m) = -m + 9. Let r be a(7). Let x = 0 - -1. Let n = x + -1. Do r and n have different values?
True
Let u be ((-14)/(-5))/((-16)/10 + 2). Which is smaller: u or 5?
5
Let y = 141 - 427/3. Let d = 41/24 + y. Let m be (-2)/5*(-1 - 0). Is m equal to d?
False
Let j be -6*2/((-12)/22). Suppose 0 = 2*k - k - 5*z + j, 2*k + 2*z = -8. Let o(q) = -6*q. Let v be o(1). Is k >= v?
False
Let g(z) = -z + 6. Suppose -2*l - 50 = -5*a, l - 6*l = a + 17. Let o be g(a). Let v = 614 - 4308/7. Is o at most as big as v?
True
Let c = -0.24 + -11.76. Let p(m) = 44*m - 265. Let q be p(6). Which is smaller: q or c?
c
Let r = 0.3 + -0.3. Suppose 144*j - 60 = 138*j. Which is smaller: j or r?
r
Let h be 4/(4/3) - 3. Let u = -1 + 0. Let g be 0 - h - u - 2. Which is greater: -1/4 or g?
-1/4
Let k be 6/(-45) + 8/210. Which is smaller: k or -0.1?
-0.1
Suppose 2*p + 3*b - 25 = 3, -5*b + 28 = p. Is -1 >= p?
False
Let i = -5 - -5. Let k = -50 + 552/11. Which is greater: k or i?
k
Let n = -413/3 + 132. Is n bigger than -5?
False
Suppose -5*a + 21 = 2*h + 2, 2*a = 2*h + 2. Are 2 and h nonequal?
False
Suppose t = -0*t + 9. Let b = 9 - t. Are 2/33 and b equal?
False
Let a(m) = m**3 + 3*m**2 - 5*m - 3. Let n be a(-4). Suppose -2*d + 6 = d. Is d at least n?
True
Let p be (-1)/((14/3)/1). Let v = p + 1/70. Let b = -9 + 10. Which is greater: v or b?
b
Let k = 823917/85 - 9693. Let q = 49/544 + -1/32. Let w = q + k. Which is bigger: 1 or w?
1
Let o(a) = -a**2 + a + 1. Let u be -3*1 + (3 - -4). Let s(f) = -f**3 - 9*f**2 + 12*f + 12. Let q(w) = u*o(w) - s(w). Let r be q(-6). Is r greater than 4?
False
Let s be (0/2)/((-1)/(-1)). Let z = 2.84 - 2.24. Which is smaller: s or z?
s
Suppose -l = 3*s - 1, -2*s - l + 6 = -3*l. Suppose -r + 0 - s = 0. Which is greater: 3 or r?
3
Suppose 2*p - 9 = 3*u, u + 5*p = -0*u - 20. Which is bigger: u or -3?
-3
Suppose 0 = 2*s - s + 2, 13 = t - 5*s. Suppose -2*g = 0, -2*d + g = 2*g. Suppose -3*n - 6 + 3 = -t*v, -2*n = d. Is 1/4 less than v?
True
Let i = 0.3 - 0.2. Let q(m) = -m**3 + 3*m**2 - 3. Let w be q(3). Is w at most i?
True
Let w = 104/63 + -11/9. Let c = 0.2 - 0.3. Let o = -0.2 - c. Which is smaller: w or o?
o
Let d = 36.3 - 42. Let f = -6 - d. Which is smaller: 2/3 or f?
f
Let t = -3 + 2. Let a = 34 + -64. Let b be 9/(-15) - 28/a. Is t smaller than b?
True
Let z = -2.0034 - -0.0034. Let d = -1.2 + 0.1. Are d and z non-equal?
True
Let w = -2 - -4. Let n be -3*1*(w + -1). Is n > -3?
False
Let t(z) = z - 4. Let q be t(4). Is 4/5 less than q?
False
Let q be (-4)/(-4*(-2)/(-4)). Is q smaller than 3?
True
Let l = 96 - 379/4. Suppose -5*f = -5*b - 15, -3*b - 4*f - f = -23. Suppose y = -z + 2, 2*y - 6*y = -3*z - b. Is l equal to z?
False
Let o be (-2)/(-7) + 19/(-21). Let p = -2/7 - o. Which is greater: p or -0.5?
p
Suppose -b - 18 + 4 = -3*s, 2*s - 8 = 0. Let x = b - -2. Let q = -118 - -588/5. Is x < q?
False
Let r = -15.8 + 16. Let h = 23.2 - 21. Let c = r - h. Is 1/2 at most c?
False
Let c(s) = -2*s + 2. Let p be c(1). Is p > 2?
False
Let c = 16 + -18. Which is smaller: c or 3?
c
Suppose 2*s = -4*z + 18, -2*s + 3*s + 21 = 4*z. Is z at most 6?
True
Let j = -0.4 + 0.3. Suppose -3 = -3*a - 0. Which is bigger: a or j?
a
Let g(k) = -k + 32. Let m be g(8). Is m > 22?
True
Let n = -6 - -20. Let i(c) = c**3 - 13*c**2 - 14*c + 7. Let l be i(n). Suppose -l*g - 20 = -2*g. Is g > -3?
False
Let x = 34 - 20. Let u = x - 17. Which is bigger: u or -4?
u
Let x be 1/((-24)/81) - 9/6. Do -4 and x have the same value?
False
Let z(v) = -v**3 - 10*v**2. Let c be z(-10). Is 1/4 less than c?
False
Suppose 0 = -6*u + 4*u + 16. Suppose 0*n = -3*w + 2*n + 18, 0 = 5*w + 2*n - 30. Which is smaller: w or u?
w
Let m(w) = -w**3 - 10*w**2 - 8*w - 11. Let z be m(-9). Which is smaller: z or 0.1?
z
Suppose 5*m - 2*l + 30 = 0, 4*l = 16 + 4. Let r be m/(-3)*6/4. Suppose w + r = -3. Is w != -4?
True
Suppose 0 = 4*i - 2*i - 4. Is i > 3?
False
Let a be (-2 + 21/7)*0. Let i be 6/9 + 40/3. Let n be (-3)/i*(-8)/6. Is a smaller than n?
True
Let r = 2.1 + -2. Is r at most as big as 5?
True
Let f = -12 + 12.11. Let m = f - 6.11. Let r = m - -6.1. Which is bigger: 4/9 or r?
4/9
Let y = -69 + 65.1. Let q = y - -4. Which is bigger: -1 or q?
q
Let d be 2/(-5) + 7/30. Suppose 5*h + 25 = 5*p, -4*p + 5 + 15 = -h. Which is bigger: h or d?
h
Let x be (-3)/2*20/(-6). Suppose -z + x = 4*z. Suppose -2 = r - z. Is r at least 0.1?
False
Let o = 7 - 12. Let d = o - -9. Suppose -2*v + d = 2*v. Is -2 greater than v?
False
Let a(u) = u**2 - u - 4. Let q be a(0). Is q <= -4?
True
Let c = -1 - -0.8. Let s = c - -0.1. Do s and -0.1 have different values?
False
Let z = 206/3 - 69. Is z at least -39?
True
Let m = 1294 + -547. Let j = m - 1433/2. Let p = -33 + j. Is -3 at most as big as p?
True
Let c be 1*12*(-4)/(-6). Suppose 4*i = c - 0. Let z be i/(-4)*(-20)/15. Is 2 > z?
True
Let h(p) = -p**3 - 6*p**2 - 6*p - 7. Let z be h(-5). Let b be (2 - 0)/((-2)/4). Do b and z have different values?
True
Let z = -40.1 - -40. Let u(b) = b**2 + 7*b - 3. Let t be u(-7). Let y = -3 - t. Which is bigger: y or z?
y
Let n be ((-2)/6)/((-10)/50). Are 2 and n nonequal?
True
Let g be (-2 + 3 + -1)/(-1). Let i = -1 + g. Which is smaller: i or -1/13?
i
Let q = -15 + 16. Is q equal to -2/5?
False
Suppose -2*p - 6 = 0, -2*p = -3*d + 3 + 3. Is d <= -3/7?
False
Let c be 22/((24/57)/4). Let o = -190829 + 2096818/11. Let q = c + o. Which is smaller: q or 1?
q
Suppose 0*t = -3*t - 10560. Let o = t - -17283/5. Let v = o + 63. Which is smaller: 1 or v?
v
Let t = -0.33 + 0.15. Let k = t - -0.18. Is k < -10/3?
False
Let c = -6 + 6.1. Which is smaller: 0.06 or c?
0.06
Let x = 131/15 - 47/5. Suppose -3*h + 6*h + 4 = n, h = 0. Suppose -g + 6 + 8 = -5*i, -4*g + 8 = n*i. Which is bigger: i or x?
x
Let h(q) = -3*q. Let m be h(-1). Let w = 15 + -9. Suppose w*n + 16 = -m*p + 2*n, -3*p - 8 = 2*n. Which is bigger: p or -1?
p
Let y = 41/11 - 383/88. Which is smaller: y or 2/7?
y
Let f = 1154/9 + -128. Is 3 equal to f?
False
Let n be -4*(-1 - (-2)/8). Suppose -y + n*o - 10 = 0, 4*o = 4*y + 9 - 1. Let w(a) = -a**3 - 22*a**2 - 55*a + 38. Let r be w(-19). Which is smaller: r or y?
r
Let a(m) = -3*m**2 + 6*m - 15. Let n be a(-12). Let q = 3627/7 + n. Which is smaller: q or 0?
q
Let k(v) = -v**3 - 3*v**2 + 4*v - 1. Let l be k(-4). Let u be 90/(-20) + (l - -1). Which is smaller: u or -5?
-5
Let f = -39.67 + 40. Let z = f + 2.77. Let d = z - 3. Which is smaller: -1 or d?
-1
Let z be -2 + 3*8/(-12). Is z <= -4?
True
Suppose -1 = 3*v - 4*s - 15, 0 = 3*v + 3*s. Let q be (v/(-5))/(24/50). Suppose 0 = -24*z + 30*z. Which is greater: q or z?
z
Suppose 7*t - 16 = -9. Is 1/8 > t?
False
Let m be (-32)/(-30)*2 + -2. Let t = 2 - 3. Which is bigger: t or m?
m
Let j = -31 + 76. I