 smaller: x or -6?
-6
Let f = -6 + 7. Let m = 6233 - 18487/3. Let w = m - 70. Which is smaller: f or w?
w
Let l = 6 - 3. Let x = -3.1 - -3. Let u = 0.1 + x. Is l greater than or equal to u?
True
Let u(r) = -r**2 + 9*r - 5. Let k be u(8). Suppose -5*j = -k*j. Which is smaller: j or 3/4?
j
Suppose -p + 0*c - 11 = -2*c, c = 4*p + 9. Suppose -5*s = -2*s. Suppose -5*z = 2*d + 17, -2*z + d = -s*d + 5. Which is smaller: p or z?
z
Let h = -15 - -15.1. Are -0.01 and h non-equal?
True
Suppose 3*i - i - 6 = 0. Let r = 0 + i. Suppose r = 5*n + 5*x - 7, 3*x - 4 = -n. Is 2/23 at most as big as n?
True
Let s(o) = o. Let j(l) = -l**2 - 11*l - 12. Let f(u) = j(u) + 4*s(u). Let g be f(-8). Let r be (-6)/g*(-3)/9. Which is bigger: r or -1?
r
Let x(v) be the third derivative of -v**6/120 + 3*v**5/20 - 3*v**4/8 + 3*v**3/2 - 3*v**2. Let u be x(8). Is u != -3/8?
True
Let p = -60.41 - -66.5. Let b = p + -0.09. Which is smaller: b or -1?
-1
Suppose 6*w - 3*w - 63 = 0. Let y = 41 + -21. Which is smaller: w or y?
y
Let l be (-8)/(-36) - (-10)/36. Is 1 != l?
True
Suppose 0*h - 8 = 2*h. Let c(l) = l**3 - 5*l**2 - l - 3. Let z be c(5). Let k be (6/z)/(2/h). Are k and 3 non-equal?
True
Let i(n) = -n - 8. Let f be i(-6). Let v = 1 + f. Suppose -12*t = -7*t + 3*s + 25, t = -3*s - 17. Is v != t?
True
Suppose -4*a - 2*v + 45 = -a, 4*a = -5*v + 67. Is 13 equal to a?
True
Let h = -5.3 - -9.3. Let t = 31 - 1549/50. Let i = t - -19/50. Which is smaller: i or h?
i
Let o be 15/9 + 0 + -1. Which is bigger: o or -8?
o
Let b = -117 + 583/5. Let l(v) = v + 2. Let n be l(-1). Which is bigger: n or b?
n
Let t = -9 + 3. Let o be (t - 0)/(-3) - 2. Which is bigger: o or -1/6?
o
Suppose 0 = 3*t + 2*o - 10, 2*t - 6*o - 5 = -7*o. Let v be (t - -2)*5/(-10). Let j be (v/4)/(5/(-20)). Which is smaller: j or -1/3?
-1/3
Let c = 0.147 + -0.047. Are 4.3 and c non-equal?
True
Suppose 3*n - 8 = -2. Suppose 0*j + n*j + 2 = 0. Suppose -1 = -3*b + y, -2*b + 4*b - 14 = 4*y. Is j < b?
False
Let m(a) = 2*a**2 - 5*a - 3. Let n be m(4). Which is smaller: 7 or n?
7
Suppose -l + 0*l - 13 = 4*z, -2*l + 7 = -3*z. Let y = 2 + -6. Is y less than or equal to z?
True
Suppose -2*r = 2*c - 12, -5*c + 2*r + 2 = -0*c. Suppose 0*k = 5*k. Is k equal to c?
False
Let v(f) = -f + 11. Let o(z) = -z + 10. Let a(y) = 5*o(y) - 4*v(y). Let c be a(7). Which is bigger: c or -2?
c
Let t be -3 - (-1)/(3/15). Suppose -4*y = t - 10. Let u be (25/(-10))/((-1)/y). Which is greater: u or 4?
u
Let w = -1.6 - -2.6. Which is smaller: w or 21?
w
Let d = 4.93 - -0.07. Is d not equal to -2/3?
True
Suppose 0 = -w - 1. Let j(s) = 2*s**3 + s**2 + 2*s + 1. Let i be j(w). Is i < -2?
False
Let j = -23/7 - 17/14. Which is bigger: -5 or j?
j
Let d = -16.9 - -18. Let w = 1 - d. Let p = -1.1 - w. Is p equal to 0?
False
Let v = -2 - 1. Let m = -24.8 - -22. Let p = v - m. Which is smaller: p or 0?
p
Suppose -4*k = -3*a - 21, -2*a = -2*k - 3*a + 3. Suppose k*q - 3*z = 12, -12 = 4*q - 2*q + 2*z. Let x be ((-6)/(-9))/(5/3). Is q at least as big as x?
False
Suppose o + 4*o = 20. Suppose 0 = -o*d - 20, 0*p - 3*p - 3*d = -3. Is 6 at most p?
True
Let i(k) = k**3 - 8*k**2 - k + 9. Let h be i(8). Let b = h - -3. Suppose -4*l - 2*s = -2, 6 = b*l + s - 3*s. Do l and 1/4 have the same value?
False
Let r(t) = t**3 - 10*t**2 + 3*t + 14. Let i be r(9). Is -42 at least as big as i?
False
Suppose 3*t - 7*t = 4*z - 220, 0 = -5*z + t + 293. Is 58 at most z?
True
Suppose -3 = -2*a + 1. Is 6/7 <= a?
True
Let x(l) = l**2 + l + 1. Let i(y) = y**3 - 5*y**2 - 2*y + 4. Let h(g) = i(g) + x(g). Let f = -4 + 8. Let k be h(f). Is k not equal to -2/13?
True
Let l(g) = g**2 + 5*g + 3. Let x be l(-4). Let p be x/(-46)*(-20)/(-15). Let d = -59/345 - p. Which is bigger: d or -2?
d
Suppose -4*k + 36 = -k. Which is smaller: 13 or k?
k
Let h = -2.1 + 0.1. Which is smaller: h or 3?
h
Let w be 150/45 + 1/(-3). Which is smaller: 4 or w?
w
Let m = 0 + 2. Let f = 2.5 - m. Let w = 0.4 - f. Is 0 < w?
False
Let v(m) = -4*m**2 - m + 5*m + 5*m**2 - 2. Let f be v(-5). Which is bigger: f or 2?
f
Let n = -12 + 19. Let t = -79 - -75. Let a = t + n. Is a less than or equal to 3?
True
Let m be 10/850*(0 - 1). Let c = m - -343/255. Which is greater: 0 or c?
c
Let n = 1.2 - 0.2. Let y = -599/4 + 150. Are n and y unequal?
True
Let u be ((-13)/(-299))/(2/(-4)). Which is smaller: 0 or u?
u
Let k(l) = l + 2. Let w be k(-3). Which is smaller: w or 9?
w
Let v(u) = 2*u - 9. Let p(k) = 8*k - 22. Let z(n) = -7*n + 21. Let w(i) = 2*p(i) + 3*z(i). Let h(o) = 7*v(o) + 3*w(o). Let x be h(-9). Does 3 = x?
True
Let z be (6/28)/(1/(-15)). Let c = -7/2 - z. Are c and -2 non-equal?
True
Let r be (12 - (-1 - -3))/(-2). Let b = 11 + r. Suppose 0 = f - 3*f + b. Is 2 less than f?
True
Let o be ((-1)/1)/((-1)/5). Let t be (o/10)/(2/4). Suppose 25 = 5*w, -2*c - w + t = -3*c. Which is bigger: 2 or c?
c
Let i = 149 - 150. Let n = 24/5 + -5. Do i and n have the same value?
False
Suppose -3*c + 176 = -526. Let j = -2577/11 + c. Which is greater: -1 or j?
j
Let o = 2506907/435 - 5763. Let n = o + -5659/870. Which is greater: n or -8?
n
Let a = -101 + 101.2. Which is greater: a or 0.002?
a
Let o = 16 + -11. Is 16/3 <= o?
False
Suppose -4*b - 3*c = -6, b - c = -b - 2. Let j = -1/24 + -43/120. Which is bigger: b or j?
b
Suppose -3 = 3*l + 4*k - 6*k, 4*k = 0. Which is greater: l or 0.05?
0.05
Let k = -4 - -3.9. Let t = k - -1.1. Which is greater: t or 0.1?
t
Let q(s) = -4*s - 3. Let p be q(-2). Let c(l) = l**3 - 5*l**2 + 2*l - 7. Let r be c(p). Which is greater: 2 or r?
r
Let r(y) = 3*y**2 - 3*y - 3. Let t be r(3). Suppose -n = 4*n + t. Let x = 4 + n. Which is smaller: x or -1/3?
-1/3
Suppose f + 2*v = 3, -3*f = -4*v - 2 + 3. Let n be (-20)/4 - (-4 + f). Let y be n/(-6) - 14/(-30). Are y and 0 equal?
False
Let m be 9269/(-15965) - 6/(-10). Is 0 >= m?
False
Let i = 6 - 7.8. Let b = i - 0. Let y = b - -2. Which is smaller: 0 or y?
0
Let a be ((-130)/(-30))/(2/(-18)). Is a equal to -38?
False
Let b(y) = -y**3 + 5*y**2 + 10*y - 9. Let i be b(6). Let u = i - 30. Which is greater: -16 or u?
u
Let n be (6/9)/(8/(-21)). Suppose 3 = 3*l - 5*l + c, 0 = 4*c + 12. Which is greater: l or n?
n
Let k be (-748)/77*(-2)/211. Let z = k - -2/633. Is z at most as big as 1?
True
Let g = 7 - 5. Let h = 11 + -8. Suppose 4*z - 17 = h*v - 8*v, z = 2*v + 1. Which is greater: v or g?
g
Suppose 4*g + 2*m = 12, 2*g + 3*m = 2 + 12. Let v be g - ((-2)/6 - -2). Which is bigger: -1 or v?
v
Suppose 3*f = 2*f. Let p be -1 + -2 + 4/116 + 3. Which is smaller: p or f?
f
Suppose -3*d - 2922 = 90. Let i = -5077/5 - d. Let a = -11 - i. Is 0.2 greater than a?
False
Suppose 7 = 5*y + 37. Does y = -6?
True
Suppose 6 = 4*a - 2. Suppose 0*r + a*r = 0. Which is smaller: -4/13 or r?
-4/13
Let y(f) be the first derivative of -f**4/4 - 4*f**3/3 - f**2 - 6*f - 1. Let x be y(-4). Is x less than or equal to 1/7?
False
Let s = -2/55 + -178/1155. Which is bigger: 0 or s?
0
Let w = -441/374 + 12/11. Is w smaller than 1?
True
Let d be -1*(3 + -4)*1. Let j = 2 - 0. Which is greater: j or d?
j
Let v = -8 - -12. Let i(u) = -u**3 + 4*u**2 + 2*u - 1. Let x be i(v). Which is bigger: x or 6?
x
Let k be 3/(9/4)*9. Let b(n) = -n**2 + 12*n. Let x be b(k). Is -1 smaller than x?
True
Let j(z) = z**3 - z**2 - 4*z - 1. Let w be j(3). Suppose -8 = -w*f + 2. Let u = -3 + f. Which is bigger: u or -2?
u
Let s = -12 + 13. Which is smaller: s or -0.2?
-0.2
Suppose 4*w = 5*y + 558, -y - w + 4*w - 116 = 0. Is -111 at most y?
True
Suppose 5*u - 45 = -0*u. Let r be 3/u + 10/6. Suppose 12 = -6*b + r*b. Is -2 at most b?
False
Let s = -11 + 9. Let a = 1 + s. Is -1 smaller than a?
False
Let p = 50 - 51. Does 0.01 = p?
False
Let z(y) = -y**3 - y**2 - y - 1. Let t be z(-1). Which is bigger: t or 8/9?
8/9
Let r be (-21)/18*4/(-49). Suppose -1 = -z - 2. Is z at least as big as r?
False
Let f = -125 + 146. Is f equal to 2?
False
Suppose 0 = -4*m + 20 - 4. Suppose 3*g = -g - m. Are g and -1/16 nonequal?
True
Let l be -3 - (-1 - (-4 + 6)). Is l > -5?
True
Let b(s) = -s**2 + s + 2. Let i be b(3). Let l(u) = -u - 4. Let k be l(i). Suppose 0 = -0*c - 2*c. Are c and k equal?
True
Let u = 96 - 97. Which is bigger: u or 0?
0
Let i(n) = -n + 2. Let u be i(3). Let y be ((-48)/(-3))/(-4) - (-104)/24. Does y = u?
False
Let q(r) = -r**3 - r**2