 Which is greater: 1/5 or z?
z
Let l = 2 - 2.3. Let j = 0.01 + 2.99. Which is smaller: j or l?
l
Let v be (-1)/(-4) + 25/(-20). Let u = 1 - v. Let q be (u/(-25))/((-6)/(-10)). Are q and 1 nonequal?
True
Let w = -42 + 50. Which is smaller: w or -0.1?
-0.1
Let r be (-6)/9*5*-3. Let a(l) = l**3 - 11*l**2 + 11*l + 2. Let c be a(r). Suppose -4*o - 2*k = c, -4*o + o + 4*k = 9. Is o greater than or equal to -4?
True
Let a = -1066/5 - -214. Suppose 16 = q - 3*k, q - 6*q - k = 0. Suppose -3*r - q + 4 = 0. Which is smaller: a or r?
a
Let r be (-4)/(-5)*(-20)/(-4). Let h be (-6)/30*5/r. Which is bigger: h or -1?
h
Let f be 119/9 + (-6)/27. Let s(h) = 23 + 3*h**2 - 2*h**2 - f + 11*h. Let i be s(-10). Which is smaller: i or 2/19?
i
Let j be 3 + 1 + (-2 - 1). Let a(o) = o**3 - 16*o**2 - 16*o - 19. Let r be a(17). Is j at least r?
True
Suppose 2*p + 4 = 14. Let k(l) = l**3 - 4*l**2 - 4*l - 1. Let c be k(p). Suppose -c*x = -2*x. Which is smaller: -2 or x?
-2
Let h = -85 - -84. Is h at most as big as -2/135?
True
Let x = 37 - 40. Is x at most as big as 0.3?
True
Let f be ((-4)/(-6))/((-4)/42). Which is smaller: f or 1?
f
Let n = -2.952 - 0.048. Is n bigger than -1?
False
Suppose 5 = -w + 7. Suppose 2*m + 8 = -w*m. Which is bigger: 0 or m?
0
Let m = -2 + -2. Let v be (9/6 - 1)*m. Which is bigger: -3 or v?
v
Let r = -0.21 - -0.17. Let w = r + 0.14. Are w and -6 nonequal?
True
Let d = 696749 + -606171497/870. Let c = d + 2/145. Which is greater: c or -1?
c
Let s be (-2)/14*(2 + 1). Let i = 15 - -20. Let r = i + -34.8. Is r less than s?
False
Let q = -98 + 104. Is 37/6 not equal to q?
True
Suppose -10*i + 5*i = 0. Let b = 16 + -33/2. Is i > b?
True
Let h(r) = -r**2 - 3*r - 1. Let f = -7 + 5. Let m be h(f). Which is smaller: m or 1/5?
1/5
Let g(b) = 6*b. Let x be g(-1). Let q be -6*-1*2/(-3). Is q at least x?
True
Suppose -7*z = -4*z - 15. Suppose 3 - z = 2*r. Let a be (2 - 8/14) + r. Which is smaller: 1 or a?
a
Suppose -2*c = -5*a - 4*c - 5, -5*c = -a + 26. Let h = 21 - 13. Let l be h/(-6)*9/(-36). Is a not equal to l?
True
Let w be 342/66 + 2/(-11). Suppose 4*p - 3 = p + q, -2*p + w*q - 11 = 0. Let t = 6 - p. Is t less than 4?
False
Let z = 10 + -7. Let v be -3 - 1/(1/z). Suppose -g - 2*g + 5*w - 23 = 0, -5*w + 11 = -g. Is g greater than or equal to v?
True
Let r(d) = -d**3 + 6*d**2 - 3. Let b be r(6). Is b < -4?
False
Let c(p) = -3*p**2 - p + 5. Let z(j) = j**2 - 2. Let n(y) = 2*c(y) + 7*z(y). Let w be n(3). Let g be w/6 + 25/(-30). Which is greater: g or 0?
0
Let l be 1963/(2 - 63/6). Let v = l - -231. Let h = v - 39/85. Which is smaller: h or 1?
h
Let j be 0/(-1*(-1 + -1)). Let y be (-58)/8 + 2 + 3. Let a = 35/12 + y. Which is greater: j or a?
a
Let n be (95/(-10))/(3/(-6)). Which is smaller: n or 18?
18
Suppose -5 + 9 = -2*r. Let b be ((-1 - -4) + r)*2. Let w = -148 + 1034/7. Is w at most as big as b?
True
Let w be (-12)/(5/(5/(-2))). Which is smaller: -4 or w?
-4
Let z(p) = p**3 + 3*p**2 - 3*p + 5. Let b be z(-4). Let l be 1*(1 - b)/(-3). Is -2/3 greater than or equal to l?
False
Let k = -8 - -14. Let p = -6.1 + k. Is p smaller than 1?
True
Let w = 15 - 1. Suppose 9 = 5*u + w. Is u greater than -4/5?
False
Let g = 321/790 + -1/158. Suppose -2*q - 25 = -5*q + 5*d, -6*q + 5 = -d. Which is smaller: q or g?
q
Let h = 4.5 - 4. Let s = h + -0.4. Which is bigger: -0.3 or s?
s
Let t be (-60)/(-16) - 1/(-4). Let v = -2 + t. Let w(s) = -s**2 + s. Let l be w(v). Which is bigger: -3 or l?
l
Let t = 41 - 33. Is t < -0.3?
False
Suppose -7*g + 63 = -0*g. Are g and 9 equal?
True
Let k = 1 + -0.9. Suppose 4 - 6 = -2*i. Let b be 2/12*4/i. Are b and k equal?
False
Let n = -152/21 + 46/7. Let w = 186 - 187. Does n = w?
False
Let w = -24 - -16. Let x be (-4)/8 + (-2)/w. Which is smaller: 10 or x?
x
Let t = 1.4 + -0.4. Let h = t + 1. Let l = h + -2. Is l at most -0.1?
False
Let j = -28 + 23.25. Let a = 0.05 + j. Let f = a - -5. Which is bigger: f or 0?
f
Suppose p - 2*k = 13 + 6, -4*p = -5*k - 64. Let n = -13 + p. Let l(i) = -2*i**3 + 2*i**2 - i. Let j be l(1). Which is smaller: j or n?
n
Suppose -4*g = 3*d + 23, 1 = d - 0*d - 3*g. Suppose -2*x - 4*p = -6, 2*x - 5*p + 27 = -2*x. Is d less than x?
True
Let q(h) = -3*h - 20. Let i be q(-7). Is i at most as big as 7?
True
Let h = -1 - -0.5. Which is smaller: -0.1 or h?
h
Suppose 0 = 3*c - 8*c + 15. Suppose 0 = 5*p + 10, k = -c*p + 2*p. Does k = 2/3?
False
Let h(o) = -o + 9. Let v be h(10). Do v and -1 have the same value?
True
Let x(w) = w + 5. Let l be x(-5). Let c = -20 - -21. Which is greater: c or l?
c
Let q = 4.9 - 5. Which is greater: q or -9?
q
Let y = -4 - -2. Let w be 2/((-1)/1 + 0). Let i = y - w. Which is smaller: 2/7 or i?
i
Let g be (-3)/(-6) - (-7)/(-2). Let r be 5/g + 1 + 1. Suppose 4*u + 2 + 10 = 0. Is u bigger than r?
False
Suppose 0 = 5*w - 0*w - 20. Does 6 = w?
False
Suppose -3*n - 5*t = -t - 8, -5*n + 3*t - 35 = 0. Let h = 5 + n. Does h = 1/2?
False
Let p = 4.48 - 4. Which is greater: 1 or p?
1
Let r = 36 - 37. Which is smaller: r or -6?
-6
Suppose -5*x - 78 = 2*c, -c = -4*x + c - 48. Is -12 bigger than x?
True
Let v(o) = -7*o**2 + o - 1. Let c be v(1). Let l = c + 7. Let z = -635/4 - -158. Which is smaller: z or l?
z
Let r = -13 - -12. Is r greater than -18?
True
Let h be 2 - -1*10/(-4). Let m = h - -3/10. Is -2 >= m?
False
Let g = -8 + 5. Let i be (-8)/(-5)*(-150)/(-12). Let l = i + -98/5. Is l bigger than g?
True
Let l(g) = 3*g - 21. Let k be l(9). Is k at least as big as 6?
True
Let m = 7653/4 - 1902. Let n = m - 11. Which is greater: 2 or n?
2
Let l(c) = -c**3 - 4*c**2 + 6*c + 1. Suppose -4*f + 40 = -4*y, y - 4*f + 9 = -16. Let i be l(y). Which is bigger: -3 or i?
-3
Let q = 53 - 36. Which is bigger: q or -1/3?
q
Suppose -17*f = -21*f - 244. Is f less than or equal to -62?
False
Let j be 2*(4 - 1)/(-6). Let q = 1 - -6. Let w be (q - 5)*j/(-7). Is w greater than -2?
True
Suppose 2*n = -4*m - 16, 2*n - 2*m = 8 + 6. Let x be (-6)/(-4) + 15/n. Which is smaller: x or 8?
8
Let k = -1/69 + -2851/69. Let s = k - -42. Suppose -2*u + 10 = 3*u. Which is smaller: s or u?
s
Let k = -10/47 - 877/517. Is k < -2?
False
Let p = -80 - -96. Is p less than 12?
False
Let p = 0.9 + -1.9. Suppose -n - 5 = 5*k - 16, 2*n = -3*k + 8. Let m = k - 1. Which is smaller: m or p?
p
Let b be 34/(-68)*(1 + 0 - 3). Let i(u) = u + 7. Let r be i(-5). Suppose -4*l + 2 = -r. Is l < b?
False
Let s(d) = -6*d - 1. Let t be s(-1). Suppose 4*w = -w - t. Which is bigger: w or 2/17?
2/17
Let h be (10/(-40))/(18/16). Which is bigger: 1 or h?
1
Let t(u) = -u**2 - u + 4. Let d be t(0). Let k = d - 4. Which is greater: -3/7 or k?
k
Let x = 22 + -31. Is -10 greater than or equal to x?
False
Suppose -5*u + k + 71 = 12, 5*k = 3*u - 53. Which is bigger: u or 12?
12
Let q be (-114)/(-14) - 2/14. Suppose -d + 4*v = q, 3 = 3*d + 3*v - 3. Does d = 0?
True
Let o(d) = -d**2 - 4*d + 5. Let q be o(-5). Let f be -3*3/(-378)*1. Let z = f - -121/210. Are z and q non-equal?
True
Let t(x) = 43*x**2 - 1. Let o be t(-1). Let y(g) = -5*g + 5. Let h be y(-7). Let q be (-12)/(-18) - h/o. Is -1 at most as big as q?
True
Suppose -k - 13 = -2*t + 12, 0 = 3*t + 5*k - 31. Suppose q = -3*q - t. Suppose 0*z - 2*s = 5*z + 16, -3*z + 2*s - 16 = 0. Is q at least z?
True
Suppose x - 2*x = 7. Is -7 < x?
False
Let s(a) = a + 3*a**3 - a**2 + 2 - 4*a**3 + a + a. Let w be s(-2). Is 2/3 at least as big as w?
True
Let s = 0.03 - -0.77. Let a = s - 0.8. Is -0.2 at least a?
False
Let m = 0.08 + 2.92. Let f = 10 + -1. Let p(h) = -h**2 + 10*h - 9. Let o be p(f). Which is bigger: o or m?
m
Let u(w) be the second derivative of -w**5/20 + w**4/4 + w**3/3 - 3*w**2/2 - 3*w. Let n be u(3). Which is smaller: n or 4?
n
Let c be (-25)/(-35) + (-2)/(-7). Suppose -3*v - 4 = -v. Are c and v non-equal?
True
Let u = 8 - 6. Suppose 3*n - 5*c - 35 = -u*n, -n + 2*c + 11 = 0. Let h be (n/9)/((-6)/(-4)). Which is greater: 0 or h?
h
Let j be (1/5)/(2/14). Is 1 at most as big as j?
True
Let q = -8 - -5. Let a be 20/(-6) - 4/6. Let l = q - a. Is l smaller than 1/5?
False
Let d be (-5 - (-2 + 1))/7. Let r(b) = b**2 - 3*b + 3. Let x be r(3). Suppose -6*f = -x*f. Is f > d?
True
Suppose 2*u - 4*f = 6, 3*f - 2 = 3*u - 5. Is u < 55?
True
Let m = 18 + -26. Let f = m + 6. Is f at most 1?
True
Let g be (24 - 15)*11/3. Is g le