-0 + 1. Let o be (2/(-4))/(c/(-324)). Is 163 at least o?
True
Suppose 0 = -3*q + 2*u - 324, -4*u - 507 = 5*q + 55. Is -18 greater than q?
True
Let s = 1/1625 - -3571/6500. Let j = 1/4 - s. Suppose 183*c = -1048*c. Is j bigger than c?
False
Suppose 3*n = -d - 0*d - 7, 5*n = 4*d - 40. Suppose 0 = 5*v + d*o, 0 = 4*v - 2*o - 4 - 2. Let l = v - 4/3. Is 0 at least as big as l?
True
Suppose 3*n - 3439 = 5*b, -7*b = -3*b + 2*n + 2760. Let s = 697 + b. Let p = 9 + -6. Is s less than or equal to p?
False
Let z = -295 + 301. Let g be 3/z - (-1)/2. Which is smaller: g or 2/245?
2/245
Let f = 29.7 + -33.3. Let r = -3.5 - f. Which is greater: 47 or r?
47
Suppose 13*a - 4 = 9*a. Let r = -1345227/175 + 7687. Does a = r?
False
Let a = 0.84 + 179.16. Let z = a + -197. Is z < -1?
True
Suppose 5*v - 3*v = 220. Let g = -156 + v. Let p be ((-1)/g)/(4/16). Is 2/7 != p?
True
Suppose 23*w + 32 = 31*w. Suppose 3*p + 10 = -2*m, w*m - 10*p = -6*p. Let g be 2/4*(-88)/18. Is m < g?
False
Let l be -20 + 0 + (-3)/(-3). Let s = l - -14. Let r(q) = q**2 + 7*q + 10. Let w be r(s). Which is smaller: w or 5/21?
w
Let y(n) = -n**2 - 12*n + 136. Let l be y(7). Let v(p) = p**3 - 14*p + 2. Let j be v(l). Is j greater than or equal to -17?
True
Let d = 136.7 + -137.4. Which is smaller: -6/41 or d?
d
Let p = 525 + -740. Let i = p - -217. Is i smaller than 2?
False
Suppose 4*p + 34*p = 10*p. Is p less than 4/3411?
True
Suppose -2*i + 2*c - 15 = -3*i, -i = -5*c + 13. Let f(x) = -24*x + 17. Let k be f(i). Does k = -151?
True
Let k be (13 - (-31077)/(-2394))*-20. Is 1 not equal to k?
True
Let k be -5 - (-2)/(1/1) - 1246. Let r = k - -3638/3. Which is bigger: -35 or r?
-35
Let r = -12662268413/4272 - -2964014. Let u = r + 10/267. Which is bigger: u or -1?
u
Let t be (-42)/(-49) - (114636/(-16296) + 8). Which is greater: -1 or t?
t
Suppose 14078 = 302*l - 34242. Let c(j) = j**3 + j**2 + 2*j + 1. Let a be c(5). Which is greater: l or a?
a
Suppose 82*d = -6*d - 88. Which is smaller: d or -1/719?
d
Let h be 11/((-44)/(-2012))*(1 - 0). Let u = -750 + h. Is -249 smaller than u?
True
Let f = 1250 - 1252. Let p = 1499/14 - 107. Let r = -17/42 + p. Are f and r non-equal?
True
Suppose 22 = y - 2. Suppose -59 = -5*l - y. Suppose l - 6 = o. Which is bigger: o or 2?
2
Let p = -177 + 232. Let f = 17.8 + -18. Which is bigger: p or f?
p
Let x = 67 + 7. Let k = x + -29. Which is greater: k or 44?
k
Let x = -2608 + 2616. Which is smaller: 128/15 or x?
x
Let r = -48993 + 930871/19. Let n = -0.8 + 0.73. Which is smaller: n or r?
n
Suppose -2883 = -70*k - 8786 - 6207. Is k smaller than -1544/9?
True
Let g = 3259.4 - 3265. Are g and -26/21 non-equal?
True
Let a = -2553.015 - -2631. Let t = a - -0.015. Let y = t + -77. Which is smaller: -0.12 or y?
-0.12
Let s = -203.74 + 209.24. Which is greater: -0.2 or s?
s
Let f(r) = -9*r**2 - 54*r + 5. Let q be f(-6). Let s be 4/q - 3408/3810*1. Is 0 smaller than s?
False
Let l = 29 - 19. Let p be (-19 - -4)/15*(-2)/(-6) + 9. Which is smaller: p or l?
p
Let b be 2/(-2)*2/286. Let z(i) = -12*i + 154. Let m be z(12). Suppose 12 = 7*o - 4*o + 3*d, 0 = 5*o + 3*d - m. Is b at most o?
False
Let m(b) = 8*b - 90. Let d be m(11). Let q be (-2 - 3/d)*-4. Which is greater: q or 0.054?
q
Let r(k) be the first derivative of -95*k**4/4 - k**3/3 - k**2 - 85. Let s be r(-1). Is s smaller than 97?
True
Let l(a) = -18*a**2 + 4*a - 3. Let x be l(2). Let m(o) = 2*o**3 + 8*o**2 + 62*o + 297. Let b be m(-5). Let y = b - x. Which is bigger: 2/13 or y?
y
Suppose 22831 = -328*f + 407*f. Is 579/2 less than or equal to f?
False
Suppose -4*o = -0*o - 352. Let z = o - 78. Let b be ((-865)/175 - -5)/(2/z). Which is smaller: -1.7 or b?
-1.7
Let q = 16552 - 18410. Which is greater: q or -1859?
q
Let g = 25 - 22. Suppose v + 15 = -0*v + 5*w, 4*w - 6 = 2*v. Suppose -4*m - 26 = -v*t, -2 = 4*m + 4*t + 6. Is g less than m?
False
Let a be (-1275)/(-13) + (12 + -3)/(-117). Which is greater: a or 32?
a
Let q be ((-97)/(-2))/(165/110). Let w be ((-2)/(-3))/(40/1860). Which is smaller: q or w?
w
Suppose -434 = -154*u + 152*u. Suppose u = -16*g + 9*g. Which is bigger: -29 or g?
-29
Let u = 11239459/73110 + -2306/15. Is u >= 1?
False
Suppose -5*r = 31*r + 8*r + 41096. Is 0 >= r?
True
Let p(o) = -19*o**2 + 57*o - 5. Let g be p(3). Which is smaller: -189 or g?
-189
Suppose -10*t - 1566 - 814 = 0. Let c be (-204)/t - ((-2)/(-14))/(-1). Which is bigger: c or 3/253?
c
Suppose 2*b = -5*p + 338, -197*p = b - 202*p - 124. Suppose 2*o - 310 = -0*o. Is o not equal to b?
True
Let i(b) be the second derivative of b**5/20 - 11*b**4/12 - 17*b**3/6 + b**2 + 74*b. Let m be i(13). Is m >= 119?
True
Let a = -1915 - -1920. Let f = 9 + -5. Let n = 5 - f. Is a <= n?
False
Suppose -5*z = -20, 2*x - 3*z + 105 = 5*x. Is x smaller than 0.26?
False
Let k(s) = -18*s + 154. Let x be k(-4). Suppose 3*b = d - 120 - x, -b = -2*d + 112. Is -116 != b?
False
Suppose -3*o = -2*o + 7. Let p(b) be the first derivative of b**3/3 - 22*b - 9. Let q be p(4). Which is smaller: o or q?
o
Let d(i) = i**3 - 24*i**2 + 2. Let k be d(24). Let m be k*(31 + -35 - (-35)/(-2)). Is m >= -41?
False
Let r = 44003423588559402659/10908 - 4034050501187902. Let l = r + -66153444. Let g = l - 7/108. Which is greater: 0 or g?
0
Suppose 2*p - 33 = 5*c, 5*p - c = 70 + 47. Suppose 0 = 3*d - 3*f - 27, -5*d + 13 = 3*f - p. Suppose 126 = q + d*q. Are 14 and q equal?
True
Let a(v) = -v**3 - 14*v**2 - 25*v - 2. Let r be a(-12). Let k be (-6)/r + -2 + (-366)/(-10). Let m be (k/10)/(-1) - 3. Which is greater: -6 or m?
-6
Let b = 9770 + -9554. Are b and 257 equal?
False
Suppose -63*k - 10659 + 57779 = 32*k. Is 495 at most as big as k?
True
Suppose 215 = -2*x - 2*n - 97, 756 = -5*x + 3*n. Suppose -4*p + 310*l - 306*l - 600 = 0, 3*l = -5*p - 766. Do x and p have different values?
True
Suppose 2*b = -2*b + 40. Let o(w) = -w**2 + 9*w + 10. Let a be o(b). Suppose -66 = v + 5*s, -4*v + 4*s = 3*s + 201. Is a != v?
True
Suppose -5*z = -26*z + 3717. Let a = z - 333. Is -156 > a?
False
Let h = -24 - -120. Let c be (h/2704)/((-6)/3). Which is smaller: 0 or c?
c
Let f be (38 - 34)/((-3)/(-5 - -2)). Let k(h) = -2*h**2 + h - 1. Let t be k(2). Which is greater: t or f?
f
Suppose -16*z - 2744 - 1736 = 0. Is -3090/11 bigger than z?
False
Let c(l) be the first derivative of -62*l**2 - 3*l + 63. Let a be c(1). Which is smaller: -126 or a?
a
Let d be -3 - 7 - 10/(-25). Do d and 2/11 have the same value?
False
Let r be (-230)/(-23) + 1 + -3 - -2. Suppose -t - r = 2*v, -2*v = 7 + 3. Let w be (-10)/65*6/(-4). Which is smaller: t or w?
t
Suppose 297*z - 298*z = -5. Suppose 4*k + 3*t = -z + 26, -31 = -4*k - t. Let m(b) = -b**2 - 7*b - 2. Let a be m(-5). Which is greater: a or k?
k
Let m = -16.1 + 13. Let j = 3 + m. Let r = 38 - 11. Which is greater: j or r?
r
Let n be (-28)/10*(-2 + 3 - 36). Let o = n + -80. Suppose -2*m + 3*p + 52 - 16 = 0, 5*p + 72 = 4*m. Are m and o non-equal?
False
Let p = -6 - -8. Let u be 7/(21/6) + p. Let g be (u/8 + -1)*(-2)/3. Which is smaller: 1 or g?
g
Let k be (-129951)/408 - ((-54)/(-16))/9. Let c = -319 - k. Which is greater: -1 or c?
c
Let x = -310 + 317. Let o be 3 + 3 + -1 + -3. Let m be x/(-35) - (o - 56/5). Which is greater: m or 5?
m
Let l = 3290237/373 - 8821. Which is greater: 12 or l?
12
Let o be 774/(-10) + ((-504)/(-40))/9. Is o greater than or equal to -18?
False
Let v be (39/24 + -2)*-22. Let b be (5/5 - -1)*(-134)/(-4). Let m = -58 + b. Is v bigger than m?
False
Suppose -2 = -2*w, 5*v - 32*w - 10 = -27*w. Let k(r) be the second derivative of -r**3/3 + r**2 - 2*r. Let q be k(v). Is -13/4 > q?
True
Let a = -277 - 47. Let x be a/(-168) + 6/(-4). Let y = 4 + -1. Which is smaller: y or x?
x
Let o be 60*10/((-20)/9). Let w = o + 271. Which is bigger: -2/67 or w?
w
Let y(g) = -8*g + 139. Let m be y(-7). Let x be (m/72)/(20/16). Is x less than 2?
False
Let o = 138 + 211. Suppose 17*k = 3358 - o. Suppose 3*s - k = 6*s. Is s less than -58?
True
Let q be 2684/(-16113) - (5 - ((-805)/(-42) - 14)). Is q less than 0?
False
Let l = -550.9 - -552.9. Which is bigger: l or 666.9?
666.9
Let a = 6.42 + -4.1. Let s = 94 - 93.68. Let v = a - s. Is v greater than -2/7?
True
Let j(i) = -4*i**2 + 59*i - 218. Let s be j(7). Is 1/731 > s?
True
Let i(s) = -38*s - 14. Let o be i(5). Let r be 