9. Is i < k?
False
Let h = -7 + -27. Is -25 greater than h?
True
Let j be -5 - -5 - 12/3. Let n = j + 3. Let p be (16 - 18) + n*3. Which is smaller: p or -13/3?
p
Let a = -2.83 + 3.03. Are -65 and a non-equal?
True
Let j be (2 + -220)*(-4)/8. Does 109 = j?
True
Let m = 4898/9 + -544. Which is smaller: m or 0.012?
0.012
Let w be (-21*2)/((-135)/(-90)). Is w >= 0?
False
Suppose 0 = -2*x - 2*k - 10, -5*x + 2*x - 4*k = 19. Let y be (5/3 + (-12)/18)/1. Which is smaller: y or x?
x
Let y = -5 - -7. Suppose q + 3*d = -19, -3*d + y*d = 5. Let p = 78 - 83. Which is smaller: p or q?
p
Let p be (33/(-22))/(2 + 10/(-8)). Which is smaller: -5 or p?
-5
Let h(u) = -u**3 - 2*u**2 + 3*u - 4. Suppose 4*w = i + 3, 0 = -5*w + 2*i - 0 + 6. Suppose 3 = -w*n - n. Let t be h(n). Is t at least -4?
True
Let p = -0.4 + 0.3. Let i = 9.206 + -5.606. Is p equal to i?
False
Let r(w) = w**2 + 6*w - 6. Let d(v) = -2*v - 2. Let g be d(2). Let q be r(g). Suppose 3 = -2*o + p, 13*p = -5*o + 16*p - 7. Is q at most as big as o?
True
Let y = 5143512797/13 - 395386768. Let z = -267883 + y. Let s = 180 - z. Is s at least as big as 1?
False
Let g(y) = 141*y + 10. Let w be g(1). Which is bigger: w or 152?
152
Let c = -24 - -48. Let d = 21 - c. Which is bigger: 0.3 or d?
0.3
Let o = 17037 - 8927391/524. Which is smaller: 1 or o?
o
Let o = -5 - -5.9. Let g = -186 - -187. Which is greater: g or o?
g
Suppose -24 = 18*s - 14*s. Let r be -19 + 17 - s/2. Which is bigger: -2/199 or r?
r
Suppose -3*f - a - 3*a = -38, 2*f + 5*a = 30. Let z(r) be the third derivative of -r**4/24 - r**3 - 185*r**2. Let v be z(f). Is -16 at most v?
True
Let i = 396/35 + -58/5. Which is smaller: i or -92?
-92
Let p = -549/76 - -142/19. Which is smaller: p or 1/11?
1/11
Suppose -3*a = a. Suppose a = -z - 3*z. Let q be ((-8)/5)/8 + 2/5. Which is bigger: q or z?
q
Let o = -4 + 10. Let t = 1045 + -1050. Which is smaller: t or o?
t
Let v = -43.9 - -46. Let s = 0.042 - -2.258. Let a = v - s. Which is smaller: -1 or a?
-1
Let g(o) = o**2 + 11*o + 3. Let x be g(-11). Suppose -3*m = -3, -5*z - 9 = -x*z + 5*m. Let f = 0.01 + -0.11. Is f at least as big as z?
True
Let z = -63 + 63. Which is bigger: 1/88 or z?
1/88
Let n = -657 + -35. Which is bigger: n or -690?
-690
Let b = 0.8 - 27.8. Let l = 24.3 + b. Which is smaller: l or -2?
l
Let o = 1 - 2. Let s be 367 - (-4 + (1 + 6 - 4)). Suppose -s*d - 60 = -374*d. Is d at least o?
True
Let i = -2 + 4. Let h = 3 - i. Let d = 283 + -283.1. Is d equal to h?
False
Let c(t) = t**3 + 2*t**2 + 3*t + 1. Let w be c(-3). Let i = -914 + 896. Which is smaller: i or w?
i
Let x be 6/(-4)*(4 - 0). Let f(g) = -g**3 - 4*g**2 - 6. Let h be f(-4). Are x and h nonequal?
False
Let y be 17/((-561)/(-6)) + 31/11. Which is greater: 181 or y?
181
Let h = 256.5 + -254. Is -4 greater than h?
False
Let l(x) = x + 8. Let z be l(0). Let o(k) = -k - 2. Let q be o(-3). Let p be 2/z + q/(-4). Which is bigger: 2/35 or p?
2/35
Let d = -0.14 - -0.06. Let y = 1.08 + d. Which is greater: 1/3 or y?
y
Let j = -58 + 57.9. Suppose 3*i + 4*c = 513, 0 = -2*i + 2*c + c + 342. Let o be ((-6)/i)/(2/(-6)). Which is greater: o or j?
o
Let c = -291.3 + 291.2. Let m = -5 - -1. Does c = m?
False
Suppose -3*y + 3*m = y, -3*m = 0. Which is smaller: 2/337 or y?
y
Let z(o) be the third derivative of o**5/60 - o**4/12 + o**3/3 + 8*o**2. Let g be z(1). Is g != 21/10?
True
Let y = 1.5 - 1.4. Let k = -31 + 28.1. Is k at most as big as y?
True
Suppose -5*q - 3*w + 24 = 0, 0 = -6*q + 4*q + 5*w + 22. Let g(h) = 2*h - 3. Let u be g(q). Let s(n) = 6*n + 15. Let c be s(-1). Is u > c?
False
Suppose -5*v + 55 = 2*z, -5*v = -5*z + 132 - 12. Let q(g) = 3*g**2 - 17*g + 20. Let m be q(6). Which is smaller: z or m?
z
Let z = -37 + 24. Let s = -14 - z. Let c = -108 + 93. Which is bigger: s or c?
s
Let o(p) be the third derivative of -p**5/120 + p**4/4 + 5*p**3/6 - 3*p**2. Let d(c) be the first derivative of o(c). Let a be d(0). Are 6 and a equal?
True
Let d = -1 + -2. Let c = 15 + d. Which is smaller: 2 or c?
2
Let w = -171 + 170. Let o = -0.4 + 0.5. Is o <= w?
False
Let l be -1 - -3 - (126/9 + -40). Which is smaller: l or 42?
l
Let w be 15/2 - 60/24. Suppose 4*y - 3*f = w, -y - 4*f - 13 = -0*f. Let d be (-5 - -4)/(41/(-2)). Is y smaller than d?
True
Let u = 70 + 27. Are 94 and u non-equal?
True
Let r = -15554/3 + 6952636/1341. Which is bigger: -1 or r?
r
Suppose 3*a = -i + 2*a - 2, 0 = -3*i + a + 14. Suppose -2 = -q + g, -5*q - 2 = 6*g - 5*g. Let t be 0 - q - i/15. Is t smaller than -1?
False
Let r = -16388/1015 - 11/203. Is -17 smaller than r?
True
Let q be (-171)/456 - (-2410)/(-16). Is q at most -150?
True
Let c be -37 + (-2 - (-12 + 3)). Is 3 >= c?
True
Let o be 32/(-55) - (224/(-35) - -6). Which is bigger: -50 or o?
o
Let k be -21 + 1*1/(-1). Let w = -23 - k. Which is smaller: w or 2/13?
w
Suppose -220*u = -190*u - 840. Suppose 5*r = -2*s + 59, -3*r - 29 + 5 = -s. Which is bigger: u or s?
u
Let t = 2124 - 2107. Is 135/8 less than t?
True
Let r be (8/3)/(8/144). Suppose -44*g = -r*g - 8. Let y be (2/(-6))/(2/9). Which is smaller: y or g?
g
Let z = -65 + 68. Let h = z - 2.6. Let x = 0.2 - 0.7. Is h greater than x?
True
Let h = -1.6 - 1.9. Let n = -17.5 - h. Let j = n - -13. Which is bigger: j or -1/4?
-1/4
Let a be 2/(-21)*66/(-275)*10. Is a at least 1?
False
Let p = 11.2 + -15.2. Which is smaller: 1 or p?
p
Suppose -5*g + 5 - 24 = -o, -2*o - 5*g = 22. Which is smaller: 1/528 or o?
o
Let k = -0.63 + -0.55. Let i = 0.22 - k. Let h = i - 0.6. Which is greater: h or 0?
h
Suppose -q - 24 = -4*q + 3*m, 2*m = -2*q + 16. Let s be ((-2)/3)/(q/(-60)). Suppose l = s*l - 16. Is l bigger than 6?
False
Let s(y) = 5*y + y - 25 + 24. Let t be s(2). Let j = t - 17. Does -5 = j?
False
Suppose 10*f = 17 + 3. Which is greater: f or 16/29?
f
Let k = 22 + -16. Let h(y) = 4 - 6 + y**3 + k*y - 7*y**2 + 4 + 14*y**2. Let g be h(-6). Which is smaller: g or 5/3?
5/3
Let i be (-3)/12 - 2/(-8). Suppose i*a - 9 = -3*a. Are 1 and a unequal?
True
Let n = -10.9 + 10.8. Is n <= 104?
True
Let z(l) = l - 14. Let x be z(16). Let y be ((-182)/30 - (-4 + x)) + 4. Which is smaller: y or 2?
y
Let x(r) = r - 3. Let h(k) = -k + 4. Let v(u) = -4*h(u) - 3*x(u). Let i be v(10). Let m be (-1)/i + (-3)/(-9). Which is greater: 3/5 or m?
3/5
Let v be 1/(21/6) + 254/(-7). Let i be (74/(-3))/(6/9). Which is greater: i or v?
v
Let l = -5 - -1. Let w be ((-2)/l)/((-13)/(-104)). Suppose 0 = -w*s - 1 - 3. Is s less than or equal to 2/13?
True
Suppose -5*f = -36 - 14. Suppose f*h = 8*h. Which is smaller: h or 1/15?
h
Let j be (-3 + 0)*(-4)/(-6). Let a be j/2 + 0/1. Let r = 13008/150121 - -2/6527. Which is smaller: a or r?
a
Suppose -5*i = -u - 4*i + 45, -60 = -u - 2*i. Suppose 5*m - 2*p - 105 = u, m + 2*p = 43. Is 33 >= m?
True
Suppose -2*m - 625 = 5*u, 0 = -4*m + u + 4*u - 1265. Let f = 5983/19 + m. Which is greater: f or 0?
0
Let l = 463.1 - 589. Let z = l + 134. Let v = 8 - z. Is 7 smaller than v?
False
Suppose -2*l - 45 = -5*l. Suppose -2*a - l = -7*a. Let k be (a/(-12))/(28/32). Which is smaller: -4 or k?
-4
Suppose t - 33 = -5*s, 6*t = 2*t - 2*s + 168. Suppose h - 3*o - 26 = 0, 9*h - 2*o - t = 6*h. Is 10 at most h?
True
Suppose -c - 3*u - 10 = 0, 11*c - 9*c - u - 15 = 0. Suppose 0*g + 2*g = -110. Let f = -103/2 - g. Is c < f?
False
Let k = 39789/22 - 1809. Which is bigger: 1 or k?
1
Let h be 15/(-35) - (2 + (-18)/(-7)). Let n(z) = z + 5. Let d be n(h). Which is bigger: 3/26 or d?
3/26
Let p = -53 + 56. Suppose 7*n = 10*n + p. Let c = -4 - -4.12. Which is bigger: n or c?
c
Suppose 15*p - 24 - 576 = 0. Which is smaller: p or 39?
39
Let d(w) = w + 6. Let l be d(-2). Let v be 1/2*8 + (-2)/(-1). Is v less than l?
False
Suppose 0 = 3*a - 3*y - 75, 4*a + 4*y - 3*y - 120 = 0. Suppose -j = -3*x - 12, -5*x - a = -j - 9. Is -5 at most as big as x?
True
Let r be (-1 + 1)/(-2 + 4). Let w be (-3 - -2)*(77 + -1). Let f = 230/3 + w. Which is greater: f or r?
f
Let a be 1 - (186/(-40))/3. Let d = 487 + -2449/5. Let w = a + d. Which is greater: 0 or w?
0
Suppose p - 21 = -4*v + 31, -2*v = 3*p - 126. Suppose 0*j - 4*j = -p. Let i be 8/(-90)*(-15)/j. Which is bigger: -1 or i?
i
Let l = 429 - 560. Is l greater than -135?
True
Let k = 5 - 4. Let i(s) = -7*s + 13. Let v be i(4). Let r be (5/v)/((-129)/(-18)). Is r less 