-149. Let h = 1 - 1.1. Which is smaller: h or i?
i
Let s = 0.2 + 0. Let m = 4.24 + -0.14. Let h = m + -4. Is s at least h?
True
Let y = -8 - -8.07. Let u = y - -1.93. Which is smaller: -1 or u?
-1
Let a(w) = -w**2 + 12*w + 9. Let o be a(7). Which is greater: o or -2?
o
Let j = -0.1 - 0. Let s = j - 0.1. Suppose -2*a - 3 = -3*a. Is a smaller than s?
False
Let p = 0.06 - -0.04. Let j = p - 1.1. Which is smaller: j or -2/9?
j
Let a(b) = -b + 9. Let g be a(5). Let i be g/14*7/(-3). Which is greater: 0 or i?
0
Let s = 0.966 + 0.034. Is 0.4 less than or equal to s?
True
Suppose 0 = -w - 4*w + 20. Suppose -3*m - 17 = -w*x + 2, 4*x = -m - 1. Let v be ((-1)/(-3))/(x/3). Which is bigger: 4/7 or v?
v
Let s = -8/93 - -278/2511. Is s > 0?
True
Let o(r) = -r + 9. Let x be o(3). Let y(p) = -p**3 + 10*p**2 - 7*p - 11. Let s = -1 - -10. Let n be y(s). Which is greater: n or x?
n
Let m(d) = -d**3 + 5*d**2 - 3*d + 1. Let z be m(3). Let y be ((-18)/z - -2)/1. Which is smaller: -1 or y?
-1
Let s(x) = x**2 - 9*x + 8. Let b be s(8). Let l be 1 - ((1 - 1) + b). Which is greater: 0 or l?
l
Suppose -88 = m + 4*m - 2*g, 0 = 4*m + 5*g + 77. Let f be m/24 - (-2)/(-8). Which is bigger: 2 or f?
2
Suppose 2*x = -2*n + 2, -5*n + 1 = 3*x - 3*n. Let p = -67/105 + 4/7. Which is smaller: x or p?
x
Let q = -3.98 + 9.2. Let s = q - 5. Let n = s - 0.02. Which is bigger: 0.1 or n?
n
Let k = 9 - 9. Suppose 0 = -5*i - k*i. Suppose 3 = -2*v - h, 5*v = -h - i*h - 6. Which is bigger: 1 or v?
1
Let k be 2/((-12)/(-165))*12/(-15). Is 0 at most as big as k?
False
Let b be 6 - (-1 + 6 + -2). Let s be (-1*(-9)/(-1))/(-1). Let h = -5 + s. Is h at least b?
True
Let o = -18 - -11. Let z = 11 + o. Is z >= -2?
True
Let a = 68 - 48. Is 17 greater than or equal to a?
False
Let g(m) = -3*m**3 + 4*m**2 - 3*m + 2. Let p be g(2). Suppose 0 = -3*w - 2*w - x - 69, 5*w - 4*x + 49 = 0. Do p and w have the same value?
False
Suppose -2*w + 93 = 101. Let d = -2 + -1. Is w < d?
True
Let y(q) = -2*q - 4. Let s be y(-5). Suppose 0 = -r - 3*b - 19, -5*b - 10 = 3*r + 43. Let x be r/15 - (-4)/s. Is x at least 0.1?
False
Let m(r) = 7*r**2 + 3*r + 5. Let o be m(-4). Let i be -1*1 - o/(-115). Which is greater: i or -1?
i
Suppose -36 = 3*p + 3*l + 3, -53 = 5*p - l. Let c = -7 - p. Suppose -5*k + 16 = -c*x - 6, -10 = 2*x - 2*k. Which is greater: -5 or x?
x
Let s = 6 - 6. Let m = s - -0.3. Which is bigger: -0.1 or m?
m
Let x be -1 + -1 + 2 + 2. Let v be ((-3)/(-54))/(x/8). Which is smaller: v or 1?
v
Let n = 7 - 1. Let q be (n/(-18))/((-1)/3). Which is smaller: -2 or q?
-2
Let s(b) = -b**3 + 2*b - 1. Let p be s(1). Suppose p = z - t + 3, z - 4*t + 5 = -4. Let d be -3 - ((-20)/7 + z). Is 1/4 > d?
False
Suppose -5*s = -s + 68. Let g = s + 34. Suppose -g = -5*l + 3*h, 5*l - 2*h - 5 - 8 = 0. Which is bigger: 5/4 or l?
5/4
Suppose -3*j - 2*u = -j + 20, -2*j - 5*u = 5. Suppose 2*w - 45 = 5*w. Is j > w?
False
Let y = -13/19 - -383/532. Which is smaller: y or 0?
0
Let g be (-6 - -5)/(1/(-11)). Is g at most as big as 11?
True
Let s = -10 + 4. Which is greater: s or -7?
s
Let z = -6 - -1. Suppose -2*v - 12 + 2 = 0. Are v and z equal?
True
Let j = 6.73 - -0.27. Is 2/5 at most j?
True
Let g = -22 + 24. Which is smaller: 0 or g?
0
Let r = -3/10 + 9/2. Is 4 smaller than r?
True
Let q = -0.01 + -0.29. Let m = 0 + q. Let o = -30 - -119/4. Which is smaller: m or o?
m
Let i(d) be the first derivative of -d**2/2 + 8*d - 1. Let k be i(6). Suppose -k*a - 1 - 3 = 0. Which is smaller: -1 or a?
a
Let y = 5909/30 - 197. Let k = y + -1/15. Let u = k - -7/20. Is u smaller than 2/7?
True
Suppose 0*b = -b - r + 4, -5*b + 5*r = 0. Suppose 2*f + 0*f + b*w = -2, 6 = 4*f - w. Suppose -1 - f = 2*n. Which is greater: 1/10 or n?
1/10
Suppose -2*l = 6, 4*l - 40 = 4*r + 208. Let s = r - -453/7. Is -6 greater than s?
False
Let l be (6 + -2)/8*0. Is -2/105 <= l?
True
Let i be 9/6 + (-3)/6. Let s = 279/34 + 5/17. Let o = s - 8. Is i bigger than o?
True
Suppose -3*c + 0*j = 4*j + 17, -5*j - 22 = 4*c. Suppose 7 = -4*w - n, -2*n + 5 = -n. Are w and c nonequal?
False
Suppose 2*l + 11 - 3 = 0, -5*w = 4*l + 11. Let g(h) = -h + 9. Let x be g(7). Suppose -y - 3*k + x*k + 6 = 0, 3*k = -y + 16. Is w > y?
False
Let y(d) = 6*d**2 - 10*d - 8. Let u(v) = 5*v**2 - 9*v - 7. Let p(b) = -5*u(b) + 4*y(b). Let s be p(5). Suppose -s*q + 6*q - 9 = 0. Which is greater: 2 or q?
q
Let u be 1*1/(-2)*2. Let s be (-2)/20 - u/2. Which is smaller: s or 6?
s
Let g = 156 - 156. Which is smaller: -10 or g?
-10
Let x = 0 + -0.9. Let i = x - -0.7. Is 2/9 less than or equal to i?
False
Let b be 5*((-390)/(-25))/3. Which is bigger: b or 27?
27
Suppose -13*o + 8*o = -485. Let g = o - 868/9. Is 1 greater than g?
True
Suppose 0 = 5*g - w - 3, 3*g - 2*w = -3*w - 3. Are g and 1 unequal?
True
Let n be (-2)/(-4)*(-4)/6. Which is smaller: n or -2?
-2
Let x(n) = 2*n**2 + 3*n - 3. Let m be x(-3). Let i = -5 + m. Suppose 0 = 3*w - q, 2*w - 2*q = 3 - 7. Is i >= w?
True
Let o = -52083697/1373121 - 7/47349. Let x = o + 38. Which is smaller: -1 or x?
-1
Let a = 7 - 7. Suppose -2*h - 2*w = 3*h - 5, -w = a. Is 4/5 greater than h?
False
Let z = -21834 + 3296906/151. Let b = z + -57542/755. Let n = b - -76. Is -3 at most n?
True
Let b be 8/((-1760)/(-255))*8. Let j = 31/10752 + -27189581/2956800. Let y = j + b. Is y at least 1?
False
Suppose -3*t - 79 = 4*z, 3*t + 4*z + 104 = -t. Let d be 4/(-18) - t/(-9). Let a(r) = 12*r + 70. Let o be a(-6). Is o greater than d?
True
Let p = 18 + -19. Is 1/12 > p?
True
Let s = 116 - 117. Is -4/51 >= s?
True
Let s = 328 - 679/2. Is s smaller than -12?
False
Let m be (2/(-24))/((-10)/(-30)). Is -3 at least as big as m?
False
Suppose 2*f + 3*f = -25. Let c be ((-8)/f)/((-2)/10). Let u(a) = -a**2 - 7*a + 7. Let j be u(c). Which is bigger: j or 1/3?
1/3
Let q(s) = 0*s + s**2 + 1 + 3 + 5*s. Let j(y) = -2*y**3 - y**2 - y + 1. Let z be j(1). Let t be q(z). Is t > 1?
False
Let n = -13 + 6. Let o be 0 + 0 + n + 3. Let d = o - -7. Is 3 != d?
False
Let b = 0.4 - 0.35. Let p = b - -1.95. Let j = -2.1 + p. Which is bigger: j or 2/5?
2/5
Suppose 0 = -4*h + 3*b - 2496 + 159, 3*h + 4*b = -1734. Let n = 3845/7 + h. Let j = n - -33. Which is smaller: 0 or j?
0
Let j = 1.2 + -1. Is j at least as big as -1/2?
True
Let b = -20.35 + -0.65. Which is bigger: 0 or b?
0
Suppose 0 = 4*a + u + 5, -3*a + 2*u + 0*u + 10 = 0. Let g be a*((-1)/2)/1. Let d = -928/1401 + -2/467. Is d bigger than g?
False
Suppose -l - 5 = -2*f, -3*f + 3 + 1 = -5*l. Let b be (f/(-8))/(9/4). Which is smaller: b or 0?
b
Let r = 0.2 + -0.22. Let g = r - -0.02. Do -0.3 and g have the same value?
False
Let h = 10.9 - 10.81. Which is bigger: h or 5?
5
Let k = 0 + 0. Let j be 10/36 + 1/(-2). Which is greater: j or k?
k
Let q = -6.5 - 0.5. Let y = 5 + q. Is -1/4 != y?
True
Let s be 3/2*2 - 0. Suppose 5*d - 16 - 4 = 0. Suppose v = -s*v - d. Which is smaller: -2/7 or v?
v
Let s = -14.4 - 2.6. Let x = s + 18.4. Let m = 0.6 + x. Is m less than or equal to -2/9?
False
Let n = 1.3 + -0.3. Which is smaller: 20 or n?
n
Let n(q) = q**3 + q**2 - 1. Let a(z) = 3*z**3 - 4*z**2 + z - 7. Let c(o) = -a(o) + 2*n(o). Let y be c(6). Is y greater than 2/3?
False
Let k = -0.42 + 0.5. Let z = k + -0.38. Let s = -0.2 - z. Is 0 >= s?
False
Let t be 3 + (2 - (-94)/(-18)). Which is greater: 0 or t?
0
Let n be (1/(-3))/((-1)/9). Let z be n/(21*-1)*3. Which is bigger: z or 0?
0
Let p(c) = c**2 - c + 4. Let a be p(0). Suppose -a = 2*j - 2. Let m(d) = -d + 5. Let b be m(5). Is b < j?
False
Let r = 160 - 1117/7. Which is greater: r or -1?
r
Let d = 4 + -4. Suppose d = -4*l + l + 3. Do l and 5/2 have the same value?
False
Suppose 0*o = -4*o - 2*t + 64, -2*t = o - 10. Suppose -3*a - 3*x + o = 0, 5 = -a + 2*x + 2. Let g = a + -2. Which is greater: 1/6 or g?
g
Suppose -3*t + r = 6*r - 29, -3 = 3*t - 3*r. Suppose -3 = -z + t. Which is greater: 5 or z?
z
Let m = -0.027 + -0.073. Are 1/6 and m nonequal?
True
Suppose -3*d = -2*i, -d = -2*i - 2*i - 20. Let p = -1.9 - -2.97. Let u = 0.07 - p. Is i less than u?
True
Let k(l) = l**2 - 8*l - 10. Let d be k(9). Which is smaller: 2/9 or d?
d
Let g = 1.3 - 6.3. Let w = 2.1 + -0.1. Let k = w + g. Which is smaller: -0.1 or k?
k
Let i = -0.3 + 1.3. Let q = -11.83 - 3.17. Which is bigger: q or i?
i
Let m = 2/109 - -192/1417. Is m at most