)/m*27/9. Is 10/3 <= l?
False
Let d = -5 + 5.05. Let c = -0.45 - d. Let h = -0.4 - c. Is h at least -4?
True
Let q be 0 - (-9)/6*2. Suppose 4 = -q*d + 1. Let s(z) = z**2 + 5*z + 4. Let r be s(-4). Which is smaller: d or r?
d
Suppose 5*a - 2*m = 20, 5*a - 15 = -2*m + 3*m. Suppose -x + 0*x - a = 0. Are x and 1 nonequal?
True
Let o be -13 + 0 + 0 + -1. Let q = o - -2. Let a be 1/(-2) + (-10)/q. Is 0 at most a?
True
Let d be ((-9)/4)/((-18)/(-48)). Let t be (-2)/d*12/10. Is -3 smaller than t?
True
Suppose -u - 4*f + 9 = 0, -3*u + 2*f + 3*f + 61 = 0. Is u < 17?
False
Suppose -3*t = t. Suppose 2*u + 7 = -u + 2*q, t = -5*q - 20. Let v(o) = o - 2. Let a be v(-3). Is a greater than u?
False
Let n(c) = 2*c - 1. Let f be n(2). Suppose -5*w - 12 = v, -f*v - 1 = w - 7. Let m be 9/w + 0 + -3. Which is bigger: m or -5?
-5
Let h(p) be the first derivative of p**2/2 + 13*p - 1. Let l be h(-6). Is l < 9?
True
Let j = -9 - -14. Suppose 3*r - 4*r = -j. Do 7 and r have the same value?
False
Let u(j) = 7*j**2 + 11*j + 5. Let r(i) = 13*i**2 + 21*i + 9. Let t(d) = 6*r(d) - 11*u(d). Let l be t(-5). Let o = 6/575 + 109/575. Which is bigger: o or l?
o
Let y = -84 + 97. Is y at most as big as -2/5?
False
Let g(a) = 0 - 5 + 3 + a. Let y be g(6). Which is smaller: y or 2?
2
Suppose -4*r = -3*r - 54. Let t = r - 269/5. Which is smaller: t or 2/7?
t
Let q(x) = x**3 + 2*x**2 + x. Let a be q(-2). Which is smaller: a or 0?
a
Let i be 501/(-280)*75/(-90). Let a be 1/(-1)*(-17)/16. Let w = a - i. Which is smaller: 1 or w?
w
Let d = 26/9 + -632/225. Is d equal to 0?
False
Let o be 12/(-32)*(-6)/9. Let y = 214.95 + -220. Let j = -0.05 - y. Which is smaller: j or o?
o
Suppose -3*q = 1 - 7. Let h be q/(-10) - 45/(-100). Let c = -0.2 + 0.2. Is h <= c?
False
Let u = 8 + -6. Let k = 1 - 1. Suppose -4*g + 15 - 3 = k. Which is greater: g or u?
g
Let f = -0.21 + 0.01. Let u = f + -0.1. Let y = u + 0.2. Does y = -0.1?
True
Suppose -2*j - 16 = -2*b, j + 1 = -2*b + 8. Which is greater: -2 or j?
-2
Let f(i) = -i**3 - 2*i**2 + 8*i + 2. Let g be f(-7). Let o = g - 102. Let d = -443/5 + o. Which is smaller: d or 0?
0
Let c be 15/(-3) - (2 + -4). Suppose -3*g - 10 = 5*h, 4*h + 3*g = 3*h + 10. Is h greater than c?
False
Let t be 0*(0 - (0 + 1)). Let y = 145/4 + -37. Let f = -1/12 - y. Which is smaller: f or t?
t
Suppose 4*f - 32 = -0*f + 2*b, 0 = 4*f + b - 32. Let p(k) = k**3 + 2*k + 7. Let v be p(0). Is f at least as big as v?
True
Suppose -8*i - 168 = -i. Is -23 greater than i?
True
Suppose 4*y = -5*q + 7*y - 20, 4*y = 20. Suppose -4*x + 3*x - 11 = 0. Let l = -34/3 - x. Is q <= l?
True
Suppose 9 = 4*d + 13. Let r = 7.7 + -8. Let z = -0.2 + r. Which is smaller: z or d?
d
Let r = -73 + 72.99. Which is smaller: 1/4 or r?
r
Let x be 2/(3 + (-2 - -1)). Let p = 1 - x. Is 2/7 bigger than p?
True
Let w = 33 - 32. Is w less than -1?
False
Let p = 10 - 8. Suppose 28 = p*i + 2*i. Which is greater: i or 6?
i
Let k = -0.07 - -0.04. Let h = 0.07 - k. Which is smaller: -1 or h?
-1
Suppose 0 = -5*d + 2 - 27. Let c = -0.9 + -18.1. Let a = 19.1 + c. Which is bigger: a or d?
a
Suppose -3*d + 7 = 4*u - 9, -12 = -4*u - 4*d. Let i = -17 - -24. Is i > u?
False
Let z = 241/5 + -49. Which is greater: -1/2 or z?
-1/2
Let g(y) be the first derivative of y**4/4 - 2*y**3/3 + y**2/2 - 5. Let b be g(1). Is b > -6/7?
True
Let s = 0 - 0. Let y(j) = -j**3 + 2*j**2 - j + 1. Let t be 6/9*(-3)/(-2). Let u be y(t). Is s at most u?
True
Let f(y) = y + 3. Suppose -q - 2*c = 1, -6*q + q = 5*c + 10. Let u be f(q). Which is smaller: -2/23 or u?
-2/23
Suppose -2*b = -7*b. Let h be (2/(-368))/((-1)/2). Let v = 85/644 + h. Is v less than b?
False
Let c(m) = -7*m + 40. Let h be c(7). Are -8 and h non-equal?
True
Let g = 0.1 - -0.9. Which is smaller: g or 20?
g
Suppose 4*z - 3*p = 15 + 2, -4*z + 4*p = -20. Is 3 <= z?
False
Suppose 4*w + w + 2*t - 11 = 0, 4*t = -3*w + 15. Which is smaller: w or -2?
-2
Let a be 18/((-10)/15*3). Is a < -8?
True
Let z = -61 - -914/15. Let a = -1 + 2. Which is greater: a or z?
a
Let a = 18 - 18. Is a at most as big as 0?
True
Let j = 1.69 + -0.39. Is j at most as big as 0.1?
False
Let m = -4 - -4.2. Let n = m - 0.2. Let k = -0.1 - n. Is k at most as big as -0.1?
True
Let l = 9 - 5. Let n be 6 + (0/l)/(-3). Which is smaller: 7 or n?
n
Let q = 0 + 1. Let w be 441/(-119) + 3/1. Let g = w - -31/68. Which is bigger: q or g?
q
Suppose -5*s + 5 = 3*l, -5*l = -4*s + 6 - 2. Which is smaller: s or 12/5?
s
Let f be (-4)/10 + 46/(-10). Which is smaller: -0.2 or f?
f
Let p = 12 + 4. Is p smaller than 44/3?
False
Let d be -7*(-1*2)/(-2). Let w(c) = 8*c**3 + 2*c**2 + c. Let u be w(-1). Are d and u equal?
True
Let j = 243/23 - 20635/2001. Let n = 188/667 - j. Are n and 1 equal?
False
Let v be 29/(-7) + (-2)/(-14). Which is smaller: -3 or v?
v
Let k = -0.015 + -4.985. Is k <= 2?
True
Let z = -81 - -81.1. Let i be 1/(-4)*(1 - 2). Which is bigger: z or i?
i
Let b be (4/(-6))/(4/(-12)). Suppose -b*z = 4*p - 32, -z + 22 = 5*p - 3*z. Are 6 and p nonequal?
False
Let s = -0.5 + 0.3. Let g = -5.19 - 0.01. Let r = -5 - g. Is r less than s?
False
Let g = 2859/4 - 741. Is -26 greater than or equal to g?
True
Let m = -2.1 + 1.8. Let u = 0 + m. Is -3 > u?
False
Suppose 3*g - 4*k = -3, g = 3*g + 3*k + 19. Let x = g + 6. Is x greater than -2/15?
True
Suppose -j + 14 = -5*a + 73, 0 = a + 4*j - 16. Let g be a/(-5) + 0 + 2. Is g >= 0?
False
Let v = 3878122/61 + -113574233/2745. Let f = v - 22199. Let j = f + -20/9. Which is smaller: -1 or j?
-1
Suppose 4*y + 88 = 24. Is -15 at least as big as y?
True
Let n = -0.06 - 1.94. Let o = n - -4. Which is smaller: -3/4 or o?
-3/4
Let m = 11 + -7. Let s be (-6)/m*-2*1. Are s and 2 equal?
False
Let p = 534 + -231. Let n be 305/p + (-5)/5. Let q = n - -167/202. Which is smaller: q or 2?
q
Let o = 1120 - 1124.97. Let w = -5 - o. Let g = w - -0.03. Do -1/3 and g have different values?
True
Suppose -6*h - 3 + 21 = 0. Let d(z) = -z + 1. Let j be d(-1). Which is smaller: h or j?
j
Suppose -1 = 3*a - 2*a. Let w be 2 + -1*(-1)/(-1). Let v be (w/5)/((-4)/(-10)). Which is smaller: a or v?
a
Let h be (2/3)/(12/4). Is -2 < h?
True
Let x = -2837/6 + 471. Which is smaller: -1 or x?
x
Let h = 0 + -1. Let q = -2.95 - -3. Let b = q - 5.05. Is h at most as big as b?
False
Let w be 21/56 + 2/(-16). Which is greater: w or 36?
36
Let a be (6/2)/(0 - -1). Suppose a*m - 20 = -2*m. Suppose -g = 3*o - m, -2*g + 0 = 4. Which is smaller: o or 0?
0
Let h = -37 - -295/8. Which is smaller: h or 0?
h
Let w(u) = u - 2. Let q be w(4). Suppose -q*s = a - 1 - 0, -2 = a - s. Which is bigger: a or 1/8?
1/8
Suppose 0 = 4*k + v + 9, -3*k + v + 4 = 2. Suppose -7*a + 5*a + 30 = 0. Let z = 15 - a. Which is greater: z or k?
z
Let r = -68 + 72. Is r != -3/4?
True
Suppose 5 = 5*x - 10, -4*f - x = -35. Which is smaller: f or -1?
-1
Suppose 5*g + 2*f - 15 = 0, f = 2*g + 3*g. Is 0.3 bigger than g?
False
Let n = 3/264508 + 3275931523/5025652. Let t = n + -652. Which is smaller: t or -1?
-1
Let f = -8.7 - -8.4. Which is smaller: 2 or f?
f
Let t(o) = -3*o + 1. Let z be t(-3). Which is greater: z or 11?
11
Let f be (-2)/(-10) + (-63)/(-35). Suppose 6 = f*n - 14. Which is smaller: 9 or n?
9
Let b be (3/52)/((-1)/24). Are b and -2 nonequal?
True
Let q = -6.92 + 7. Let k = 0.12 - q. Is -2 at most as big as k?
True
Let l = 46 + -47. Let w be (4 - 1)/(6/(-4)). Is l less than w?
False
Let u = 0 - -11. Let w = u - 15. Let v(t) = t - 2. Let h be v(1). Do w and h have the same value?
False
Let r = 10 + -14. Let t = -5 - r. Is 2 greater than t?
True
Suppose -b = -4*z + 2, -z + 4 = 3*z - 2*b. Suppose z = -2*q - 2 - 0. Which is greater: q or -2/3?
-2/3
Let h = -13.5 - -15.5. Is -0.07 less than or equal to h?
True
Let n(y) = -3*y. Let l be n(-1). Let q be (-8)/12 - (-8)/l. Suppose 4*g + 5*x + 21 = 0, -4*x - x - 20 = 5*g. Are q and g unequal?
True
Let m = -0.09 + 0.19. Let o = 0.04 - -1.96. Is m < o?
True
Let t = -6 + 4. Let i = t + 2. Which is smaller: i or 0.5?
i
Let a = -8 + 10. Let w be 2 + -2 + a/5. Let s(o) = -2*o + 6. Let q be s(4). Is q at least as big as w?
False
Suppose 6*k - 4 = 7*k. Suppose 27 = c + 5*a, c = 4*a - 6 - 3. Suppose 12 = -c*w + 3*w. Which is smaller: k or w?
k
Let g = -39 - -14. Which is smaller: -24 or g?
g
Suppose 0 = 6*r - r. Is r less than 7