. Let d = 16/39 - z. Is d <= t?
True
Suppose 2*u = 7*u - 20. Is u at most 3?
False
Let z be 6/(-45)*(-1)/(-10). Is -1 at most z?
True
Suppose -5*r + 5*u = 25, -8*r = -12*r - u - 5. Let t = 0.1 + -0.2. Is r >= t?
False
Let o be (1*24/(-104))/(6/4). Is 3/7 <= o?
False
Let r be 12 + -13 - (-2 - 1)/1. Let k = 138/7 + -19. Which is bigger: r or k?
r
Let k = 142.9 + -125. Let r = -19 + k. Let f = r - -1. Which is greater: f or 2/7?
2/7
Let q be (2 - 6)*2/(-8). Suppose l = -4, -4*l - q + 0 = -3*u. Which is greater: u or -6?
u
Let r(c) = -2*c**2 - 3*c - 2. Let p be r(-1). Is 3/7 smaller than p?
False
Let t = -5 - -7. Let j = t - 3. Let l = -6.013 + 0.013. Is j greater than or equal to l?
True
Let d = 3.15 - 0.15. Are d and -0.2 equal?
False
Suppose s + 5*w = 13 + 15, -s + 13 = 2*w. Let a = 4 - s. Let c = 14/11 - 48/55. Which is greater: c or a?
a
Let l = -36.3 + 36. Is l < 13?
True
Let f(u) = -13*u - 639. Let v be f(-49). Suppose -5*l = -0*l + 45. Which is greater: l or v?
v
Suppose -6*q = -2*q + 20. Which is smaller: -4 or q?
q
Let r = -10 + 12. Suppose r*c - 5*c = 0. Which is smaller: c or 2/5?
c
Let k be 2 - 1 - 72/(-4). Suppose 0 = 5*s - k - 6, 20 = 5*o + 2*s. Let r be (-4)/(-2) - (-4)/(-2). Which is smaller: o or r?
r
Let r be 5*-3*(-2)/3. Let f(m) = m**3 - 9*m**2 - 9*m - 4. Let c be f(r). Let t be c/10 + 2 + -3. Which is smaller: 1 or t?
t
Let x(n) = n**3 + 4*n**2 + 2*n + 3. Let l be x(-3). Suppose -6*u = -2*g - u - 13, -3*g - l = -3*u. Is g greater than or equal to 1/12?
True
Suppose -10*b = -7*b + 6. Which is smaller: -3 or b?
-3
Let m = -8 + 4. Let j be ((-2)/m)/(21/(-98)). Which is smaller: -3 or j?
-3
Let f(b) = b**2 - 1. Let u be f(-3). Let m be (-2 + u)*8/6. Suppose 2*x + 2*x = -m. Is x at most -1?
True
Let z = -4 + 13. Let v be (-14)/(-24) - 3/z. Which is smaller: v or 1?
v
Suppose 2 = 6*s - 4*s. Let d be (s + (-3)/6)*0. Is 5/4 greater than d?
True
Let w = -5 + 14. Suppose 2 = q - w. Is 11 at least q?
True
Suppose 0 = 2*s + s. Suppose d = -s*d - 2. Let c be -2*(15/(-8))/(-3). Is d less than or equal to c?
True
Let y = 208/207 - 18/23. Is y greater than -0.3?
True
Suppose 2*r + 4*c - 25 = 3, 0 = 2*r - 4*c + 12. Suppose 0 = r*b + 5*d + 19, -d = -0*b + 3*b + 6. Which is greater: b or 1/3?
1/3
Suppose 0 = -3*d - 140 + 485. Do 115 and d have the same value?
True
Let i = 1132/1467 + 1/163. Let a = 157/225 - i. Which is bigger: 0 or a?
0
Let t = -2 + 5. Let w be ((-148)/20)/(13/t). Let p = w - -30/13. Is p greater than 2?
False
Let i be (1/(-5) + 24/20)*0. Which is greater: 2 or i?
2
Let j(w) be the second derivative of -w**3/6 + w**2/2 + 2*w. Let o be j(1). Suppose 0 = 4*z - o*h - 5*h - 4, 0 = 3*z + 3*h - 3. Which is bigger: z or 1/2?
z
Let q = -420 - -422.99. Let h = 0.01 + q. Let z = h + -3. Which is bigger: z or 2/9?
2/9
Let f be ((-48)/(-2))/(84/(-8)). Suppose 4*h - 2*w = 0, 0 = -5*h + 2*w - 1 - 1. Which is greater: f or h?
h
Suppose 11*p + 1 = 1. Suppose 1 = -2*y + 5. Suppose 3*g - 1 = y. Is g bigger than p?
True
Suppose 0 = -c + 2. Suppose 0 = 3*r + 5*g + 58, 2*r = 2*g + 2*g - c. Is r greater than -11?
False
Let s be -1 + 5/(10/4) + -1. Let t be 328/(-2) + (-1 - -2). Let v = t + 1795/11. Which is bigger: s or v?
v
Let t = 42 - 50. Is -18 < t?
True
Let s(m) = m - 1. Let v be s(-7). Let g = -9 - v. Let f be (6/(-4))/((-9)/g). Which is smaller: f or 0.2?
f
Let q be (6 - 10)*2/(-4). Suppose 3 + 1 = q*j. Let z be j*((-7)/(-2))/7. Is 2/21 < z?
True
Let h be 1 - (3 - ((6 - 4) + 2)). Is 16/7 > h?
True
Suppose 2*u + 0 = 8. Let w be 1*(3 + 0 - 3). Suppose w = 5*o - 0 - 15. Which is greater: o or u?
u
Suppose 5*b = 4*b + 5*w - 11, w = -2*b. Which is smaller: -1/74 or b?
b
Suppose -2*c + 2 = 6. Let b = 0 + c. Is b <= -1/2?
True
Suppose 3*i - 6*i = -3. Which is bigger: i or -2/11?
i
Let s(a) = -a**2 - 1. Let f(i) = -2*i**2 - 7*i + 4. Let u(k) = f(k) - 3*s(k). Let w be u(6). Which is smaller: w or -2/9?
-2/9
Let u = -9.42 + 0.42. Is -2/7 equal to u?
False
Let a(y) = 2*y**3 + 2*y**2 - 1. Let d be a(-2). Is -9 < d?
False
Let o be (11 + -14)*(-28)/3. Is 1 smaller than o?
True
Suppose 5 = -m + 2. Let x be (2/4)/(4/(-24)). Is x >= m?
True
Let q be 6*1*1*-1. Let p(n) = -n**2 + 6*n - 10. Let c be p(6). Let t be 2/3 - c/q. Are 0 and t equal?
False
Let n = 7.98 - 8. Let c = n - -0.22. Is 2 <= c?
False
Let t be 0 - (-3 - 182 - 2). Let q = t - 381/2. Is q >= -4?
True
Let l = -13 - -12. Which is smaller: l or 11/2?
l
Let o(s) = s - 4. Let v be o(7). Suppose 3*m = -4*n - 4, 5*n - 2*m + v + 2 = 0. Which is greater: 2/9 or n?
2/9
Let v be 0 - (3 - 148/16). Let f = v - 6. Is 1/13 != f?
True
Let o = -5.2 + 6. Let m = -0.9 + o. Let v be (0 - -1 - 2)/(-1). Is m bigger than v?
False
Suppose -3*k + 8 = -7. Let o(r) = 2*r - 7. Let p be o(6). Let h = p - k. Is 0 at least h?
True
Let d = 23.1 + -23. Is d at most -30?
False
Let x be (-1*(-10)/(-325))/((-1)/(-5)). Is x bigger than 0?
False
Suppose -4*l - 10 = 18. Is 1/5 greater than l?
True
Let p = -0.8 + 5.8. Is p not equal to -4?
True
Let j = 0.7 - -1.1. Let i = -3.2 - j. Are i and -2/7 non-equal?
True
Let b = 149 + -148. Is b smaller than 3?
True
Let x be (9/42)/(24/28). Which is smaller: 13 or x?
x
Let c = 10.8 + 6.2. Which is bigger: -2 or c?
c
Let d be (-25)/2*8/(-10). Suppose n = 2*i + 5, -i + 4*n - d = 2*n. Which is smaller: i or -2/5?
-2/5
Suppose -2*n + 7 = -3*n - 2*y, 3*y + 10 = -n. Let o be -4 - ((-2)/2 + 0). Let w = 2 + o. Is w >= n?
True
Let f = 10.9 - 0.9. Let g = f + -10. Let n = -0.04 - 0.26. Which is smaller: n or g?
n
Let x(z) = z**2 - 7*z + 6. Let u be x(6). Suppose u = k - 1 + 3. Which is smaller: k or -1?
k
Let i = -16 + 15. Let o be i*4*(-4)/(-24). Is o smaller than -1?
False
Let n be (77/14)/(1/(-2)). Let f = 32/3 + n. Which is smaller: f or 0?
f
Let f = -13 + 7. Let v be (-80)/24*f/(-5). Is 1 <= v?
False
Let u = 39 + -15. Let o be -2 + u*(-3)/(-34). Is o less than or equal to -0.1?
False
Let x = 46 - 162. Which is bigger: x or -115?
-115
Suppose -4*z + 14 = -2*z. Suppose i - 3*i - z = -5*j, -4*i = -5*j + 9. Is i smaller than 2/15?
True
Let h = 0.6 - 0.4. Which is smaller: -4 or h?
-4
Let w = -0.1 + -0.1. Let l = w - -0.2. Let m = -2 - -3. Is l < m?
True
Let r(t) = -2*t + 0*t + t + 3 - 7. Let w be r(0). Are w and -5 unequal?
True
Let l(x) = x**3 - 24*x**2 - 24*x - 24. Let a be l(25). Is a bigger than -2/25?
True
Let q(g) = 2*g**2 + 6*g + 4. Let h be q(-4). Suppose -d + 5*w - h = 2*d, -4*w + 15 = 3*d. Which is greater: 1/7 or d?
d
Suppose -3*a - 12 = 0, 5*p + a - 4*a = 7. Suppose 1 - 3 = z. Are p and z unequal?
True
Let y = -0.6 + 0.68. Let f = -0.03 + y. Let t = -0.05 + f. Is 1 greater than or equal to t?
True
Let x be ((-8)/(-6))/(6/9). Let o be (-1 + 1)/(x - 3). Which is bigger: o or -0.4?
o
Let n = -0.3 - -0.2. Let g = n + 4.1. Let f = -3.9 + g. Is f != -2/9?
True
Suppose -5*m - 5 = -g, -3*m + 2*g - 10 = m. Suppose m = -0*d + d. Which is smaller: d or -2/3?
-2/3
Let w = 1590/7 - 226. Are 2 and w nonequal?
True
Suppose 0*g = -3*g - 2*c - 6, 0 = -2*g - 4*c - 4. Suppose 3*x = 7*x - 8. Let b = -1 + x. Which is bigger: b or g?
b
Let t be 1*(6 + (2 - 4)). Suppose 0 = 3*k, -v - t*k = -5*v + 52. Is v > 13?
False
Let p be 7/5 + (-4)/10. Suppose 3*x = -2*m + 15 - 67, 0 = 3*m + 5*x + 80. Let d be ((-2)/m)/(-1)*2. Which is bigger: d or p?
p
Let y be (-2)/(-14) - (-18)/(-42). Let p = 0 - 0.2. Let c = -0.3 - p. Which is smaller: y or c?
y
Let k be (-22)/(-33)*27/(-2). Suppose 0*j - 5*j = 45. Is j less than k?
False
Let u = 0.11 - -10.89. Let c = u - 7. Is c at least as big as 1?
True
Let z be (-8)/(-6)*(-18)/(-12). Let o be (z/3)/((-4)/(-18)). Is 3 at least o?
True
Suppose 4*n + 8 = 2*n - 5*c, -4*n = 5*c + 16. Let q = -7 + 2. Is q >= n?
False
Let v = -15 - -17.2. Let o = v - 2. Let t = o - 0.1. Which is greater: t or -2/3?
t
Suppose -3*p = -2*a - 2, -a - 17 = -2*a - 3*p. Let m = 5 - a. Which is greater: m or -2/27?
m
Let u(a) = a + 1. Let d(c) = c**2 - 11*c. Let r(b) = -d(b) - 5*u(b). Let w be r(5). Let i be (1/(-7))/(2/4). Which is smaller: w or i?
i
Suppose a - 3*a = -8. Let o = 3 - a. Let v = -1 - 1. Is v at most as big as o?
True
Let a be ((-2)/4)/((-1)/10). Is 4 at least a?
False
Let k = 75.4 - 78.47. Let l = 0.07 + k. Which is smaller: l or 0?
l
Let o be -1*(-2 + -4 - -5). Which is greater: o or -3/26?
