 v(o) = 3*o**2 - 15*o + 35. Let m(a) = 2*t(a) + v(a). Suppose -4*r + 56 - 20 = 0. Let x be m(r). Which is bigger: -7 or x?
x
Let p(r) = -r**2 + 556*r + 2794. Let z be p(-5). Which is bigger: z or -194/19?
-194/19
Let z be -28 - (4/10)/((-2)/(-10)). Let l be (z/(-35))/((-2)/14). Let b be 2/20*1 + (-3)/l. Are b and 2 non-equal?
True
Let g = -40912/5 - -8182. Is 87 at most as big as g?
False
Suppose -81 = -z + 3*g + 13, -2*z = 3*g - 224. Suppose -c = 2*j + 96, -14*c = -13*c - 3*j + z. Is c greater than -101?
True
Let i = -1370 - -1741. Which is bigger: -1 or i?
i
Suppose 16*q + 215 = 21*q. Suppose 8*a = -275 + q. Is a greater than -29?
False
Suppose 2*z - 2920 = 12*z. Let p = -325 - z. Is p greater than or equal to -33?
True
Let i = 9302 - 697651/75. Is 4/15 less than i?
False
Let g be 14172/(-28) - (1/(-21))/(11/264). Is -6574/13 <= g?
True
Let r = -3 + 30. Let p be 843/r + 4/(-18). Let q = -32 + p. Which is greater: 1/41 or q?
1/41
Let f = -39.08 - -41.68. Is f != -3/8?
True
Let l(p) = -5*p**3 - p - 1. Let b be l(-1). Suppose -6*j = -j - b. Suppose 3 = v, 248 = -5*x - 2*v + 249. Which is greater: x or j?
j
Suppose -21 = -i - 4. Let q = 3 - i. Let j = q - -5. Which is bigger: j or -10?
j
Suppose -447*p = -440*p + 7882. Is p bigger than -1127?
True
Suppose -2 = -w - 1. Let z be -3 - ((-8240)/(-4110) + -5). Is w greater than or equal to z?
True
Let h be 1/(-261)*(-41 - -42). Which is bigger: h or 65/4?
65/4
Let b be (-9)/(-6) + (-50)/20. Let c(d) = -99*d**3 - d**2 + 2*d + 2. Let t be c(b). Is t >= 98?
True
Let s = 6525 - 6624. Is s smaller than -0.063?
True
Let c = -11784039/19327 - -13/2761. Is c greater than -611?
True
Let a = 22 + -10. Let f = a + -23. Let h be 224/294*21 + (-558)/21. Which is bigger: h or f?
h
Let h = -17 + 18.91. Let f = h + -1.81. Which is bigger: f or -1/2?
f
Let u be 3 + (-1756)/64 + 4. Let s = 61/16 - u. Which is bigger: 25 or s?
25
Let c be 9 + -29 + -7 + -721. Which is smaller: c or -769?
-769
Let q = 285.3 - 227. Let m = q - 58.5. Which is greater: 25.7 or m?
25.7
Let t(u) = 6*u**2 - 3*u - 3. Let f(o) = -o**2 + o + 1. Let c = 2 - 1. Let z(r) = c*t(r) + 5*f(r). Let s be z(-2). Is s != 1?
True
Let i(n) = -13*n + 75. Let m(g) = 7*g - 38. Let k(a) = -a**2 + 18*a - 6. Let b be k(17). Let u(o) = b*m(o) + 6*i(o). Let q be u(18). Is 15 bigger than q?
True
Let o = 21 + -18. Suppose o*x = 9, -20 = -3*b - 2*x + 25. Suppose -6*p + 52 = -32. Which is smaller: b or p?
b
Let z(h) = -h**2 + 71*h + 253. Let g be z(70). Which is greater: 1608/5 or g?
g
Let m = 25588524996/2755 + -9288031. Let g = m + 1/95. Is g less than -1?
False
Let i be 18 + -15 + 3 + -7. Is i bigger than 14/297?
False
Let a(c) be the second derivative of 2*c**3 - 43*c**2/2 + 23*c - 1. Let k be a(10). Is 77 at least k?
True
Let k(f) = -f**2 - 9*f + 60. Let m be k(-13). Let w be 66/27 + -8 + m. Do 0.1 and w have the same value?
False
Let w = 132038/5 - 26408. Is w equal to -2311?
False
Suppose 3*y + 2*l = 281, 6*l - 3*l + 462 = 5*y. Let t = y - 94. Which is smaller: t or -9/17?
t
Let g(u) = -8*u**3 - 2*u**2 + 2*u. Let d be g(1). Suppose 5*m - 2*k + 48 = 9*m, 64 = 4*m - 2*k. Is d <= m?
True
Let j(y) = y - 4. Let l be j(5). Let v = -157 + 174. Let z be ((-3)/(-15)*-1)/(v/(-119)). Which is bigger: z or l?
z
Suppose 1 = -5*u - 4. Let z = -46 + 52. Let k be (z/(-88))/((-399)/152). Is k at least as big as u?
True
Let x = -85/3 - -16493/582. Are -12 and x non-equal?
True
Let d = 3720 + -3776. Let q(g) = -1 - g**3 + g + 3 - 2*g + 6*g**2. Let y be q(7). Which is greater: y or d?
y
Let z be (-2 + 4)*(-14 + -1)*216/(-161730). Is z less than -1?
False
Let c be (-3106896)/(-336) + 6/21. Do c and 9247 have different values?
False
Let l be 36/(-38106)*(-4)/(-16). Which is smaller: 1 or l?
l
Let x = -12817/5 + 2573. Is x > -2?
True
Let c(a) = 2*a + 4. Let m be c(3). Let n = 37 + -67. Let p be (n/24)/((-2)/18). Which is bigger: m or p?
p
Let f(u) = -37*u + 6. Let h be f(1). Let m = 164/5 + h. Suppose 4*n + 4*q = -n + 27, 3*n = 5*q - 6. Which is greater: n or m?
n
Let n(g) = -g + 9. Let o be n(5). Let t be (o/(-1))/(-10 + 6). Let j = 4.15 + -44.15. Is t < j?
False
Let h = 11002/31 - 355. Let a(u) = -4*u - 4. Suppose -3*n + 5 = -8*n. Let v be a(n). Is h smaller than v?
True
Let n = 0 + 1. Let m(z) = -7*z**3 - 163*z**2 - 338*z - 24. Let f be m(-21). Which is smaller: f or n?
n
Let a = -2217.1286 + 2217. Which is smaller: 1 or a?
a
Let u be 2 + 6 + 16/(-48)*24. Is 2/11527 greater than u?
True
Let g(w) = -w + 1. Let f(q) be the first derivative of -4*q**2 - 4*q + 15. Let x(j) = -f(j) + 5*g(j). Let i be x(-3). Which is greater: i or 1/78?
1/78
Let n = -1.9 + 2. Suppose -3*v = -5*h + 40 - 3, 2*h = v + 15. Let j be (h/10)/((56/260)/7). Which is greater: j or n?
j
Let x = -321.31 - -324.6. Is x at least as big as -0.2?
True
Let a = -2/251 - -116/77559. Suppose 0 = 2*o - 4. Let m be (1 - -1) + (0 - o). Which is bigger: m or a?
m
Suppose -46*h + 2748 = -58*h. Let w = h + 231. Which is greater: w or 32/27?
w
Let r = 114724/209 + -10426/19. Let j be 1*(0 - (-1 - -1)). Is j bigger than r?
False
Suppose -27*m + 389 = 92. Is m at most 20?
True
Let i = -7339233/1684 + 17433/4. Which is bigger: 1 or i?
1
Let o = -565.1 + 565. Let z be 363/4 + (-6)/24. Let n = z + -93. Which is smaller: n or o?
n
Let p be (45/(-6))/((-3)/4). Let m(c) = c**2 - 11*c + 1. Let h be m(p). Suppose 3*i + 0 = -21. Which is greater: i or h?
i
Suppose -27 + 1 = 13*b. Let q = -2 - b. Which is bigger: 11/24 or q?
11/24
Let r = 86/5 - 84/5. Let v = -5.03 - -4.8. Which is smaller: v or r?
v
Let u be (11/(-33))/(2/3). Let j = -5.8 + 33.8. Is j greater than u?
True
Suppose -183*o = 4051 - 2033 + 2374. Which is greater: 17 or o?
17
Suppose 5*l + 3*z - 2 = 0, -3*l - 14 = -0*l - 2*z. Let m be (-148)/l + (5 - (9 - 4)). Suppose -7*w + m = 11. Is w > 9?
False
Suppose -34*x + 15*x = 171. Let w be 2/x - (-280)/126. Is 27/19 at least w?
False
Suppose 5*d - 22 = -3*l, -2 = -d - 0. Suppose 3*v = 4*p + 117, 2*p - l*v = -3*p - 147. Let f = 69 - 97. Which is smaller: p or f?
f
Let z = 134 + -130. Let p(t) = -3*t + 15. Let n be p(z). Which is bigger: n or -2?
n
Suppose -4*h + 816 = 3*m + m, m - 407 = -2*h. Suppose -h = i - k, 2*k - 5*k - 195 = i. Is -201 smaller than i?
False
Let a = -4261 - -4275. Do a and -31 have the same value?
False
Suppose 0 = -162*h + 76*h + 32250. Which is smaller: h or 372?
372
Let c = -3989.09 + 3989.1. Which is bigger: 631/5 or c?
631/5
Let w = 46 - 59. Suppose -9*h + 6*h = 36. Which is smaller: h or w?
w
Let r be 4/3*(-6)/(-4). Let j = 32.7186 + -0.7186. Which is smaller: j or r?
r
Let o(l) = -l**2 + 9*l - 8. Let i be o(8). Suppose 223 = 3*m + 25. Let s be m/78 + (-8)/(-52). Is i greater than or equal to s?
False
Let o = 68.8 + -62.68. Let t = -8.12 + o. Is t not equal to -2.5?
True
Suppose -17*k + 46 = -158. Suppose g - 6 = -1, 3*g - k = -3*y. Let c be (-1)/4 - (-22)/216. Which is smaller: c or y?
y
Suppose 16*v + 98*v + 477988 = 28*v. Are -5558 and v equal?
True
Suppose -27*v = -29*v + 26. Let b be 24/(-9) - (-24)/(-18). Let a = 11 - b. Is a not equal to v?
True
Let n be ((-39)/9)/(12/177138). Let v = n + 15225031/238. Let s = 96/17 - v. Which is bigger: 1 or s?
s
Let u = 175 + -175. Suppose u = -4*s - 9*h + 7*h - 26, -2*h = -4*s - 38. Which is greater: -28/3 or s?
s
Let g(m) = -m**2 - 186*m - 8335. Let i be g(-77). Suppose 5*j + 2*c - 566 = 0, -4*j + 2*c + 464 = -2*c. Let b = j - 55. Which is smaller: i or b?
i
Let i(b) = -2*b**2 - 5*b + 2. Let l be i(5). Let h = -30 - l. Let g = h - 42. Which is greater: g or 2/11?
g
Let x = -9874 + 9874.21. Is -0.074 less than x?
True
Let g = 77 - 89. Let x be (-150)/g - 3/2. Suppose h + x = -2. Which is smaller: h or -10?
h
Suppose 0 = -3*t + 7*n - 5*n + 10, 5*t - 46 = -4*n. Let y be -1 - ((-1)/((-2)/t) - 7). Suppose 78 = -y*z - 3*z. Is z at most -1?
True
Let u = -3.06 + 5.46. Let g = 3 - u. Is 12 < g?
False
Let g = -109367/4 + 82901/3. Let c = 292 - g. Let f(m) = -m**3 - 6*m**2 - 4*m + 4. Let b be f(-5). Is c >= b?
True
Let y = 8 - -4. Let a = y - 12. Let z = -67 - -215/3. Is a smaller than z?
True
Let k(z) = 111*z - 508. Let t be k(10). Which is smaller: t or 3016/5?
t
Suppose 177*y = 65*y - 12880. Let r(h) = -26*h + 41. Let m be r(6). Is y at least as big as m?
True
Let c = 