. Suppose 3*v + 1100 = -2*v - l*s, 4*v + 2*s + 874 = 0. Let k be (-14 + 1)/(-5 + v/(-42)). Is k bigger than 0?
False
Let d = -282 - -138. Let w be -5 + (12/(-120))/(3/d). Is w greater than or equal to -6/43?
False
Let t = -69 + 95. Let k = t - 25.86. Which is smaller: -0.2 or k?
-0.2
Let m(y) = -6*y + 28. Let x be m(6). Let c = -74 - -78. Let g be (-70)/161 - c/x. Which is smaller: 0 or g?
0
Suppose -32*k + 37*k = -20. Let u be -1*(k/(-1) - 5). Which is bigger: -30 or u?
u
Let z be (-53)/7 + (-33)/77. Let t be ((-2)/(-4))/(2/(-52)). Let q be 1/(t/4 - -3). Which is smaller: z or q?
z
Let m = -16 + 20. Let r be 0 + m/(-40)*-386. Let v = 39 - r. Is -0.3 greater than or equal to v?
False
Let t be (5 - 5)/(0 + 1). Suppose -141 = 2*c + 181. Let y be c/(-252) + (-3)/4. Which is greater: y or t?
t
Suppose -2*k - 479 = -x + 2*k, -x = 2*k - 491. Is x equal to 489?
False
Let a = 11200.1 + -11124. Are -0.1 and a nonequal?
True
Let o be 1*2/((-6)/(-3))*-3. Let l be (5/(-4) - -1) + (-819)/630. Which is greater: o or l?
l
Suppose -3268 = -3*d - 2*d - 3*a, -4*d - a + 2613 = 0. Let j = 537 - d. Which is smaller: -114 or j?
j
Let q = 64484016 - 6448502767/100. Let m = q - -1012. Let l = m + -2/25. Is 7 greater than l?
True
Let m be (42/15)/((-69)/(-83490)). Which is smaller: m or 3389?
m
Let i(r) = -r**3 - 93*r**2 + 196*r + 656. Let z be i(-95). Which is smaller: 57 or z?
57
Let l(o) = 12*o - 410. Let x be l(33). Let u be 3/6*357/x. Which is bigger: u or -12?
-12
Let t(k) = 10*k - 82. Let a(n) = -9*n + 83. Let w(l) = 3*a(l) + 2*t(l). Let c be w(0). Is c at least as big as 85?
True
Let i = 54 + -35. Let x(v) = v**3 - 19*v**2 - 2*v - 40. Let t be x(i). Let z = t - -86. Which is bigger: 9 or z?
9
Let q(z) = 8*z**2 - 6*z - 29. Let l be q(7). Let v = l - 8029/25. Which is smaller: 0 or v?
v
Let p = -97 + 87.1. Let s be (-462)/(-198) - 62/24. Are p and s nonequal?
True
Let i = -6805 + 6801. Is i smaller than -345/77?
False
Suppose -9*d + 98 = -23*d. Let x(g) = -2*g - 13. Let v be x(d). Suppose 28 = 3*c + 10. Is c <= v?
False
Let x = -140.68 + 141. Let b = 0.39 - x. Is b != -1?
True
Let y = -366037 + 4018020/11. Let x = -765 - y. Is x at least as big as -3?
True
Let r be 6/(-8)*32/(-84). Let z = -201.277 - -13.277. Is r at most z?
False
Let n be (35130/(-3))/10 - 6. Is -1178 > n?
False
Let x = 0.018 - -0.047. Let q = x + -0.035. Let y = q - -0.27. Is y >= -0.1?
True
Let r = 12 + -14. Let q be 2/2 + (-37620)/11277. Let z = 9/179 + q. Is r < z?
False
Suppose -247*s + 422 = 76992. Which is smaller: -300 or s?
s
Suppose -9 = -y - 3. Suppose u - y*u = 10. Let k be (u/4)/(8/6). Is 1 <= k?
False
Let j(l) = 5*l + 89. Let q be j(-18). Which is smaller: 2/1263 or q?
q
Let z = 77.28 + -78. Let i = z + 2.72. Which is greater: -6/13 or i?
i
Let s = -967.9875 + -0.0125. Is s at most as big as 2/3?
True
Let b be (-2)/(-2) - (-48)/(18/9). Suppose 15*u - b*u = -660. Does 67 = u?
False
Let z be (11/154)/(14/49). Is z less than -449?
False
Let t(x) = 326*x + 1490. Let p be t(-4). Are 215 and p non-equal?
True
Let l be (-17)/((-1785)/(-6216))*(-5)/(-10). Is -30 at least l?
False
Suppose 69*p - 3672 = 63*p. Suppose 4*i + p = -2*x, -4*i - 12 = 8. Is -296 greater than or equal to x?
True
Suppose 0 = -4*f - 566 - 238. Let d be ((-24)/48)/(f/(-30)). Which is smaller: d or 1?
d
Let i = -463 - -463.548. Let y = i - 0.448. Is y greater than or equal to 5.2?
False
Suppose 3*y + 126 = 4*x + 8*y, 54 = 2*x - 2*y. Let q be 12/14 + x/((-2030)/60). Which is greater: 6/283 or q?
6/283
Let q = -291 + 296. Suppose -q*j - 25 = -5*p, 0*p - 3*p + 21 = -5*j. Which is bigger: 8/5 or p?
p
Let a(m) = 140*m - 1116. Let i be a(-28). Is i bigger than -5036?
False
Let a = 411/188 + 133729/1692. Are 81 and a unequal?
True
Let t = 87293/93 - 2816/3. Is t < 32?
True
Let f = -809 - -900. Let s = -1.12 + 0.12. Is s at most as big as f?
True
Let f(v) = 2*v**3 + 42*v**2 - 43*v - 871. Let n be f(-21). Let h be 3/6*0 + 29. Which is smaller: h or n?
h
Suppose 0*f = 6*f. Let h = -305 - -455. Let v be 148/h + (29 - 30). Which is smaller: v or f?
v
Let j(x) = -23*x - 2. Let m be j(-1). Let t = 25 - m. Let o = -7 - t. Is -9 at most as big as o?
False
Let o be (-3723)/63 + (-60)/(-630). Suppose -3*c - 299 = 55. Let p = c - o. Which is bigger: -58 or p?
-58
Let a = 4099/4354 - 4/311. Let w = -2049 - -2051. Is a >= w?
False
Let d be (-8)/1*8 + (-68)/(-17). Let u = d - -65. Let i be 2/8 - 23/(-4). Is i at least u?
True
Let m = -126 - -294. Suppose 5*v + m = -0*w - 4*w, -3*w = -5*v - 154. Let r = 4 + v. Is 0.1 bigger than r?
True
Suppose -2112 = -15*z + 11*z. Let m = -42241/80 + z. Is 0 > m?
True
Let y be (-1)/(((-6)/(-4))/(1 - -2)). Let m be 42/(2/(-1) + 3 + y). Let n be (-5)/(-20) + m/8. Does n = -2?
False
Suppose 0 = 2*k - 5*z + 4*z - 43, 11*z + 167 = 4*k. Let w be (1 - (-2 + 1)) + 2. Suppose -w*i = -q - 73, -i + 3*q = -2 - 8. Is k smaller than i?
True
Let c = -0.69 + 0.39. Let u = 32.7 - c. Let a = 31 - u. Which is smaller: 10 or a?
a
Let i = -0.02 - 0.23. Let a = -1.5 - -0.95. Let d = a - i. Which is greater: d or 5?
5
Let s = 8659.38 + -8867. Let b = s + 202. Let z = -0.38 + b. Is -0.1 at most z?
False
Let p = 10.5 + -9.95. Let i = 1.66 - p. Let c = i + 3.89. Is c less than or equal to 1?
False
Let a = 191 - 180. Suppose a*c + 7 = 40. Is 1 <= c?
True
Let n(f) = 3*f - 9. Let v be n(3). Suppose -y + 5*u = -42, v*y - u = 2*y - 73. Is y <= 37?
True
Let t(o) = -22*o + 180. Let k be t(4). Is 466/5 >= k?
True
Let b = 5150 - 5179. Which is bigger: b or -113/4?
-113/4
Suppose 2175*o - 4 = 2179*o. Suppose 2*r - 7*r = 15. Which is smaller: o or r?
r
Let z be 10/(-20) - (-50)/4. Let w be ((-3)/(-2)*-2)/(z/(-440)). Suppose -w = 2*y + 3*y. Which is smaller: y or -20?
y
Let a = -27 + 59. Let q = 15 + a. Let h = -45 + q. Is 11 smaller than h?
False
Suppose -2 = -g - 0, -5*b - 3*g + 226 = 0. Let s(z) = -z**3 - 9*z**2 + 15*z + 4. Let f be s(-10). Let n = b + f. Is n bigger than -4?
True
Let r = 0.52 + -0.98. Let l = -0.44 - r. Let c = 71 + -72. Is l at least c?
True
Let i = -128 - -110. Let n = -13 - -10. Let d be (-24 - 3)*(-2)/n. Is d bigger than i?
False
Let x(d) be the first derivative of 2*d**3/3 + 19*d**2/2 + 29*d + 16. Let r be x(-12). Let k = r + -1073/12. Is -1 bigger than k?
False
Suppose 3*f + 116 = 194. Suppose 0*p - 2*p + 6 = -2*h, 2*h + f = -3*p. Which is smaller: 2 or h?
h
Let y be 7/((-2)/(8 - 4)). Let p = 14 + y. Let x be ((-18)/(-12))/(3438/24). Which is smaller: p or x?
p
Let o be (32162/(-65) - 9) + 1. Is o greater than -503?
True
Let n be 2/6 - (-154)/6. Let r = 11 - n. Suppose 13 = -p - a, p + 32*a - 27*a + 9 = 0. Which is bigger: r or p?
p
Let v(m) = -m**3 + 27*m**2 - 20*m - 218. Let c be v(27). Is c greater than -759?
True
Let w = -14 - -13.89. Let j = 9.89 - w. Let m = -2/1731 - -193/577. Which is greater: m or j?
j
Let t be -1*((-48087)/(-104))/(-27). Is 16 not equal to t?
True
Suppose -135 + 130 = -5*q. Let t = -213 - -330. Let k = -116.43 + t. Which is bigger: q or k?
q
Let p be (-12)/(384/(-32))*(-2 + 84)*-1. Is -4 at least p?
True
Let x = -16076 - -16076. Which is smaller: x or -18/241?
-18/241
Let q be -9 + 1131/135 - 12/(-30). Which is greater: q or 12?
12
Let j(v) = 2*v**3 + 29*v**2 + 10*v + 826. Let d be j(-15). Are d and 422 non-equal?
True
Let t be 510/34 - 124628/8308. Which is bigger: 0 or t?
0
Let z(u) = u**2 - 109*u - 753. Let x be z(117). Do x and -8/13 have different values?
True
Let g be (-6)/((-2)/(-11) + (-5)/(-154)). Let v be -14*(80/g + 1*2). Suppose v*k - 11*k + 6 = 0. Is k at most -6?
True
Let a = 21.66 + 1.34. Let j = 12 - a. Which is greater: -25 or j?
j
Let b = -357 - -381. Let n be 15/27 + (-8)/(-108)*-3. Which is greater: n or b?
b
Let v = 0.2259 - 0.1259. Is v at least 61?
False
Suppose 3*x = 12 + 9. Suppose -8*t + 19 = -x*t. Suppose 2*g - 10 + 37 = 3*q, 4*q + 3*g = t. Is 6 greater than or equal to q?
False
Let z be (-3)/((-3)/36*2). Let t = z - 3. Suppose 0 = 6152*g - 6162*g + 160. Is t less than g?
True
Let o = -7.852 - -9.852. Which is smaller: o or 602?
o
Suppose 13935 = -173*q + 4074. Is q not equal to -56?
True
Let y = -3.4 + 3. Let u be 69/276 + (-261)/468. Which is smaller: y or u?
y
Let p be (-12)/(-2) - (40 - 35). Let v be 2021/(-344) - (p + 1 + -3). Which is smaller: v or -5?
