at most as big as 310?
True
Let w = -228 - -232. Suppose w*v - 4 = -3*f, v - f - 3 = 5. Let x be 1/1*(5 - 2). Is x < v?
True
Suppose 2*o + 15 = 5*o. Suppose -2*m = -6, o*m + 0*m + 50 = 5*x. Let i be ((4 - 2)*x)/((-3)/(-6)). Which is greater: i or 51?
i
Suppose 0 = -2*p + 72 - 12. Suppose 5*m + p - 100 = 0. Suppose -4*o = -m*o + 20. Which is bigger: o or 4/7?
o
Let g be 27 - (-38 - 96/(-16)). Let v be 2 + 65 + -2 + -2. Which is smaller: g or v?
g
Let q(f) = f**3 + 43*f**2 + 13*f + 765. Let m be q(-43). Let i(d) = 52*d**2 - d. Let x be i(2). Is x less than m?
False
Let q(f) = -159*f**3 - 2*f**2 + 2*f - 1. Let d be q(1). Let s(r) = -5*r**3 + 294*r**2 + 56*r + 18. Let y be s(59). Is y at least as big as d?
True
Suppose -3*x - 170 = 223. Let j = x - -123. Are j and -6 nonequal?
True
Let f be (-170)/(-48)*(-1140)/3800. Which is smaller: f or -62?
-62
Let m be 3 - (-1 + 0 - -7). Let h be (-3)/(m/(-2))*(-39)/26. Let v be (h + -4)*(1 + 1). Is 2 less than v?
False
Let a be ((-81)/(-15) - 5) + 3872/(-14280). Is 1 bigger than a?
True
Let h = -462/19 - 4415/38. Is -2 bigger than h?
True
Let g(k) = -4*k**3 + 93*k**2 - 24*k + 32. Let q be g(23). Suppose 2*f + 3*f = -0*f. Which is bigger: q or f?
q
Suppose -3*w = 4*i - 1319, -5*w = 4*i + 820 - 3021. Let s = 442 - w. Which is greater: 9/59 or s?
s
Let g be 1*1/(0 + -1). Let t = 4147 - 4147. Let l be 6 + g*t/3. Is 2 at most l?
True
Suppose 2*c - 7 = -b + 39, -5*c + 4*b + 128 = 0. Let w be (-6)/27*(74/c - 3). Let r = 7 + -6. Is r bigger than w?
True
Suppose -6*g - 182 = -13*g. Let b = 3 - -21. Is g equal to b?
False
Suppose 4*o + 46 = 3*o. Suppose 12 = 2*f + f. Suppose -2*w - 3*g - 50 = 44, 0 = 3*w - f*g + 141. Are w and o unequal?
True
Let k be (24/2)/(-1) + 0. Let d be (4 - 4) + (-4 - (-4 + -27)). Suppose 58*m + d = -31. Is m bigger than k?
True
Let g = 7.353 + 2.647. Which is smaller: g or -0.76?
-0.76
Let b = -2789 - -10250. Is b not equal to -2/5?
True
Let p = 2312 - 1529. Suppose 21*m - p = 24*m. Let q be (m/(-78))/1 + 6/39. Which is smaller: 0 or q?
0
Let l = 6745 + -33589/5. Let f = 27 - l. Which is bigger: -1 or f?
f
Let z be -3 - (-1 - -2)/(5/580). Let w = 120 + z. Suppose -4*m + 4*l + 40 = 0, 0 = -5*m + 2*l + l + 58. Which is smaller: w or m?
w
Let t be 12198/2432 + (-12)/6 + -5. Which is smaller: t or -1?
t
Let n = 1430774 + -57228009/40. Let a = 859/8 - n. Which is greater: 35 or a?
35
Let r = 68 - 78. Let i be ((-52)/3320)/((-32)/r). Let j = i - -3/83. Is 1 equal to j?
False
Suppose -o + f = 3*f - 3808, 7588 = 2*o - 3*f. Let c = -528198/139 + o. Does c = 0.5?
False
Let n = -0.09 - -0.222. Let z = -0.091 + n. Let h = -0.049 + z. Do h and 0.1 have the same value?
False
Let r(p) = -p**3 + 2*p**2 + 2*p - 2. Let z be r(2). Suppose 6 = 3*t + 5*d + 5, z*t + d + 4 = 0. Let c be (t/24)/((-49)/28). Which is bigger: c or 0?
c
Let g be (-16)/(-112)*((-2 - -1) + 0). Let j = g - -41/140. Are j and -1 unequal?
True
Let o(p) = -2*p**2 - 42*p - 88. Let a be o(-2). Let x be 18/116*(14 + 152/a). Which is bigger: x or 0.2?
x
Suppose -q + 12264 = 8*m - 9*m, 0 = 5*q + m - 61302. Let y = q + -1581661/129. Which is smaller: 0 or y?
0
Let z = 62.04 + -63. Let k = -0.96 - z. Is 0.188 greater than or equal to k?
True
Let j = 4 + -4. Suppose -3*i - 16 = -3*q + 2*i, j = -2*q - i + 2. Let y = -10564/7 - -1510. Is y <= q?
True
Let b = -182757/32824 + 481/88. Is -1 at most as big as b?
True
Suppose -3*d + 21 = p, 6*d - 8 = 2*d. Let w(x) = x**2 - 10*x + 9. Let l be w(p). Let s be ((-7)/l)/(6*2/16). Are s and 0 unequal?
True
Let k(z) = 11*z + 16. Let x be k(-1). Suppose 3*j = -x*g + 31, 2*g - 2*j = j + 4. Is g greater than 4?
True
Let l = -3 + 0. Let v(g) = 2578*g - 5129. Let u be v(2). Which is smaller: l or u?
l
Suppose d + 196 = 3*k, 4*d - 68 + 276 = 3*k. Are k and 62 nonequal?
True
Let b be (-2)/(((-43)/420282)/((-2)/(-6))). Is 6514 not equal to b?
True
Let v(k) = 6*k**3 - 3*k**2 + k. Let l be v(1). Suppose -n = 2*j - 47, 4*n + 0*j - 236 = l*j. Is 56 at least n?
True
Suppose f - 2633 + 2646 = -4*j, -13 = -j + f. Let y = -499 + 507.62. Let a = 0.82 - y. Which is smaller: a or j?
a
Let w = -8.705 - -8.805. Which is greater: -75.37 or w?
w
Let w be (-8 - (3 + -2))*(-1 - 5620/15). Which is bigger: 6763/2 or w?
6763/2
Let g be -1*(-2 - -6 - 4/2). Let n = 75 - 57. Suppose -d - y = -6*y + n, y + 2 = 3*d. Is g <= d?
True
Let m = -283.3 - -283.3. Is m at most as big as -1395?
False
Let j(z) = 17*z + 2. Let p be j(2). Suppose 23*g + 15*g + 498 = 1866. Do g and p have the same value?
True
Suppose 2*f = 2*n + 884, f - 4*n + 62 - 504 = 0. Is f bigger than 1/3?
True
Let w = 0.02691 - 0.18932. Which is greater: w or -1?
w
Let u = 16779 + -16811. Which is greater: -6 or u?
-6
Let s = 0.549 + -0.207. Let z = s + -0.279. Which is greater: -1 or z?
z
Let c be (1 - 17)/(-4) - (-14 + 16). Let v be (-258)/(-1806)*(12/c - -1). Which is smaller: v or -1/20?
-1/20
Let p(u) be the second derivative of u**4/12 - 3*u**2/2 - 2*u. Let x be p(0). Let g(n) = 177*n - 5312. Let c be g(30). Which is smaller: c or x?
x
Let m(g) = -59 + 10*g + 13*g - 34*g. Let j be m(-5). Let p be (j/(-6))/((-8)/(-108)). Which is smaller: p or 8?
8
Let q(c) = 18686*c + 46 + 3*c**2 - 18690*c - 2*c**2. Let y be q(0). Is y smaller than 183/4?
False
Let a = -4298 - -4275.5. Is a bigger than -19?
False
Suppose -5*b = 0, -3*y + 0*y - 24 = 4*b. Let q(m) = -2*m**2 - 17*m - 3. Let l be q(y). Suppose -7 - 128 = l*i. Is i < -27?
False
Let v(u) = 76*u - 1898. Let t be v(5). Which is smaller: -1515 or t?
t
Let o = 803 - -470. Which is smaller: 1/3 or o?
1/3
Suppose f + i = 5*f - 17, -2*i = 4*f - 2. Suppose 0 = 5*j - 0*j - f*m - 29, -4*j + 4*m = -28. Which is smaller: j or 1?
1
Let r = -0.04 + 0.24. Let u = 6.8 - -17. Let k = 8.8 - u. Are k and r non-equal?
True
Let b = 0.722 - 1.17. Let u = 0.248 + b. Is 2/5 > u?
True
Let z be -948 + 23 + (0 - 2). Which is bigger: 0.2 or z?
0.2
Let i = -18 + 17. Let f(d) = 12*d - 3. Let b be f(i). Suppose 8*q = -3*q - 143. Which is smaller: q or b?
b
Suppose 580 = 3*g - 2*u - 454, 2*g = 5*u + 704. Suppose -3*n = 6*n + g. Is -37 equal to n?
False
Let j = 2466/7 - 1025/3. Is 12 <= j?
False
Suppose -91*h = -76*h + 330. Which is smaller: h or -60?
-60
Suppose -4*t + 84 = -3*j - 105, 0 = j - 4*t + 63. Let z = j - 34. Is z >= -97?
True
Let i be (-1071524)/2856416 + (45/24)/5. Is i > 0?
False
Let a = -3998 + 2244. Are a and -0.1 equal?
False
Let m = 40075 + -510395199/12736. Is 0 > m?
False
Let v(a) = -a**2 - 8*a + 10. Let l be v(-9). Let z = -512 - 224. Let r = z - -5161/7. Which is bigger: r or l?
r
Let t(l) = -2*l**2 + 12*l - 11. Let z(r) = -5*r - 35. Let m be z(-8). Let f be t(m). Which is smaller: f or -58?
-58
Let g = 0.12347 + -0.15347. Which is smaller: g or -0.412?
-0.412
Let j = -295/2 - -152. Let d = 1.536 - -5.254. Let m = d + -3.79. Which is smaller: m or j?
m
Let a = -15904 + 15240. Is -666 at least as big as a?
False
Let v(k) = k**3 + 9*k**2 + 9*k + 15. Let d = -201 + 194. Let q be v(d). Which is bigger: 51 or q?
51
Suppose 2175 = 174*p - 169*p + 5*a, -5*a - 1289 = -3*p. Is p at most as big as 434?
True
Suppose 39*d - 35*d = -204. Let p be (-3493)/(-70) + 3/5. Let t = p + d. Which is greater: -3 or t?
t
Let f = -3.1737 - -0.0337. Let o = f - -3.09. Which is smaller: o or 7/5?
o
Let i = 4316895226 + -625946866244/145. Let m = i - 20286. Let n = m + 2/145. Is -13 greater than n?
False
Suppose 0 = -64*h + 18425 + 3783. Which is smaller: h or 1?
1
Let d = -99 + 54. Let w = d + 25. Let x = 8 + w. Is x >= 1/2?
False
Let q be (-60)/300 - (1916/(-10))/(-2). Which is smaller: -387/4 or q?
-387/4
Let u be (-1)/11 - 13008/(-11924). Let r = -3428 - -1905969/556. Is u equal to r?
False
Let w = 49260706/1935 - 229106/9. Let u = w - -4/43. Which is smaller: 3 or u?
u
Suppose 14 = 2*a - 3*a. Let k = -1.319 - -0.936. Let p = 0.617 - k. Which is bigger: p or a?
p
Let o = -3405 - -3405. Which is smaller: -1907 or o?
-1907
Let u = 378 + -430. Which is bigger: -46 or u?
-46
Let l(m) = -21*m - 75. Let z be l(-4). Suppose 3*r - 3*g + z = -3, 0 = -3*r - 5*g + 20. Let b = -1154/7 + 66953/406. Which is bigger: r or b?
b
Let m be (-45)/(-3*(-2)/(-4)). Suppose 2*u = 194 + m. Suppose -d - 3*d = u. Is d less than or equal to -30?
False
Let m = 13746 + -13745.88. Let g = 2.7 + 