5 - -23934/295. Is z less than a?
False
Suppose -22*x = 9*x - 186. Let q be (-53 + 9)*(-2 - 1)/x. Are q and 24 non-equal?
True
Let n(r) = 11*r**3 + 33*r**2 + 12*r + 35. Let a be n(-3). Is 1/7988 greater than a?
True
Suppose v = -5*p - 0*v - 7, 2*p - 2*v = -10. Let n be 21*(-5)/15 - -3. Let m be (-6*n/(-48))/(6/26). Is p smaller than m?
False
Let s(f) = f**2 - 13*f + 15. Let v be s(12). Suppose v*n = -2*i - i - 33, n - 4*i = 9. Let a be (-9)/(-21) - ((-416)/n - -1). Is a smaller than -61?
False
Let z = -2071 - -2092. Let t be (-636)/(-28) - 6/(-21). Which is bigger: z or t?
t
Let g be ((-7)/(-14))/((-2)/(-20)). Let o = -4 + g. Let v be (-2*1)/((-1752)/198 + (-28)/(-154)). Which is greater: o or v?
o
Suppose -3*z + 147 = -3*g, -5*g + 2*z - 256 + 26 = 0. Let h = -71 - g. Let w be 3 + -2 - (28 - 1). Is w at least as big as h?
True
Let c(z) = -132*z - 4369. Let d be c(-33). Which is smaller: d or -758/53?
-758/53
Let j be (1 - -1)*(-1)/(-2). Let t = -59131/55 + 1075. Is t > j?
False
Suppose 3*h = 29 - 14. Suppose -5*y = p + 14, -h*p - 3*y - 93 = -y. Let k = -20 - p. Which is smaller: -6/19 or k?
k
Let m = 0.40574 + -0.40574. Is m greater than or equal to -30278?
True
Suppose -77 = 27*o - 50. Which is greater: -18/583 or o?
-18/583
Let o = -5.1 - -0.1. Let f = -147337/28 - -5262. Which is smaller: f or o?
o
Let s be ((-28)/2424)/(-7)*33/66. Which is smaller: -1 or s?
-1
Suppose 37*l - 40*l = -177. Let s = 60 - l. Let i be s/(-2)*(-6 + 9). Which is smaller: i or -2?
-2
Let u(t) = t**2 + 6*t + 6. Suppose -2*s - 4*c - 12 = -2*c, 3*s - 5*c = 14. Let n be u(s). Which is greater: n or 20?
20
Let b be 2210/(-15) - (-2)/6. Let c = b - -162. Which is smaller: c or 7?
7
Suppose -14*z + 7*z = -6*z - 5. Do 24/5 and z have the same value?
False
Suppose -55 = 5*y + 5*o, -5*y - 63 + 8 = -o. Let s(u) = u**2 + 16*u + 54. Let z be s(y). Which is bigger: -191 or z?
z
Let f = 4158 + -4151. Suppose -5*x - 244 = -4*a, -3*a + 152 = -x + 5*x. Let i be (f/a)/((-2)/(-28)). Is 1 at least as big as i?
False
Let r = 32422 + -32421.6. Which is greater: r or -2099?
r
Let z = 6 + 26. Suppose -5*w + 5*i = -115 - 40, 2*w - 62 = 5*i. Is z smaller than w?
False
Let a = 121 + -124. Let s = 141.5 - 86.5. Which is greater: a or s?
s
Suppose 65*q - 3*r = 61*q - 35, 4*q + 2*r + 30 = 0. Suppose o + 3*p = 68, 5*o + 3*p = -p + 329. Suppose o = -4*y + 5*l, 4*l - l = 4*y + 55. Is y >= q?
False
Let a = -3/5 - -1. Let r be -45*(20/(-130))/(27/(-117)). Which is smaller: r or a?
r
Suppose -5*f + 10*l = 13*l - 23, 17 = 3*f + 5*l. Let v be (2925/(-60))/((-1)/f) - -3. Are v and 789/4 equal?
False
Let f = 20314 + -19935. Is -1.2 equal to f?
False
Let g be -1 + -1 + 68/35. Suppose -y + x - 81 = -86, 0 = -4*y - x - 10. Is g smaller than y?
False
Let f(v) = -v**2 + 6*v - 1. Let b be f(4). Suppose -b = 2*x - 25. Suppose 12*d + 141 = x*d. Which is bigger: -46 or d?
-46
Suppose -y - 31*z - 14 = -26*z, 5*z = 4*y + 181. Let m be y/(-9) + -1 + -3. Suppose 1 = 2*u - 1. Which is smaller: u or m?
m
Suppose -3*f + 1947 = -5*r, -r - 192 = f - 833. Suppose -5*h + 28*h + f = 0. Which is smaller: -138/5 or h?
h
Let g(m) = m**2 - 9*m + 15. Let c be g(12). Suppose 4*b + 3*o = -0*b + 55, 3*b - c = o. Suppose 11 + b = 3*h. Are h and 11 equal?
False
Let o be (-75)/(-6)*72/(-135)*3. Which is bigger: o or -1/11?
-1/11
Let a = 522 - 516. Let n be a - 1582/49 - (-4)/14. Which is smaller: n or -25?
n
Let h be ((-8)/6 + 0)*(-3 - 0). Suppose 5*m + 5*z + 2190 = 10*z, 0 = -h*m + 3*z - 1748. Let v = 1313/3 + m. Does v = 4?
False
Let c = -592 - -628. Suppose -43*l + 7 = -c*l. Is 1/49 at least l?
False
Let y(u) = u - 16. Let r be y(7). Let i = -5 - r. Suppose -i*m = 4*g + 4, 4*g - 5*m = -0*g + 14. Which is bigger: g or 1/21?
g
Let m be (20/(-86))/(80/30)*-12. Is 1 at most m?
True
Let k = 64 - 1. Let g(j) = -j**3 + 3*j**2 + 6*j - 6. Let s be g(4). Let b be (s - -1)*(1 + 118/6). Is b >= k?
False
Suppose 5*t = 5*y - 165, -3*y + 4*y = 2*t + 65. Let l = t + 34. Suppose 0 = w + l*w - 54. Is 19 greater than w?
True
Suppose i - 4*j = -2*i + 46, 5*i - 5*j = 75. Suppose 27 = i*h - 1. Suppose h*g = 5*g + 18. Which is smaller: -4 or g?
g
Let c be (1/(-2))/((-12)/(-216)). Let q be 189/12 - c/(-12). Let v be (-133)/1785 + 2/q. Do 1 and v have different values?
True
Let u = -1486659116440411135/1655717 - -897894456867. Let x = -2/7847 + u. Is 0 >= x?
False
Let x = -7882 - -5349. Is x greater than -2531?
False
Let n(w) = 2*w**2 + 6*w - 81. Let p be n(5). Do p and -2/1481 have the same value?
False
Let b = -388 - -559. Let p be (-174)/(-8)*(-1504)/(-192) - (-24)/(-64). Is p > b?
False
Suppose 0 = 5*k - 20, -4*j + 2*k + 1092 = -6*j. Which is bigger: j or -554?
j
Let d = -127260.08 - -127260. Let j = 1.06 - 0.16. Is d at least j?
False
Let y(s) = -91*s**2 - 9*s - 4. Let t be y(-2). Let g = t + 360. Is g > -12?
True
Let s(q) = -q**3 + 2*q**2 + 5*q - 2. Let k be s(3). Let p be (-2)/k + 31/26. Suppose -3*a = -5*c - 46, 0 = 5*a - 16*c - 72 - 66. Which is smaller: p or a?
p
Let i = 29359 - 322354/11. Are 54 and i equal?
False
Let d be ((-4)/5)/(4/30). Let j = 2246/9 + -256. Which is bigger: d or j?
d
Suppose -2*m - 120 = -6*t + 8*t, -5*t = 4*m + 240. Let s = m - -65. Let v be (1/(-2))/((-2)/20). Is v greater than or equal to s?
True
Suppose 80 = -15*f - 25*f. Let x(h) = -h + 1. Let l(v) = -5*v + 8. Let n(d) = -l(d) + 6*x(d). Let c be n(f). Is c bigger than -1?
True
Suppose -5*d + 606 = 5*k - 104, -4*k + 532 = -5*d. Which is smaller: k or 140?
k
Let j(i) = 2047*i - 6099. Let a be j(3). Suppose -5*v + t + 2*t + 203 = 0, -t = -4*v + 161. Are v and a nonequal?
True
Let s(l) = -33*l**2 + 1021*l + 62. Let x be s(31). Is 3/1003 < x?
False
Let u be (24/5)/12 - 68/(-5). Suppose -2*p + 56 = -u. Are -3 and p equal?
False
Suppose 2*b = -2*s, 21*b + s = 19*b + 1. Is b at least as big as -13/270?
True
Let t(i) = -i**3 + 9*i**2 - 15*i + 10. Let g be t(7). Let z be -1*46 + g*8/(-24). Which is bigger: z or -48?
z
Let l = 0.43465 - 0.39465. Let d = 1 + -7. Which is greater: l or d?
l
Let j = 208.378 + -208. Let k = -1.622 - j. Is k < 90?
True
Let o = -7105 - -8076. Does o = 970?
False
Suppose -3*z = -15*z - 1656. Let l be (1*-1)/((-6960)/(-1390) + -5). Which is smaller: z or l?
l
Let u(o) = 13*o**2 - 49*o - 512. Let k be u(-13). Is k > -0.1?
True
Let w = -1374 + 1925. Let y = w + -2203/4. Suppose -q + 1 = 5. Which is smaller: q or y?
q
Let p(o) be the third derivative of o**5/30 - 7*o**4/24 + 5*o**3/3 - 2*o**2. Let w be p(3). Let c be -2 + 2/(6/w). Is -100 less than c?
True
Let a = 777567/10 - 77830. Is a greater than -74?
True
Suppose -145*q - 114534 = -63441 + 187287. Is q smaller than -1643?
True
Let f(s) = -4*s - 26. Let b be f(-7). Suppose 4*c - 36 = b*c. Let q = -26 + c. Is -4 at least as big as q?
True
Suppose -l - 16 = 4*n + 8, -2*l + 2*n = -2. Let w be -1 + l + (5 - 38). Is -39 at most as big as w?
True
Let n = -0.07096 + -0.20904. Is n != -40?
True
Let n = -1856 - -1795.04. Let r = n - -61. Which is smaller: 0.8 or r?
r
Let d be 1106/(-553)*(-11162)/(-4). Is -5582 greater than or equal to d?
False
Suppose 30 + 6 = 6*p. Suppose -5*n + 2*g + 9 = 0, -p - 6 = -5*n + g. Suppose -5 + 14 = -d + 3*m, m = n. Is d at most as big as -2/157?
False
Let t(w) = -3*w**3 + w + 1. Let c be t(1). Let q be c/(((-6)/3)/(4 + -286)). Which is smaller: q or 0?
q
Let f = 164 - 191. Let o = f - -24. Which is bigger: 4 or o?
4
Suppose 0 = -14*p + z - 220, -5*z = -51*p + 54*p - 5. Suppose 9*a + 28 = -2*b + 4*a, -a - 16 = 3*b. Is b less than or equal to p?
False
Let v = -5518 - -1867. Is -3651 less than or equal to v?
True
Let q(l) = 60 - 42*l + 23*l + 24*l + 76. Let u be q(-27). Suppose h + h - 5*b - 18 = 0, 2*h - 2 = -3*b. Which is greater: u or h?
h
Let l(a) be the second derivative of 5*a**3/3 - 171*a**2/2 + 229*a. Let r be l(17). Which is bigger: r or -2/1973?
-2/1973
Let a = 0.348 + -0.26. Let b = 39697 - 39697.1. Which is bigger: b or a?
a
Let c(d) = -6*d**2 - 2*d + 7. Suppose 3 = -2*s - s + 5*t, 0 = 4*s - 5*t - 1. Let x be c(s). Which is greater: -98 or x?
x
Let x = -763/487 + 7219905/1948. Let g = x - 3763. Is -57 smaller than g?
False
Let x(v) = -6*v + 26 - 6*v - 6*v + 4*v + v**2. Let c be x(11). Let f be (-149)/c - ((-24)/14 - -2). Does 2 = f?
False
Let m(t) be the third derivati