eater than or equal to w?
True
Let p = 5705 + -3935. Let l = p + -433649/245. Is l at most 1?
True
Let r be 0/(-2*2/(-4)). Let x(a) = a**3 - 2*a**2 + 8*a + 21. Let z be x(6). Let f = z + -1279/6. Which is smaller: r or f?
f
Suppose -15*g + 2*j = -10*g - 13562, -g = j - 2718. Suppose -g = 9*q + 841. Is -395 at least as big as q?
True
Suppose 0 = 79*c - 8058 - 16195. Which is greater: c or 923/3?
923/3
Let z = 1992 + -1993. Which is greater: z or -2182?
z
Let v be (16/(-56))/((-6)/28)*3. Suppose i = 3*h + 48, v*i - 157 - 11 = 4*h. Which is smaller: 38 or i?
38
Let u = -19909 + 4021615/202. Is 1 less than u?
False
Let r(v) = 2*v**2 + 39*v + 8. Let k be r(-21). Let l = -51 + k. Let s = -41 - -123/2. Is s equal to l?
False
Let w = 0.03 + -22.03. Let u = -2022 + 12133/6. Which is greater: w or u?
u
Let n be (-1 - -3 - 4407/(-195))/((-2)/(-10)). Is 126 at most as big as n?
False
Let a be 95/15 - 4/3. Suppose 3*i - a = 5*h + 31, -4*i - h = -48. Let u be (18/54)/((-1)/(-30)). Are i and u equal?
False
Let m be (43 - (-1284)/(-30))/(1/2). Is m greater than 8.995?
False
Let c be (-300)/24*(2 - 18/15). Let z be (-11)/(-176) + (1 - c/(-8)). Let r(v) = -v + 4. Let t be r(4). Does z = t?
False
Let t(x) = x. Let y = -38 + 35. Let g be t(y). Let f = -5 - g. Are -16/7 and f equal?
False
Suppose 51*x = 31*x + 1420. Let m = -27 + x. Which is smaller: m or 87/2?
87/2
Let y = 92879 - 92557. Let c be 0 - (-2 + 319/(-1)). Are c and y non-equal?
True
Let h(o) = o**3 - 14*o**2 + 7*o + 80. Let x be h(13). Suppose -3*c - 7*y = -8*y, 0 = -x*c - 2*y + 8. Is c bigger than 390?
False
Let g be (1/(-2) + -2)*2. Let a be ((-7473)/530)/(((-24)/(-100))/((-1)/(-10))). Are a and g non-equal?
True
Let y = -1581.6 - -1582.2. Which is smaller: y or -786?
-786
Suppose 2*d = -4*b - 580 + 1662, b = 4*d + 257. Is b at least 1342/5?
True
Let y = 1.1 + -0.1. Suppose -5*n - 3 = 22, -c + 29 = -5*n. Suppose 3*k = -c*a - 30, -2*a - 40 = 4*k + a. Which is smaller: k or y?
k
Let x = 64 - 46. Let p be 15 + 3 + x/(-3). Let t be (0 - -5)/(5/p). Is 11 equal to t?
False
Let x be ((-2)/(-3))/((-2)/(-3)). Let k(g) = -20*g**3 - 6*g**2 + 2*g + 10. Let u be k(2). Let a be u/68*-3*(-12)/(-10305). Which is bigger: a or x?
x
Let t = 1650 - 874. Suppose 11*a - 39 + t = 0. Do -67 and a have different values?
False
Let t(g) = -13*g**2 - 51*g + 164. Let p be t(3). Is -319/3 equal to p?
False
Let f(j) = 33*j**2 + 4*j - 1. Let w be f(-3). Let r(i) = 83*i**2 - 359*i + 5. Let n be r(5). Is w less than or equal to n?
True
Suppose -349 - 151 = 4*t + 4*m, 4*t + 525 = m. Let y be 2/53*t/(-52). Is -1 < y?
True
Let z = 93/128 + -50359/70016. Is 0 less than or equal to z?
True
Let i(j) = 0*j**2 - 274 + 20*j + j**2 + 147. Let x be i(-25). Is -27/31 bigger than x?
True
Let x = 0 - -0.1. Let i be (3/(-2))/((-3996)/3168). Let h = i - 1614/1295. Is h not equal to x?
True
Let s = -34 - -37. Suppose 2*i + s = -q + 6, 2*i = -4*q + 12. Suppose 0 = q*u + 9, -3*u + 6 = -2*x + u. Which is greater: x or -0.3?
-0.3
Let w be 4/10 + 532/20. Suppose 0 = 4*t - 403 + 343. Suppose b = w - t. Does b = 12?
True
Suppose 21*a + 1820 = 7*a. Let w be (131 + a)*-1*(1 - 0). Is w not equal to -2/65?
True
Suppose 2*l + 2*l + 5*x = 3920, 3*l - 3*x = 2913. Suppose -5*i = -5*v - l, 5*i - 4*v + 6*v = 954. Are i and 192 unequal?
False
Let x = -380 + 574. Let n = 188 - x. Is 78 smaller than n?
False
Let x = 6.15 - 7.15. Are x and 664 equal?
False
Let g = 13582 + -12886. Which is bigger: 694 or g?
g
Let b = -2.49 - -4.03. Let s = b - 8.54. Let k = -0.1 + -0.9. Is k less than s?
False
Let a = 246 - 445. Let s = -209 - a. Suppose -2*q + 2 = 20. Are s and q unequal?
True
Suppose 0 = -3*k - 5*s + 11, s - 4 = -3*s. Suppose 28 = w + 4*h, -k = 20*h - 22*h. Which is bigger: w or 23?
w
Let f be (-5)/19*(-4)/10. Let x be 3968/(-4216) + (-4)/68. Which is bigger: f or x?
f
Let b(j) = 47*j - 150. Let d be b(-69). Which is greater: d or -3395?
d
Let i = -0.166 + 40.066. Let o = -31.7 + i. Which is smaller: o or 2?
2
Let n be (-7)/(-30) + 6/(-15). Let x(d) = -d**3 - 2*d**2 - 4*d + 62. Let j be x(8). Let g = j - -609. Which is greater: g or n?
n
Suppose 0 = 2*g + t - 4*t, 0 = -3*g + t. Let j(c) be the third derivative of -c**4/24 - c**3/3 + 2*c**2. Let p be j(g). Is 0 bigger than p?
True
Let i(y) be the first derivative of y**3/6 + 7*y**2/2 + 45*y + 24. Let g(m) be the first derivative of i(m). Let j be g(1). Which is smaller: j or 48/7?
48/7
Let a = 1386/16439 - -1487881223/345219. Let f = a - 4309. Which is smaller: f or 2?
f
Let r be 438/231 + (-16)/88. Suppose -3*g - 6 = 3*h, -5*h - 15 = -2*h. Suppose 0 = -3*u + 6*u - g*o, -4*u = o - 10. Is u at most r?
False
Let u(d) = 874*d - 3561. Let x be u(4). Which is smaller: x or -41?
x
Let f be (-30)/9*(10 - -53). Let k be 6 + (20/150 - (-1258)/f). Is k < -9.1?
False
Let n = 3585 - 3774. Which is smaller: n or -196?
-196
Suppose -3*o - 27 = 3*a - 15, -4*o - 5*a - 19 = 0. Let w = -12731 + 10885004/855. Which is smaller: o or w?
o
Suppose 0 = o + 5*k - 40, -2*o + 49 - 5 = k. Let z = -17 - o. Let t = -17 - 21. Which is bigger: z or t?
z
Let q = 15.23819 + -0.23819. Is q >= -0.22?
True
Let j = -40.03 + 40. Let s = -56 - -55. Let a be (-78)/(-21) + s + -3. Which is greater: a or j?
j
Suppose 3*l + 316 = 361. Let b(z) = 3*z + 92. Let f be b(l). Which is smaller: f or 138?
f
Let n be ((-901)/3 - -2)/(924/99). Let d = n + 201/7. Is d greater than -2/11?
False
Let m(w) = -73*w - 4073. Let h be m(-57). Is 63 bigger than h?
False
Let s be -2 + (6 - 438)/1. Let o = -718 - s. Which is smaller: o or -285?
-285
Let a(o) = -o + 13. Let b be a(12). Let v be (-24)/18*(-3)/358. Which is smaller: v or b?
v
Let n = -2527 - -2510. Are 35 and n unequal?
True
Let a be (-2)/(1 + -3) - (-1 + -2). Suppose 0*t - a*k = 3*t - 15, -k + 15 = 3*t. Let s = -23 - t. Is -29 greater than s?
False
Let q be 3 + 6/3 + 698. Let j = -18283/26 + q. Which is smaller: j or 1?
j
Let v = 1.48 - -3.2. Let g = 8.1 - 9.42. Let u = g - v. Is u < 0?
True
Let k(c) = -27 + 3*c**2 - c**2 - c**2 + 11*c - 9*c**2. Let r be k(3). Let v be -3*(-3 - r/21). Is v smaller than -7?
False
Let z = 148.8 - 163. Let i = 14.1 + z. Is -4 greater than i?
False
Let p(q) = 5*q + 39. Suppose -65*z = -68*z - 24. Let r be p(z). Is 10/37 at least r?
True
Let d be (-9)/21 + 0 + (-70)/(-49). Let l be (2 + d/(-1))/31. Which is smaller: 1 or l?
l
Suppose -116*c + 16 = -118*c, 3*s + 44 = -c. Let l be -2 + (10 + -2 - 2). Suppose -l*j - 18 = 38. Which is bigger: j or s?
s
Let c be (1/3)/1 + ((-33902)/(-345) - 41). Which is smaller: c or 0?
0
Suppose 0 = -70*v - 17*v - 38*v + 3125. Is -23 less than v?
True
Let c = 106 - 61. Suppose r = 4*u + 12, -2*r + 6*u + 34 = 8*u. Suppose -a + 29 = -r. Is c >= a?
True
Let r(b) = 10*b - 50. Suppose 0 = -4*l + d + 24, -l - d = -4*d - 17. Let p be r(l). Is -2/37 > p?
False
Suppose -20*a - 1849 + 21639 = -2970. Is a bigger than 1139?
False
Let p be 7/84 + (-7133)/(-84). Which is smaller: p or 88?
p
Suppose 0 = 5897*x - 5923*x + 8918. Which is bigger: 357 or x?
357
Let a be ((-23)/(-2139))/(16/1462). Let y = 10/93 - a. Which is smaller: 0 or y?
y
Let z = 242 - 109. Is -0.03 less than z?
True
Let x = -35/36 + 3673/3852. Let t(g) = -2*g + 6. Let m be t(5). Let n be m/(-22) - (-91)/(-77). Do n and x have different values?
True
Let b = 57 - 67. Let d(t) = -t**3 - 11*t**2 - 9*t + 11. Let c be d(b). Is 4/33 greater than or equal to c?
False
Suppose 0 = -22*p + 4*p + 288. Suppose -p*y + 2249 = -2247. Which is greater: y or 280?
y
Let z = -3575/504 + 223876217/31561992. Is z > -1?
True
Let x be (-6)/(-12)*(339/9)/(6/18). Is x not equal to 56?
True
Let z = -17 - -19. Let x be (78 - -1)/((-5)/20*z). Is x greater than or equal to -158?
True
Let w = -6921 + 27685/4. Is w at least as big as -2111?
True
Let u(b) = -65*b**3 + 27*b + 135. Let i be u(-6). Is i <= 14013?
True
Suppose -3*g = 2*g + 30. Let h be 0 - (-4)/(-6)*g. Suppose -h*s + 3*s = -44. Is 43 at most as big as s?
True
Let m(t) = t - 4. Let n(s) = -20*s - 55. Let v(j) = -6*m(j) - 2*n(j). Let l be v(-4). Is -1/9 greater than or equal to l?
True
Let p be 55/(-2) - (119/14 + -9). Let l be (-2 - 0) + p/9 - -4. Suppose -12 = 2*u + 14. Is u bigger than l?
False
Let f = -166637 + 325881/2. Is -3696 <= f?
False
Let c = -4868 - -4878. Which