q(-6). Suppose -27*r - 22 = -l*r. Let v(u) = -5*u - 4. Let t be v(-3). Is t greater than r?
False
Let f be ((-316)/(-12))/((-23)/(-207)). Does 239 = f?
False
Suppose -33*x + 35*x - 446 = 2*d, 0 = -x - d + 213. Which is greater: 211 or x?
x
Let m = -2 - -2. Let l be (43/645*10)/(2/(-6)). Which is bigger: l or m?
m
Let m = -1393 + 979. Let c = -413.9 - m. Is c != 2.62?
True
Let m be 3/12 - ((-1038)/8 - 3). Let c(u) = -m + 154 - u + 2*u. Let s be c(-9). Is s > -0.1?
True
Let h be 31160/(-11856)*(-9)/10. Is 3 > h?
True
Suppose -y + 9*x = 241, -46*y + 41*y - 3*x = 677. Suppose 276 = 2*n - 4*n. Is n >= y?
True
Suppose -3*u = u + 28. Let h = 181/12 + -1747/84. Which is smaller: u or h?
u
Let z = -2/637 + -1252/7007. Is z not equal to 4970?
True
Suppose 0 = -3*h - 3*h + 2*h. Suppose 3*r + 4*d - 577 = h, 7*d = -r + 2*d + 207. Which is smaller: -2/3 or r?
-2/3
Let w(l) = -16*l + 194. Let a be w(12). Let z be a + 3 + -8 - 345. Is z >= 1/2?
False
Let r = -178832/15285 - 1/6114. Which is smaller: -12 or r?
-12
Let i = -296 - -267.2. Let n = i - -28.696. Which is greater: -1 or n?
n
Let p(a) = 3*a - 36. Let g be p(5). Let f(s) = 2*s + 197. Let b be f(g). Which is smaller: b or 157?
b
Let j = -27647 + 27233. Is -444 bigger than j?
False
Let o(w) = -9*w**3 + 12*w**2 - 10*w + 45. Let a be o(6). Which is smaller: a or -1526?
a
Let z be (-162)/12*(0 - 2). Suppose -29*a - 98 = -z*a. Is -44 at most as big as a?
False
Suppose 3*y - 4*k = 4*y + 17, 3*y - 2*k = -37. Let b = y + 16. Suppose -b*q = -3*x + 138, -x + 96 = x - 4*q. Is 43 >= x?
False
Let k(l) = l - 25. Let x be k(-21). Is -1/4 at least as big as x?
True
Let w = -324 - -328. Let q be (9 - w/4)*(-3)/(-8). Do q and 23 have the same value?
False
Let x(y) be the third derivative of -y**6/120 - 2*y**5/15 - 13*y**4/24 + 11*y**3/3 + 54*y**2. Let u be x(-7). Is 64 at most as big as u?
True
Let m be -6 - ((-98)/14 + 3). Is -39/19 at least as big as m?
False
Let s = 89888995297/1603845 - 1054/11061. Let u = s - 56048. Let h = u + 22/29. Which is greater: h or -2?
h
Let x = 255 + -257.07. Let j = 3.07 + x. Is -62/5 greater than j?
False
Suppose -4*u = -2*g + 3890, 3*u = 82*g - 86*g + 7758. Which is smaller: 1934 or g?
1934
Let f = -724/37 + 180741/9250. Which is bigger: f or 1?
1
Let q(n) = 16*n + 4*n**2 + 30 - 30 - 5*n**2. Let x be q(16). Let l = 466 + -15380/33. Which is smaller: l or x?
l
Let c = -11990 - -11944. Which is bigger: c or 24?
24
Let l(x) = x**2 - 14*x - 6. Let y(w) = -w + 7. Let k be y(-7). Let n be l(k). Let i = 549/2 - 280. Which is greater: i or n?
i
Let m(h) = -h - 8. Let q be m(-8). Let d = -48 + -27. Let o = d + 2926/39. Is o equal to q?
False
Suppose 3*x + 0 - 9 = 0. Let t be x/((-2)/(-10) - (-13)/10). Suppose -d + n = t*n, 5*d + 3*n = 0. Is d bigger than 5/4?
False
Let r(i) be the first derivative of 5*i**3/3 - 9*i**2 + 73*i - 132. Let n be r(4). Is n > -0.1?
True
Let v = -2/2337 + -13744/324843. Is 0.1 greater than or equal to v?
True
Let b be 2*6/(-8) + (-828)/(-8). Let q = b - 57. Let r = q + -44. Which is greater: r or -8?
r
Suppose -3*p + 2*j - 17 - 13 = 0, -p - 23 = -5*j. Suppose 5*g = 2*y - 19, 3*y - 4*g - 8 = 24. Suppose -16*i + y*i = 40. Is p > i?
True
Let v be (-1)/5 + (-5192)/(-10). Let c = -515 + v. Let r be (-2)/4*2 + 1. Is c smaller than r?
False
Let p be 25 + 33/43*-41. Which is smaller: -5 or p?
p
Let q be (6/64)/((-4750)/(-40) - 0). Let z = q - 1398421/26600. Which is smaller: z or -52?
z
Let k be (2/(-5))/((-6)/60). Let p = -283 + 203. Let a be (-12)/p + (-1)/(10/k). Is 0 equal to a?
False
Let x = -5070 + 5071. Which is greater: x or 2/1351?
x
Suppose 45*v = 165*v + 444656 + 22624. Are 4 and v unequal?
True
Let c(x) = x**3 + 7*x**2 + 7*x + 2. Let n(d) = d**3 + 7*d**2 + 6*d + 3. Let g(h) = -2*c(h) + 3*n(h). Let z be g(-5). Let o = z + -36. Is o >= 3/31?
False
Let l = 150.31 + -131.31. Is 407 bigger than l?
True
Let v(o) = -o**3 - 10*o**2 - 6*o + 9. Let p be v(-9). Let f = 147 + -145. Let y be (-34 + -1 + f)/2. Which is smaller: p or y?
p
Let j = 7556445821/910 - 8303776. Let x = j - 3/182. Which is smaller: 11 or x?
x
Let y(i) = -8*i + 1. Let u be y(2). Let v be 31/(48/(-18) - (-8)/12). Which is bigger: u or v?
u
Let h = 387.57 - -6.43. Which is greater: h or 2?
h
Let f = 59699/18165 - 2/2595. Suppose 2*z = t - 2, -7*z = -12*z + 5. Which is bigger: f or t?
t
Let j(z) = z**3 - 8*z**2 - 6*z + 37. Let k be j(8). Let x(f) = 2*f - 35. Let i be x(k). Is i <= -56?
True
Let n(p) = p**3 - 24*p + 10. Let l be n(-5). Suppose 15 = -5*m - l*v, 0*m - 4*m = -2*v. Which is smaller: m or 1/116?
m
Let q = 19 + 39. Let w = 1808.4 + -1867. Let d = w + q. Are 5 and d unequal?
True
Let t(l) = 33*l + 8. Let v be t(10). Let w = 427 + -88. Which is greater: w or v?
w
Let i = -13 + 18. Suppose 0 = 3*x - 4*f - 12, 2*f + 20 = i*x + f. Suppose 2*u + 22 = -x*y, 4 + 3 = -2*u - y. Is u at most -6/17?
True
Let n = 231 - 227. Suppose 0 = -n*t + x, -5*x + 7*x = 2*t. Which is smaller: t or 6/77?
t
Let b(s) be the second derivative of s**6/720 + 13*s**5/120 - 7*s**4/6 - 3*s. Let g(h) be the third derivative of b(h). Let i be g(-8). Is i bigger than 5?
False
Let s = 86 + -68. Suppose -2 = -v + k, 4 - s = -3*v - 5*k. Suppose -3*g + v = 3. Which is greater: g or -2?
g
Suppose -2*u = u - 4*v, 2*v = 0. Suppose -i = 3*g - 14, -4*g + 2*i = -u*i - 32. Let k be 1/2 + 28/8. Is g bigger than k?
True
Let v(k) = 4*k**2 - 2*k + 1. Let h be v(2). Suppose 8*f + 25 = h*f. Suppose -3*r + r - 5 = -x, -4*r = f*x + 17. Which is smaller: -7 or x?
-7
Let z(r) = r**3 + 8*r**2 - 4*r - 14. Let q be z(-7). Let x = -102 + q. Let u = -86 - -48. Which is smaller: x or u?
x
Let s be -31*(0 - 1)*1. Let c = -476 - -18566/39. Let q = c - -64/273. Which is smaller: q or s?
q
Let b(v) be the first derivative of -16*v**3/3 - 5*v**2/2 + 4*v - 21. Let a be b(1). Do -47/3 and a have the same value?
False
Suppose -4*g - 6720 = -5*b, 117*b + 5*g = 122*b - 6715. Which is smaller: b or 1346?
1346
Let w be (-26)/(-8) + -3 + 3913/28. Is w greater than 0?
True
Suppose 4*k = -4*u - 16, -4*k - k + 30 = -5*u. Suppose -5*n = -6*n - 19. Let d = n - -22. Which is greater: k or d?
d
Let f = -270.3446 - -0.1446. Let c = f + 270. Which is bigger: c or 186?
186
Let n = 3649 + -3649.05. Do 0.09 and n have different values?
True
Let y = 556465/6 - 93164. Which is greater: -421 or y?
y
Let v = -257.37282 - -0.07282. Is 2 at most as big as v?
False
Let b be (-36338)/(-8) + 67/(-268). Is b > 4542?
False
Suppose -3*o + 264*c = 259*c + 5384, 3*o + 4*c = -5429. Is o bigger than -1?
False
Suppose -23*x - 11*x - 46*x - 433920 = 0. Which is smaller: x or -5426?
-5426
Let q = -15897 + 1578. Which is greater: -14320 or q?
q
Let o be (202/(-18) - -2) + 1717/153 + -11. Is 323/4 < o?
False
Let q(v) = 12*v + 78. Let x be q(-6). Suppose 883 = x*c + 925. Is c >= 3/31?
False
Let i = 4311 - 4311. Which is smaller: i or 1/2616?
i
Let b = 56285/95566 + -83/142. Which is bigger: 0 or b?
b
Let y(f) = 391*f + 618. Let p be y(-9). Which is bigger: p or -2900?
-2900
Let i(k) = 24*k. Let f be i(1). Let q(v) = v**3 - v**2 + 19*v + 27. Let h be q(-6). Let t = h - -360. Which is bigger: f or t?
f
Let v = 955 + -957. Let i be 73/(-104)*-4 + v. Is i != 2?
True
Let i = -46.191 + 0.191. Let t = 42.01 + -1.01. Let d = t + i. Which is smaller: d or -2/7?
d
Let t be (-1992)/216 + 4/18. Let w be t/(-12)*2794/(-66). Are w and -31 unequal?
True
Let y = -1.03 - -0.93. Let t = -101/4 - -1321/52. Do y and t have different values?
True
Let r(v) = 49*v + 1096. Let l be r(10). Is 1587 bigger than l?
True
Let y = -443 - -442.618. Let o = 5991/20993 + 1/2999. Which is smaller: y or o?
y
Suppose -t - 5850 = 4*t. Which is bigger: t or -1172?
t
Let g = -216 + 258. Let n = -153 + g. Is n >= -112?
True
Let f(r) = -14*r + 1803. Let z be f(-24). Is z <= 2140?
True
Let v = 9 + 6. Let m be (18/(-7 + 4))/1. Let d be 3/m + 33/2. Is d greater than v?
True
Let x = -3.7 + -42.2. Let i = 45 + x. Which is greater: i or 3/7?
3/7
Let x be 4/12 + (-7746)/(-1980). Let i = x + -21/5. Let b = -7 + 8. Which is smaller: b or i?
i
Let m(f) = f**3 - 10*f**2 + 10*f. Let u be m(9). Let y = -13 + u. Let k be ((-6)/(-45)*-9)/(y/10). Which is greater: k or 13/6?
k
Let a = -160 - -57. Let d(n) = -2*n**2 + 41*n + 30. Let x be d(21). Suppose 5*z -