et g = 4972 - 4913.06. Let d = -59 + g. Let q = -204 - -203.5. Which is bigger: q or d?
d
Suppose -27*b = -18*b. Suppose b = 3*s - 2*s - 3*s. Let z be (4/(-448))/((-1)/2). Which is bigger: z or s?
z
Let b = -9.374 + 0.074. Let s = 0.3 + b. Let o = 19 - s. Which is smaller: 0.1 or o?
0.1
Let k(v) = -v**3 + 8*v**2 - 10*v - 28. Let q be k(9). Let g = 181 + q. Is g greater than -15?
False
Let x be 0 + -1 + 2 + -18. Let d be 183/70*(-18)/27. Let g = d + -97/7. Which is greater: g or x?
g
Let p be (235/35 + 1)*7. Suppose 2*i + p - 274 = -2*x, 2*i + 310 = 3*x. Let c be (2/x)/(3 - 21/6). Which is smaller: -1 or c?
-1
Let n be (-54600)/(-450) + (-2)/6. Is n < 21?
False
Let g = -119/122 - -77669/1830. Is g not equal to 40?
True
Let l = -101 + 29. Let i = -54 - l. Suppose -i = -4*u + u. Which is smaller: u or 60/13?
60/13
Let s = 42982/5 - 8416. Which is greater: 181 or s?
181
Suppose -73*w = -94*w + 21. Which is bigger: w or -2/4129?
w
Let g = -50740 + 50675.031. Let h = g + 65. Let b = 0.389 + h. Which is smaller: -1 or b?
-1
Let d = 6.08 + -0.08. Let u = -6 - 78. Let t = u + 85. Which is smaller: d or t?
t
Let f = 52 + 6. Suppose 2*h - 5*g = 6*h + 217, f = -h - 2*g. Which is bigger: h or -46?
-46
Let t = 17436 + -17439. Is t at most as big as -217/64?
False
Suppose 4*w + 58 = -34. Let n = 401 + -421. Let q be (18/(-8) + 1)*4/n. Does q = w?
False
Suppose 20*u - 41*u = -210. Let p = -1.859 + -0.041. Is u at least p?
True
Let p(z) = 3*z + 88. Let f be p(-28). Suppose 0 = -f*u + 24*u + 8380. Which is bigger: 1 or u?
1
Let o = -10387/440 - -7182973/34760. Let u = -183 + o. Is 0 less than or equal to u?
True
Suppose -5*m + 33*m + 560 = 0. Let r(z) = z**3 + 22*z**2 + 47*z - 5. Let o be r(m). Is o at most -145?
True
Let a be (0 + 42/20)/((1992/112)/(-83)). Which is smaller: -0.51 or a?
a
Let z be ((-58)/87)/(1/(6/(-20))). Do -1.83 and z have the same value?
False
Suppose -44*v + 7*v + 525360 = 18*v. Is 9552 greater than v?
False
Let c = 144 - 124. Suppose 0 = -u + 5*i - c - 15, -4*i + 16 = 0. Suppose 0 = -2*w - 20 - 10. Are u and w nonequal?
False
Let y = 30952 + -25579. Which is smaller: 5369 or y?
5369
Suppose 5*h - 242 = -7. Let p = -55 + h. Let y = p + 518/65. Which is smaller: y or 0?
y
Let v be (-33284)/(-216515) + 9/26*348/(-783). Is 1 > v?
True
Let u = -3978583/108 - -36839. Let p = u - 1/54. Which is bigger: 12 or p?
12
Let v = -2/911 + 11853/4555. Suppose -11 + 4 = -4*i - s, 6 = i - 4*s. Which is smaller: v or i?
i
Suppose -545 = -15*n + 1285. Suppose -n = 2*m + 2*b - 452, -5*m + 2*b = -790. Is 161 greater than or equal to m?
True
Let o(w) = 5*w**2 - 3*w. Let g be o(-3). Let j = g - 54. Suppose 2*b + 3*b = -5*b. Is j <= b?
True
Let v be (-58)/10*(0 + 2 - 4). Let r = 141/10 - v. Which is smaller: 13 or r?
r
Let w(j) = -j - 5. Let b be w(4). Let t be (78/(-65))/((-3)/(-10)). Let z be t/(-2)*1*(-42)/12. Is z at most as big as b?
False
Let c = 3083 + -2999. Is c smaller than 146?
True
Let v(n) = 137*n + 6988. Let w be v(-51). Which is smaller: w or 13/1565?
13/1565
Let a = 456 + -466. Let r = -32 - -23. Let k = r - a. Is k greater than 0?
True
Let g = -1.7942 + 1.6942. Which is smaller: 237/19 or g?
g
Let v(b) = 1581*b + 9479. Let j be v(-6). Let k = -0.08 + 3.08. Is k at most as big as j?
False
Let t be ((-10)/14)/(2 + -3). Suppose -8 + 18 = -5*x. Let v be x/(4/6 - 0) + 4. Is t less than or equal to v?
True
Let b = -57581/235914 + 1/5754. Suppose -5*m - 19 = -4*s, 7*s = 12*s - 3*m - 14. Which is bigger: s or b?
s
Let f = 7879.1 + -7908. Is f at most -31?
False
Let j(q) = 10*q**3 - 2*q**2 - 7*q + 5. Let r be j(3). Let k be (24/(-27))/4*(-3)/r. Is 1 < k?
False
Let y = -2300 + 2299.975. Is y equal to 0?
False
Let l be 1548/5*((-2695)/(-98))/11. Is 1 at least l?
False
Let g(s) = 411*s**2 + 7*s + 8. Let z be g(-1). Let u = z - 412. Which is smaller: u or 12/65?
u
Let k be (63 - (-5122)/(-78)) + 5 + 1*-4 + 2. Let x be -166*2/90 + 2. Let j = -1451/180 + x. Is j bigger than k?
False
Suppose 0*d + d + 7 = -3*y, -3*d = 5*y + 17. Let g be ((-9)/(-5) + y)/(22/1155). Which is smaller: g or 43?
g
Let b(n) = -2*n - 4. Let m be b(10). Let l be (2/m)/(52/(-84)). Let f = -113/1612 + l. Which is greater: 1 or f?
1
Let h(k) = -k**2 + 3*k + 41. Let j be h(0). Suppose -j*m - 967 = 837. Which is greater: m or -43?
-43
Let g = -23172 - -23151. Is -4 at least as big as g?
True
Suppose -28*a - 32238 - 30230 = 0. Which is smaller: a or -2232?
-2232
Suppose 0 = 4*k - 8, 72*o - 2977 = 75*o + k. Is o less than or equal to -2978/3?
True
Let m(f) = -f**3 + 15*f**2 + f + 50. Suppose -7*x + 42 = -63. Let d be m(x). Is d greater than 0.2?
True
Let f be -2*(398/56 - 7). Which is smaller: f or 3?
f
Let y = 3/20 - 49/60. Let n(l) = -112*l**3 + l**2. Let g be n(1). Let a = -111 - g. Is y >= a?
False
Let o = 0 - 17. Let w = -1153.6 + 1147.6. Are o and w equal?
False
Let j be (-13 - -14)/((-9)/(-3))*-366. Let g be (-584)/(-1946) + j/427. Let i be 2/(0 + (-2)/(-1)). Is i <= g?
False
Let n = -406/17 + -15191/85. Which is smaller: 5 or n?
n
Suppose -11*p + 12*p = -12. Let j(m) = 11*m + 103. Let i be j(p). Which is bigger: -28 or i?
-28
Let i = 112 + -111. Are i and -2/8709 equal?
False
Let v(f) = 11 + 48 - 4 - 5*f + 57. Let z be v(25). Which is smaller: -12 or z?
z
Let t = 704 - 625.4. Let l = -5.1 + t. Is 1/2 at least l?
False
Let x = -35182 - -34647.54. Let j = -543 - x. Let m = 0.46 - j. Is -4 greater than m?
False
Let m = -124323035/4587 - -81310/3. Are m and 0 unequal?
True
Let f(p) = -p**2 - 7*p - 7. Let v be f(-4). Suppose -v*a - 6 = x + 1, 0 = -5*a + 4*x + 3. Is a < -1/5?
True
Let u(a) = -a**3 + 8*a**2 + 2*a - 4. Let x be u(8). Suppose -p + x = 2*p. Let g = 4256/3 - 1417. Is p equal to g?
False
Let m = -104.88 - -104.67542. Which is smaller: 0 or m?
m
Let v be (-8398)/(-88) - (-215)/(-172). Which is smaller: 95 or v?
v
Let r = 2594.13 + -2645. Let n = -4.93 + r. Let l = n - -56. Are 18 and l equal?
False
Let y = -8/345 - -5951/33465. Which is smaller: 1 or y?
y
Suppose 3*g - 1 = 2*v + 2*g, -3*g - 15 = 3*v. Let o be (-4)/212*5*v. Are 1 and o non-equal?
True
Let q be 1182*(6 + (-9 - -5))/(8/(-2)). Which is smaller: q or -2957/5?
-2957/5
Suppose 16*g - 61*g + 32010 = -12*g. Do g and 965 have the same value?
False
Let b = 1.074 - 0.074. Let d = -12.75 - 33.15. Which is smaller: b or d?
d
Let b = 12875 + -12927. Is b bigger than -40?
False
Let n be ((-20)/5)/4*-179 + -1. Let t = n + -891/5. Which is smaller: -16 or t?
-16
Let b be (18 - 2)/((-10)/40). Let c = -42 - b. Suppose 20*t = c*t + 2. Is t >= 4/21?
False
Suppose -3164 = 77*x - 190*x. Let z be 0*2/(-4) + 5. Which is smaller: x or z?
z
Suppose -307*s - 71294 - 61221 = -23530. Which is greater: s or -2125/6?
-2125/6
Suppose 4 = -4*b - 2*s, 3*b = s - 0 + 2. Are b and -3/368 equal?
False
Let k(h) = 41*h + 113. Let f be k(7). Let z be f/990 + (-1)/((-33)/(-6)). Is z < -14?
False
Let l be ((-34)/(-153) + 4/(-18))/(3 - 2). Which is greater: l or 12/151?
12/151
Suppose 0 = 71*j + 30*j + 3333. Are -803/24 and j unequal?
True
Let o = 48.86 - -6.14. Let s = -133.2 + 133. Which is greater: s or o?
o
Suppose -4*w + y = -11, -68*w + 67*w - 5*y - 34 = 0. Which is smaller: -31/70 or w?
-31/70
Let b(q) = q**2 + 216*q - 880. Let x be b(4). Is -2088 bigger than x?
False
Let u be (-6)/9*(1 + 67 - -1). Let z = u + 49. Suppose z*x + 5*x - 8 = 0. Which is greater: x or 9/16?
x
Let i be 8/10 - 11018/35. Let g be i/(-217) + 16/(-56). Is 2 equal to g?
False
Let m = -15067 - -16541. Which is bigger: m or 0?
m
Let r = 15 - -175. Let b = 92 - r. Let x = b + 102. Which is greater: 3 or x?
x
Let f(l) be the first derivative of -l**2 + 19/3*l**3 - l - 13 + 1/4*l**4. Let i be f(-19). Is i smaller than 37?
False
Let l(j) = -41*j + 6. Suppose -4*x = 12, -3*x = -5*c - 0*x - 6. Let k be l(c). Which is bigger: 130 or k?
130
Suppose u - 44 = -3*j, -3*j + 3*u + 33 = -15. Let o be (-132)/j*5/(-2). Let q be 6/o*(-2)/(-10). Which is greater: 1 or q?
1
Let o = -0.251 - 196.749. Let m = -197.066 - o. Is -1 at most as big as m?
True
Let f be (0 + (-1)/2)/1. Let q = 500.8 - 502. Which is bigger: q or f?
f
Suppose 168*t = 162*t - 270. Let u be (-10)/(-12) + t/54. Which is bigger: u or 5?
5
Suppose 11*t = 1246 + 305. Let r = t + -142. Which is smaller: r or -1/13?
r
Suppose -2*j 