n -0.11?
True
Let y = -8 + 38/5. Let q be (-4)/(-22) - 149/154. Let b = q - -171/182. Which is smaller: b or y?
y
Let c = 54 + -52. Suppose -4*q - 194 = 2*v, v - c*q + 194 = -v. Let o = 97 + v. Is o at most as big as 5?
True
Let g = -71 - -146. Suppose 4*x + x + 123 = -3*b, -2*x - 6 = 0. Let a be -4 - (g/b + 0)*2. Is 0 < a?
True
Let t be 11/(-6) + 1156/918 + (-2)/(-27). Is -55/4 less than or equal to t?
True
Let h be (22/(-14) - -1)/(-20 - 11864/(-596)). Is 1 greater than h?
False
Let u be 4/(-7) + -7 + (-2838)/(-42). Suppose 4*x + u = 4*m, 5*x + 3*m = 32 - 139. Which is smaller: x or -23?
-23
Let p be -2340 + 6*(-10)/(-15). Let q be p/(-10350) + (-64)/288. Is -1 at most as big as q?
True
Let s be 1484/(-20) - 3/15. Suppose -2*g - 42 = 106. Let r = s - g. Which is smaller: 6 or r?
r
Suppose 3*y + 334 = q, -q = -3*y - 2*y - 556. Let i be (-364)/(-12)*(6 - 3). Let s = i + y. Which is smaller: s or -21?
-21
Let n = -1/8773 - -61414/26319. Suppose -a - 9 = -2*q, -4*q = -9*q + a + 18. Which is greater: q or n?
q
Let y(z) = 6*z**2 - z + 1. Let p be y(1). Suppose -p = -2*l + 24. Let b = -707 + 721. Which is greater: l or b?
l
Let k = 35664 - 35665. Let w = -11 - -10.77. Which is bigger: k or w?
w
Let u = 5 - 10. Let k be (2/5)/(u/(-200)). Suppose 0 = -54*x + 245 + 565. Which is bigger: x or k?
k
Suppose 25*l = 35*l - 40. Suppose 10 = -5*a - 5*n, -l*a = -2*a - n + 1. Is a greater than -5/33?
False
Let l = 4 + -8. Suppose 0 = -1152*s + 1151*s - 2. Let w be (3/6*22)/(s/l). Is 21 >= w?
False
Suppose 0 = 2*g + 7*g + 1125. Let k = -123 - g. Which is smaller: k or 3?
k
Let h = -448116931661/8745 - -51242645. Let t = h + -2/583. Which is bigger: -8 or t?
t
Let f(g) = 231*g - 12252. Let i be f(77). Do 33205/6 and i have the same value?
False
Let m = -346 + 187. Let z(w) = 19*w + 89. Let b be z(-13). Is b < m?
False
Let s(o) = 13*o - 87. Let u(j) = -6*j + 43. Let z(v) = -4*s(v) - 9*u(v). Let x be z(16). Let l be 6 + x - (-2 + -1) - 1. Which is bigger: -0.1 or l?
l
Suppose 4*j - 12*j = -3*j. Suppose -12 = -j*f - 6*f. Suppose -f*u + u = 14. Does -15 = u?
False
Let c = 861 + -13771/16. Let i be ((-3)/(-6))/(1/18*9). Is i bigger than c?
True
Suppose -2174 = 10*i + 66. Let p be (-5 - (-1 - 8))/(-5 + 17). Which is greater: i or p?
p
Let d(p) = -2283*p + 2955. Let c be d(-4). Are 12089 and c equal?
False
Let n = 31 - 9. Let v be (3 - (4 - -23))/1. Let u = v + n. Is -4/5 > u?
True
Let h = -111 - -151. Let l be ((-9)/258 - 0)/(30/h). Is 0 less than or equal to l?
False
Let z be (42/210)/(18/(-15)). Let d = -0.3 + 0.3. Let u = -0.2 - d. Which is smaller: u or z?
u
Let r = -91116.5 - -91118. Let j = -6.1 + 0.1. Is r bigger than j?
True
Let i = -0.4 + 0.5. Let v = 234.098 - 234. Is i >= v?
True
Suppose -d = -21*d - 6*d. Suppose -27*u + 616 + 356 = d. Let n = -42 + 78. Is u equal to n?
True
Let y be 5*((-783)/45 + 17). Is -104/61 greater than y?
True
Let v = -0.0327 + 0.3427. Let p = -0.31 + v. Which is smaller: 652 or p?
p
Let q(v) = -v**3 + 60*v**2 - 4*v + 240. Let h be (-238)/(-4) + -4 + (-90)/(-20). Let x be q(h). Is x less than or equal to 9/53?
True
Let m(q) = 2650*q + 20834. Let c be m(-8). Let g be (-1468)/2*(-3)/(-6). Which is bigger: g or c?
c
Let c = -79839/1516219 - -2/79801. Is c at most as big as -4/365?
True
Let b be (7 - 87/12)/((-2)/(-22408)). Which is greater: b or -2799?
-2799
Let x = -160.1267 + -0.0733. Let z = -160 - x. Is 106 >= z?
True
Let f(l) = l**3 - 7*l**2 - 16*l - 6. Let y be f(9). Suppose 0 = y*b - 8 + 8. Suppose b = -3*w - 18 - 9. Which is bigger: w or -23/3?
-23/3
Let j(m) = m**2 - 1. Let w(a) = 8*a - 25. Let q(o) = j(o) + w(o). Let p be 3/5 - (4 - 258/(-30)). Let z be q(p). Which is bigger: z or 21?
z
Let x = 122 + 51. Let p = x - 172.62. Is p at most 0?
False
Let f be 62/(-124) + (-24572)/(-49048). Are f and 0 nonequal?
True
Let b(m) = 27 - 25308*m + 25307*m + 1. Let q be b(26). Is q bigger than 16/5?
False
Suppose 2*x - 3 = v, -x + 5*x + 2*v = -6. Suppose -3*m + x*d = 4*d + 327, -2*m - 218 = -3*d. Is -109 < m?
False
Let h = -169 - -164.4. Let a = h + 20.3. Which is bigger: a or -1/2?
a
Let j = -1179121/71326611 - -58/3519. Which is smaller: j or 0?
j
Let n(w) = -562*w + 1531. Let t be n(3). Let h be (20/6)/(4/(-186)). Is h < t?
False
Let u = -56249 - -1519459/27. Is u less than 27?
False
Let u(f) = -2*f**3 + 22*f**2 + 74*f + 24. Let z be u(14). Which is bigger: z or -132?
z
Suppose 8*k = 4*k. Suppose k = 6*a - a + 65. Let y(z) = z**2 + z - 4. Let j be y(2). Are a and j non-equal?
True
Suppose -1698 = -58*b + 61*b. Let q = b - -504. Are -64 and q unequal?
True
Let l(y) = 3*y - 94 - 6*y + 2*y - 5*y. Let b be l(-15). Let k(m) = -m**3 - 7*m**2 - 6*m - 6. Let f be k(-6). Is f greater than b?
False
Let s(d) = -d**3 + 5*d**2 + 13*d - 11. Let p be s(6). Suppose p*x + 8790 = x. Is x <= -294?
False
Let o(d) be the second derivative of -d**5/20 - 5*d**4/12 + 17*d**3/6 + 17*d**2/2 - 74*d. Let c be o(-8). Which is greater: c or 74?
74
Let r = -67 + 191. Let q = r - 125.03. Let z = 0.23 + q. Is z > -1?
True
Let c = -24633.8 + 24668.8. Suppose 2 = -3*a + a. Are a and c non-equal?
True
Let x be (-25 - -879) + (-91)/(-7). Is x less than 863?
False
Let k be (-21 - -21)*(-2)/6. Which is smaller: -10/9 or k?
-10/9
Let r = 28.4 - 26.4. Which is smaller: r or 0.0023?
0.0023
Suppose -40 = 14*j - 15*j. Let g = j + -56. Let p = g - -16. Is p at most as big as 4/53?
True
Let f = 628 - 1295/2. Let b = f - -121/6. Which is smaller: 0.04 or b?
0.04
Suppose -34*h + 25*h + 2628 = 0. Let w = h - 4378/15. Is w >= 0?
True
Suppose 9 = 3*g - 81. Suppose -5*p - g = -7*p. Let q be (24/p)/(16/(-8)). Does q = -2?
False
Let j be (-2 + (-44)/(-7))*(-213)/(-142). Let d be 5/((0 - 3)/(-3)). Which is bigger: d or j?
j
Let q = -3.509 - -1.509. Which is greater: -332 or q?
q
Let m(k) = 37*k + 63. Let f be m(-6). Let c = 183 + f. Is 23 at least c?
False
Let n(a) = -20*a + 60. Let j(b) = -7*b + 16. Let l(q) = 8*j(q) - 3*n(q). Suppose 3*o = -5 + 50. Let t be l(o). Do t and 6 have the same value?
False
Let d = 242/57 + -30/19. Let x = 17310.6 + -17311. Is x > d?
False
Let r = -0.629 - -0.601. Let x = r + 0.028. Which is greater: x or -83?
x
Suppose 0 = 52*n - 701*n + 1298. Which is smaller: n or 17?
n
Let v be ((-200)/15)/4 - (13 - 170/10). Is 18210 greater than v?
True
Let s be 35/10 - (-603)/(-162). Is -1457 not equal to s?
True
Suppose -2 = -v - 5*r, 4*v = 9*v + 2*r + 13. Let i be v*-4*6/36. Is 33/10 > i?
True
Let x = 446 + -236. Let p be (2/36)/(14/x). Is 3/17 less than or equal to p?
True
Let f be 2 + (-1)/(9/(-94)). Let o = -74058 - -74069. Is f >= o?
True
Suppose -w = -408 - 260. Is 670 < w?
False
Let f = -13179 - -13185. Which is bigger: 0.315 or f?
f
Let d(u) = u**2 - u - 6. Let k be d(3). Suppose j + 1956 = -5*p, 4*p + 5*j + 1746 = 177. Let h = p + 35973/92. Is h != k?
True
Let s = -136 - -134. Let v be ((s*6)/(-6) - 3)/3. Suppose 2*i + 25 = -3*i. Do i and v have different values?
True
Let z = -51236/29 - -1448595486/819917. Are z and 1 unequal?
True
Let a = -7.30722 + -0.14378. Let s = -7.5 - a. Let k = 0.951 - s. Do -0.4 and k have different values?
True
Let y = -62 + 2939. Which is bigger: 2876 or y?
y
Let z be 2*(((-126)/(-12))/7 - -502). Let o = z + -987. Which is bigger: o or 32?
32
Suppose -5*k + 6*k + 423 = 3*o, 5*o = 2*k + 705. Suppose -136*d - 205 = -o*d. Which is bigger: d or 37?
d
Suppose 17*l - 18*l + 4*z + 36 = 0, 64 = l + 3*z. Suppose 6*k - 2*p + l = 5*k, -5*p + 107 = -2*k. Is -47 greater than or equal to k?
False
Let r = -122288 - -614184/5. Which is greater: r or 548?
r
Let q be (3 + -1)/(1*-1). Let z(a) = 31*a + 32. Let k be z(-1). Let x = q + k. Which is greater: -3/11 or x?
-3/11
Let x = -8049 + 8050. Which is smaller: -2/1449 or x?
-2/1449
Let n = -802.4 - -29.4. Is n bigger than -0.3?
False
Let q be (198/110)/((-3)/(-10)). Let j be q/2*280/(-12). Which is greater: -71 or j?
j
Suppose -3*w - 446 = -455. Suppose -w*v - 4*k + 21 = 1, -25 = -5*k. Which is smaller: 4/195 or v?
v
Let b = 0.08089 - 0.98089. Is -93 > b?
False
Let u = 52 - 36. Suppose -3*r = 4*z + 139, -11*r = -u*r + z - 224. Let d be 30/r + (-17)/(-3). Which is greater: d or 7?
7
Suppose 4*j + 2*v = 2*j, -j = 5*v. Let x = 1372 - 2482. Let q be (-12)/x*2/4. Which is smaller: q or j?
j
Let x = -