+ 30. Let i be (-1)/((27/6)/u). Let p be 6/(-4)*i/(-30). Which is smaller: p or 0?
0
Let x(s) = s**3 + 2*s**2 - 3*s + 2. Let c be x(-3). Suppose 0 = c*n + 2 + 6. Let j = -8 + 5. Is n at least j?
False
Let c = -41 - -21. Let l = -26 - 0. Let v = l + 6. Is c < v?
False
Let o = -0.11 - -118.11. Let w = -115.84 + o. Let z = -0.16 + w. Is -3 bigger than z?
False
Let k be (22764/9)/(-4) - 6/9. Which is bigger: -634 or k?
k
Let z be (37/5)/(2/4). Let s = z + -449/30. Suppose n = 5*f - 2, 7*f + 4 = 2*f - 2*n. Are s and f equal?
False
Let f = 97 - 101. Suppose 3*t + 2*t - 35 = 0. Let d = 4 - t. Is f greater than or equal to d?
False
Let f be -49 - (39 - 40)*(0 + -4). Is f != -54?
True
Suppose 0 = -2*p + q - 578, 4*p - 9*p + q - 1439 = 0. Which is bigger: p or -288?
p
Let a = 90 + -446/5. Is 1 less than or equal to a?
False
Let v = 2030 - 2002. Which is bigger: 88/3 or v?
88/3
Let x be (-2)/4 + (-3)/(-6). Let j = -102 - -1324/13. Is j < x?
True
Let y(j) = -j**3 + 2*j**2 + 6*j + 6. Let x(b) = -b**3 + b**2 + 7*b + 6. Let g(h) = 4*x(h) - 5*y(h). Let z be g(4). Let m be z/(-126) + 9/(-27). Is m <= 0?
False
Let y be 45*(-2)/(2/5). Let x be ((-12)/y)/(2/5). Suppose -j - 9 = 3*a, 4*j + 11 = -3*a + 2. Which is smaller: j or x?
j
Let f(h) = h**3 + 17*h**2 - 7*h - 33. Let o be f(-17). Which is smaller: -2 or o?
-2
Let z = 75.106 + -0.106. Let n = 81 - z. Let d = -2 - -3. Which is greater: n or d?
n
Let r = -81460/31 + 2628. Which is greater: r or 0?
r
Let c = -794 + 802. Let u = -1 - -8. Let a = u - c. Is 3 bigger than a?
True
Suppose 7*w = -5*w - 36. Let a be -1 + w/(-2) + 372/(-24). Is -15 < a?
False
Suppose 3*y - 4*y - 4 = 0, -4*p - 3*y - 96 = 0. Let a = p - -23. Suppose -a - 4 = w. Is w < -5?
True
Let x = -0.2 - -0.18. Let g = 79.02 + -78. Let f = x + g. Which is smaller: f or -4?
-4
Suppose -4*l + 1363 = -3*s, 3*l - 178 - 841 = -s. Which is bigger: l or 341?
341
Suppose 5*d - 2*d - 4*y + 168 = 0, 0 = -5*d + 4*y - 280. Let p be 5555/100 - 1/(-5). Let o = d + p. Which is smaller: o or -3?
-3
Suppose 0 = 4*r - 2*n - 34, 4*r = -10*n + 5*n + 41. Let p(q) = -q**2 - 13*q - 12. Let c be p(-10). Suppose -2*v + 0*v = -c. Is v at most r?
True
Let t(y) = y**3 + 20*y**2 + 2*y + 42. Let f be t(-20). Let r be (-8)/24 + 0/f. Let v be (2/(-8))/((-6)/(-8)). Do r and v have different values?
False
Suppose 5*z - 3*p - 393 = 0, -z = 4*p - 29 - 45. Which is smaller: 386/5 or z?
386/5
Let o be 1/4 - 165/(-2760). Let x = 10/23 - o. Is x greater than or equal to -1?
True
Let f = 0.73 + -0.7. Let x = 1.97 + f. Let y be 37/148 - (6/8 + -1). Which is bigger: y or x?
x
Let q = -938.82 - -941. Is q >= -1/3?
True
Let d be 7/(-15)*(-14)/49. Suppose -2*o = 5*j + 7, -7 = 3*o + 5*j + 1. Which is greater: o or d?
d
Let m be 2*((-444)/24 + -8). Which is greater: m or -160/3?
m
Suppose -6*n + 8*n = 2. Let m be 1/(((-21)/18)/(-7)). Let u = m - 6. Which is greater: n or u?
n
Suppose 0 = -2*l + 4*l + 10. Suppose -17*y + 4 = -15*y. Let x(z) = -4*z**2 + 3*z + 4. Let v be x(y). Is l greater than or equal to v?
True
Let p(z) = -z**2 - 7*z - 10. Let m be p(-3). Suppose -3*q = -15, 2*q + 0*q - 14 = m*u. Let g be u/(1 + 12/8). Which is bigger: g or -2?
g
Let j = -82466/77 + 1071. Let u = -73/308 - j. Is -3 at most u?
True
Let d = 1649 + -44512/27. Which is bigger: 1 or d?
1
Let d be 2*(-4)/186*(-12)/(-24). Is d bigger than 1?
False
Let f be 2432/(-1881) + 0 + 8/44. Is -1 >= f?
True
Suppose -f - 19*w = -20*w - 58, 2*f - 108 = 4*w. Which is greater: f or -3?
f
Let l = 0.04 - -0.05. Let c = l - 0.09. Let n = 0.053 + -2.053. Is n at least as big as c?
False
Let n = 0.49 - 0.456. Let p = n + -0.034. Are p and 12/13 non-equal?
True
Let r be (11 - 384/36) + (-1 - 0). Let q = -5.3 + -0.7. Let v = -1 + q. Which is smaller: r or v?
v
Let n = 0 + -1. Let c be 3076/(-960) - (8/(-5) - -1). Let a = -8/3 - c. Is a bigger than n?
True
Let h be -1 + 8/(-4) - (-1910)/670. Is -0.1 < h?
False
Let n(z) = -6*z - 9. Let r be n(-4). Suppose 0 = -21*a + r*a. Which is greater: a or 2?
2
Suppose 0 = -616*x + 619*x. Which is smaller: -16/81 or x?
-16/81
Suppose m + 12 = 4*m. Let f be 2/m - (-2)/2. Suppose -5*j + 14 = -3*l, -3*j - 49 = l - 63. Which is smaller: l or f?
f
Suppose 3*i = 3*t + 6, t + 4*i = -10 - 17. Suppose -4 - 16 = -4*c. Suppose c*l = 3*l - 12. Is t less than l?
True
Let c(u) = -u - 2. Let i be c(-7). Is 41 at least i?
True
Suppose -2*v + 4*c - 8 = 0, c + 4*c - 25 = -5*v. Let h be (13/v)/(4 - (-14)/(-4)). Is 13 less than h?
False
Let l = -21 + 36. Is 20 equal to l?
False
Let j be (2 + 2)*11/(-638). Is 1 greater than j?
True
Let n(y) = -3*y + 27. Let g be n(13). Let p = g - -11. Is 2 greater than or equal to p?
True
Let m = 1547/3 - 517. Which is bigger: m or 5?
5
Suppose -4*m - 8 = x, 2*x = 7*m - 2*m + 10. Let s = 26.38 + -26. Let g = 0.28 - s. Which is smaller: g or x?
g
Let u(n) = 59*n**3 - 2*n**2 + n + 2. Let k be u(-1). Let l = k - -99. Is l < 40?
True
Suppose 5*p + 145 = -2*q + 1, 2*p - 5*q = -75. Let r be 2/((-12)/8*(-52)/p). Which is greater: r or 2/7?
2/7
Let h = 19832543/1211 - 16377. Is 1 < h?
False
Let x = -3 - -2. Let u = 0.73 + -0.96. Let j = u + -12.77. Which is greater: x or j?
x
Let k be (-184)/76 - -2 - (-8)/8. Which is bigger: 2 or k?
2
Let t = -0.067 + -60.933. Let l = 66.2 + t. Let d = 5 - l. Which is smaller: d or -6?
-6
Let s = -0.192 - 53.128. Let b = s - -0.32. Which is bigger: b or 2?
2
Suppose 4*f + 26 = -22. Let q = 12 + f. Suppose q = -3*i - 0*i + 24. Is i <= 8?
True
Let y be 1/2 - (-300)/(-8). Suppose 4*c - x + 146 = 0, -2*c + 4*x = 2*c + 128. Is y != c?
True
Suppose -5 = -7*f - 26. Is f <= -8/5?
True
Let g be 15/(-10)*(-6)/9. Let a be g/3 + (-24)/(-9). Suppose 2*z + a*z = 0. Is z at least as big as 1/17?
False
Let z be 1/(2/5)*-6. Let t be (-6)/z*(-5)/(-7). Let b = 1 - 7/5. Is t at most as big as b?
False
Let d = 6 + -3. Suppose 0 = -z + 3*k - 1, 2 + 0 = -2*z + d*k. Suppose 3*f + 2*f - 5*b = 15, 0 = 4*f + 2*b. Which is bigger: z or f?
f
Let a = 0.8 + 0.2. Let h = 0.32 - 8.22. Let x = h + 5.9. Which is greater: x or a?
a
Let a = -12.19 + 0.19. Let w = -12.87 - -1.07. Let n = w - a. Are n and 1/7 unequal?
True
Let t = -267 + 98. Is -170 at most as big as t?
True
Let x = 3 + 129. Let c = 583266 + -12251356/21. Let b = x + c. Which is smaller: 1 or b?
b
Let r = 3.33 + -3.261. Is 3 <= r?
False
Let v be 0*1/2*1. Let y = 7 + v. Suppose 2*h - 5 = -y. Is -5/4 != h?
True
Let o(f) = -3*f - 12. Let y be o(-6). Suppose 0*x + y = -x. Let v = -7 - x. Which is bigger: -4 or v?
v
Suppose 3*i + 2*v + 17 = 0, -v + 3 = -2*i - 4*v. Let y(x) = -7*x - 45. Let u be y(i). Is u at least 18?
True
Let z be 4/10 - (-28171)/(-65). Let q = 16889/39 + z. Let u(d) = 2*d - 1. Let b be u(1). Is q > b?
False
Let p be 5/41*-5*(-12)/(-150). Is p >= 0?
False
Suppose 25*l + 3*c - 57 = 28*l, -2*l = 3*c + 13. Are l and -2 nonequal?
True
Let u = 4 - 3. Let j be ((-224)/21)/((-4)/3 + 1). Let c be (30/j + -1)/(3/(-4)). Which is greater: u or c?
u
Let b = -0.9566 - 0.0434. Are 14 and b nonequal?
True
Let s be (-846)/(-24) + -4*12/(-64). Which is bigger: s or 2?
s
Let n be -221 + 10 - 10/(-2). Are -206 and n unequal?
False
Let o = 121.7 - -1.3. Let j = -124 + o. Is j greater than or equal to 75?
False
Let y = -3057/22 + 139. Let c = -29/88 - y. Which is smaller: 3/2 or c?
c
Let v = 1413 - 1413. Which is greater: 3/335 or v?
3/335
Let l be (-2)/(-12)*(-15)/(-90)*8. Is l < 11/2?
True
Let t be (6 + -4)*3 - 1*15. Suppose -3*u = -0*u + 30. Is u less than t?
True
Suppose 0 = 3*v - v - 4. Suppose v = 2*w - 0*w. Is w at least 0?
True
Let z be ((-35)/(-15))/((-1)/(-6)). Suppose z*s = 12*s. Which is greater: -2/111 or s?
s
Suppose 4*b = -4 - 0. Suppose 3 - 8 = -4*t - u, 2 = -t + 3*u. Let z be t/(-3)*(-4 + 6 + 0). Which is smaller: z or b?
b
Let h = -568 - -568. Is 1/115 at most h?
False
Let g = 805 - 783. Suppose -k - 2*k = -63. Are k and g unequal?
True
Suppose 3 = 2*k - 3*k + u, 5*k - 2*u = 0. Which is greater: 0.0246 or k?
k
Let l = 1.8 - -17.2. Is 8 at least l?
False
Let y(a) = -9*a**2 + 4*a - 3. Let i be y(2). Let f = 29 + i. Which is greater: -3 or f?
f
Let r = 2.112 + -0.112. Which is greater: -6.9 or r?
r
Let a(i) = -5*i - 8. Let q be a(-3). Suppose 5 = -6*t - q. Suppose -v - 20 = 3*v. Are t and v equal?
False
Let g = -0.031 + 25.0