))/(b/(-50)). Suppose 2*x + 22 = -88. Which is greater: x or w?
w
Let f = 298.658 - 298.558. Suppose 5*w - 627 = -4*v + 2*w, 4*w = 4*v - 648. Which is greater: f or v?
v
Suppose -78795*w + 78774*w + 39501 = 0. Which is smaller: 1880 or w?
1880
Suppose 11*h - 16*h + 916 = 3*r, -3*r + 956 = -5*h. Let d be 5442/16 + (-39)/r. Is d <= 342?
True
Suppose 2*k = 34*i - 36*i + 882, i = 3*k + 453. Is 448 at most i?
False
Let n be ((-11)/(-5) + -3)*(-3 + 58). Let l be (2320/n)/((-1002)/(-1)). Let k = l - 4/501. Which is smaller: k or -1?
-1
Let t = -13 - -36. Let y = -12597 + 12601. Is y > t?
False
Let q = 73373 + -807729/11. Is -56 != q?
True
Let g be (-45)/12 - -2 - 0 - 27/(-36). Does g = 1/1526?
False
Let x = 32.3 + -31.71. Does 0.04 = x?
False
Suppose 0 = -3*c + 6*c. Suppose -2*t - 2*z + 14 + 2 = c, t = -5*z + 20. Suppose 2 = -97*q + 98*q. Which is bigger: t or q?
t
Let r = 1034 - 1092. Which is smaller: -76 or r?
-76
Let x(p) = 4*p + 6. Let r be x(19). Is r less than or equal to 1084/13?
True
Suppose -o + 3*n + 6882 = 6860, 0 = 3*o + n - 146. Is 234/5 equal to o?
False
Let z(k) = 3 - k - k**3 + 20*k**2 - 21*k**2 + 3*k + 2*k**3. Let s be z(0). Suppose 3 = -s*r + 6. Which is smaller: 1/10 or r?
1/10
Let m be 9 + (11 - -655)/6. Which is bigger: m or 119?
m
Let k be ((-144)/180)/((-8)/620). Which is smaller: 1040/17 or k?
1040/17
Let r(m) be the third derivative of -m**5/60 + m**4/12 + m**3/2 - 4*m**2. Let u be r(3). Let p be ((-304)/380)/((-58)/(-5)). Which is bigger: u or p?
u
Suppose 127*c = -21*c. Let s = -93 - -52. Let t = s - -40.79. Is c < t?
False
Let f be (-2)/(-2)*-3 + (-14)/(-14). Let z = f - -9. Suppose 0 = 3*h - 2 - 7, -4*a = -h + z. Which is bigger: -4/7 or a?
-4/7
Let y be (-5 - ((-1526)/148 - -6))*-2. Is y > 0?
True
Suppose -6*b + 2*v - 2 = -5*b, 0 = -4*b - v + 10. Suppose 6*d = 8*d + b. Let f be -5*1/11*1. Which is smaller: f or d?
d
Suppose -3*f = 5*v - 8, 2*f - 1 = -v + 2*v. Let o be 3 - 6/24 - v/(-4). Suppose 9*d - o*d - 18 = 0. Which is smaller: 23/6 or d?
d
Let h be ((-2)/(-3))/((-7)/(-3)). Let y = 14.39 - 12.5. Let k = 0.11 + y. Which is greater: h or k?
k
Let p = -15737 + 8107. Which is greater: -7631 or p?
p
Suppose 0*n + 11*n - 44 = 0. Suppose n*d - 40 - 32 = 0. Is d < 67/4?
False
Let m be (4 + (-30)/8)*-28. Let l be (4/5)/(2/5). Let r be 4 - 10 - l/(-1). Which is smaller: r or m?
m
Let l = -3532 - 1320. Which is greater: l or 1?
1
Let h be (-76)/3*2/8. Let z(g) = g**2 + 30*g - 38. Suppose 0 = -w - l - 31, -4*w + l = -4*l + 124. Let s be z(w). Which is smaller: h or s?
s
Suppose -3*p = 4*w + 5, 5*p - 2*w - 4 + 21 = 0. Let c be (-12 - p - -3) + 25. Which is greater: c or 25?
25
Let z be -4*1/6*-6. Let f be 92/(-184)*(3 + (-125)/(-1)). Is f bigger than z?
False
Suppose 2*u + 4*y = 138, 17*y = -2*u + 16*y + 156. Which is greater: u or 2/13?
u
Let d be 1/2*(-96 - 314). Do d and -189 have different values?
True
Suppose 4*t - 8*t + 40 = 0. Suppose 35*w = 40*w - t. Which is greater: 8 or w?
8
Let d be (-324414)/(-335) - (-1 + (-7)/(-5)). Suppose -52*y + d = -54*y. Are -483 and y non-equal?
True
Let n = -23 - -52. Suppose -4*a + 76 = -4*t, 4*a - a + 4*t = n. Let o be (-370)/a*(-6)/(-4). Is -38 at least as big as o?
False
Let a = -538322/57 - -9444. Which is bigger: 0 or a?
0
Let v = -49 - -49. Suppose -4*t + g + 48 = v, 5*t - 60*g = -58*g + 57. Which is smaller: 18 or t?
t
Let c = 4180/3 + -1394. Is 92/3 <= c?
False
Let n = -538 + 703. Let u = -69 + n. Which is smaller: 97 or u?
u
Let o(f) = 33*f**2 + 89*f - 262. Let u be o(3). Which is smaller: 303 or u?
u
Let l(p) = 50*p + 499. Let d be l(-10). Which is smaller: 3/370 or d?
d
Let r(g) = 3*g**2 + g + 15*g + 14 + 36*g. Let n be r(-13). Are n and -156 unequal?
True
Let h = 3.521 + 2.479. Let m = 8/9 + -2/9. Which is bigger: h or m?
h
Let m = 110 + -74. Suppose -3 = 13*z + m. Let n be (-4752)/770 - 1*z/5. Is n at most 0.1?
True
Let y = -42909 - -42907. Which is greater: y or 348.4?
348.4
Let m(l) = -2*l**2 - 5*l - 6. Let u be m(-4). Let h be (u/279)/(1 - 2). Suppose -3*v = -2*d + 216 - 219, 5*v + 14 = -3*d. Is h less than or equal to v?
False
Let k = 3/3508 - -1751/3508. Which is greater: 1112 or k?
1112
Suppose 0 = -19*p + 22*p - 5*r + 12800, -4*p = r + 17105. Which is greater: p or -4273?
-4273
Let z = -5287/3 + 1706. Let m(l) = -8*l**2 - 29*l. Let j be m(-5). Which is smaller: j or z?
z
Let v = -33 + 55. Let u(b) = 5859*b + 29317. Let y be u(-5). Is v equal to y?
True
Let f = -6914 - -6914. Which is smaller: f or 52/47?
f
Let g = -124 - -66. Let a = -54 - g. Suppose 5*p + 4*l = p - 32, -2*p - a*l - 12 = 0. Is p <= -13?
False
Let w(k) = k**3 + 3*k**2 - 4. Let v be w(-2). Suppose -3*p + 89 + 220 = v. Suppose 5*a + 23 = p. Which is smaller: 14 or a?
14
Suppose -u - 28 = 4*m, 46 = -3*m - 2*m - 4*u. Let h = 163 + -168. Let q be 10/h*(-3)/m. Is -2/95 at most as big as q?
False
Let a be (-1793546)/(-9880) - 140/(-910). Let z = a + -727/4. Does z = -1?
False
Let z = 0.286 + 171.714. Let w = 187 - z. Is -0.2 smaller than w?
True
Let r(a) = -3*a**2 - 40*a - 76. Let b be r(-11). Which is smaller: b or -3/263?
-3/263
Let v = 8 - 5. Suppose -1494 = -115*z - 114. Which is greater: z or v?
z
Let b = 1655 + -731. Let n = -924 + b. Which is greater: n or -1/209?
n
Let d = -218241 + 218241.2. Let k = -10.99 + -0.01. Which is greater: k or d?
d
Let d be (-6)/(-4)*(-4)/(-663). Suppose -9 = -2*q - 1, 5*q - 20 = -p. Which is smaller: d or p?
p
Let n = 0.0065 + -0.0115. Let d = 0.374 - 1.179. Let f = n - d. Are -2/5 and f nonequal?
True
Let k be (-1565180)/(-224280) + 7*-1. Let g = k + -2/801. Is 0 less than g?
False
Suppose 65*q = 3*n + 66*q - 153, -5*q = n - 51. Which is bigger: n or -79?
n
Suppose -84*o - 4*t + 14 = -86*o, 0 = 4*o - 3*t + 13. Which is greater: 1/398 or o?
1/398
Suppose 0 = 9*w + 10*w - 7752. Is w > 3?
True
Let x be 23 + (58311/76)/(-31). Let z(r) = -2*r**2 + 3*r - 1. Let f be z(2). Are x and f non-equal?
True
Let k = -473.54 - -43.44. Is k smaller than -0.1?
True
Let i be -4*(-2 + 30/24). Let h be (-3)/(-15)*4/(-186)*i. Are 0.1 and h equal?
False
Let q = -107743 + 3013679451/27971. Let o = -84523/8531155 - q. Which is smaller: o or 0?
o
Let l be (-10)/20 + (-22)/(-28). Let n = -156 - -147.1. Let o = n + 9. Is o less than l?
True
Let w = -25503 - -25502. Which is smaller: 44 or w?
w
Let d = -2868 - -2898. Is d greater than 173/6?
True
Let u = -319 + 363. Let y be ((-152)/u + 3)*(8 + -13). Which is smaller: 3 or y?
y
Let u = -741 - -748. Are u and 55 equal?
False
Suppose 11 = -13*h + 76. Suppose -7*v = h*v + 480. Suppose -4*m - 210 = m - 5*i, 3*m + 4*i = -105. Do m and v have the same value?
False
Let o = -12.233 + -13.767. Is 100 <= o?
False
Suppose -2*h = t - 0*t + 7, -5*t - 5 = -5*h. Let q be t/(-12)*-1 + (-86)/8. Suppose 5*b + 17 = -38. Is b != q?
False
Let a = -0.481 + -2711.519. Is a >= -2/5?
False
Let w(q) = q**3 + q**2 - 14*q - 4. Let f be w(-4). Suppose -5*u + f = 79. Which is smaller: u or -125/8?
-125/8
Suppose -25*p + 30*p = 0. Suppose -34*m + 16 = -36*m. Let s be ((-12)/10)/((-2)/m*8). Is p != s?
True
Suppose 2*b - 102*t + 1892 = -106*t, 4*t = -4*b - 3764. Is -936 at least b?
True
Let y be 2 + 1 + 0 + 3018 + -304. Which is smaller: y or -2?
-2
Suppose 66*m - 68*m + 2567 = -5*j, -m = -5*j - 2566. Do -516 and j have the same value?
False
Let r be (85/10 - 1)/((-6)/16). Let l be 1*(4 + 72/r). Is l > 0.5?
False
Let f = -0.429 + -1.571. Are f and 1.14 nonequal?
True
Let r be (-6)/(-39) - 22/(-26). Let q = 0.5 - -0.74. Let k = q - 1.05. Which is bigger: r or k?
r
Let p = 1117 - 468. Suppose 10*i = -i + p. Is i greater than or equal to 59?
True
Suppose -2832 = -l + 2*p, 0 = -2*l + p + 371 + 5302. Let b be ((-2)/3)/(44/l). Let r = b - -42. Which is bigger: -2/139 or r?
-2/139
Let l = -6 - -6. Suppose 3*d = -2*d + 35. Let o be (21/(-9))/d*-12. Is o > l?
True
Let d = 1733.805 - 1728. Let b = d - 5.8. Is -2 greater than b?
False
Let r be (-2)/14*-1*104. Suppose -12*m + 11*m = -25*m - 10*m. Is r at least m?
True
Let x = -3.65 - -3.35. Which is smaller: -75/16 or x?
-75/16
Suppose -3*r - 109 = -2*k - 27, 160 = 4*k - 4*r. Let z be (37/5)/((-6)/(-30)). Is k less than or equal to z?
False
Let f be 137/548 - (-10)/(-8). Which is smaller: f or -2/35713?
f
Let t = 0.0223 + 279.8777. Let g = 