u/216). Is -36 greater than z?
False
Let b(r) = 6*r**3 - r**2 + r + 1. Let o be b(-1). Let i(v) = 2 + 32 + 3*v + 114*v**2 - 115*v**2 - 13*v + 29. Let s be i(5). Which is greater: s or o?
o
Let m(b) = -b**2 - b + 4. Let d be m(5). Let r(q) = 46*q**2 - q + 5. Let a be r(2). Suppose -a*g + 188*g + 24 = 0. Which is smaller: g or d?
d
Suppose 3*s + 437 - 891 = -2*a, 309 = 2*s - 5*a. Let q be 115/(3*(-1)/(-4)). Is q smaller than s?
False
Let s be (1 + -5)/((-129)/(-44) - (-6886)/(-2504)). Let o = -3.05 - -0.05. Which is smaller: s or o?
s
Suppose 88*u - 707 = 95*u. Let o = u - -104. Is -3 < o?
True
Let c = 0.035 - -0.725. Let y = -0.827 + c. Let a = -35.067 - y. Is 1 not equal to a?
True
Suppose -i - 45*i - 33 + 79 = 0. Which is smaller: 34/283 or i?
34/283
Let y be -1*(-2 - 80/(-39)). Suppose 70 = -3*r - 3*d - 17, 2*r + 64 = -4*d. Let f = -27 - r. Which is greater: f or y?
y
Suppose 3*s = s - 6, -4*s + 4 = -4*l. Let x(o) = 3*o**3 - 4*o**2 - 13*o + 5. Let w be x(5). Let r = -218 + w. Are l and r equal?
False
Let g = -0.2 - -0.2. Let y = -14167 + 14166. Which is smaller: y or g?
y
Suppose -5*u - s + 3 = -2, s + 3 = 3*u. Suppose -281*f + 285*f = -72. Let d be 12*f/(-102) - 2. Is u less than d?
False
Let i(s) = 11*s + 13. Let b be i(0). Suppose 11*x + b*x - 720 = 0. Which is bigger: x or 36?
36
Suppose -4*q = -8*q + 532. Let w = -132 + q. Let b = -172 + 2065/12. Is b bigger than w?
False
Let c(g) = -g**3 - 2*g**2 - 8*g - 9. Let m be c(-4). Suppose 235 + m = 10*v. Let b = v + -30. Which is greater: 0 or b?
0
Let u = -4/1719 + 3530/39537. Is u > 0.9?
False
Let h be -291*((-64)/8 - -6). Is 583 < h?
False
Let u(m) be the first derivative of -m**4/4 + m**3/3 + 12*m**2 - 38*m - 225. Let l be u(9). Which is smaller: -469 or l?
l
Suppose n = 5*t - 631, -176 = -2*t + 4*n + 62. Suppose 61*v = 55*v + 12, 3*v = -2*a + 220. Let q = t - a. Which is bigger: -1 or q?
q
Let m be (2/(-920))/(221/7446). Let q = m - -4/115. Is q at least 0?
False
Let v = 348 - 66. Suppose -65*k - 4503 = -22833. Is v greater than or equal to k?
True
Let d = -0.01915 + 0.04115. Which is smaller: -19 or d?
-19
Suppose 9*m + 8645 = 28*m. Let w be (-185)/(-175) + (-26)/m. Are -4/183 and w equal?
False
Let m(p) = -3*p**3 + 8*p**2 + 20*p - 15. Let v be m(4). Is 1/4750 equal to v?
False
Suppose -132257 = 59*z - 130841. Let g(p) = 5*p - 1. Let f be g(-4). Is f at most z?
False
Let o = -2.216 + 15.216. Let t = -1.1 - 10.9. Let w = t + 13. Are w and o unequal?
True
Suppose -15 = -15*h + 13*h - 3*v, v - 5 = 0. Let g = -728 - -21119/29. Is h greater than g?
False
Let d = 1771 - 1765. Which is bigger: -2/3 or d?
d
Let w = -48842 - -48841.9. Let r = -199.7 - -3.7. Is r not equal to w?
True
Let b(r) = 13*r - 453. Let h be b(35). Which is greater: h or -30?
h
Let r(v) = -6*v + 16 + v**2 - 10 + 5*v. Let t be r(2). Let b = 12 + -6. Is t >= b?
True
Suppose -6*c = -10*c - 84. Let z = 34 + c. Suppose -h - l - 22 = 0, -h + 0*h - z = 4*l. Do h and -25 have the same value?
True
Suppose 3*r + 111 = -3*z, -116 = 3*r + 6*z - 4*z. Let b be (200/15)/(4/(-12)). Which is bigger: b or r?
b
Suppose 1479*z - 1666*z + 748 = 0. Which is greater: 244/79 or z?
z
Suppose 79*p + 1624 = 75*p. Let h be (p/145)/(16/(-10)). Does 3 = h?
False
Let s be (-14)/12831*((-6)/18 - (-11)/6). Are s and -1 non-equal?
True
Let w = -1.46 - -0.81. Let i = -0.65 - w. Let y = -5 + 4.2. Which is bigger: i or y?
i
Let r(k) = -3*k**3 - 6*k**2 + 5*k - 49. Let x be r(-9). Which is smaller: 1605 or x?
1605
Suppose 5*w - 3*x - 66 = 19, -22 = -3*w - 4*x. Let v be (w - -3 - 8) + -3. Let i = 0.4 + -0.2. Which is greater: v or i?
v
Let j be (-1)/(-3) - 124/12. Let r = -26 - j. Let u = r + -3. Are -18 and u nonequal?
True
Suppose 22*k = -5*k + 40068. Is 1484 bigger than k?
False
Let w = -1526173947/924652 - -953894/853. Let f = -2129/4 - w. Which is bigger: 1 or f?
1
Let m be ((-72)/(-56))/9 + -58*716/(-168). Which is greater: m or 246?
m
Let a(b) = -63*b**2 - 5*b - 6. Let y = 50 - 91. Let r = 40 + y. Let x be a(r). Do x and -63 have the same value?
False
Let a = 10.804 + 813.896. Let i = a - 775. Let t = i + -50. Is t greater than or equal to 0.5?
False
Let z = -7031.103 - -7031. Which is smaller: z or -2/13?
-2/13
Let t = 13674 + -22445. Do -8771 and t have the same value?
True
Suppose 13*k - 12*k - 3*o = 368, 2*k + 3*o = 772. Let z(w) = 6*w**2 - 10*w - 15. Let t be z(9). Is k less than t?
True
Let j = -111239/2431 - -502/11. Which is bigger: 1 or j?
1
Suppose 2*w + 2*x - 36 = 4, 2*w + 4*x = 50. Let s(j) = 10*j - 143. Let o be s(w). Is 7 greater than or equal to o?
True
Suppose 35*z - 38*z + 969 = 0. Which is greater: z or 3558/11?
3558/11
Let s = 0.4144 + -2562.4144. Do 2/7 and s have the same value?
False
Let s = 4056 - 3976. Is 71 at least s?
False
Let i = 1978 - 1951. Let t = 43 - 43.17. Let h = t + 0.27. Which is greater: h or i?
i
Let y be (6/10)/((-8)/((-13000)/13)). Suppose y*g = 35*g + 39*g. Which is bigger: 11 or g?
11
Let n be 64/420 + 28/(-140). Is n at least -4/17?
True
Let n = -371 + 527. Suppose 162*m = n*m + 6. Which is smaller: m or 29/13?
m
Let n(i) = i**3 + i - 2. Let s be n(1). Suppose -3*k = -5*x + 25, -4*k - 3*x + 12 + 3 = s. Suppose k = -3*z - 0 - 12. Is z at least as big as -33/8?
True
Let p(r) = -3*r**2 + 176*r + 1228. Let s be p(-52). Is -16037 at most as big as s?
True
Let c(w) = w**2 - 9*w + 10. Let l be c(8). Suppose -5*x = 5*n + 5 + 5, -6 = l*x. Which is smaller: -1/10 or n?
-1/10
Let c = 3245 + -2469. Is c less than 775?
False
Suppose 41*a - 125133 = 2295. Let b = a + -139852/45. Is b not equal to 1?
True
Let r be (15/12 - 0)*(-1 - 3/(-5)). Is 1/41 at most as big as r?
False
Let m be 12214/(-14) - 360/(-840). Let r = -900 - m. Which is smaller: r or -0.1?
r
Let g = -160 + 159.27. Let r = -8082 - -8082.05. Which is smaller: r or g?
g
Suppose 0 = 3*f + 2*z - 5, -1 - 3 = -z. Let x = 66813.4 - 66803. Is x > f?
True
Let p(d) = 7*d**2 - 20*d + 64. Let u(r) = -6*r**2 + 21*r - 62. Let n(l) = -5*p(l) - 6*u(l). Let z be n(20). Is -68 at least z?
True
Suppose 7*l + 10*l = -4*l. Which is bigger: 15/181 or l?
15/181
Suppose -m - 3 - 2 = -u, -2*u + m + 5 = 0. Suppose u = 20*j - 2*j + 6606. Is j greater than or equal to -367?
True
Let x(s) = 809*s + 1946. Let v be x(-3). Which is smaller: v or -487?
-487
Suppose -5*j - 224 = 3*i, -19*i = -20*i - 4*j - 84. Let b be -6 + (3 - 224/i). Let n = 9 + -9. Which is smaller: n or b?
n
Let p(f) = -14*f - 132. Let o be p(-39). Let l = o + -33536/81. Which is greater: 0 or l?
0
Let z(l) = 6*l**2 - 2*l. Let m be z(-2). Let r be (-8)/m + (-10)/14. Let p be (-1710)/912 + 2/4. Which is smaller: r or p?
p
Let f be (10 - (-6)/(-2))/((-1)/(-32)). Let p be ((-147)/4)/(6*(-7)/f). Which is greater: p or -1?
p
Let v be (-10)/5 - 6*4/(-6). Suppose 4*k - 36 = v*x, 4*x - 37 = -5*k - 5. Let q be k*1/36 + (-92)/9. Which is smaller: q or 0.2?
q
Let m be (3/(-4926))/((-14)/308). Which is smaller: -1 or m?
-1
Let f = 2.94 - -136.36. Let p = -140 + f. Which is greater: -7 or p?
p
Suppose -4*k - 158 = -3*f, 4*k + 274 = -2*f + 7*f. Is f equal to 45?
False
Suppose 0 = -2*c - 0*c + 56. Let m be 2 + (-602)/140*-6. Which is bigger: m or c?
c
Let a = -23/12 + 5/3. Let w = -112.125 - -112. Let u = 15.125 + w. Is u smaller than a?
False
Let b(j) = 6*j + 160. Let v be b(-27). Let q be v/4 - 75/(-175). Let t = -0.2 + 0.3. Which is smaller: t or q?
q
Let u = 22781 + -23642. Is u greater than -843?
False
Let s be ((128 - -1) + 8 + -10)/1. Suppose -14 = 113*u - s*u. Let b be (-14)/(-10) - 4/10. Is u at least b?
True
Let b be (-369*4)/((-4)/(-2)). Is b > -736?
False
Let y be 4 + 204/20 + (-36)/(-45). Which is bigger: y or 5?
y
Suppose 0*k = -4*k + 20. Suppose -3*m - k*h = -65, 5*m - h - 59 = 2*m. Let s be (-369)/885 + (-12)/m + 1. Which is smaller: 0 or s?
s
Let y be (-61522)/35 + 1/(-4)*-4. Let t = y + 1757. Which is greater: 0 or t?
t
Let a(i) = 120*i - 85. Let h be a(1). Suppose -3*u + 2*u = -36. Is h not equal to u?
True
Let c(g) = 20*g + 78. Let f be c(-6). Let p be (-2)/(-12) - 374/12. Let v = f - p. Is v bigger than -12?
True
Let c = 601.9 - 597.9. Which is greater: -407 or c?
c
Let n(g) = -g**3 + 72*g**2 - 24*g + 1429. Let p be n(72). Let s(r) = -5*r**2 + 8*r + 1. Let q be s(-7). Which is bigger: p or q?
p
Suppose 5*w + 271 = 