 60/14. Which is smaller: i or l?
i
Let y(x) = x**3 - 2*x**2 + 2*x - 3. Let u be y(2). Let h(w) = 6*w + 20. Let t(c) = -c - 4. Let z(l) = -2*h(l) - 11*t(l). Let j be z(2). Which is bigger: j or u?
j
Suppose 0 = 5*t - 6*t. Is -1/16 less than t?
True
Let t = 1 - 3. Let h be 6/10 + (-51)/(-15). Suppose h*w - 11 = -27. Which is smaller: t or w?
w
Suppose 2*o + 2*o - 36 = 0. Let i be -4 + o/12 + 3. Which is smaller: -1 or i?
-1
Let h be (-11)/(-66)*(-8)/(-6). Is h greater than or equal to 1?
False
Let v be 6/(-27) - (-20)/9. Suppose v*g - 7*g + 5 = 0. Is -1 bigger than g?
False
Let w(a) be the first derivative of 2*a**3 - 7/2*a**2 + 3*a - 1/4*a**4 + 4. Let q be w(5). Which is greater: q or -6?
-6
Let k be 2/(5/((-30)/(-4))). Suppose -k*s + 8*s + 3*j - 25 = 0, 0 = -4*s + j + 20. Suppose 0 = 5*q + 2*g - 10, -q - s*g = -2*q - 25. Which is greater: q or 1?
1
Let b = -179/3 + 59. Which is bigger: -5 or b?
b
Let g = -119 - -955/8. Do g and 1 have the same value?
False
Let z be -7 - (-1 - (0 + 2)). Let o be 1/z - 258/(-72). Is 1 smaller than o?
True
Let r(u) = 2*u - 13. Let t be r(7). Let f be (2/42*3)/(-1). Which is smaller: f or t?
f
Suppose -d + 73 = g, 2*d + 106 = 2*g - 36. Is g != 72?
False
Let y = 126 - 126. Which is smaller: y or 59?
y
Suppose 0 = -3*j + 4*x - 14, 3*j + 10 = 2*x - 0. Let v = -2 + -2. Let l be (-14)/18 + v/18. Which is smaller: l or j?
j
Let t(r) = -10*r**2 + 22*r - 8. Let o(j) = 7*j**2 - 15*j + 5. Suppose -2*m + 3*m + 5 = 0. Let q(h) = m*t(h) - 7*o(h). Let n be q(4). Is n != 0?
True
Let j = 0.08 + -0.08. Let k = -2.2 - -0.2. Let r = 2.1 + k. Is r greater than j?
True
Let j = 12 + -7. Let z = -0.3 + -0.7. Is z > j?
False
Let l(o) = o + 1. Let n be l(1). Let i be (2/(-6))/(3/(-36)). Let z = n - i. Which is bigger: z or -2/3?
-2/3
Suppose 5*v - 150 = -0*v. Let m be ((-4)/70)/((-3)/v). Which is smaller: 0 or m?
0
Let a be 84/12*12/14. Let t be (-2 + a)*3/138. Which is bigger: t or -1?
t
Suppose 3*a - 3*x + 3 = 0, 2*a - 4 = 4*x - 6. Let s = a - 4. Which is smaller: s or -4?
s
Suppose i + 4 = 2*t + 3, -14 = 2*t + 4*i. Is t not equal to 210?
True
Let l = -11 - -4. Let j(t) be the first derivative of -t**4/4 - 2*t**3 + 4*t**2 + 7*t + 2. Let y be j(l). Which is greater: 2/9 or y?
2/9
Let x = -1 + 7/5. Which is greater: x or 4?
4
Let r(g) = -g**3 - 3*g**2 - 2*g + 2. Let s be r(-2). Suppose 5*v + 4 = s*n, -n - 8 = -v - 5*n. Let c(q) = -q + 8. Let i be c(7). Is v at most as big as i?
True
Let f = 1124 + -2822. Let a = f + 3175/2. Let r = a + 1113/10. Which is smaller: r or 2?
r
Let j be -4 + 5/(10/6). Let t be 1 + 4/(-14) + j. Which is greater: 1 or t?
1
Let w be (-4)/14 - (-6)/(-28). Let m = -0.121 - -0.021. Which is smaller: w or m?
w
Let i(n) = -n**2 + 19*n - 37. Let k be i(11). Is 51 < k?
False
Suppose 3*k - 90 = 5*b, -2*b - 2*b - 65 = -k. Are b and -15 unequal?
False
Let x be 4/(-1 - (-2)/6). Let t be 4/x*15/(-10). Is t at least as big as 0?
True
Let c = -1.74 + 1.6. Let n = c - -4.14. Is -2/7 != n?
True
Let y be (-3)/(-15) - 4/(-5). Let r(g) = -3*g**2 + 2*g - 1. Let i be r(2). Let h be (-12)/i + y*-2. Which is bigger: -1 or h?
h
Let s be ((-21)/225)/(1/3). Let i = -42/25 - s. Is 0 equal to i?
False
Let c be -3 + 6 + 4 + -1. Is c <= 8?
True
Let z be (((-12)/68)/(6/(-3)))/(-3). Is 1 less than or equal to z?
False
Let l(m) = 5*m**2 - 6*m - 2. Let v(b) = 14*b**2 - 19*b - 5. Let c(f) = 11*l(f) - 4*v(f). Let d be c(9). Is 7 bigger than d?
False
Let y = -7 - 1. Let a be (-2)/y + 28/16. Suppose -23 = a*r - 3*b, -3*r + 2*b = 5*b - 3. Is -4 not equal to r?
False
Let c be (-12)/(-423)*6/(-4). Let v(s) = s**3 - 15*s**2 + 35*s + 11. Let h be v(12). Is c at least as big as h?
True
Let c be (-1)/36 - 16/72. Let t = -2.93 - -3. Is t > c?
True
Suppose -36*y + 40*y - 72 = 0. Which is bigger: y or 17?
y
Let m = 2 - 2. Suppose -12 + 3 = 3*x. Let r be (4/(-6))/(5/x). Is r greater than m?
True
Suppose -1 = -0*f + f. Let o(c) = c. Let r be o(f). Let l be ((-2)/(-12))/(3/6). Is l at most as big as r?
False
Suppose 2*v + 2 = -3*t - 0*v, -5*t - 35 = -3*v. Let p(s) = s. Let z be p(5). Suppose d + n + 1 = -4, -z*d + 4*n = 7. Is t bigger than d?
False
Let m be 21/(-28)*(-104)/(-27). Is m less than -3?
False
Suppose 4*n = -2*d + 9 + 1, 4*n - 5 = -3*d. Suppose i = n*i - 24. Suppose 2*w - 2*t + i = 0, -5*w + 9 = t - 0. Which is bigger: w or 0?
w
Let v(z) = z**2 + 6*z - 5. Let t be v(-6). Let i = -5 - -2. Is t equal to i?
False
Let j be 11 + (-1 + 4 - 1). Is j equal to 14?
False
Suppose -5*y = -5*z - 67 - 8, 4*z + 8 = 0. Let x = 2 + 2. Suppose -x*h - y = 7. Which is smaller: h or 0?
h
Let t = -1226740 - -38023210/31. Let q = 20518/217 + t. Let l = q - -90. Is l bigger than 0?
False
Let l(x) = 2*x - 5. Let n be l(4). Let c be 8*n/78 + 0. Which is smaller: -1 or c?
-1
Suppose -2*t - 3 = 1. Let g be 1/t*(1 + 0). Let z = -0.9 - -1. Is z > g?
True
Let o be (-1 + -14)*(-15)/(-8 + 3). Are o and -43 equal?
False
Let z = 54 + -55. Is z less than -2/59?
True
Suppose 4 = v + 5. Let q = -154 + 150.92. Let y = q - -0.08. Is y less than v?
True
Let s(l) = -l**2 - 4*l + 9. Let g be s(-5). Let j = -7 - -14. Which is bigger: g or j?
j
Let c = -29/9 - -11/3. Is -0.1 at least c?
False
Suppose 12*j + 33 + 39 = 0. Is j at least as big as -28/5?
False
Suppose -3*h + 3*b + 7 = -23, h = -2*b + 16. Let g be 2 - 34/h - -1. Suppose -8*t = -5*t. Is t != g?
True
Let t = 116.943 + -117. Is 0.1 >= t?
True
Suppose -5*a = -0 + 5. Let j be (-2)/(-3) - (-38)/(-30). Which is smaller: a or j?
a
Let q = -56/3 + 18. Let j be 6/(-27)*1*3. Is j at most q?
True
Let z = 1 + -4. Let q = z - -7. Is 13/3 less than q?
False
Suppose -v + 2 = -3*i, 5*i - i = 4*v - 16. Suppose 0 = 4*r + i + 3. Which is smaller: -3 or r?
-3
Let b = -4 + -4. Let s = b - -12. Is s at least 3?
True
Let q = 9/1099 - -1962787/3297. Let g = q + -13708/21. Let t = -57 - g. Which is smaller: 1 or t?
t
Let r be (-315)/75 - 2/(-10). Which is smaller: -2 or r?
r
Let s(b) = b**2 + 11*b - 1. Let k be s(-11). Suppose -t - 3 = -1. Let l = t - k. Which is smaller: -3/5 or l?
l
Let i = 252 - 238.1. Let a = 13.31 - i. Let k = 0.01 - a. Which is bigger: k or 1?
1
Let j = -11 + 15. Suppose -j*h = h. Which is greater: h or -2/7?
h
Let s(d) = -d - 5. Let k be s(-6). Let y be (2/(-35))/(3/5). Is k at most y?
False
Suppose -5*r + l = 2*l - 3, -3*l + 9 = -5*r. Suppose -q = 2*q - 3. Is q > r?
True
Let o = 1 + -14. Is o greater than -12?
False
Suppose 9 = 4*k - 3. Let n be 0/k - (2 - 1). Let f be 1/(n - 6/(-3)). Which is smaller: f or -1/6?
-1/6
Suppose -1 = -4*u + 15. Suppose u*d - 2 = 6*d. Let g be (-2)/5 - 36/(-15). Is d < g?
True
Suppose 4*p = -2*d - 34, 5*p - 4*d - 6 = -42. Is p at least as big as -5?
False
Let d = -4 - -3. Let k be (-3)/(d - 2) + -10. Let r be (1/(-5))/((-3)/k). Which is smaller: r or -1?
-1
Let s = 12 + -11. Which is greater: s or -2?
s
Let u(s) = 8*s**3 + 3*s**2 - 2*s - 1. Let f be u(-3). Let r = f + 1272/7. Which is greater: r or -3?
r
Let a be (-2)/10*25/10. Suppose i - 3 = -1. Let n be (-1 + -1)/i + -1. Which is greater: a or n?
a
Suppose -3*l = -0 + 3. Are l and 5/11 non-equal?
True
Suppose -3*f - f = 0. Let q = 14/5 - 2. Which is bigger: q or f?
q
Suppose 0 = -i + 4*x + 13, i + 4*x = -4 - 7. Is -2/63 not equal to i?
True
Suppose 3*t + 3 = -0*t. Let w be (0 + -1)*t/4. Let v(y) = y**2 - 4*y + 1. Let o be v(2). Which is greater: w or o?
w
Suppose 0 = -u - 0*u + 3. Let n be (u - 3) + 2/2. Is 1 bigger than n?
False
Suppose 0 = 2*y + 2*y + 2*f - 68, 0 = -2*y + f + 26. Let j be ((-2)/36)/(y/(-20)). Let s be (2/(-3))/(2/3). Which is smaller: j or s?
s
Let c(n) = -5*n**3 - 4*n**2 - 2*n**2 + 8*n - 6 - 2*n + 4*n**3. Suppose -5*f = -o - f - 11, 0 = 2*o + 2*f + 12. Let w be c(o). Is 1 less than w?
False
Let x = 133 - 403/3. Let c(y) be the first derivative of y**2/2 + 5*y - 8. Let q be c(-5). Is x < q?
True
Let p be (0 - (-3 + 4))*(-3 - -2). Is -1/43 >= p?
False
Let j be 2 - (-6)/(-2 - -4). Let h(u) = -j + 0*u - 1 - u. Let r be h(-7). Is 2 greater than or equal to r?
True
Let t(g) = g**3 + 4*g**2 + 2*g - 4. Let s be t(-3). Suppose -5*u + 3 = -12. Let r(f) = f**3 - 3*f**2 - 2. Let y be r(u). Do s and y have the same value?
False
Let a = -15 - -13. Let t be ((-1)/(-6))/(a/(-10)). Which is smaller: t or 2?
t
Let r = 4 - 4. Let k = r - 1. Let s 