ose 3*t = -z - 2, -2*t - 7 = -0*t - 5*z. Let r = 4 + t. Let h be v(r). Which is greater: h or -3?
-3
Suppose 25 = l + 5*s, l = -4*s + 3*s + 17. Which is smaller: 14 or l?
14
Let a = -155 - -145. Which is greater: -3/5 or a?
-3/5
Let r = 0.1 - 0. Let p be (32/12)/(4/6). Suppose -3*x + 4*a - 12 = 6*a, -4*x - p*a - 16 = 0. Which is smaller: r or x?
x
Let q(v) = -v**3 + 11*v**2 - 2*v + 19. Let x be q(11). Are -20/7 and x non-equal?
True
Let f = -8 - -2. Let n = f + 5.9. Which is smaller: 5 or n?
n
Let m = -146/119 - -16/17. Which is bigger: m or 1?
1
Let n = -6 - -10. Let q = 10 - 9. Suppose 5*u - n = q. Which is greater: u or -2/7?
u
Let f be (-10)/220*(-4)/2. Which is smaller: f or 0?
0
Let k(r) = -r**2 - 3*r + 1. Let p be k(-2). Suppose 2*t - p*z + 5*z - 20 = 0, 12 = -4*z. Let x = t - 9. Are x and 3 equal?
False
Let b = 3721 - 409313/110. Let j = 3161162 - 4520461919/1430. Let a = b - j. Which is bigger: 0 or a?
a
Let o = -75 - -76. Suppose 0 = -7*i + 3*i + 5*c + 12, 0 = 5*c + 20. Let f be (i/(-5))/((-8)/(-10)). Is f smaller than o?
True
Suppose 0*w - 2*i = w - 2, 5*w - 4*i = -4. Is 1 bigger than w?
True
Let q = -4177/1104 - -61/16. Let c = q + -211/138. Is c smaller than -2?
False
Let z(h) = -h + 5. Let k be z(6). Let a be k + (12 + -3 - -2). Suppose -b = -6*b + a. Is b >= 3?
False
Let j = 3 - -1. Let i(s) = s**2 - 5*s + 4. Let l be i(j). Let b(y) = -y**3 + 6*y**2 + y - 7. Let m be b(6). Is m > l?
False
Suppose 46 = -4*g - 4*w - 42, -4*g + 4*w = 104. Let t be (-6)/(-4)*g/(-18). Suppose 4 = -2*n + 2*b, t*n + 2 = -2*n - 2*b. Which is smaller: n or -2?
-2
Suppose -x + 6*y + 42 = y, -y = -3*x + 126. Which is bigger: x or 41?
x
Let k = -19 - -18. Which is bigger: 1/61 or k?
1/61
Suppose 5*m - 67 = 3*o, -3*m - o - o = -44. Suppose -5*k + 2*r + 67 = 0, -3*r - 86 + 18 = -5*k. Is m at most k?
False
Let w(p) = -p + 10. Let d be w(-9). Which is bigger: 20 or d?
20
Suppose -z + 5*z + 20 = 0. Let s = z + 7. Let q be 2 - (s/2 + 0). Which is smaller: q or 2/3?
2/3
Suppose g = -2*h + 12, -2 = g - 4*h + 10. Let k be (g + -4)/(0 + -2). Let l = 0.01 + -1.01. Which is greater: k or l?
k
Let l = -1720 + 228761/133. Is l not equal to -1?
True
Let h = 28 - 28.34. Let x = -0.14 - h. Is x greater than or equal to -2/9?
True
Let v = 0.05 + -0.05. Let f = v + 0. Let j = -0.1 + f. Which is greater: j or -4?
j
Let k(y) = y**2 + 7*y - 4. Let d be k(-8). Let z be (-1 - (-1 + d)) + 2. Which is greater: -1 or z?
-1
Let p be 144/(-66)*2/4. Is p at least 0?
False
Let i = 140 - 132.9. Let q = -39 + 32. Let a = q + i. Which is bigger: a or 0?
a
Let z be (-48)/(-21) - (0 - -3). Which is greater: z or -2?
z
Let v(h) = -8*h + 12. Let i be v(5). Is i at most 2/7?
True
Let k = -1519/55 + 139/5. Let u = -3 + 1. Is u at most as big as k?
True
Let g be (-2)/(-4)*32/14. Is g at least as big as 0?
True
Let y(p) be the second derivative of -p**4/12 + 2*p**3/3 + 2*p**2 - p. Let t = 1 - -4. Let c be y(t). Is c smaller than -3/4?
True
Let q = 1.33 + -0.41. Let d = q - -0.08. Let a = d - 6. Is -0.1 less than a?
False
Let p(c) = -c**2 + 10*c - 1. Let l = -14 - -24. Let v = 0 + l. Let y be p(v). Is -6 at most as big as y?
True
Suppose -3*y = -5*x + 37, -2*y = 4*x - 4*y - 28. Let l = -4 + x. Which is smaller: l or 3?
l
Let j be ((-20)/2)/(-2 + 3). Let r = j + 7. Which is smaller: r or -2?
r
Suppose -3*b = -166 + 283. Which is smaller: -38 or b?
b
Let z(d) = -d**3 + 7*d**2 - d + 7. Suppose 3*o - 19 = 2. Let p be z(o). Which is bigger: -6/13 or p?
p
Suppose 0 = 2*g + 2*x - 4 + 16, 0 = -g - 4*x - 21. Suppose 0 = 2*m - 4*y + 10, -4*y + 4 + 0 = 0. Let d be 1/m - (-1)/3. Which is smaller: d or g?
g
Suppose -120 = -9*i + 13*i. Let l = i - -22. Is l >= -8?
True
Suppose 12 = 3*i - 9. Let g(h) = h**2 - 6*h - 7. Let f be g(i). Which is smaller: f or -2?
-2
Let r = -152/3 - -51. Which is bigger: 7/2 or r?
7/2
Let d(j) be the second derivative of -j**3/6 - 2*j**2 - j. Let q = 4 + -6. Let y be d(q). Which is greater: y or -3?
y
Let a be -2 + (-2030)/(-552) - 1. Let j be (-3 + 0)/276*1. Let k = j + a. Is k != 2?
True
Let r be (-2)/(-5) + (-22)/5. Let z = -10 + 16. Let g be (r/(-42))/((-2)/z). Which is greater: -0.1 or g?
-0.1
Suppose 14*a - 210 = 4*a. Which is smaller: 23 or a?
a
Let d = 1.04 - 1. Let f = d + 0.06. Which is greater: 8 or f?
8
Let w be (-1)/(-1)*(0 - 0). Are 1 and w equal?
False
Let w = -69 - -57. Which is greater: w or 0.3?
0.3
Let x be ((-9)/(-18))/((-2)/4). Is 1/21 at most x?
False
Let z(u) = -u**3 - 9*u**2 - 5*u + 19. Let b be z(-8). Is b != -5?
False
Let f = 182 + -181. Which is greater: -2/99 or f?
f
Let g = 25 - 5. Let i be (-10)/12*6/g. Suppose w + 7 = 4*q - 9, w - 4 = -q. Which is bigger: w or i?
w
Let n = 1 + 1. Let w = 2 - -1. Let b = w - n. Is -1/2 at most b?
True
Let p be 52/(-4) + 3*(-1 - -2). Which is bigger: -98/9 or p?
p
Let g = 0 - 0.1. Let z = -13 - -21. Let w = 10 - z. Which is greater: w or g?
w
Suppose 14*g = 13*g + 4. Is g at most 2?
False
Let v(i) = 3*i + 2. Let b be v(3). Suppose -20*t + 68 = -24*t. Let q = t + b. Is q equal to -5?
False
Let a = 6 - 15. Let h = 8.5 + a. Which is bigger: -0.1 or h?
-0.1
Let o be 154/8*6/7. Let g = o - 14. Is g at least as big as 1?
True
Let v be (-188)/24 + 1/(-6). Is v >= -9?
True
Let o(x) = x**2 + 7*x + 1. Let z be o(-7). Let t be (0/((-2)/1))/z. Suppose -m - 2 = -4. Is m smaller than t?
False
Suppose 0 = -19*k + 22*k + 9. Suppose 3*y = -3 - 0. Is y greater than or equal to k?
True
Let f(c) = -5*c**2 + 3*c - 1. Let z be f(4). Which is bigger: z or -68?
-68
Let p = 4 + -3. Suppose h - 16 = -5*g, 4*h + p - 8 = -g. Is 2 >= g?
False
Suppose -1 = -t - 0*t. Let s(y) = y**2 + 6*y. Let g be s(-6). Does t = g?
False
Let v = -45.29 + 45. Let w = v - 0.01. Are -1 and w nonequal?
True
Let d be 26/(-12) - (-6 + 4). Is d not equal to 1?
True
Let p = 4878389/35 + -139423. Let t = p + 198/5. Let z(l) = -l**3 + 2*l**2 - 1. Let d be z(2). Which is greater: d or t?
t
Suppose -2*y + 4*u = 4, 0 = -3*y - 0*u - 5*u + 38. Suppose o + 4*n - 3*n + 2 = 0, -2*o - 4*n - y = 0. Let p be (2 + o)*1/(-3). Which is greater: p or -1?
p
Let f = 114 - 115. Which is greater: 2/351 or f?
2/351
Let i = 62 - 425/7. Is i >= 2?
False
Let s = -19 + 22. Let x be (4 - (3 - s)) + 1. Let r be (24/28)/(2/14). Is r != x?
True
Suppose 4*h + 20 = -h. Let r = 2 + h. Is r at most -3?
False
Let f(k) = -k + 10. Let m(i) = -8*i**3 + i**2 + 2*i + 1. Let j be m(-1). Let p be f(j). Which is smaller: -0.1 or p?
-0.1
Let j(k) = 2*k**2 - 13*k + 7. Let u(s) = s**2 - 7*s + 4. Let o(i) = -2*j(i) + 5*u(i). Let w be o(8). Let a = -3 - w. Which is greater: a or -4/9?
-4/9
Suppose 4*a = 8, 0*v + 28 = 4*v + 4*a. Suppose 0 = -q - 3*u - 12, 13 = -4*q - v*u - 0*u. Suppose -6*s = -q*s. Is -1 at most as big as s?
True
Let q be -4 - (1 + 0/(-3)). Let u be 4/2*q/(-55). Let i be 4/6 - (-5)/(-3). Is u at least as big as i?
True
Let y = 3 + 0. Let d be 3*((-21)/(-9) - 3). Let z be (2/d)/(4/(-8)). Is z bigger than y?
False
Suppose 10*t - 10 = 9*t. Is 10 >= t?
True
Let u be ((-3)/6 + 0)*-4. Suppose 5*r - 6 = -3*k, -u*r - 15 = k - 6*r. Let z(a) = -a**2 - 2*a + 2. Let d be z(k). Which is smaller: d or -2?
-2
Let s = -22 + 166. Let l = s + -1298/9. Is 0 less than l?
False
Let p(i) be the second derivative of i**5/20 + i**4/6 + i**3/3 + 7*i. Let t be p(-3). Which is smaller: t or 0?
t
Suppose -26 = 3*f + 76. Let p be (-1 - f)*(-2)/(-6). Is 12 != p?
True
Let u be 51/(-9) + 1 + 2. Is u > -4?
True
Let o = 205 + -313. Let c be (2/(-44))/((-9)/o). Is 0 less than or equal to c?
False
Let m be -4 - (-3 + 6/(-3)). Is -16 at most as big as m?
True
Let a be -3 - (72/(-28) + 0). Is 0 at least a?
True
Let w = -2 - -11. Let f = -10 + w. Are f and 0.3 equal?
False
Let k be 0 - (3 - (-1)/(-3)). Which is bigger: k or -1?
-1
Let y(q) = -q**3 + 3*q**2 + 3*q + 4. Let f be y(4). Suppose f*o = o + 1. Are o and 3/4 non-equal?
True
Suppose -5*y + 2*y = -12. Suppose 0 = -3*i + 12 + 3. Which is greater: y or i?
i
Let o be ((-15)/(-10))/(4/(160/(-15))). Let m = 4 - 6. Is m at least o?
True
Let c = -0.3 + 1.6. Is c smaller than 0.1?
False
Suppose g + 4 = 0, -2*v - 3*v - 4*g + 44 = 0. Does 12 = v?
True
Let o be 2*-29*2/(-4). Let v = 146/5 - o. Let y be (6/4)/((-18)/(-12)). Is y bigger than v?
True
Let q = 458/3 - 151. Let r = -4 - -6. Does q = r