428)/14)/(3/(-21)). Let f = h + -219. Is f <= z?
True
Suppose -201 = 354*i - 353*i. Let y = 188 + i. Which is bigger: -1 or y?
-1
Let t be (-19906)/518 - (1/(-3))/((-21)/(-27)). Do -586/15 and t have different values?
True
Let t = 1015375243327/72 + -14102692744. Let b = 258852 + t. Let p = -345/8 + b. Which is greater: p or 1?
1
Let g be (4/4)/(7/1519). Let s = g - 194. Is 23 greater than s?
False
Suppose 18525 = 53*w - 28*w. Which is smaller: w or 740?
740
Let t = -7053 - -7066. Which is smaller: 535/37 or t?
t
Let g = 3014 + -3022. Let x(a) = 2*a**2 + 35*a + 17. Let j be x(-17). Is j less than or equal to g?
False
Let f be (0 - 22)/(1/4) + -2. Let s(l) = -3*l**2 - 162*l - 93. Let p be s(-54). Is p at least as big as f?
False
Let r = 30 - 22/3. Let x = -23 + r. Suppose 4 = 8*n + 12. Are x and n unequal?
True
Let v = 220 + -221. Let l = 80 + -83. Let r be l/((-1)/(-1))*8/300. Which is greater: r or v?
r
Let z be -4 + -22 + 23 - 29/(-11). Is z greater than or equal to -13?
True
Let g(m) = -11*m**3 - 24*m**2 - 11*m - 52. Let o be g(-8). Which is smaller: o or 20656/5?
20656/5
Let z be (-25)/75*(-5 + 6 - 46). Let l be 1/(-5) - 21/(-5). Suppose -u - l*u = -80. Which is greater: z or u?
u
Let n = 4.6 + -90.6. Suppose 0 = -13*b + 12*b + 2*v + 214, -2*b - v = -413. Let y be (-364)/b*4/14. Which is bigger: n or y?
y
Let o = -10.148 + 10.26. Which is bigger: o or -0.2?
o
Let p be (663/3003)/(2/98). Which is smaller: p or 0.2?
0.2
Suppose 6*p + 3270 + 6582 = 0. Is -1641 less than or equal to p?
False
Suppose 5*t - v = -2041, 6*v + 411 = -t + 9*v. Let m = -409 - t. Let n be 1 + -1 - 10/(-415). Which is smaller: m or n?
m
Let p(b) = b**2 + 76*b - 1118. Let i be p(13). Which is smaller: i or -1/5?
-1/5
Let k = 533 - 532. Which is smaller: 2.522 or k?
k
Let n = 72 - 77. Let h(z) = z**2 + 3*z - 6. Let f be h(n). Suppose f = 9*k - 5*k. Are 8 and k non-equal?
True
Let d(j) = -4*j. Let n(t) = 2*t. Let b(g) = 2*d(g) + 5*n(g). Let f be 22 + -33 - (0 + -6) - -6. Let y be b(f). Which is smaller: 1 or y?
1
Let l be 10/16*(4 - (-11594)/55). Is l greater than or equal to 133?
True
Let m be (2*(1 - 1742))/(56 + -54). Which is smaller: m or -1742?
-1742
Let u(f) = -f**3 - 48*f**2 - 327*f - 280. Let h be u(-40). Which is greater: -3/12781 or h?
h
Let a = 270 + -507. Which is greater: a or -235?
-235
Suppose 49*o - 12*o - 13200 = 4*o. Is o bigger than 386?
True
Suppose 0 = -5*s - y + 98, y = -s + 2*y + 16. Let u be ((-323)/171 + 2)/(1/(-3))*-18. Is s at most u?
False
Let x = 10961 - 10962. Is -30/551 < x?
False
Let m = -223.679 + -0.321. Let z = -212.5 - m. Are 0.1 and z non-equal?
True
Let z(v) = -v**3 + 7*v**2 + v - 5. Let r be z(7). Suppose 0 = 4*b - 2*m - 24, -4*m + 8 = 4*b - r*m. Let h be (-834)/139*(-2)/2. Is h smaller than b?
False
Let v = -6686 + 6716. Which is smaller: v or 24?
24
Let w = -267127/92224 - -380/131. Which is smaller: w or 0?
0
Let u = -4.02 - -0.02. Let v be 116/10 - 102/(-255). Suppose -v = -59*g + 56*g. Which is smaller: g or u?
u
Let m = 1.59 - 0.19. Let q = -4.2 + m. Let v = q - 0.2. Do v and -4/3 have different values?
True
Suppose 0 = 4*g - 107 + 3. Suppose -23*z = -g*z + 6. Let r be z + ((-438)/30 - (-2 - 1)). Which is bigger: r or -11?
r
Let t = 5 - 2. Suppose -169 = -10*y + 21. Let n be ((y - -5) + t)/(-4). Is n at most -6?
True
Let a(j) = j**3 - 16*j**2 - 36*j - 3. Let y be a(18). Let z be (-34)/y*(-11)/(-22). Which is bigger: z or 7?
7
Let t(p) = -6*p - 46. Let j be t(-25). Suppose -d + 92 = -8*y + 3*y, 3*d = -5*y - j. Let u = y + -15. Which is smaller: u or -35?
-35
Suppose -2*n - 5*d = -d - 128, -268 = -4*n - 4*d. Suppose 0 = n*f - 74*f - 444. Which is greater: -112 or f?
f
Let o(m) = -m**3 + 3*m**2 + 2*m + 11. Let j be o(4). Let i be j*(-8)/30 + (-95)/(-25). Suppose -i*u = -3, -3 = y - 2*u - u. Which is smaller: -1/7 or y?
-1/7
Let i be (0 + 1)*(-5 + (1970/205 - 3)). Which is smaller: i or 1?
1
Let o = 6.9 - -28.7. Let s = 8.4 + o. Let v = s + -44.08. Do 0 and v have different values?
True
Suppose 0 = -103*x + 107*x + 18900. Let n = x - -118157/25. Are n and 0 equal?
False
Let s = -2060 - -2057. Let x be -2 - (6/3 + 76/(-64)). Is s < x?
True
Let d be 3/(-5) + (-478)/(-730). Let h be 3/6*(-24 + 24). Which is smaller: d or h?
h
Let t = 0.75 + -0.5. Let n = 1.5221 - 1.4221. Which is greater: t or n?
t
Suppose -65136 = -3*y + 2*j, 2*j - 23000 = -y - 1304. Which is smaller: 21709 or y?
y
Let f(k) = -2*k**3 - 44*k**2 + 43*k - 70. Let j be f(-23). Which is greater: -4/171 or j?
-4/171
Let u = -0.426 - 291.574. Let i = u - -223. Let h = -9 + 8. Is h less than i?
False
Let i(p) = p**3 - 17*p**2 + 29*p. Let y(s) = s**3 - 11*s**2 + 5*s - 40. Let z be y(11). Let b be i(z). Is -7 <= b?
False
Let y = -3836 - -3916. Which is greater: y or -5?
y
Let t be ((-11)/4)/((-187)/88). Let b = t + -237/170. Let r(p) = -p**3 + 3*p**2 - 3. Let u be r(2). Which is smaller: b or u?
b
Let t be (-1 + 0)/(2744/176*-2). Do t and -1 have the same value?
False
Let u(r) be the first derivative of -r**3/3 - 19*r**2/2 - 2*r - 1. Let o(b) = 15*b + 161. Let l be o(-12). Let v be u(l). Is v smaller than -8/7?
True
Let w(l) = -l**3 - 3*l**2 - 2*l - 1. Let a be w(-2). Let p be 960/7 + a + 3. Let v = p - 137. Which is smaller: 2 or v?
2
Suppose 4*s - 22 = -4*h - s, 4*h + 2*s - 16 = 0. Suppose h*i - 5*f = -272, -408 = 5*i - f + 4*f. Let v be 51*(-1 + (-7)/(i/8)). Is v less than -20?
False
Let r = -53 + 49. Let c be (70/25)/((-657)/939) - r. Which is bigger: -1 or c?
c
Let m = -0.09926 + 8.09926. Is -246 at most m?
True
Let n be (-2 - 136/(-10))/((-19)/95). Suppose -48 = 4*b + 208. Is n not equal to b?
True
Suppose -21 = -3*u - 3*l, 0 = -2*u + 2*l - 0 - 2. Suppose 5*b - 15 = 0, j + 0*b + 6 = -u*b. Let f be (-15)/(-6)*(21 - 27). Is j greater than or equal to f?
True
Let o = 0.032 - -1.118. Let f = o - 3.15. Which is greater: f or -147?
f
Let s(q) be the second derivative of 0 + 1/3*q**3 - 11*q**2 - 3*q. Let n be s(5). Which is bigger: n or -1/5?
-1/5
Suppose -5*v + 99 = -286. Let k = v + -109. Are -31 and k non-equal?
True
Let h(j) = j**3 + 6*j**2 - 5*j + 8. Let t be h(-7). Let u = 25270 - 278044/11. Which is smaller: t or u?
u
Let t = 12/341 - -2787/66154. Let z = 2057/31622 - t. Let k = -1145/326 - z. Which is smaller: 2 or k?
k
Let n = 31863 + -31862.9. Is n bigger than 220/31?
False
Let x be (-7520)/24*(1 - 11/5). Let h = -375 + x. Is 14/13 at least h?
True
Let l be ((-10)/12522)/((-4)/((-216)/(-45))). Which is greater: -1 or l?
l
Let g be -42*4*4/(-24). Which is smaller: 245/9 or g?
245/9
Let p = 0.4293 - -369.5707. Which is smaller: p or -4?
-4
Let r(g) = 9*g**3 + 9*g**2 + 5*g - 10. Let a be r(-4). Which is smaller: -460 or a?
a
Let c = 122 - 131. Let f(l) = l**3 + 8*l**2 - 13*l - 27. Let z be f(c). Is z > 9?
False
Let d be -19 - 0 - 5157/(-297). Which is bigger: -0.08 or d?
-0.08
Let t = -1520 + 1520. Let b be (-30)/(-9)*((-213)/(-15) + -1). Which is bigger: b or t?
b
Suppose l - 4*l - 546 = 0. Suppose -6681*i + 6678*i + 154 = -p, -9 = i. Which is bigger: p or l?
p
Let x be 4 + ((-342)/3)/(-1) + -1. Let g be 78/x - (0 - (-1193)/12). Is -99 < g?
True
Let x = 87 - 138. Let y = -14 + 82. Let w = x + y. Which is smaller: 1 or w?
1
Let l be 28/(-182) - 18404/364. Which is smaller: l or -50?
l
Suppose -93 = 20*x - 593. Let l be -20*7/((-35)/x). Are 100 and l equal?
True
Let l(p) = p**3 - 5*p**2 - 8*p + 17. Let f be l(7). Suppose -2*t + 6*w = 3*w + f, 0 = t + 5*w + 23. Let a be ((-3)/21)/(0 - (-4)/t). Is 9 > a?
True
Let i(q) = -q**2. Let t(n) = 5*n**2 + 12*n + 13. Let r(f) = 4*i(f) + t(f). Let d be r(-1). Let l = 1 - 0. Which is bigger: d or l?
d
Let k(b) = 2*b**2 - 65*b + 47. Let v be k(22). Is v at most -2/13?
True
Let o be ((-16)/12 - -2)*-3 - 2. Let w be 5 - (108/(-5))/o. Let p = -28.7 - -27. Which is smaller: w or p?
p
Suppose -11*p + 9*p = -3*y + 45, p = -3*y + 54. Suppose 0 = -20*x + y*x - 465. Which is bigger: -157 or x?
x
Suppose 105 = -59*d + 46. Let f be (4/(-2550))/(1/(-5)). Which is greater: f or d?
f
Let p = -473 - -336. Suppose -69*k + 79*k = -1360. Which is bigger: p or k?
k
Let u = 184.5 + 406.5. Which is greater: u or 0?
u
Suppose 4*m = 2*q + 16, 2*q + 5*m - 2*m = -37. Let x be -2*(3 + 41/q). Let y = 0.892 + -0.832. Is x at least y?
False
Let x = -893/808 -