
Let s = 3/185 - 248/3885. Suppose -2*p - 2*n = -6, -13 = -469*p + 466*p - 5*n. Are s and p non-equal?
True
Let k = 1050 + -1050. Is k less than or equal to 1/271?
True
Suppose 2*q + 32 = -2*q - 5*r, -3*q + 3 = -3*r. Let m be q/(-476)*-82 - (-2)/4. Is -1 equal to m?
False
Let a = 230 + -224. Is a equal to -3?
False
Suppose -19*h - 913 = 1709. Is -137 at least h?
True
Let r = -23063/5 + 4481. Suppose -3*x + 397 = 3*v - 2*x, 5*x + 259 = 2*v. Let n = r + v. Is n greater than -3?
True
Let v = -597/4 + 151. Is v less than 0.2?
False
Let n = 3 + -3.1. Let x = -170 - -170. Suppose 3*m - 110 + 116 = x. Is m < n?
True
Suppose 0 = 9*m - 5*m + 324. Let k be (-2)/6 - 27/m. Is k greater than 2/11?
False
Let n(g) = -g**3 + 2*g + 4. Let z be n(-5). Suppose -4*u = z - 563. Let j be 6/u*-1*1. Is 0 <= j?
False
Let k = -894 - -944. Is k less than or equal to 52?
True
Suppose -2*u - 12*f - 92 = -10*f, 5*u - f + 200 = 0. Which is smaller: -42 or u?
-42
Let t = -66/13 + 328/65. Which is smaller: t or 2/7?
t
Suppose -376 = -11*z + 3*z. Let g = -53 + z. Is 4 less than g?
False
Let a(k) = -k**2 + k - 1. Let p be a(0). Let l be -3 - (-3 - (p - 2)). Which is greater: l or -5?
l
Let q = 3595/228 + -33/76. Let l = -9 + 25. Is q < l?
True
Let q be ((-1)/(-2))/(2/72). Suppose 3*l = -q - 18. Let k = 1 + 0. Which is smaller: k or l?
l
Let u(j) = 58*j**3 + j**2 - j. Let b be u(1). Which is greater: 60 or b?
60
Let u be (-30)/24*1/(-2). Let s(t) = -t**3 - 3*t**2 + 1. Let p be s(-3). Is u equal to p?
False
Let t = -10.5 - -10. Let f = -294 + 294. Which is smaller: f or t?
t
Let v = -3.79 - 0.02. Let g = v + -0.19. Which is bigger: -6 or g?
g
Let v = -5.148 - -5.2. Let l = 1.948 + v. Which is bigger: -0.2 or l?
l
Let x = 11.79 - 9. Let z = x + 0.21. Which is greater: z or 0.1?
z
Let o be (-2)/(-3)*(-42)/4. Let u(r) = -r**2 - 6*r + 9. Let x be u(o). Which is greater: -0.14 or x?
x
Let z be 555/10 + (-1)/(-2). Let q be ((-10)/z)/(6/(-24)). Which is greater: q or 0?
q
Suppose 2*x + 6 = 4*m, 4*m + 2 = -8*x + 18. Which is greater: 4 or m?
4
Let r = -1.9 + 2. Let w = r + 0.9. Let s = -100.9 - -101. Which is greater: w or s?
w
Suppose 0 = 4*k + 5*a - 8, -2*k + 8 = 5*a - 6. Let q be ((-3)/70)/(6 + k). Which is bigger: q or 1?
1
Let a = -616639/95 + 6491. Which is smaller: a or -1?
-1
Let v = -726 - -5069/7. Let m(a) = -3*a**2 + 27*a - 43. Let j be m(7). Is j <= v?
False
Let h = 96 + -27. Let c = h - 70. Which is greater: -1/3 or c?
-1/3
Suppose -4*n = -2*n + 4. Which is smaller: 1 or n?
n
Suppose -41*r - 2392 = 478. Which is smaller: r or -68?
r
Suppose 5*j - 4*j = h + 3, -5*h + 30 = 4*j. Suppose 0 = 4*w + 1 - 25. Let k be 2/w - (-8)/3. Is h < k?
True
Suppose 0 = 7*u - u + 96. Let r be ((-26)/(-9))/(u/24). Let w(n) = n + 5. Let l be w(-10). Which is bigger: r or l?
r
Let w = 126 - 124. Suppose x = w*x - 6*x. Which is smaller: x or -1/54?
-1/54
Let x be 2/30*((-45)/(-25))/3. Let p = x - -4/25. Are 3/7 and p nonequal?
True
Let t = 0.144 + -0.02. Let x = -0.044 + t. Which is greater: 1 or x?
1
Suppose 5*d + 32 = -2*l + 7, d = 4*l + 17. Let p be 2 - (d + (-13)/(-3)). Is p equal to -8?
False
Suppose -6*y + 12 + 0 = 0. Suppose 0 = -3*t - 2*m - 3*m + 14, 0 = -y*t - 4*m + 8. Let c be (14/(-6))/(4/t). Is c greater than 0?
False
Let u(s) = s**2 - 8*s + 17. Let m be u(5). Let z be ((-12)/24)/(m/88). Which is smaller: -21 or z?
z
Let o be (-16)/(-56) + 589/217. Suppose 4*q - 23 = -63. Which is smaller: q or o?
q
Let h = 4421/3 + -1448. Let a = 379/15 - h. Which is smaller: 1 or a?
a
Let v = -338 - -336. Which is greater: 131 or v?
131
Let o(z) be the third derivative of z**6/120 + z**5/60 - z**4/6 - z**3/2 - z**2. Let b be o(-2). Let f = -34/15 + 151/60. Which is greater: b or f?
b
Let c be (-1)/(-1 + (-3)/(-6)). Suppose -5*p + 2*s = 3*s + 52, 4*p - c*s = -36. Which is bigger: -8 or p?
-8
Suppose -t - 6*t - 42 = 0. Let u(i) = i**2 + 3*i - 3. Let q(z) = 2*z**2 + 5*z - 7. Let a(d) = -2*q(d) + 5*u(d). Let b be a(t). Which is smaller: b or 6?
b
Let b(a) = a**2 - 3. Let z be b(-2). Let i be (-7)/(-1)*-3 + z + 3. Let w = 12 + -29. Is i at least w?
True
Let t be (-5 - -8) + 2 + -3. Suppose t*d = d + 8. Suppose -3*k = k + d. Which is smaller: k or -1?
k
Suppose 4 = 4*i + 12. Suppose 3*o = -o + 72. Let a be (-8)/o*(-5 - -8). Which is smaller: i or a?
i
Suppose -u - 5*c + 170 = 2*u, 3*u - c - 164 = 0. Suppose -15 = -5*p - u. Let k = -55 - -47. Is k < p?
False
Let t = -109.695 + 79.66. Let m = t + 0.035. Which is greater: m or 1?
1
Suppose -3 = 2*z - o, 0 = 4*z - 14*o + 17*o + 1. Which is bigger: z or -10/33?
-10/33
Let r = 9 - 4. Suppose 0 = -r*g + 4*o + 5, -g - 2*o + 1 = -5*o. Is 2 less than g?
False
Suppose -18 = -2*t + 4*n, -566*t + 24 = -565*t - 5*n. Which is smaller: 6/35 or t?
t
Suppose 2 = u + u. Let b be u*(-4 - 11/(-1)). Let y be (b + -2)*2 + 1. Is 11 at most as big as y?
True
Let c = -167 - -159. Let p = -58 + c. Which is smaller: p or -67?
-67
Let u(t) = -2*t. Let n(d) = -d. Let z(g) = 3*n(g) - 2*u(g). Let j be z(-3). Let b be 1/(j + 4 + 0). Which is smaller: b or 2/23?
2/23
Let a(v) = -v**3 - 8*v**2 - 5*v - 38. Let g be a(-8). Is -0.5 > g?
False
Let s = -1.2 - -1.305. Let u = 4.105 - s. Which is smaller: u or 5?
u
Let s = 7.951 + -8. Let k = -4.049 - s. Which is smaller: k or 2?
k
Let z(b) = -b**3 - 13*b**2 - 9*b + 34. Let g be z(-6). Which is smaller: g or -166?
-166
Suppose 5*i - 5 = -0*i. Suppose n = -i + 2. Suppose -n = -3*m - 4. Which is smaller: 2/19 or m?
m
Let m be (0/(-3 + 7))/1. Suppose -3*j + i + 15 = m, 0 = j + 2*i + 5 - 3. Suppose -j*t - 2 = -3*g + 4, t + 3*g = -9. Do t and 0 have the same value?
False
Suppose 4*t - 924 - 1018 = 2*i, -5*t = 3*i - 2422. Let b be (1/((-5)/14))/(873/t). Suppose 0*g + h = 4*g + 2, -14 = 4*g + 5*h. Which is greater: b or g?
g
Let k = 35265 + -177101/5. Is -154 at most as big as k?
False
Let c = -18 + 20. Let y(u) = 5 + u**c + 10 - 10*u + 0*u**2. Let g be y(10). Are g and 15 non-equal?
False
Let u be 12/(-4)*(-6951)/21. Which is bigger: 991 or u?
u
Let b(d) = 1. Let p(v) = -v - 9. Let t(q) = 6*b(q) + p(q). Let s(k) = k - 1. Let y(j) = -s(j) + t(j). Let a be y(6). Which is bigger: a or -15?
a
Let g = -0.68 + 0.28. Is g equal to -12?
False
Suppose -2*d - 5*x = 18, 50*x - 49*x + 8 = 4*d. Is 2/391 > d?
False
Suppose 2*f - 84 = -14. Is f != 179/5?
True
Let i = 28.6 + -29.6. Which is bigger: i or 0.042?
0.042
Let z(c) = -2*c + 10. Let g be z(8). Which is greater: g or -162/23?
g
Let g = -428 - -417. Is -68/7 less than g?
False
Let u be (28/35)/((-4)/(-10)). Let r be (-9 + 11)*213/u. Let m be (r/210 - 1)*-4. Which is smaller: m or -1?
-1
Let j be 8/(-3)*(-150)/200. Are j and 40/49 unequal?
True
Let n(m) = -3*m**2 + m - 1. Let r(o) = -4*o**2 + o - 2. Let c(f) = 3*n(f) - 2*r(f). Let h be c(2). Let u = 2 + -2. Is u greater than or equal to h?
True
Let m be -1 - (-9)/((-9)/(-4)). Suppose 0 = 2*c - m - 1. Is 7/5 bigger than c?
False
Suppose 0 = -27*n - 1043 + 4877. Is 139 >= n?
False
Let n(y) = -2*y**2 - 4*y - 9. Let f be n(-5). Let l = -6 + 0. Let d be (-2)/4 - f/l. Are d and -7 equal?
True
Let u(q) = q**2 + 16*q + 6. Let t be u(-16). Suppose -c = t*c - 140. Let d be (-1)/4 + (-95)/c. Which is smaller: d or -6?
-6
Let d(f) = -31*f - 23. Let h be d(-4). Let t = h - 106. Are -5 and t equal?
True
Suppose 0 = -t + 4*t. Let o = 556/9 + -27250/441. Which is smaller: o or t?
o
Let w = 115 + -191. Let h = 75 + w. Which is greater: h or 2/91?
2/91
Let d = -3572/3 - -1197. Let g = 0 - -0.1. Does d = g?
False
Let h = -52 - -64. Let u = -21/52 - -145/13. Is u at most as big as h?
True
Let h be (-2 + -19)*1/(-3). Let r = h - 12. Let d = r - 0. Which is bigger: d or -4?
-4
Let s = -79/165 - -6/11. Let l = 75 + -69. Let o be 1/l - (0 - 5/6). Is s greater than o?
False
Let g = 2244 + -2617. Does -371 = g?
False
Let x be (15/10)/((-6)/32). Let m be 1/36 + 2/x. Let l = -17 - -18. Are l and m equal?
False
Let u be (38/5)/(16/40). Let o = u - 12. Which is smaller: o or 8?
o
Let q = -10.9 + 19. Let x = -9.5 - -1.5. Let m = q + x. Which is greater: m or -1?
m
Let r be 1/14*(3 - -23). Suppose 115*s + 6 = 117*s. Is s less than r?
False
Let n(h) = -5*h - 24. Let s be n(-5). Is 1/470 != s?
True
Let n(a) = -16*a + 70. Let j be n(4). Let h be 1 + 0 - (-76)/14. Which is smaller: j or h?
j
Le