 - -57.62343. Is -80/11 at least z?
False
Let k = -410093107/7663 + 53516. Let q = k - -8689837/38315. Let n = q + -225. Is n greater than 2?
False
Let l = -139.998 - -140. Let v = l + -11.002. Are -0.1 and v non-equal?
True
Let h = -4.8 - -5. Let x be (8/(-12))/(5/(-210)). Let u be x/(-5) - (-3)/(-15)*2. Is h bigger than u?
True
Let o be 0/(1 - 0/(-1)). Let r be (36 - 41) + ((-87424)/(-4494))/4. Let z = -2/321 + r. Which is smaller: o or z?
z
Let q = -193 + 416. Let x = -221 + q. Which is smaller: x or 142?
x
Suppose -487*b + 485*b - 3*z = -8, 0 = -5*b - 4*z + 13. Let l be (-22)/126 - 4/(-18). Which is smaller: b or l?
l
Let n be ((-64)/(1 + 7))/((-2)/(-13)). Is n greater than 7?
False
Suppose 0 = 26*z - 4736 + 6842. Which is bigger: z or -160?
z
Suppose -22*f + 28 = -18*f - 4*m, 3*f + m - 13 = 0. Let z = -4/11 - -23/33. Is f less than z?
False
Let z(u) = -u**3 - 5*u**2 + u + 3. Let d be z(-3). Let h be 1 - (-4 + -9 - -4). Suppose 4*k + h = -k, -5*s - 76 = -2*k. Which is smaller: d or s?
d
Let h = 19/60140 + 3/620. Suppose 0 = v - 4*m + 9, -9 + 0 = 3*v - 3*m. Is v at least as big as h?
False
Suppose 2*t + 2*y - 68 = 0, -2*t - 3*t - 4*y = -168. Suppose -4*j = t + 20. Let d = 136 + -150. Is j <= d?
False
Let o be 269 - (4 + -5 - 2). Suppose 3*d - 601 = -2*y + 207, y = -4. Is o less than or equal to d?
True
Suppose 2*m - m = 7. Suppose -3*p + 5*a - 11 = 0, 57*p = 55*p + 5*a - 14. Which is bigger: p or m?
m
Let z be (-230 + 21)*2/(2*4). Let i = z - -52. Which is smaller: 146 or i?
i
Let t be (5 + -291 - 2)/1. Let p = -368 - t. Are -80 and p unequal?
False
Let l be (0 + 313)/(306/1530). Is 1565 less than or equal to l?
True
Let f be ((-12912)/14795)/((-219)/75 + (-1)/(2/(-6))). Suppose -3*w = -9 + 45. Which is smaller: w or f?
w
Suppose 2*s - 23*s - 126 = 0. Let n be (3/s)/(3/6)*-1. Is 2/9 less than n?
True
Suppose -1937 = -12*j - 689. Let l = j + -101. Is 50 >= l?
True
Let j = -0.698 + 0.698. Let o be (-527)/(((-21)/(-3))/(-1)). Let b = o + -75. Which is bigger: b or j?
b
Suppose -5*h - 5*h = -1870. Let m be (-1*2)/2 + 760. Let f be -1 - -5 - m/h. Is 1 > f?
True
Let u = 78 - 80. Let p(t) = t**2 + 2. Let h be p(u). Suppose -c = h*c - 315. Is c != 45?
False
Let w = 5183 - 8937. Which is greater: 1 or w?
1
Let z = -505537/115 + 4396. Which is bigger: z or -1/12?
z
Let k(l) = l + 10. Let s be k(-6). Let f(y) = 6*y - 1. Let g be f(s). Suppose 7*w = -3*w + 220. Which is smaller: g or w?
w
Let g(u) = -u**3 + 8*u**2 + 10*u - 8. Let z be g(9). Let r be ((-655)/(-7 - -2))/z. Let s = 148 - r. Which is smaller: 0.4 or s?
0.4
Let i be 1359/302 + (-934)/204. Which is smaller: 0 or i?
i
Suppose -31*l - 37 = 6*l. Which is bigger: l or 8790?
8790
Let g = -307/207 - -1225/23. Which is smaller: 51 or g?
51
Suppose 0 = -12*j - 13738 + 19594. Is j at most 19?
False
Let t = 0.04 - 0.05. Let r = -0.01 - t. Suppose 2*l - 98*l = 25*l - 605. Is r != l?
True
Let b = 226.7 + -19.7. Let n = -206 + b. Which is smaller: n or -80?
-80
Let b(k) = k - 14. Suppose -4*r + 2*v + 52 = 0, 5*v = r - 5 + 1. Let z be b(r). Suppose 9*i - 35 - 55 = z. Is 8 greater than i?
False
Suppose -3*y + 19 = -5*g, -6*y + g - 25 = -9*y. Let b(r) = -r**2 + 4*r + 3. Let k be b(5). Is y equal to k?
False
Suppose 25*t + 2844 = 43*t. Suppose 14*f - 158 = -t. Which is smaller: f or 4/89?
f
Let z = 3174 - 3022. Is z <= 6/7?
False
Let x(r) = 6*r**3 - 3*r**2 + 6*r. Let c be x(8). Let l be (13025/1375)/(c/(-10)). Let s = 1/488 + l. Is 1 less than s?
False
Let x(y) = y**3 - y**2 + 10. Let l be x(-2). Is -52/15 greater than or equal to l?
False
Let p be (5535 - -2) + (-16)/56*-14. Which is smaller: 5544 or p?
p
Suppose -2*a + 284 = -4*d, -2 = 2*a - 6. Let s be (d/35)/(0 + (-4)/(-6)). Which is bigger: -13/4 or s?
s
Let g = 421 + -246. Let b = g + -701/4. Which is greater: b or -108?
b
Suppose 7*x - 2*x + 898 = -2*w, w + 360 = -2*x. Let o = x - -2849/16. Which is bigger: o or 0?
o
Let r(g) be the first derivative of g**3/3 + 5*g**2/2 - 21*g + 36. Let n be r(-9). Do 15 and n have different values?
False
Let j = -308 - -733. Let v = -410 + j. Which is bigger: v or 0.2?
v
Let u be -12 + (188143890/825195)/19. Which is greater: u or 0?
0
Suppose 0 = -5*p - 2*q - 18, 3*p - 12*q + 14 = -14*q. Let a be 3 + (3 + -5 - (p - -4)). Does a = -18/31?
False
Let z = -152.93 + -22.07. Do 1 and z have the same value?
False
Let o be (-7 + (-4)/(-1))*1. Let k(q) = -q**3 + q**2 - q - 2. Let m be k(o). Suppose 0 = -8*i - 43 - m. Is i at least -11?
True
Let u(g) = -3*g + 32. Let r be u(3). Let d(k) = -27*k - 317. Let c be d(-12). Which is smaller: r or c?
c
Suppose 0 = 32*k + 138*k - 17 + 187. Is 2/38397 at least k?
True
Let s = 20.81 - 20.91. Which is smaller: 8608 or s?
s
Let p = 204787/70 + -5879/2. Is p greater than -14?
True
Let f be (-55058)/14*(-138)/(-782). Let n = -694 - f. Which is greater: -1 or n?
n
Suppose -77 = 3*u - 2*c, 140 = -5*u - 2123*c + 2124*c. Let f be (1 - 3 - 35) + -3. Let a = f + 9. Is a >= u?
False
Let z = 290.6 - 285. Let n = z - 0.6. Is n at most -1?
False
Let i = 4932 - 4933. Which is smaller: i or -2606?
-2606
Let a = -19601 + 20521. Is a less than 923?
True
Let y = 5/96 - 697/480. Let w = 0.3 + -0.1. Let o = 1.2 - w. Is y greater than or equal to o?
False
Let j = -561 - -556. Let k(a) = -a**2 - 8*a + 1. Let f be k(-8). Let q be f - ((-149)/(-20) + j/25). Which is bigger: -7 or q?
q
Suppose 29*b - 24*b = -1105. Let k be (((-1536)/(-80))/(-24))/((-2)/(-555)). Is b at least k?
True
Let t(m) = 20*m**2 - 112*m + 86. Let r be t(23). Are 8091 and r non-equal?
True
Let z = -3621 + 3539. Is z less than 0.2?
True
Let h = -43 - -44. Let w be h*3/(-6)*8. Which is smaller: w or -60?
-60
Let x = -479.739 + 480. Let p = 0.139 + x. Is p at most as big as 0.16?
False
Let q be -4*(0 + 8/25). Suppose 422 = 40*x + x + 463. Which is smaller: x or q?
q
Let x = -1586.613 - 1.387. Is -2/5 <= x?
False
Let d(f) = f**2 - 37*f - 152. Let z be d(43). Suppose -108*v = -z*v + 10. Let b(s) = -s**2 + s - 1. Let m be b(1). Is v < m?
True
Let k be (-2)/6 - 37/(-123). Suppose 0 = -303*p + 2933 - 3236. Which is bigger: p or k?
k
Let x = -976 - -1485. Is x > 509?
False
Let v be ((-106)/(-2)*1)/(-1). Let w = -72 + 25. Let p = w - v. Which is smaller: p or 4?
4
Suppose 24981 = -73*h - 22031. Which is bigger: h or -637?
-637
Let q = 30268 - 182465/6. Are 1 and q non-equal?
True
Let l(h) = 2*h**2 + 7*h - 139. Let i be l(11). Is 180 not equal to i?
False
Let n(i) = 2*i + 35. Suppose -j - 1 = -2*y - 16, -5*j + 3 = -2*y. Let b be n(y). Let p = 0.025 - -1.975. Are p and b nonequal?
True
Let m = 9025 - 5228. Is 3797 != m?
False
Let q(p) = -p**3 + 10*p**2 - 7*p - 19. Let n be q(9). Let u be (6/(-10))/((-6 - n)/25). Suppose 5*j - 12 = 3. Do u and j have the same value?
True
Let z = 641 - 420. Let r = z + -193. Which is smaller: r or 26?
26
Suppose -153*v - 29*v - 91103 = 51*v. Let r(l) = -14*l**3 - 4*l - 1. Let c be r(3). Is v at least c?
True
Suppose -39*c + 82652 = -8881. Which is greater: 2346 or c?
c
Suppose 0 = -4*o - 4, -75 + 923 = -5*r - 3*o. Which is smaller: -170 or r?
-170
Suppose -11 = -15*h + 16*h. Suppose -4*p = -5*o - 8, 2*p = 3*o - 8*o + 4. Suppose 0 = 4*c - p - 2. Which is smaller: c or h?
h
Let s be (7 - 15) + (5 - 0). Let b(x) = -2*x**3 - 3*x**2 + x + 1. Let k be b(s). Let c be 242/10 + 2/(-10). Is c not equal to k?
True
Let a = 97.9 - -16.1. Let w = -61 + a. Let b = 53.2 - w. Do -9 and b have different values?
True
Suppose -2*o + 22 = 2*d, 2*d + 68 = 13*o - 9*o. Let z(u) = -3*u**2 + 46*u - 15. Let j be z(o). Which is smaller: -1/72 or j?
-1/72
Let r be (-4)/(-6) - 1225/375 - 45/(-15). Which is smaller: r or 6.49?
r
Let f be -6 + 7 + (203 - 8/(-2)). Let t(x) = -30*x - 1. Let l be t(-5). Let g = f - l. Is 60 equal to g?
False
Suppose -5*f = -23 + 13. Let q = 16/45 - -653/315. Which is bigger: q or f?
q
Let j = -7180 + 7420. Which is smaller: j or 241?
j
Let y(n) = -51*n**2 + 23*n + 57. Let i be y(-3). Which is greater: i or -474?
i
Let u be 71/3408*(-1 + -110). Do u and -3 have the same value?
False
Let k = 34.27 - 31.27. Is k greater than or equal to -0.141?
True
Let f = -4977 + 4972. Which is smaller: -240/47 or f?
-240/47
Let d(x) = -10*x + 10. Let n be d(1). Let i be ((-6)/1)/(n - (-8)/60). Is -47 bigger than i?
False
Suppose 0 =