- (-2)/(-2). Let j = -2 + i. Suppose 4*l = -3*n - j + 6, -3*l + n = 10. Which is greater: -1/2 or l?
-1/2
Let u be ((-1540)/25)/(-173 + -1). Let y = u + 4/87. Which is smaller: y or 1?
y
Let i be 2/(-2 + 3) - 3. Suppose 5*f - 2*t - 8 = 0, -3*t = 2*f + t - 8. Let s be f + 2/((-6)/15). Is s greater than i?
False
Let d = 19.966 + -20. Let a = d - -5.134. Let t = a - 5. Which is bigger: t or 2?
2
Suppose -3*s = -6*s. Is -4/9 at most s?
True
Suppose 6 = -4*c + 22. Let q be c + 1 - 2 - 2. Is 2/29 at least q?
False
Let h be (-4437)/360 + 2/16. Is -13 <= h?
True
Suppose 90*h = 100*h + 110. Let l be 75/(-7) - (-2)/(-7). Is h smaller than l?
False
Suppose 4*i + 26 = -6. Is i at most -4?
True
Let s be (-4 - (-27)/6)/((-5)/6). Which is bigger: 3 or s?
3
Suppose -2*y = -5*m + 38, -3*m + 2*y - 4 = -5*m. Which is bigger: 14/3 or m?
m
Let g(d) = d + 3. Let a be g(-9). Which is smaller: -3 or a?
a
Suppose 0 = 4*o - f - 5, 2*o = -3*o - 2*f + 3. Is o smaller than 2/101?
False
Suppose 24 - 30 = -2*u. Let w be 6/(-1 + -2 + 2). Let k(t) = -t**2 - 7*t - 3. Let p be k(w). Is p at most as big as u?
True
Let o be 10 - (1 - (-3 + 3)). Let n = o + -10. Are -2/23 and n equal?
False
Let n = 4 - -13. Is n <= -1?
False
Let v(g) = -g**3 - 4*g**2 + 6*g + 4. Let a be v(-5). Let h(n) = -n. Let w be h(-5). Suppose 4 = -4*d, -r - 5*d = r + w. Which is bigger: r or a?
r
Let z(j) = j**3 - j - 12. Let a be z(0). Let g be ((-2)/6)/(1/a). Suppose -4*c + 8 = 4*x, -4*c + g*x = -x + 37. Which is greater: c or -1?
-1
Let q = -2 - -4. Suppose 6*y - q*y = 0. Suppose -2*j - 5*i + 2 + 14 = 0, y = -2*j - i. Which is greater: j or -1/2?
-1/2
Let k be (((-147)/(-12))/7)/((-3)/12). Which is bigger: k or -4?
-4
Let t be (-9)/2*(-16)/12. Let s be ((-3)/t)/(5/6). Is -2 at least s?
False
Suppose 4*h + 18 = 2. Suppose -16 = 2*l - 4*u, -2*l - 2*u = -l + 4. Let t = l - h. Do t and -3 have different values?
True
Let d = -1.4 + -4.7. Let i = 6 + d. Is -1/3 at least as big as i?
False
Let s = -135 + 133.4. Is s >= 1?
False
Let k = -5/6 + 1/6. Are k and 1.3 nonequal?
True
Suppose -c + 1 = -0*o + 2*o, -20 = -5*o. Let i = 8 + c. Is i >= 5?
False
Suppose -4*i = 5*g - 740, 6*g - 4*g - 3*i - 273 = 0. Let u be g/308 + 2/(-11). Which is smaller: u or 0?
0
Suppose -2*g = -3*g - 5*m - 158, 5*g + 3*m = -746. Let b = 1330/9 + g. Which is bigger: 0 or b?
0
Let n = -25 + 42. Let g be (-5)/(-15) - n/(-3). Let j = -5 + g. Is 4 less than j?
False
Suppose 5*a + 3*k = -20, -5*a = -3*k - 1 - 9. Is a at most as big as -2/29?
True
Suppose -4*j = -3 - 5. Which is smaller: j or -1/3?
-1/3
Let t = -1.2 + -6.8. Let l = 11 + t. Let u be 0 + 5/7 + -1. Which is smaller: u or l?
u
Let l(n) = -n**3 - 4*n**2 + 6*n + 6. Let x be (2/(-4))/(1/10). Let u be l(x). Let y = 1 - u. Does -2/5 = y?
False
Suppose 5*v + 0*v = 0. Let h be -2 - 8 - (v + -2). Is h > -8?
False
Let m = 2.06 + -0.06. Let z = 2 - m. Let q = z + -0.2. Which is bigger: 1 or q?
1
Let w = 7 + 1. Let s = w - 7.8. Is -1 <= s?
True
Suppose 0 = -r + 5*r + 4. Which is smaller: r or -3/7?
r
Let d(f) be the second derivative of f**5/20 + f**4/2 + f**3 + 5*f**2/2 + 5*f. Let h be d(-5). Do -1/6 and h have different values?
True
Let w be 50/(-204) - (-13)/39. Which is smaller: w or -1?
-1
Suppose -2*z + z - 4*r = -16, -2*r - 10 = -4*z. Suppose -5*o + 18 = -4*x, -17 = 4*x - z*o - 1. Is -2 < x?
False
Suppose -4*t + 15 = -9. Let k be (8 - -1)/1 - (-28 - -31). Are t and k nonequal?
False
Let q be 1*(1 + 1) + -3. Which is bigger: -8/11 or q?
-8/11
Suppose -7*n = -5*n - 12. Let w be 15/n*-2*1. Is -7 < w?
True
Suppose -2*b - x + 6*x - 12 = 0, -3*x = 3*b - 24. Let m be (-2)/(-2*(-2)/b). Let f be -2 + 4 + m + 1. Is f less than or equal to -1/3?
False
Suppose -130 = -11*j + 266. Is 35 less than or equal to j?
True
Let h = 5 - 1. Suppose 3*g + 1 = -c - h, -5*c = 2*g - 14. Suppose -3*x - 7 = 2. Are g and x non-equal?
False
Let l(y) be the third derivative of y**5/60 - 7*y**4/24 + 2*y**3/3 - y**2. Let r be l(7). Suppose -3*o + 8 = r*s, 3*o = -0*o + 12. Is s <= 0?
True
Let x(z) = -z - 2. Let p be x(-5). Suppose 3*f + 1 = -g, -g = 4*f - p*g - 12. Let m be -4*(0 - -1)*f. Is m less than -4?
False
Let b = -0.167 - -0.067. Let x = 24/17 - 997/68. Let p = -13 - x. Which is bigger: p or b?
p
Let y = 78 + -552/7. Let g = y + 85/91. Is g bigger than 1?
False
Suppose 3*b = -5*v + 9, 5*b - 1 = -4*v + 1. Suppose -2*s + 1 = v. Which is bigger: s or -2/17?
-2/17
Let z be (-5)/((-5)/(-2) - 3). Which is smaller: z or 11?
z
Let p = -1.3 - 0.5. Is p != -1?
True
Suppose 4*d + 4*l - 1 = 11, -5*d + 6 = -4*l. Which is bigger: d or 8/5?
d
Let p be (-4)/12*(-10 - -1). Suppose -q = 2*v, -2*v + 7*v - p = -q. Let a be ((4 - 0)/q)/2. Is 1 at most a?
False
Let b be 6 + 8/(-4) + -2. Suppose b*o - 6 = -2*j, 2*o = 7*o + j - 19. Is 1 at most as big as o?
True
Let i(l) = l**3 - 4*l**2 + 3*l. Let r be i(2). Let x be ((-36)/(-15))/(33/(-15)). Which is bigger: r or x?
x
Let s = -2.5 - -0.4. Let v = 2.1 + -0.1. Let i = s + v. Which is bigger: i or -2?
i
Let h = 43.7 + -46. Let v = 0.3 + h. Let c = v - -1.9. Which is smaller: c or 0.3?
c
Let n = 29 + -33. Is 0.2 less than n?
False
Let i(n) be the second derivative of n**4/12 + 2*n**3/3 + 3*n**2/2 + 3*n. Let s be -2*2/((-12)/(-9)). Let v be i(s). Which is smaller: v or -1?
-1
Suppose 0*d = -6*d + 24. Do 6 and d have the same value?
False
Let a(q) = q**3 + 8*q**2. Let n = -11 + 3. Let b be a(n). Is b equal to 2/17?
False
Let b be (3 - 6) + (0 - 2). Does -7 = b?
False
Let c = -60 + 103. Do 43 and c have different values?
False
Let o = 20 + -52. Is o at most as big as -32?
True
Let x be 66/4*(-2)/(-3). Let l = -8 + x. Which is bigger: l or 4?
4
Suppose 0 = 2*x - 3*t + 5, x - 3*t = -3 - 4. Suppose -x*u + 4*u - 4 = 0. Let j be (-2)/(-3) + (-2)/(-6). Which is bigger: u or j?
u
Suppose 3*z = 7*z. Suppose 11 = 3*j + 3*f + 2, z = j - f - 3. Is 3 > j?
False
Let b(x) = x**3 + 4*x**2 + 2*x. Let f be b(-3). Suppose 2*a + 5 = -f*a. Let z be 0 + 1 + a + -1. Which is smaller: z or 0?
z
Let z(i) = i**3 + 15*i**2 + 10*i + 27. Let j be z(-15). Are 1 and j nonequal?
True
Let a = 9.07 - 0.07. Which is greater: a or 2/5?
a
Let r be 0/((-2)/1*-1). Let j be (-1)/(-5) - 28/(-10). Let y be j/3*(-4 + 0). Which is greater: y or r?
r
Let j(w) = w**3 + 8*w**2 + 7*w + 1. Let p(c) = c**3 + 8 - 7 - 7*c**2 + c - 4*c - 6*c. Let r be p(8). Let h be j(r). Is h greater than or equal to -1?
True
Let h = 0 + 0. Let g = 45 - 44.94. Is h greater than g?
False
Let n = -0.115 + -7.185. Let j = n - -7. Let l = 0.2 + j. Is 2/7 at least as big as l?
True
Let k = 8/39 + -76/117. Let b = k - -17/18. Let m = 24 - 22. Which is bigger: m or b?
m
Suppose 6*c = 8*c - 8. Suppose -23 = -3*t + c*h, 4*t + 9*h - 4*h = -21. Which is smaller: t or 2/7?
2/7
Let w(z) = -4*z + 10. Let m be w(4). Is -6 >= m?
True
Suppose 3*k + 2*y = 52, 4 = -2*y - 2*y. Let b be (12/k)/((-2)/3). Is -2 less than b?
True
Let u = 219.98 - 223. Let p = -0.02 - u. Let o = -4.9 + 5. Is o greater than p?
False
Suppose -5*b = -10*b - 3*b. Which is smaller: b or -1?
-1
Let z be -20 + 0 - (3 - 4). Is -19 greater than z?
False
Let d(b) = b - 3. Let m be 1 + -4 + 0/(-3). Let p be d(m). Let o be 1/1*(-2)/p. Which is smaller: 0 or o?
0
Let d = 7 + -9. Let u be -1*(-1 - 1) + d. Do u and -2 have different values?
True
Let x be 2 - (-3)/((-51)/37). Which is smaller: x or 1?
x
Let p(w) = 2*w - 10. Let c(r) = 2*r**2 + 6*r + 5. Let s be c(-3). Let f be p(s). Which is greater: 0.08 or f?
0.08
Suppose -2*b + 6 = o, 0*b = -2*b. Let c(i) = -i**3 - 5*i**2 - 4*i + 5. Let t be c(-4). Suppose -5*l - t*q = -30, 0 + 4 = 2*q. Are o and l equal?
False
Let y = 1 + -1.4. Let j = 1 + y. Let h = j + -0.7. Which is smaller: 2/11 or h?
h
Let m = 2.5 + -1.5. Let w = m - 1.1. Which is bigger: 0.05 or w?
0.05
Suppose 0 = -3*r + 15, -3 + 11 = -c + 3*r. Let i = -46 + 54. Which is bigger: i or c?
i
Let a(l) = -l**3 - 7*l**2 - 1. Let c be a(-7). Let m = c - -2. Let o = 64/69 + -6/23. Is o less than or equal to m?
True
Let x = -146 - -728/5. Which is greater: 5 or x?
5
Let d be -4*(-4)/(-255)*-116. Let b = d + -126/17. Which is smaller: 0 or b?
b
Let s = 20 + -21. Let q = 663 + -665.99. Let w = q - -3. Which is smaller: s or w?
s
Let m be 1/(-15)*(0 - 2). Suppose -18*c - 9*c - c = 0. Which is smaller: m or c?
c
