0 = -0*f + 3*f - 15. Let m = f - 5. Is 2 bigger than m?
True
Let o = 12 + -6. Suppose o - 2 = 4*c. Let s be (-5)/(-21) + (-6)/9. Which is smaller: s or c?
s
Suppose 3*q + 7 = 1. Suppose -2*f + 4*j + 12 = -8, 20 = -5*j. Suppose l + 2 = -t, 4 = -f*l + 3*t - 5. Which is smaller: q or l?
l
Let y be ((-12)/(-5))/((-4)/30). Suppose 2*p - x + 5 = 0, 2*p + 4 = -x - 3. Let s be 15/y + (-1)/p. Is s smaller than 0.1?
True
Suppose 0 = 2*s - 0 - 2. Let z be ((0 - 1) + 2)/1. Are z and s unequal?
False
Suppose 0 = -3*q - 4*v - 13, -2*v + 1 = -2*q + 3*v. Which is greater: 1 or q?
1
Let w = -3 - -4. Let k = w + -2. Is k bigger than 1/5?
False
Let x(b) = -b**3 - 4*b**2 + b + 4. Let k be x(-4). Let w = k + 2. Is 4/5 at most as big as w?
True
Let c be (6 + (-123)/21)*(-7)/(-6). Let s be 1 + (-2 - 2/(-2)). Are s and c unequal?
True
Suppose -n + 0*n = -4*x - 17, -2*n - 5*x = -47. Suppose 4*t - t = n. Let l be (1/(t/(-4)))/2. Which is greater: 0 or l?
0
Let r(m) = -9*m - 29. Let q be r(-5). Is q < 15?
False
Let c = -6.96 + 7. Let m = 1.96 + c. Let z be ((-1)/4)/(-1)*1. Is z >= m?
False
Let c = -1.4 + 3.5. Let a = c + -2. Which is smaller: -4 or a?
-4
Let m be -4*7/(14/4). Let i(x) = -2*x - 11. Let k be i(m). Is 4 < k?
True
Let d(j) = j**2 - 8*j. Let o be d(9). Suppose 4*r = -4*t + 4, -4*r + 5*t + o = -4. Let i be (-24)/(-9) + -1*2. Which is bigger: i or r?
r
Let w(d) = -d**2 - 3*d + 4. Let h be w(-3). Suppose -h*s + 2 = -3*s. Suppose -7*j = -4*k - 2*j - s, -5*k - j = 17. Are -2 and k equal?
False
Let s = 1.09 + 0.21. Let z = -0.7 + s. Let h = z - 0.8. Is h greater than or equal to -2?
True
Let g(c) = c**2 - 11*c + 11. Let j be g(10). Which is bigger: j or 3/8?
j
Suppose 4*v = 2*s + 12, -4*v = -0*s - s. Let r = -10 - s. Is 1 less than or equal to r?
True
Let y be ((-14)/4)/(1/(-2)). Suppose -5*u + y = -3*f, -u = -2*u + f + 3. Let c(x) = 2*x**2 - 13*x - 9. Let p be c(7). Is p greater than or equal to u?
False
Let s = 288 - 6622/23. Suppose x = 4*x - 3. Is x != s?
True
Suppose x - 20 = 6*x. Let i = x + 2. Let q be 3/30*i*2. Which is smaller: -1 or q?
-1
Suppose 4*v - r = -9 - 2, -4*r + 12 = 0. Is v less than 24?
True
Let b = 1.6 + 0. Let m = 1.4 + b. Which is smaller: 2/11 or m?
2/11
Let f(g) = -g**2 - 4*g - 4. Let d be f(-3). Let m = 13 + -9. Let v be (-11)/m - (-1)/(-4). Which is smaller: d or v?
v
Let z be (-4)/(-4)*(-2 + 2). Suppose 3*m - 10 = 4*m - 2*y, 4*y - 16 = 0. Which is smaller: m or z?
m
Let a be (-4 - -1)*(-10)/3. Let j be (-2)/5 + (-6)/a. Is j smaller than -3/7?
True
Let j = 0 - 3. Let b(p) = 2*p - 5. Let a be b(5). Let k = a - 5. Which is smaller: j or k?
j
Suppose 3*w - 5 = 4. Which is smaller: 1 or w?
1
Let x = -30 - -24. Is x greater than -6?
False
Let r = 253/6 + -353/12. Let f = r - 13. Which is greater: f or 0?
0
Suppose z - 5*b - 11 - 1 = 0, -3*z + 10 = -2*b. Suppose -9 = 3*c - 0*c, -l = 4*c + 4. Let y = l + -6. Is y > z?
False
Let q be ((-16)/(-10))/(8/20). Let n be (-19)/(-3) + (-4)/12. Let i be 3/n + 2/q. Is 1 at least i?
True
Let h = 48 + -49. Let a = 4.5 + -4. Which is bigger: h or a?
a
Let h = -5 - -8. Suppose 0 = 4*n + h*i + 21, -n - 1 = 3*i + 2. Let o be (-2)/(-10) + n/15. Which is greater: 1 or o?
1
Let n(g) = -g**3 + g**2 - 1. Let u(v) = 3*v**3 - 8*v**2 - 3*v + 8. Let w(k) = 4*n(k) + u(k). Let q = 4 - 7. Let a be w(q). Which is smaller: a or 2?
2
Let x be (-14)/21 + 4118/30. Let i = -137 + x. Which is bigger: 1 or i?
1
Let i(f) = -f. Let x(t) = -4*t - 7. Let o(z) = z + 4. Let j be o(-9). Let g(n) = j*i(n) + x(n). Let s be g(4). Is s less than -0.1?
True
Let y be (2/16)/((-6)/(-60)*5). Let c be 1*((-8)/(-6) + -1). Which is bigger: c or y?
c
Suppose 16 = -2*z - 12. Let r = -16 - z. Is 0 equal to r?
False
Let a = 0.06 - 0.06. Let k = 0.2 + a. Which is smaller: 2/3 or k?
k
Let b(u) = u**2 - 3*u + 2. Let f be b(3). Let i be (f + -1)*(-10)/15. Is i less than -1?
False
Let i be (-1)/(-1) + 2/(-3). Suppose 3*s + 2*s + 15 = -5*r, 2*s + 3*r = -9. Suppose s = -3*y - y. Are i and y unequal?
True
Let b = -42 + 42.3. Which is bigger: b or 5?
5
Suppose -5*i + 4*x = 31 + 42, -3*i = -4*x + 39. Let o = i + 17. Which is smaller: o or 3/7?
o
Let n = 103/30 - 17/6. Is 4 greater than or equal to n?
True
Let n = 1 - 1. Suppose 2*x = -5 + 3. Let h be x/6*(-3 + 2). Which is smaller: n or h?
n
Let t be 1 + 3*8/(-12). Let c = -92 + 829/9. Which is smaller: c or t?
t
Let u(l) = 21*l**2 - 1. Let q be u(-1). Suppose 6 = -p - q. Let a be (-5)/10 - p/36. Which is bigger: a or 1?
1
Let v = -2.5 - -1.8. Let p = 1.7 + v. Is -2 at least as big as p?
False
Let a = 6423/20 + -321. Let g = 29/60 - a. Let u = -1/52 + -47/260. Which is bigger: g or u?
g
Let w(h) = -h**2 - 4*h - 2. Let i be w(-3). Let d be (-1)/4 - (-5)/20. Suppose d = -x - 2*x. Which is bigger: x or i?
i
Suppose -b + 2*r - 10 = 0, -20 = 3*b + 2*b - 4*r. Is 6 <= b?
False
Suppose -2*a - 4 + 6 = 0. Let l(w) = 2*w + 1. Let z be l(a). Suppose -2*t - 2 - 8 = -z*b, -25 = -5*b + 5*t. Is b smaller than 0?
False
Let b = 1.4 - 1.4. Which is smaller: b or 1/9?
b
Suppose 5*b = -m - 1 - 1, 2*b - 7 = -3*m. Let q = -0.2 + 0.2. Let i = -1 + q. Is i less than b?
False
Let p be 42/12*(-36)/(-14). Which is bigger: p or 7?
p
Let i(l) be the first derivative of l**4/4 + 2*l**3 + 3*l**2/2 - 7*l + 2. Let a be i(-5). Is a less than 4?
True
Suppose 0 = q - u + 4*u - 30, -2*q - 2*u = -52. Which is greater: 23 or q?
q
Let s = 30.8 + -31. Which is smaller: s or 4?
s
Let s(j) = j**3 - 8*j**2 + 6*j + 7. Let z be s(7). Let m be (0 - -4) + -2 + 2. Suppose -m*t = -4*u - 16, 0 = -4*t - 4*u - 9 - 7. Are t and z equal?
True
Let p be (0/(1/(-1)))/(-1). Let b be p - 1*(-1)/45. Let u = b + -2/9. Is 1 not equal to u?
True
Let n = 0.1 + 0.4. Let d = n - 1.5. Let b = -4 - -4.3. Are b and d unequal?
True
Let z = 24 + -21. Which is smaller: 0 or z?
0
Let q = -1001/9 + 111. Suppose -6 = -4*k - 2. Which is bigger: q or k?
k
Suppose 1 = g - b + 2, -b + 7 = -2*g. Suppose -4*o = 3*a - 17, -5*a + 0*a - o + 34 = 0. Let r = g + a. Which is bigger: 3/2 or r?
3/2
Suppose -7 = 5*a + 2*z, 0 = -2*a + a + 5*z - 23. Let y = -704/3 + 232. Are y and a nonequal?
True
Suppose 2*q = -3*j + 3, 2*j + 0*q - 2*q - 2 = 0. Let y(o) = 7*o**3 + o**2 - o. Let r be y(j). Does 6 = r?
False
Let p(z) = z**3 - 6*z**2 + 3*z - 4. Let r be p(6). Which is bigger: r or 1?
r
Let b be (-2)/(-3)*(4 + -1). Let n be b - (3 + -2)/(-1). Suppose n*x + 5*w - 20 = 0, -6*x = -2*x + 4*w - 16. Which is greater: x or -1?
x
Let u(m) = -m**2 - 5*m - 5. Suppose 0 = 3*y - 3*j + 2*j + 10, -j = 4*y + 18. Let b be u(y). Which is smaller: 2/23 or b?
b
Let h = -7 + 10. Let z be (h - (-15)/(-6))*0. Are 7/5 and z equal?
False
Let m(f) = f + 5. Let u be m(-11). Let q be u/27 - 7/9. Let i be (-1 - -2)*(2 + q). Which is greater: 1/3 or i?
i
Suppose -3*m - m - 64 = 0. Which is smaller: m or -15?
m
Let y = -1553 + 3181/2. Let k = y - 233/6. Let h be -1 + 0 + 0 - 1. Is k less than h?
False
Let c = -4 + 0. Let x(z) = -4*z**2 + 0 - 2 - 2*z**3 + z**3. Let g be x(-4). Is c less than g?
True
Let h = -7 + 6.9. Is h not equal to -4?
True
Let q = 2 - -2. Let s be 3 + q/((-132)/105). Is 1 < s?
False
Let u be 5 - 50/(-6)*-9. Is -71 equal to u?
False
Suppose -1 = -y - 3. Let g be ((-3)/24)/(1/y). Which is greater: -2/5 or g?
g
Let y be (-134)/105 + 6/45. Suppose -4*p - z - 5 = 0, z + 2*z = -2*p - 15. Which is smaller: p or y?
y
Let s = -3 - -2. Let j = s - -1. Let f = 132 - 662/5. Which is greater: j or f?
j
Suppose 0*f - 13 = -b - 2*f, 2*f - 49 = -5*b. Let o be (-24)/(-15) + 2/(-4 + 3). Is o less than b?
True
Suppose 30 = -5*a + 5*i, -3*a = -2*i + 4*i + 38. Let j be ((-45)/(-20))/(5/(-20)). Is j bigger than a?
True
Let k be 2 - (2 - (-6)/(-1145751)). Let y = 572111700/6492589 - k. Let z = y + -88. Which is greater: z or 0?
z
Let x = -103 - -102. Is -3 != x?
True
Let w = -5 - -5.1. Let j = 30 - 121/4. Which is smaller: j or w?
j
Let k = 0.2 + -0.8. Let v = k - 0.4. Which is smaller: -2 or v?
-2
Suppose 9 = r - 4. Let y = 4 - r. Let t = -3 - y. Are t and 6 equal?
True
Let k = 1 + -175. Let c be -3 + (-2 - k/34). Suppose 5*m + 5*t = 0, 2*m - 4*m + 3*t = -5. Is m at least c?
True
Let r = 10.136 + -0.176. Let x = r - -0.04. Is x bigger than 0?
True
Let d = 3 + -2.94. Let w = 0.87 - 0.81. Let z = d - w. Which is bigger: 2/3 or z?
2/3
