et n = o + -16.9. Let r = n - -18.2. Is -2/5 at most as big as r?
True
Let y = 417 + -410. Let t = 0.25 + -10.25. Let z = t + y. Is -0.9 less than or equal to z?
False
Let s = 6227/48019 - 1/1549. Is 1 greater than or equal to s?
True
Let x be (18/(-594))/((-1)/(-1))*-87. Is x > 4?
False
Let w be ((-1)/5)/1 - (-1659)/(-105). Which is bigger: 4 or w?
4
Let m = 1 - 3. Let p be (-76)/10 + m/5. Let d(t) = -3*t**3 - 53*t**2 - 26*t + 127. Let k be d(-17). Which is greater: p or k?
p
Let l be 2*-1 + (-52)/(-25). Let s(p) = -p**3 + 2*p**2 - 1. Suppose 3*k = 3 - 0. Let d be s(k). Which is bigger: d or l?
l
Let v(u) = -183*u**2 - 5. Let l(t) = 182*t**2 + 4. Let p(z) = 4*l(z) + 3*v(z). Let y be p(1). Let k be (3*1)/((-54)/y). Are k and -12 unequal?
True
Let l be 1*-6 - 560/(-80). Are 49 and l nonequal?
True
Suppose 21*u = -458 + 122. Suppose h + 3*m = 0, -m - 40 = h + 2*h. Which is smaller: u or h?
u
Let m be (-404)/10 + (-2)/(-40)*8. Let a = 2 + m. Is a greater than -38?
False
Let b = -127 - -136. Which is bigger: 11 or b?
11
Let n = 1045 - 1044. Which is bigger: n or -1?
n
Let q = 2.46 - 3.46. Is q < 5?
True
Let g = 117 - 148.7. Let r = 32 + g. Is r bigger than 1?
False
Let p be 33/(-77) - 95/7. Let t = 10 + p. Which is smaller: -24/7 or t?
t
Suppose -2 = -3*k + a, -5*k = -0*k + 3*a + 6. Suppose k = -2*o + 3*o + 2*f + 10, 0 = -5*f - 5. Which is smaller: o or -9?
-9
Let o be (12/5)/((-2)/(-10)). Let s(t) = -t**2 + 9*t + 37. Let n be s(o). Which is smaller: n or 1/114?
1/114
Let b = -0.014 - 1.986. Let h = -4 - b. Let z = 9.14 - 0.14. Is h greater than z?
False
Suppose 4*r - 10 = -2*j - j, 4*j - 9 = -r. Let d(c) = -c**2 + 5*c - 1. Let k be d(4). Let v be (-1)/k + 8/(-84). Which is smaller: r or v?
v
Let g = -687.04 + 687. Is -8/9 at least as big as g?
False
Let p = -10 + 11. Let k(i) = 3*i. Let s be k(-4). Is s at least p?
False
Suppose 4*c = 5*c + 2*q + 7, -3*q = -c + 8. Is 0.0379 at most c?
False
Let q = -8 - -4. Let x(c) = -c**3 - 3*c**2 - 5*c - 4. Let h be x(-2). Suppose 4*m + 3*l + 0*l + 28 = 0, h*m = 5*l + 12. Is q > m?
False
Let w = 0.099 - 0.629. Let o = 7168 + -7168.1. Is w greater than or equal to o?
False
Let q(v) = -v**3 + 2*v**2 + 3*v + 2. Let u be q(3). Let c be (-72)/33 - -1*u. Let o = 454 - 445. Is c not equal to o?
True
Let a = -12 - -20. Let u(o) be the second derivative of o**4/12 - o**3 - 3*o**2 - 4*o. Let f be u(8). Which is smaller: a or f?
a
Suppose 2*s = r - 15, -3*r + 0*r + 4*s + 41 = 0. Suppose r*x = 10*x - 2. Is -9/8 equal to x?
False
Let l be (-5278)/(-315) + -6 + (-2)/10. Which is bigger: l or 11?
11
Suppose -4*z - 372 = -0*z. Let o = -34 - z. Suppose -5*x = -3*a - o, -3*a - 37 = -3*x - 2*a. Which is bigger: x or 12?
x
Suppose 10 = -18*d + 13*d. Let q(y) = y - 1. Suppose -2*l + 2 = 2*u - 4*u, 3*u = 5*l - 5. Let m be q(u). Is d greater than m?
False
Let m(a) = 2*a**2 + 28*a + 38. Let j be m(-17). Let c be ((-4)/6)/(j/(-30)). Which is smaller: -2/9 or c?
-2/9
Suppose -9*u + 7*u + 4 = 0. Suppose 2*k - u*v = -k + 13, -2*v = -k + 11. Let j be k*(0/2)/(-1). Which is smaller: j or -2/5?
-2/5
Let z(i) = -i**3 - 7*i**2 - 6*i + 2. Let x be z(-6). Let g be 6/33 + (-54)/(-66). Let v = 1 + g. Is x greater than v?
False
Let i be 6 - ((-115)/(-25) + 12/30). Is i >= 2/9297?
True
Let u = -19990/812471 - 4/3487. Is 0 at most as big as u?
False
Let x = -0.1 - -2. Let v = x + -2.9. Is v > -0.025?
False
Let r = 0.29 - 0.13. Let t = r + 0.04. Do t and 2 have the same value?
False
Let a be (-221)/(-455) + -1*(-1)/(-5). Which is greater: -427 or a?
a
Let m = 58/17 + -5667/1666. Is 1 < m?
False
Let g be (4/(-6))/(2/(-93)). Suppose i + 3*i - 12 = 2*c, 14 = i + 5*c. Suppose 3*n - 20 = -i*d + 16, 0 = -2*n - 5*d + g. Which is bigger: 7 or n?
n
Let f = -2583 + 18082/7. Is 38 at most as big as f?
False
Let j = -212957/8666 + 3/1238. Is j at most -24?
True
Let z = -1 - -2. Let l be 1695/(-6)*(-6)/5. Let r = -4405/13 + l. Which is smaller: r or z?
r
Suppose 5 + 7 = 3*g. Suppose -5*b + 23 = -2, g*b = 5*n. Which is greater: 14/3 or n?
14/3
Let r be -116 - ((-3)/(-2))/((-9)/12). Do -115 and r have the same value?
False
Let p = -20 - -20.1. Suppose -4*m = -4*t + 76, 2*m = 5*m + 3*t + 33. Let b be 27/42*(-5)/m. Is b less than p?
False
Suppose -2*v + 10 = -q + 4*q, 4*v - 20 = 0. Suppose 0 = x - 6*x - 15, -3*m + 4*x + 21 = q. Let d = 3 - m. Is 10/9 greater than d?
True
Let p = 88.43 + -89. Let i = p + -15.43. Which is bigger: -3 or i?
-3
Suppose 0 = -5*a - 5*a - 430. Which is smaller: -41 or a?
a
Let p(s) = s**3 + 8*s**2 + 7*s. Let h be p(-7). Let x(u) = u - 1. Let i be x(1). Let r be 3/(2 - -4)*i. Is r bigger than h?
False
Let x = 422 - 423. Which is bigger: -2/253 or x?
-2/253
Let y be (-12)/10*(-1389)/12. Suppose -663 = -5*o - 4*s + 40, -562 = -4*o - 3*s. Let g = o - y. Which is greater: g or 1?
1
Let p be (7 + -5)*(-1)/(-13). Is p >= -0.017?
True
Let o = 0.09 + 3.11. Let x = o + 16.8. Let v = -20.4 + x. Is -1/6 > v?
True
Let o be -1*(-52)/27 + -2. Let w(u) = 2*u**3 + 2*u**2 + 2*u + 1. Let x be ((-6)/9)/((-10)/(-15)). Let k be w(x). Which is bigger: o or k?
o
Let g = -9 + 4.2. Let s be (-6)/(-9) - (-4)/(-12)*0. Is s > g?
True
Let j be 1 + 0 + (-78)/74. Let c(z) = -7*z - 14. Let t be c(-4). Let f be 2 + t/(-8) + 18/120. Is f smaller than j?
False
Let p = 326/23 - 8472/575. Is p at least -1?
True
Let h = -4689/34 + 275/2. Which is smaller: 1 or h?
h
Suppose -2*j - 1533 = 1061. Is j at least as big as -1298?
True
Let x = 489 + -936. Is -448 less than x?
True
Let d = 18 - 18.54. Let a = 0.6 + d. Are a and 2/5 unequal?
True
Let g = 2 - 2. Suppose -5*u = 2*b - g*b + 21, 0 = 2*u + b + 8. Let i(s) = 2*s - 2. Let f be i(u). Which is greater: -13 or f?
f
Let o = -203 + 209. Let v be ((-1)/(-2))/(2/32). Let t = o - v. Which is smaller: -20/7 or t?
-20/7
Let g(u) = -3*u - 26. Let s be g(-10). Let q be -3 - (2/s + -3). Is -1 <= q?
True
Let b(v) = -v**3 - v**2 + 4*v + 804. Let x be b(0). Is x bigger than 806?
False
Let o(q) = 2*q - 16. Let u be o(11). Let a(l) = -u*l + 5 - 2 + 8*l + l. Let b be a(3). Is 12 > b?
False
Suppose 96*t - 140 = 92*t. Is 34 bigger than t?
False
Let i = -0.012 + -46.988. Let t = 46.9 + i. Which is greater: 1/4 or t?
1/4
Let n be -1*(20/4)/(25/10). Is -0.76 greater than n?
True
Suppose -4*f + 2*z = -38, -55 + 15 = -5*f - 5*z. Suppose 3*i + f = 6*i. Which is bigger: 1 or i?
i
Let m = -261 - -260. Is 185 not equal to m?
True
Let t = 388 - 388. Is t > 1/14?
False
Let r be (1 + -3)/(5/75*-2). Suppose 4*l + 17 = t - 73, 4*t = l + r. Let p(n) = n**3 - 7*n**2 + 4*n + 1. Let x be p(3). Are x and l non-equal?
False
Let w be (81/45)/((-6)/(-100)). Let z = 30 - w. Let o be (2/(-2) - 2) + 2. Which is greater: o or z?
z
Let v(q) = -q**2 + 8*q - 3. Let b be v(3). Let d = 9 + b. Let h be (-2)/(-8) + d/28. Is 1 equal to h?
True
Let u = -146 - -75. Which is greater: u or -72?
u
Let d(n) = 4*n**2 - 3*n + 2. Let s be d(1). Let q = 0.2 + -0.24. Which is smaller: s or q?
q
Suppose 36 = -3*w - 9. Which is bigger: -11 or w?
-11
Let w = -0.09 + 4.09. Let q = 1291 + -1290.2. Which is greater: w or q?
w
Suppose -3*s - 5*w + 96 = 0, 0 = -8*s + 6*s - 5*w + 69. Suppose z = 5*z - 108. Are s and z nonequal?
False
Let b = -123.94 + 90. Let k = 34 + b. Which is smaller: k or -2/7?
-2/7
Let w = 5 - 5. Suppose -15 = 3*j - 2*y - 2*y, w = j + 5*y + 5. Let m(b) = b**3 + 6*b**2 + 6*b + 4. Let r be m(j). Which is smaller: -2/5 or r?
r
Let x(j) be the first derivative of -3*j**2/2 - 6*j + 2. Let w be x(-4). Suppose h - 7 = -4*g + 6, -4*h - 4*g + 16 = 0. Is w < h?
False
Suppose -135 = 5*r + 5*s, -s + 3*s + 6 = 0. Which is smaller: r or 0.04?
r
Let m = -10172 + 60769/6. Does m = -45?
False
Let x = 2.1 - 2. Let w = -7736.3 + 7736. Which is smaller: w or x?
w
Let p = 15 - 17. Let k be 0 + (p - (-2)/2). Let h = -4/5 + 17/15. Which is smaller: k or h?
k
Let s be ((-4)/5)/((-9)/45). Suppose -3*u + 21 = -3*r, 4*u + s*r = 68 - 24. Suppose -a + 5*d = u, 0 = a + 2*d + 2*d. Which is greater: -2 or a?
-2
Let t = 0 + 8. Let m = -163.92 + 164.12. Is m at most t?
True
Let m = -167 + 173. Is 15 > m?
True
Let w = 599/31463 - 1/1293. Which is greater: w or 0?
w
Let m = -11 + 11. Suppose -2*h - 8 = m, 2*z = -4*h - 7 - 5. Suppose z*l + 3 = -l. Is -4/5 bigger than l?
True
Suppose -l + 2*k + 9 = 0, 2*l + 3*l -