y + 11*y - 14. Is y bigger than 0?
True
Let o(z) = -z**3 - 6*z**2 + 35*z + 11. Let m(j) = -2*j**3 - 13*j**2 + 66*j + 22. Let q(d) = 3*m(d) - 5*o(d). Let c be q(-11). Which is smaller: 1/129 or c?
c
Suppose -5*d - 28 = -3. Let a(p) = p + 13. Let y be a(-6). Suppose -14*w - 21 = y*w. Is w greater than d?
True
Let g = -22215779/154 - -1604868/11. Let i = -1640 + g. Is 0 not equal to i?
True
Let a = -835.9 - -836. Is a less than -272?
False
Let z be ((-644)/7)/((-15)/5*12/342). Which is bigger: 878 or z?
878
Suppose 0*v - v = 2*t - 7, 5*v = 4*t - 21. Let o be (12/(-33) - (-1679)/5313)/(1/4). Which is smaller: o or v?
v
Suppose 220*k = -37441 + 8240 - 22939. Which is greater: 0 or k?
0
Let m = 5.4022 + 0.0878. Let g = m - 4.49. Is 132 < g?
False
Suppose -3*v + 4*v + 10 = -4*q, -2*q = 5*v - 4. Let j be -2 - (-1 + v) - (40 - 42). Which is greater: -10/31 or j?
-10/31
Let p be (-10)/16*(-2007)/702. Let q = p - 29/16. Let n = 43/111 + -2/37. Which is bigger: n or q?
n
Let o = -16.9 + 17. Let t = -651/53 + 723367/58883. Which is smaller: t or o?
t
Suppose -1 = -z - 0. Suppose -2*d - 5 = -z. Let u be -2*(-9 - (-49)/14). Which is smaller: d or u?
d
Let d = 0.1703 + -0.1012. Let g = d + -0.0249. Is -2/7 at most as big as g?
True
Suppose 2 = 5*v + 5*m - 28, -5*m - 40 = -2*v. Suppose 2*g = 4*d - 748, 3*d - 5*g = 7*d - 762. Let f be d/16 + (-1)/(1/2). Which is smaller: f or v?
f
Let z(t) = t**2 + 8*t - 6. Let p = -160 + 150. Let b be z(p). Suppose 2*x = -n - x + 24, -x = -2*n + 27. Which is smaller: n or b?
b
Let z(l) = -2*l - 2. Let p be z(2). Let c be ((-1)/2*-20)/(5/70). Let o be 2 + (-16)/(-14)*c/(-24). Is p at most as big as o?
True
Let v(l) be the first derivative of 11*l**4 - 11*l**3/3 + l**2/2 - 4*l - 121. Let p be v(2). Which is smaller: 307 or p?
p
Let y be 1 + (-19)/(1729/70). Let s = 28 + -29. Is y <= s?
False
Suppose 25*f = 20*f + 10. Suppose 3*u - 90 = -f*u. Which is bigger: u or 1/2?
u
Let r = -11881 - -11821.6. Which is bigger: r or -2/13?
-2/13
Let b(s) = s**3 - 7*s**2 + 6*s + 8. Let q be b(6). Let y be (((-12)/q)/(-3))/((-2)/4). Which is bigger: 119 or y?
119
Suppose -2*j = -2 - 4. Suppose -365 + 219 = 9*n - 191. Which is bigger: j or n?
n
Let b = 398.3 + -663.3. Let i = 8 + -9. Which is greater: b or i?
i
Let f = -20689/10 + 186221/90. Let b be ((-2)/4)/(2/(-4)). Is b bigger than f?
True
Let w be (7 + -2 + 2 + 234)/1. Is w < 249?
True
Suppose 3*g - 4*v = 235, -2*g - 307 = -6*g - v. Are g and 97 equal?
False
Let b = -372 - -178. Let v = b + 216. Does 0 = v?
False
Let n = -10 + 16. Let o(v) = -13 - 7*v**2 - n + 6*v**2 - 18*v. Let z be o(-17). Is z != -10?
True
Let d be -28 - (-12 - -11)*14. Suppose -3*t + 20 = 3*c + 2, 0 = c - 5*t + 18. Suppose -c - 11 = q. Which is smaller: q or d?
d
Let k = -9554 + 12845. Is 3291 less than k?
False
Let b(p) = p**3 + 31*p**2 + 32*p + 68. Let v be b(-30). Suppose 0 = -2*z - 3*s - v, 4*z - 2*s + 5*s = -10. Which is bigger: z or -2/417?
-2/417
Let v = 44 + -77. Let d = v + 39.1. Let a = 6.3 - d. Are -1 and a nonequal?
True
Suppose 0 = -2*q + 1 + 3. Let u be ((-29)/(-58))/(1/306). Let i = -153 + u. Which is greater: i or q?
q
Let b = 84688 + -338569/4. Let t(z) = z**2 - 2*z - 2. Let h be t(-6). Is h greater than b?
True
Suppose 0 = 2*d, -3 = 2*z - 3*d - 11. Suppose 0 = -z*v + 134 - 26. Is v greater than -2/5?
True
Let u = -15999 + 15995. Is u > -294/71?
True
Suppose 0 = -12*z + 2 + 34. Suppose z*l - 27 = 18. Suppose -4*v = -4*s - 32, 0 = -4*v + 2*v - 4*s + 46. Which is smaller: l or v?
v
Suppose -4*v - 31 = -3*f, 208 = 2*v - 4*f + 246. Which is bigger: 3/15598 or v?
3/15598
Let d(t) = -t**3 + 32*t**2 + 20*t + 199. Let i be d(17). Which is smaller: 4873 or i?
4873
Let y(r) = -r**3 + 8*r**2 - r + 7. Let o be y(8). Let l be (o/(-9))/(21/(-45)). Is l <= -1?
False
Let t(y) = y**3 + 10*y**2 - 5*y - 1. Suppose 16*w - 6*w = -90. Let j be t(w). Is j at most as big as 127?
True
Let s be ((-34128)/90 - 35) + 4/(-5). Is -413 greater than s?
True
Let x be 22/(-11)*6*1/(-4). Suppose -143 = x*z - j + 74, -j = z + 79. Which is smaller: -0.1 or z?
z
Suppose -17*f + 53 = -169*f + 205. Which is bigger: 51/50 or f?
51/50
Let n = -16579.14 - -16579. Are n and -12/131 unequal?
True
Let d be (-2)/9 - 8954/(-198). Is d >= 51?
False
Let g = -25 - -42. Suppose -231 = -119*s + 108*s. Suppose -s*y = -g*y. Which is greater: -3/4 or y?
y
Let u be (3 - 102/16)*(-140)/5. Let s = 7384 + -7288. Which is smaller: u or s?
u
Let c = -4319.9 - -4320. Is c > 2/169?
True
Let a(c) be the first derivative of -c**4/4 + 20*c**3/3 + 21*c**2/2 - c - 1. Let o be a(21). Let v be (-5)/24*(-42)/(-140). Which is smaller: o or v?
o
Let t = 506 + -466. Suppose -13*m + 54 = -t*m. Is m >= -3.2?
True
Let f = 31222/85 - 1836/5. Which is bigger: f or 128?
128
Let m be 81 - (4 + -2)*-1. Suppose -2*f = 4*c - 470, 5*c + 10*f - 588 = 7*f. Let h = c - m. Is h smaller than 34?
False
Let k = 33.941 - -0.059. Let p = 61 - k. Let n be (-478)/(-2868) - (-2)/(-24)*-1. Which is smaller: n or p?
n
Let z be ((-44)/1 + 4)/(4/(-8)). Let w be (-9)/45 - 1484/z. Is -19 bigger than w?
False
Let c(b) = -b**3 + 13*b**2 - 8*b - 15. Let k be c(12). Suppose -k*f + 31*f + 18 = 0. Let r be (1 + f/(-6))*2. Is r smaller than -2/403?
True
Suppose 1 = a, -3*b - 2*a + 908 = -135. Suppose b = 2*q + 3. Let h = q + -2232/13. Which is smaller: -1 or h?
-1
Let m = -5370991/1091 - -4923. Suppose -4*h = 3*h - 5*h. Is h at least as big as m?
False
Let x = 2951 - 2982. Which is bigger: 37 or x?
37
Let o be ((-1 - -2) + 2)*-25. Suppose 684 = -30*p - 33*p + 54*p. Which is smaller: o or p?
p
Let q(y) = y**3 - 5*y**2 - 8*y + 8. Let r be q(6). Let j be 69/12 - 2 - 1/r. Suppose -j + 0 = -5*h - 2*g, -4*h + 2*g = -14. Which is bigger: 4 or h?
4
Let f(l) = -l**2 - 37*l + 991. Let x be f(18). Which is smaller: 133 or x?
x
Suppose 5 + 7 = 4*y. Let w be 126/24 - y/(-4). Suppose 11*p - 10 = w*p. Which is bigger: 1 or p?
p
Let a be 12 - (-748)/(-62) - 4/(-62). Is -3/254 less than or equal to a?
True
Let n = -15/13 - -4972/39. Let k = n - 2785/21. Are -6 and k unequal?
True
Suppose -202 + 47 = -5*a. Let s(g) = 7*g - 61. Let m be s(9). Suppose m*u = 4*u + 2*l - 58, -111 = -3*u + 5*l. Which is bigger: u or a?
u
Suppose -49302 = -21*g - 30*g - 32*g. Which is greater: g or 597?
597
Let g be (1 - -7)/(((-12)/8544)/(4/8)). Which is smaller: g or -2846?
g
Suppose 12*c = 21*c - 36. Suppose 3*d - 4*a = 17 - 1, c*a = -d + 16. Which is smaller: 7 or d?
7
Let m = 219 - 18.4. Let o = 201 - m. Is -1/3 less than or equal to o?
True
Let q(p) = 2*p**2 + 40*p + 84. Let a be q(-23). Let d be (-1 - 2)*11840/a. Is d at most as big as -161?
False
Let l be (30/(-8) + 3)/(1/4). Suppose 280 = -32*n + 37*n. Let q = 57 - n. Do l and q have the same value?
False
Suppose -g + 88 = -15. Let u = 103 - g. Which is smaller: -1 or u?
-1
Let b = 25 + -37. Let n be 9/b + 1810/(-40). Let z = 39 - n. Is z less than 85?
False
Let v be (1 - -8 - 1 - 9)/1. Is -29/64 equal to v?
False
Let b(q) = -q**2 + 3*q + 5. Let l be b(3). Let f be (-1)/(-5) - (6/l - 1). Suppose h - 11 = 4*t + 6, 2*h - 2*t - 40 = f. Are h and 20 equal?
False
Let a = -618 - -618. Is a at most as big as 1/392?
True
Suppose -l = -5*w + 155, 28*w - 124 = 24*w + 2*l. Suppose 4 = -w*b - 27. Which is greater: 2/149 or b?
2/149
Let k be ((-28208)/(-18) + 6/27)/(-1). Let h = -1554 - k. Is -0.1 at most h?
True
Suppose 0 = 10*z + 19 - 69. Let m be z*(-7)/(-7)*6/(-10). Is m smaller than -1?
True
Let i be (6 - -1)/((-22)/(-154)). Suppose 69 - i = 5*w. Which is bigger: w or 40/9?
40/9
Let w be (-6 + 3)*(-11)/99*-3. Let l = -126737/28969 - -258/59. Is w at most l?
True
Suppose 3*j = -3*h - 6, 3*j - 15*h + 10*h = 26. Let t be (2/(-2))/(3 - (-425)/(-110)). Is j greater than t?
True
Suppose 14 = -5*a - r, 3*r = 4*a + 6 + 9. Suppose x - 3 = -1. Suppose -3*t - 2*h + h - 2 = 0, -x*h - 4 = -2*t. Which is greater: a or t?
t
Let w = 4 + 0. Suppose -3*m = z - w, 2*z + 2*m = -0*m + 16. Suppose 0*k - 4*k + 40 = 0. Is k smaller than z?
False
Let m(s) = -3*s + 53. Let t be m(10). Suppose 28*v + 4*u + 194 = t*v, -2*u + 50 = -v. Is -37 greater than v?
True
Suppose 567 = -4*w - 2*k - 723, 4*k = -36. Which is bigger: -338 or w?
w
Let x = -840 - -877. Suppose x*p = 31*p - 156. Are p and -5 non-equal?
True
Suppose 2074 = -2