402.38 + -406. Let n = s + 3.2. Let m = n + 2.72. Are m and -2/7 equal?
False
Let p be 2 - 1 - 4*-1. Let s = 30768 + -30763. Suppose -s*z - 5*k - 10 = -0*k, p*k + 1 = 4*z. Is 4/27 greater than or equal to z?
True
Let g(y) = -2*y**2 + 106*y - 203. Let t be g(51). Is 1/1707 smaller than t?
True
Suppose -271*w + 80*w - 107554 = 1698. Which is greater: w or -573?
w
Let k = -78.34 + 35. Which is bigger: 0 or k?
0
Let s(v) = 119*v**2 + 25*v - 8. Let y be s(2). Is 520 less than or equal to y?
False
Suppose 13*l = 2*h + 17*l + 8, 40 = -4*h + 4*l. Is -118 less than or equal to h?
True
Let f = -0.8704 - -0.6704. Is 208 equal to f?
False
Let f(g) = -3*g - 43. Let w = -98 + 80. Let j be f(w). Suppose 8*x - 12*x - j = -5*u, -u + x + 3 = 0. Which is bigger: u or 3/14?
3/14
Suppose -3*c = 12, 4 = 2*z + c - 14. Suppose -z*t = 3*t - 28. Let j(h) = -h**2 + h + 2. Let x be j(t). Which is smaller: 4/11 or x?
x
Let m = -2577 + 2844. Suppose 20*y - 16*y = 1072. Which is greater: m or y?
y
Let k be 0/(-1) + 4/(-482). Let q = 18206 + -18205. Is k at most q?
True
Let m = 1012230463/32985 + -1382/3665. Let y = m + -30774. Let h = y - -87. Which is smaller: -13 or h?
-13
Suppose 37 - 37 = -26*g. Let b = 5/8741 - -524245/375863. Which is greater: g or b?
b
Suppose 3*v - 5*n = -0*v + 368, 2*v - 248 = 2*n. Suppose 8*k - 3*h + 96 = 5*k, 4*k - 5*h + v = 0. Let j = 57 - 91. Is k < j?
False
Let o(z) = 31*z + 4. Let l be o(5). Let n be (-1 - 0)*(-40506)/258. Is l > n?
True
Let b = 16 - 16.068. Let s = -0.168 - b. Let d = 16 + -8. Which is greater: s or d?
d
Let j = -109574 - -109570. Suppose -2*b = -1 + 11. Which is smaller: b or j?
b
Let o be 312/117*(-2)/9. Let j = 71/108 - o. Which is bigger: -1/6 or j?
j
Let b(q) be the second derivative of -21*q**5/10 - q**4/12 - 9*q. Suppose g - 1 = 2*u, 2*g + 1 = -u + 3. Let d be b(g). Which is smaller: -45 or d?
-45
Let j = -29646 - -29648. Which is smaller: -1.724 or j?
-1.724
Suppose 73*k - 392 = 24*k. Let y = 9 + 0. Is k bigger than y?
False
Let w = 140880 - 563543/4. Let i(j) be the third derivative of j**4/12 + 7*j**3/6 - j**2. Let t be i(-6). Which is smaller: w or t?
w
Let p = 17 - 21. Let m be 284/(-24) + (-6)/36. Let z = m - -6. Are p and z non-equal?
True
Let j = -3.351 + 3.5. Let i = j + -0.349. Is -95 smaller than i?
True
Let f be 823575/500 - (3/12)/(1/3). Is f at least as big as 1646?
True
Let k(x) = x**3 - 16*x**2 - 19*x + 32. Let b = 210 - 193. Let p be k(b). Is -0.071 at least p?
True
Let v = -0.4 - -0.3. Suppose -132*x = -310*x + 140*x - 10184. Which is smaller: x or v?
x
Suppose 4*l = 12*l + 2*l + 1270. Is l greater than -118?
False
Suppose m - 1450 = 4*m + 5*j, 5*j = -25. Which is smaller: m or -467?
m
Suppose 3*l = -12, l = 3*a - 0*l - 1. Suppose 0 = 2*f - w + 20, -w + 6*w = f + 19. Let j be (-6)/(-702) + (-11)/f + -1. Which is bigger: j or a?
j
Let x be 1656/1368 + 64/(-304). Let r = -3034/264441 - -4/543. Is x <= r?
False
Let t = -27885 + 613653/22. Let p = 17/2 - t. Is p less than -1/36?
False
Let w = -575 + 245. Let p = w - -330. Which is bigger: p or 27/14?
27/14
Suppose -5*b - 8 = -28, 0 = q - 3*b - 5. Suppose -4*i + 2*r + 3*r + q = 0, 0 = -3*i - 2*r - 16. Let g be 3*21*9/(-405). Which is greater: i or g?
g
Suppose -3*o = -5*p - 26, -2*o + 50 = 3*o - 5*p. Let d be (-4 - (-51)/o)/1. Let a(z) = -z + 4. Let v be a(4). Are d and v nonequal?
True
Let y(r) = 4*r + 53. Let d be y(-12). Suppose -2*s - 125 = h - 353, d*h + 456 = 4*s. Let j = s - 115. Which is greater: j or 4/13?
4/13
Let a be (32/(-6))/((-5)/30*4). Let u be (a - 9)/((-2)/(-102)). Let l be 210/(-4) - 19/(-38). Does u = l?
False
Let y be ((2/3)/((-31570)/123))/((-4)/5). Suppose g + g = 8*g. Which is smaller: y or g?
g
Suppose 8*a - 4 = 12. Suppose -4 - 28 = a*z. Suppose 0 = 5*n + 2*y + 26 + 43, 3*n - 5*y + 60 = 0. Which is smaller: z or n?
z
Suppose 8*i = 11*i + f - 872, -i + f + 296 = 0. Let r = 282 - i. Suppose 0 = 2*b + 5*w + 1, 12 - 3 = 3*w. Is r greater than or equal to b?
False
Let t = -0.05793 + -2.14207. Which is greater: t or -66?
t
Let i(z) = 2*z**3 - 126*z**2 + 241*z + 217. Let h be i(61). Which is bigger: 6.4 or h?
h
Let i be 1*1*7*-9. Suppose 926*p + 25263 = 525*p. Is i less than p?
False
Let d = 40 - 26. Let v be (-378)/210 - (-53)/35. Which is smaller: d or v?
v
Let o = 172 - 484/3. Let k = o + -154/15. Which is smaller: -54 or k?
-54
Let t be 2060/70 + ((-1)/3)/(1/12). Which is greater: 24 or t?
t
Suppose 2*h - 8*h = 0. Suppose -2*m + 21*x = 23*x - 36, h = -5*x + 20. Let p(r) = 2*r**2 - 5*r + 2. Let l be p(4). Is l < m?
False
Let a = 14575 - 14574.97573. Is a equal to -1?
False
Let x be (-70 - -70)/(2/(-4)*18). Let l = 48/163 + -9609/30970. Which is bigger: l or x?
x
Suppose -3*o + x - 3628 = 0, 0 = 16*o - 12*o - 7*x + 4826. Is o > -1208?
False
Let y be 1/(-4) + (-15)/(-28). Suppose -10*t = 2*t - 144. Suppose t = -16*h - 4. Which is smaller: y or h?
h
Let b be ((-50)/(-375) - 229/30)*(-3 + 5). Which is bigger: -91/6 or b?
b
Let f be ((-35)/(2205/84))/((-4)/(-162)). Which is smaller: f or 0.12?
f
Let i = -37 - -36. Let f(j) = 11*j**2 - 3*j - 2. Let y be f(i). Let o be 0/((-9)/y*24/(-9)). Is o greater than -66?
True
Let m(v) = 24*v. Let d be 14/(-6) + 6/(-9). Let u be m(d). Let i(b) = -38*b**2 + 411*b + 4. Let l be i(11). Is l < u?
True
Suppose -13*f + 10*f = -8055. Let k = -77845/29 + f. Which is bigger: 0 or k?
k
Let y = 758 + -341. Suppose 5*s = -5, 4*s + 162 = 5*u - y. Let q be (-8)/u + (5 - (-120)/(-25)). Which is smaller: -1 or q?
-1
Suppose 182*o = 138*o - 44044. Is -993 greater than o?
True
Let d = 12081 - 616109/51. Which is bigger: 3 or d?
3
Let t = -46620/11 - -3941. Let l = t + 297. Let j = l - -21/55. Is 0 < j?
True
Let k(w) = 65*w - 194. Let h be k(3). Is -3/1111 at most as big as h?
True
Let g = 9428 - 11428. Is g greater than or equal to -2000?
True
Suppose 0 = -5*a + 3*a + 4*r + 36, 3*a - 3*r - 54 = 0. Let v be 14/a*18*(-7)/(-168). Which is bigger: 0 or v?
v
Suppose 1082*m + 2441 = 1081*m + 3*b, -2*m - 4918 = -2*b. Is -2470 at least m?
False
Let y = -340 + 7819/23. Let z = 42385 - 42386. Is y != z?
True
Let q = 47 + 25. Let s = q + -72.1. Which is greater: s or 1/7?
1/7
Let d be 42392*4/1610174 + 378/(-3591). Is 1 at least d?
True
Let a = 198 - 196. Let y be (1 - a - -6)/1. Suppose -2*j + 4*j - 12 = -4*d, 5*j + d = 3. Which is smaller: j or y?
j
Let z = 1877 - 1964. Suppose 6*x = x - 2*a - 319, -73 = x + 5*a. Let v = z - x. Which is smaller: v or -26?
-26
Let l(i) = -2*i**2 - i - 1. Let k(m) = m**3 - 20*m**2 - 7*m + 52. Let p(h) = k(h) - 3*l(h). Let f be p(14). Is f < 5/39?
True
Let s be (0 - 2)*5*5. Let k be 40902/68*(-20)/(-6). Let a = 1954 - k. Is s bigger than a?
True
Let v = -0.2 + 1.2. Let c = -8299.889 + 8300. Which is bigger: c or v?
v
Let u(v) be the third derivative of -v**6/120 - 7*v**5/60 - 5*v**4/24 - 7*v**3/3 + 16*v**2. Let h be u(-6). Let f be (h/8)/(10/(-4)). Which is greater: f or 0?
f
Let q(r) = r**2 - 34*r + 96. Let a be q(31). Suppose a*w - 23 = -b - 2*w, -4*w + 22 = -b. Which is smaller: b or -4/5?
b
Suppose 130 - 48 = 189*o - 107. Let j = 1221 - 1220.9409. Is o > j?
True
Suppose -5*x = -9*x + 5*h + 2711, 0 = 2*h - 2. Does x = 677?
False
Let b = -74 + 169. Let p = -98.508 - -3.408. Let k = b + p. Is k <= 0?
True
Let n = 0.37 + -10.37. Let q = -39 - n. Let v = q + 35. Is v less than 9?
True
Let q be (-1)/(-97)*-95 - -1. Suppose 2*f = 67 - 59, 0 = 2*z + 4*f - 16. Which is smaller: q or z?
z
Let s be 5*(0/(-2) - 1). Let g(i) be the third derivative of -5*i**4/24 - 25*i**3/6 - 217*i**2. Let u be g(s). Is u smaller than -2/19?
False
Suppose 4 = -171*t + 167*t. Suppose w - 3 = 1. Let d be w/14 + 900/(-3003). Is t >= d?
False
Let h = -4347.99 + 4348. Which is bigger: -1.91 or h?
h
Let g be 9/(-9)*5 + (-18137)/(-3627). Let q = 333698/25389 - g. Which is greater: q or -2?
q
Let k(s) = -s**2 - 25*s + 36. Let g be k(-19). Suppose f - 150 = -g. Are f and 1/60 unequal?
True
Let o = -10 + 18. Suppose 0*m + 36 = 4*m. Let v = m + -2. Which is smaller: o or v?
v
Let g be (16 + 7 + -24)/(2/(-20634)). Is g at most as big as -1?
False
Let b(a) = -44*a - 3078. Let f be b(-72). Is f < 1/5?
False
Suppose -5*b = -5*g - 5, -12 = -4*b - 4. Let f = 801/7 + -148199/1295. Are f and g nonequal?
True
Suppose 8*k - 49 = k. Let v 