= 25 - 11. Let y be 30/(-8 + 5 - -1)*-1. Does f = y?
False
Let l be 2/3*3/(-2). Let q = 7 + l. Let t be 1*1*q/(-2). Which is smaller: -1 or t?
t
Suppose 3*l + 9 - 3 = 0. Let m = 1 - l. Let n be 2/(2 + (-3)/m). Is n less than 2?
False
Suppose -3*n = 5*h - 45, 5*h - 2*h = -4*n + 38. Let s be (20/(-12))/((-8)/h). Suppose -4*x + 3 = -1. Is s bigger than x?
True
Let w be 10/25 + 44/(-10). Which is smaller: -14/5 or w?
w
Suppose -3*o + 8 = 2. Suppose -c = -o*c + 3. Is 3 equal to c?
True
Let f be (1 + 0)/((-7)/(-28)). Suppose -2*o = -0*j + j - 2, 3*o + 2*j = f. Is 2/5 smaller than o?
False
Suppose 2*i - 5*j = 6, -4*i + 10 = j - 2. Let d be (9/(-27))/(4/i). Is 0.19 smaller than d?
False
Suppose -9*b = -6*b + 6. Which is smaller: b or 1/2?
b
Let t = -16 - -1. Which is greater: 2 or t?
2
Let z = 6.7 + -7. Which is greater: z or 11?
11
Let v(s) = s**2 + 7*s + 7. Let q be v(-7). Do 7 and q have the same value?
True
Let m = 200/161 + -22/23. Is -8/5 greater than m?
False
Let b be 173/(-3) - 14/(-21). Let a be b/153*-3 + -1. Is a greater than 0?
True
Suppose 0 = -5*k + k - 4. Let c = -1651/8 + 206. Are k and c unequal?
True
Let w be ((-1)/(-2))/(1/8). Suppose 5 = w*m - 3. Suppose -u - 2 = 4*o + 8, 0 = -m*u + 3*o + 13. Is u < 1?
False
Let f = -25 + 5. Let k be (-54)/f - (-6)/(-2). Let v = 18 - 18. Is k less than v?
True
Let p(r) be the third derivative of r**5/60 + r**4/24 + 2*r**3/3 + 4*r**2. Let g be p(3). Is 16 greater than or equal to g?
True
Suppose 12 = 5*b + h + 3, -8 = -5*b - 2*h. Suppose 5*t + 5*d + 15 = 0, -2*d = b - 6. Let x = t + 7. Is 2 at least as big as x?
True
Let m = 3 - -1. Let x = m + -4. Suppose -5*u + x = 15. Are u and -2 equal?
False
Let b = 3.46 - 3.6. Is -0.1 greater than b?
True
Suppose -3*o - o + 8 = 0. Let s = -17 + 19. Are o and s non-equal?
False
Let g = 1.95 - -0.05. Let h = -3 + g. Is h less than -4?
False
Suppose -3*f - 2 = 1, -4*p = -f - 5. Are 3/29 and p non-equal?
True
Let j be (8 - 9)*(-1)/(-1). Which is bigger: j or 1?
1
Suppose -3*p - 74 = x - 4*p, -4*x = 4*p + 312. Which is greater: -75 or x?
-75
Let w be ((-591)/(-198) - 3)*4. Which is smaller: -1 or w?
-1
Let z(a) = -a + 6. Let y(k) = -k + 7. Let n(r) = 6*y(r) - 7*z(r). Let v be n(0). Is v < 1?
True
Let p = 66 - 45. Is p greater than or equal to 20?
True
Let w = -0.07 + 1.67. Let g = 0.63 + -0.03. Let m = g - w. Is -2/7 less than m?
False
Let x = -8287/19 - -436. Let g = x + 29/304. Which is bigger: g or 0?
0
Suppose -3*h - 2*l - 12 = -l, 3*h - 4*l - 3 = 0. Let o be (h/(-2))/(60/16). Let m be 1*((4 - 2) + -1). Is o greater than or equal to m?
False
Suppose -8*o + o = -14. Suppose -5*n + 12 = 2. Is n greater than o?
False
Let s = -16 + 26. Which is greater: s or 9?
s
Let v(r) = -r**3. Let j be v(1). Let c be (-10)/(-4) + (-1)/2. Let a = c - j. Is 3 >= a?
True
Let p = 4.9 + 4. Let g = p - 9. Is 4/9 equal to g?
False
Let h = 31/429 - -23359/1287. Let c = h - 18. Let s = 32.2 + -32.3. Which is greater: s or c?
c
Let r = 48 - 47. Is 4/87 at least r?
False
Let a = -14.4 - -8.5. Let k = 0.1 - a. Let h = k - 8. Is h > -2?
False
Let d = 8.6 - 8.4. Is d less than -17?
False
Let s = 4 - 18. Let g = -11 - s. Is g > -1?
True
Let t be ((-3)/(-2) + 0)/3. Let r = -21 + 22. Does t = r?
False
Suppose d + 5*t = 15, 3*t + 2*t = -4*d + 15. Let n(l) = 2*l. Let h be n(5). Suppose 4*o + o + h = d. Is -3 != o?
True
Suppose -7*o + 3*o = 3*j - 166, -3*o + 124 = 2*j. Which is greater: 39 or o?
o
Let n = -0.79 - 0.11. Are 2/3 and n equal?
False
Suppose -q - 3*p + 1 = -3, -14 = 2*q - 5*p. Let k(g) = 6*g**2 - 17*g - 6. Let z be k(3). Which is smaller: q or z?
z
Let f be (-26 + -5)/((-6)/(-10)). Let x = -2024/39 - f. Is x less than or equal to 0?
True
Let m = 29 + -9. Let w = 59/3 - m. Which is greater: w or -1?
w
Let j be (-3 + 6)*(-1)/(-3). Suppose 8*c = 4*c + 28. Is j >= c?
False
Let v = -0.4 + -0.6. Let f = -3.05 + 3.2. Which is smaller: v or f?
v
Let d = -26 - -29. Suppose 3*q - 4*u = -u + 3, q + d*u = 17. Which is smaller: q or -1?
-1
Let q = -6 - -12. Let g(v) = v**3 - 6*v**2 - 2*v + 9. Let m be g(q). Which is greater: -4 or m?
m
Let j be (6/(-9))/(2/(-6)). Suppose -3*g = j - 11. Suppose 0 - 3 = g*d. Is -1/9 greater than d?
True
Let o = -2 - -6. Which is smaller: o or 5?
o
Let g = -133 - -132.9. Which is smaller: g or 6/5?
g
Let r be ((-2)/4)/(3*1). Let i = 9 - 10. Let d be (-1 - -2) + (i - -1). Which is smaller: d or r?
r
Let f = -0.8 + 0.1. Let a = f - -1.7. Which is smaller: 3 or a?
a
Let y = -40 - -23. Let n = y - -83/5. Is -1/8 < n?
False
Let m = -155/78 - -11/6. Which is smaller: m or -2/9?
-2/9
Suppose 4*x - 32 = 5*n, -x + 0*x - 5 = 2*n. Suppose 3*p + 2*p = -2*k - 18, 2*k = p + 6. Is p greater than or equal to n?
True
Let z = -10 - -15. Suppose 0 = 4*g + 2*u + u, 4*u = z*g. Is -2/3 less than or equal to g?
True
Let w(o) = -6*o + 2. Let s be w(-1). Suppose s - 6 = -2*u. Which is smaller: u or -6?
-6
Let p(s) = -s - 20. Let r be p(-15). Let n = 6 + r. Is -1/17 greater than n?
False
Suppose 14*s = 21*s + 455. Which is smaller: s or -66?
-66
Let d = -4 + 0. Let v(m) = 2*m - 4. Let q be v(3). Let b(n) = -2*n**2 + n + 1. Let j be b(q). Which is bigger: d or j?
d
Let t = -91 + 88. Let m = -2 + -2. Which is smaller: m or t?
m
Suppose -2*t - 8 = 3*x - 21, 5*t - x - 7 = 0. Suppose 0 = -3*u - 4*y + t*y - 4, -u - 5*y = 10. Which is bigger: u or -1/6?
u
Let x(j) = j**2 + 4*j + 7. Let b be x(-5). Let f = b + -25/2. Which is smaller: f or -2?
-2
Suppose -6 = -2*v - v. Let d = -67/3 + 23. Which is bigger: d or v?
v
Let g(k) = 4*k - 2. Let x be g(2). Let r(v) = v**3 - 6*v**2 - v + 5. Let f be r(x). Does -2/7 = f?
False
Let c = 0.04 - 0.04. Let k = -0.3 + 1.3. Which is bigger: k or c?
k
Suppose i + 27 = o, -o - 2*i + 10 = -8. Suppose -o = -0*z - 2*z. Suppose 4*x = 4*d - z, 3*x - 2*d - 2*d + 11 = 0. Which is smaller: x or -1/4?
x
Let b = 13 - 8. Let d be (18/(-8))/((-27)/72). Are b and d equal?
False
Let j = -0.53 - 0.47. Which is smaller: -21 or j?
-21
Let o = -7 + 5. Let j(z) = -12*z**3 + z**2 + 2*z. Let a be j(o). Let d be a/171 + 4/(-6). Do 0 and d have different values?
True
Let w = 1 - 3. Let x = -1 + -1. Does x = w?
True
Suppose -w + w = -w. Which is smaller: 2/39 or w?
w
Let c be 7*2/(-4)*(-10)/70. Is c greater than or equal to 1.7?
False
Let y = -18 + 10. Let x = y + 10. Is 2 at most as big as x?
True
Suppose -4*m - 16 = 4*v, 3*m - 15 - 15 = 4*v. Is v >= -5?
False
Suppose 4*j + 66 = -3*q + 5*q, -2*q - 3*j = -66. Let k = q - 365/11. Which is greater: k or 2?
2
Suppose -3*t = -2*d + 10, -3*d = -2*t + d - 4. Let q be 4 + 2/(t/6). Let l = 679/2080 - 3/160. Which is greater: q or l?
q
Let a = -2 + 3. Which is smaller: -2/31 or a?
-2/31
Let b = -1.2 - -1.3. Which is smaller: -3 or b?
-3
Let o = -2 - -1. Let a = -0.09 + 0.29. Let l = -2.8 - a. Is o at most l?
False
Let t = -0.02 + -0.08. Let r = t - -0.1. Let s = 0 + 0.1. Is r at most s?
True
Let h = -2/107581 + -14308093/9682290. Let y = -1/45 + h. Is -2 at most as big as y?
True
Let m(z) = -4*z - 7. Let j be m(-1). Is j at least -2?
False
Let l = -4 + 4.6. Let o = l - 2.6. Let f = o - -4. Which is bigger: 0 or f?
f
Let n = -2 + 2.2. Let f = -0.5 + 0.4. Let r = n + f. Which is bigger: 0 or r?
r
Let a be (-1)/21*3*2. Which is bigger: a or -0.03?
-0.03
Let h = 4/1971 + -59791/1971. Does h = -30?
False
Let i be 2*(4 - (-36)/(-8)). Let a = -233/5 + 46. Which is bigger: a or i?
a
Suppose -4*o + 2*o + 4 = 0. Let s(n) = n**3 - 4*n**2 - 3*n - 6. Let h be s(5). Is o != h?
True
Suppose -3*a - 10 = 38. Let k be (2 - a/(-6))/(-5). Which is greater: 1 or k?
1
Let g(f) = f**2 - 22*f + 4. Let o be g(21). Which is bigger: -15 or o?
-15
Let m = -2 + 1. Let k be 1/(-7)*-5 + m. Suppose 0 = 3*q + 1 - 4. Which is smaller: q or k?
k
Let r be 0 + (-1)/(9/(-6)). Let d = -3 - -3.1. Let p = -2.9 - d. Which is bigger: p or r?
r
Let k be 96/46 + (-1 - 1). Let f = 45873/1978 + -1058/43. Let g = f - k. Which is greater: g or -1?
-1
Let w(b) = -2*b - 5. Let a be w(-4). Suppose 2*x + a = 1. Are x and -3/7 nonequal?
True
Let v be -1 - (2 - 1)*-3. Suppose -17 = 4*x - 3*i, -5*x + v*i + 0*i - 16 = 0. Suppose 4*c - 2 = 2*d, d + 5*c = -8 - 0. Is x smaller than d?
False
Suppose -4*j = -2*x - 9*j - 71, -5*x = -5*j + 265. Let t be -3 - -5 - x/(-28). Are t and -1 nonequal?
True
Let y = -