et g be (0 + 2/2)*7. Let n = g - 4. Suppose 5*m + a = -2, -n*m + 5*a + 11 - 1 = 0. Are -3/7 and m equal?
False
Suppose 16 = -5*n + 6. Which is smaller: n or -1?
n
Let t(p) = -4*p - 19. Let v be t(-5). Let q be 14/8 + -3 + 2. Which is smaller: v or q?
q
Suppose -n = 3*p - 8 - 1, 0 = -3*n + p - 23. Let m be ((-3)/(-6))/(n/400). Let w = 33 + m. Which is smaller: w or 1?
w
Let n = 0.56 - 0.06. Let s = n + 0.5. Are s and -1 non-equal?
True
Let t(k) = k**3 + 5*k**2 + 2. Let z be t(-5). Let w(c) = c + 1. Let v(x) = 3*x + 2. Let o(l) = z*v(l) - 5*w(l). Let r be o(2). Which is smaller: r or -2?
-2
Let w = -0.8 - -1. Let h = -3.3 - -3. Is h less than or equal to w?
True
Let g be 21/(-15) - (-16)/40. Let y = 489 + -27871/57. Let a = y - -11/228. Which is greater: g or a?
a
Let f(j) = -2*j - 4. Let q be f(5). Is q less than 2?
True
Let u be 6/(-18) - 4/6. Is 2/45 less than or equal to u?
False
Let r = -10051/9 - -1119. Let o(l) = l. Let g be o(2). Which is smaller: r or g?
g
Let m = 0 + -7. Let d(w) = 2*w + 4. Let n be d(m). Is n greater than -9?
False
Let p be ((-4)/10)/((-2)/(-10)). Let u(a) be the second derivative of -a**5/20 + a**4/3 + a**3 - 3*a**2 - a. Let c be u(5). Which is smaller: p or c?
p
Suppose 0*b - 28 = 2*b. Let m be 3 + 0 + 46/b. Which is bigger: 1/3 or m?
1/3
Suppose 4*z = -0*z + 16. Suppose 76 = 3*o + 1. Suppose -o = -z*s - 1. Is 7 at most s?
False
Let n(g) = 9 - 3*g**2 - g**3 - 24*g + 2*g**2 + 25*g. Let j be n(0). Which is greater: 10 or j?
10
Let s be 3/4 - (4 + (5 - 9)). Let i be (6/(-4))/((-3)/4). Is i > s?
True
Let i = 72 + -72. Is -12 >= i?
False
Let k = -77 - -77.29. Let l = -3.01 + 3. Let d = l - k. Which is smaller: d or -1/2?
-1/2
Suppose -5*a - 5*y = 20, -5*a - 44 = -2*a - 5*y. Let f = 13 - 8. Let v = a + f. Which is smaller: v or -2?
v
Suppose -n - 1 = -0*n. Let u be (3/(-25))/(7/((-35)/9)). Is u equal to n?
False
Let a = -14 - -10. Suppose -23 = 5*x + 12. Let q be x + 1/(3/6). Which is bigger: a or q?
a
Let n be 4/(-1) + 3 + -1 + -1. Which is bigger: -6 or n?
n
Suppose 6*k - 460 = 170. Which is greater: 104 or k?
k
Let t = -11.1 - -4.1. Are 0.2 and t non-equal?
True
Let u(y) = -y - 7. Let g be u(-7). Suppose g = -5*a - 0 - 10. Are -2 and a non-equal?
False
Suppose 4*a - 1 = -4*n - 5, -a = -n + 3. Is a greater than or equal to -5/4?
False
Let d(s) = -4 + s**2 + 14*s - 10*s + 2*s. Let h be d(-7). Which is bigger: 4 or h?
4
Let n(t) be the first derivative of 2 - 1/4*t**4 + 5/3*t**3 - 6*t + 7/2*t**2. Let g be n(6). Is g <= 0?
True
Let o = 5 + -7. Let z be (-3)/5*(-12 - o). Which is greater: z or 4?
z
Let n(y) = -y - 6. Let w(s) = 2*s + 11. Let u(t) = 5*n(t) + 3*w(t). Suppose -3 = 3*q + 6. Let x be u(q). Which is greater: -2 or x?
x
Suppose 6*d - d = 0. Let x = 463/511 + -14/73. Is d greater than or equal to x?
False
Let t = -22 - -37. Which is smaller: t or 14?
14
Let h be -1*(3 + 2)/(-1). Let q be 74/4 - (-3)/(-6). Let b be -1 - (-3)/q*h. Which is bigger: b or 1?
1
Suppose -2*g + 7*l = 2*l + 20, 3*g - 2*l = -19. Is 0 at least g?
True
Suppose 2*x - 26 = 2*i, 2*x + 3*x - 37 = 3*i. Which is smaller: -15 or i?
-15
Let l = 9 - 6. Suppose l = 3*d - 3. Let j be d/4 + (-2)/6. Are j and -3 equal?
False
Let q be ((-3)/2)/((-2)/(-12)). Let l be 2/q + 224/36. Let t = l - 11. Is -5 at least t?
True
Let k = 1 - 2. Let a = 0.05 + -0.14. Let j = -0.59 - a. Is k bigger than j?
False
Let k = 7 - 2. Let f = -4.8 + k. Let q = -0.2 + f. Which is smaller: -3 or q?
-3
Let r = -1864/3 + 615. Let p = r - -20/3. Which is smaller: -0.2 or p?
-0.2
Let f = 97/3 - 33. Are f and 3 nonequal?
True
Let p be 8/3*17423/(-28). Let s = p - -1644. Let b = -512/33 - s. Which is greater: 1 or b?
1
Let x = 6 + -15/2. Let v(o) = o**2 - 5*o - 2. Let q be v(4). Let m(s) = -s**2 - 5*s + 3. Let b be m(q). Is b <= x?
True
Let t = 3 - -2. Suppose t*l - 17 = -2. Suppose 2*k - l = -k. Which is bigger: -1/10 or k?
k
Let h = 0 + -7. Let z = h + 5. Let a = z - 0. Is a smaller than -1?
True
Let d(z) = 3*z - 3. Let i be d(2). Suppose 1 = -i*x - 2. Is x > 0?
False
Let r = 8 + -8.03. Let n = r - -2.03. Let k = -0.1 + 0.1. Which is bigger: k or n?
n
Let a be 1125/24 + (-2 - -1). Let v = a + -46. Is -1 at most v?
True
Suppose 6 = 4*x + 10. Is x equal to -1/4?
False
Let n(a) = -9*a**2 - 2*a - 1. Let y be n(-1). Let c be -4*(-5)/(-2) + 3. Let b = y - c. Is b less than or equal to -2?
False
Let t(v) be the first derivative of -v**7/840 + v**6/72 + v**4/12 + v**3 + 2. Let s(d) be the third derivative of t(d). Let j be s(5). Which is smaller: j or 4?
j
Let a = 8 + -5. Let l = -92 + 94. Which is smaller: l or a?
l
Let y = -14333/2292 + 2/573. Are y and -5 unequal?
True
Suppose 0*p + 3 = -3*p. Which is bigger: p or -7/3?
p
Let r = -2 - -1.6. Let u = 0.54 - -0.06. Let y = u - r. Which is bigger: y or 0?
y
Suppose -5*n = -0*n - 10. Suppose n*o + 16 = -p - 3*p, 5*p - 5*o - 10 = 0. Is -2 < p?
False
Let f be (-2)/(-8) - 19/380. Which is smaller: 1 or f?
f
Let z(d) = -d**3 + 3 + 10*d**2 + 11*d + 1 - 5. Let c be z(11). Which is smaller: c or 1?
c
Let b be 4/(-3)*(-9)/(-42). Is b less than or equal to -0.1?
True
Let g be (218/73 - 3)*-2. Which is bigger: g or -1?
g
Let p be ((-6)/(-15))/(3/30). Suppose 5*k = -4*v + 18, -12 = -2*k - 0*k - p*v. Do 2 and k have the same value?
True
Let r = 14 + -5. Let k = r + -8.9. Which is greater: k or -6?
k
Let u be (30/(-20))/((-6)/8). Let g(p) = p**3 - p**2 - 3*p + 2. Let b be g(u). Is b greater than or equal to 1/12?
False
Let v = 2 + -2.8. Let a = v + 1. Is a bigger than 0.4?
False
Let f be 2 + (2 - 0) + -2. Suppose -2 = 8*x - 10*x. Which is greater: x or f?
f
Suppose -5*p = 45 - 10. Let f = 62 - 123/2. Which is greater: f or p?
f
Let z = 10 + -17. Let v = z + 7.11. Is v at most as big as 1?
True
Let o(j) = -j**3 - 3*j**2 + 5*j + 4. Let h be o(-4). Is -2/31 bigger than h?
False
Let n be (-4)/(-18) - (-8)/45. Let p = 0 - 0. Let j = p + 1. Is n <= j?
True
Let t = -45 - -34. Which is bigger: -0.2 or t?
-0.2
Let o(m) = 5*m**2. Let h be o(1). Suppose t + 2 - 6 = 0. Suppose 0 = -4*l + 4*r - 24, -t = -l - r - 0*r. Is l less than h?
True
Let w be 6*((-25)/(-10) - 2). Which is smaller: 23/6 or w?
w
Suppose -5*p - 9 + 14 = 0. Which is greater: -1/3 or p?
p
Let v be 5 + -5 + -4 + 1. Let c be ((-5 - v) + 3)*0. Let y = -9027/19 + 475. Is c at most as big as y?
False
Let l = 2 - -3. Suppose -46 = -l*u - 16. Let b be 2/(u/3)*1. Do b and 1/3 have the same value?
False
Suppose 5*w = 9 + 1. Suppose 6*c + 12 = w*c. Does -1 = c?
False
Let p be 3/(-15) - (-368)/(-60). Do -6 and p have the same value?
False
Let m(c) = c**3 - 5*c**2 + 5*c - 3. Let r be m(6). Let d = 569/9 - r. Which is greater: d or 1?
1
Let b be (18/(-15) + 12/20)/(-3). Do 3 and b have the same value?
False
Let i = 2 + -2.2. Is 0 != i?
True
Let g be (-28)/(-8) + 0 + 6/(-4). Is 2 at most as big as g?
True
Let x(z) = z**2 + 2*z + 2. Let r be x(-2). Let q be (3/r)/((-6)/(-16)). Is 1 <= q?
True
Let t = 18 - 12. Let n be 4/t - (-72)/(-27). Let l be ((-2)/8)/((-1)/(-3)). Does n = l?
False
Let u = 2.04 - 0.04. Let a = 0.8 + -0.8. Is u greater than or equal to a?
True
Suppose -u - c + 4 = -2*c, 4*u + 2*c - 22 = 0. Which is greater: u or 40/7?
40/7
Let o be (-22)/(-8) + 9/(-12). Let j(s) = s**3 - 3*s**2 + 2*s - 1. Let d be j(2). Which is smaller: d or o?
d
Suppose -4*w + 25 = -5*n, 2*w - 3*n = -n + 10. Let d be ((-2)/4)/(5/130). Which is greater: w or d?
w
Let q = 646417/1212900 + -7/7775. Let b = 8/13 - q. Is b at most 1?
True
Suppose -7*c - 4 = -3*c. Let z = c - -1. Which is greater: z or 2/7?
2/7
Let d = 1.1 + -1.2. Let k = 4 + -3. Let o = k + -0.9. Is o != d?
True
Suppose -5*h - 10 = -0*h. Let i(s) = s**2 - 7*s - 1. Let f be i(7). Let a be f/(9/(-3) + 2). Which is smaller: a or h?
h
Let a(g) = -4*g + 8. Let q(n) = 11*n - 24. Let p(o) = -8*a(o) - 3*q(o). Let k be p(8). Which is smaller: k or -1/4?
-1/4
Let a = 0.1 - 0.3. Let u = -0.51 + 2.51. Are u and a nonequal?
True
Let o(x) = -x**2 + 3*x. Let f be o(3). Suppose f = -4*b + 3*j - 10, 0*j - 16 = 2*b + 4*j. Is b smaller than -3?
True
Let w(p) = p**2 - 4*p - 5. Suppose -18 = 3*d - 3, -2*b + 2*d = -20. Let k be w(b). Let c be (k - -4) + 0 + -2. Which is bigger: c or 4?
4
Let k = -0.5 - -0.53. Which is smaller: -0.1 or k?
-0.1
Let l = -139/3 + 46. Which is greater: l o