f - 285. Suppose 0 = -6*s + 3*s - 426. Is n greater than or equal to s?
True
Let h be 7370/201*(-6)/15. Which is smaller: h or 16?
h
Let o = 124.3 - 124. Let l = 26.3 - o. Which is greater: l or -6?
l
Suppose 0 = -2*w + 5*c - 65, -4*w = c + 196 + 11. Which is smaller: w or -156?
-156
Let l(h) = h**2 - 6*h + 9. Let r be l(6). Let x = 8811 + -8810. Is r not equal to x?
True
Let b = 79363 + -2857823/36. Let w = b - -83/4. Let g = -154 - -162. Is g bigger than w?
True
Let m = 0.4 + -0.14. Let d = m - -1.74. Let g = 0.01 + 0.01. Do d and g have the same value?
False
Let l = -64.9 + -2.1. Let p = -0.13732 - -0.23732. Is p at most l?
False
Suppose 0 = 4*k - 6*k. Let y be (62/28 - (-23 + 25))/(480/(-112)). Are k and y non-equal?
True
Let y be 1105/65 + (-18)/1. Let w be (1 + 0)*-4*-1. Which is smaller: w or y?
y
Let w(q) = q + 5. Let y be w(-6). Let c = 81.953 - -0.047. Let t = c - 82.6. Which is smaller: y or t?
y
Let b be 480/924 + (-12)/11. Is 93 equal to b?
False
Let a(o) = -o**2 - 8*o. Let f be a(-6). Let q(d) = -11 - 129*d + 187*d - 82*d + 2*d**2. Let h be q(f). Which is smaller: -12 or h?
-12
Let q be 140/(-8)*(1 + (-22)/10). Suppose -18*n = -q*n - 3. Which is smaller: -9/7 or n?
-9/7
Let c(j) = -25*j**2 + 15*j + 52. Let v be c(-4). Let o = v + 219. Is -188 > o?
True
Suppose 0 = -5*p + 9*p. Let a = -37 + 36. Let i be (-1)/(a - -87)*(10 + -14). Is i at least p?
True
Let c = 71 + 117. Let z = 172 - c. Is -16 greater than z?
False
Let x be -2 - -6 - (145552/(-3336))/(-11). Is x equal to -1?
False
Let x = 141.314 + -143.4. Let q = -0.086 - x. Which is bigger: -0.16 or q?
q
Let w be 677/48 + 62/186. Which is smaller: 0 or w?
0
Let n = -17523 - -11669. Which is smaller: -0.1 or n?
n
Let d = 487 - 171. Let o = d + -243.5. Let g = -71 + o. Which is greater: -1 or g?
g
Let q = 9 - 9.06. Let p(u) = -u**3 + u**2 - 141*u + 50. Let k be p(0). Is q <= k?
True
Let o = 248 - 204. Let i = o + -52. Let l = -19 - -11. Do l and i have the same value?
True
Let t be (10*(-6)/12)/((-1)/(-9)). Let a be (t/(-2550))/(9/12). Which is smaller: a or -1/4?
-1/4
Let k(p) = -p + 13. Let v = -14 + 7. Let i be k(v). Suppose -3*m = -3*a + 12, -a - i = 4*a + 3*m. Do -2/25 and a have the same value?
False
Let s = 1.28 - 13.53. Let d = 12.2 + s. Is 0.2 equal to d?
False
Let d = 157175 - 3613968/23. Let k = d - 46. Let n = 2 + -3. Is n <= k?
True
Let c = -219 + 288.9. Let l = 13.1 + c. Let f = -45 + l. Which is smaller: -0.1 or f?
-0.1
Let t = 0.03545 + 0.56455. Which is smaller: t or -0.28?
-0.28
Let f = 448 + -455. Let z be (-7)/(f/(-470)) + 3. Which is smaller: -466 or z?
z
Let s(c) = -8*c + 9. Let w be s(3). Let k be (-25 - 12 - 1)*2/4. Is w greater than k?
True
Let k be 1200/(-176)*(-8)/18*-21. Which is smaller: -64 or k?
-64
Suppose -b = -14 + 16. Let t be (9 - 6)/(3/b). Let m be ((-10)/30)/(t/12). Is 3 >= m?
True
Let s(r) = -r**2 - 27*r - 49. Let d be s(-20). Let a = -1367/15 + d. Is 1/2 at least as big as a?
True
Let a(d) = -2*d**3 - 25*d**2 - 15*d - 36. Let o be a(-12). Let q = 326.93 - 327. Is o at least q?
True
Let n be 256/768 - (-19652)/(-6). Do n and -3275 have the same value?
True
Let b(j) = 2*j**2 - 8*j - 1. Let y be b(-6). Let h = 129 - y. Which is smaller: h or 47/5?
47/5
Let c = -185695 + 185808.8056. Let d = c + 0.0944. Let t = 114 - d. Which is smaller: -31 or t?
-31
Let z = 954 + -24801/26. Let q = 3.17 - 3.07. Is z != q?
True
Suppose -20*c - 5*c + 44625 = 0. Let w = 132095/74 - c. Is w not equal to 0?
True
Let v be (32/(-56))/(3734/(-7)). Let x = v + 37326/13069. Which is smaller: 4 or x?
x
Let m(z) = z**2 - 3*z. Suppose 3*g = f + 10, 3*g + 3*f = -0 + 6. Let t be m(g). Let d = -15 - -14.964. Is t bigger than d?
True
Let k = -0.42 + 0.709. Let g = k - -0.011. Let n = 1 - 0.9. Which is smaller: n or g?
n
Let g = -227876/13 + 17685. Let k be (-777)/(-5) + 3/5. Let r = g - k. Is r at least 1?
False
Let i = 345 + -957. Is i >= -615?
True
Suppose 3*p - 4 = -2*j, -5*j + 19 = -0*p + 3*p. Let d(a) = -a. Let m be d(p). Suppose 0 = m*l + l + 2*l. Which is smaller: 6/11 or l?
l
Suppose 4216 = 2*s - 4*g, 765 = -s + 4*g + 2869. Is 2112 greater than s?
False
Let v(f) = f**2 - 18*f + 81. Suppose 0 = 4*w + d - 40, 0*d + 4*d = 5*w - 50. Let b be v(w). Which is smaller: b or 3/53?
3/53
Let m be (4 - 2*15/10) + -1. Let o be (1 + (m - 5))*(-70)/20. Is o > 17?
False
Let d = -324.097 + 324. Let y = d - 0.103. Which is smaller: y or 6.2?
y
Let c(x) = x**2 - 27*x + 75. Let i be c(30). Suppose 0 = -i*w + 160*w + 465. Which is bigger: 92 or w?
w
Let o = -87 + 44. Let z be -1*((1 - 1) + 2 + -40). Suppose p = y - z, p = -p - 4*y - 106. Is o > p?
False
Let x(r) = 174*r - 7271. Let d be x(41). Which is smaller: d or -120?
d
Suppose -5*i = 2*q - 2464, 4*i + 3679 = 3*q + 3*i. Suppose 21*b - q = 327. Which is smaller: b or 73?
73
Let p(t) = -75*t + 72. Let f be p(-7). Is 5366/9 >= f?
False
Let s(n) = -n**3 - 2*n**2 + 3*n - 4. Let a(o) = -o**3 - 2*o**2 + 4*o - 4. Let g(v) = -3*a(v) + 2*s(v). Let h be g(2). Which is greater: 0 or h?
h
Suppose -8*z = -12*z + 3*z - 77. Are 3/11 and z non-equal?
True
Suppose 0 = -c + l + 517, -33*c = -37*c - 5*l + 2077. Which is smaller: 519 or c?
c
Suppose s + 3*s = 56. Let x = -32451 - -227260/7. Which is smaller: x or s?
s
Let o = 11 + -11.032. Suppose 7*a - 5*a - 12 = -5*f, 0 = -5*f - 5*a + 15. Suppose 0 = 4*p + 37*p + f*p. Does p = o?
False
Suppose -404*s = -393*s + 341. Let x(v) = v**2 - 2*v + 1. Let b be x(2). Let z = b - 33. Is s <= z?
False
Let f = -166.52 + 250.42. Which is smaller: -0.12 or f?
-0.12
Let g be (-2 - (-8)/5)/((-73)/(-115340)). Let y = g + 642. Let n = 9 - 2. Which is bigger: n or y?
y
Suppose 2*h - c + 80 = 0, -4*h + 26*c - 160 = 27*c. Which is greater: 13 or h?
13
Let b = 10116 + -10118.2. Is b equal to -0.1?
False
Let g be (-20)/720*452 - -12. Which is smaller: g or -0.0256?
g
Suppose -34*u - 3*z + 6 = -31*u, 0 = 3*u + 2*z - 4. Suppose 3*f - 5*j - 12 = u, 28 = 3*f + 5*j - 14. Are 4/7 and f equal?
False
Let k = 6539 + -6550. Are -275 and k equal?
False
Let c be ((-62)/12)/((-2)/6). Suppose 2*p + 29 = -2*k + 179, 105 = k - 5*p. Suppose -5*x + 0*x = -k. Is x less than or equal to c?
False
Suppose 4*f = 4*r - 32, -5*r = 3*f - 5 - 11. Let v(x) be the second derivative of -x**3/3 + 9*x**2/2 + 12*x. Let w be v(r). Which is smaller: w or -13/7?
-13/7
Let r = -92/5 + 1099/60. Suppose v + 2*g + 3 = 0, -5*v - 155*g + 142*g - 39 = 0. Are r and v non-equal?
True
Let y = 177.56 + 1.44. Let p = -230 + y. Which is smaller: p or -0.1?
p
Suppose -3*g = 5*h + 26, h = 4*h - 5*g + 2. Let q be (4*(-2)/(-8))/(5 + h). Is q smaller than 2/575?
False
Let z = -101 - -101.037. Let i = z + -0.237. Which is bigger: 2/37 or i?
2/37
Suppose -5*o + 4*z - 1100 = 9*z, 2*o + 449 = z. Which is greater: o or -233?
o
Let o be 220028/1340*(0 - -1). Is 164 at most o?
True
Suppose 2*w + 149*a - 12 = 146*a, -2*a + 16 = 4*w. Let c(l) = l - 3. Let m be c(4). Let u be (1 + 4)/(-2 + m). Which is greater: u or w?
w
Let t = -923173 - -1723647. Let q = t + -7218358/9. Let h = -1568 - q. Which is greater: -1 or h?
-1
Suppose 0 = -145*s + 139*s + 2958. Let m = s + -453. Are m and 39 unequal?
True
Suppose -2*s + 3*s + 3*l = 14, 0 = -4*s + 2*l. Let v(j) = 6*j**2 - 7*j + 7. Let q be v(s). Is -0.13 < q?
True
Let u = 1297 - 3451. Let i = u + 325255/151. Is i greater than 0?
True
Let t = 402 + -74. Let n be (2/(-5))/(-8 + t/40). Let x be (3/n)/((-15)/(-40)*4). Is x bigger than -0.053?
False
Suppose 6*h - 60 = 4*h. Let g = h - 24. Let j be ((-399)/(-66) - g)/(2/(-2)). Which is smaller: j or 0?
j
Suppose -63*v = 173*v. Let z = 73762/7 + -1076176/105. Let g = -288 + z. Is v bigger than g?
False
Let j = -9099/2602 + -4/1301. Is j >= 1.34?
False
Let i be -7*(-2*1)/((-2)/(-1)). Let x be (-6)/((-2)/i*1). Suppose -2*a + 1 = -l, -3*l + x = 2*a - 0*a. Which is greater: l or 2/7?
l
Let h(p) = 8*p**2 - 87*p + 9. Let t be h(7). Which is bigger: t or -620/3?
-620/3
Let b = 247.0259 - 0.0259. Let r = 247.188 - b. Are r and -0.1 unequal?
True
Suppose 0 = 4*l + 3*x, 0 = 8*l - 4*l - 5*x. Suppose l = 7*s - 4*s + 9. Let u(v) = -v**2 + 4*v - 4. Let n be u(0). Which is smaller: n or s?
n
Let f = -2.825 - -2.725. Is f less than 953?
True
Let j be 4 - (2 - 3) - 3. Suppose -3*x - x - 24 = -4*s, -j*s = 2*x + 8. Whic