s smaller: f or -2?
f
Suppose x = -5*l - 4*x - 10, -6 = -l - 3*x. Let i be 2/l + 14/54. Let y = i + 31/54. Which is smaller: y or -0.1?
-0.1
Let z(g) = 25 + 10 + 3 + 7*g - 7. Let m(p) = 3*p + 15. Let s(k) = -9*m(k) + 4*z(k). Let i be s(9). Which is bigger: i or -1?
-1
Let t be (-58)/(-6) + (-4)/6. Which is bigger: 10 or t?
10
Let d = 0.1 + -0.1. Let w = 46/55 + -2/55. Do w and d have the same value?
False
Let k be (4 - 0) + 2/(-1). Suppose -k*z - 9 = z. Let q = -54 + 160/3. Which is smaller: z or q?
z
Suppose -13*n - 12 = -19*n. Which is smaller: n or 1?
1
Let g = 6 + -8. Let l(t) = t - 1. Let n be l(4). Let w be (-2)/(n/(9/2)). Which is bigger: g or w?
g
Let i = -2650 - -3750. Suppose -i = 5*t - 0*t. Let f be (-8)/3*(-5)/t. Are f and 1 nonequal?
True
Let t = -69 + 32. Let k = 66 + t. Let y = k + -173/6. Which is bigger: 1 or y?
1
Let f = 22 - 16. Suppose 0 = -4*y + 3*z - 2*z + 12, -4*z - f = -2*y. Suppose 0 = -4*b - 20, -b - 3*b = y*k + 23. Which is smaller: 1/4 or k?
k
Let b = -166387769/137025 + 35202/29. Let i = b + -2/675. Which is smaller: i or -1?
-1
Let h = 3 + 6. Let q = 9 - h. Let a be (-2)/(-6) - (-13)/(-21). Is q at least a?
True
Let h(p) = -2*p. Let u be h(-2). Suppose -u*n = -0*n. Which is smaller: n or -3?
-3
Let q be (15/2)/((-2)/4). Let p be (12/5)/(3/q). Let f = p + 8. Is f at least as big as -3?
False
Suppose l + 8 = 3*l. Let a be -2 - (-1 + (-3)/3). Suppose 3*g = 4*c + l - a, 3*g = 2*c - 4. Which is smaller: c or -3?
c
Let w = -45.6 + 46. Which is greater: -3 or w?
w
Let v be (-3)/(3 - (3 + 35)). Which is bigger: v or 0?
v
Let w = -123 - -104. Which is smaller: -21 or w?
-21
Let l be (-585)/104 + (-6)/16. Is -24/5 not equal to l?
True
Suppose 23 = -4*z - 41. Is -16 bigger than z?
False
Let q = 0 + 0. Let d(w) = -w**3 - 11*w**2 + 6. Let h be d(-11). Let a be h/(-15) - 10/(-25). Is q > a?
False
Let v = -26.6 - -27. Is 4 <= v?
False
Let t be ((-3)/2 + (-14)/(-8))*-18. Which is smaller: t or -4?
t
Suppose s = 1 + 11. Is s bigger than 10?
True
Let l be -2 + -24*(-8)/90. Let q(r) = -r**2 + 9*r - 9. Let h be q(8). Which is greater: l or h?
l
Let s = -0.3 + 0.2. Let l(g) = -g**3 + 7*g**2 + 9*g - 5. Let w be l(8). Suppose w*y + 4*t = 23, -2*y + 1 = -4*t + 19. Is y bigger than s?
True
Let b = 86 - 95. Which is smaller: b or -0.2?
b
Let u = -8 + 35/4. Is 0 bigger than u?
False
Let x = -6 - -10. Which is smaller: x or 5?
x
Let z be 0 - 1/(1/2). Let p be (-6)/20 - (-1)/(-5). Which is bigger: z or p?
p
Let y = 1.59 + 1.47. Let g = y + -0.06. Let s = 168 - 169. Is g smaller than s?
False
Let c = -38 + 38. Which is greater: c or 4?
4
Let f be 10/12*21/14. Are 2 and f nonequal?
True
Let u be (6/(-20))/(3/4). Let w be (3/(-15))/((-24)/(-5) + -5). Which is smaller: w or u?
u
Let f = -4 + 14. Let d = -9 + f. Is -2/3 bigger than d?
False
Suppose 3*n - 43 = -0*n - x, -n - 9 = 5*x. Which is smaller: n or 11?
11
Let h = 49 - 35. Let q be -3 + (-38)/h*-1. Which is smaller: 0.2 or q?
q
Let l be ((-4)/3)/(11/33). Let s be (-6)/9*3/l. Which is bigger: 2 or s?
2
Let d(g) = g**2 - 5*g. Let t be d(5). Let o = 41 + -74. Let c = -65/2 - o. Which is smaller: t or c?
t
Let c = -0.4 + 2.4. Let k = 11 + -8. Let o = c - k. Is -1 greater than o?
False
Suppose -j = x + 2*x - 43, -5*x - 5*j + 65 = 0. Is 16 smaller than x?
False
Let f = 5 - 5.6. Let w = f + -1.4. Let x = -3.9 + 4. Is x less than or equal to w?
False
Let k = -138 + 968/7. Is k at most as big as -2?
False
Suppose c = 3*c + 18. Is c > -8?
False
Let m = 23 - 21. Is 0 greater than m?
False
Let f be (-2)/(7 + -3)*-2. Suppose 1 = l - z, -5*l + 0*l = -2*z + f. Which is smaller: 0 or l?
l
Let p be (-2)/(-13) + (-980)/1300. Is 1/2 greater than or equal to p?
True
Let p(j) = -j**3 - 3*j**2 + 3*j + 1. Suppose -7 - 1 = 2*t. Let q be p(t). Are q and 6 equal?
False
Let d be (-27)/(-90)*10/24. Do d and 1 have the same value?
False
Let k(t) = 6*t**2 - 2*t + 1. Let n be k(1). Suppose n*p - p = 8. Is p at most as big as 2?
True
Let o = -74 + 72. Is o smaller than -0.5?
True
Let m = 12 - 34/3. Is -9/7 smaller than m?
True
Let o(f) = -f**3 + 6*f**2 + 7*f + 1. Let b be o(7). Let t = 1 - 4. Let s = t - b. Are s and -5 nonequal?
True
Suppose 4*n = k + 5*n + 14, -k - 12 = 2*n. Let i be ((-9)/16)/(12/k). Which is smaller: i or 0?
0
Let b be (-14)/(5/(30/3)). Which is smaller: b or -29?
-29
Suppose -2*m = -5*m + 9. Is -16 less than m?
True
Let b = -121 + 134. Is 2 greater than or equal to b?
False
Let u = 44 - 43.9. Which is smaller: u or 2.2?
u
Suppose 6*g - 2*g = 0. Let d = g - -4. Suppose -f = d*f. Which is smaller: 1 or f?
f
Let s be (-4)/3*(-366)/4. Let i = 1340/11 - s. Let z(l) = l**3 + 1. Let n be z(0). Is n < i?
False
Let q be (6/5)/(6/(-40)). Which is bigger: 2 or q?
2
Let f = 992/7 - 142. Which is greater: -5 or f?
f
Suppose 8*k + 3*n = 6*k + 5, -n = 3*k + 10. Is -2 != k?
True
Let q(v) = -v + 1. Let b be q(7). Let z be b/(-9) + (-8)/9. Suppose -2 = r + 2, -2*m - 2 = r. Which is smaller: m or z?
z
Suppose 5*r - 3*l + 3 = -36, 3*l - 9 = 0. Suppose 5*q + 1617 = -2*q. Let n be r/21 + (-24)/q. Are n and 0 equal?
False
Let z = -71384 + 8137715/114. Let m be 4/(-16) - 49/(-228). Let c = m - z. Which is smaller: 0 or c?
0
Let l = 25 - -20. Is l at most 43?
False
Let u(j) = 3*j**3 + 2*j**2 - 1. Let x be u(1). Let b be ((-25)/30)/(x/18). Let v = b - -4. Which is smaller: -1 or v?
-1
Let t(f) = -f**2 + 7*f - 10. Let l be t(3). Is 2 greater than or equal to l?
True
Let g be 13/3 + (-4)/(-6). Let w = 8 + -12. Let u = w + g. Is u at most 2?
True
Suppose 116 = -3*u + 2*u. Let x = 170 + u. Let a be 1 + (x/14)/(-3). Which is bigger: 0 or a?
0
Let f be (0 + (-25)/(-10))*(-6)/(-15). Which is smaller: -2/121 or f?
-2/121
Let l be 8/(-10)*30/(-4). Is l <= 6?
True
Let w = 34 - 34.1. Let d = 3 + -2. Is d >= w?
True
Let g = -14 + 30. Suppose 0 = 2*t + 3 - 11, -2*q + 12 = -5*t. Do g and q have different values?
False
Let v = -15/92 - 2/23. Is 1 greater than or equal to v?
True
Let a = -1.22 - -86.22. Is -1 at most a?
True
Let y be -1*(0 + 3 - 2). Which is smaller: -1/8 or y?
y
Let j be 2/(-4)*-17*-2. Let f = j - -8. Is 0 less than f?
False
Let o(p) = -p**3 + 6*p**2 + 5*p + 6. Let x be o(7). Let j be -3 - (-4)/(x/34). Which is bigger: -19 or j?
-19
Let z = 1.11 - 1.1. Let w = z - 0.11. Let c = -1.1 + 1. Is w <= c?
True
Let n(l) = l**3 + 2*l**2 - 1. Let g be n(-1). Which is smaller: -2 or g?
-2
Suppose 69 = 5*d - 21. Is d bigger than 17?
True
Let s(r) = r**2 - 2*r - 2. Let d be s(2). Are -4 and d equal?
False
Let b = 6.2 + -4.2. Do 1 and b have the same value?
False
Let g = -8 + 7. Let p = 0 + g. Let c be p*(-3)/(-3) + 2. Which is bigger: -1/3 or c?
c
Let c(d) = d**2 - 5*d + 1. Let v be c(4). Let l(p) = p**3 - 5*p**2 - 4*p + 7. Let a be l(5). Let z = a - -9. Do z and v have the same value?
False
Let v = 2 - -11. Let g = v - 77/6. Does g = -1?
False
Let v be (-2)/3 + (-56)/(-12). Suppose -2*z + 2 = -v. Which is smaller: -1 or z?
-1
Suppose 0 = -2*f - 3 + 11. Is f smaller than 4?
False
Let p = 5 + -2. Let z = 4 - p. Let r = -1.1 + z. Is r equal to -4?
False
Let a = 382 + -3457/9. Let w = -16/9 - a. Suppose -3 = 3*i - 0. Is w < i?
False
Let g = -26 + 42. Is g at most 16?
True
Suppose -4*u - 294 + 34 = 0. Is -63 equal to u?
False
Let q = -4.96 - -5. Let p = q + 0.96. Is p < -4?
False
Let m = 1/34 + -93/850. Are m and -1 non-equal?
True
Let y = 3 + -2. Do -1/5 and y have different values?
True
Let r = -0.01 - 0.07. Let m = 0.22 - r. Let b = 46 - 45. Which is smaller: b or m?
m
Let m(o) = 7*o**3 + 2*o**2 + o. Let n be m(2). Which is smaller: n or 67?
n
Let v be 1/(-3) + 406/666. Let j = v - 2/37. Let f = 1 - 0. Is j < f?
True
Let d = -2 + 2.2. Which is greater: d or -11?
d
Let j be (-1*1)/((-6)/(-30)). Suppose -5*a + 0*a - 5*w + 20 = 0, 0 = -5*a - w + 20. Suppose 5*r + 40 = -4*l, a = -5*r + 3*l - 1. Is r bigger than j?
True
Let k(b) = b**2 + 9*b + 4. Let u be k(-8). Let a(c) = c**2 + 5*c + 2. Let g be a(-3). Let j = u - g. Which is greater: -1 or j?
j
Let n = 0.06 - -0.24. Let c = n + -0.2. Is -0.1 bigger than c?
False
Let y(a) = -5*a**2 + 1. Let z be 1*(-3 + 2) - 0. Let p be y(z). Let c be 2 + (p/(-18) - 2). Which is smaller: -1 or c?
-1
Let o = -4 - -8. Suppose k = -o*b - 17, k + 21 = -6*b + b. Let p = 244/15 - 50/3. Is k less than p?
True
