 is smaller: k or 1/6?
1/6
Let m = -2 - -5. Let d = 4 - m. Suppose -p + 0 = -d. Is 2/11 smaller than p?
True
Suppose g - 15 = -4*g. Suppose -18 = 3*k + g. Suppose 5*z = -5*j - 35, -4*j + 4*z - 26 = j. Which is smaller: j or k?
k
Let c(k) = -k - 3. Let m be c(0). Let i = m + 2. Which is smaller: i or -8/5?
-8/5
Let i = 1.6 - 2. Let n = -16.6 + 18. Let u = n + i. Which is greater: u or -2?
u
Suppose 2*c + 2*c = -20. Let k be (-3)/c - (-92)/30. Let b = k + -71/21. Which is smaller: 3 or b?
b
Let h = 1 + 1. Suppose -2*x = h*x. Is x > 2/13?
False
Let r be (6 + 1)/(-5 + 6). Is 6 at least r?
False
Let a(f) = f**2 - 2*f - 2. Let d be a(6). Which is smaller: d or -2?
-2
Let l = 20.9 - 22. Is -1/4 greater than l?
True
Let q be -5*(2/5)/(-1). Suppose 3*p + 12 = 0, -15 = q*h + 5*p - 1. Suppose -s + 0*a + 3*a = 8, 5*s = h*a - 40. Which is greater: -7 or s?
-7
Let a(x) = -4*x**2 - 3*x - 2. Let t be a(-1). Suppose 5*q + 8 = 58. Suppose 0 = i + f + 3*f + 22, q = -2*f. Which is smaller: i or t?
t
Let u = -74/7 - -99/14. Let w = 26 - 30. Is u at most w?
False
Suppose 0 = -5*u - 2*v + 9, 2*u - 6*u + 8 = 2*v. Which is bigger: -2/33 or u?
u
Suppose 5*n - q = -5*q - 21, -4*q = -n + 15. Let s be n*(-3 + 4) + -4. Are -5 and s unequal?
False
Suppose -3*k = 2*k - 5, 0 = -t - 2*k + 11. Suppose 0 = -t*u + 4*u. Is 0 at least u?
True
Suppose 0 = -3*u - i - 5, -2*u + 3*i + 14 = -1. Let x = 2 + u. Which is smaller: x or 1?
1
Let b be (-20)/(-152)*-10 - -1. Do b and -1 have the same value?
False
Let a = -50/51 - 4034/255. Which is smaller: a or -17?
-17
Let x(l) = 1. Let i(c) = c**2 + 4*c - 4. Let h(o) = -i(o) - 5*x(o). Let u be h(-4). Let t = 1 + -2. Is u bigger than t?
False
Let p be ((-88)/8)/((-1)/4). Let t = 136/3 - p. Which is bigger: t or 0?
t
Suppose 3*w + 4*s + 8 = 0, -4 = 3*w + 2*w + 2*s. Is w smaller than 15?
True
Let p = 9 + -9.1. Which is smaller: -24 or p?
-24
Suppose 3*f = 9*f - 6. Which is bigger: f or 2?
2
Suppose 0 = 2*t + 4 - 70. Let r be (t/9)/(2/3). Let j = 5 - r. Which is smaller: j or 0?
j
Let a be (28/(-40))/(6/(-10)). Is a less than 0?
False
Suppose p = 3 - 0. Let i(q) = q**3 - 4*q**2 + 3*q + 4. Let r be i(p). Let c be 2/1 + (-2)/(-1). Is r bigger than c?
False
Let x = 17 + -3. Suppose -2*f + 7 = -4*h + 29, 3*h - 4*f = x. Which is greater: 5 or h?
h
Let j be (1 + 1)*(-2)/(-4). Let i be j/(5/(-2) + -3). Let u = -2 - -1. Which is smaller: i or u?
u
Let v be ((-5)/5)/((-1)/9). Let n = 5 - v. Which is smaller: -5/2 or n?
n
Suppose 3 = o + 2*x - 4, 5*x = 15. Is 26 less than o?
False
Let o be (-2*3/(-2))/1. Suppose 0*w = 4*a + 3*w + 37, 3*a + 27 = -2*w. Let g = -5 - a. Which is smaller: g or o?
g
Suppose -3*t - 16 = -2*d, -4*d + 21 = -3*t - 11. Let o be -2*1*(-4)/d. Let w be 14/(-35) - 24/(-10). Which is bigger: w or o?
w
Suppose -3*h - 3*u = -345, 4*u - 2*u - 112 = -h. Is 118 < h?
False
Let s be ((-4)/(-10))/(1/5). Which is smaller: s or 0?
0
Suppose 0 = -5*d + d. Is -4/3 bigger than d?
False
Let d(t) be the first derivative of -t**4/4 + t**3 - t**2/2 + 4*t + 2. Let c be d(3). Is -2/13 at least as big as c?
False
Suppose -o + 3 = -4*o. Let s(w) = -w**3 - 2*w**2 + 1. Let b be s(o). Let d(j) = j**3 + 7*j**2 + 8*j + 13. Let z be d(-6). Which is smaller: z or b?
b
Let l = -1117 - -5563/5. Which is smaller: l or -5?
-5
Let i(g) = -g + 8. Let r be i(-5). Let c = r + -8. Is 0.1 equal to c?
False
Let x = -841 + 13449/16. Is 0 at most x?
False
Let d = -4.8 + 5. Let y = -7 + 8.2. Let f = y - 1.2. Which is greater: f or d?
d
Let z be 2/3 + 1 + (-26)/12. Is -2 != z?
True
Let v be (2/(-4))/(10/(-20)). Suppose -3 + 19 = -4*p. Let f be (v/p)/(20/32). Which is smaller: f or 1?
f
Suppose -g + 91 = 3*c, -9*g - 25 = -4*g. Let d be (2/c)/((-1)/6). Which is smaller: d or 1?
d
Let l be -2 + (1/1 - -1). Suppose -u = 3 - l. Let b be u/9 - 2/21. Are b and -1 nonequal?
True
Let j be (-16)/20 - 2/10. Let d(t) = 6*t. Let y be d(j). Let x(f) = -f - 8. Let q be x(y). Which is bigger: -1 or q?
-1
Let m(x) = -4*x**2 + 1. Let q be m(-1). Let t = q - -4. Is 2/19 bigger than t?
False
Let z = 4 + 4. Let t = z - 8. Is t less than -3?
False
Let j(f) = f + 8. Let k be j(-9). Which is smaller: k or 0?
k
Let j(f) = 3*f - 13. Let i be j(6). Suppose -i*z = -7*z - 6. Do 0 and z have the same value?
False
Suppose 3*r - 4*d = -19, -2*r - 3*r - d - 1 = 0. Is r not equal to -9?
True
Suppose 3*b - 16 = b. Let w(c) = c**2 - 11*c + 9. Let j be w(11). Which is smaller: b or j?
b
Let v be (0 - 1)/(4/(-12)). Suppose 5 = -v*o + 8*o. Let p = 0 + o. Which is smaller: p or 2?
p
Let a = 2.3 - 2.3. Which is greater: a or -0.01?
a
Suppose -22 = 16*z - 6. Is z <= -2/51?
True
Suppose -2*v + y = -4, -3*v = -4*y - 0*y - 16. Suppose 2*a + 2*a - 16 = v. Suppose 14 = a*n + 2. Is 2 greater than n?
False
Let c = 24 - 23. Is c equal to 12?
False
Let q = 18 + -18. Suppose -2*s + 3*s = q. Are 5/7 and s equal?
False
Let j be (4*-4)/4 - -4. Which is smaller: j or -2/7?
-2/7
Let m(s) = -s + 8. Let l be m(7). Let r = 1/473 - -1877/7095. Which is smaller: r or l?
r
Let n(d) = -d**3 + 4*d**2 + 6*d - 4. Let x be n(5). Let i(c) = 0*c - x + 2*c**2 + 2*c - 3*c. Let h be i(-1). Which is smaller: 1 or h?
1
Let t(y) = y**3 + 6*y**2 - 2*y - 5. Let w be t(-6). Let o be w/39 - (-5)/(-15). Which is smaller: 1 or o?
o
Let c = -29 + 26. Which is greater: -5 or c?
c
Let v = -20 - -10. Let f = -8 - v. Which is smaller: 3/4 or f?
3/4
Let g(z) = -z**2 - 7*z + 2. Let c be g(-7). Suppose 2*b + 4*s + 27 = 5, -s = -2*b - 2. Let i be (-4)/(-15) + c/b. Which is smaller: 2 or i?
i
Let w = -0.2 + 8.2. Let i = 8.2 - w. Which is bigger: i or -2/13?
i
Let a(q) = -q + 7. Let o be a(5). Let w = o - -3. Are w and 5 non-equal?
False
Suppose -3*n = 4*f - 7*f + 15, 5*n - 3*f + 23 = 0. Is n greater than or equal to -36/7?
True
Let p(u) = u**3 + 8*u**2 + 6*u - 7. Let o be p(-7). Which is bigger: -6/7 or o?
o
Suppose -a + 1 = 0, 4*a - 7 = -3*x + 81. Does x = 27?
False
Let r = -27 - -28. Is 1/23 not equal to r?
True
Let d = 9 + -1. Let u be -3*3/18*d. Suppose 4*q + 3 = 3*q. Which is smaller: q or u?
u
Let r = 0 - -1. Let i be ((-7)/5)/(6/(-5)). Let n = r - i. Do 0 and n have the same value?
False
Let j = 15 + -14.78. Let r = 2 - 2.2. Let h = j + r. Which is smaller: 0 or h?
0
Let l = -8 + 11. Let d = l - 4. Are 2/19 and d non-equal?
True
Let m(g) = -g - 8. Let n = 6 + -15. Let v be m(n). Let y = 2 - v. Which is bigger: y or 2/9?
y
Let u = 33.12 - 33. Is -3 greater than u?
False
Let n(r) = r**3 + 3*r**2 + 3*r + 1. Let d be n(-2). Is d greater than -1?
False
Let i be 1/(-5) + (-11)/(-5). Suppose -i*p = -p. Which is greater: p or 4/9?
4/9
Let c be (-17 + 42)*(2/10 - -1). Is c greater than 31?
False
Let s = 12.01 + 3.09. Let u = s - 15. Which is greater: u or 0.2?
0.2
Let i = -2 - -1. Let a = -38.3 + 44. Let o = a - 6. Is i smaller than o?
True
Let n = 0 - 1. Let d be (5 - -1)/(13/n). Is 1 < d?
False
Let b be 4/(-2*6)*0. Let u be b + -2*1/3. Is u greater than -5?
True
Let j = 1.23 - 1.03. Which is smaller: 0.02 or j?
0.02
Let i = -6 + 3. Let v(w) = -4*w**2 + 3*w + 1. Let d be v(-2). Let s = 17 + d. Is i greater than or equal to s?
True
Let o = 3 - 3. Let v be 76/(-18) + (-6)/(-27). Let y be 2/6 - v/(-3). Which is smaller: y or o?
y
Suppose 0*z = -5*z. Let d be 804/18 + 2/6. Let j = d + -175/4. Which is greater: j or z?
j
Let i be (-60)/33 - 4/22. Let f(o) = -3*o - 2. Let p be f(i). Suppose h - t - 1 - 3 = 0, -1 = -p*h - t. Which is smaller: h or 2?
h
Let j = -20 + 18. Is j > -4?
True
Let y = -3 - 4. Which is smaller: -0.2 or y?
y
Let d = -20 - -10. Let m = -6 - d. Is 2 < m?
True
Let b = 18 + -17.83. Let u = b + 6.83. Let w = 7.1 - u. Which is bigger: 0.4 or w?
0.4
Let c = -33.011 + 0.011. Which is smaller: 0 or c?
c
Let y(u) = 3*u**2 + 8*u - 20. Let a(b) = b**2 + 3*b - 7. Let s(w) = 11*a(w) - 4*y(w). Let v be s(0). Let q be (-30)/(-8)*2/v. Which is smaller: q or 2?
2
Let z = 0 + -9. Let p = z - -9. Is -0.2 smaller than p?
True
Let y = 23 - 23.2. Which is bigger: -1 or y?
y
Let r(g) = g**2 + 18*g + 16. Let l be r(-17). Which is smaller: l or -4/23?
l
Suppose 4*u + 2*t - 2 = 0, 4*u = 4*t - 14 - 2. Is u <= -5/7?
True
Suppose f = -7 + 1. Let d be ((-2)/(-3))/(f/(-54)). Do 6 and d have the same value?
True
Suppose -2*t - 8 = -4*j, -t - t + 16 = 4*j. Suppose -z = -5*k - 2*z -