Which is smaller: z or 5/9?
5/9
Suppose y - 4*h + h - 3 = 0, 4*h + 4 = -2*y. Let w = 304394/973605 - 214/4143. Let x = w - 6/47. Are y and x nonequal?
True
Let y = -1.29 + 1.09. Does y = 3.1?
False
Suppose 5*l - 1 = -36. Do l and -6 have different values?
True
Let y(x) = x**3 - 5*x + 3. Let z be y(2). Let k = 1886/9 - 210. Is k equal to z?
False
Let g = 0.3 + -1.3. Let f = 6 - 6.04. Let p = -0.04 - f. Which is smaller: p or g?
g
Let w = 96 + -96. Is w smaller than 4/33?
True
Let j(h) = -2*h**2 - 1. Let f be ((-4)/(-2))/(3 + -1). Let y be j(f). Which is smaller: y or 0.2?
y
Let m = 370 - 1833/5. Let k = m - 21/5. Let a(x) = 4*x - 28. Let c be a(7). Which is greater: k or c?
c
Let h(w) = -w**3 - 5*w**2 - 7*w - 4. Let n be h(-4). Suppose 0 = 4*o + n - 0. Let t be o/8 - (-33)/36. Is 0.2 at most t?
True
Let k(o) = o**3 - 13*o**2 + o - 13. Let b be k(13). Is b smaller than -11?
False
Let v(i) = -i**2 + 3*i - 1. Let w be v(1). Let n(a) = -2*a. Let o be n(w). Is o less than or equal to 0?
True
Suppose -3*k = -2*k - 3. Let o(w) be the third derivative of -w**6/120 - w**3/6 - 4*w**2. Let s be o(0). Which is bigger: k or s?
k
Suppose -a + 5 = 4*a. Which is smaller: a or 4/5?
4/5
Suppose g - 32 = -33. Are g and 2 equal?
False
Let p = 2 - -1. Suppose -4*r = f + 9, 4*r + 18 = -5*f - 11. Let o be (9 - 10) + f/(-7). Is p at least o?
True
Let r = 18 + -18. Is r != 0?
False
Suppose -32 = 4*z - 2*s, -3*z - s = 2*s + 33. Is z less than -9?
False
Let v = -11 - -97/9. Suppose -3*t - 9 = -3*u, 0 = u - 9*t + 4*t - 15. Is v at least as big as u?
False
Let r = 9 - 12. Let a = 2 + r. Let d = -4/5 - -8/35. Which is smaller: a or d?
a
Suppose -2 = z - 6. Suppose n = -10 + z. Is n greater than or equal to -7?
True
Suppose 0 = 2*k - 8. Suppose 4*z - 4 = -2*s, 2*z = -4*s + s + 10. Is s smaller than k?
False
Let o = 53 + -53.05. Which is smaller: -1/5 or o?
-1/5
Let l be ((-48)/(-21) - 2)*7. Suppose l*n = 5*n - 3. Is n not equal to -1/4?
True
Let o be (-20)/24 - 1/3. Which is bigger: o or -2?
o
Let y = 85/156 - -8/39. Let t be (-2)/9 - 303/(-27). Suppose -5*z - b - t = 3*b, z - b - 5 = 0. Is z at most as big as y?
False
Let a be (24/(-7) - -2) + 2. Let o be 3 + (-3 - 6/(-3)). Which is greater: a or o?
o
Let b = 0.998 + 0.002. Which is smaller: b or -2?
-2
Let c = 1.6 + 0.4. Let k = -3 + 2.99. Let t = -1.99 + k. Which is greater: t or c?
c
Suppose -2*q - 16 = 3*c, 5*q + 0*q + 5*c + 40 = 0. Let p = -5 - q. Suppose 3*t - 13 = m, t + p*m = -m. Which is smaller: 6 or t?
t
Let t be (-2)/22*(2 - 3). Is t smaller than -1?
False
Let z(q) = -q**3 + 6*q**2 + q - 6. Let t be z(6). Suppose -4*y + x = 1, t = 3*y - 3*x - 6. Let i be (-4)/114*1*-3. Is y at least as big as i?
False
Let g = 3.26 + -0.26. Suppose -3*o - 3*s - 1 + 25 = 0, -25 = -2*o - 5*s. Suppose o*z - 4*u = 25 - 0, 2*z + 5*u = -23. Is g > z?
True
Suppose 6*l + 40 = l. Let k be 2/(-6)*(-12)/l. Which is greater: k or -1?
k
Let a be (8/10)/(1/5). Suppose -a*q = -0*q - 8. Which is bigger: q or 1?
q
Suppose 27 - 3 = 4*z. Suppose -5*j = 4*o - 25, 2*o - 18 = -2*o + 2*j. Which is greater: o or z?
z
Let v(p) = p - 7. Let y be v(5). Is y < -5?
False
Let g = -141051 + 32723543/232. Let x = -1/232 + g. Is -2 > x?
False
Let z be (3/(-21))/((-12)/14). Let y = 7 - 2. Suppose w - y*w = -4. Is z at least as big as w?
False
Let l(w) = 2*w**2 - 4*w + 5. Let q be l(3). Suppose 0 = -s, 5*b - s = 16 + 29. Which is smaller: q or b?
b
Let d be 0*(1 - 3/2). Let t = d - -4. Which is smaller: 8/3 or t?
8/3
Let d = 0 - -4. Let q be d + -1 - 6/1. Suppose 4*k = 5*v - 6, -3*v + v + 12 = -4*k. Are q and v equal?
False
Let l = 0.659 - 3.569. Let i = 0.09 - l. Is 0.1 bigger than i?
False
Let x be 1/3 - (-20)/3. Let h = x + -6. Is -1/12 at least as big as h?
False
Let m = 24.1 + -24. Which is smaller: m or 2/13?
m
Let o(d) = -4*d**2 + 66*d - 26. Let y be o(16). Suppose -3*q - 10 = -5*q. Which is smaller: q or y?
q
Let u = -0.97 + -0.03. Let i = u - -3. Is -1 equal to i?
False
Let o = -808 + 44441/55. Which is smaller: -1 or o?
-1
Let v = -6.4 + 8. Let k = v - 14.6. Is -0.1 less than k?
False
Let k(w) = -w**3 + 14*w**2 - 12*w - 2. Let q be k(13). Which is smaller: q or 9?
9
Let l be ((-250)/(-6))/((-33)/54). Let v = l + 68. Suppose 0 = -2*f + 4*f. Which is smaller: v or f?
v
Let f be (2/46)/((-25)/150). Which is bigger: f or 0?
0
Suppose -l + 4 = x, 0 = x + 3 - 5. Let a = -4 + l. Let s be 10/(-45) - 14/18. Is s greater than a?
True
Let o = 1.32 + -1.28. Suppose -5 = -0*h - 5*h. Which is smaller: h or o?
o
Let d be ((-68)/(-6))/((-4)/(-6)). Let t(g) = 3*g - 2. Let b be t(6). Is b at least as big as d?
False
Let g(p) = p**2 + p - 1. Let u(o) = -o**3 - 4*o**2 - 3*o + 4. Let s(d) = 4*g(d) + u(d). Let y be s(-1). Let x be 19/6 + -3*1. Which is greater: y or x?
x
Let a = -1 + 4. Suppose a*x - 8*x + 20 = 0. Suppose r + 20 = -x*h, 0 = -r - h - 0*h - 5. Is r greater than -2/9?
True
Suppose 2*j - 11 + 3 = 0. Suppose 0 = -2*l + j*d - 8, -3*d = -2*d - 3. Which is smaller: l or 4/7?
4/7
Let i = 0.41 + -0.01. Let n = i - 0.3. Is -0.1 >= n?
False
Let j be (6/8)/(3/(-12)). Let w be j - ((-12)/(-10) - 3). Which is greater: w or 0?
0
Suppose 30 = 3*t + 3*t. Is 6 <= t?
False
Suppose -2*m - 3*u + 27 = 0, 0*u + 4 = -4*u. Which is smaller: m or 1?
1
Let w(l) = 0*l**3 - l + 4 - 1 + l**3 - 6*l**2. Let f be w(6). Let d = 3 + f. Which is greater: -1/4 or d?
d
Suppose 5 - 3 = -w. Let r be (1 + 1)/((-52)/4). Let u = -32/39 - r. Is w at least u?
False
Let h = -229 + 3433/15. Which is bigger: h or -0.04?
-0.04
Suppose 3*q + w = 3, -3 = -q - 5*w + 4*w. Which is smaller: q or 1/23?
q
Let x be (0 - 0)/(-1)*1. Suppose 0 = -n + 4*n + 4*i - 20, 2*n - 2*i + 10 = x. Is 1 < n?
False
Let f = -3 + 5. Let z(q) = -2*q**3 + q**2 - 2*q + 1. Let c be z(f). Let w be (-4)/(-6) - c/(-9). Which is smaller: w or -1/2?
w
Suppose 0 = -4*s - 4*q - q + 5, 5*q - 5 = 3*s. Suppose -c - 4 = 2. Let d = c + 7. Which is smaller: s or d?
s
Let w be ((-2)/(-3))/((-2)/3). Let q be 4/(-8)*(-2)/(-7). Is w greater than q?
False
Let v(m) = m**2 - 3*m + 3. Let h(z) = 3*z**2 + z - 1. Let k be h(1). Let f be 0 + 1/(k/6). Let b be v(f). Is -2/7 greater than or equal to b?
False
Let l be 2/(-2)*0 + 9. Let k(c) = -c**3 + 6*c**2 - 5*c + 2. Let j be k(5). Let f be (j/6)/(3/l). Which is smaller: -2/7 or f?
-2/7
Let f be (-1)/(-36) + 3/(16 - 4). Is 0 greater than f?
False
Let p = 29 + -22. Let u be (-12)/(p - 3) + 0. Which is smaller: u or -2?
u
Let m = 35 - 29. Is m != 6?
False
Let s be (1 - -3) + (-29)/6. Let r be 0 - 3*2/3. Is s smaller than r?
False
Let x be ((-4)/9)/(-2) - 0. Suppose 4 = -3*w - w. Is w bigger than x?
False
Suppose 0 = 6*b - b - 30. Let u be 4/6*(-360)/(-16). Suppose -y + u = -b*y. Which is smaller: 1 or y?
y
Let i = 527/123 - 13/3. Let t = i - -100/369. Is t < 0?
False
Let s = -9 - -4. Is -9/2 smaller than s?
False
Suppose 2*x = -a - 0*a + 7, 0 = 2*x + 3*a - 17. Which is smaller: x or -3/25?
-3/25
Let u(x) = -x**2 + 2*x + 0*x**2 - 3*x + 1. Let f(m) = -4*m**2 + 2*m - 2. Let a(w) = -f(w) + 3*u(w). Let i be a(4). Is i at least as big as 2/3?
True
Let p = 7.05 + 1.65. Let w = p - 9. Is w < -1?
False
Let r(a) = a. Let l be r(-4). Let s be (-2)/(-6) + l/(-6). Let o = -2.01 + 0.01. Which is bigger: s or o?
s
Let b be 22/(-6) - (-4)/6. Let w = 3 + b. Are -1/5 and w unequal?
True
Let s be (1 - 0) + 4 + -5. Suppose -4*h + 4 = 0, s = -3*t - 2*h + 16 - 2. Suppose -3*b = -t*b. Are 0 and b unequal?
False
Let z be (-6)/32*18/27. Which is greater: 1 or z?
1
Let t(s) = s**3 - 2*s**2 - 32*s - 7. Let m be t(8). Is m at most 121?
True
Let u = -2957/13 - -227. Which is smaller: -1 or u?
-1
Suppose -5*c - 2 = p - 8, 2*c - 5*p = 24. Let q(h) = h**2 - 4*h + 1. Let y be q(4). Which is smaller: y or c?
y
Let y(w) = -w - 7. Let t be y(-6). Let z = 30 - 20. Let c be (-2)/32*(z - 4). Which is greater: c or t?
c
Let r = -441/100 - -17/4. Let n = -37/75 - r. Is n smaller than -1/3?
False
Suppose -7 = 3*t - 5*r + 1, -4*t = 4*r + 32. Which is smaller: -17/3 or t?
t
Let z = 239/30 + -49/5. Is -3 < z?
True
Let s = -8 - -8.6. Let o = s + 1.4. Which is bigger: -1 or o?
o
Suppose 3*o = 2*o + 4. Which is greater: 0.12 or o?
o
Let r(i) = i**2 + 4*i - 6. Let j be r(-5). Let l be j/(3 + -1 + -3). Which is bigger: 2/3 or l?
l
Let v = -11 + -44. Which is g