7). Which is greater: z or 1?
1
Let i(k) be the second derivative of -k**3/6 + 8*k**2 + 4*k. Let j be i(13). Suppose -j*s = -s. Which is smaller: 1 or s?
s
Let q be (-208)/12*(-3 - 0). Is 458/9 smaller than q?
True
Let g = -58 - -49. Let a = 15 + g. Is 39/7 less than a?
True
Let i(v) = -v**3 - 3*v**2 + 2*v - 6. Let a be i(-4). Suppose -3*q - 28 - 14 = -2*j, 4 = a*q. Let z be 4*3/j*3. Which is bigger: -0.2 or z?
z
Let f = -141 + 1546/11. Let j be (-1)/10*2*2/(-1). Which is smaller: j or f?
f
Let q = 839 + -836.056. Let r = -0.056 - q. Let p = -0.4 - -0.41. Is r less than or equal to p?
True
Let f be (-4 + 1)*3/9. Let k(j) = j**3 - 21*j**2 - 2*j + 21. Let n be k(21). Let x be (n/56)/((-6)/4). Which is greater: x or f?
x
Let k be 12/(-3)*(-2295)/(-18). Which is greater: -511 or k?
k
Let r be 10/(-6) - 6/18. Let x(s) = -3*s + 21. Let y be x(-5). Let o be 4/8 + (-38)/y. Which is smaller: r or o?
r
Suppose 0 = -u - 4*u + 20. Let y be 1030/40 + 1/u. Is y > 27?
False
Let z = 50 + -20. Suppose -z*f = -33*f - 48. Is f at most as big as 1/2?
True
Let r be (-3)/(-12)*-2 - -2. Let c(y) = y**3 - 6*y**2 - 6*y. Let h be c(7). Let w(x) = x**2 - 6*x - 5. Let g be w(h). Is g at least as big as r?
True
Let u(n) = -n**3 + 10*n**2 - 9*n. Let p be u(9). Let h be p/(0 + 2) - 1. Let w be 6/(-6) - 0/h. Is 2/7 bigger than w?
True
Let n = -0.2238 - -0.2918. Which is bigger: 3 or n?
3
Let g = -327 + 316. Which is bigger: -10 or g?
-10
Let g be 8/10 + (-13)/(-65) + -1. Which is smaller: -1/76 or g?
-1/76
Let l be 1*(0 + 2/3 - 1). Is l at most as big as 6?
True
Suppose o + 2*l - 2 = 0, -1 + 6 = o + 5*l. Suppose 0 = -2*p - 3 + 5, y - p + 1 = o. Which is bigger: y or -7/15?
y
Let z be 4/10 + 183/5. Let c = z + -42. Which is smaller: c or -18/5?
c
Let z be ((-5)/15)/((-1)/3). Let i be (-1 - -2)*(-1)/z. Let f be (0 - i)*-1 - 3. Are -6 and f nonequal?
True
Let q = -4997 - -49967/10. Let g be (-1)/(3 - 1)*0. Is g bigger than q?
True
Let u = -807 - -29856/37. Is u at most as big as -1?
False
Let l be ((-12222)/(-1596))/((-6)/(-4)). Which is bigger: 6 or l?
6
Let o = -51 - -15. Which is bigger: o or -1?
-1
Let n = -4987.78 + 5131. Let i = n - 143. Is -0.1 > i?
False
Let g be (8 - 15 - -8)/(1/2). Let j be -1 + (g + -11)*1. Is j > -14?
True
Let l = -47 + 87. Let y = l - 44. Let d = 8 + -8.3. Is d equal to y?
False
Let n = -139.7 - -150. Is -2 <= n?
True
Suppose -6 = l - 22. Let w = -24 + l. Is -7 less than or equal to w?
False
Let m be -7*(-1)/42 - (-1)/210. Is m != 1?
True
Let d(k) = -5*k**2 - k + 1. Let h be d(-3). Suppose -5525 = 212*c + 3167. Does c = h?
True
Let s be (-5 - -1)/(6/3 + -4). Are s and 22/35 nonequal?
True
Let q = -434 + 425. Which is smaller: -39 or q?
-39
Let n(o) = o + 67. Let z be n(0). Let h be ((-5)/((-25)/(-95)))/(6/(-22)). Let b = h - z. Which is smaller: b or 4?
b
Let d be (12 - 5 - 9)/(-1 - -3). Do 4/131 and d have different values?
True
Let r be (0/3 + -2)*7/14. Let c = -88 - -88. Which is bigger: r or c?
c
Let w be (-45)/495 + 2769/(-33). Which is smaller: -94 or w?
-94
Let z be 3 + 0 + 0 + 57. Let p be ((-4)/z)/(2/(-6)). Let c = -65.3 + 65. Is p at least as big as c?
True
Let x = -3 - -11. Suppose x*h = 6*h - 22. Is -11 != h?
False
Suppose 4*l - 2709 = 7*l. Which is smaller: l or -902?
l
Let u(o) = -o + 5. Let p = 20 + -17. Let f be u(p). Let c be ((-12)/123)/(f/1). Which is smaller: 1 or c?
c
Let c = -16.027 - -0.027. Let u = -17.9 + 2. Let j = c - u. Which is greater: 0.4 or j?
0.4
Suppose 72 + 180 = 14*f. Suppose -3*t + f = -2*v, -2*v + t = -3*v + 1. Is v at most as big as 1?
True
Suppose 3*w = 7*w - 64. Suppose -133 = -5*c - 3*g - 50, 3*g = 3. Is c equal to w?
True
Let x = 836937/79 + -10594. Which is bigger: 0 or x?
x
Let w = 11 + -5. Let u be (-12)/21 - w/(-21). Let i = -0.04 - -1.04. Is u not equal to i?
True
Let f = -0.8 + -0.2. Let o = -48.9 - -34.9. Let l = o - f. Which is smaller: l or 1?
l
Suppose 0 = 9*f - 6*f. Suppose -5*v + f = -5. Let t be (-2 - -1)*(-2)/46. Is t equal to v?
False
Let u(o) = o**3 + 6*o**2 + 5*o + 1. Let l be u(-3). Which is smaller: 9 or l?
9
Let d be 7 + (2 + -2 - 3). Suppose 6 - d = u. Suppose u*w = 6*w. Which is smaller: 2 or w?
w
Let p be 0 + 2/2 + (-50)/(-5). Suppose -p*y + 52 = -3. Suppose 5*t - 12 = 13. Are y and t unequal?
False
Let q = -326 - -303. Is -156/7 equal to q?
False
Let y = 656 - 587. Is 69 greater than y?
False
Let o(v) = v**2 - 19*v + 3. Let p be o(19). Suppose p = 3*s - 0*s. Is 3/31 less than or equal to s?
True
Suppose -29*k + 30 = k. Let o be k/4 + 10/(-279 + -1). Suppose -7 = -4*t - 3. Which is greater: t or o?
t
Suppose -41 = -3*p + 130. Let s be 152/p - (3 - 1). Is s <= 0?
False
Let m be 370/8*(-16)/120*-6. Let n = 0.03 - -1.97. Is n <= m?
True
Let k = 47 - 189/4. Let z = -10.68 + 11.08. Which is smaller: k or z?
k
Let k be -4 + 4 + -1 - (-2)/6. Which is greater: 89 or k?
89
Suppose 7*m = -6*m + 11*m. Is 2/347 bigger than m?
True
Let a be ((-66)/(-9))/((-10)/6). Let w = -173 + 169. Which is smaller: a or w?
a
Suppose 2*y - 5 = 3*l - 2*l, 0 = -3*y + 15. Suppose 0 = -3*t + 7*t. Suppose t - 10 = l*k. Is k at most -1?
True
Suppose -s = -4*d + 218, -3*s = 3*d - 6*s - 159. Which is smaller: 52 or d?
52
Let b be 3 + 3/24 + 30370/(-9744). Which is smaller: 0 or b?
0
Let j = 58 - 57.9. Which is smaller: 111 or j?
j
Suppose 0 = 13*v - 12*v + 8. Let q be 2/(-11) + v/198. Let p = 13 - 14. Are q and p nonequal?
True
Let j be (2 + 7/(-3))*-3. Which is bigger: j or -3/59?
j
Let v be (-62)/(-8) + 0 + -7. Which is smaller: v or 0?
0
Let b = -20107 - -1306989/65. Which is smaller: b or 2?
b
Let z be (2/6)/((-1970)/15). Are -1 and z nonequal?
True
Let y = 61 - 63. Let h = y + 2. Which is greater: h or 7/3?
7/3
Let v = 97 - 70. Is v at least as big as 254/9?
False
Let m = 3 - 1. Suppose 0 = -m*s + 8, 3*s = -0*v + 2*v + 18. Let a be (-30)/81*v/2. Which is greater: 0 or a?
a
Let n be 3*(-1 - (-15)/9). Let k(f) = 2*f + 1. Let g be k(n). Suppose -19*t + 31 = 5*y - 16*t, 4*y - t = 18. Is y smaller than g?
False
Let o = 21.9 - 21.9. Which is smaller: 2/3 or o?
o
Let m(z) = 5*z - 4 - 1 + 6. Let b be m(1). Let r be b/(-5 - -3) + 11. Is r at least as big as 8?
True
Let z(d) = 14*d + 25. Let s be z(-2). Let h be 4/(-24) - (s + (-57)/(-18)). Which is smaller: h or 1?
h
Suppose -15*p = -5*p + 10*p. Is -5/93 >= p?
False
Let g = 48 - 146/3. Let n = -37.91 + -0.09. Is n > g?
False
Let g = -8 - -32. Let f = -23.97 + g. Suppose 2*o = -2*v - 2*v, -4*o = -4*v. Which is greater: o or f?
f
Let b = 181/10 + -37/2. Suppose -4*i + 9 = -0*i + 3*j, -9 = i - 3*j. Suppose 2*g - f - 5 = i, -f + 0*f - 5 = -4*g. Which is bigger: b or g?
g
Let a be (-132)/980*(-4)/(-6). Is a equal to 1?
False
Let c = 1.22 + -0.41. Let j = c + 0.19. Is j at least -1.2?
True
Let u = -31 - -89/3. Let r = 2 + u. Is -19 < r?
True
Suppose 4*i - 4*l + 24 = -3*l, 0 = -2*i - 2*l - 2. Which is smaller: i or -46/11?
i
Let i = 301.8 + -302. Let t be (2/35)/(18/42). Which is greater: i or t?
t
Suppose -2*y + 659 = 637. Which is smaller: 26 or y?
y
Suppose 15*d - 8 = 13*d. Suppose -7*a + d = -3*a. Which is smaller: 7/27 or a?
7/27
Let r = 51113681/950 - 53804. Let w = r - -1/190. Which is greater: w or 0?
0
Suppose -25 = 2*z - 33, 4*b + 2*z - 636 = 0. Is b equal to -1?
False
Let f be (-330)/(-15) - (-1 - -2). Is f less than 20?
False
Let o = -16 + 11. Let m = -53 + 23. Let u be (m/25)/((-2)/(-10)). Which is smaller: o or u?
u
Suppose -27 = 2*g + 1. Is g < -14?
False
Let g be 20/(-14)*1/(-4). Suppose -7*a = 21*a + 17*a. Which is bigger: a or g?
g
Let m = 99 - 86.2. Let x = m - 12.7. Is 11 smaller than x?
False
Let j be 35 - 39 - (-1)/((-286)/(-1138)). Is -1 bigger than j?
False
Let u = -5891/6 - -986. Are 4 and u equal?
False
Let p be 1/((-6)/8) + 0. Let i = -25753.7 - -25753. Is i > p?
True
Let z(n) = 2*n**3 - n**2 + 2*n + 3. Let h be z(-2). Suppose 0 = -45*q + 44*q - 20. Are q and h nonequal?
True
Let o(u) = u**2 + u. Let m(i) = -3*i**2 + 6*i + 7. Let b(w) = -m(w) - 2*o(w). Let x be b(9). Which is greater: x or -0.01?
x
Let u(x) = -x**2 + 3*x + 2. Let d be u(-4). Let v = -9 - d. Let j = -23 + v. Which is bigger: -11/2 or j?
-11/2
Let q = -4021/4439 - -7/193. Which is smaller: q or -1?
-1
Let y be 8 - ((-32192)/(-5364) + 2). Which is smaller: y or 1?
y
Let n = 250.4 + -2