 + 554. Is 286 bigger than i?
True
Suppose -16*a + 21*a = 30. Let u(i) = i**2 + 11*i - 43. Let l be u(a). Which is greater: 57 or l?
l
Suppose -51*c - 25753 = 410. Which is smaller: c or -31?
c
Let v = 27 - 28.36. Let z = v - -72.36. Are 0 and z nonequal?
True
Let h = -345 + 32. Let i = 538 + h. Let y be (-4)/(-45) + 30/i. Which is smaller: 2/69 or y?
2/69
Let r(v) = 14*v**2 + 152*v - 21. Let d be r(-11). Which is greater: 1390 or d?
1390
Let i = -1078 - -699. Let d = -403 - i. Is d > -15?
False
Let h be (-2)/(-788)*16/(-316). Is 0 at least as big as h?
True
Let v = 318 + -310. Let t = -1757/6 - -902/3. Is v <= t?
False
Let v(g) = -2*g**2 + 50*g - 41. Let o be v(11). Let c = o + -3469/13. Which is bigger: c or 0.094?
c
Let m = 3891.2159 + 3.7841. Is 0.1 equal to m?
False
Let g be 11*((2 - 1)*3 - 4). Let r(m) = -3*m**2 + 9. Let p be r(-2). Is p at least g?
True
Suppose -8*o = -14*o + o. Suppose 0 = 3*a + 3, o = -3*s + 3*a - 51. Which is greater: -50/3 or s?
-50/3
Let b(l) = 10*l + 121. Let t be b(-12). Suppose z - 3*c = -60, -135 = 3*z + 2*c + 1. Let p be z/99 + (-6)/(-9). Is p smaller than t?
True
Let j(z) = 49 - 6*z**2 + 48 - 12*z - 118. Let c be j(-2). Is -148/7 smaller than c?
True
Let q(v) = -v**3 - 3*v**2. Let r be q(-3). Suppose 37 = -c - 2*a + 18, 0 = -a - 1. Is r at most c?
False
Let q(s) = -s**3 + 9*s**2 - 65*s + 508. Let f be q(7). Which is bigger: f or 762/5?
762/5
Let x = 0.4531 - 0.6531. Is x at least -0.349?
True
Let w = 3 - -39. Suppose -w - 28 = 5*j. Let n = 2 - j. Which is bigger: n or 15?
n
Suppose 0 = -p - 5, -d + 0*p + p = -20. Let b = -0.01 + -62.99. Let k = b - -63. Which is smaller: k or d?
k
Let l = 5046 - 5046. Which is bigger: -60/19 or l?
l
Suppose 0 = 4*n, n = 4*m + 58 - 54. Which is smaller: 9/322 or m?
m
Let w = -4137 + 4137.4. Is 59 greater than w?
True
Let c = 7 - 3. Let a be -1 + 9/15 - (-33)/(-5). Let l be (a/(-42))/(6/(-24)). Which is smaller: c or l?
l
Let g = -27 + 189. Let h = g - 69. Let y = 84 - h. Is -0.3 greater than or equal to y?
True
Let f be 3 + (-116774)/9063 + 10. Is 0 greater than or equal to f?
False
Let p be ((3/(-2))/(-3))/(-16 + 23485/1464). Which is greater: p or 6?
p
Let x(z) = z - 8. Let d be x(0). Let l(y) = 173*y + 860. Let c be l(-5). Which is bigger: c or d?
c
Let o(r) = -40 + 40*r + 115 - 38 - 31. Let v be o(0). Are v and 5 unequal?
True
Let c(u) = 2*u**2 + 13*u + 13. Let l(d) = -1. Let t(n) = -c(n) - 5*l(n). Let g be t(-7). Is -15 < g?
False
Let t be (-3)/6*(-9 + 1)/(-8)*0. Which is smaller: t or 26/651?
t
Let v = 54 - 48. Suppose -v = -12*o - 18. Let w = -12344/41 - -301. Is o not equal to w?
True
Let d = 0.155 + -91.155. Let j = d - -93. Do -27 and j have different values?
True
Suppose -z - 2*z - 3 = 0. Let s = -17882.23 + 17885. Is z bigger than s?
False
Let l be (3*(-2)/(-24))/((-9458)/(-16)). Let s = l - 9844/912697. Let u(w) = -w + 11. Let g be u(10). Is g greater than s?
True
Let p = -7683 - -7751. Is p greater than or equal to 69?
False
Let x = -8051/41 - -18411653/93767. Which is bigger: -1 or x?
x
Let k = 1.9 - 1.6. Let y = -43.3 + 42.9. Is y <= k?
True
Let a = -177/1666 - -5/34. Let x(j) = 5*j**2 + j + 1. Let i(k) = -29*k**2 + 17*k + 119. Let z(o) = i(o) + 6*x(o). Let r be z(-9). Which is smaller: a or r?
r
Let f = 45 - 38. Suppose f*q + 19 = 12. Is 16/33 greater than or equal to q?
True
Let f = -12411 - -88021/7. Which is bigger: f or 162?
f
Let o = 6342 + -2023100/319. Which is greater: o or 0?
0
Suppose 3*y - 6*y - 3*u = 801, -4*y - 1083 = -u. Let f = 546 + y. Suppose 5*k + 119 + f = 0. Which is smaller: k or -80?
-80
Let r = -166301/37 + 4495. Is 0 greater than or equal to r?
False
Let d be 5*3*282/18. Suppose d*a - 232*a = 6. Is a bigger than 17/20?
True
Let b = 44 + -40. Suppose -4*y - b = f, 5*y + 9 = -1. Suppose -5 = 5*r, -2*r + 1 = q + f. Is -0.11 equal to q?
False
Let s(j) = -2*j**3 - 24*j**2 - 42*j + 12. Let n be s(-2). Let i be (-1)/4 - (-356)/16. Is i at least as big as n?
True
Let w be 1/(-3)*1 - 197650/(-354). Let t = -239 + w. Is 2/7 < t?
True
Suppose 20 = -2*d + 4*d. Let l = 117.072 + -117. Let k = l - 0.172. Which is greater: k or d?
d
Let u = 29249 - 29192.228. Let p = u + 0.228. Is -1/2 at least as big as p?
False
Let l = -1.32 + 167.32. Let n = l + -165.3. Is n at least 3?
False
Let j be (-3 + 130/50)/(28/8). Suppose 7*u = 2*u. Is j > u?
False
Let u = -17528656619/27017 + 648801. Which is bigger: u or -1?
u
Let v = 472299 - 472266. Let b = -91/5 + -142/15. Let n = 27 + b. Is n at most v?
True
Let j = 7 + -3. Let w = -927/5 + 183. Let v = 9/40 - w. Is v at least j?
False
Suppose -70 = 10*q + 1890. Is -187 >= q?
True
Let g be (-3 - -2)*4/4. Let z be (5 + -1)/(10/g). Suppose -2*d = -4*d + 18. Is d < z?
False
Let s = 59.5 + -66. Let j = s + 6.51. Is -2 less than or equal to j?
True
Suppose 17*l - 214 = 41. Let y be (1 - 1)*(-1 - 0). Let j be 3*5*(1 - y). Is j equal to l?
True
Let b(s) = 3*s**3 + 6*s**2 - s - 16. Let a be b(-4). Let x be (-6 - 2) + a/(-14). Is 332 >= x?
True
Let u = -801.39 + 795. Which is greater: u or 0?
0
Let h(a) = -4*a**2 - 188*a - 877. Let x be h(0). Is x at most -876?
True
Suppose -r - 3*m + 60 = 0, -5*m + 149 = 2*r + 29. Suppose r = -3*l + 3*s, l = -s - 28 - 0. Which is bigger: -28 or l?
l
Suppose 387 = 2*q + 225. Which is smaller: q or 1726/21?
q
Let t be -18*(-1 - 0)/2. Let i be ((3/(-6))/(27/48))/(12/(-54)). Suppose i*g = t*g - 6*g. Is g < 24/19?
True
Let b = -873.6 + 918. Is b smaller than 8?
False
Let k = 7251 - 7251.0804. Which is bigger: k or 1?
1
Let z be (-7)/(-14)*6674 - 4. Is 3333 equal to z?
True
Let d = 28825.4 - 28826. Is -862 > d?
False
Let f(h) be the third derivative of -7*h**4/4 + 7*h**3/6 - 25*h**2. Let c be f(-7). Let d be ((-7)/c)/((-3)/(-3)). Is 1 less than d?
False
Let t(a) be the third derivative of -a**6/120 + a**5/30 + a**4/6 + a**3 + 9*a**2. Let u be t(4). Suppose 12 = -2*m - 2*m. Which is smaller: m or u?
u
Let q = -285 - -2169/7. Let o = q + -25. Let x = -11.3 - -11.2. Which is smaller: x or o?
o
Let g = -36.2 - -4.2. Let u = g + 39.8. Let i = -8 + u. Is i not equal to -32?
True
Let z = 24 + -18. Suppose 7*r + z*r = -65. Let t be 2 - (15/r)/(-1). Does t = 2/65?
False
Let w = 45 - 27. Let b = 7 + w. Suppose -i + 36 = b. Is i less than 11?
False
Let d(k) = 137*k**3 + 2*k**2 + 3*k + 3. Suppose -9*n + 8 = -3*y - 4*n, 0 = -y - 5*n + 4. Let l be d(y). Is -134 > l?
True
Let f be (-7)/(-26)*554 + (9 - 11). Let i be ((-14)/(-8))/((-2)/(-168)). Let y = f - i. Which is bigger: 4 or y?
4
Suppose -12 = -4*j - 2*u, 0 = -j - 4*j - 2*u + 16. Let q be (-3)/j*(11 + (-622)/54). Which is bigger: q or 1?
1
Suppose -82*f - 118*f = -248*f + 1152. Let m = 1 - -6. Suppose m*w - 125 = 2*w. Is w at least f?
True
Let f = -55 + 77. Suppose f*m = 13*m + 180. Which is smaller: 21 or m?
m
Let x = -11387 - -11389. Suppose 3*r - 16 = -r. Let p = 0 + r. Which is bigger: p or x?
p
Let v = -126 + 125.95. Let p = v + -0.05. Let f = 113 + -344/3. Are p and f non-equal?
True
Let b(h) be the second derivative of -h**5/10 + h**4/12 + 2*h**3/3 + 13*h**2 - 106*h - 1. Let f be b(0). Is f at least as big as 26?
True
Let s = -311 - -4142. Which is smaller: 3832 or s?
s
Let o be 4/((-1)/2*(-20)/10). Suppose -3*z - o*p - 3 = -8, 0 = 5*z - p + 7. Which is bigger: z or 3/31?
3/31
Let t be -2 - (-163)/132 - (-12)/16. Let g be 7/((-63)/6) - (-221)/3. Suppose -74*c = -g*c. Is t less than c?
True
Suppose -9*q = q - 60. Suppose 4*n = 3*n + 2*k - q, -4*n - 3*k = 13. Which is greater: -13 or n?
n
Let b be 2 + 2*(1 - 10). Suppose -34*l + 38*l - 32 = 0. Suppose l*r = 2*r - 84. Is r greater than or equal to b?
True
Let g(a) = 4*a - 23. Let j be g(7). Suppose j*y + 3*n = 627 - 109, 5*y + n = 526. Let c = y + -744/7. Which is smaller: c or 68?
c
Let r be (56/32)/((-1)/12). Let q be -1*(r/909)/7. Which is smaller: -1 or q?
-1
Let o = 43 + -15. Let x = 62 - o. Suppose -4*r - x = -2*r. Is -17 smaller than r?
False
Let d be 3/5*60/(-1026). Let a be (24/15)/(-1)*-5. Suppose 3*k - a*k = 0. Which is smaller: k or d?
d
Let t = 158 + -154. Suppose -5*j + 4*b + 90 = 3*b, 5*j - 75 = t*b. Are -7 and j nonequal?
True
Let n(o) = -28*o**3 - 2*o**2 + o + 2. Let g be n(-1). Suppose 2*q - 23 = -g. Let t be 15/q - (-12)/(-8). Which is bigger: -8 or t?
-8
Let b = 182 + -161. Let 