2))/(-22). Is v at least as big as 0?
True
Let f be 126 + 5*(-6)/15. Suppose 5*h + 287 = 907. Do f and h have the same value?
True
Let p(w) = -w**3 - 5*w**2 - 75*w - 486. Let i be p(-6). Is i <= 4/257?
True
Suppose 527*c - 265*c + 18880 = 278*c. Is c > 1176?
True
Let z = 12.486 - 12. Let b = z + -0.186. Is b >= 1?
False
Suppose 4*w - 240 + 16 = 4*t, -4*w = -t - 59. Let m be (-2)/10 + (-1606)/t. Which is smaller: 30 or m?
m
Suppose -r - 283 = -2*i, -5*i + 3*r + 1039 = 332. Suppose -3*h + 603 = 180. Which is smaller: i or h?
h
Let s be 1 + ((-3)/2)/3. Let w = -1175 + 847. Let k = w + 329. Is k > s?
True
Let n = 7157 - 7156.9. Is 364.8 != n?
True
Let w be (-2)/(-4)*-4 + 7. Suppose 5*t - 801 = -5*c - 86, 2*t - 2*c = 298. Let o = 151 - t. Do w and o have the same value?
True
Let j(q) = 38*q - 3431. Let n be j(0). Which is greater: n or -3432?
n
Let a = -56 + 78. Suppose 0 = 2*t - 10, -a = 5*m - 4*t + 2168. Is m equal to -435?
False
Let b = -281 - -280.973. Let m = 0.007 + b. Is 17 <= m?
False
Let w = 1393/62514 + -3/151. Which is smaller: -1 or w?
-1
Let f be 10128/(-1055) - ((-64)/(-10))/(-4) - (6 - 97). Let i = -41 + 63. Suppose -4*m = -b + 68, -4*b + 306 = -2*m - i. Is b at most f?
False
Suppose -2*t - 1 - 1 = 0. Let w be (95/(-1710) + (-8)/18)/(23/(-10)). Is w > t?
True
Suppose 2*t - 3 = -1, 0 = h + t - 3. Suppose -2*o + 9*r = 14*r + 437, 4*o + 862 = h*r. Which is smaller: o or -217?
-217
Let x = 4650 - 6022. Is x less than or equal to -0.1?
True
Let a = 498.65 + -516.7. Is a <= 2?
True
Let m = -323.8 - -323.796. Is m at least 13?
False
Let r = 718 + -475. Let d = 242 - r. Are d and -16.7 non-equal?
True
Suppose 0 = -4*x - 5*i + 1923, -2*i = -3*x - 0*i + 1425. Which is greater: x or 2392/5?
2392/5
Let r be 4/((13/(-91) - 0)*35/10). Let n be (16/(-36))/(4/66). Which is smaller: r or n?
r
Let z = -58 + 74. Suppose r - 11 = 2*x, -2*x - 2*r = 2*r + z. Let g(d) = -6*d**3 - 2*d**2 + d. Let m be g(1). Which is smaller: m or x?
m
Let d = 51 - 29. Let x be (-1960)/(-2016) + 6/(-8). Is x >= d?
False
Let g = 0.0473 - 0.8193. Let d = 3.772 + g. Which is smaller: d or -101?
-101
Let i(d) = -6*d**2 - 9 + 5*d**3 - 4*d**3 + 19*d**2 + 11*d. Let c be i(-12). Suppose -c*j = r + 44, 9 + 11 = -4*j. Is r >= -31?
True
Let i = -15 - -4276/285. Suppose 0 = 1121*b - 1153*b + 32. Which is smaller: b or i?
i
Let o(u) = 3*u**3 - 8*u**2 + 18*u - 18. Let k be (-5005)/(-1015) + 4/58. Let j be o(k). Do 247 and j have different values?
False
Suppose -4*g - 69 = 5*s - 6*s, 4*g = 4*s - 216. Let l = 56 - s. Suppose 5 = l*j - 2. Which is bigger: 2/59 or j?
j
Let o(d) = -d**3 - 40*d**2 - 392*d + 149. Let k be o(-21). Is k less than or equal to 33/52?
False
Let b be (-120)/(-180) + 9184/(-6). Let i = b + 1051. Are i and -2/7 equal?
False
Let s = 17.8 - -3.7. Let k = 21.4 - s. Let v = -0.9 + -3.1. Which is bigger: v or k?
k
Let m be 6/36*(-5)/(10/(-2)). Is 805 > m?
True
Suppose 14*j = 25*j - 110. Suppose -3*g = 3*i - 7*i + 10, -3*g = -2*i + 2. Suppose -5*c - i + 35 = -4*r, -3*c - 3*r = -24. Which is bigger: c or j?
j
Let r = 0.835 - -1.165. Let h = 348 - 260. Which is greater: h or r?
h
Let k(s) = -s**2 - 239*s - 1877. Let u be k(-8). Are u and -93 equal?
False
Let j be 1 - 158/(1 - 3). Let k = 68 - j. Let t be ((-1)/k)/(19/76). Which is bigger: 41 or t?
41
Let s(c) = c**3 + 7*c**2 - 12*c + 6. Let p be s(-9). Let h = -49 - p. Let j = -0.5 - -3.2. Do j and h have the same value?
False
Let d = 119 + -117. Let s = -38 + 49. Suppose 3*z = d*z + s. Is z >= 11?
True
Let g be -2 - ((-674)/224 + 1). Let k = -22532 - -22531. Which is smaller: k or g?
k
Suppose -5 = 4*v - x - 66, 63 = 4*v - 3*x. Let t be ((-1)/9)/(v/30). Is t smaller than -14?
False
Suppose 0 = 2*m + 11*m + 9633. Let f = m + 854. Which is smaller: 109 or f?
109
Let u = -48 + 90. Suppose 0 = -4*q + 3*p + 172, -8*q = -3*q - 2*p - 215. Which is bigger: q or u?
q
Let j = -32/7 - -71/14. Let x = -267 - -1332/5. Which is smaller: j or x?
x
Let s(x) = -3*x**2 + 350*x + 1046. Let j be s(-3). Which is smaller: 36 or j?
j
Let y = 260980 - 9753605538/37373. Which is bigger: y or 0?
y
Let i = 47.095 + -48.095. Let m be 10/666*6684/105. Let g = m - 50/63. Is i at most g?
True
Let k be (-2 - (-7 + 3)) + -12. Let x(y) = 23*y - 16*y + 24 + 5*y + y**2. Let z be x(k). Is 0 at most z?
True
Let z = -7737/17 + 455. Let h be 2/(-14) - (-1856)/56. Let m = -32 + h. Which is greater: z or m?
m
Let a = -2.7 - -10.1. Let o = 115 - 121.4. Let s = o + a. Is s at most as big as 0.02?
False
Suppose 0*q - 2 = -2*q. Suppose -p - 2 = q, 0 = -3*v - 2*p - 24. Suppose 130*a + 498 + 152 = 0. Are a and v equal?
False
Let q = -71 + 38. Let g be 3/(q/(-5)) - 0/(-8). Let i = g + 67/22. Is i less than or equal to 3?
False
Let y = 0 - 2. Let m be 18942/(-1617) - 22/(-2). Which is smaller: m or y?
y
Let q = -1378 - -1371. Which is smaller: -53 or q?
-53
Let u = 0.05334 + -0.38334. Which is smaller: -14/9 or u?
-14/9
Let j(t) = t**2 - 52*t - 165. Let s be j(48). Let q = s + 216. Are -141 and q non-equal?
False
Suppose 2*j = 3*k - 2, 0 = -4*j + 2*k - 0 - 20. Is -494/77 > j?
True
Let l = 2961 + 490. Are 3451 and l non-equal?
False
Suppose -117*w - 23*w - 89180 = 0. Is -635 < w?
False
Suppose -i - 356 = -3*d, -3*i - 132 = 4*d - 585. Let y(g) = -16*g**3 - g**2 + g - 2. Let h be y(-2). Which is smaller: h or d?
d
Let s = 12103 - 11017. Which is smaller: s or 1089?
s
Let u = 379 + -664. Let z = 289 + u. Does -5.2 = z?
False
Let m(t) = t**3 + 61*t**2 - 705*t + 359. Let s be m(-71). Is 68 at most as big as s?
False
Suppose -2*b + 312011 = -226*b + 21*b. Which is bigger: -0.2 or b?
-0.2
Suppose -17 = -2*n - 9. Suppose 0*q + 4 = -n*q - 3*r, -5*q - 4*r - 5 = 0. Is q < 1/317?
True
Let h(y) = -20*y + 50. Let l be h(-8). Let x = l + -129. Suppose -4*z + 13 = x. Which is smaller: z or -16?
z
Let w be ((-40)/(-96))/(5703445/570328 - 10). Which is smaller: w or 1440?
1440
Let g = -3716 + 3709.95. Is g != 0.3?
True
Let b = -1270 + -368. Let h be (0 - 10/(-8))/(b/(-12816)). Let w = 69/7 - h. Which is smaller: w or 0?
0
Suppose 18*v - 25*v - 42048 = -39*v. Is v less than 1318?
True
Let m be 4/((-7960)/(-9036) + -1 + 7/63). Is m smaller than 0.3?
True
Suppose -3*p - 5 = -137. Suppose p*g + 22*g = 858. Which is smaller: g or -4?
-4
Let r(x) = -5*x + 6. Let h be r(6). Suppose -10*s + 5*v + 23 = -8*s, 4*v + 12 = 0. Let f be s/(((-162)/h)/(114/16)). Which is bigger: f or 5?
5
Suppose 0 = -1111*x + 1103*x - 760. Let r be (-4)/(-14) + (-1340)/(-14). Let u = x + r. Which is bigger: u or -1/53?
u
Let z = 8235 + -6210. Is 2023 < z?
True
Let q be -564 - -59 - (-11)/(-1). Which is smaller: q or 1?
q
Let c = 0.08 - 18.08. Let a = 1018 + -1036. Let t = c - a. Which is smaller: t or -24?
-24
Suppose -2*b + 2*v + v - 48 = 0, 0 = 3*b - v + 86. Let f be b/(-18) - (-2)/(-3). Let p be (-7)/((-210)/45) + (-273)/154. Which is bigger: f or p?
f
Suppose 5*j - 6 = -11. Let h be (420/3200)/(-6 + (-324)/(-30) + -6). Does j = h?
False
Let p(g) = -g**3 - 6*g**2 - g + 17. Let t be p(-5). Let v be ((-33)/(-8140))/((-22)/(-8) + t). Which is greater: v or -1?
v
Let p(x) = 37*x - 37. Suppose 6*b - 14 = 2*b + 2*o, -3 = -3*o. Let i be p(b). Suppose i*c - 113*c = 0. Is c != 3/10?
True
Let m be (5 + (-4755)/25)*5/13. Is -71 < m?
False
Suppose -7*k = -30 + 42 - 5. Which is greater: 3/9454 or k?
3/9454
Let z(n) = -n + 1. Let s be z(0). Let k be s/6*(-8)/(-6). Let l = k - 28/45. Which is greater: l or 0?
0
Let t = 4269 + -4369. Is t bigger than -100?
False
Let y = 186 - 156. Let h = y - 32. Let c = -28.3 + 1.3. Is h smaller than c?
False
Let r = 8 + -7.7. Let k = 981/553 - 95/79. Which is smaller: k or r?
r
Let p = -2.6 + 0.6. Let f = 2.512 - 3.992. Is f less than or equal to p?
False
Suppose 5*r = -0 - 20, 5*f = -3*r + 48. Suppose 0 = -13*p - 4*p + 5*p. Let d be (-74)/6*(-1 + p). Is f not equal to d?
True
Let r(y) be the second derivative of y**5/120 - y**4/3 + 5*y**3/6 - 20*y. Let z(v) be the second derivative of r(v). Let h be z(7). Is -3/8 bigger than h?
True
Let r be (168/462)/((-54)/33). Let g = -500 + 979. Which is smaller: r or g?
r
Let w = 87.06917 + -0.06917. Are w and 2/17 nonequal?
True
Suppose 5*s - 4*c - 27 = -2*c, -3*s + 18 = -3*c. Suppose 94 = -2*a - 5*q, -4*a + s*q = -9*a - 205. Is a greater than 5?
False
Let f