+ 4. Let s be q(8). Suppose 4*n + 140 + s = 0. Let a(v) = 27*v - 474. Let x be a(15). Does x = n?
False
Let y be (-41)/11849*(-90)/(-5). Which is smaller: 0 or y?
y
Let f be (-2)/(-12) + 24 + 6670/(-276). Let g be (-6)/9 + (-106)/(-30). Let d = g + -1343/465. Is d greater than or equal to f?
False
Suppose 3*h - h - 4*h = 8*h. Which is smaller: h or -612?
-612
Suppose -2*n - 2642 = 3*m + 29, -4*m = -n - 1297. Which is smaller: n or -1322?
n
Suppose -6*o - 13 = -49. Let b be (o/35)/(12/240). Which is smaller: -2/7 or b?
-2/7
Let r be 73/((-8176)/(-168)) - (4838/20 + -1). Is -238 less than r?
False
Let d(c) = c**2 + 8*c + 2. Let s be d(-9). Let r be s/(-22)*18*1. Let p be 4 - r/6*-2. Which is smaller: p or 1/2?
1/2
Let r = 2456 - 7305. Which is smaller: 0 or r?
r
Suppose -3*f = -2*h - 49, -f = -5*h + 37 - 36. Suppose f*c - 846 = 617. Does 78 = c?
False
Let m = 0.0725 + -0.5795. Let z = m + -0.493. Is 2/95 less than z?
False
Suppose -d - 4*t + 3*t = -8, 7*d - 4*t + 21 = 0. Which is bigger: d or 9/2491?
d
Let n = 8079 - 7864. Is n less than or equal to 2/3?
False
Let r be ((4/8)/1)/(2/(-4)). Let s be (10/15)/r*(4 + -1). Is s >= -1?
False
Let q(x) = -62*x - 3. Let u be q(-2). Let j(p) = -534*p + 65802. Let f be j(123). Is u less than f?
False
Suppose -4*v - 4*x - 7244 = 0, 1831 = -v - 6*x + 9*x. Let w = v + 1835. Let d = 58 + -39. Is w equal to d?
True
Suppose 2*v - 150 = -2*k, 4*v - 2*k - 300 = k. Let i = -69 + v. Which is smaller: i or 19/3?
i
Let m(r) = 26*r + 33. Let k be m(-5). Let l = 96 + k. Let q be (-2 - (-2)/2)/(l/61). Is 123/2 at most as big as q?
False
Let f(h) = 2*h**2 + 43*h + 226. Let t be f(-9). Is 1/337 greater than or equal to t?
False
Let w = -1975.26 + 1975. Is -36 < w?
True
Let c be 598/(-3) + -11 - 1. Which is bigger: -211 or c?
-211
Let r = -53 - -24. Let d = 45 + r. Suppose 0 = -20*i + d*i + 64. Is 1 greater than i?
False
Let d be (-8)/(408/(-238) - 100/(-336)). Which is smaller: -4/5 or d?
-4/5
Let r = -68 - -83. Let o be (r/(-8) + (-1)/8)/(-167). Is -1 at least as big as o?
False
Let a = 12330 - 12327. Which is smaller: 135/58 or a?
135/58
Suppose 0 = -35*v - 32366 + 13221. Which is greater: v or -548?
v
Let j = -4169 + 4168. Which is greater: 267/34 or j?
267/34
Let a = 205 + -199. Let k be (2 + -6 + 2)*-1. Suppose -3*g - 2*s - k = -8*g, 0 = -5*g - 3*s + 22. Which is smaller: a or g?
g
Let f = 27563/69095 + 15/13819. Let k(z) = 1 - z - 1 + 1. Let a be k(2). Is f bigger than a?
True
Suppose -14 = 4*q + 2*k, -5*k - 30 = 2*q - 3. Is q at least 1/582?
False
Let g = -4 - -5. Let a be -4 + 11546/19 + -1. Let x = -603 + a. Which is smaller: x or g?
x
Let w = 206367289/52926 + -23395/6. Which is bigger: w or 0?
0
Suppose 16*u + 149*u = 0. Let w = -138 - 109. Which is bigger: u or w?
u
Let k be 4/(12/(-9)) - (6 - 126). Suppose k*z - 127*z = 90. Which is smaller: z or 0?
z
Let l = -70 + 118. Let k be (2*-3)/(9/l). Let f = 26 + k. Is -7 != f?
True
Let f(y) = -4*y + 8. Let a be f(-3). Suppose -10*m = -6*m - a. Suppose 5*g + 76 = 7*u - 4*u, -3*g - 132 = -m*u. Is 26 less than or equal to u?
True
Let f(v) = -2*v**2 - 2*v + 1. Let j be f(2). Let l(t) = -2*t**2 - 23*t - 11. Let w be l(j). Let x be 1 + (-180)/(-93) + -3. Which is bigger: x or w?
w
Let q(m) = 2*m**2 - 105*m + 910. Let o be q(11). Does -41/23 = o?
False
Let f = -210 - -211. Let s(g) = -g**3 - 7*g**2 + 14*g + 11. Let u be s(-9). Let z = u - 1319/28. Is z >= f?
False
Let q = 32202 + -31842. Which is greater: q or 4682/13?
4682/13
Let x be 1914/58*5/(30/524). Which is greater: 2883 or x?
2883
Suppose -94*n - 2 = -93*n. Let c be ((-155)/n + 2)*(-12)/(-90). Suppose 25 = 5*f, -2*g + 3*f + 7 = -0. Which is smaller: g or c?
c
Suppose 9*h = 6*h. Let c = 4/5467 + -688894/71071. Let v = 10 + c. Which is greater: v or h?
v
Let d be 94*(16/4)/8. Let a = d - 95. Let r be 1*2/(-8) - 28/a. Which is bigger: r or 0?
r
Suppose -24 = 6*p - 9*p. Suppose 37 = -p*x - 19. Let v = x - -5. Which is smaller: 7 or v?
v
Let x(r) = r**3 + 6*r**2 + 12*r + 9. Let v be x(-3). Which is greater: 2/577 or v?
2/577
Let i = -13082 - -10007728/765. Let q be 27/21 + 2/(-7). Is i < q?
True
Let d(w) = -3*w + 100. Suppose -169 = -5*r + 3*a, -13*a + 122 = 4*r - 11*a. Let s be d(r). Which is smaller: s or 23/7?
23/7
Let h be ((-8)/7 + -4)*-14. Suppose -h = -3*z - 4*f, f + 3*f - 128 = -5*z. Let a be (-1 + -4 + 2)/((-132)/1276). Is a smaller than z?
False
Let u = 354 - 176. Suppose -138 = -2*b - u. Are -17 and b unequal?
True
Let t(z) = 8*z**2 - 286*z - 1418. Let d be t(-5). Which is smaller: 421/2 or d?
421/2
Let j be (4/(-318) - 0)/(8/1670). Let n = 42/53 + j. Is -2 != n?
True
Suppose 10*z - 21*z + 57*z = 46. Which is smaller: -1/363 or z?
-1/363
Let i = 5549 + -4126. Which is smaller: 1422 or i?
1422
Let u be ((-72)/90)/(2/(-725)). Suppose -5*x + 2*n + u = 7*n, 5*x - 272 = 4*n. Which is greater: x or 59?
59
Let i = 2753 + -2756.3. Which is bigger: -6 or i?
i
Suppose 0 = -19*x - 6588 - 437784. Which is smaller: -23389 or x?
-23389
Let w(d) = -d**3 + 3*d**2 + 11*d - 22. Let r be w(4). Let l(f) = -36*f**2 + 191*f + 8. Let u be l(r). Which is greater: -143 or u?
u
Let j = 465 + -425. Suppose 0 = j*c - 49*c - 54. Suppose 2*w + 11 = 5*h, 0 = -w - w + 3*h - 9. Which is smaller: c or w?
c
Let w = -13494 + 13503.9. Which is smaller: -20 or w?
-20
Let q(z) = -z**2 + 13*z - 36. Let i = 68 + -60. Let a be q(i). Suppose 5*u + a*l = -85, 8*u - 4*l - 43 = 11*u. Is -20 less than u?
False
Let w(m) = -90*m + 1257. Let l be w(13). Does l = 66?
False
Suppose -29 = -4*c + 5*b, 2*c = -4*b - 4 - 14. Let x be -15 - -10 - (18*2 - c). Which is smaller: x or -38?
x
Let n be 3 + 2 + 1 + -1. Let o = 3 - n. Let p be (-1 + (-33)/(-26))*12/(-144)*24. Which is smaller: p or o?
o
Let m(z) = -z**3 - 18*z**2 - 3*z + 15. Let u be m(-18). Let d = 69 - u. Suppose d = 20*x - 15*x - 5. Which is smaller: x or -3/14?
-3/14
Let m(s) be the second derivative of 1/20*s**5 - 17*s + 1/4*s**4 + 1/3*s**3 + 1/2*s**2 + 0. Let v be m(-2). Which is smaller: v or -2/37?
-2/37
Let s = 3692 - 3659. Suppose -104 = 2*i + 2*i. Let l = i + s. Are 7 and l unequal?
False
Suppose -2*r = z + 2, 0*r + 5*z + 10 = -2*r. Suppose 693*b = -828*b + 277*b + 118180. Is b at least r?
True
Let r = -74/75 + 18/25. Let a = -254790 + 254789. Which is smaller: a or r?
a
Let y = -50852 + 190033925/3737. Which is greater: -1 or y?
y
Let h be (5/20)/((-7)/896*-8). Let j be ((-1)/7)/(377/419). Let t = j + 1/203. Is h smaller than t?
False
Let h = 90.27 + -7.07. Let z = h + -83. Which is smaller: -2/31 or z?
-2/31
Suppose 0 = 81*q + 44*q - 1000. Which is smaller: 5 or q?
5
Let k(r) = 6 + 46 + 35*r + 25 + 44. Let n be k(-5). Let j be (0 + 18/(-8))*24. Is n bigger than j?
False
Let c = 2345111/423 - 5544. Is c < -2/3?
False
Let w = -7779.6778 - -7780. Do w and -0.2 have the same value?
False
Let p = 27293155/1631 + -16734. Let v be 0/((-33)/(-3) + -9). Which is smaller: p or v?
v
Let d = -1.376 - -0.723. Let x = -0.047 + d. Which is bigger: x or 2?
2
Let n = 627917/752 + -835. Are 1 and n equal?
False
Suppose 45*y - 38*y = 21. Let d(r) = -5*r - 2. Let m be d(-4). Which is smaller: m or y?
y
Let j(c) = -c**3 - 32*c**2 - 31*c + 1. Let z = 273 + -304. Let n be j(z). Which is smaller: n or 1/115?
1/115
Let h = 135753061 + -18326758414/135. Let k = h + 705. Which is bigger: k or -1?
k
Let j be 3*2/(-6) + 2 - -342. Suppose -j*y - 215 = -338*y. Which is smaller: 2/5 or y?
y
Suppose 5*d + 115 = 8*g - 12*g, -4*d - 88 = 3*g. Suppose 0 = -2*b + 5 - 45. Let i = g - b. Which is greater: i or -5/29?
i
Let d be 6/24*2241/(-996). Let y be (-2)/4*(-2 + 2). Is d at most as big as y?
True
Let w(v) = -6*v**2 + 83*v - 131. Let f be w(12). Is f < 1/2931?
False
Let l(f) = 80*f + 4558. Let w be l(-59). Which is smaller: w or -189?
-189
Let s(f) = f**3 + 30*f**2 - 30*f + 34. Let q be s(-31). Suppose -2*b - g = q*b + 2284, -910 = 2*b + 4*g. Is -457 less than or equal to b?
True
Let y = 0.06 - 0.36. Let p = -19991 + 20009. Which is smaller: y or p?
y
Let q = -1.584 - 2469.416. Which is smaller: 0.3 or q?
q
Let o = -90259373 - -8845329473/98. Let h = o + 909. Is 0 <= h?
True
Let l = -235179823/5591 - -42064. Which is smaller: 1 or l?
l
Let o = 1113 + 157. Let h be o/(-4)*(-24)/30. Which is smaller: 255 or h?
h
Let w(p) = p**2 