-r*l + 361. Which is smaller: l or 171?
171
Let q(l) = -3*l**2 + 3*l + 445. Let u be q(-28). Is -1988 at least as big as u?
True
Let x = -6.738 - 0.062. Let y = x - -6. Let q = -0.04 + 0.04. Which is greater: q or y?
q
Let t = -210.73 + 211. Let w = 5.3973 - 0.1273. Let n = t - w. Which is greater: n or 3?
3
Let g be (13/(-3))/((-5)/15). Suppose -15 = -18*k + g*k. Suppose -3*z = 1 + 2, -4*z - 4 = -k*u. Is u at least as big as 13/10?
False
Let y = -77.09 - -77. Suppose 5*v + 2 = -2*o + 1, 3 = 3*v + 3*o. Let b be (2 + v)*8/8. Which is greater: y or b?
b
Let z be (-4)/(-6) + (-28)/(-21). Suppose z*v = v + 2. Suppose 0*o = -3*o. Which is bigger: o or v?
v
Let z(c) = -3*c**2 - 159*c - 308. Let p be z(-2). Which is smaller: p or -612?
-612
Let d(q) = 1898*q + 4409. Let u be d(0). Is 4411 smaller than u?
False
Let f(o) = 3*o + 37. Suppose -7*c - 112 = -56. Let h be f(c). Are 12 and h nonequal?
True
Let n = -14375 + 14375.9834. Which is smaller: n or 0.1?
0.1
Let z = 1054.949 - -17.051. Which is smaller: -4/3 or z?
-4/3
Suppose -50*g = -40*g. Let a be 4 - 18/213 - 4. Is a greater than g?
False
Let w = -62 - -21. Let m = 149 + w. Let o = m - 106.9. Which is bigger: o or 1?
o
Let v(i) = 81*i**2 - 2*i - 4. Let x be v(-2). Suppose -84 = 12*m - x. Which is bigger: 27 or m?
27
Let h = -152333927 - -628072784527/4123. Let g = -4/589 - h. Let b = -23 - -14. Are b and g equal?
False
Suppose 5*f = 7 + 3, -4*c + 44 = -4*f. Let p be (-145)/(-90)*6 + 2/(-3). Which is greater: p or c?
c
Let g = 17367.3 + -16597. Let v = g + -817. Let i = -4.3 + v. Which is smaller: i or -0.1?
i
Suppose 0*v + 5*d + 4 = -v, -3*d - 1 = 2*v. Let n(y) = 33*y**3 + y**2 + y - 1. Let x be n(v). Let o be ((-444)/48)/(2 + x/(-16)). Is 75 smaller than o?
False
Let t be ((-5)/(-15))/((-3)/(-108)). Suppose -5*f - 8 = -x - 28, t = 3*f. Suppose x = 7*v - 11*v. Is -4/27 < v?
True
Suppose 0 = t + 5*j + 33, -4*t = -t + j + 29. Let x be (-10)/(-25)*10/t*1. Is x != -0.166?
True
Let g be ((-14)/1)/(((-88)/(-6064))/11). Let w be (-7967)/g + (-297)/396. Are 1 and w unequal?
True
Let q be ((-12644)/(-40))/((-1)/(-2)). Let n = -635 + q. Let s = -7 - -4. Which is smaller: s or n?
s
Let w be 4/(-11) + (-2880060)/3036. Is -947 smaller than w?
False
Let i = 0.11 + 5.89. Let y = -23 - -29.2. Let q = y - i. Which is smaller: 1 or q?
q
Let o = -8177 - -8123.29. Let y = o + 54. Let c = y - 0.22. Which is greater: c or -0.1?
c
Suppose 5*k - 3*o - 81 = 3, 2*k - 32 = 2*o. Which is smaller: 362/19 or k?
k
Suppose 0 = 4*v + 4*v - 3240. Let i = -333 + v. Are 69 and i unequal?
True
Let i = -2146/6751 - -28/157. Let f(s) = -32*s + 4415. Let b be f(138). Are b and i nonequal?
True
Let s(d) be the first derivative of -31*d**3/3 + d**2 - 72. Let t be s(1). Which is bigger: t or -30?
t
Let r = 1176 + -1904. Let w = -6575/9 - r. Is -2 less than or equal to w?
False
Let m(a) = 323*a - 1269. Let d be m(18). Is 4544 not equal to d?
True
Let f(q) = -q**2 + 8*q + 9. Let x be f(4). Let d = x - 40. Let k be (-3 - d/9)*15/(-2). Is -1/4 <= k?
True
Let t = -4474 - -4453. Let f = -8613/428 + 40/107. Which is smaller: t or f?
t
Let u be -8*(-80)/128 + 87. Is 101 at most u?
False
Suppose 2*b = -10 + 24. Suppose -b*d + 4*d + 54 = 0. Let l be (-160)/258 - d/(-27). Which is smaller: l or 0?
0
Let a(g) = -g**2 + 9*g. Let y be a(8). Let n(p) = 5*p - 26. Let i be n(6). Suppose -4*w + 4 = i*x, 0 = -w - 2*x - x - 3. Which is bigger: w or y?
y
Let s = 103 + -140. Suppose 91*b = 86*b - 160. Let g = b + -6. Which is greater: s or g?
s
Suppose 3*o = -n + 2909, 210*n - 209*n + o = 2917. Which is bigger: n or 1/3?
n
Let o be ((-2)/60)/(43/(-1290)). Which is bigger: o or 2/1401?
o
Let a = -19/55 - -2092/165. Let c(b) = -75*b + 612. Let x be c(8). Which is smaller: a or x?
x
Suppose -4*h - 217 = -u, 65 - 123 = h - u. Is h at least as big as -63?
True
Let o(l) = -2*l**3 + 4*l**2 + 3*l - 5. Let m be o(4). Let r(b) = -5*b**3 + 120*b**2 - 13*b + 262. Let h be r(24). Let c = m - h. Is c not equal to -3?
True
Let p be ((-11)/(-328))/(1*(-7)/28). Are 1 and p unequal?
True
Let b = -7589.8 + 7587. Which is bigger: -29 or b?
b
Let n be (-1)/13 - 2499/(-26741). Which is smaller: 1 or n?
n
Let t(w) = 84*w - 2897. Let o be t(44). Which is greater: o or 798?
o
Let y(z) be the third derivative of z**4/24 - 2*z**3 + 8*z**2. Let k be y(20). Let b be (-57)/12 + 5 + 278/k. Is 35 less than b?
False
Let j(s) = -s + 9. Let w(a) = a - 9. Suppose -2*r - 3*p = 12, 0 = 2*r + 5*p - 0 + 16. Let q(u) = r*w(u) - 4*j(u). Let y be q(19). Which is smaller: 26/3 or y?
26/3
Let z = 4431.89 + -4421. Which is greater: z or 0.1?
z
Let q = 1.34 + -1.075. Let f = -0.335 - q. Let x = 0 + 2. Which is greater: f or x?
x
Let q = 0.2 - 16.2. Let l = -16 - q. Let j = -1036.5 + 1005.5. Which is greater: j or l?
l
Let s = 42.0663 - -0.9637. Let g = 1.01 - -41.99. Let h = g - s. Which is greater: -1 or h?
h
Let z be 2/(-6) + (-5)/(-15). Suppose m = -z*m + 13. Let h = -28504 + 28519. Is h at most as big as m?
False
Let d be 4 - (8/((-8)/(-3)) - 4). Let x be 39/12 - 2/8. Suppose x*u - 9 = 2*u. Which is smaller: d or u?
d
Let l be -2 + 26/8 - ((-302244)/6960 + -6). Let n = 16028 - 79888/5. Let g = n - l. Do g and -1 have the same value?
False
Suppose 0*u = -3*u. Suppose 0 = 2*g - 0 + 10, -5*g = n + 27. Let j be u/(n/(-4)*-2). Is 8/13 >= j?
True
Let g = 873 - 6035. Is g not equal to -5161?
True
Let b(j) = 3*j**2 + 119*j - 436. Let y be b(-43). Is y bigger than -70/11?
True
Let r(m) be the third derivative of -m**5/60 - m**4/4 + m**3 - m**2. Let v be r(-6). Suppose -2*l + 12 = -v*l, -1 = y + l. Is y < 3/5?
False
Suppose -m = -c - 3*m - 1802, -3*m + 1807 = -c. Is c bigger than -1803?
False
Let j = 0.845 - 0.8. Let v = -442 + 442.2. Which is greater: j or v?
v
Let t = 63.9 - 64.9. Is t greater than -1070?
True
Let t(j) = 1382*j - 343. Let o be t(-9). Is o equal to -12780?
False
Let g be 20/(((-4)/(-92))/((-3)/3)). Let r = g - -460. Which is smaller: r or 2/627?
r
Let n = -175 - -180. Suppose -4*k = -2*k - p - 18, n*k + 3*p - 45 = 0. Is 61/7 < k?
True
Suppose 109*o = 103*o - 12492. Which is greater: o or -2081?
-2081
Suppose -x + 12223 + 18461 = 4*g, 2*g + 5*x = 15342. Is 7671 at least g?
True
Let k = 21 - 36. Let v be 0 + 6/((-306)/k). Suppose 0 = -x + 4*x. Is v >= x?
True
Let r be 30/(-135) - ((-148)/18 + 1). Let k(a) = -a**3 + 54*a. Let h be k(r). Which is smaller: h or 37?
h
Let f = -20.2625 - -0.2625. Let p be 25/700 - (8/(-14))/(-2). Is f != p?
True
Let k = -264 - -494. Let m = -305 + k. Are m and -74 nonequal?
True
Let a(p) = p**2 + 154*p + 2772. Let o be a(-133). Suppose -6*z - 20 = 2*y - 3*z, 0 = -4*y - z - 50. Is o at most y?
True
Let g = -20 - -23. Suppose -z - g*c + c - 3 = 0, 3*z + 1 = 2*c. Let l be (-1)/2*(z - -3). Which is smaller: l or -1/17?
l
Let c be 252/(-8)*4/6. Let a = c - -66/5. Let t = a - -161/20. Is 0.64 < t?
False
Suppose -24*m - 480 = -16*m. Let i be (4/(-30))/(12/m). Is i less than or equal to -1/20?
False
Let d = -4 - 0. Suppose -183 + 351 = -3*c. Let p be c/(-26)*d/16. Which is smaller: p or -2?
-2
Let f = 6349 - 6348.854. Is f at least 17?
False
Let g = -1/20333 - -68745877/81332. Let j = 840 - g. Which is smaller: j or -6?
-6
Suppose 3*g + b - 672 - 365 = 0, g - 367 = 5*b. Suppose w + 346 = g. Is -1/25 smaller than w?
True
Let f(u) = 129*u + 4. Let k be f(3). Is k less than or equal to 783/2?
True
Let q be (2/(-23) - 0) + (1013904/207 - -6). Are 4903 and q unequal?
True
Let b = 0.125 + -5.225. Let a = 6.20447 - 0.10447. Let s = a + b. Which is bigger: s or -7?
s
Let n = -1054/3 - -4315/12. Is 0.13 less than n?
True
Suppose -3 = 3*l + 3*a, 10 = 2*l - 0*a - 2*a. Suppose 4*c + l + 5 = -w, 4*w = 5*c + 14. Let r = 3281/4037 + 2/367. Is w at most as big as r?
False
Let m(s) = s**2 + 12*s + 26. Let k be m(-9). Is k equal to -1/20276?
False
Suppose -1457 + 389 - 1066 = -22*w. Which is greater: w or 118?
118
Let z(b) = -2*b**2 - 105*b + 851. Let v be z(9). Are -260 and v equal?
False
Let p be ((-193)/(-1351))/(1/21). Which is greater: p or 0.86?
p
Let z = -787403/149980 - -2/37495. Let o = -14 - -10. Which is bigger: z or o?
o
Let k = -0.04 - -0.13. Let a = -0.3 - -0.23. Let b = a + k. Which is smaller: 2 or b?
b
Suppose -5*z - 2*y = 3, -2*z = 5*y + 11 + 7. Let a be 74/(-18) + 8/(z 