9/19823. Let t = 4351633/215 + -20240. Let j = m - t. Which is smaller: -0.1 or j?
j
Let s = 6 - 6.07. Let n = s - -0.27. Let k = 1.9 + -2. Which is smaller: n or k?
k
Let b = -7838/735 - 2/735. Let g = b + 230/21. Which is bigger: g or -1?
g
Let n be (3*(-1)/(-132))/(6/16). Which is smaller: 0 or n?
0
Let a = -156 + 156.93. Let u = 0.07 + a. Are u and -4 unequal?
True
Let o = 0.15 + -0.01. Let t = o - 0.04. Let v = -2.9 - -3. Are v and t non-equal?
False
Let g be -2*-1*(-1)/12. Is 1 not equal to g?
True
Let m be (-2)/(-2) - (-3 + 1). Let l = -1 + m. Let s be (-3 + l)*(-4)/(-34). Which is bigger: s or -1?
s
Let c = 4 + -2.9. Let s = 1 - c. Let g = -0.42 - -0.02. Which is bigger: g or s?
s
Let z(f) = f - 6. Let y be z(7). Let u = -1 - -3. Which is bigger: u or y?
u
Let m(p) = -p**2 - 14*p + 9. Let r be m(-14). Let o = r - 10. Is -1/2 at most o?
False
Let q = -31 + 32. Suppose -4*g + 2 = -6. Let a be (g/6)/(3 + 0). Are q and a equal?
False
Let g(r) be the first derivative of -r**4/4 + 10*r**3/3 + r + 6. Let u be g(10). Is u at least 1?
True
Suppose -3*v - 4 = -4*n, -2*v - v + 16 = n. Suppose b + n*b + 15 = 0. Which is greater: b or -2?
-2
Let t(w) = -w**2 - 9*w - 3. Let p be t(-9). Let q = 2 - 1. Is q at most p?
False
Let t be (-2*-2*(-3)/6)/1. Is t < -3/4?
True
Suppose 56 = -5*y + 4*c, -3 - 1 = -c. Is -1 not equal to y?
True
Let l = 475/3 - 158. Is l less than or equal to -2/13?
False
Let o(y) = -2*y - 6. Let c be o(-3). Which is smaller: 6 or c?
c
Suppose -4*h = -h + 2*h. Is 0 at least as big as h?
True
Let a = 0.94 + 0.16. Let j = 2.1 - a. Is j >= 7?
False
Let d(a) = a**3 + a**2 + 3. Let l be d(-2). Let u(h) = -h + 5. Let p be u(2). Is p bigger than l?
True
Suppose 0 = 5*g + 3 + 17. Let w = 0.4 - -0.6. Is w > g?
True
Let j be ((-3 - -1)*-2)/2. Suppose y + j*y = 15. Suppose -15 = -5*u - y. Is 2 <= u?
True
Let j be (20/(-7))/((-4)/14). Let i be (1 + 1)/((-1)/(-2)). Suppose d + j = -i*d. Which is smaller: -3 or d?
-3
Suppose -16 = 2*d - 2. Let r = -9 - d. Is r bigger than -5?
True
Suppose -3*o + 4*h = 35, -6*o + o = 4*h + 37. Let r(q) be the second derivative of q**3/6 + 7*q**2/2 - q. Let p be r(o). Are p and -2 equal?
True
Let b be ((-27)/6 + -3)*(-8)/3. Are b and 18 non-equal?
True
Let p be (-1)/(-5) - 33/75*5. Is -3/5 smaller than p?
False
Let d = -1 + 1. Let b(q) = d - 6 + 2 + q. Let t be b(6). Is 2 equal to t?
True
Let u be 32/5 - (28/20 + -1). Which is smaller: 9 or u?
u
Suppose 4 = -0*f - 2*f - 4*z, -2*f - z = -11. Which is greater: 9 or f?
9
Suppose q - 10 = -3*t, q + 20 = -q + 4*t. Is q at least as big as 2/3?
False
Let r = 64 - 69. Which is smaller: r or -11/3?
r
Let t(i) be the second derivative of -i**5/20 + 3*i**4/4 - 7*i**3/6 - 4*i**2 + i. Let f be (-2 + 14)/(9/6). Let c be t(f). Which is smaller: -1 or c?
-1
Let g(n) = -n**2 + 6*n - 5. Let k be g(5). Suppose k = -u - 0*u + 7. Suppose -5*t - 2*d - 2 + u = 0, 4*t + 3 = -3*d. Which is bigger: 1 or t?
t
Let g = 9.8 - -1.2. Is g at least -2?
True
Let w = 2 - 2.2. Let g = 0.2 + w. Is -1/3 != g?
True
Let o(t) = t**2 - 3*t + 3. Let j be -1*3*12/(-3). Let k = j - 8. Let l be o(k). Is l < 6?
False
Let b be 45/(-21) - (-4)/28. Which is smaller: -12/11 or b?
b
Let h = -19 + 20.04. Let y = 0.04 - h. Suppose 4*u = 6 - 2. Is y less than or equal to u?
True
Let l = 2.1 + -0.1. Let x = 8 - l. Let q = -0.03 + 0.03. Is x greater than q?
True
Let y be -3 - -4 - 2 - (-87)/45. Which is greater: y or 2/3?
y
Let x(k) = -k - 2. Let w be x(10). Let n be 8/3*(-45)/w. Are 9 and n unequal?
True
Let u = 6 - 2. Let o = u + -3.9. Which is bigger: o or 0.4?
0.4
Let s be (1*-3)/((-24)/(-32)). Let r = s + -3. Which is smaller: r or -8?
-8
Let b = 11 + -7. Let x = -4 + 6. Let p = x - b. Which is smaller: p or -3?
-3
Suppose 70 = 4*b - 0*b - 5*k, -5*k = 4*b - 50. Suppose p - 3 + 30 = 5*g, -b = 2*p + 3*g. Let s be (18/p)/(18/(-2)). Do -1 and s have the same value?
False
Let h be (-13)/(-5) - (-6)/15. Suppose -2*f + h*c = 8*c - 5, -3*f + 5 = 5*c. Which is greater: f or -3/11?
f
Let k = 10 - 8. Is 0 not equal to k?
True
Let v be 28/3 - 2/6. Let n = -11 - -6. Let z be 6/n*(-30)/v. Is z > 4?
False
Let f be ((-20)/(-8))/((-1)/(-2)). Suppose s + 5*n - 10 = -0*n, -2*s = 4*n - 32. Suppose f*i = -s + 5. Which is smaller: -3/2 or i?
i
Let j be ((-2)/(-17) + 0)*(3 - 2). Let q(t) = -t. Let v = 1 + -1. Let r be q(v). Which is greater: r or j?
j
Let b = -1397/7 + 200. Let p = 20/79 + -1307/1106. Let n = b + p. Is 0 smaller than n?
False
Let k = 7 + -5. Let f be k/(-11) - (-26)/22. Is f != 2/9?
True
Let q be (-28)/(-7) + 6/(-1). Which is smaller: q or -1?
q
Let n = -59 - -59. Is n bigger than 2/11?
False
Let w = 7.93 - 8. Is w bigger than 0?
False
Let n = -11 + 11.05. Let p = n + -2.05. Let z be 4/(-10) + (-2)/(-5). Are p and z unequal?
True
Let u(t) = -t + 3. Let j be u(-5). Let a = -9 + j. Let g be a/2 - 2/(-4). Do g and 3 have the same value?
False
Let r = -5 - 3. Let u be (-4)/(-6) + r/(-6). Suppose 5*a = 3*h - 9, 4*a - 5*h + u = -0*h. Which is bigger: a or -4?
a
Let i be (6/(-4))/(-1 + -14). Let z(s) = -2*s + 3. Let g be z(2). Do g and i have the same value?
False
Suppose 2*r + 1 = 4*p + r, -4*p - 3*r + 13 = 0. Suppose -b + 8 = 3*j + 4*b, -b - 4 = -5*j. Suppose 0 = y + j - 4. Is p greater than y?
False
Let s = 293/3105 + -1/135. Suppose -6*h = -0*h - h. Is h bigger than s?
False
Let d(l) = -l**2 + 8*l - 7. Let z be d(7). Let f(u) = u - 5. Let b be f(5). Suppose b = -x - 0 + 1. Which is smaller: z or x?
z
Suppose t - 6 = -y, -3*t + 18 = 2*y + 3*y. Suppose -t*b = -3*b. Let z = 1 - 1. Is b != z?
False
Let u = -8 - -8. Suppose u = -g + 4*y + 18, 0*g + 4*y + 10 = -3*g. Which is smaller: 0 or g?
0
Let k = -6 + 10. Let m be 5 - (6 + 0 + -3). Suppose m*s = -4*s + 30. Which is smaller: k or s?
k
Let o = -0.087 + -0.013. Is 15 > o?
True
Let r(m) = 3 + m - 2 - 4 - 3. Let n be r(7). Which is smaller: n or -1/3?
-1/3
Let f = -18 - -29. Let v = f + -10. Which is greater: v or 13?
13
Let i = -8 + 11. Let l be 1 + (-3)/(-3) + i. Are 4 and l nonequal?
True
Let k(p) = -p**3 + 7*p**2 - 6*p - 1. Let y be k(6). Let z be y + 2 - (-4)/(-10). Which is smaller: z or -0.1?
-0.1
Let p = -19/8 - -9/4. Let u be -1 + ((-3)/(-1))/1. Suppose -2*t = -3*g - 7, -u*g + t - 2*t = -7. Is p smaller than g?
True
Suppose 3 = 5*i - 7. Let o be 44/12 + i/(-3). Suppose 2*g = -3*w - 1, -3*w + 5*g + 37 = w. Are o and w equal?
True
Let w be (-15)/(-6)*32/20. Suppose 2*o = -2*n + w, -4 = 2*n - 3*o + o. Do 0 and n have the same value?
True
Let h = 42 - 41. Let g = 0 - -0.3. Is g equal to h?
False
Let t = 4 - 6. Let m = -33/28 - -3/7. Which is smaller: m or t?
t
Let s be 1/(-2) + 4/8. Let a(t) = t**2 - 2*t - 2. Let w be a(s). Is -2 <= w?
True
Let i(m) = m**2 - 6*m - 8. Let y be i(6). Let w = -24 - -16. Is y at least as big as w?
True
Let k = -8 + 7.5. Let a = k - -0.5. Is 3 less than a?
False
Let h = -233/5 + 47. Which is bigger: 1 or h?
1
Let w(o) = o**3 + 4*o**2 + o + 4. Let n(l) = -l**2 - l - 1. Let j(b) = 3*n(b) + w(b). Suppose 4 = -0*p - 2*p. Let z be j(p). Is z smaller than -1/6?
False
Let a = -3 - -6. Suppose 0 = -5*h + 10, a*c + 4*h = 2*c + 1. Which is smaller: -5 or c?
c
Suppose -2*o - 5 = -d + o, -3*d + 15 = -o. Suppose 4 = 2*z + 2*z. Suppose -4*s = 4, 3*x = d*s + 4 + z. Is 0 < x?
False
Let d(h) = h**2 - 7*h - 6. Let q be d(7). Let x = -7 - q. Which is smaller: 0 or x?
x
Suppose 11*m + 5 = 6*m. Let q = -9 - -10. Is m greater than or equal to q?
False
Let x = -5 + 2. Let f = 3.1 + x. Which is smaller: f or -0.1?
-0.1
Suppose 2*b - 7*b + 5 = 0. Is 7/5 greater than b?
True
Suppose 2*g = 4*o + 26, 0 = 4*g + 2*o - 4 + 2. Suppose 4*u = u + 39. Suppose -2*i + 2 = 3*c - 5*c, -3*i + u = 2*c. Is g < i?
False
Let o = 10 - 6. Let f = -2.02 - -0.02. Let j = o + f. Is j greater than 1/2?
True
Let k be 18/8 + (0 - 2). Let q = 11 - 8.2. Let h = -1.2 - q. Is h bigger than k?
False
Suppose w + 4*i = -0*w, -4 = 4*i. Let z(f) = f**2 + 9*f - 21. Let x be z(-11). Which is smaller: w or x?
x
Let u(a) = a**2 - 5*a - 5. Let b be u(6). Let d = 4 + b. Is 5 smaller than d?
False
Let v be (-2*2)/(6/9). Let u = 9 + v. Are 3 and u equal?
True
Let x be 1/(-2) - (-3 + (-10)/(-4)). Which is bigger: x or -1/146?
x
Let n be (-1)/3 + (-48)/(-9). Let b be 2 - n - (-636)/205. Let z = -4/41 - b. Is -1