 i be 6/(-33) - k/(-88)*2. Which is greater: 2 or i?
2
Suppose -57*k = -71*k + 2282. Is 159 <= k?
True
Let b = 0.166 + 0.056. Let s = 0.112 - b. Which is smaller: s or -3/7?
-3/7
Let l = 11572 + -11255.88. Let y = 316 - l. Which is bigger: y or 6?
6
Let g = 360 + -287.9. Let j = g - 59. Is j at most as big as 0.1?
False
Let s(a) = 3*a**3 + 5*a**2 - 51*a - 19. Let c be s(-9). Which is smaller: c or -1341?
c
Suppose -1311 + 4652 + 3521 = -47*z. Do z and -2772/19 have the same value?
False
Let z = 13929.532 - 13930. Which is bigger: z or -2.1?
z
Let s(c) = 35*c**3 - 30*c**2 - 84*c - 75. Let z be s(-9). Do -27265 and z have different values?
True
Let i = 63 + -63. Let a = i - 0.2. Let k = -6 - -5.7. Which is bigger: a or k?
a
Let w(m) = 4*m**2 + 2*m. Let b be w(2). Let l(v) = 20*v + 718. Let o be l(-35). Is o greater than b?
False
Let d = -582/1309 + 3/187. Let r be 376/32 + (-2)/(-2 - 6). Suppose r*y + 3 = 15*y. Is d greater than or equal to y?
False
Suppose -2*q = -0*q + 4 - 36. Let f(v) be the first derivative of v**3/3 - 19*v**2/2 + 20*v + 1. Let t be f(q). Do -28 and t have the same value?
True
Let y(h) = h**3 - 12*h**2 + 3*h - 21. Let m be y(19). Which is bigger: 2565 or m?
2565
Let v = -0.2107 - -0.1142. Which is bigger: v or -2/3?
v
Let a = 7653.54 + -7653. Which is greater: 0.25 or a?
a
Suppose -5*f - 1658 + 608 = 0. Let o be -14 + 16 - (-2 - f/57). Is 0 greater than or equal to o?
False
Let f(n) = -5*n - 2. Let s be f(-4). Let l be 6/27 - 4/s. Let y = -12/1501 - 4239/33022. Which is smaller: l or y?
y
Let a(i) = i**3 - 8*i**2 + 7*i + 5. Let v be a(7). Let p be 4/12 - v/(-3). Let l be (p/(-2))/((-3)/27). Which is smaller: l or 7?
7
Let z = -129.4 - -127. Let n = -2.5 - z. Is n smaller than 24?
True
Suppose 363 = -14*v - 519. Let i = 125 + v. Is i smaller than 63?
True
Let l = -23 - -34. Let b = l + -8. Let v be (-4 - -3 - -9)*(-5 - (-87)/18). Do v and b have the same value?
False
Let m(w) = 14*w - 35. Let c be m(4). Let d be (c/(-9))/(2/6). Let n(z) = 3*z**2 + 20*z - 8. Let v be n(d). Which is greater: -0.13 or v?
-0.13
Let p(s) = s**3 + 2*s**2 + 4*s - 15. Let h be p(10). Let f be (-4627)/h - (-1)/(-7) - -4. Suppose -2*l + 5 - 2 = -5*z, 4*z - 24 = -5*l. Are z and f equal?
False
Suppose 0 = r + 2*n + 2*n - 26, -4*r - 5*n + 60 = 0. Let c be 160/60 + 1/((-6)/4). Suppose -11 = -u + 2*f, 0 = -c*f + 3*f. Which is bigger: u or r?
u
Let y = -3627 - -3625. Is y at most as big as 1048?
True
Let q be (910/637)/(6126/21). Which is smaller: q or -1?
-1
Suppose -75 = -6*j - 2*g - 55, j - 4*g = -27. Are 34/373 and j equal?
False
Let c = 1051 - 1083. Which is bigger: c or -317/10?
-317/10
Let k = -811 + 523. Let y = k - -287. Is -3/26 less than y?
False
Let x(z) = 30*z + 44*z**2 - 9 - 10*z**2 - 15*z**2 - 5 - 22*z**2. Let y be x(7). Is y bigger than 95/2?
True
Suppose -2*o + 15 = 4*w - 1, -5*w + 4*o = -20. Suppose 3*i - w = 23. Suppose -i*n + 8*n - 3 = 0. Which is smaller: 0.06 or n?
n
Let t = -6543 + 10250. Which is bigger: t or -1?
t
Let m = 8/25 + -688/275. Let n = -15 - -34. Suppose -4*f - p = p + 10, 0 = -4*f - 5*p - n. Which is bigger: f or m?
f
Suppose -2*v + 4*b = -46, 6*b - 2*b = 3*v - 73. Let q = -22 + v. Suppose 2*n - 5*a - 13 = 5*n, 3*a + 1 = q*n. Is -20/11 equal to n?
False
Let f be 0 + 5/((-20)/8). Let a be f/(-76)*(43 + 1 - -4). Is a not equal to 2?
True
Let r be (-2)/(-6)*(-960 + -39). Let s = 333 + r. Are -6/19 and s non-equal?
True
Suppose -29*o + 39*o + 6940 = 0. Let x = o + 689. Let y = 3 - 0. Is y less than x?
False
Let o = -1 + -3. Let v = 209 + -207. Let c be 1 - 68/20 - 6/v. Which is bigger: o or c?
o
Suppose -7 + 45 = 2*r. Let t = -101 + 121. Let d = r - t. Is 1/9 greater than d?
True
Let n = -59 + 63. Suppose -c - 2*o + 10 = 0, 9*o = 2*c + n*o + 7. Suppose c*m + 54 + 66 = 0. Does m = -30?
True
Let k(w) be the third derivative of -5*w**4/6 - 4*w**3/3 - 210*w**2. Let s be k(-3). Is 47 < s?
True
Let r be (312/(-32))/(-13) - (-5)/20. Which is smaller: r or 29/54?
29/54
Let u(c) = -c**2 - 13*c + 42. Let h be u(-15). Suppose 3*w = -w - 4*p + h, -5*p + 15 = -2*w. Let k be ((-9)/(-6) + -2)*w. Which is smaller: k or -3/14?
-3/14
Let v(i) = -i**3 + 10*i**2 - 7*i - 15. Let w be v(9). Let p be 22/(18/27*w/(-5)). Let k = p + 53. Is k bigger than -6/5?
False
Suppose 10*m + 11402 = 5*d + 9*m, 5*m - 6858 = -3*d. Suppose 20*i = 839 + d. Which is smaller: i or 155?
155
Suppose 11*b - 16 = 27*b. Let s be (6 + b)/(110/1364). Do s and 62 have the same value?
True
Let b = -12441 + 12395. Which is bigger: b or -32?
-32
Let v be (-1)/(-3) - 19/3. Let x = 191/80 + -559/80. Are v and x nonequal?
True
Let o(g) = -7*g - 109. Let d be o(-16). Suppose -d - 40 = z - 5*l, -z + l - 63 = 0. Suppose -w = -2*m - 138, 0 = 3*m - 5*w + 193 + 14. Which is smaller: z or m?
m
Let m = -268753 + 268710. Let u = -147 - -105. Is u < m?
False
Let b(g) = g**3 - 20*g**2 - g + 68. Let l be 46/(-12)*-6 + -3. Let x be b(l). Which is bigger: x or 45?
x
Let f = 37518 + -37509. Which is smaller: f or 10/27?
10/27
Suppose -7*j = -9*j + 4. Suppose 26*f = 24*f + j. Are f and 1 equal?
True
Let k be 11/55 + 72/15. Suppose 15 + k = -4*v. Do -45/8 and v have the same value?
False
Suppose 0*x - 270*x + 386100 = 0. Is x >= 1432?
False
Let h = -1/581725 - 5444364266/5235525. Let p = h - -1041. Let w be 1 - (-2 + 2 + -1). Is w less than or equal to p?
False
Let o be (-7094)/260 + (-5642)/(-155) + -36. Which is greater: -27 or o?
o
Suppose 47*q = 51*q + 8. Let k be (-6)/12*q + 2 + -3. Is k greater than -4/205?
True
Let c(f) be the first derivative of -f**4/4 - 2*f**3/3 + 2*f**2 + 4*f + 33. Let p be c(-3). Let z(g) = -9*g**2 - g. Let h be z(p). Which is greater: -13 or h?
h
Let t = 12550 - 12669. Let d = -145 + 25. Is d at most t?
True
Suppose -1032 + 1142 = 11*p. Is 81 at least p?
True
Let f = 0.02949 - -2385.97051. Is -1 greater than f?
False
Suppose 0 = -2*u - 0*u - 3*z - 147, 3*z - 15 = 0. Let c(g) = -3*g + 12. Let q be c(-13). Let h = q + u. Is -30 < h?
False
Suppose 5*f = -5*u + 3205, 2*f + 2564 = 6*f - 2*u. Let d(j) = -j**3 - j**2 - 50*j + 640. Let a be d(0). Are a and f unequal?
True
Let i be 142/8 - 5/(-20). Which is bigger: -18 or i?
i
Let t = -5.5 - 30.5. Let q = -65 - t. Which is smaller: 2 or q?
q
Let q = 2.8283 - 0.8283. Which is smaller: q or 27.71?
q
Suppose 5*i + 256 + 431 = 4*n, 3*n = i + 133. Are -835/6 and i unequal?
True
Suppose -5 = -204*u + 199*u. Let j be (-2)/(-13)*u/(-34). Is -1 less than or equal to j?
True
Let o(a) = a**2 + 5*a + 2. Suppose 6*t = 149 - 167. Let h be o(t). Which is greater: h or -24/7?
-24/7
Let t(c) = -c**2 - 21 - 6*c + 3*c**2 + 0*c. Let z be t(8). Let g = z - 148. Which is smaller: -90 or g?
-90
Let f = 72 + -63. Suppose -2*j = 5*h - 0*h + f, -3*j + h + 12 = 0. Suppose 0 = -2*n + 13 - j. Are 5 and n equal?
True
Let n(l) = -225*l + 3601. Let h be n(16). Do -3/3494 and h have different values?
True
Let h = -159.3 + -61.7. Let o = h - -201. Which is greater: o or -3?
-3
Let i = 10348 + -10070. Is -2/5 bigger than i?
False
Let n(r) be the second derivative of -1/12*r**4 + 0 - 5/6*r**3 + 14*r - 5/2*r**2. Let z be n(-2). Which is smaller: 2/41 or z?
2/41
Let u be 19/57 + 8/(-6) + 92. Which is smaller: u or 96?
u
Let i = -5605 + 5605.1. Which is smaller: 40.75 or i?
i
Let s = 30.06986 - 0.06986. Which is smaller: 40/11 or s?
40/11
Let r be (((-2)/5)/((-195)/(-975)))/(1/(-1)). Let w be (36/15)/(1/5). Let m be (-6 + w - 33)*r/(-12). Which is greater: m or -4?
m
Suppose -2*p = 4*n - 9*n + 82, -2*n + p + 33 = 0. Suppose -3*g = -3*r - 2*g + n, 2*r + 5*g + 12 = 0. Which is smaller: r or 2?
2
Let g be -1 - (1 + -3)*(-42)/4. Let d be (-49 - -50)*(g - 1). Are d and -23 equal?
True
Let q be (-3)/(-6)*84/6. Let n = q + 2. Suppose -4*v = -3*f - 3, 3*v - 5 = -4*f + n*f. Is f at most as big as 2/265?
True
Suppose -2*j + 9 = -1. Let x(r) = r**3 - 5*r**2. Let h be x(j). Which is greater: 0.05 or h?
0.05
Let f be 6/2 + 485 + 13. Suppose 0 = 49*g - 52*g - f. Do -167 and g have the same value?
True
Let m be ((156/(-1680))/13)/(7/4). Is m != 0?
True
Let y = -195 - -197. Let q be -4*y/(-16)*0. Is 1/68 greater than or equal to q?
True
Let w(n) = 27*n**3 - 9*n**2 - 93*n + 61. Let a be w(-7). Are -8990 and a equal?
True
Let n(x) = x**3 - 16*x**2 - 35*x + 10. Let l be n(18). Su