e c(v). Which is bigger: x or 92?
92
Let w = 10858 - 10722. Which is bigger: w or 1?
w
Let v = -0.00621 + 27.50621. Which is smaller: 11/6 or v?
11/6
Let f be 473/(-22) + 3/(-6). Suppose -436*j + 459 = -463*j. Which is greater: f or j?
j
Let s be ((-2)/(-4))/((-1)/(-12)). Let n = -188 - 1738. Let u = n - -1932. Are u and s nonequal?
False
Suppose -3*p + 5*p = 44. Suppose -d - h - 39 = 0, d + 33 = -5*h - p. Let z be ((-9)/84)/(30/d). Which is bigger: z or 8?
8
Suppose -x + 9 = -62. Let p = x - 352/5. Let m = -95 + 96. Which is bigger: m or p?
m
Suppose -230 = -19*w + 9*w. Let q = 40 + -15. Which is greater: q or w?
q
Suppose -50*q + 16 = -49*q. Let r = 6.357 - 0.057. Let g = r - 4.3. Is q > g?
True
Suppose 0 = 13*g - 42 - 36. Let t(n) = n**2 - 7*n + 7. Let y be t(g). Which is bigger: y or 1/13?
y
Suppose -m - 3*f = -2*f - 5, f - 4 = 0. Let p be (-9)/(-11) - (-4 - 19/(-4)). Let j = -37/220 + p. Which is greater: j or m?
m
Suppose -2362 = -3*i + 5*g - 782, 2*g = -2*i + 1032. Is i smaller than 522?
True
Suppose 24 = -0*t + 6*t. Suppose z + 11 + 9 = 2*s, t*z - 16 = -4*s. Let c = s - 8. Is c equal to 2/147?
False
Let c(q) = q**3 - 4*q**2 + 10*q - 32. Let b be c(6). Suppose -b = 23*w + 107. Is -0.3 <= w?
False
Let b be (-12)/8 + 15/(-6). Let v(m) = -m**3 - m**2 - 4*m + 1. Let u be v(b). Suppose -7*r + 68 + u = 0. Which is greater: 21 or r?
21
Let f be (564/2782)/((-13)/((-260)/15)). Let k = -4/107 - f. Is -1 greater than k?
False
Let p = -1166 - -1188. Is p smaller than 41?
True
Let k(n) = 9*n**3 + 2*n**2 + n - 2. Let d be k(1). Suppose 70*a + 154 = 77*a. Suppose 0 = -4*v + a + 30. Is d < v?
True
Let b = -22 + 25. Let u = -209 - -212. Suppose b*g + 3*r = -318, 3*g - 410 = 7*g - u*r. Is -104 less than or equal to g?
True
Let y = 42 + 97. Suppose -y + 31 = -4*q. Suppose -31*w + q*w + 4 = 0. Which is smaller: w or -2/25?
-2/25
Let o be (195/(-270) - (-2)/9)*322 - -8. Let f be 310/(-2) - (-1 + -1). Is o <= f?
True
Let n = -83943 + 505295/6. Which is smaller: n or 272?
272
Let q be (392/35)/(-8 + (-7390)/(-925)). Is q at least as big as -1034?
False
Let c = -42 - -47. Suppose i - 13 = -2*t - 2*i, -2*t + c = -5*i. Suppose 0 = x - t, -3*o + 27 - 67 = -2*x. Are o and -10 unequal?
False
Suppose 0 = -4*l + 37 - 29. Let u be (-12)/(-9)*(-3)/(-1). Suppose l*f = q + 3, 0 = u*f - 0*f + q - 9. Which is smaller: f or 9/11?
9/11
Let g = -249.9575 + -0.0425. Let s = -199 - g. Is s at most as big as 1/3?
False
Let q = 0.05138 + -0.03138. Is q at most as big as 0.58?
True
Let y = -37.88 + 38.88. Which is smaller: 14/2865 or y?
14/2865
Suppose -2*m = -4 - 0. Suppose -5*k + m = -18. Suppose 1720*r - 14 = -p + 1717*r, -2*p = -5*r + 71. Which is bigger: k or p?
k
Let k = 1572 + -2412. Is -1/3 at most k?
False
Suppose 0 = 34*q - 13*q - 8*q. Which is bigger: q or -1/1934?
q
Let a(f) be the first derivative of -12*f**2 - 185*f - 131. Let q be a(-14). Which is smaller: -1/5 or q?
-1/5
Let o be (2/70)/((-9142)/35). Which is smaller: 0 or o?
o
Let g be ((-21)/(-125790))/((-2)/4). Is -2 at most g?
True
Let p = 3834/5 + -3683/5. Which is smaller: p or 0.4?
0.4
Let k = -294 + 296. Let m be 12/k + 1120/(-189). Which is bigger: m or -1?
m
Let u be (-4)/34 + (-8 - (-414405)/255). Is 1617 less than u?
False
Let t be (1/2)/((-3)/(-48)). Let g = -5 + t. Suppose 2*c = -n + 12, 2*n = c + 2*c + g. Is n > 6?
False
Let p be (-16)/(-104) + (-205)/65. Let n be 5 + (-35)/(4 - p). Let c be 2/2 + (-116)/120. Which is smaller: c or n?
n
Let p(s) = 2*s + 1. Let a be p(2). Suppose 0 = -4*t + t - m + 32, m = -2*t + 20. Suppose -6*u = -t*u + 36. Which is smaller: u or a?
a
Let r = -6.8152 + -0.0848. Let q = r + 2.9. Is q bigger than -80?
True
Suppose 13*u - 37*u - 120 = 0. Let c = -1.2 + 2.1. Let o = -1.9 + c. Which is greater: o or u?
o
Suppose -3*n = -c - 3, 92*n - 95*n + 15 = -2*c. Let p(i) = 8*i - 31 - 22*i - i**2 + 7. Let z be p(c). Which is bigger: 2/9 or z?
2/9
Let a be (-2)/5 + 3/((-423720)/(-56576)). Let c = 28298/88275 - a. Which is smaller: c or -0.2?
-0.2
Let c = -2/38471 + -200934029/76942. Let r = c + 2661. Is r at least 1?
True
Let q = 0.67 + 2.33. Let h(l) = -4*l**2 - 8 - 10*l**2 + 15*l + 7 - l**3. Let s be h(-15). Does q = s?
False
Suppose -3*h - 4*x = -783, 109 = h + 4*x - 144. Let q = -3979/15 + h. Is -1 equal to q?
False
Suppose 1 = v - 6. Let y = -11 + v. Let g be 189/70*-4 - -7. Do g and y have the same value?
False
Suppose 0 = -2*c - 2*k + 94, -2*k + 0 - 121 = -3*c. Which is smaller: 37 or c?
37
Let w = -0.103 + 0.014. Let g = w + 26.089. Let m = 25 - g. Which is smaller: m or 10?
m
Let v = 0.1133 + -1.0133. Is v bigger than -184?
True
Let p = 1553 - 1855. Are p and -304 non-equal?
True
Let t be (411 - 418)*(-55)/7. Let h(k) = k**2 - 6*k + 8. Let o be h(6). Which is smaller: t or o?
o
Let p(i) be the first derivative of -i**5/60 - i**4/8 + i**3/2 + 7*i**2 - 1. Let l(v) be the second derivative of p(v). Let z be l(-4). Does 4 = z?
False
Let v be (-54)/(-45) - (5184/(-30) + -6). Is 198 <= v?
False
Let l = 144.14 - -2.86. Let y = l + -146. Which is smaller: y or -53?
-53
Let w = -1221819/10 + 122069. Is -114 bigger than w?
False
Let l = -152.8 - -109. Let x = l - -44.2. Which is smaller: 25/4 or x?
x
Let k = -71228/555 - -385/3. Let g = -77/555 - k. Let y = -5.97 + 6. Which is smaller: g or y?
g
Suppose 3*j + 5*g = -51, 2*j + 42 = -j - 2*g. Let o = 7 - j. Suppose -4*b = -o - 45. Which is smaller: b or 1/4?
1/4
Suppose -32*r = -20*r. Let d(j) = j**2 - 29*j + 42. Let u be d(r). Is 125/3 < u?
True
Let u = -276 + -78. Let j = u + 356. Which is smaller: 0.21 or j?
0.21
Let d = 0 - 0. Let h = -35 + 36. Let r be (h - 332/232) + 2/4. Which is smaller: r or d?
d
Let t(o) = o**3 - 45*o**2 + 84*o + 95. Let w be t(43). Let x be w/15*(-5)/(-6)*0. Is x at most -3/55?
False
Let z(p) = -p**3 + p**2 + 8*p - 4. Let o be z(3). Suppose 3*w - 5 - 5 = o*f, 2*f = w - 6. Which is smaller: w or 13/23?
13/23
Suppose -8*r + r - 301 = 0. Let p = r + 50. Which is smaller: p or 3?
3
Let j(p) = -5 + 18*p + 27*p + 7. Let g be j(-1). Let k = 44 + g. Which is smaller: -2/171 or k?
-2/171
Let g = -6505 - -6140. Is g not equal to -20?
True
Let z = 153 - 705. Let x = z + 553. Is 192 greater than or equal to x?
True
Let n(b) = -137*b + 1661. Let z be n(12). Let q = 13 - 8. Let w(a) = 3*a. Let u be w(q). Which is bigger: z or u?
z
Suppose 4*v - 10*t = 20, -t - 2*t = -2*v + 6. Is 8/305 at least as big as v?
True
Let w(q) = 4*q - 14. Let v(d) = 4*d - 14. Let y(t) = -5*v(t) + 6*w(t). Let n be y(5). Let o be (n/45)/((20/156)/5). Which is greater: o or 4?
o
Suppose a - 5 = 2*k, -a + k + 5 = 3*k. Let q = -117 - a. Which is bigger: -120 or q?
-120
Let i(w) = -5*w**3 - 27*w**2 + 36*w + 40. Let v be i(-11). Are 3033 and v non-equal?
True
Let n(q) = 82*q**3 - 2*q**2 + 32*q - 64. Let w be n(2). Which is smaller: w or 642?
642
Let j = 1031 + -1199.8. Let l = j + 169. Which is smaller: l or 34?
l
Let h be 234/(-59) - (-5 - -1). Let o(f) = -3*f**2 - 3*f - 1. Let l be o(0). Is h <= l?
False
Suppose 56*t - 78*t = 22. Let j be (-390)/(-78) + 5*t. Is -7/34 at least j?
False
Let j = 7 + -6. Let f be 134/(-9581) - (-2)/(-26). Which is bigger: f or j?
j
Let x = -0.0097973 + 0.1097973. Let i = -307/9 + 34. Is x less than or equal to i?
False
Let v be 1380/(-8)*((-14)/3 + 4). Let f = 112 - v. Let r be 0/(-1) - (84 + f - -1). Which is bigger: -81 or r?
-81
Suppose 0 = 8*r - 52 - 44. Let m = 21 + -18.6. Let b = 2.3 - m. Is b at most r?
True
Let i(p) = 45*p**3 - p**2 - 4*p - 3. Let t be i(-1). Let d be 30/(-400)*(-28)/(-6). Let f = -1/10 - d. Which is greater: f or t?
f
Let w = 16 - 14. Suppose m - 93 = -g + 3*m, -4*m = w*g - 162. Do 88 and g have different values?
True
Let c = 0 - 0. Let m be (60 + -44)/((-1)/(-1)). Let s be m/104 + 14/(-13). Are s and c unequal?
True
Suppose 0 = -6*i + 9*i + 1008. Let q = 338 + i. Let p be (-141)/(-44) + (-1)/(-4). Which is smaller: p or q?
q
Suppose 25*m + 2*k - 35742 = 23*m, 2*m + 5*k - 35739 = 0. Is m > 17873?
False
Let l = 440 - 436.7. Let j = -3.5 + l. Is -0.057 smaller than j?
False
Suppose 3414*o = 3395*o + 33079. Is -1 > o?
False
Let f = -10 - -11.4. Let i(u) = u**3 - 24*u**2 - 17*u + 408. Let x be i(24). Is f > x?
True
Let s be (((-68)/(-9))/(-4))/((-57)/38 + 0). Suppose 4*g = -4*d + 20, 4*g + d - 