e (0 + 1)/((-1)/(-53)). Let w = -131 + k. Is -79 equal to w?
False
Let u = 2416 + -2415. Let h be 9/(-15) + 333/5. Are u and h equal?
False
Let r = -1 - 2. Let m(d) = 3*d + 3. Let y be m(r). Let g(o) = 18*o + 67. Let v be g(-4). Which is greater: y or v?
v
Let q be (-9)/(-6) - 666/516. Which is greater: q or 1?
1
Let z be (1/(-2))/(6/(-12)). Let u = 4 - 1. Let x be (6/(-78))/(1/u). Is z bigger than x?
True
Suppose -3*g - 5*a = -92, a + 136 = 5*g + 5*a. Let d be (-6)/27 - (1135/(-45) - -1). Is g less than d?
False
Let o(u) = u**2 + 19*u - 1. Let x(l) = -4*l + 5. Let f be x(6). Let i be o(f). Suppose s = -5, 4*a - s - 8 = 3*s. Which is smaller: a or i?
a
Let t be ((-234)/104)/(66/(-112)). Let j be 1 - (-1 + -1)*1. Is j at most as big as t?
True
Suppose 0 = -0*i - 6*i - 156. Suppose 114 = -4*k - 0*k + 3*t, 2*k = 3*t - 60. Is k > i?
False
Suppose -6 - 30 = -6*m. Let v(a) = -3*a**2 - a**3 - 7 - m*a**2 + 0*a**2 - 5 - 8*a. Let n be v(-8). Is -11 less than n?
False
Let h = -10 - -16. Let i = 25 + -14. Let x(b) = b - 12. Let r be x(i). Which is smaller: r or h?
r
Suppose 1416*z - 1417*z = -1. Let d(k) = k**3 + 6*k**2 + 2. Let i be d(-6). Let g be (1/2)/(i/4). Is z greater than or equal to g?
True
Let g be (-1)/1 - (-4)/2. Let a(o) = -30*o**2 + 2. Let w be a(-1). Let r be (-5)/7 + 1 + 4/w. Is g at least as big as r?
True
Let s = 1/8679 - -34217/4330821. Is s at most as big as 1?
True
Let n = 166 - 157.9. Let m = n - 8. Which is greater: -4 or m?
m
Suppose -k + 7 = -2*c - 4*k, k - 3 = 0. Suppose -17 = -4*x + 3. Suppose -20 = 5*l - 3*d, 34 = -2*l - x*d + d. Which is bigger: l or c?
l
Let v = 25 + -20. Suppose v*l - 1 = 3*k, -5*l + 2*k = -l. Is l not equal to 2/55?
True
Let i = -477/4 - -124. Are 0.1 and i unequal?
True
Let h = 1333/7024 - 1/439. Let b = -1 - -3. Suppose -b*y + 5*a - 8 = 0, -y = 4*y + a - 7. Are h and y nonequal?
True
Let g = -327 + 328. Let w be 12/42 - 4/14. Suppose 4*c = -w*c + 8. Is c at least g?
True
Let s = 3 + 3. Let w be (1 + -4)/(s/(-8)). Suppose 17 = 5*v - r, 2*v - 2*r = w*v - 14. Are -1 and v equal?
False
Let t(b) = 7*b**2 + 21*b - 32. Let g(o) = -13*o**2 - 41*o + 62. Let j(i) = 6*g(i) + 11*t(i). Let q be j(-9). Which is bigger: 75 or q?
75
Let k(u) = -u - 1. Let l(q) = -q**3 + 5*q**2 - q + 6. Let m be l(5). Let p be k(m). Let y be 2 + p + (-12)/20. Which is greater: -1 or y?
y
Let a be (-1 - 0) + 13 + -9. Let m be (-32 + 4)/((-2)/a). Let u be (m/(-15))/(1/2). Which is greater: -7 or u?
u
Suppose 4*n = 2*d + 30, 0*d + 4*d - 4*n + 64 = 0. Let y = d - 31. Are -47 and y nonequal?
True
Let k(y) = -40*y - 34. Let r be k(-8). Which is smaller: 287 or r?
r
Let g be -3*-5*1/3. Let u(m) = 7*m**2 + 1. Let f be u(2). Let z = f - 23. Are g and z unequal?
True
Let n = -91677/11 + 8319. Let z = -551/44 - n. Is z at most as big as 0.1?
False
Let u = 30.067 + -0.067. Let s = -30.2 + u. Is s != 2?
True
Let a be 333/(-1620) - (-2)/5. Which is smaller: a or -1?
-1
Suppose 2 = -2*a - 2*t, a + 0 = -5*t - 5. Which is smaller: -3/77 or a?
-3/77
Let s = 75 + -76. Which is smaller: s or 3/13?
s
Let z = 2362 + -1636. Is z <= -1?
False
Let l = 962.5 - 961. Is -13 at most l?
True
Let y = -0.34 + 4.34. Let c = 4 - y. Is c at most -14?
False
Suppose 5*a + s = 875, 22*s = 4*a + 20*s - 700. Is a at least 174?
True
Let v = -35.023 - -0.023. Let p = 0 + v. Let f = 33 + p. Which is greater: -1 or f?
-1
Let g = -39 - -49. Let i be 30/(-50)*g/(-3). Which is smaller: 15 or i?
i
Let l be (-1323)/(-14) - 2/(-4). Let g = l - 90. Which is smaller: g or 12?
g
Suppose -13*h = -4*h. Which is smaller: h or 3/26?
h
Let v be (-3 - -4)/((-3)/(-99)). Let m = v - 38. Let n = -9 + 5. Which is bigger: n or m?
n
Let b(q) = -22*q - 12. Let c be b(-6). Suppose -c = -6*u + u. Let v be u/65*25/(-10). Is v < -1?
False
Suppose 5*y + 6 - 1 = 0. Which is bigger: y or 3/35?
3/35
Let k(n) = 5 - 5 - 2*n. Suppose g + g + 3*g = 0. Let f be k(g). Are f and -1/2 nonequal?
True
Let z be ((-5322)/819)/(4/498). Let u = 809 + z. Let a = u - -15/91. Which is bigger: a or 0?
a
Let w = 20.42 + -0.42. Let f = -0.046 + 1.046. Which is smaller: w or f?
f
Suppose 0*s - s = 13. Let n = s + 22. Let k = n + -8. Which is smaller: -2/13 or k?
-2/13
Let m = 0.12 - -11.88. Let d = -17 - m. Is 0 at most d?
False
Let h be -3 - ((-12)/3 + 0). Let i = 851359 - 8520563/10. Let p = i + 698. Is h > p?
True
Let z(q) = -40*q - 290. Let n be z(-7). Suppose t = -t - 22. Let r = n - t. Which is smaller: -2/17 or r?
-2/17
Let j be -3 + 5 - 29/(-3). Let z(n) = 5*n + 93. Let g be z(-16). Which is smaller: g or j?
j
Suppose 151 = -5*b - 2*x, -5*x = -b - x - 39. Which is smaller: -32 or b?
-32
Let t = 736.3 + -779. Let l = 43 + t. Which is greater: 1/4 or l?
l
Suppose 3*l - 27 = -9. Let i(b) = -b**2 - 8*b + 133. Let n be i(-16). Which is smaller: n or l?
n
Let y = 629.3 - 629. Is 3/2 greater than y?
True
Let b(h) = -h**2 + 5*h - 2. Let w be b(4). Let q = 17 - 13. Suppose q*n = w - 22. Is n at least -6?
True
Suppose -33*q = -255 - 207. Which is greater: q or 3?
q
Let w = -2162/143 + 157/11. Which is greater: 1 or w?
1
Suppose 1031*i + 620 = 1062*i. Let o = -6 + 27. Does o = i?
False
Suppose -10*h = -8*h + 8. Let p be 1 - 2/h*-10. Let y(i) = i + 2. Let j be y(-3). Is j <= p?
False
Suppose -157*s = -152*s - 5. Let z be (-82)/(-86) + (-1)/1. Is s >= z?
True
Suppose 3*t = 4 + 2. Let h(d) = d**3 + 5*d**2 + 3. Let s be h(-5). Suppose -v + t = -s*v. Is 2/43 greater than v?
True
Suppose 4*l - 14 = 3*i, 0 = 2*l - 2*i - 3*i. Suppose 4*x = -2*a - 2*a, 3*x - l*a = 40. Let v(q) = -q**3 + 5*q**2 + q - 6. Let u be v(x). Does u = -1/35?
False
Let q be 14/13 + (-1 - 0). Let r = -29 + 32. Suppose -9*h + r*h = -6. Which is smaller: h or q?
q
Let r = -49 - 17. Let u be 12/r + 238/(-22). Which is greater: -0.2 or u?
-0.2
Let y be (-2)/(-11)*3/((-180)/(-165)). Are y and -0.02 non-equal?
True
Let d(i) = -3*i + 39. Let s be d(15). Let b(p) = 5*p + 31. Let q be b(s). Which is smaller: 1/144 or q?
1/144
Let l be 6/9 + ((-755)/120 - -6). Suppose 70*c = 72*c - 2. Which is greater: l or c?
c
Let a be (10/(-4))/(0 - 1/2). Suppose r = -a*n + 22 - 98, 2*n + r + 28 = 0. Is n equal to -17?
False
Let n = -398 - -324.9. Let i = -70 - n. Let k = -3 + i. Which is bigger: -4 or k?
k
Let z = -0.194 + -0.006. Let t = 2.13 + -2.3. Let q = t + 0.08. Which is bigger: q or z?
q
Let h = -1909/163 + 1486719/125510. Let l = h - -1/110. Which is smaller: l or -1?
-1
Let o = -189 + 188.7. Does -19 = o?
False
Let d = -11/12 + 47/60. Let r be 5*4/(-30)*-12. Let f be (-6)/r*(-8)/(-12). Which is smaller: d or f?
f
Let p = 60 - -24. Let q be 12/18 - (-1012)/12. Is q <= p?
False
Let b = 41.5 - 83. Let v = b + 43. Which is bigger: -1 or v?
v
Let k = 535 + -535. Which is smaller: k or 0.66?
k
Let b = -11 + 15. Suppose 3 = -w + b. Is -3/50 greater than w?
False
Let l(t) = -9*t + 5. Let h be l(-3). Let s = h - 30. Is 4 less than s?
False
Let p(b) = -5*b**2 + 142*b - 27. Let u be p(29). Do -114 and u have different values?
False
Suppose 0 = -6*h + 7*h - 241. Let j = h + -4337/18. Let a = j - 11/36. Is -5 at least as big as a?
False
Let q = -3 + 13/5. Let c = 48 + -43. Let d = -6 + c. Which is bigger: d or q?
q
Let j(y) = 2*y**2 - 91*y - 45. Let q be j(46). Which is greater: 5/38 or q?
q
Let w = 3 + -1. Suppose -4*k = 3*p - 7, -3*p + 57 = 2*k + 52. Are w and p equal?
False
Let i = -5 + -15. Let j = 9 + i. Let c = 4 + j. Is 1/4 smaller than c?
False
Let q be 3400/63 - (-2)/9. Let h = 412/7 - q. Which is greater: h or 5?
5
Let s(u) = -27*u - 57. Let z be s(0). Which is smaller: -0.1 or z?
z
Let p be 380/(-12)*1/(-15). Which is greater: 2 or p?
p
Let t = 1 - 3. Let m be ((-6)/4)/(3/t). Suppose 0 = -u + m. Are u and 5/3 nonequal?
True
Let a = 0.1 - 0.2. Let t(n) = -n**3 - 16*n**2 + 7*n - 153. Let q be t(-17). Is a greater than q?
False
Let o(h) = -h - 9. Suppose -l + 5*l + 60 = 0. Let j be o(l). Let a = 7 - j. Which is greater: a or 1/27?
a
Let x be 50/(2/(5 - 9/3)). Let t = x - 51. Which is bigger: t or -2/5?
-2/5
Let r be 2/5 - (2640/(-1075))/22. Which is smaller: r or 2?
r
Let c = 493253/1113 - 3102/7. Let i = 473/4929 - c. Is 1 > i?
True
Suppose 4*o + 2*j + 98 = 0, -2*o - 3*j + 5*j - 52 = 0. Let m be 4 + o/23 + -3. Is m < -1?
False
Let o(p) = 2*p**3 - 97*p**2 - 51*p + 216. Let g be o(49)