. Suppose -1 = x - z*u, 4*x + 54 = -4*u + 2*u. Which is greater: x or -2?
-2
Let y be (-1)/(-1 + (-6)/(-5)). Let m = -13 + 13. Suppose m = 5*h - 5*z + 35, 5*h + 0*z = z - 31. Which is smaller: h or y?
h
Let p(k) = 9*k + 83. Let q be p(-9). Suppose 2*n + 4*a = 22, -q*n = 2*a + 9 - 21. Let w = 389 + -2717/7. Which is bigger: w or n?
n
Let d be ((-5)/(-15))/(3/135). Let v = -16 + d. Is v at least as big as 6?
False
Let h be (59 - 10)/7 + -30. Is h <= -156/7?
True
Suppose -942 = -65*r + 71*r. Is r smaller than -157?
False
Let x = 7 + -8.5. Let a = 52 - 53.4. Let j = a - x. Is -1 at least as big as j?
False
Suppose -f = -5*f + 204. Suppose 4*x + 0*x - f = w, -x + 2*w = -11. Suppose -25*v + 4 = -27*v + 4*l, -2*v + 3 = -3*l. Is v equal to x?
False
Let k = 9 + -7. Suppose -4*y - 4 = 4*p, -4*y - 2 = -4*p + k. Which is greater: y or -2/5?
-2/5
Suppose 0 = 3*o + 3, -11*j + 3*o - 989 = -13*j. Which is greater: j or 0?
j
Suppose 4*m + 2*g - g - 19 = 0, 1 = -2*m + 3*g. Suppose -2*u + 8 = -4*v, -3*v + 6 = -6*v + m*u. Which is bigger: v or -5?
v
Let k be ((-8)/4 - 0)*(-2 + 0). Suppose 4*j + 82 = -y + 1, 5*y + 101 = -k*j. Suppose -76 = 6*r - 2*r. Do r and j have the same value?
True
Let m = -7 - -9. Let s(q) = -q**3 + 5*q**2 - 3*q + 1. Let x be s(m). Let n(i) = i**2 - 8*i + 6. Let j be n(x). Is 1 at most j?
False
Suppose 14 = h + 29. Let c be ((-10)/h)/((-10)/6). Which is smaller: -50 or c?
-50
Let f be (688/(-56))/(3/(-21)). Which is smaller: 87 or f?
f
Let r(v) = -v**3 + 5*v**2 + v - 4. Let p be r(5). Which is greater: 6/275 or p?
p
Let c(b) = -b + 5. Let m be c(0). Let t(w) = -2*w**2 + 15*w - 13. Let x be t(6). Suppose x*f = 4*l - 25, m*l - f = -0 + 5. Which is bigger: l or -6/11?
l
Suppose -168 = -3*v - z - 2*z, 3*v - 150 = 3*z. Suppose 55 - v = m. Which is smaller: 6 or m?
m
Let j be (-32)/16*((-10)/4)/(-5). Is j equal to -102?
False
Let f be 26 + -22 - (330/62 - 2). Is f at least as big as 0?
True
Let k = -2304 + 2304. Let y = 1/23 + 7/368. Is k greater than or equal to y?
False
Let j(h) = h**3 + 14*h**2 - 5*h + 106. Let i be j(-12). Are 456 and i nonequal?
True
Suppose 0*u + 4*u = 2*f, 20 = 5*u. Let t be -3 + 3 + (-2 - 16). Let l = t - -24. Which is greater: f or l?
f
Let s be -81 + 70 + (-168)/(-15). Which is bigger: 283 or s?
283
Suppose 0 = 4*u + p - 2 - 4, -3*p = 6. Suppose 5*m = 5*d - u*d - 37, 5*m + 2*d + 42 = 0. Let f = -13 + 7. Do m and f have different values?
True
Let i be -2*4*(-15)/(-40). Let u = 10 + i. Which is smaller: 11/2 or u?
11/2
Suppose 0 = 5*g - 20, 3*i + 4 = 5*g - 1. Suppose l - 4*y + 22 = 0, -i*l + 10 - 35 = -3*y. Is l greater than 20?
False
Let t = 5 - 11. Let d(i) = i + 14. Let m be d(t). Let c be (m/(-3))/(5/15). Is c at least -6?
False
Let x(p) = p**2 - 2. Let b be x(2). Suppose b*o - 6*o - 5*w = -17, 13 = 3*o + 4*w. Let y be (-2 - -1)/(2 - o). Is 1 < y?
False
Let b(h) = -4*h + 38. Let o be b(10). Let a be -3 + 0 + (-1 - -5). Which is smaller: o or a?
o
Let o = -385 - -400. Which is greater: o or 13?
o
Let t = 17 - 26. Let f(d) = d + 7. Let s be f(t). Let b be (-1 - s)*(-2 + 2). Is -2 > b?
False
Suppose 230 = 10*i + 100. Suppose 0 = -y + 3*y - 24. Is y >= i?
False
Let v = -26.2 - -1.2. Let g = 5 + v. Let q = -20 - g. Which is smaller: q or 2?
q
Let a be -461 - (8/(-12)*3 + 1). Is -460 at most a?
True
Let x = 1.5 - 1.4. Which is greater: x or 84/11?
84/11
Let u = 58 + -27. Suppose -5*t = f - 19, -3*f = -0*t + 2*t - u. Which is smaller: f or 11?
f
Let m be 3/(-7) - 28/49. Is m at least -12?
True
Let c be ((-178)/6)/(58/(-6) - -8). Are 18 and c non-equal?
True
Let u = -1967 - -1973. Let r be ((-8)/(-2))/(2/4). Let z be ((-4)/r)/((-2)/20). Which is smaller: z or u?
z
Let f be (-770)/266 - -3 - 10264/38. Which is smaller: -539/2 or f?
f
Suppose -21*b + 20*b = -128. Let l = -642/5 + b. Which is greater: -1/12 or l?
-1/12
Let c = 0.86 + 0.24. Let s = -45 - -45.1. Are c and s non-equal?
True
Let b be (-242)/(-968) + 0/(-1 + 2). Suppose 0 = 5*s + r - 37 - 30, -5*s - 2*r = -64. Let o be 0 + (-40)/s - -2. Is b != o?
True
Suppose -12*d = -10*d - 24. Suppose d*v - 7*v = 0. Suppose v = -f - f. Which is greater: f or -1/17?
f
Let s(w) = -w**3 + 12*w**2 - 13*w - 20. Let o be s(10). Which is bigger: o or 47?
o
Let h = -0.43 + 0.03. Let f = -11 + 10.976. Let x = f - -0.024. Do h and x have different values?
True
Let l = -1715 - -1769. Which is smaller: l or 163/3?
l
Let b = -190 + 270. Let i = b - 78.4. Which is greater: 0.1 or i?
i
Suppose -589 - 341 = 5*g - 4*k, -4*g - 4*k = 708. Are -182 and g non-equal?
False
Let w = -24/13 + 670/377. Which is greater: w or -1?
w
Let y = -3 + 10. Let l = y + -27. Let p be (-15)/6*24/l. Which is bigger: p or 1?
p
Let l be 6/(-2) + (15 - 11). Let z = -3 - -13/5. Is l < z?
False
Let i = 24.33 + -0.33. Let d = -26 + i. Let t be 2/6*(-6)/(-8). Is d less than or equal to t?
True
Let g(r) = -r**2 + 4*r + 12. Let q be g(6). Let x be -6*(-2)/8 - -1*9. Which is smaller: x or q?
q
Let n = -131 + -691. Is -822 at most as big as n?
True
Let a = -239784/5 + 47796. Let f = -162 - a. Which is smaller: f or -1?
f
Let t = 54.2 + -76.1. Let a = t - -22. Let o = 0 - a. Which is smaller: 1/21 or o?
o
Suppose -9*j = 23 + 13. Which is smaller: j or -26/9?
j
Let c = -155.4 + 81.4. Which is smaller: -5 or c?
c
Suppose -2*i + 10 = k - 28, -134 = -4*k - 2*i. Let g = k - 29. Suppose -2*x = -g*x + 4*r + 10, -4*r - 22 = 5*x. Which is smaller: x or -3?
-3
Suppose 122 = -555*a + 556*a. Which is greater: a or 123?
123
Let z = 3 - -8. Let t be (104/91)/((-4)/(-14)). Suppose 3*u - z = -t*y - 1, -2*u - y = -5. Which is smaller: 0.6 or u?
0.6
Let x be -3 + 6 + -7 - (-640)/165. Which is bigger: x or -1?
x
Let v = -11 - 4. Let l be (6/v)/((-65)/(-25)). Let r = -13 + 13. Which is greater: l or r?
r
Let a be (69/15 + -1)*-10. Let b = a + 36. Let g be (-2)/(-9)*3/(-6). Is g at most as big as b?
True
Let u be (-8)/762 + 0*(-2)/4. Is 0 less than u?
False
Let n be (-8134)/931*(0 - -1). Is -8 < n?
False
Let r(x) = -x**2 + 13*x - 2. Let v be r(13). Let g be v*(-2 + 2/((-48)/(-51))). Is 2 < g?
False
Suppose 4*c - 4*a = 0, -4*a - 2 = 6. Let u be 1 - ((1 - c) + -1). Let g be 69/24 - 12/16*4. Is g not equal to u?
True
Let d = -25 - -16. Let r be (1*3/d)/(3/9). Let h be (12/(-450))/(1/5). Is h equal to r?
False
Let t be (3645/(-21))/(3/(-2)). Let v = -116 + t. Is v smaller than -1?
False
Let g = 638 + -304. Is 334 at most as big as g?
True
Let s(f) = -f**2 + 8*f - 3. Suppose -o + 1 = -6. Let u be s(o). Let z be 21/(-60) - u/10. Is z equal to 1?
False
Let m = 422 - 425. Let x = 5 - 2. Is x greater than or equal to m?
True
Let j(q) = -q**2 + 12*q + 11. Let n be j(12). Suppose -c = -4*g + 19, 2*g + 2*c - 3*c - n = 0. Suppose -16 = -4*s, 3*s = -2*d + 18 - 0. Which is bigger: d or g?
g
Suppose p = -2*z - 38 - 3, z - 5*p = -26. Let m be 2/(-6) + (-1)/z. Which is greater: -15 or m?
m
Let b = 459 + -2292/5. Is 26 bigger than b?
True
Let j = -263/3 + 89. Let i(a) = -a + 8. Let s be i(4). Suppose s*b + b = 0. Which is smaller: j or b?
b
Let h = -0.4 + 1. Let k = h + -0.5. Suppose -3*r = 2 + 13. Is r < k?
True
Let w(p) = -25*p**2 - 3*p - 3. Let o be w(-1). Which is bigger: -22 or o?
-22
Let p = 1497.84 - 1498. Which is smaller: -1.4 or p?
-1.4
Let a = 2.8 - -0.2. Let u(s) = -5*s**2 - 10*s - 3. Let t be u(-3). Let f(d) = d + 19. Let o be f(t). Is a < o?
False
Let f(j) = -j**2 + 3*j - 854. Let q be f(0). Is -854 not equal to q?
False
Let z(g) = 91*g + 16. Let o be z(1). Is o at least as big as 106?
True
Let s be (-9)/(-6) + 194/4. Suppose s = 3*z + 2*t, 3*t - t = -z + 10. Which is smaller: z or 22?
z
Let z(s) = 1735*s - 1. Let i be z(-1). Let v = i + 112844/65. Is v smaller than 0?
False
Suppose 2*t + 3*f = 30, -f - 29 = -2*t + 1. Let w be 170/t - (-2)/3. Let u = -12 + w. Is u greater than 0?
False
Let z(k) be the first derivative of k**4/4 + 7*k**3/3 + k**2/2 + 10*k + 6. Let g be z(-7). Suppose 8*p + 21 = 5*p + i, -p + 3 = g*i. Which is smaller: p or -4?
p
Let p = 202 - 229. Is p bigger than -23?
False
Let w be (1 - -2)/(0/1 - -3). Let x(l) be the first derivative of 3*l**2/2 - 3. Let s be x(1). Is s > w?
True
Let b(k) = -k**3 + 8*k - 3. Let a be b(3). Let l be (-4)/10 + a + 665/100. Is -1/26 less than or equal to l?
True
Let n = 1140066/113 - 10089. Is -1 at leas