/89 - (-2 - (-100)/70)*-7. Is -1 != h?
True
Let t = -1821997 + 1821996. Let w(y) = -y**2 + y + 660. Let a be w(0). Let m be 434/a + 6/(-9). Is m > t?
True
Let v = 342811/2180 - 3/1090. Let u = v + -158. Let d = 7 + -6.94. Which is smaller: u or d?
u
Let z(c) = -369*c - 2168. Let l be z(-7). Which is bigger: l or 412?
l
Let b = -5/851 + -712262/4255. Suppose -29*u - 11454 = 40*u. Which is smaller: b or u?
b
Let r be (-15 + 2)*(2 + -1). Suppose -353*n = -349*n - 1676. Let h = 408 - n. Which is greater: h or r?
h
Suppose 146 = -17*j - 262. Let r be (68/16 - -1)/((-9)/j). Which is bigger: 13 or r?
r
Suppose 66*i = 63*i + 9. Suppose -k - 4*j - 7 = -2*k, 2*k + 3*j = i. Let b be 62*k/12*2. Which is greater: b or 30?
b
Let j be (-46)/(-184)*(-16)/(-2). Let f be 3 + (3 - (-34)/12). Let p = f + -149/18. Is p != j?
True
Let u be (34/1275*25)/((-10)/6). Which is greater: -7 or u?
u
Let l = 23.015 + -27.015. Does -362 = l?
False
Suppose -9*k + 3 + 15 = 0. Suppose -121 = 5*d - v, 4*d + 88 = k*v - 4. Is d at most -25?
True
Suppose 2*d = 9*l - 11*l - 28, -58 = 4*d + 3*l. Let r be d/(-44)*((-10)/(-8))/5. Do 0 and r have the same value?
False
Let v be (-8)/(-44) + 8/((-528)/(-978)). Which is greater: v or 209/14?
v
Let y(n) = -1395*n**3 + 2*n**2 - 2*n - 4. Let q be y(-1). Is q at most as big as 1396?
True
Let o = 0.2 + -0.21. Let p = o - -0.04. Let u be 6/(48/(-2)) - 10*(-5)/(-120). Do u and p have different values?
True
Let i = 18648 + -18898. Does 0.012 = i?
False
Let z(g) = 2*g**2 - 40. Let i = 92 - 100. Let j be z(i). Let m = 72 - j. Which is smaller: m or -14?
m
Let w = -19 + 28. Suppose -i + u + 4*u - 15 = 0, 2*i + 3*u - w = 0. Let o = -36 + -16. Are i and o unequal?
True
Let k be (-2 - 0)/((9 + 55287/(-6129))/2). Which is bigger: k or 194?
k
Suppose -13 = -8*k + 1987. Let y = 251 - k. Is y equal to 12/23?
False
Suppose -83*o = -25*o - 66236. Is o at most as big as 1139?
False
Let h = 5286 + -5197. Is 2 > h?
False
Let x be (-3)/30 + (-11)/(-10). Let d be x/3 + 131/3. Which is greater: d or 42?
d
Let q(p) = p**2 - 5*p - 444. Let l be q(-19). Which is smaller: l or -0.27?
-0.27
Let z be (0 - 56)/(2/((-6)/(-3))). Let d = z + -9. Do -64 and d have different values?
True
Let u be 50/(-4 + 3 + 8 + -5). Let j be 1*-1*2*u/50. Let n be (-1)/22*4/9. Which is smaller: j or n?
j
Let f = -990 - -992. Let y be (-13 - -12)/(f - (-19)/(-9)). Is y smaller than 102/13?
False
Let u be (-5830)/1749 + 3332/6. Which is smaller: 549 or u?
549
Let t = 1/153 - 52/153. Let p = 83 + -116. Is t > p?
True
Suppose 2978*y = 2907*y + 32447. Is y equal to 464?
False
Let o be 6*(-4)/(-4 + -4). Suppose 0 = d - 2*d + o. Suppose 0 = -10*q + 7 + d. Is 1 <= q?
True
Let c be -4*((-2)/8 - (-1)/(-4)). Let p = 33 - c. Suppose 0 = 2*b - 11 - p. Which is smaller: b or 23?
b
Let m(k) = -k**3 - k**2 - k + 3. Let p be m(3). Let s be (-4)/(-6) - ((-66)/p - -1). Which is bigger: s or -1?
-1
Let y be 3*(-24073)/588*8. Is -984 bigger than y?
False
Let i(k) = 4*k**2 - 6*k - 23. Let x be i(-2). Which is smaller: x or 234/49?
234/49
Let m = -3371 - -3105. Which is smaller: m or -262?
m
Let y = 8916 + -8651. Is 274 < y?
False
Let a = 200427061/405020 + -3/57860. Are 494 and a non-equal?
True
Let c(r) be the second derivative of r**6/720 - r**5/30 - 7*r**4/4 + 22*r. Let f(v) be the third derivative of c(v). Let p be f(3). Is -1/57 less than p?
False
Let a(w) = -3*w**2 + 3*w - 2. Let y be a(6). Let b be 3914/(-57) + (10 - 32). Is b at most as big as y?
False
Let j be (-69)/10 - -3 - (1/2 - 1). Is j equal to 74?
False
Let n be 20/(-8) + (1/2)/(-1). Let a be n + 1 - (-1 + 2). Let i be (-11)/18 + a/(-9). Which is bigger: i or 0?
0
Let h(j) = j**3 - 2*j**2 + 1. Let a be h(2). Let p = -185/154 - -14/11. Is a smaller than p?
False
Let t = 14 - 16. Let p(i) = 6*i**2 - 2*i. Let f(o) = -o**3 + 14*o**2 - 13*o - 1. Let j be f(13). Let w be p(j). Is w <= t?
False
Let b = -16 + 19. Suppose -o = -b*i + 15 - 4, 0 = 5*o - 5. Suppose -5*n + 2*c + 6 - 1 = 0, 21 = -n - i*c. Which is greater: n or 2/121?
2/121
Let s(x) = 2*x**2 - 41*x - 99. Let b be s(23). Let w(y) = 2*y**2 - 29*y - 110. Let h be w(b). Does h = -64?
False
Let z = -7553/395015 + 9/995. Which is greater: -1 or z?
z
Suppose -m = 3*b - 6, -4*b - 19 = -2*m - 7. Is b smaller than 2/3983?
True
Suppose -5*y = 3*o - 27 + 101, -2*o + 84 = -5*y. Let l be (-3)/(-1)*-1 - y/(-4). Suppose 4*c + 3 = -v + 6*c, -2*c + 21 = -3*v. Is l at most as big as v?
False
Suppose -4*d - 63770 = -2*m - 0*m, -d = -m + 31876. Do m and 31867 have the same value?
True
Suppose -3494 = 12*v - 3446. Is -108/29 smaller than v?
False
Let u be -6 + 56/63*(-15366)/20. Let o = u - -689. Let a = 0 - 1. Which is bigger: a or o?
o
Let z = 15/7 - 241/119. Let s = -9 - -8. Which is smaller: z or s?
s
Let r = 52466/387 - 1220/9. Let d(w) = 742*w - 723*w - 48 - 55 + 14 - w**2. Let t be d(10). Which is smaller: t or r?
r
Let o(n) be the first derivative of n**4/4 - 5*n**3/3 - 4*n + 162. Let r be o(-5). Is r less than -254?
False
Let n = 55843/323 - 4106799/1615. Let o = n + 2370. Let q(l) = l**3 + l**2 + 2*l. Let b be q(0). Which is bigger: o or b?
b
Let b(j) = 20*j**2 + 69*j + 245. Let v be b(-9). Which is greater: 6214/5 or v?
v
Let n = -8.055 + 9.1651. Which is bigger: n or 0?
n
Let g = -14 - -13. Let v be 7*(32/(-40))/4. Which is smaller: v or g?
v
Let o = 145 + -125. Let v be (-40)/(-50)*355/14. Are v and o non-equal?
True
Let u = 3 + -5. Let x be (-5 - (-10)/((-20)/(-18))) + 1. Let i be 21*(42/9 - x)/3. Is u <= i?
False
Suppose 3*q - 730 = 5*p, p = -q - 2*p + 262. Let m = 3247/13 - q. Let k = 45 - 45. Which is smaller: k or m?
m
Let t be ((-11 - -12) + -1)*4/12*-1. Is -9/86 at most as big as t?
True
Let u = -78.6 + -302.4. Let w = -381 - u. Which is bigger: w or -424?
w
Let k be 6/(-26)*(-4 - 1). Let z be -133 - -138 - 29/(-52)*-58. Let u = z - k. Which is greater: -29 or u?
u
Let r(a) = -6*a**2 + 23*a - 1. Let g be r(11). Is -4262/9 >= g?
True
Let v = -280775/26 + 10799. Which is smaller: 65 or v?
v
Let s(m) = 10*m**2 - 62*m + 198. Let q be s(3). Is q <= 3?
False
Suppose v + 174 = 8*u, 4*u - 9*v + 8*v - 90 = 0. Are -43 and u unequal?
True
Let m(a) = -a**3 + 8*a**2 + 16*a + 83. Let r be m(10). Let q(h) = -4*h - 12. Let z be q(-13). Are r and z unequal?
True
Let m be 4 + (8 - -6) + -7. Suppose m*y + 72 = -y. Is -53/10 < y?
False
Let a be 12/(-48) - (-25)/4 - 19. Which is greater: -91 or a?
a
Let o = 16229 - 97373/6. Let n(s) = -s**3 - s**2 + s - 1. Let z be n(0). Which is smaller: z or o?
z
Let q = -12396 - -12425.3. Is q greater than -14?
True
Let i = -267 + 341. Let t = i + -5. Which is smaller: -2/3 or t?
-2/3
Suppose -4*u + 18 = -2*v, 29*v = 5*u + 33*v + 23. Which is bigger: u or -45/226?
u
Suppose 6444 - 7148 = -11*j. Which is bigger: j or 839/13?
839/13
Let l = -10 + 14. Let i = l - 7. Let g = 31559 - 31553. Which is greater: i or g?
g
Let t be 1493*((-261)/(-45) + -6). Which is smaller: 0.1 or t?
t
Let q(x) = -1301*x - 6499. Let w be q(-5). Is -1806 bigger than w?
False
Let r be -2 - (-866 - (-3 - -3)). Let u = 63071/73 - r. Let p be (0/(-3 - (-16)/4))/1. Are u and p nonequal?
True
Let z(s) = -75*s - 3709. Let v be z(-49). Is -3 < v?
False
Let g(d) = -261*d + 1827. Let a be g(7). Is -1/8259 at most a?
True
Let d = -236 - -200. Let j(h) = -8*h**2 - 45*h - 18. Let l be j(-6). Is l less than or equal to d?
True
Let r(d) = -d**2 - 51*d - 41. Let b be r(-50). Suppose -5*f = -2*f + 6. Is f != b?
True
Let v = 135494 - 691696868/5105. Is -1 != v?
True
Let l = 9.197 + -1.197. Is -4/63 greater than l?
False
Let m be (-30)/(-21) + (62124/84 - -3). Which is bigger: 743 or m?
m
Let u(i) = -3*i**2 - 7*i - 8. Suppose -5*r = -3*z + 2*z - 31, 3*z - 2 = -4*r. Let m be u(z). Let l be m/(-345) + 2/(-10). Which is greater: l or 0?
l
Let y = -56 + 72. Suppose -a = -y*a - 180. Is a > -27?
True
Let x(o) = -38*o**2 - 5*o + 3. Let r(k) = -19*k**2 - 3*k + 2. Let w(a) = 5*r(a) - 2*x(a). Let i be w(1). Is -20 equal to i?
True
Let p = -2861841/256900 - -557/50. Which is smaller: 0 or p?
0
Let s = -8 + -84. Let z = s + 96. Are 8 and z equal?
False
Suppose 2*s + 221 = 213. Suppose -173 + 37 = -8*r. Suppose -5*v = -r + 7. Which is bigger: v or s?
v
Suppose -25*x + 16 = -109. Suppose 5*j = 2*c + 60 + 216, 2*c + 6 = 0. Suppose -z - 