. Let l be u(-4). Suppose -2*q = -3*f + 60, 80 = 4*f - l*q + q. Let i be (-5 + 6 - 2)/(1/(-19)). Is f <= i?
False
Let m = 129 + -92. Let a = m + -40. Let f be 8/a - (-2)/(-6). Is f <= -7/3?
True
Suppose -2*l - y - 2*y + 622 = 0, 2*y = -3*l + 938. Let q = l + -3460/11. Which is smaller: q or 0?
q
Suppose 5*n - 555 = 4*c, -19*n + 23*n = -2*c + 418. Let h(i) = -i**3 - 12*i**2 + 17*i - 46. Let b be h(-14). Is n bigger than b?
False
Let p(g) be the third derivative of g**4/4 + 7*g**3/6 + 162*g**2. Let a be p(-1). Which is smaller: a or 48?
a
Let l be (-9)/(-6)*56/12. Let d be 27*(15/(-63) + 4/l). Let i be (-37 - d)/(-1 - -2). Is i greater than or equal to -46?
True
Suppose -m + 189 = 20*m. Let p(f) = f**2 - 9*f - 1. Let q be p(m). Is q > 1/13?
False
Let w be -1 - ((-651)/(-12))/((-1)/4). Let f be -22*(-1)/15 - (-72)/w. Is 3 bigger than f?
True
Let j be (-2)/(-8) + 28/16. Suppose 0 = i - 4*x - x - 51, 3*x - 63 = -j*i. Suppose 33*r - i*r = -69. Is r at most 23?
True
Let a = 4.3 + -21.3. Let k = a + 16. Which is smaller: -1/3 or k?
k
Let j be (0 + 2/9)*-1. Let a = -15 - 13. Let w be (24/a)/(128/112). Is w less than j?
True
Let k = -136812/29 + 4717. Which is smaller: 0 or k?
k
Let y be ((4340/8)/(-31))/(2/(-4)). Is 12 < y?
True
Let y = -22693.07 - -22660. Is -2/3 equal to y?
False
Let w = -324 + -784. Is -1106 < w?
False
Suppose 0 = 4*l + 4*y - 448, 4*l - 3*y - 254 - 173 = 0. Let v = 123 - l. Let g be 560/64*6/v. Is 4 >= g?
True
Let d be (67/(-3))/(707/(-167559)). Is 5293 != d?
False
Let j = 500 + -754. Let t be (3/2)/(12 - 315/20). Which is smaller: t or j?
j
Suppose 0*m - 3*m + 5*s = 1384, 2*m = 5*s - 916. Let c = 50545/108 + m. Is c at least as big as -1?
True
Let m(c) = 2*c**2 - 67*c - 144. Let r be m(38). Is r at most 1394/7?
True
Let o = -173261/93 + 1863. Let r = -1281330 - -1549127438/1209. Let c = o + r. Which is smaller: c or -1?
-1
Suppose 38*c = 22*c - 32. Let b be ((-183)/21)/(4/(-300)). Let n = b - 655. Which is bigger: c or n?
n
Let x = -5/2252 + 2267/6756. Do -787.5 and x have the same value?
False
Let d = 62 - 92. Let p = d - -29.68. Let x = 0.18 - p. Which is smaller: -1 or x?
-1
Let u(x) = x**3 - 22*x**2 + 41*x - 19. Let i be u(20). Is i equal to -6/517?
False
Let z = 120 - 139. Let o(c) = -c**3 - 18*c**2 + 16*c - 32. Let m be o(z). Is 23 < m?
True
Let z = -14.04 + 0.04. Let o = -11860.96 - -11847. Let c = o - z. Is c < -2?
False
Suppose -83*s + 39*s = 2518 + 8570. Is s at least -28?
False
Let t be 196/18312*(24/(-3))/4. Is -1 at least as big as t?
False
Let p = 141.79 - 142. Let f = p + 0.41. Let g = 709 + -10631/15. Is f greater than g?
False
Let l(r) = -r**2 + 11*r. Let z(q) = -q + 22. Let i be z(5). Suppose v + i = 28. Let b be l(v). Which is greater: b or -3/13?
b
Let a(k) = k**2 - 19*k + 28. Let d be a(18). Suppose -10*j = -0*j - d. Let t be (-2 + j)*(-3)/(-6). Which is smaller: t or 11?
t
Let c(d) = -32*d**2 + 259*d - 31. Let z be c(8). Which is bigger: -219/31 or z?
z
Let l = 5053 - 116185/23. Let s be 6/(-15)*5/(-2). Which is smaller: s or l?
s
Suppose -217*t = -222*t - 50. Let b(m) = -m**2 - 7*m + 3. Let c be b(-6). Let s = c - 17. Which is smaller: t or s?
t
Let t = -17.991 - -18. Let j = 0.065 - t. Let a = j - 0.156. Which is smaller: a or -8/7?
-8/7
Suppose 11 + 13 = -4*a. Let t be (a/116)/(6/8). Suppose -33*u + 54*u + 21 = 0. Which is greater: u or t?
t
Let x be 102*(-7)/(-14) - 9. Let n = 11 + 37. Let r = n - x. Does r = 5?
False
Let q(v) = 8*v**2 - 250*v - 168. Let x be q(32). Suppose -z = -0*z - 26. Which is smaller: x or z?
x
Suppose 1697 = 2*l - 5*o, l + 1703 = 3*l + o. Let g = l - 569. Let n = -1416/5 + g. Which is smaller: n or -2?
-2
Let p(f) = f**2 - 10*f - 18. Let k be p(12). Let o = k - -8. Suppose 0 = -2*b + o - 2. Is b at least as big as 2?
True
Suppose 5*y - 5*p + 10 = 4*y, 5*y + 4 = 2*p. Suppose y = 5*f - i + 2496, -4*i = -4*f - 9*i - 1991. Which is bigger: f or -498?
-498
Suppose 0 = 5*z - z + b + 2, -6 = -z + 3*b. Let w be ((-1)/2)/((8162/88)/((-49)/(-28))). Is z greater than or equal to w?
True
Let o(g) = -g**3 + 7*g**2 - 14*g + 10. Let w be o(5). Let r be 5 + w*(-2)/(-4). Is r less than or equal to -6/41?
False
Let y = 2182 - 2131. Suppose 2*i - 99 = -3*j, 3*j + 54 = i + 6*j. Let g = i - y. Are g and -5 non-equal?
True
Let t = -0.071 + 0.01. Let a = -0.071 - t. Let f = 3 + -3.1. Is a <= f?
False
Let b(v) = v**3 + 8*v**2 + 7*v + 3. Let r be b(-7). Let g be (10/(-30))/((-1)/r). Is -2/189 >= g?
False
Suppose -1601535 = -7*f + 198*f. Does f = -8387?
False
Suppose 13*w = -36*w + 76*w. Is w greater than or equal to 2/9119?
False
Let g = -124 - -113. Let c(s) = s**3 + 8*s**2 - 3*s + 36. Let r be c(-9). Which is smaller: r or g?
r
Suppose -3*y - 5*l + 383 = -957, 2*l = -4*y + 1810. Which is bigger: y or 457?
457
Suppose 70 = 5*h + 4*i, 0 = -4*h - 3*i + 176 - 120. Which is greater: h or 74?
74
Suppose -i - 1 = -0*w + 2*w, -2*i - 3 = 5*w. Suppose -j - 10 = -i. Suppose -2*n + 4 = 22. Are n and j nonequal?
False
Let p(v) = 5*v - 8. Let b be p(6). Let j = 1290 - 1276. Suppose -z + h - 3*h = -j, 2*z + h - b = 0. Which is greater: 21/2 or z?
21/2
Let n be 42/(-189)*(-2)/4. Let d be 4/(-18)*10/8. Let t = n + d. Which is greater: t or 2?
2
Let n(g) = -g**2 - g + 2. Let x be 1/(-3)*-6 - 4. Let r be n(x). Suppose -3*c + 0*c = r, -5*w - 175 = -3*c. Which is smaller: -34 or w?
w
Let o = 49 + -38. Suppose -z + o = 4*y - y, 0 = 4*z + 5*y - 16. Which is greater: z or -1/66?
-1/66
Let x(g) = -6*g**2 - 5*g + 61. Let l be x(-9). Let v be l/60 - 4/(-6). Let f be (1 + -2)*(-10)/(-2). Which is smaller: f or v?
v
Let n = -0.73 + 430.73. Let o = -429.975 + n. Do 0.1 and o have the same value?
False
Let a = -50 - -53. Let n = 55 - 56. Let t be n + 1 + 84/22. Which is smaller: a or t?
a
Let m = -215.6 - -213. Which is bigger: m or 37?
37
Let n = 211/212 + -66/53. Which is greater: 10 or n?
10
Let j(k) be the first derivative of k**4/4 - k**3/3 - 5*k**2/2 - 9*k - 17. Let x be j(0). Which is smaller: x or -16?
-16
Suppose -4*v = -2*p - 8, 4*v - 2*p = p + 8. Suppose 0 = -3*m - 2*a + 71, 4*m - 61 = -v*a + 37. Suppose 9*s - 324 = -3*s. Is m equal to s?
True
Suppose -3*s + m + 2 = 5, -2*m + 4 = -5*s. Let h be (s - -50)/((-1 - 0)/1). Which is smaller: h or -43?
h
Let q = -5470 + 5024. Which is bigger: q or -445?
-445
Let t = 9 - 8. Let i = 17.8 + -19.8. Let l = t + i. Is -18 at least as big as l?
False
Let s = 41320 - 41322. Which is smaller: s or -259/121?
-259/121
Let d = 40 - 83. Let c(p) = -p**3 + 7*p**2 + 4*p - 31. Let f be c(9). Let l = f - -114. Is l greater than d?
False
Let b be (-126)/(-8) + (-15)/20. Let q(z) = -z**3 + 14*z**2 + 14*z + 11. Let w be q(b). Let m be (2/18)/((-18)/459). Which is smaller: w or m?
w
Suppose -5*w + 2*x = 648 - 2039, x - 1382 = -5*w. Let z = 180 - w. Which is greater: z or -96?
-96
Let r = -6013 + 6013.32. Are 119 and r nonequal?
True
Let x = -25080 + 23370. Is 0.3 greater than x?
True
Let u = 1.683 + -829.683. Let j = u - -828. Which is greater: -198 or j?
j
Let o be 729/(-2673) + (-2106)/22. Which is smaller: o or -59?
o
Let c = 7 - -7. Let j = 6 - c. Suppose -53 = 65*o + 467. Are j and o unequal?
False
Let r be 684/(-16 - -28) - 5*2. Which is smaller: r or -5?
-5
Let a be 918 - (156/104 - (-18)/(-4)). Is -3 greater than a?
False
Let i be -3 - 2/6*-1. Suppose 5*r + 4*j = 3*r, 5*j = -5*r. Suppose r = 21*y + 33 + 51. Which is smaller: i or y?
y
Let s = -4762 - -10665. Which is smaller: 5904 or s?
s
Let n = -8096 + 8862. Is -2 smaller than n?
True
Let m be -7*5/(-10)*6. Let i(p) = -p**3 - 11*p**2 + 7*p - 48. Let a be i(-12). Which is smaller: m or a?
a
Let w = -258.829 - -258.6. Is w < 2/29?
True
Let c be 13 - 31 - ((-4 - 4) + 6). Are -113/7 and c nonequal?
True
Let r(h) = -17*h + 59. Let o(s) = -9*s + 29. Let x(v) = 11*o(v) - 6*r(v). Let c be x(11). Are -9/13 and c equal?
False
Let f = -59 + -229. Let a = f + 289. Is 19/27 bigger than a?
False
Let h be ((-5)/(-10 + 0))/((-5)/(0 - 10)). Are h and -1/584 equal?
False
Let k = -178 - -101. Let w = -361128 - -361049. Which is bigger: w or k?
k
Suppose 0 = -2065*b + 1979*b. Let s = 207/44 - 38/11. Which is smaller: b or s?
b
Let o = 13663 - 7969. Which is greater: -1/4 or o?
o
Let p = 291338/15 - 19345. Let r = p + -78. Suppose h - 2 = 2*q + 1, 2*h - q = 