True
Let w be 3/(3 + 0) + (-132303)/(-45). Let r = w + -2939. Which is smaller: r or 2?
2
Let g = -317834/5 + 63799. Which is smaller: g or 231?
231
Let s be (-3188)/6 + 12 + -15. Let u = -527 - s. Suppose 125 + 65 = 34*f - 82. Which is smaller: f or u?
u
Let v = -3549.3 + 3549.26. Is -661/5 < v?
True
Let h = 6 - -287. Let l = -294 + h. Is l smaller than -1?
False
Let v = 8.59 - 9. Let y = -12.41 - v. Let o = 0.201 - 0.101. Is o at most as big as y?
False
Let h = 27 - 26. Let b(v) be the third derivative of v**5/20 + 13*v**4/8 + 11*v**3/6 + 81*v**2. Let c be b(-13). Which is smaller: h or c?
h
Let a = -4482 - -4480. Which is bigger: 2779 or a?
2779
Let z(o) = -o**2 - 40*o - 354. Let w be z(-13). Is -54/17 at least w?
False
Suppose 4*h = -h + 25. Let n(x) be the first derivative of -x**3/3 + 3*x**2/2 + 9*x - 57. Let d be n(h). Are d and 2/9 nonequal?
True
Suppose -5*m + 2*m + j + 2579 = 0, -2*m + 1726 = -4*j. Let y = -963 + m. Is y <= -103?
True
Let i be (-330)/(-45)*174/25027*(-1)/4. Is 1 greater than i?
True
Suppose 0 = 4*r + 4*f + 116, f + 2*f + 63 = -2*r. Let u be r/(-3)*(-19)/(-4). Suppose -2*j = 5*p + u, 3*j + 91 = 2*p - p. Is j bigger than -29?
False
Let m(x) = -3*x - 6. Let k be m(3). Let u = k + -17. Let v(n) = 7*n - 86. Let d be v(8). Which is bigger: u or d?
d
Let v be 2/(-8) + 5/(-12). Let b = -8 + 432. Let d = 448 - b. Is v >= d?
False
Let a(y) = -5*y + 54. Let h be a(9). Suppose 0*l = -3*l - h. Let c = -977/445 - 2/445. Is c at least as big as l?
True
Let u = -7/60 + -311/20. Let m(b) = -24*b + 199. Let q(s) = -s**3 + 8*s**2 + 9. Let a be q(8). Let x be m(a). Are x and u nonequal?
True
Suppose 5*o + 4*n = -2719, -4*n + 2083 = -3*o + 426. Is -549 at most o?
True
Let z be 65/13 + -17 + 12 + (-226)/1. Which is greater: -2042/9 or z?
z
Let d = 1604 - 1599.678. Let r = 0.322 - d. Is 109 greater than or equal to r?
True
Let x = -5737 + 5736. Which is bigger: -2/1769 or x?
-2/1769
Let b be ((-15)/(-6))/(-1)*(-24)/30. Suppose b*y + 17 = -45. Let t be 15*1/(2/(-4)) - 2. Is t greater than or equal to y?
False
Let g = 3/185 - -143/2590. Is 0 at most as big as g?
True
Let t be (-15)/1696*(-15)/75. Is t greater than 0?
True
Let h = 304 - 299. Suppose -19*v - h = -24*v. Which is smaller: v or 39?
v
Let n = -6617 + 1105041/167. Is -1 > n?
False
Let h = -138 - -151. Suppose -h*s - 4 = -9*s. Which is smaller: s or 16/43?
s
Let v = -0.33 + 17.33. Let h = 437.72 + -436.72. Is h greater than v?
False
Let d(v) = -v**3 - 3*v**2 + 26*v + 1. Let z be d(3). Let h be 3 + (z/(-15) - (-1)/(-3)). Is -6/175 equal to h?
False
Suppose -q + 4*n = -0*q + 1, -3*n = -3*q - 3. Let s be (1/153)/((-27)/(-54)). Are q and s equal?
False
Let l be 3/(-2)*1/3*2. Suppose 3*w + 9114 = -3*g, -5*w - 11546 = 4*g + 606. Let h = -39514/13 - g. Is l at least as big as h?
True
Let d(s) = 132 - s + s - 58*s**3 + 59*s**3 + s**2. Let l be d(0). Let z be 2/(-3) - (l/(-9) + -1). Which is greater: 17 or z?
17
Suppose -2*l - 4*g - 944 = 0, 5*l + 4*g - 788 = -3154. Let m be (37 + 0 + -2 - -3)/((-4905)/375 + 13). Which is smaller: l or m?
m
Let o = 249.5 + -238.31. Let u = 0.19 - o. Let i be (-10)/25 - (-42)/105. Which is smaller: u or i?
u
Let u(r) = -8*r**2 - 21 - 1187*r + 1166*r + 1. Let i be u(-1). Let s = -5 - -2. Which is greater: i or s?
s
Let a(l) = l**2 + 17*l - 190. Let x(y) = y**2 + 15*y - 190. Let r(c) = -5*a(c) + 4*x(c). Let f be r(-31). Which is smaller: f or -14?
-14
Let x be -5*2505/3225 - -3. Which is smaller: x or 0.1?
x
Suppose -712*s + 716*s - 93 = 19*c, -s - 10 = 0. Let z(p) = -p**2 - p. Let x be z(1). Let i be x*(-4)/6*-9. Which is smaller: i or c?
i
Let i = -6950 + 6954. Which is smaller: 87/31 or i?
87/31
Let g = 11073/427 + -205/61. Let w(i) = i**3 - 173*i**2 - 178*i + 718. Let s be w(174). Which is smaller: s or g?
s
Let y be (2 + (-9)/2)*10. Suppose -w - 20 = -10. Let j be 371/(-14) + (-5)/w. Which is smaller: y or j?
j
Let i = -1237 + 718. Let j = 43075/83 + i. Which is greater: 1 or j?
1
Let n = -0.2723 + 160.2723. Which is bigger: n or -5/2?
n
Suppose -30 = 10*c - 11*c. Let n = c - 4. Let f be (-30)/120 + -1 + n/8. Is 2 != f?
False
Let x(z) = z + 6. Let p(j) = j + 6. Let y(h) = 7*p(h) - 6*x(h). Let a be y(3). Suppose 14*m = a*m + 70. Is 12 bigger than m?
False
Let t(n) = -n**2 - 119*n - 3301. Let x be t(-75). Do 14/2095 and x have the same value?
False
Suppose -691 + 99 = -4*p - 4*v, -5*v - 268 = -2*p. Let a = 219 - 75. Are p and a equal?
True
Let g = -52 - -56. Suppose g*m = 0, 4*m + 38 = -2*v - m. Suppose -48 = 4*t + 24. Is t greater than v?
True
Suppose 3*b + 6 = 4*w, 96*w + 2*b + 4 = 92*w. Let g be (-1 + w)/(58/59 + -1). Which is smaller: g or 58?
58
Let r = 52/5 + -10. Let m be (0/(((-4)/7)/((-14)/(-49))))/(-1). Which is bigger: m or r?
r
Let z = 46 - -31. Let c = z + -72. Which is smaller: -21 or c?
-21
Suppose -5*p - 1142 = f + 1265, -4*p - 3*f = 1930. Let i = p + 12989/27. Is -0.07 < i?
True
Let u(n) = -n**2 + 4*n + 58. Let o be u(-6). Let i be 4/((-18)/14 + 12/42). Is i at least as big as o?
False
Let m = -32 - 10. Let r be 8/m*21/(-18). Let z = 1717.9 - 1718. Are r and z unequal?
True
Suppose -3*q + 1628 = 5*w, -2*w + 4*q = -87 - 585. Let m = w - 319. Do m and 8 have the same value?
False
Let f = 2885 - 2885. Which is bigger: 4/7 or f?
4/7
Let u be -8*(-1)/32*1084. Suppose 2789 + u = 36*q. Is q > 90?
False
Let x be 650/250 + (-6)/10. Let f be 21/14*136/(-6). Let y = f - -36. Is x >= y?
True
Let l = -1538 - -1756. Which is greater: 216 or l?
l
Let j = 2153.8 - 2117. Let o = -0.058 - -37.058. Let d = o - j. Which is smaller: -20 or d?
-20
Let u be 6 + (-66001)/(-260)*-2 + 1/2. Which is smaller: -502 or u?
-502
Let f(n) = n**2 + 107*n + 241. Let x be f(-11). Is x at most as big as -816?
False
Let g = 76 + -111. Let f(p) = p**2 + 32*p - 71. Let j be f(g). Which is smaller: 32 or j?
32
Let w = 0.575 - -231.425. Let j be 2398/(-4360) - 15/(-50). Which is smaller: w or j?
j
Let u(h) = h**2 - 2*h - 21. Suppose m + m - 12 = -2*i, 2*m + 6 = i. Let p be u(i). Let k be 3*3/(-468)*p. Which is smaller: k or -2/9?
-2/9
Let s be (-90 - -89)/(1 - 4/5). Let j(n) = -6*n**2 - 5*n + 1. Let l(c) = c**3. Let o(z) = j(z) - l(z). Let k be o(s). Which is greater: k or 5/4?
5/4
Suppose 4*k = 3*w + 155, -4*k + 2*w - 59 + 213 = 0. Let q be (k/114)/(7/318). Which is greater: 16 or q?
16
Let a be (2 - 54/21)/(60/(-28)). Suppose 4*f - 4 = -0. Let s(h) = -h**3 - 3*h + 3. Let w be s(f). Is a at most as big as w?
False
Let n = -272 - -271.76. Which is smaller: n or 1?
n
Let h = 134/13 + -130179/12623. Is h greater than or equal to 1?
False
Suppose 7*k - 39 + 4 = 0. Let z be 0 - (77/(-15) + k). Is z bigger than -22/9?
True
Let f = 61490727459 + -835781968028917/13592. Let v = f + 16/1699. Let k = v - -31. Which is bigger: 1 or k?
k
Let x = -279 + 295. Suppose -x*s - 497 = -23*s. Let i be (-71)/(-2)*4/2. Is s < i?
False
Let t be (-3)/(1*(-534)/592). Is t less than or equal to 4?
True
Let r be (175/30 + -6)*-98*(-63)/(-66). Is 16 >= r?
True
Let v = -804 - -835. Let x(c) = -c**2 - 32. Let q be x(0). Let y = q + v. Which is greater: y or -9/7?
y
Let k = 5.15 + -5.469. Let b = k - -8.319. Is 12 <= b?
False
Let y = -2946 - -5373. Is y <= 2427?
True
Suppose -2*j = -477 - 209. Let w(r) = -611*r + 18061. Let g be w(29). Is g smaller than j?
True
Suppose 16 = 5*h - 4*b, 8 = -b - b. Let a be ((-39)/(-10))/(18/(-5)). Is a greater than h?
False
Suppose -4*g = -3*g - 6. Let b be (g - 9) + 55*1. Let i be 4/8 + (-34)/b. Is -1 at most i?
True
Let c = 86 + -86.1. Let u = -0.046 - c. Is u >= 1/4?
False
Let a(m) = 2*m**3 + 14*m**2 - 39*m + 30. Let z(l) = l**3 + 7*l**2 - 19*l + 14. Let q(v) = 2*a(v) - 5*z(v). Let t be q(-9). Which is bigger: t or 2/29?
2/29
Let o be ((-27)/12)/((-8322)/3800). Is o smaller than 0?
False
Let j = 4.11 - 4.21. Which is bigger: 2/1047 or j?
2/1047
Suppose -15527 + 4533 = 254*p + 22280. Which is smaller: p or -79?
p
Let u(v) = -v**3 - 5*v**2 - 3*v - 10. Let r be u(-5). Suppose r*o + 24 = -2*m + 6*m, -4*m = -4. Let z be 69/18*o/((-4)/2). Which is smaller: 9 or z?
z
Let c = -7291177 + 17243633208/2365. Let u = -78472/215 - -365. Let i = c - u. Which is bigger: i or 0?
0
Let p = -511793463/34 - -15051421. Let o = -1328 - p. Which is smaller: -0.2 or o?
-0.2
Suppose -4*i + 44 = -