 10/u. Which is smaller: -0.26 or y?
-0.26
Let k = 11531 + -11525. Let r(b) = 2*b + 4. Let u be r(-5). Is k <= u?
False
Let t(s) = -4*s + 6. Let o be t(6). Let g = 37 + o. Let k(d) = -d**2 + 19*d + 27. Let n be k(g). Which is smaller: n or -1/3?
-1/3
Suppose 0 = 2*h + 59 - 3. Let x be 17 + -4*21/h. Is 0.04 at most as big as x?
True
Let y = 6234 - 37411/6. Let j = 2.8 + -3. Is j smaller than y?
False
Let n = -519.425 + 519. Let h = n + 4.425. Is h less than or equal to -73?
False
Let i = -107285283/2252 - -47640. Is 0 at least as big as i?
True
Suppose 12*l = 11*l + 2. Let u(s) = 89*s**2 - 2*s + 3. Let r be u(l). Is r greater than or equal to 356?
False
Let n(u) = 2*u**3 + 62*u**2. Let l = -679 - -648. Let q be n(l). Are 4/219 and q nonequal?
True
Let w = 5 - 3. Let d be -7 - (-2 - -4) - w. Suppose 23*h = 33*h - 10*h - 14*h - 154. Is h smaller than d?
False
Suppose 2*p = 2*y - 24, 0 = 2*p - 183*y + 180*y + 24. Which is greater: p or -349/31?
-349/31
Let j = 8673 + -7346. Which is smaller: 1 or j?
1
Let m = -209314 - -209294. Let d be (-2)/9 + (-106)/9. Is m at least as big as d?
False
Let l be 42/54*30/25. Let b = -824/915 + l. Is 1 at least as big as b?
True
Suppose -z + 4*h + 26 = 0, -h + 0*h + 130 = 5*z. Suppose -9*f + z + 154 = 0. Let r(b) = -b**2 + 18*b + 40. Let o be r(f). Is -1/5 at least o?
False
Let m = 243 + -253. Let x be -25*(3 - 2) + m + 9. Which is smaller: -27 or x?
-27
Suppose -9*a = -18900 + 19116. Is -0.18 != a?
True
Suppose 18*s = -4*s - 32010. Let j be ((-5816)/s)/2 - 176/88. Which is bigger: 1 or j?
1
Let a be (1/(-4))/(44/48). Let y be (1 + -1)*-5*(-7)/(-70). Do y and a have the same value?
False
Suppose -3*a - 2*j = -3*j, -3*a + 3*j = 0. Let r be ((-69)/(-6) - 10)/((-3)/145). Let t = 2161/30 + r. Is t less than or equal to a?
True
Suppose t - 64 = -19*p + 17*p, 5*t - 2*p = 224. Is t greater than 50?
False
Let c be 3171/(-420) - 1/4. Let m be 9 - (1 + (-2 - -3)). Suppose -m = 2*k + 7. Is k at least c?
True
Let t = 38988 - 39152. Is t less than or equal to -71?
True
Suppose 3*c = -4*a - a + 108, c = -4. Let p = -21459 + 21484. Is a at least as big as p?
False
Let c be (-2)/(6/4 + -1). Let l be 120/2475*(3/c)/1. Which is smaller: -1 or l?
-1
Suppose 53*x - 56*x = -4*h + 4592, -6*x = -3*h + 9204. Is -0.3 at least x?
True
Let n = -180 + 130. Let d be ((-62)/5)/((-60)/n). Which is bigger: d or -10?
-10
Let h(b) = -40*b + 352. Let s be h(13). Which is smaller: s or -169?
-169
Let s be 2/5 - 1196/(-260). Suppose d + 2*k - 18 = 0, -s*d - k - 36 = -9*d. Which is greater: d or -1?
d
Suppose -6327 = 20*n - 1707. Which is smaller: n or -224?
n
Let s = -33.6 - -35.6. Is -19.1 bigger than s?
False
Let q be -2 - 20/(-12) - 3/(-9). Let k = 13 + -10. Suppose -k*a + 12 = a. Which is greater: a or q?
a
Let l = -0.04 + -0.36. Let p = 7 - 5.9. Let k = -0.8 + p. Which is bigger: k or l?
k
Let w(y) = -90*y**2 - 2*y + 3. Let p be w(1). Let q = -73 - p. Let h be 0 - (-4)/(-18) - q/(-72). Which is smaller: -3/28 or h?
-3/28
Let d = 104 - 56. Let u(x) = -48*x**3 - 96*x**2 - 299*x - 204. Let z be u(-1). Is d smaller than z?
False
Let o = -173 - -182. Let j be (3*o/81)/(2/16). Is 4 at most j?
False
Let x = -579.9 + -1010.1. Which is smaller: x or -0.3?
x
Let u be (2/(-7))/((-18)/378). Let g be ((-188)/u)/(6/(-9)). Suppose -3*i + 2 = g. Is -15 greater than i?
False
Suppose -16*l + 891 = -629. Let c be 10/l - 1271/(-19). Which is smaller: c or 69?
c
Suppose -n = 3*n - 500. Suppose -5*z = 15 - n. Let s = -716.9 - -717. Which is smaller: s or z?
s
Let s(b) = -2*b**3 + 24*b**2 + b - 7. Let z be s(12). Suppose -5*y = -z*c + 35, y - 26 = -c - c. Let p be 9/c*(-1)/6. Is -1 less than p?
True
Let j(c) = 4*c**2 - 209*c + 255. Let n be j(51). Which is bigger: -22/35 or n?
n
Let y = 1371 - 2122. Let q = -751.1 - y. Is q at most -47?
False
Let w(o) = o**2 + 8*o. Let z be w(-8). Suppose -3*j + 2*i = -20, -2*j - i + 11 = -z*i. Let s be (-2 - (-9)/j)/((-4)/184). Which is smaller: 24 or s?
s
Suppose 0 = 15*n + 637 - 7. Let m be 27/27 + n/(-1). Is m <= 38?
False
Suppose -4*i = -4*o + 2*o - 76, 4*o = -i + 10. Suppose 3*q - i*q = 660. Is 0.5 != q?
True
Let n be 1 - ((57/11 - 2) + -3)*11. Which is smaller: -49/24 or n?
-49/24
Let x = 0 + 2. Let z = 4976.6 - 4227.82. Let l = z + -749. Are l and x equal?
False
Let f = -239 + 235. Let t be (3 + f)*1 + -18 + 0. Which is bigger: -8 or t?
-8
Let u = -17951 - -16176. Is -1777 != u?
True
Let a be 6565/312 - 14 - (-3)/(-8). Which is smaller: a or -11?
-11
Let j = -0.2 - -3.2. Let b = 1.33 + -4.63. Let s = b + 3.3. Which is smaller: s or j?
s
Let m(u) = 5*u**2 - 24*u - 10. Let x be m(7). Let h = -108 + x. Which is smaller: -39 or h?
h
Suppose -5*l = -0*h - 2*h + 78, 2*h = -4*l - 66. Suppose 4 = -4*t + 3*k, 16 = -14*k + 18*k. Suppose v - o - 15 = t*v, 10 = 5*o. Is v >= l?
False
Let w = 3130 - 3054. Which is smaller: w or 0.36?
0.36
Let o = 70689 - 13077497/185. Is -1 less than o?
True
Let t = -1/6 + -1/3. Let j be (-146)/(-511) - ((-2)/(-6) + 3/(-54)). Is j bigger than t?
True
Let l be ((-8470)/24717 - (-2)/6)*(-327 + 3). Which is greater: 3 or l?
l
Let g(h) = -22*h + 7. Let u(c) = 33*c - 11. Let k(w) = -7*g(w) - 5*u(w). Let f be k(1). Let q(a) = -5*a - 21. Let v be q(f). Which is smaller: v or 2?
2
Suppose -25*z - 144 = -7*z. Let w be (-6780)/z*(-7)/35 + 3. Which is bigger: w or -166?
-166
Let k be ((-11)/((-55)/10))/((-2)/(-3)). Let i = 31/8 - 4. Which is smaller: k or i?
i
Suppose 2*x + 21*o + 1774 = 17*o, -4*x = -5*o + 3496. Which is greater: -880 or x?
x
Let g be (-3)/(-38 + -1) + (10844/(-5434) - -2). Which is greater: -1 or g?
g
Let w be -7 - (120/24 + -32). Which is greater: -238 or w?
w
Let j = -57 + 56. Let x(y) be the first derivative of y**3/3 + y**2/2 - y + 3. Let a be x(0). Is j < a?
False
Suppose -1323 - 334 + 513 = -104*i. Is i less than 751?
True
Suppose -3*n - 14*n = -p + 5015, 0*p = -p. Which is smaller: -296 or n?
-296
Let t = 36.8 + 297.2. Let r = 334.2 - t. Which is smaller: r or -85?
-85
Suppose 22 - 46 = -6*m. Suppose -m*x - 9 = 15. Is x <= 4?
True
Let b be ((-2)/2)/(7 - (-136)/(-20)). Let g be b/(-5) + 6/6. Is g smaller than -1/5?
False
Let c be -7 + ((-8)/(-16))/(4/64). Which is greater: -1/622 or c?
c
Let y = -215 + 192. Let k be (-24)/(-8) + -1 + -1 + y. Which is bigger: k or -21?
-21
Let b be (-2)/12 + 1723010/(-1500). Let g = b - -1149. Let z = -138/1175 + g. Which is greater: z or 1?
1
Let a be 314 + (-96)/21 + (-12)/(-21). Let j(z) = 3*z**2 + 8*z - 25. Let u be j(9). Let o be -2 + 1 + a/u. Is o != 0?
True
Let m be 2/(3776/(-1080) - (-4)/(-16)*-14). Is 535 at least as big as m?
False
Let c(q) = -q**3 - 8*q**2 - 4*q - 3. Let z be c(-7). Let v = -47378 - -47380. Is v < z?
False
Let d(h) = -3*h - 1. Let f be d(2). Let v be (24/f)/((-3)/8). Suppose -79*r + 5*u = -75*r - 6, -2*u + 48 = 4*r. Which is smaller: r or v?
r
Let p(q) = -3*q + 23. Let s be p(6). Suppose -5*r + 5*z = 6*z - 19, s*r - 3*z = 23. Suppose -k + 5*a = r*a - 6, a + 21 = 4*k. Which is smaller: k or 0?
0
Let x = 5434 - 5435. Which is smaller: x or 2/4941?
x
Let n = 25921.81 + -25916. Which is bigger: 16 or n?
16
Let t(f) be the first derivative of -17*f**4/4 + f**3/3 + f**2/2 - f - 17. Let q be t(1). Is q less than -52/3?
False
Suppose -2*h + 4*x - 6840 = 0, -16*h = -19*h - x - 10239. Is -3415 greater than or equal to h?
False
Suppose 5*k = 104 + 31. Suppose -m = -5, 0 = -3*n + 2*n - 5*m + k. Let x be (1/n)/((-5)/(-780)*2). Which is smaller: 40 or x?
x
Suppose -5*i + 5*v + 15 = 0, -2*v + 4*v = -4*i. Let r be (14 + (-6)/i)*-7. Which is bigger: -58 or r?
r
Let o(x) = 45*x**2 + 2*x + 7. Let q be o(7). Let j = q + -28953/13. Let v = j + 17/26. Which is smaller: v or -0.01?
v
Let q = -154 + 140. Let x be 11/(-22) + q/(-4). Which is greater: x or 11/5?
x
Suppose -8 = 4*n, -s = 13*n - 9*n - 31. Suppose -44*p - 5 = -s*p. Which is smaller: p or -3/5?
p
Let p = 0.264 - -162.736. Let c = 162.7 - p. Is c greater than or equal to -14?
True
Let d(k) = 61*k + 132. Let z be d(-7). Which is bigger: z or -2654/9?
-2654/9
Let w(i) = -i**3 + 26*i**2 + 2*i - 55. Let n be w(26). Suppose 0 = -8*r + 3*r + 5. Let z be -3 + 104/44 - (0 - r). Is n < z?
True
Suppose 3*a = -w + 8, 3*a = 118 - 109. Which is smaller: 2/16717 or w?
w
Let c(a) = -a**2 + 19*a - 50. Let t 