e l(2). Let y = 1090 + -1090.07. Are y and t non-equal?
True
Let v be (-33288)/(-131254) + (-4)/(-58). Is 1 < v?
False
Let i(m) = m**3 - m + 9. Let z be 4*1*(-35)/(-7). Suppose 0 = -4*v + 5*j - j + z, 5 = -v - j. Let o be i(v). Which is smaller: 8 or o?
8
Let a be 3/(-744)*(-32)/(-48)*-2. Are -1/4 and a equal?
False
Let l be ((-30)/25)/(4/(-185)). Let d = 54 - l. Let n = 1/467 - 472/2335. Do d and n have the same value?
False
Let x be 175/(-30)*-3*-2. Let s = x + 40. Suppose 0 = -3*k + s*k - 10. Are k and -1 non-equal?
True
Suppose -2*n + 3 = z - 22, 2*z - 6 = 0. Suppose 0 = 3*d - 3, 0 = -c - 3*c - 3*d + 19. Suppose c*k + 4 = 44. Is n less than k?
False
Let s = -3/1595 + -1057/1134045. Which is smaller: 0 or s?
s
Suppose -5*z = -4*z - 3*l, 3*l = -4*z. Suppose z = 13*t - 11*t + 92. Which is smaller: -47 or t?
-47
Let q = -5094 + 10819/2. Suppose 2*f = -2*s - 2*f - 664, -2*f - 984 = 3*s. Let m = q + s. Are m and -10 non-equal?
True
Let q = -107 + 108. Let h be -6*(-4 - ((-11)/3 + q)). Are 8 and h non-equal?
False
Let g = 6.9984 - -0.0016. Which is bigger: -32 or g?
g
Let d = 353 - 402. Is d less than -6?
True
Let r(g) = -g**2 - 2*g + 2. Let q be r(-4). Let c be (3 + -2)*(1 + -4). Let t = -3 + c. Is q greater than t?
False
Let t = 141 - 228. Let k = t + 89. Let i be 5/3 - (-4)/(-12). Is i > k?
False
Let k = -4577/48 - -192947/2016. Let d = -1/288 - k. Is d greater than or equal to -1?
True
Let z be 86/(-28) - 128/(-224). Let y(s) = s**3 - 5*s**2 - s - 5. Let c be y(7). Let m = c - 256/3. Which is smaller: m or z?
z
Let i be ((-4)/(-12))/((4/30)/2). Let k(o) be the second derivative of -o**4/12 + 2*o**2 + o. Let t be k(0). Is t greater than or equal to i?
False
Let z be 1/(-4) - 56/32. Do z and -14/23 have the same value?
False
Let n(d) = d**3 + 12*d**2 - 7*d + 70. Let r be n(-13). Which is smaller: -0.02 or r?
r
Let b(y) = -50*y - 82. Let s be b(-8). Which is smaller: s or 319?
s
Let r(y) = -13*y + 54. Let z be r(6). Let w be (36/6)/z*1. Which is bigger: 55 or w?
55
Let n = 901 - 4429/5. Are 16 and n nonequal?
True
Suppose 20*j - 16*j = -808. Which is greater: j or 1?
1
Let o = 0.269 + -0.269. Which is bigger: o or 3/95?
3/95
Suppose -7*q - 465 = -2*q. Let k = -196 - q. Let y = k + 5664/55. Which is greater: 1 or y?
1
Let c = 48.5 + -40. Let i = -8 + c. Let u = i + -1.5. Is u >= 5?
False
Suppose -4*s = c - 97, -3*s - 291 = -4*c + c. Suppose 5*f = -38 - c. Let o = -21 - f. Which is bigger: o or 5?
o
Let l = -264 - -324. Is 57 less than or equal to l?
True
Let h(x) = x**2 + 3*x - 5. Let b be h(-6). Let o be (-1)/(-3)*(16 - 4). Suppose -13 - o = i + 5*t, 5*t = i - b. Is -4 greater than or equal to i?
False
Let g = 157 - 11633/74. Which is smaller: 0 or g?
g
Let i be 1*(14/(-10))/(180/(-525)). Is 5 at most i?
False
Let u = -109 - -109.1. Which is greater: u or 1.53?
1.53
Let i = -0.056 - 63.944. Is i at least as big as 0?
False
Suppose 6*q - q = -185. Is -480/13 at most q?
False
Let c(d) = 3*d**2 - d + 1. Suppose 0*n - 4*n + 4 = 0. Let k be c(n). Suppose -p + f + 4*f = -16, -k*p - f = 0. Which is greater: 2 or p?
2
Suppose 4*t - k - 18 = t, -3*t + 18 = k. Suppose g + 2*c - 13 = -0, -2*c = -5*g + 17. Suppose -3 = g*d - 28. Which is bigger: d or t?
t
Let y = -40 - -27. Let o be 3930/(-312) + 6/(-39). Is o < y?
False
Let w = -297678 + 2675435/9. Let s = 407 + w. Which is bigger: 3 or s?
3
Suppose 0 = -3*m + 3*k - 3, -1 - 5 = 2*k. Which is bigger: m or -26/7?
-26/7
Let c(g) = -g**3 - 6*g**2 - 6*g - 8. Let t be c(-5). Let n be ((-10)/t)/((-4)/15). Which is smaller: n or -12?
n
Let a = 5.2 + -5. Let y = -0.1 - -2.1. Let i = 1.9 - y. Is a at least i?
True
Let q(j) = -j**2 - 39*j - 350. Let f be q(-25). Let d be -1*19 + 0 - -1. Which is smaller: f or d?
d
Suppose -1904 = 2*u - 4*s, 4*u - 70*s + 3805 = -65*s. Which is smaller: u or -1?
u
Suppose 0 = -3*v - 4*i + 78 + 20, 0 = v - 4*i - 54. Which is greater: 75/2 or v?
v
Let a = -30.7 + 1.7. Let w = a - -18. Which is bigger: w or -3?
-3
Let j be ((2 - -1)/3)/(112/(-672)). Is -77/13 at most j?
False
Let o be (-71 + -6 + 3)*10/20. Which is smaller: -47 or o?
-47
Let z be 6/(-42) - -141*(-2)/(-14). Is z <= -1/10?
False
Let v = 17.3 + -17.1. Which is bigger: v or 35?
35
Let q = 37.4 - 37.6. Which is smaller: q or 9?
q
Let z be 85/(-27) + (18 - 9)/3. Is z smaller than 0?
True
Suppose 0*n + 20 = 4*n. Let f(c) = -c**3 + 4*c**2 + 6*c - 4. Let o be f(n). Let w be 3*o/(-12)*-12. Is w at least 3?
True
Let c(n) = 6*n - 5*n - 2 + 0 + 3. Suppose 30 = -4*l - 2*l. Let q be c(l). Which is smaller: -6 or q?
-6
Suppose -1833 = 29*a - 267. Let n be 55/(-1)*(3 + -2). Is n < a?
True
Let g = 5 - 8. Suppose 28*z + 163 - 51 = 0. Which is smaller: z or g?
z
Let y(b) = -5*b + 179. Let x be y(31). Are 0.29 and x unequal?
True
Suppose 0 = 324*i - 326*i - 116. Which is smaller: 1/4 or i?
i
Suppose -27*n + 7*n = 49*n. Is -1/854 greater than or equal to n?
False
Let i = -135 - -133.75. Let y = -0.25 - i. Is y at most as big as 49?
True
Let x be 1/(0 - 1*-1). Let z = 63 - 59. Let f be (-1*z/38)/(2/(-2)). Is f less than or equal to x?
True
Let o(q) = 2*q - 1. Let b(j) = j**3 - 4*j**2 + 4*j - 2. Let x be b(3). Let z be o(x). Let c = 10 - 9. Is c greater than or equal to z?
True
Suppose 0 = -3*i + 7*i + 20, 3*m + 73 = i. Is -20 < m?
False
Let o = -156 - -155. Which is greater: o or -1/4?
-1/4
Let v(o) = -11*o - 8. Let x(i) = -10 + 17 - 5 - 5 - 4*i. Let m(b) = 6*v(b) - 17*x(b). Let r be m(6). Is r greater than 15?
False
Let w be (-2 + (-8)/(-6))*-12. Let y(x) = x**3 + 10*x**2 + 9*x + 8. Let u be y(-9). Are w and u equal?
True
Suppose 9435 = 19*z + 2462. Is 366 less than z?
True
Suppose 0*d = 2*d + 72. Let v = -41 - d. Suppose -k + 5*k = 4*y - 8, 40 = -5*k - y. Is k at most v?
True
Let u(r) = -r - 2. Let p be u(-4). Suppose p*t = -k + 4, -k + 7 - 3 = -t. Suppose v + a + t*a - 1 = 0, 10 = -2*v + a. Which is smaller: v or 1/7?
v
Let z = 7.014 - 0.014. Let n = 7.1 - z. Which is greater: n or 9?
9
Suppose c = -5*s + 5 - 11, -2*c = -3*s - 14. Suppose -5*y = 2*r + r - 24, 0 = 4*y + 3*r - 21. Suppose 16 = -y*b + 7*b. Is b greater than c?
False
Suppose 424 = 8*b + 472. Is b < -0.77?
True
Let k be (-15)/(-35) - (-5)/(-14). Suppose -2*x + 5*u + 21 = -x, -3*x = -u - 7. Is x >= k?
True
Let d = -124 - -73. Let x = d + 205/4. Is x greater than or equal to 9?
False
Let s(o) = 5*o + 49. Let x be s(-9). Suppose -2*i + 22 = -0*i. Let m = x - i. Is m < -1?
True
Let g = -226 - -219. Which is bigger: -37 or g?
g
Let n = 11 + 0. Let c be (n + -6)*(-1)/(-5). Is c less than 3/8?
False
Let a = -2/49 - 39/245. Are 30/19 and a equal?
False
Let b = 6 + 8. Let l = -17.24 + 0.24. Let q = l + b. Is 0 at least as big as q?
True
Let u = -4.999 - -5. Let l = u - 0.101. Is 15 > l?
True
Let k = 26.78 + -26.8. Let o = 8.12 - 1.1. Let t = k + o. Which is smaller: t or 0.1?
0.1
Suppose -3*w + 7 = 4*a + 2, -2*w = a. Which is bigger: w or -28/23?
w
Let u = 0.1 + -1.6. Let y = 0.5 + u. Which is smaller: y or 22?
y
Let v = 32.052 + -0.052. Let n = 17 - v. Let a = 14.9 + n. Are 23 and a nonequal?
True
Suppose 93*z + 122 = 91*z. Is z >= -61?
True
Let v = 564 + -562. Let y = -3/5 - -4. Which is smaller: v or y?
v
Suppose -173*y + 178*y + 405 = 0. Is -79 smaller than y?
False
Suppose 25 = -5*y, 0 = -5*z + 4*y - 1169 - 101. Which is smaller: -259 or z?
-259
Let n = 0.054 - -35.946. Let t = -36.3 + n. Let w = -0.2 + 4.2. Is t at least w?
False
Let u = 5 - 8. Let p = -35/569 - -37151/11949. Let k = p - 19/7. Which is smaller: u or k?
u
Let p(z) = -2*z + 8. Let c(s) = 77*s - 3 + 20 - 81*s. Let g(o) = -4*c(o) + 9*p(o). Let j be g(2). Is j at most as big as 4/17?
True
Let r be (-31 - -29)/(0 + -7). Which is smaller: -3/4 or r?
-3/4
Let l = -4.3 + -19.7. Let h = 2050 + -2048. Is l != h?
True
Let u = -68 - -103. Suppose 6*m = 11 - u. Let w be -1*(-2)/(-2)*6. Which is greater: w or m?
m
Let i(l) be the second derivative of 3*l**3/2 + l**2/2 - l. Let g be i(1). Is g equal to 10?
True
Let h(q) = -3*q**2 - 16*q + 35. Let k be h(3). Which is greater: k or -81/2?
k
Let y = -15/224 - 141/2912. Let w = -4 + 5. Which is smaller: y or w?
y
Suppose -52*i + 59*i - 112 = 0. Which is greater: 17 or i?
17
Let n = 1.32 + -0.22. Let w = n + -1.9. Let x = w + 1.7. Which is greater: x or -0.1?
x
Let k(r) = r**2 + 13