-z + 5*z + 17 = 5*j, -j = 3*z - 11. Suppose -7 = z*x - s - 22, 14 = 2*x - 2*s. Which is bigger: x or 1/5?
x
Let h = -2.2 + 0.4. Let b = -1.69 - h. Let g = b + 1.89. Which is bigger: -2 or g?
g
Let y = -7 - -14. Let o = 11 - y. Let v be 2/8*4/(-3). Are o and v unequal?
True
Let o(z) = -z**3 + 12*z**2 - 10*z - 11. Let l be o(11). Let c be (-80)/60 - 17*10/(-114). Which is bigger: c or l?
c
Let c = -0.83 + 0.9. Let r = -88 - -88.17. Let z = r - c. Which is smaller: 8 or z?
z
Let b be ((-50)/3)/((-2)/36). Let c = b - 5698/19. Which is smaller: -0.4 or c?
-0.4
Let t(q) = 4*q + 10. Let j be t(-4). Let n(x) = -x**2 - 9*x - 3. Let z be n(j). Let d be ((-24)/z)/((-2)/5). Which is bigger: 5 or d?
5
Let w be 8/(-3)*(-2)/4. Let f(o) = -20*o**2 - 59*o + 6. Let j be f(-3). Is j greater than or equal to w?
True
Suppose -2*u - 484 = 2*i + 2*i, 0 = 3*i + 2*u + 361. Let v = i - -115. Is v <= -7?
True
Let h be ((-12)/(-36))/((1/(-3))/(-1)). Which is bigger: h or -36/119?
h
Let p be 2 + 3 - ((-3025)/(-120))/5. Is p > 0?
False
Suppose 12*y = 8*y + 28. Is 4 >= y?
False
Suppose -5*z + 30 = -4*x, -3*z + x = -4*z + 6. Is z equal to -4?
False
Let g be 12/(-10)*(1/1)/3. Which is bigger: g or -2/49?
-2/49
Let l be 1 + -1*(-1)/(-1). Let w = 537 + -344. Let q be -7 - -4 - w/(-65). Is q < l?
True
Let q be ((-16)/(-39))/(24/(-36)). Which is smaller: 1 or q?
q
Let q = -11.1 + 11.2. Which is bigger: q or 0?
q
Suppose 2*o + 3*o = -10. Let r = 90 - 93. Let w be r/(6/2) - o. Which is smaller: -7 or w?
-7
Let h(l) = -l**3 + 32*l**2 - 29*l - 72. Let y be h(31). Which is greater: -12 or y?
y
Let u(b) = -15 + 9*b**2 + 17 + 13*b**2. Let q be u(-1). Is q less than 24?
False
Suppose 28*o = 203 - 231. Is 1/169 at least o?
True
Let f be (8/6)/(2/3). Suppose -t + 6 = f*t. Suppose -t*h + h = 1. Which is smaller: h or -2/3?
h
Let t be -6 - 2/(-3)*3. Let h(s) = s**3 + s**2 - 2*s - 2. Let m be h(2). Let n be 3 + (444/(-10))/m. Which is greater: t or n?
t
Suppose y = 4*y - 2*h + 1, 3*y + h = 5. Which is smaller: 4/33 or y?
4/33
Let n(u) = -4*u**2 + u - 3. Let g be n(-2). Let j = 18 + g. Is j smaller than -4?
False
Let h = 120 - 72. Let o = 45 - h. Is o >= -4?
True
Let h = -1 + 1.15. Let v = h - 0.14. Let q = 0.27 - 0.37. Is q > v?
False
Let c = -80 - -71. Let h be -1*(-15)/c*9/3. Let v = -0.1 + 0.2. Which is greater: h or v?
v
Let c be 0/(-2) - (0 + 6). Let l be ((-28)/((-24)/c))/(-2 + 1). Is 9 not equal to l?
True
Let l(b) be the second derivative of b**5/20 - b**4/6 - 4*b**3/3 + 9*b. Let f be l(4). Which is smaller: 1/55 or f?
f
Suppose 7*u + 12 = u. Suppose 2*o + 29 = 5*n, -o + 0*n = 3*n - 13. Let g = o - u. Is g at least as big as -1/7?
True
Let k = -1.51 + 1.61. Is k less than or equal to 1.7?
True
Let p be 24/56 + 880/(-175). Let w be 33/(-6) - 3/(-6). Which is smaller: w or p?
w
Let u(y) = -y. Let l be u(1). Let b be (-69)/(-184) + 1086/(-2640). Is l less than or equal to b?
True
Let y be (((-8)/(-60))/1)/((-16)/20). Let n = 1 - 1. Let t = 1 - n. Which is smaller: y or t?
y
Suppose -4*q + 2*q - 4*z = 1666, -1670 = 2*q + 5*z. Let t = 4139/5 + q. Is 4 equal to t?
False
Let p(l) = -4*l + 2. Let n be p(-4). Let s = 157 + -185. Let d be (-7)/s - n/8. Which is greater: -3 or d?
d
Suppose 3*b + 507 = s, 3*s - 2*s = 0. Let g be 26/b - (-41)/13. Suppose 5*u = a - 98, 8*u - 3*u + g*a = -86. Is -20 less than u?
True
Suppose -144 = 4*c + 3*i, 4*c - 5*i + 18 + 126 = 0. Is -45 smaller than c?
True
Let u = 24743 - 148057/6. Let g = u - 67. Let a be (0 - (-3)/(-6))*0. Which is smaller: g or a?
g
Let k = -2418/11 - -220. Let a = -0.69 - -0.29. Which is bigger: a or k?
k
Let q = -25 + 66. Suppose -4*l - 5 + q = 0. Suppose -2*n + 1 = 2*d + d, -d - 5*n = -l. Which is greater: 6 or d?
6
Let h be (-5)/(-420)*(-104)/39. Let y = -0.3 + 0.2. Which is bigger: h or y?
h
Let w be 0/(-5 - (-28)/7). Let o(b) = -b - 3. Let s be o(-3). Suppose 5*n - 2*n = s. Is w < n?
False
Let h(t) = t**3 + 2*t**2 + t + 5. Let u be h(-4). Suppose 5*d = -4*i - 139, -3*i - 112 = i - 4*d. Is u greater than i?
False
Let p = 120.4 + -151.1. Are 0 and p unequal?
True
Let h be 2/6 + 100/(-372). Suppose -867 + 864 = -3*q. Which is smaller: q or h?
h
Let k = -809/5 - -10477/65. Let d = -183/65 - k. Are -3 and d nonequal?
True
Let d be ((-7)/(-14))/(8/(-356)*1). Is d greater than -21?
False
Suppose 5*y - 10 = 15. Which is smaller: y or 4?
4
Let u = 93 + -138. Let d = -15 - u. Let g = 24 - d. Which is smaller: -2/7 or g?
g
Let n be 105/(-14)*(-4)/5. Suppose -3*k - 2 = -2*u, 5*u - n = 2*k - 1. Is -2/19 smaller than u?
True
Let g be -19 + 15 - (0 + -3 + 126). Do g and 0 have the same value?
False
Let v = 179 + -320. Does -141 = v?
True
Let q = -1862 + 1862. Is 22/63 > q?
True
Let b = 15 + 10. Suppose 3*w - b = -19. Is -2/37 >= w?
False
Let i(p) = -p**3 - p**2 - 2*p - 2. Let j be i(-2). Suppose -12*d = -9*d - j. Which is smaller: 22/7 or d?
d
Suppose -4*j = 2*w - 2242, 54*w + 5*j - 2247 = 52*w. Is 1111 less than w?
False
Let f = -3.524 - -3.5. Let u = f - -6.424. Which is greater: -0.1 or u?
u
Let m(h) = h**2 - 8*h + 21. Let p be m(-6). Does 106 = p?
False
Suppose -4*g - 139 = 3*h, g + 5*h + 13 = -26. Which is smaller: -32 or g?
g
Suppose -15*p = -21*p - 6. Which is greater: -2/167 or p?
-2/167
Let g = -0.147 + 0.037. Do 1/6 and g have the same value?
False
Suppose 0 = -5*w - 14*w + 95. Which is greater: 15 or w?
15
Let a be (9515/1905 + -5)/(16/6). Which is greater: 0 or a?
0
Let c(p) be the second derivative of -p**4/12 + p**3/2 - 5*p**2/2 + 3*p. Let m be c(5). Which is bigger: m or -16?
m
Let m = 0.05 - -2.15. Let o = m - 1.2. Let b = 0.07 - -2.93. Which is smaller: o or b?
o
Let l = -127/14 - 877/70. Is -22 less than l?
True
Let v = 1262 + -21430/17. Is 1 equal to v?
False
Let o be 3*201/(-5) - -1. Let c = o + 120. Let x(g) = -24*g - 140. Let q be x(-6). Is c less than or equal to q?
True
Let u(r) = -6*r**2. Let n be u(1). Let b = -10 - n. Let x be 5 + (-2 - b/(-4)). Is 3 < x?
False
Suppose 5*n - 99 = -304. Let u = -42 - n. Which is smaller: -0.2 or u?
u
Let m(z) = -z + 15. Let a(f) = -f**2 - 8*f + 9. Let x be a(-7). Let y be m(x). Which is bigger: -2/73 or y?
-2/73
Let t = -527.85 + 515. Let b = t + -0.15. Suppose 4*j + 4 = 8*j + 4*d, 0 = 2*j - 2*d + 6. Which is smaller: j or b?
b
Suppose -3*w = -t, 3*t - 14 = -5*w - 0*t. Let u = 2 + w. Suppose 2*s = u*s + 6. Are -5 and s unequal?
True
Let s(w) = 51*w + 5. Let x be s(2). Does 107 = x?
True
Let v be 137/(-4) - 1/(-4). Which is smaller: v or -33?
v
Suppose -8*n = -13*n - 90. Let s = n - -29. Which is greater: s or 12?
12
Let w = -3730/3 - -1245. Let p be 11/9 + (-4)/18. Is p > w?
False
Suppose d - 4*d - 5*y = -1786, 4*d + 3*y - 2396 = 0. Is d greater than 602?
False
Suppose 4*m = -3*j + 7, -5*m + 7*j + 35 = 2*j. Let v = -254 + 254. Let i = m - v. Which is smaller: i or 5?
i
Let s(q) = 5*q - 2. Suppose 5*u + 6 = 26. Let l(z) = -4*z + 2. Let o(p) = u*l(p) + 3*s(p). Let f be o(-3). Is f > 5?
False
Let h be (3/24)/((-3)/6). Let i = 21 - 22. Let m be (4*4/64)/i. Are m and h equal?
True
Let v be (94/(-712))/(-6 - (-130065)/21678). Let x = 954 - v. Do x and -1 have different values?
True
Let x = 0.3 + -4.3. Let i = 46 + -33. Let c = 15 - i. Which is smaller: c or x?
x
Let d(z) = 5*z - 295. Let t be d(60). Which is smaller: t or 60/13?
60/13
Let h = -5/480388 - -16869305063/5284268. Let m = h + -3196. Let o = 135/22 + m. Is 2 at most o?
True
Suppose -42 = -2*x + k + k, -3 = -k. Suppose -28 + x = 4*o. Which is greater: o or 5?
5
Let o = 1.79 + 1.21. Which is greater: 121 or o?
121
Suppose t + 4*d = 11, 3*t - t = 5*d - 17. Let a be t*2/(-8)*4. Which is smaller: 1/79 or a?
1/79
Let t = 16.29 - 12.3. Let u = t + -0.79. Is u < 0.1?
False
Let r be ((6/4)/((-5)/(-350)))/1. Suppose 5*l + r = -5*b, -3*l + 4*b - 63 = 3*b. Let d(y) = -21*y**2 + y. Let v be d(1). Is v not equal to l?
True
Suppose 19*a - 34*a = 0. Which is greater: -2/1727 or a?
a
Let l = 115 + -110. Suppose 4*x - 5*a + 12 = 0, -l*a - 2 = -x - 5. Which is greater: -27/7 or x?
x
Suppose -673 - 655 = -4*s + 4*y, 5*s - y = 1664. Suppose -4*m - 125 + s = 0. Which is smaller: 53 or m?
m
Let t = -1 - -1. Let r = -3.046 - -2.046. Are r and t nonequal?
True
Suppose -3*m = -0*n - 3*n - 171, 0 = -4*m - n + 218. Let c = -111/2 + m. Is -1/6 smaller than c?