smaller: n or -2012?
n
Let c = -80 - -41. Suppose -14*x + 11*x - 149 = 4*p, -4*x = -4. Let m = p - c. Is 1/15 less than or equal to m?
True
Suppose -3*h - 3*c = -c, -2*c = -5*h + 4*h. Is -18/151 > h?
False
Suppose -10*a - 41 = -171. Suppose -972 = a*p + 2798. Let v = -3194/11 - p. Is v > -0.2?
False
Let i(u) = -4*u**2 - 7*u - 3*u**2 + 6*u**2 + 2*u**2 + 19. Let x be i(7). Let s = -2.86 + -0.14. Which is bigger: x or s?
x
Suppose -3*x - 11 + 29 = 0. Suppose 0 = g - 5*y + 15, -x*y + 13 = g - 4*y. Is 39/8 at most g?
True
Let c be (15/(-35))/(12/(-1869))*4. Suppose 0 = 2*i - 563 + 27. Is i != c?
True
Let r = -82816/3347487 - -2/41327. Let y be 1/2*(-4)/2. Do y and r have the same value?
False
Let o be 6/2 - (-72)/40. Is -8 <= o?
True
Let u = 89 + -83. Let k be (6/9)/(1/u). Let v be ((-12)/30)/((-8)/k). Is v less than 0?
False
Let o be -1 + 0 - (34 - 35). Let x be (3/(-9) - o)/(8/(-24)). Let a be 6/13 - (-1 + x). Which is greater: a or 1?
1
Let w = -7133 + 7157. Which is bigger: w or 432/19?
w
Let v be 2/3*6/(-50). Let i = -50.17 - -38.17. Is v at most as big as i?
False
Suppose -5*d = 3*y - 986, -7*d + y = -3*d - 799. Suppose u = 0, -476 = -5*b + 9*b + 2*u. Let l = b + d. Is 81 greater than or equal to l?
True
Let r = -4431 + 4432. Which is bigger: -1/6965 or r?
r
Let q = -54 + 70. Suppose -y + 3*y = -q. Let h = y - -8. Which is bigger: h or 46/3?
46/3
Let d(h) = -303*h**2 - 116*h - 24. Let r be d(4). Is r less than -5335?
True
Let v = -589/4305 + 1/287. Is 1/80 <= v?
False
Suppose -353 = -4*c - 345. Suppose 3*u + 80 = -4*m, -m - 3*m - 76 = c*u. Which is smaller: -16 or m?
m
Suppose 3*l - 5*g = -9, -2*g + 7 = 3*l + 16. Suppose b = -3*k + 3, -18*k = 4*b - 13*k - 12. Suppose -5 = y - h - h, 4*y - b*h = -15. Is l >= y?
True
Let v(u) be the first derivative of -u**3/3 - 8*u**2 + 16*u + 188. Let h be v(-17). Which is greater: h or -13/17?
-13/17
Let p = 4571 + -4570. Which is bigger: -6634 or p?
p
Let p be 2*(-521)/48 + 31790/(-660) + 48. Suppose -3*z + z = 46. Is p equal to z?
False
Let d = -0.59 - 0. Let r = d - 3.41. Which is bigger: r or -4/11?
-4/11
Let u be (-2)/(-16)*(307 - 143). Is u smaller than 22?
True
Let q = -2605.6 - -2589. Is 0 less than or equal to q?
False
Let d = -1859 + 1824.08. Let i = 1.68 - d. Let s = i - 36. Are 0 and s nonequal?
True
Let v be (2/(-2))/(5/110). Let g = v - -20. Let k = 176 + -176. Which is smaller: g or k?
g
Let s be (-66)/(-297) - (-1 - (-7934)/(-18)). Which is greater: 440 or s?
s
Let d = 719/56 + 23/8. Which is smaller: 1/3 or d?
1/3
Let r be (171/38)/((-13)/17706). Which is bigger: r or -6130?
r
Let x(z) = -10*z - 51. Let b be x(-5). Let l be ((-24)/(-18))/(2/(-24)). Let d be l/(-20)*(-3)/2. Which is bigger: b or d?
b
Suppose -2*f + 5*x = -13, -f + 5*f - 5*x - 21 = 0. Suppose f*u - 1 = 2*v - 3*v, -2*u = 5*v - 5. Let a = 0.1 + -0.1. Is u at least a?
True
Let q = 26879 - 23936. Which is bigger: q or 2940?
q
Suppose -14*f - 86880 = 2*f. Let u = -10615/2 - f. Is 123 bigger than u?
True
Suppose 585 + 119 = -2*n. Let v be (6/n)/((-9)/6). Let o = 22 - 23. Is o < v?
True
Let g be 9/252*-133 - -5*1. Let m(l) = -l**3 + 10*l**2 - 8*l - 9. Let c be m(9). Which is bigger: g or c?
g
Suppose 0 = r - 0*r + 101. Let d = -172 - r. Let b = d - -95. Which is greater: b or 1?
b
Let z(f) = -f**3 + 7*f + 2. Let o be (-30)/(-25)*(-5)/2. Let d be z(o). Let v be (-26)/(-65)*430/24. Which is smaller: d or v?
v
Let m = 4023 + -2926. Is 1096 != m?
True
Suppose 80 = 3*u - 40. Let a be (u/(-95))/(-2)*22/4. Which is bigger: a or 0?
a
Let m(x) = 14*x**3 + 11 + 26*x - 17*x**3 + 3*x**2 - x**2 - 4*x**2. Let z be m(4). Is -104 <= z?
False
Let d = 1.16 + 4.84. Let m = d + -5.3. Let l = -0.3 - m. Which is smaller: 3 or l?
l
Let a = -340 - -782. Is a >= -2?
True
Let x = -12123 + 12795. Which is greater: x or -6?
x
Let j = -86.404 - 0.596. Let m = 90 + j. Let p be -2 + 1 + 22/12. Is m <= p?
False
Suppose -5*t + 458 - 28 = 0. Suppose 261 = -3*l + 6*l. Are l and t equal?
False
Let i = -28 - 17. Suppose 3*x + 118 = 5*x - 3*a, -x + 59 = a. Suppose -w + b = 39, w + 0*b + x = -3*b. Which is bigger: i or w?
w
Let v be -5 + (-38943)/(-2061) + -14. Which is smaller: 0 or v?
v
Let i = 27.09 - 45.09. Is 82 at most i?
False
Let l = 56273 + -618536/11. Is l less than or equal to 43?
True
Suppose 2*u - 185 = 89. Let p be 0 - u - 54/18. Are p and -140 equal?
True
Let k = 0.1 + -1.1. Suppose m + y = -105, 20*m - 3*y = 21*m + 115. Are k and m non-equal?
True
Let l = 21458/5 + -4424. Let z = l + 733/5. Is z at least 14?
True
Let j = -6329/696211274 + -17297431365119/21858334096279428. Let v = 1/23812 + j. Which is bigger: v or 1?
1
Suppose 4*h - 24*i = -22*i - 1474, -5*h = -5*i + 1845. Which is smaller: h or 4/3?
h
Suppose 2494 = -18*u + 2*n, -7*n = -8*n + 5. Let m(l) = 2*l**3 + 5*l**2 + 2*l - 4. Let h be m(-5). Which is smaller: u or h?
h
Let o be -3 - 4/(46/10 + -5). Let w be ((7/(-6))/o)/((-2)/(-249)). Is -22 bigger than w?
False
Let d be (-1)/2*8/(-2). Let o be d/(-3)*9/6. Let h = -12707/6 + 31754/15. Is h equal to o?
False
Suppose -5*j + 9 = 4*v, -v + 3*v = 2*j + 18. Let n be 20/v*(-87)/(-812). Is n smaller than 0?
False
Let h = -5173 + 5155. Do h and 6.8 have the same value?
False
Suppose 440*l - 90392 = 161728. Which is bigger: 0.4 or l?
l
Let c be (37/20 + -2)/(-6). Let b(u) = 3*u + 99. Let r be b(-33). Suppose r = -10*k - 2 - 8. Are c and k equal?
False
Let s = 317 + -135. Let c = 5070 + -4886. Is s equal to c?
False
Let q(l) = -2*l - 1. Let d be q(-3). Suppose d*j = -w, -j - j = -w. Suppose w = -n - 5, -5*u - 4*n = 2 + 13. Is u less than 2/5?
False
Suppose -4*t + 8 = -2*r, 4*t + 4*r + 16 = 3*t. Suppose -23*o - 287 - 564 = t. Is o greater than or equal to -36?
False
Let g = 268.3 - 265. Let o = -3.331 + g. Is o > 2/7?
False
Suppose -2490 = -j + 2*u, -2*j + 7*u - 5*u + 4974 = 0. Let k = -12462/5 + j. Let h be (48/(-20))/((-3)/(-10)). Which is bigger: k or h?
h
Let o(h) = 2*h**2 - 21*h. Let u be o(12). Suppose 88 = -5*a - 3*s, -u = 2*a - 4*s + 6*s. Suppose 2*n + 54 = 5*l - l, 5*n + 75 = -5*l. Is a at least n?
True
Let u(c) = c**2 + 8*c + 10. Let l be u(-7). Suppose -3*o - l*o = -468. Let k = -118 + o. Is k not equal to -40?
False
Let f = -42297/406 + 15/406. Are -103 and f unequal?
True
Let l = -67.09 + 63.77. Is l bigger than -2?
False
Let w be (112/(-630))/(2/3). Suppose -4*c = -3*x + 254, -x - 2*c = -6*c - 98. Let a = 79 - x. Is a at least as big as w?
True
Let d = 29110/319 - 329/29. Is d at least 79?
True
Suppose -5*x + c = -2*x - 73, -2*c = 5*x - 140. Suppose 3*n - x = 5*n. Let f be (-10 - (6 + n))*5/(-9). Which is greater: f or 2?
2
Let l be (-23465841)/(-1939)*(-3)/9. Let z = 4034 + l. Is z != 1?
True
Let x = 1256332/237 - 5301. Which is smaller: 0 or x?
x
Let m be 6/((-6)/(-5))*27/15. Suppose -m*h = 25*h + 3740. Is h at most as big as -112?
False
Let f = -617 + 616. Which is smaller: f or -1/5494?
f
Let l be 5/(-4) + 2996/(-112). Let k be l/9 - (13 + -13). Are -4 and k equal?
False
Let n = -0.3716 + 0.2786. Which is bigger: 2/63 or n?
2/63
Let n be (-3)/8 + (27/8 - (-60 - -63)). Are 1/178 and n equal?
False
Let l(b) = 7 - 3*b**3 + 5 - 22*b**2 + 13*b**2 + 4*b. Let s be l(-5). Which is smaller: 141 or s?
141
Let z(v) = -4*v**3 + 5*v**2 + 11*v. Let k(m) = m**3 - 2*m**2 - 2*m. Let o(f) = 5*k(f) + z(f). Let a be o(0). Which is bigger: -28/25 or a?
a
Let y(k) = 4*k + 4. Suppose -2*g - 9 = 5. Let z be y(g). Let u = z + 12. Which is smaller: -1 or u?
u
Suppose -4*o = -4*a - 21 + 5, -4*o + a = -13. Suppose 4*l - 2*y - 51 = 13, -80 = -5*l + o*y. Let s = 3 + -2. Is s <= l?
True
Let m(g) = 24*g - 788. Let b be m(37). Let d be (2 - 36)/((-25)/(b/8)). Let u = 887 - 1741/2. Which is smaller: u or d?
u
Let p = -1102 + 1091. Is 171 less than p?
False
Suppose 632*z - 12 = 641*z - 849. Which is smaller: 135 or z?
z
Let u be 2/10 - ((-48)/10 + (12 - 7)). Is 18/473 bigger than u?
True
Let v = 168740 + -78845. Let d be v/(-117) + (-1)/(-2 + -1). Let p = d - -8454/11. Which is smaller: p or -1/3?
-1/3
Let b(d) = -d**2 + 4*d - 3. Let i be b(7). Let f be 13/6 + 4/i. Let c be (-15)/(-6) - f/(-4). Is c at least as big as 7/3?
True
Let n be (5/1)/(35/(-42)) - -6. Which is smaller: -3/1141 or n?
-3/1141
Let b = -202 + 200. Let k(a) = 20*a + 8. Let d be k(b). Which is smaller: