 - 1 = 3, b - 23 = -5*z. Let k be 98/(-1)*b/(-12). Let q = -24 + k. Is q bigger than 0?
True
Let h be (2/(-9))/((-45)/((-3240)/(-16))). Which is smaller: h or -2/3923?
-2/3923
Let f = 370.7 + -374. Let u = 3.2 + f. Is u > -2/923?
False
Let g = -1/938 - 1803/68474. Let o(b) be the first derivative of b**4/4 - b**3/3 + b - 14. Let n be o(0). Is g not equal to n?
True
Let c(g) = 16*g - 431. Let t be ((-4)/6 + 0)/(14/(-567)). Let o be c(t). Which is greater: -2.43 or o?
o
Let g be (8176/63)/(-16) - (-3 + -5). Suppose 2*u - y + 3 = -0, y = u + 2. Is u greater than g?
False
Let u = -7701/28 + 275. Let y = u + -3/14. Let j be 88/(-198)*6/4. Is y smaller than j?
False
Let v = 18 + -16. Suppose 0 = -4*i + v*i + 6. Suppose 55 + 3 = -4*m + 5*y, -m + 2*y = 13. Is i greater than or equal to m?
True
Let u(l) = 9*l + 220. Let s be u(-25). Let j(w) = -2*w**2 - 8*w + 31. Let i be j(s). Which is bigger: 230/11 or i?
i
Let i = 210191/6836437 - 2/19043. Is 0 at most as big as i?
True
Let w = -1962 + 912. Which is greater: -1051 or w?
w
Let v = -31222/117 - -2752/9. Which is bigger: v or 39?
39
Let l = 10173 + -10291. Let c = -279 + 159. Which is smaller: l or c?
c
Let k(v) = 49*v**2 + 47*v + 556. Let o be k(-10). Is o greater than or equal to 4986?
True
Let n be (7/((-175)/(-40)))/(2/100). Let b = n - 75. Suppose 5*w + 4*q - 76 = 110, 0 = 5*w + b*q - 185. Is 0 bigger than w?
False
Let i = 4028009/449595 - 869/97. Is i greater than or equal to 1?
False
Suppose -1 = 2*b + 5*d + 14, 0 = 3*d + 9. Let q = 33/152 - 8013/34808. Which is smaller: b or q?
q
Let s be -7 + (70/5 - 7). Let g = -368/11 - -41941/1254. Do s and g have the same value?
False
Let p = 54.11 - 42.11. Which is smaller: -229 or p?
-229
Suppose 223*f + 7413 = -15333. Is -138 less than f?
True
Suppose 132*a + 740 = 122*a. Is -65 not equal to a?
True
Let h = 2/123 + -133/615. Let o = -119 - -127. Suppose -c - o = -9. Which is smaller: c or h?
h
Let o be -24 + -13 + 26576/(-4). Which is greater: -6678 or o?
-6678
Let f(z) = 5*z**3 + 447*z**2 - 273*z - 239. Let b be f(-90). Let o = -58 + 90. Which is smaller: b or o?
b
Suppose 2*a - 6*a - 20 = 0. Let b = a - -6. Suppose 2*n - n + b = 0. Is n at least 1/16?
False
Let l = 970 + -961. Is -0.18 smaller than l?
True
Let a = -546 - -865. Let t = a - 318. Is t < 11/6?
True
Let c(k) = -6*k**3 - 3*k**2 - 3*k + 1. Let g(b) = b**2 - 1. Let p(d) = c(d) + 4*g(d). Let v be p(-1). Is 1 less than v?
True
Let b be ((-68)/(-10))/((-18)/45). Let i(t) = t**2 - 64. Let x be i(0). Let u = x - b. Is u < -46?
True
Let s = 78 - 86. Let t(l) = l**2 + 6*l - 11. Let y be t(s). Suppose -6 = -2*h - r, -2*h + 6*h = -y*r + 24. Which is bigger: h or -2/53?
h
Let f(x) = -x**3 + 9*x**2 - 27*x + 91. Let w be f(7). Is w at least -2/2009?
True
Let v = -69.3 - -69.252. Do 0.31 and v have the same value?
False
Suppose -5*l - 4*w + 68 = 0, 5*l - 52 - 2 = 3*w. Let z = 17 - l. Suppose 9*t - z*t = 8. Is 2 bigger than t?
False
Let d be (1/(-101))/(1036/(-56) - -19). Which is smaller: -0.38 or d?
-0.38
Let v(n) = -n**2 + n - 3. Let z be v(-5). Let p = 8/10361 + -3667882/113971. Which is smaller: z or p?
z
Let y be (-191 + -10)/(1 + -1 - -1). Let v(f) = f**2 + 8*f - 8. Let i be v(-8). Let z be (18/i)/(y/(-96) - 2). Is z greater than or equal to -23?
False
Let a = 375 + -1883/5. Let t(v) = -v**3 + 10*v**2 - 29*v + 29. Let h be t(6). Is a greater than or equal to h?
False
Let p = -230 + 409. Let o = p - 176. Which is smaller: 0 or o?
0
Suppose 14*t - 362 = b + 13*t, 2*t = -b - 368. Which is smaller: -376 or b?
-376
Let v = -1.0175 + 0.9175. Is 975 less than or equal to v?
False
Suppose -2*o - 3*o = 10, -14 = -3*d + 4*o. Suppose 0 = 3*q - 3*m + 432, -d*q - 2*m = -m + 291. Which is smaller: q or -146?
-146
Let y = -1/21238 + 10109307/403522. Are 24 and y unequal?
True
Suppose 0*u + 420 = 4*h + 4*u, 405 = 4*h - u. Let p be 2*-1 + h/4. Let n be (-1*72/(-10))/((30/(-100))/(-1)). Is n <= p?
False
Let y = -138 + 688/5. Let j be (1032/32)/(12/32). Let l = -86 + j. Which is smaller: y or l?
y
Let w(n) = -3*n**2 + 58*n - 54. Let y be w(18). Let z be (15 - y)*(-4)/16. Does -2 = z?
False
Let i = 3651 + -3734. Which is smaller: 7 or i?
i
Let r = 0.6316 - 80.6316. Is r != 108?
True
Let c = -2.79 + -231.21. Let i = c - -234.6. Are i and 7 equal?
False
Let i(t) = -6*t - 4*t - t - 7 + 29. Let j be i(-5). Let r be (-2)/6 + j/33. Which is greater: r or 3?
3
Let q be 2753228/9714551 + (-2)/7. Suppose 2*y = 5*i + 5, 3*y = -0*y - 4*i - 4. Which is smaller: q or y?
q
Suppose 2*d - 6*g - 2 = -4*g, 5 = d - 2*g. Let h(t) = t**3 + 4*t**2 + 9*t + 17. Let m be h(d). Which is smaller: m or -0.013?
m
Let h be 5*(5 + (-530)/115). Let b = -559/368 + h. Which is smaller: 0 or b?
0
Let m be 32/44 + 0/2. Suppose -39 = 3*c + o, -3*c - 2*o = 2*c + 66. Let g be 3/c*-12 - 1. Is g bigger than m?
True
Suppose 0 = -3*a - 5*g - 18, -a - g + 319 - 323 = 0. Is a at least as big as 4/45?
False
Suppose -t + 165*j + 17 = 167*j, -5*t - 6*j + 81 = 0. Let p(d) = d**2 - d - 2. Let f be p(-2). Is f less than t?
True
Let f(d) = d**3 + 23*d**2 - 17*d - 8. Let z be f(-23). Which is smaller: 379 or z?
379
Let t = 3962 - 3878. Is t < 79?
False
Let q = -34207 - -34170. Let n = -699 + 4637/7. Are q and n non-equal?
True
Suppose -63197 = -6*x - 63299. Which is smaller: x or -222/13?
-222/13
Let p(o) = -2*o**3 + 43*o**2 + 21*o - 147. Let n be p(22). Is -1359/8 at least as big as n?
False
Let m = 0.087 - -44.913. Let j(h) be the third derivative of h**4/24 + 5*h**3/6 - h**2 - 22. Let z be j(-4). Which is bigger: m or z?
m
Let f = 3270 + -3525. Is -245 greater than f?
True
Suppose 1441 + 1018 = -2*g + q, 6140 = -5*g + q. Let p be g/(-219) + (-8 - -3). Let s = p + -5706/9709. Is 0 at most as big as s?
True
Let t = -78.15 - -78.25. Which is smaller: t or -11/100?
-11/100
Let g be (2 - 3)/(-3 - 5/(-2)). Suppose 2*y - 14 = -g*d, 12*d + 40 = 4*y + 13*d. Which is smaller: 17 or y?
y
Let b = -205/7 - -2339/77. Let o = 30 - 50. Let l(n) = -n**2 - 22*n - 39. Let h be l(o). Which is greater: b or h?
b
Let p(x) = -361*x**2 + 80*x - 95. Let m be p(-6). Do -13569 and m have the same value?
False
Suppose 170*c - 79296 = -184*c. Is c bigger than 235?
False
Let t = 6 - 9. Let k be -8*2/(-4)*t/6. Let i be (16/(-20))/k + 366/(-15). Is -24 smaller than i?
False
Let b(y) = -y**3 + 18*y**2 - 51*y - 45. Let n be b(14). Which is bigger: n or -10?
n
Suppose 135*s - 17139 = 335*s - 2739. Let g = -246 + 173. Is g greater than or equal to s?
False
Let a(w) = 2*w**3 - 34*w**2 + 34*w - 3. Let y be a(16). Suppose y*g + 872 = 37*g. Is g at most 110?
True
Let t = -3212 + 3212.64. Which is greater: t or -16?
t
Let n = 214 + -48. Let u = n + -168. Are u and -72 equal?
False
Suppose -176 = -f + 32*o - 34*o, 2*f = 2*o + 328. Let u be f/112*752/6. Is u smaller than 186?
False
Let q = 8501 + -8502. Which is smaller: 7/159 or q?
q
Let o be 84*70/13950 + 4/(-10). Let j be (-7)/(-56) - (-2)/(-16). Is o <= j?
False
Let j be (-141906548)/(-9996) + 1 + (-14)/6. Which is smaller: 14196 or j?
j
Let m be (6/56*16/18)/(119/(-17850)). Let h = -16 + 3. Is h < m?
False
Suppose 53*g - 55*g = -1386. Let j = g + -641. Which is smaller: 53 or j?
j
Let m = 21357 - 21407. Suppose -108 = 2*o + 2*w, -w + 113 = -2*o - 4*w. Are o and m equal?
False
Let b = 180065/4114 + -744/17. Do -1 and b have the same value?
False
Suppose 2*q - 10 = -4*s, 5*s + 7*q = 5*q + 12. Let r = s + 0. Suppose -12*d - 70 = -r*d. Which is bigger: d or -8?
d
Let d = 210 - 186. Let i = 15 + d. Is -0.4 equal to i?
False
Let w = 125 - 121. Let a be w/(-6) - (0 + (-484)/636). Which is greater: 0 or a?
a
Let t(m) be the third derivative of -1/6*m**3 + 0*m - 25*m**2 - 1/12*m**4 + 0 + 1/15*m**5. Let r be t(-1). Is 9 < r?
False
Suppose -4*x + 3187 + 139 = -2678. Which is bigger: x or 1499?
x
Let m = 215 + -119. Let h be (1446/(-45))/((-2)/6). Let q = h - m. Is q bigger than 14?
False
Let w(t) = -3*t**3 + 11*t**2 - 6*t - 2. Let o(x) = x**2 - 2*x + 3. Let l be o(2). Let n be w(l). Is n smaller than 1?
True
Suppose 0 = -5*l - 20, 4*j - 3*l + 6 = 3*j. Suppose -3*u - 2*d - 68 = 0, -u + 5*d = -3 + 20. Let q = u + 3. Are j and q equal?
False
Suppose -c = 2*l - 3 + 1, 0 = c + 4*l - 4. Suppose 0 = 3*w + 2*s - 16, c = w + s - 0*s - 6. Let v(b) = -b**3 + 2*b**2 + 8*b 