 g = 2*u + h + 42. Is -18 > u?
True
Let y(q) = q + 10. Let f be y(0). Let o(r) = -3*r**2 + 58*r + 17. Let x be o(24). Let t = x + 320. Which is smaller: f or t?
t
Let y = 25731 + -26968. Is y at most as big as -1239?
False
Let y = -16234 - -16233. Which is smaller: 1/1909 or y?
y
Let g be (-114 - 2)*5/(-4). Let n be (g/20 - 5)/(318/334). Let o = -6/53 + n. Are o and 3 equal?
False
Suppose 5*y + 20 = l, -l - 6 - 10 = 4*y. Let o(j) = -6*j**2 + 18*j. Let k(h) = 13*h**2 - 37*h. Let b(r) = -4*k(r) - 9*o(r). Let w be b(7). Does w = l?
True
Let j be -7 - 32/56*1043. Is j != -597?
True
Suppose 2*m + 5*m = -55*m + 62. Is -1/1429 greater than m?
False
Let v = -1127 + 10845. Is v equal to 9717?
False
Let g(b) = -24*b**2 - 692*b + 18145. Let k be g(26). Is -16071 not equal to k?
False
Let d = -96 + 39. Let w = d - -111. Let s = 53 - w. Is 20 < s?
False
Suppose 19163 = 2*s - 2103. Let c be 2/(-7) - (-7)/(s/42). Is -1 < c?
True
Let j be (-756)/(-35)*(-10)/(-8)*18/(-10). Let b be (18/4 - 1)*-14. Let a = j - b. Which is smaller: 4/29 or a?
4/29
Let u = 42 - 42. Suppose -87 = -0*w - 3*w - 3*n, u = n. Let i = -5 + w. Which is smaller: i or 23?
23
Let l(u) = -4*u**3 + 53*u**2 - 5*u + 29. Let g be l(13). Is g >= 143?
False
Let i be (-135)/20 - (-4)/(-16). Let s(x) = -16*x**2 - 112*x - 2. Let q be s(i). Which is greater: 9/4 or q?
9/4
Let i be -2*(4 - 5 - 1). Suppose 5*p - 4*h + 5 = 0, -2*h - 3 = i*p - p. Let u be 0 - p/((-105)/10). Which is smaller: u or 0?
u
Let q be ((-4)/(-6))/(14/2247). Suppose 32*w - 1113 = 2311. Are q and w non-equal?
False
Let j be (-11 - -169)/(3*(-10)/(-240)). Which is smaller: j or 1266?
j
Let u be (-20)/12 - 6/(-9). Let v be -1 - (u - -25)/((-3)/(-8)). Do -67 and v have the same value?
False
Let l = 2140/79 - 108466/3555. Which is smaller: l or -4?
-4
Let b = 97 - -77. Let o = b - 175. Which is greater: o or -0.08?
-0.08
Let z = 3547 - 3367. Is z at least 180?
True
Let a be (-30)/(-40) + (-55)/4. Let u be (-1 + -2 - (11 + a))*-3. Let z be 1/4 - u/36*-21. Which is smaller: 1/2 or z?
1/2
Suppose 24 = -14*l + 18*l. Let b be (2 + (-10)/l)*(1 - -5). Suppose 2*f = -s + 5 - 16, -b*f - 15 = 5*s. Is s less than or equal to 3/7?
True
Let h(r) = -r**2 + 6*r + 56. Let g(k) = 2*k - 1. Let z(n) = -4*g(n) - h(n). Let s be z(17). Let m = 1237/59 - 21. Which is smaller: m or s?
s
Suppose 0 = -2*w - 4*v - 6, -w + 0 = v + 2. Let d(z) = -2*z**3 - z**2 + 4*z + 4. Let i be d(w). Let p be (1 - i/(-2))/((-16)/(-192)). Which is bigger: 16 or p?
p
Let l be 1/(-1*1*-1). Suppose -44 = 71*k + 39 - 12. Let b be (33/22 + k/l)*0. Is 5/6 != b?
True
Let x = -21135.2449 - -21134. Is -0.1 equal to x?
False
Let v be (18522/(-28))/63*-2. Suppose 3*z - 72 = -3*k, 45 = -3*z + 5*z + k. Is z bigger than v?
False
Suppose 3*u + 11*u = -196. Let x(j) = j**2 - 18*j + 22. Let s be x(16). Is u not equal to s?
True
Let c = -192 + 369. Let o = -174 + c. Is -0.15 < o?
True
Let z = 3334 + -1522. Let t = z + -9001/5. Which is smaller: 11 or t?
11
Let h(g) = -g + 1. Let u(x) = 5*x + 9. Let b(v) = -4*h(v) - u(v). Let q be b(-11). Let s be (3/q)/((-6)/148). Is 36 less than s?
True
Let w be 34/(-12) + 872/327. Which is greater: w or 2141?
2141
Let s = -16.059 + 16. Let u = 147.059 + s. Let w = 210 - u. Which is bigger: w or -0.1?
w
Suppose -29*c + 29 = -87. Suppose -2*h + 782 = -2*v - 2*v, -c*h - 218 = v. Which is bigger: -197 or v?
-197
Let j(p) = -2*p**3 - 94*p**2 - 180*p + 1. Let b be j(-45). Is b >= 3/250?
True
Let x(g) = g**3 + 17*g**2 - 15*g + 60. Let s be x(-18). Let v(n) = -30*n + 179. Let h be v(s). Which is smaller: 1/77 or h?
h
Suppose -3*n - 20305 = -12*m - 53530, 0 = 2*n + 5*m - 22150. Is 11076 >= n?
True
Let x = -125/9 - -1289/63. Let n be 12/2*32/12. Suppose 2*u + 0 - n = 0. Is x < u?
True
Suppose 3*j = 5*f - 58, -5*j = 7*f - 3*f + 109. Let l = -15 + 64. Let h = 27 - l. Which is bigger: h or j?
j
Suppose 0 = 6*p - p + 2194 + 1351. Which is greater: -7798/11 or p?
-7798/11
Let l = 102 - 72. Let u be ((192/l)/(-8))/((-2)/5). Let t be ((-325)/(-39))/(1 + (-5)/u). Is -5 less than or equal to t?
False
Let d(c) = 8*c - 3. Let l be d(-5). Let u = 43 + l. Let s be (u - 3/(-9))*-3. Do -12/7 and s have the same value?
False
Let n = 3104 + -3101.6. Are 4 and n non-equal?
True
Let z(p) = -3*p**2 + 7*p + 17. Let b be z(-3). Let h(o) = -o**3 - 32*o**2 - 28*o - 1. Let g be h(b). Is -283/3 at least as big as g?
False
Let c(d) = d**2 + d - 1. Let m be c(3). Let o = 10508 - 10493. Which is bigger: m or o?
o
Suppose 3*n + 5*h + 33 = 0, -3*n - h + 6 = 39. Suppose 3*s + 48 = -0*s. Let j = 4 + s. Do n and j have different values?
True
Let g be 122606/58938 - 8/(-188). Which is smaller: 1 or g?
1
Let a = 75.7475 + -1.5375. Is a equal to -2?
False
Let b be (-5)/20 + (2 - 2). Suppose 4 = g + 8. Let p be (10/4 - 1)*g. Is p greater than b?
False
Let u = 20741 - 20741.1. Is u > -103.2?
True
Let n = -672 + -336. Let d = 954 + n. Let w = -0.3 + -0.7. Is d greater than w?
False
Suppose 2*l + 7 + 7 = 0. Let o be 3/(-6) + (42/8 - 40/(-32)). Is l <= o?
True
Let p = 785 + -623. Suppose f = -j + 33, f - 12 = 3*j + 17. Let t be (p/33 + -5)/(2/f). Is t at most as big as -2?
False
Let i(h) = 3*h**3 - 3*h**2 + 13*h - 239. Let n be i(10). Is n greater than or equal to 2586?
True
Let w = 7 - 27. Let y be (-14)/(-2) + (15 - 1008). Let u = -1003 - y. Which is bigger: u or w?
u
Let p = 445/171 + -60/19. Let q(c) = c - 2*c**2 - 2*c**2 - c**3 + 14 - 6*c**2 + 11*c**2. Let g be q(3). Is p at least as big as g?
True
Let p = 63.96 - -0.04. Let d = p - 63.49. Let v = d + -0.61. Which is bigger: 4/3 or v?
4/3
Let v = -158 + 309. Let k = -151.1 + v. Is k at most as big as 6.4?
True
Let g = 323 + -369. Let v be 132/99 - g/6. Is -3 != v?
True
Let x(v) = v**3 - 6*v**2 - 3. Let l be x(6). Let g(j) = j + 10. Let k be g(l). Is 15 bigger than k?
True
Let t(o) = o**3 - 23*o**2 + 53*o - 25. Let c = 47 + -26. Let p be t(c). Which is smaller: 207 or p?
p
Suppose 399 + 14 = -3*a - 2*y, 0 = 4*a + y + 554. Let t = -140 - a. Do 1/11 and t have the same value?
False
Suppose 5*p + 0*r = 2*r + 33, 0 = -5*p - 3*r + 13. Let t = 100 + -103. Let l be -12*(34/(-10) - t). Is p at least as big as l?
True
Let k(q) = 7*q + 17. Let j(z) = 5*z + 16. Let w(g) = 4*j(g) - 3*k(g). Let x = -2 + 2. Let a be w(x). Which is greater: 10 or a?
a
Suppose -4*a - 3 - 177 = 0. Let m = 0.43 - -7.17. Let g = -8.6 + m. Is g smaller than a?
False
Let h = -1438 - -1580. Which is smaller: -18 or h?
-18
Suppose 0 = -d - 15 - 27. Let t = -94975 + 94931. Is t at least d?
False
Let z be ((-531297)/(-72))/(-19) - 3/(-8). Let h = z - -389. Which is smaller: -1/419 or h?
-1/419
Let f = 2 + 1. Let m be (-64)/(-96)*(-459)/6. Let c be 85/m*f/11. Which is greater: 1 or c?
1
Suppose -5*g = -2*v - 1, 0 = g + v + 4982 - 4985. Let m = -1/81 - 2/2025. Which is greater: g or m?
g
Suppose -18 = -h - 5*p, -3*h + 5*p - 12 = -7*h. Let x be 2 + h/((-2)/1). Let n = -2.048 - -1.998. Does x = n?
False
Let k(a) = -3*a**2 - 32*a + 18. Let i be k(-11). Let h(j) = -j**2 - 3*j + 73. Let c be h(i). Is c not equal to 11/4?
True
Let b = 2.5 - 12.5. Let y = -9.9735 + -0.0565. Let z = b - y. Is -2 bigger than z?
False
Let h(v) = 75*v**3 + 12*v**2 + 217*v + 1033. Let k be h(-5). Which is bigger: -9126 or k?
-9126
Let l = -65006192 + 4745649412/73. Let p be (338/(-4))/((-2)/64). Let o = p - l. Which is smaller: -1 or o?
-1
Let v = -13025 - -12897. Let s = -16.9 - 111.1. Let f = s - v. Is f < -13?
False
Let s(c) = 12*c + 18. Let g be s(-4). Let q = 34 + g. Is q >= 44/9?
False
Let j = 26818 - 26817.9726. Which is smaller: -0.4 or j?
-0.4
Let u(o) = o**3 - 9*o**2 - 43*o + 63. Let p be u(12). Let y(b) = -b**3 + 11*b**2 - 13*b + 11. Let a be y(10). Is a greater than or equal to p?
True
Let v = 293 - 479. Let b = -359 - -357. Is b > v?
True
Let f be (-4 - -10)/(3/((-45)/310)). Let n = f - -451/806. Which is bigger: 1 or n?
1
Let z = 30 - 28. Let l be (-2)/(9/27 + (-1)/(-3)). Let b be 4/l*(-45)/110. Does b = z?
False
Let n = 4120/18487 - 12/973. Which is bigger: 4 or n?
4
Let a(y) = y**3 + 3*y**2 + 2*y. Let b be a(-2). Let w be ((-316)/(-6))/(4/(-6) - -1). Let q = -16272/103 + w. Is q >= b?
True
Let y = 17.2144 - 17.2. Let f = y - 0.0144. Which is bigger: f or 8?
8
Let k = -14227/3 + 4741. Which is smaller: k or -2.