, y + 9 = -3*l + 5*l. Suppose -l*s = d + 2, s + 2*d - 5 + 3 = 0. Which is smaller: s or x?
s
Let l = 2473/11 + -225. Let d = -94 - -377/4. Which is smaller: l or d?
l
Let w be -4*(-1 - -6)/(-10). Which is bigger: 4/3 or w?
w
Let t = -3 - -2.7. Let x = -1.1 + t. Let n = 0.4 + x. Which is smaller: n or 1/7?
n
Let z = 3 - 5. Let o = 8 + -6. Let q = z + o. Are q and -1/3 unequal?
True
Let h = 14 + -19. Let f(w) = -w + 2. Let x be f(5). Let y be ((-8)/(-6))/(x/9). Is h greater than y?
False
Let a = -0.6 - -4.3. Let c = 3.5 - a. Let l = -0.36 - -0.06. Which is smaller: l or c?
l
Suppose 0*s = 3*s - 3. Let f = s + 5. Which is greater: f or 4?
f
Suppose -3*c - 2*c + 5 = 0. Is c greater than -3/13?
True
Let u = 1.3 - 1.8. Let p = -0.6 - u. Which is bigger: 1/6 or p?
1/6
Let s(m) = m + 7. Let w be s(-4). Which is smaller: 0 or w?
0
Suppose -10 = 4*r + 6. Let v = -10 + 16. Suppose -v = 5*x + 4. Are r and x non-equal?
True
Suppose -5*v - 5*a + 4*a + 17 = 0, 4*a = 4*v - 4. Suppose -v*h = -7*h. Is h < 1/11?
True
Let k(g) = -g**3 + 2*g**2 + g. Let w be k(3). Which is bigger: w or -5?
-5
Let y = 0.07 + -0.1. Let k = -3.03 - y. Let p = k + 2. Is 2/5 at least as big as p?
True
Let d = -10 + 13. Suppose -5*i - d*u = -2 - 2, 5*i - u - 12 = 0. Is i >= 12/5?
False
Let x(g) = 2*g + 39. Let r be x(-24). Is r greater than -9?
False
Let n be -3 + -1 + (-66)/(-15). Which is bigger: 1/7 or n?
n
Let p be (44/(-8))/(4 + (-9)/2). Is p > -4?
True
Suppose -5*q = -50 + 30. Which is greater: q or -0.1?
q
Suppose 3*v = 3*k + 39, -4*k + 3*v - 48 = -0*v. Let b = 9 + k. Is b less than or equal to 0?
True
Let i(j) = -3*j**2 + 2*j + 1. Let g be i(-1). Let v be 84/(-36) + (-4)/6. Which is bigger: g or v?
v
Let y be -2 + 3 - -3 - 0. Let t be ((-2)/y)/((-4)/72). Suppose 6*x - 3*x = t. Which is smaller: x or 2?
2
Let d = 18.88 - 15.8. Let h = 0.13 - 0.05. Let p = h - d. Is 0 < p?
False
Let o = -5 + 4. Let k be ((-1)/(-3))/(o/(-3)). Let f be -2 + k + 1 - 0. Is f greater than or equal to 2?
False
Let q be -1 + (1 - 1) - -10. Let u = -3 - -14. Suppose q + u = -4*x. Are x and -5 non-equal?
False
Let c = -5 + 7. Let m(u) = 2*u - 2. Let v be m(c). Let h be (6/(-16))/((-3)/v). Which is bigger: h or -1?
h
Let s = 1087/4 - 270. Let b = -1 - -4. Which is greater: s or b?
b
Let t = 0 + 2. Let a be (t/(-92))/((-14)/(-28)). Is a at least as big as -0.1?
True
Let q(x) = -x**3 - x**2 + 2*x. Let c be q(-2). Which is smaller: -4 or c?
-4
Let p = -1 - -1. Let z = -854821/21 - -40690. Let b = z + 47/3. Is b bigger than p?
False
Let v = 90 + -137. Is v > -47?
False
Let o = -27/2 + 13. Let r(i) = 3*i + 1. Let w be r(1). Suppose w*x + 3*z = -3, x - 3*z - 3 = 2*x. Which is smaller: x or o?
o
Let v = 15 - 22. Let g = 10 + v. Suppose 0 = -c - 2, -4*l + 0*c = -c - 18. Is g <= l?
True
Suppose m - 3*s - 7 = 0, m - 5*s - 11 = -m. Let y be 5/(-2) - m/4. Let j be 5/(-2) + (-4)/(-8). Is j smaller than y?
False
Let z be (1/2)/(1/(-4)). Let q = 14.1 - 13. Let s = -1 + q. Is z greater than or equal to s?
False
Suppose -g + 21 + 23 = 0. Let s be 6/(-15) + g/10. Suppose 0 = -2*y - 5*o - 17, -4*o = y + s*y + 17. Is y != 0?
True
Suppose 10 = 4*s - 6. Let d be s/(-6) + 32/30. Are d and -1 non-equal?
True
Let z(d) = -10*d**3 + d. Let j(s) = -s**3 - 5*s**2 + 7*s + 5. Let q be j(-6). Let v be z(q). Which is bigger: 0.1 or v?
v
Let q be (0 - -1) + 37/(-2). Let f = -18 - q. Let o be -5*(14/10 + -1). Does f = o?
False
Let y be (-3)/(-9) + 5/3. Suppose -3*w = -6*w. Which is greater: w or y?
y
Let v = 3 - 5. Which is smaller: v or -7/10?
v
Let b = 328297/195 - 5054/3. Let t = 9/13 + b. Which is smaller: t or 1/4?
t
Let k be 86 + 2*(3 + -2). Suppose 88 = -4*o + 3*d, -o + 5*d + k = -5*o. Let x be (2 - (-48)/o)*1. Which is greater: 1 or x?
1
Suppose 3*k = z - 96, -187 = -4*z + 2*z + 5*k. Let j be 3 - 6 - z/(-24). Suppose -4*r - 3 = 1. Which is greater: r or j?
j
Let i = 37.3 - 42. Let y = i + 0.7. Which is smaller: y or -0.1?
y
Let b = -279 - -281.09. Let o = -2 + b. Let u = 0.91 + o. Are 1 and u non-equal?
False
Let y be 7 - (-2 + (3 - 0)). Is 2 greater than or equal to y?
False
Suppose -2*s - s - 41 = -4*r, 2*s + 34 = -4*r. Is s equal to -15?
True
Suppose 0 = -3*a + 5*z + 98, 0 = -3*a - 2*z - 14 + 105. Suppose 5*p - 3*u + 2*u = -49, 0 = -3*p - u - a. Is -10 smaller than p?
False
Let u = 4.29 + 0.51. Let o = 0.2 + u. Is -1 at most o?
True
Let l be (4/(-10))/((-98)/10). Is 0 >= l?
False
Let v(q) = 3*q. Let t be v(2). Suppose -4*p + 18 = -p + 3*f, 2*p + 4*f = 10. Which is bigger: p or t?
p
Suppose 8*o - 3*o - 33 = j, -15 = 5*j. Is 6 at least o?
True
Let i = -23 - -12. Are i and -10 non-equal?
True
Suppose y + 14 = 6*y + 2*j, 0 = 2*y + 2*j - 8. Suppose -y*n + 10 = -n. Suppose c = 3*m + n, -c = 5*m - 3 + 25. Which is smaller: m or -1?
m
Let k be (-13)/12 + 2/8. Let q = 64/57 + 4/19. Let m = q + k. Is 0 < m?
True
Suppose -18*h = -21*h + 300. Is h < 100?
False
Suppose -59 - 11 = 5*l. Are -12 and l non-equal?
True
Suppose -5*q - 5*l + 0*l = 5, -5*q + 27 = -3*l. Let h = -1.4 + -1.6. Does h = q?
False
Let q(d) = -d**2 + 3*d + 2. Let l be q(3). Suppose 5*j + 3 = -l. Let s = 14 + -13. Which is greater: s or j?
s
Let v = -5 + 1. Let c = 4.3 + v. Let q be (-4)/10 + (-36)/135. Is c bigger than q?
True
Suppose -5*q - 10 = -5*v, -1 = 3*v + 4*q + 14. Let a be (v + 5)/(18/(-6)). Which is smaller: a or 0?
a
Let k = 63/2 + -32. Is -2 > k?
False
Suppose -2*i + 5*i = 0. Suppose i*v = -v. Suppose 7*c + 3 + 4 = 0. Which is smaller: c or v?
c
Let d be 0/(1 + 8/(-4)). Is d less than or equal to -3/11?
False
Let u = -70/11 + 372/55. Let m(z) = -z**2 - 8*z - 1. Let f be m(-8). Let y = f + 0. Which is smaller: u or y?
y
Suppose -2*x + 0*x + 8 = 0. Suppose -x*n + 4 + 4 = 0. Which is smaller: 0 or n?
0
Let j be (-8)/12 + 2/(-6). Is 6/13 != j?
True
Let z = -1.26 - -4.26. Which is bigger: z or -2/13?
z
Let x = -19 + 19. Is x at most as big as 2/65?
True
Let b be -2 + 44/(-20)*-1. Is 1/10 > b?
False
Suppose 0 = -4*v - 4, 3*z - 5*v + 5 = 28. Let s be ((-4)/z)/(2/6). Suppose 16*r - 40 = 26*r. Which is smaller: s or r?
r
Let o be (-10)/35 + (-10)/28. Let n = -6411/5 + 89827/70. Let g = o + n. Is -2/5 not equal to g?
True
Let m(z) = -4*z + 12. Let k be m(5). Which is bigger: k or -7?
-7
Let k be (6/(-5))/((-7)/35). Is 6 less than or equal to k?
True
Let w = 4 + -2. Is 4/7 <= w?
True
Let p be (-22 + (1 - -3))/(-2). Is 8 bigger than p?
False
Let r = 0.2 - 0.5. Let v = 0.59 + 0.11. Let w = r - v. Which is smaller: w or -0.1?
w
Let j = -28 + 3. Let f be (-10)/j + (-18)/(-5). Which is smaller: f or 5?
f
Suppose -5*j - 10 = 2*m, -5*j + m + 5 = -0. Which is bigger: j or 7?
7
Let z = 49897/18095 + -1/235. Let n = -18/7 + z. Does n = 0?
False
Let x = 0.3 + 0. Let n be (16/24)/((-7)/(-3)). Which is bigger: x or n?
x
Let j be (-1 - -3 - 1)*1. Let i(d) = d**3 - 5*d**2 + 4*d + 1. Let h be i(4). Let r be 4*(h/(-2))/(-1). Which is smaller: j or r?
j
Let k(o) be the third derivative of -o**4/24 + o**3/3 + o**2. Let r be k(-2). Suppose -4*v + 12 = r*g, -v + 3*v - 3*g + 14 = 0. Is -1 less than v?
False
Let z be (32/219)/(28/60). Let p = -2/73 + z. Which is smaller: -0.3 or p?
-0.3
Let v(c) = -c**2 - 15*c - 25. Let d be v(-8). Is d > 32?
False
Let u = 26.019 + -0.019. Which is greater: u or 0.1?
u
Let i(c) = -359*c + 4. Let g be i(2). Let n = 39272/55 + g. Are n and -1 unequal?
True
Let c be -1*(2 + -2)*1. Suppose -3*f + 7*f - 48 = c. Suppose -o + f = -g - 4*o, -4*o - 16 = 0. Is g less than 0?
False
Suppose 3*q = -4*f - 40 - 46, -2*q = -2*f - 36. Which is greater: -21 or f?
f
Let u = 1.92 - 2. Let i = -4.92 + u. Is i >= 0?
False
Let g be -3*(0 - (-4)/(-132)). Which is smaller: g or -1?
-1
Suppose -9*b = -4*b - 10. Suppose -2 = -5*h + b*a, -6*h - a = -4*h - 8. Suppose 0 = -0*v + v - h. Do v and 2 have the same value?
True
Suppose -y = 3*x - 1, -y - 1 = -x + 2. Let f be x + 0 - (1 + -1). Suppose f = r - 0*r. Which is smaller: -3 or r?
-3
Let m be -1 + 1 - (4 - -191). Let q be 1*6/m*10. Which is bigger: 1 or q?
1
Let m = -5/17 + -13/187. Are m and 0 equal?
False
Let m(a) = -a**3 - 2*a**2 - a - 2. Let s be m(-3). Let h = -4 - s. Is h smaller than -13?
True
Suppose -2*r = -4, 3*n = 2*r + 2*r - 20. Let t(p) = -p**3 - 5*p**2 - 4*p + 3. Let a be t(n). Let h = a - 3. Which is greater: 1 or h?
1
S