uppose 5*l = 3*o - 5*o + 10, -5*l = 5*o + 5. Let i be (o/30)/((-28)/6). Which is smaller: -1 or i?
-1
Let o(i) be the second derivative of i**5/20 - i**4/2 - 7*i**3/6 - 7*i**2/2 - 3*i. Let v be o(7). Let x be (0 + 5)/(-5 - -4). Does v = x?
False
Let r be 122/(-8) - 1/(-4). Let f be (-2)/(-3)*r/10. Is 2/3 bigger than f?
True
Let z(t) = t + 10. Let s be (1 + 4)/((-2)/4). Let m be z(s). Let x be (-2)/42 - (-4)/12. Which is greater: m or x?
x
Suppose -4*q + 3 = -1. Let h be (-2)/(-6) - q/3. Let a = 3 - 2. Which is smaller: a or h?
h
Let z = 33 + -57. Let l = z + 17. Let v be (2*1)/(l - -11). Does 3/11 = v?
False
Let g(u) = -u - 3. Let w be g(-5). Suppose 0 = h - 2*v + 2, h = -w*h - v + 1. Suppose -t + 0*p - 14 = -5*p, -4*t = 2*p - 10. Which is smaller: t or h?
h
Let o be ((-4)/(-8))/((-2)/(-48)). Is o < 12?
False
Suppose 48*u + 2 = 47*u. Is -7/10 at least as big as u?
True
Let y(t) = -t**2 + 5*t - 3. Let g be y(4). Is g at most 4/7?
False
Let k be (0/(0 + -3))/2. Suppose k = m - 6 + 3. Is m bigger than 2?
True
Let h = 10 - -5. Let c be 3/(3 - h/6). Do 5 and c have different values?
True
Suppose j + 0*x - 3 = 2*x, -2*x = 4*j - 12. Suppose j*s + 3 = -0*s. Let d be (5 + -3)/(s + -2). Which is greater: d or -0.2?
-0.2
Let b be (-2)/(-1 + (-9)/(-10)). Suppose -4*s - 3*l - b = s, 3*l = 3*s - 12. Let i be -1 + s - (-1)/(-1). Is i greater than -4?
True
Let y = 655 + -18997/29. Is 0 less than or equal to y?
False
Let m = -0.02 - -0.05. Let f = m - 0.13. Which is bigger: 0 or f?
0
Let j = 17 + -16. Which is smaller: j or 1/5?
1/5
Let u = -17 - -17. Does 0 = u?
True
Suppose 3 = -3*k + 6. Suppose 0*w - 5*w - 65 = 5*n, 21 = -3*n + 3*w. Let y be (-15)/2*k/n. Are 1 and y equal?
False
Suppose 0 = -11*x - 69 - 8. Is -6 at most as big as x?
False
Suppose 179*c = 176*c - 9. Suppose 4*j - 4 + 12 = 0. Is j greater than c?
True
Suppose 2*a - u = -10, -u - 12 = -4*u. Let m(i) = -i - 2. Let l be m(a). Which is smaller: -3/14 or l?
-3/14
Let u be (3/15)/(8/10). Is 2/9 at most as big as u?
True
Suppose -3*u + 8*u - 2 = 4*b, 0 = -2*u + 5*b - 6. Suppose -3*x + u - 5 = 0. Is -1 smaller than x?
False
Let m = 0.1 + -0.3. Let z = -6 + 9. Suppose 2*c + 1 = z. Is c > m?
True
Suppose 2*v = -0*v + 6. Let o be v/((-12)/(-13)) + -4. Let n = -7 + 5. Which is smaller: n or o?
n
Let w = -31578 + 158543/5. Let j = w + -131. Which is smaller: j or 0?
j
Let n = 91/3 + -30. Let j = -11/2 - -5. Is n < j?
False
Let c = -12 - -13. Which is smaller: 2/3 or c?
2/3
Let y = 33 + -21. Suppose -5*o = -y*o - 28. Which is greater: o or -5?
o
Let d = -2 - -4. Let n be ((-6)/(-3))/d - -22. Is 24 smaller than n?
False
Let x = 3 + -4. Suppose -9 = n + 2*n. Which is bigger: x or n?
x
Suppose -s - 4*p = -13, 18 = 3*s + 2*p + 3*p. Let r = 79 + -235/3. Which is smaller: r or s?
r
Let f = 0.4 + 0.1. Let o be (-1)/(-3) + (-1)/21. Which is smaller: o or f?
o
Suppose l - 4*l = 225. Let o = l - -373/5. Which is greater: 2 or o?
2
Let n(f) = 4*f**3 - f**2 + f - 1. Let z be n(1). Suppose 5*i - r + 6 = -z, -7 = i + 5*r. Let j be 1*(-2 + (-5)/i). Is -0.3 > j?
False
Suppose 2*b - 11 = 3*i, -3*b = i + 2*i - 9. Let x be (3/b)/(42/24). Let k(j) = j + 6. Let a be k(-6). Are x and a unequal?
True
Let i(y) = -y**3 + 5*y + 4. Let n be i(-3). Suppose -n = h + 8. Let d be (2/h)/((-4)/12). Which is smaller: 0 or d?
0
Suppose 2*d - 2*g = 6, -2*g - 2 = 2*d - 0*g. Suppose -z + 2 = d. Suppose 2*n = -0*n. Which is greater: n or z?
z
Let a be 24/231 - (-4)/(-14). Which is smaller: 0 or a?
a
Let q = 29/6 + -9/2. Let r(b) = -b. Let o be ((-4)/2 + 1)*1. Let l be r(o). Which is smaller: q or l?
q
Let z be (-62)/8*6/21. Let l = z + 5/2. Is 1 < l?
False
Let r = -6 + 9. Suppose -r*m + 54 = 3*n, 0 = 4*n - 0*m - 5*m - 27. Is 1 < n?
True
Suppose 0 = i + i. Let j(b) = b**2 - 4*b - 5. Let v be j(5). Suppose -z - 1 + v = i. Is z smaller than -1?
False
Let z(h) = -h**3 - 6*h**2 - 6*h - 1. Let f be z(-4). Let m = -8 - f. Are m and 1 non-equal?
False
Let j(a) = a**3 + 4*a**2 - 6*a - 4. Let q be j(-5). Let b = 418/3 - 152. Let r = -13 - b. Which is bigger: q or r?
q
Let g(j) = -2*j - 60. Let x be g(-28). Which is greater: -18/5 or x?
-18/5
Let y be ((-1)/1)/(1/3). Let r be 2/(3 - 5) - 3. Let p = r + 4. Are y and p nonequal?
True
Suppose -4*i - o = -3, -1 - 11 = -i + 2*o. Suppose -2*y - 12 = a, -a + 4*y + 10 = -8. Is i <= a?
False
Let w(v) = v**3 - 6*v**2 + 4*v - 3. Let u be w(5). Suppose 57 = -5*k + 22. Is u > k?
False
Let d = 37.16 - 0.26. Let k = 34 - d. Let r = k + 3. Which is greater: -2/7 or r?
r
Let m be ((-15)/(-6) - 2)*-2. Is m > -3/7?
False
Let v = -0.06 - 0.04. Let f = -0.06 - v. Let s = f + -0.04. Which is bigger: s or 1/4?
1/4
Let h(o) = -o**3 - 10*o**2 - o - 10. Let z be h(-10). Suppose 0*a + 14 = -4*a + 2*u, z = 3*a + 5*u - 22. Is a at most 0.1?
True
Let h = -3 - -5. Suppose 3*s + 26 = -4*k, -3*s - h*k + 19 = -7*k. Suppose -5*a = -2*r - 0*a + 2, -5*r + 5 = 2*a. Is r at most as big as s?
False
Let x(w) = -w**3 - w**2 + 2*w - 1. Let k be x(1). Let v(h) = -h + 7. Let t be v(6). Which is greater: t or k?
t
Let t = -16 + 33. Which is smaller: 15 or t?
15
Suppose 0 = 3*s + 3 + 3, 3*o - 3*s = 15. Suppose -g + 17 = o*l + g, 1 = g. Suppose 13 = i + 3*y - y, -43 = -l*i + y. Which is smaller: 8 or i?
8
Let p(k) = -k**3 + 7*k**2 - 8*k + 5. Let r be p(6). Let b = -6 - 0. Is r greater than b?
False
Suppose 0 = 2*l - 5*v - 21, -l + 3*v + 11 = -0*l. Which is bigger: 10 or l?
10
Let h be ((-9)/(-4))/(3/(-8)). Let l be 4 + (-5)/((-15)/h). Let j be (-2)/((-1 + 2)/l). Which is smaller: j or -5?
-5
Suppose -12 = 5*u + 4*f, 2*u + 6 = -0*f - 2*f. Let i = 22 + -42. Let d be (-4)/(-6)*15/i. Is d bigger than u?
False
Let d(y) = 5*y**2 + 1 - y**3 - 2*y + 0*y**3 + 2*y**3 - 4*y. Let g be d(-6). Let c(u) = -u**3 + 7*u**2 - 7*u + 7. Let x be c(6). Is g >= x?
True
Let h = -2203/4 - -577. Let m = -3037/116 + h. Which is greater: m or 1?
1
Let u(r) = -r**2 - 6*r + 7. Let z be u(-7). Suppose 0 = -2*a - z + 2. Which is greater: -2 or a?
a
Let v be (-2)/3 - 17/(-34). Is 0 equal to v?
False
Let n be ((-8)/6 - (-21)/(-126))/3. Which is greater: n or 32?
32
Let q = -2/7 - 1/21. Which is bigger: 5 or q?
5
Suppose 8 - 33 = -5*x. Suppose -n = -3*f - 5*n - 1, -x*f + 2*n - 19 = 0. Which is bigger: f or -5?
f
Let h = -237/8 - -29. Is -2 greater than h?
False
Let q(z) = 0*z**3 - 3 + 2*z**2 + 0 + 4*z + 2 - z**3. Let m be q(3). Let c be (-2 + m)/(1/1). Is 1 > c?
True
Suppose b = m + 3*b + 7, -10 = 2*b. Suppose -3*l + 3*c + m + 9 = 0, -5 = c. Which is smaller: l or -2?
-2
Suppose -4*v - 5 = 2*o - 33, 0 = -4*v - 5*o + 40. Suppose -v*l = -4*g + 3, -2*g - 24 = 3*l + 3*g. Is l >= -1?
False
Let i(s) = s**2 - 9*s + 7. Let u be i(8). Suppose 3*f = 8*f + 30. Let y be 2 - (-16)/f - -1. Which is smaller: y or u?
u
Let a = 26 - 36. Let k be a*(-3)/42 - 1. Which is smaller: k or -3/7?
-3/7
Let k(l) = 3*l - 25. Let n be k(8). Is n equal to 2/189?
False
Let m = -1.82 + 1.82. Let k = 9.3 + -8. Which is greater: k or m?
k
Let n(t) = -t**2 - 5*t - 5. Let u be n(-4). Suppose 3*z - 3*r + 4 = 5*z, -2*z - 20 = -3*r. Are u and z equal?
False
Suppose 2*v = 6, 2*r = -3*r + 4*v - 17. Let m be (31514/(-364))/(2/(-4)). Let g = m - 173. Is r at least g?
False
Let d be 12/(-3) + 124/32. Is d greater than or equal to -2/5?
True
Let f = 305 - 191. Let b = -112.04 + f. Let z = b + 0.04. Is -1/3 greater than or equal to z?
False
Let l(d) = d**3 - 8*d**2 + 1. Let y be (-14)/91 - (-106)/13. Let b be l(y). Let c be (-32)/(-63) + (-4)/14. Do c and b have the same value?
False
Let z = -263 + 168. Are z and 0.1 unequal?
True
Suppose -27 - 2 = 3*v + 4*g, 4*v = g - 7. Let y = v + 11. Which is bigger: y or 9?
9
Let q be 19/51*3 - 1. Let a = -21/34 + q. Which is bigger: a or -1?
a
Let i = 11 - 8. Let u = 3 - i. Let q = u + -3. Which is smaller: q or 2?
q
Let x = 1 + -4. Let n = -12 + x. Let y be (-8)/n*-4 - -2. Are -1 and y unequal?
True
Let p(o) = -o**2 + 9*o + 15. Let i be p(11). Let g be (-4)/(-1)*(-7)/i. Is 5 at most as big as g?
False
Let f(o) = -o + 4. Let t be f(5). Let z = -315/206 - -3/103. Which is bigger: t or z?
t
Let l = -38/325 - -1/25. Suppose 3*f + 0*n - 4*n - 3 = 0, -n = -5*f + 5. Is l smaller than f?
True
Suppose -16 = -4*o - 5*b - 2, 3*o = -4*b + 11. Which is bigger: o or 6?
6
Suppose f + h = 33, -3*f + 23