 -z*p. Is p at least 2/89?
False
Let l = -1873 + 2788. Let o = 916 - l. Which is smaller: o or 6?
o
Suppose 0 = 14*x - 305 + 95. Let z(l) = 2*l**2 - 27*l + 61. Let i be z(x). Which is smaller: i or 103?
103
Let a be 44926*8/19992 - 18. Which is smaller: 0 or a?
a
Let q(i) = -i**3 - 31*i**2 - 55*i + 86. Let o be q(-29). Is 2/12613 greater than o?
True
Let j be (16 + -9)*(-8)/(-35476). Which is smaller: 0 or j?
0
Let c be 4/10 + (-3231)/15. Let l = -93948 - -93733. Is c less than or equal to l?
True
Let l(b) = 49 + b + 34 + 5 - 4*b - 31. Let c be l(41). Is c at most as big as -67?
False
Let n = 0.0094 - -919.9906. Which is greater: -2/9 or n?
n
Let p = -15.25 + 19. Let i = -3.6 + p. Let k = 1/2 + 0. Is k <= i?
False
Let j = -550 - -374. Let p = -177 - j. Which is bigger: 2/23 or p?
2/23
Let z be (0 - -9)/(2/(8/(-3))). Let i be (z/9)/(8/12). Which is greater: -35 or i?
i
Let l = -9825 - -9817. Is 471 less than l?
False
Let m(z) = -114*z**2 - 121*z - 165. Let u be m(-8). Is -6495 smaller than u?
True
Suppose 17*i - 368 = 15*i. Let j be (-2)/(-8) + i/(-224). Suppose 35*h + 208 - 173 = 0. Which is smaller: j or h?
h
Let s(i) = 5*i**3 - 3*i - 2. Let k be s(3). Let t = -190 + k. Is t greater than 1?
False
Suppose -t + 2*q + 28 = 2, 3*t - 73 = q. Is t at most 24?
True
Let k = -253034 - -253033. Let c = 19 - 7. Let d be ((-3)/c)/((-7)/(-4)). Which is bigger: d or k?
d
Let c = 637 - 662. Let s be 135/36*(20/c)/2. Let x = -7.9 + 7. Is x != s?
True
Suppose 30*b - 313 = 1037. Let g be (42/(-35))/((-18)/b). Let r = -2 - -5. Is g at most as big as r?
True
Let i = 922 + -957. Let a(y) = -6*y. Let b be a(6). Which is greater: b or i?
i
Let r = -13816.06 - -13962. Let k = r + 3.06. Which is smaller: -1 or k?
-1
Let m be (-72)/(-464)*(5544/(-27))/14. Is -3 at most m?
True
Suppose 4*a = 3*o + 40, 0 = -2*a + 3*o + 19 + 1. Let n be (-60)/(-18)*(-24)/a. Let m be (4 - 2) + 17/n. Which is greater: m or 1?
1
Let z = 189 + -188.792. Let q = z + 3.792. Are q and 4 equal?
True
Suppose -4*z - f = 0, 3*z - 5*f = -0*z. Let q(o) = 2*o**2. Let t be q(z). Let l be 4/6 + 8/(-24). Which is smaller: t or l?
t
Let g = -385 - -560. Let p = g - 174. Is p > -1/7?
True
Let c be (2/(-5))/(1/5). Let h = -207394/15 + 13824. Is c bigger than h?
True
Let s = 0.21805 - -117.09195. Let z = s - 117. Is z at most 5?
True
Suppose -4*c + c = -5*c. Suppose c*t + 4*t = 3*t. Let p be (-1 - t)*(6 - 7). Which is smaller: -2/79 or p?
-2/79
Let i = 307.02 - 311. Let n = 1.98 + i. Is n > -47?
True
Let d = -7747 + 7687. Which is smaller: -1 or d?
d
Suppose 5940 = -16*u + u. Which is bigger: u or 0?
0
Suppose -26828 = -28*s - 14228. Is s >= 446?
True
Let s be 16/10*((-80392)/(-2864) + -28). Is 0 > s?
False
Suppose 7*z = -3*z + 160. Suppose 4 = 4*h - z. Suppose h = -11*s + 6*s. Is s greater than -4/13?
False
Suppose 17*c - 12 = 14*c. Suppose 0 = c*p + 5*n + 7 - 36, 5*p = n. Let g be (0 + p)*(1 - (8 - 3)). Is -7 less than or equal to g?
True
Let l(p) = -45 - p**2 - 29 + 64 - 18*p. Let b be l(-26). Is b smaller than -217?
True
Let x = 9 + -33. Let p be 72/64*(-2)/x. Let m(b) = -106*b + 319. Let u be m(3). Is p less than or equal to u?
True
Let c = 181 - 13. Let a be (-47)/184 - (-42)/c. Is a not equal to 1?
True
Let r be 1*(1 - 2) + 193. Suppose -120*x = -112*x + r. Let v(o) = 2*o - 8. Let k be v(-7). Which is greater: x or k?
k
Let d = 124 - 66. Let o = d + -65. Is -3 equal to o?
False
Let r = -2011 - -1733. Are -268 and r unequal?
True
Let g = -10.84 + 66.14. Let t = g + 8.7. Which is smaller: 0 or t?
0
Let h = 5.29 - 2.69. Let b = h + -1.7. Is 3/11 bigger than b?
False
Let f = 256 - 99. Let j = -222 + f. Let v = j - -65.1. Is v greater than -4/9?
True
Let x = -0.0016 - -2.7916. Let z = x - 2.52. Is z at least -2?
True
Let o = -48 - -55. Let u(a) = 2*a**2 - 15*a + 11. Let c be u(o). Suppose 0*v = n + c*v + 41, -n + 5*v = 14. Is -29 < n?
False
Let x(l) = l**3 - 22*l**2 + l - 30. Let f be x(22). Let g be (-27)/(-6)*f/12 - -3. Which is smaller: -1/30 or g?
-1/30
Suppose 21*b - 16 = 2*u + 23*b, 2*u + 1 = b. Which is smaller: -0.062 or u?
u
Let b be (((-200)/(-12))/25)/(2/33). Which is greater: -0.316 or b?
b
Let q = -4297 + 3677. Is -623 at least q?
False
Let y = -419 + 410. Let p(u) = u**3 + 9*u**2 - 3*u + 19. Let a be p(y). Is 46 not equal to a?
False
Let l(t) = -28*t**2 + 0*t - 4*t + 15*t**2 - 3*t**3 + 1. Let s be l(-4). Is s at least 23/10?
False
Let b = 212 + -210. Let d(o) = 29*o - 38. Let x be d(b). Is 130/7 equal to x?
False
Let x = 199 - 194. Suppose 11 = b + x*k, 2*b = b - 3*k + 7. Which is greater: b or -2/1311?
b
Let u = 99.937 - 100. Let t = -0.363 - u. Let l = t + 0.5. Is 1.2 at least l?
True
Suppose -x - 3*p = -12 - 1, -2*p + 3 = -5*x. Let c = -15665/7 - -2229. Let r = c - -296/35. Which is bigger: x or r?
x
Suppose h - 2*p - 1 - 6 = 0, 0 = -4*h + 3*p + 23. Let l be ((-1666)/105)/2 + h. Are -2 and l equal?
False
Let j = -50 - -172. Let t = j + -118. Which is smaller: 5 or t?
t
Let r be 4/16 - 9406/(-8). Is 1177 not equal to r?
True
Let b = 0.75 - 1.33. Let a = b - -1.27. Let h = a - 0.7. Which is greater: h or -0.1?
h
Suppose -i = -x - 5*i + 13, -10 = 2*x - 4*i. Let f = -168/205 - -86/205. Which is bigger: f or x?
x
Let x be (-12339)/4108 + 11 + -8. Let y = x + 121/46452. Is 1 greater than y?
True
Let d = 6281 - 6280. Which is bigger: 2/19049 or d?
d
Let s be (-45)/(-225) + 1029/11080*6. Let f = -2/277 + s. Let t = 5 + -4. Are t and f equal?
False
Let r be 1/4 + (-134)/(-8). Suppose 3*h = -m + 44 - 39, 0 = -2*m + 10. Suppose 0 = d - 2 + 5, h = 4*u - 2*d - 82. Is r less than or equal to u?
True
Let z be (8 + -5)/3 + 13/(-13). Let u = -5 + 16. Let l = -5 + u. Which is greater: z or l?
l
Let x = -402 - 1510. Is x smaller than -1912?
False
Let l = 332 + -179. Let w be (11/(-176))/((-3)/(-7302)). Let s = l + w. Are s and 1 non-equal?
True
Suppose -4*m - 5*h = -8705, -567*h = 3*m - 568*h - 6543. Which is smaller: m or 2182?
m
Let v be (8/30*-3)/(29088/2160). Suppose u + 3*b = -0*u, -4*b = 2*u. Which is greater: v or u?
u
Suppose -v - 642 = 6*w, -v + 477 = -4*w + 49. Which is smaller: 4 or w?
w
Let p be 1*4 - (-2 - -1). Let f be 12/(-210)*7 - (-16348)/(-30). Let u = f + 550. Is p at most as big as u?
False
Let o(q) = -3*q**3 - q**2 - 2*q - 2. Let m be o(-1). Suppose -f + 3*f - 67 = 5*a, m*f - 37 = 3*a. Let h be 45/(-11) + (-11 - a). Is -1 less than h?
True
Let j = -1.111 + 760.111. Let i = j - 457. Which is smaller: i or 0?
0
Suppose -z + 4*n - 21 = 0, 4*z - 6 = 47*n - 49*n. Which is greater: 5/356 or z?
5/356
Let j = 9071951/80 - 113401. Which is smaller: j or -2?
-2
Let y = 2607 - 2591. Which is smaller: y or 2?
2
Suppose -6 = -2*i, 2*b - 4*i + 6 = -0*b. Suppose -2*r - 35 = -r + b*c, -5*r + 2*c = 175. Let o(l) = -7*l + 42. Let k be o(11). Is k at most as big as r?
True
Let x be 1 + -1 + (-4)/(-134). Let z(s) = s. Let a be (154/21 + -7)/((-2)/6). Let r be z(a). Is r at least x?
False
Let t = 28.04 - 27.74. Which is smaller: -21 or t?
-21
Let l be 264/(-20)*(2 + (-2)/(-4)). Let r be -1*(31 + -2 - 0). Let o = r - l. Is o at least as big as 3?
True
Let z = 331.0244 + -0.0244. Let k = z + -330.5. Which is smaller: -0.16 or k?
-0.16
Let j be 21582/83127 - 6/22. Is j greater than 1?
False
Suppose -4*l + 3*n + 23 = -0*l, -4*l = 2*n - 18. Let s be (-3)/l - 4/10. Let k = -298174 + 298222. Do s and k have the same value?
False
Let m = -1906301/20 - -95295. Let r be ((-21)/12)/(2/(-22)). Let q = m + r. Which is smaller: -2 or q?
-2
Let j = -343490534/334395 - 2/66879. Let k = -1022 - j. Is k <= 4?
False
Let w = -2.86 + 2.905. Let k = 9.955 + w. Which is greater: -1 or k?
k
Let w be 40/(-6)*9284/176. Is -353 > w?
False
Suppose j - 4*p + 29232 = 0, -77*j + 3*p = -81*j - 116985. Is j bigger than -29244?
False
Let s be 2 - -1 - (-7 - 39095/(-3905)). Is s <= 0?
True
Let d = -569.629 + -27.371. Which is bigger: 5/6 or d?
5/6
Let j = 596 - 526. Let l = -195 + 195.03. Is l >= j?
False
Suppose 68 = -7*b - 65. Let w be 0 - -2*3/2. Suppose 0 = w*y + 75 - 15. Is b < y?
False
Suppose 0 = -27*r + 1408 + 779. Suppose -23 = 8*d + r. Are d and 0 non-equal?
True
Suppose 0*a - k - 72 = -3*a, a - 10 = 5*k. Let w(x) = -x**2 + 22*x + 69. Let n be w(a). Which is greater: n or -3?
-3
Suppose -86*m - 13287 = -16814 - 32679. Which is 