t r = 288.4609 + -0.4609. Is r less than -1/5?
False
Let i = -13/22772 - -1789825/3894012. Let r = i - 14/19. Is -1 equal to r?
False
Let i be ((-62439)/(-65))/(5/(-25)). Is i >= -4805?
True
Let g be (32/10)/((-4)/1290). Let v = 570 + g. Let c be (-3)/15 + v/15. Which is smaller: c or -32?
-32
Suppose 0 = 3*s + 9, -8*s + 422 = i - 5*s. Suppose -w - 2125 = -6*w + y, -w - y = -i. Let k be 1 + w/438 + -2. Which is smaller: 1 or k?
k
Let v(a) = -4*a**2 - 160*a + 128*a + 38*a**2. Let p be v(2). Which is smaller: 71 or p?
71
Let q be (-29)/((-87)/114)*(-25 - 0). Which is smaller: q or -949?
q
Suppose x = 2*r - 3*x + 20, x + 10 = -2*r. Suppose -2*t = -4*t + 4. Let m be 2 + t + (r - -8). Which is smaller: 7 or m?
m
Let f be 55 - (-27159)/(-495) - (-4)/(-30). Which is smaller: 3/2591 or f?
f
Let g = 37181 + -37181. Let s be 12/(-9)*(-6)/1844. Is s >= g?
True
Let p = 88 - -548. Suppose p - 181 = 5*q. Which is smaller: q or 92?
q
Let c be ((-330)/99)/((-18)/945). Is c not equal to 2618/15?
True
Let b = -181/590 - 11/118. Which is greater: b or 311?
311
Let z be -4 + (-56)/3*30/(-20). Let c(w) = -27*w**3 - 2*w**2 + w + 2. Let g be c(-1). Which is greater: g or z?
g
Let q = 32 - -17. Let z = 94 - q. Is 1/2 smaller than z?
True
Suppose 9 + 3 = 4*k. Suppose -3*y = k*y + 6. Let r(z) = -12*z + 1. Let q be r(y). Is q <= 13?
True
Let f = 8723.6588 + -8723. Which is smaller: -0.2 or f?
-0.2
Suppose -3*l + 4*l = -o + 2137, -4244 = -2*l + 4*o. Let y = l - 251579/118. Is 0 >= y?
True
Let w be 9942/(-34846) - (-114)/19. Let f = 1/2489 - w. Which is smaller: -7 or f?
-7
Let o = -12 + 32. Let f be (9 + -1)*10/o. Suppose 3*u + 0*a - 11 = f*a, 2*u - 2*a - 8 = 0. Is u equal to 7?
False
Let n = 63 + -63.264. Let v = n - 36.536. Let f = 37 + v. Is 3/7 at least f?
True
Let z(a) = -a**3 - a**2 + 2*a + 3. Let j be z(-3). Suppose 0 = -2*b - 3*h - j, 3 = -h - 2. Which is smaller: 2/165 or b?
b
Let r = 375 + -109. Let i = -266.2 + r. Which is greater: i or -39/5?
i
Suppose 22*b + 701 + 113 = 0. Let y = b - -38. Which is greater: 7/23 or y?
y
Let s = 43 - 77. Let w = 40.7 + -75. Let d = s - w. Which is smaller: 4 or d?
d
Let p(q) = 5*q**2 - 20*q + 2. Let i = 95 - 91. Let m(g) = 1. Let c(t) = i*m(t) - p(t). Let a be c(4). Are a and 28/9 nonequal?
True
Let l(h) = -h**3 - 2*h**2 - 2*h - 3. Let z be l(-2). Let i be -1*(4 - (z - 35)). Suppose -2*t + 4*t = -5*c - 187, -4*c - 164 = -2*t. Which is smaller: c or i?
c
Let v(p) = 1316*p**2 + 42*p - 86. Let k be v(2). Does 5263 = k?
False
Let c = -186518/73 + 2555. Let y = 179/803 + c. Let a = -20.777 + 20.977. Is a greater than or equal to y?
True
Let k = 1480 - 26653/18. Suppose -22*s = -15*s. Which is smaller: s or k?
k
Let p = -2932 + 2830. Is p < -103?
False
Let g = 1.191 + -1.38. Let t = g - -0.25. Which is smaller: t or -0.1?
-0.1
Let f(p) be the first derivative of -p**7/420 + p**6/180 - p**5/30 + 8*p**3/3 + 46. Let z(n) be the third derivative of f(n). Let o be z(2). Is -16 < o?
False
Let f = 13247 - 13248. Is f greater than -4/3647?
False
Suppose a = -4*a + 3*s + 34, -s + 7 = 2*a. Suppose v + a*b = -2 - 19, 0 = -4*v + b + 21. Is v <= -7?
False
Suppose 1706*x = 1832*x - 126. Let z = -11.4 - -242.4. Is x at least z?
False
Let o(k) = -k**3 - 26*k**2 + k + 22. Suppose 0 = -3*r - 5*f - 53, 15*r - 20*r + 5*f - 155 = 0. Let b be o(r). Which is smaller: b or -48/19?
b
Suppose 0 = 2*k + 5*o - 13, -12 = -5*k + 3*k - 4*o. Let r = -15/73 - -3815/803. Which is bigger: k or r?
r
Let n = -6/2929 - -1558246/8787. Let o = -177 + n. Which is bigger: o or -24?
o
Suppose 2*c - 124 = 6*c. Let j = 35 + c. Let o be j/63*51/(-34). Is 1/2 > o?
True
Let z = -437.581 - -0.581. Let h = 437 + z. Let y be 0 - ((-10)/(-4) - 2). Which is smaller: y or h?
y
Let m(v) = -7*v**2 + 28*v + 2. Let f be m(4). Let l be (f*(-5)/(-20))/((-2)/4). Which is smaller: 2/1151 or l?
l
Suppose -313 = -20*j + 1347. Let r = j + -52. Is 31 at least r?
True
Let d(z) = -4*z + 8. Let t(a) = 5*a - 8. Let i(y) = 3*d(y) + 2*t(y). Let b be i(4). Suppose 4*u + 4*u = b. Is 1/18 smaller than u?
False
Let t(d) = -1 + 3*d + d - 3*d. Let x be t(2). Which is greater: 8 or x?
8
Suppose -5*c + b = -1615, 4*c - 100*b = -99*b + 1292. Which is greater: c or 307?
c
Suppose -1494*x + 1498*x - 3*j = 110, -2*j - 148 = -5*x. Is x greater than or equal to 27?
True
Let z = 0.3 + -0.3. Let b = -166 - -177. Suppose -22*y = -11*y + b. Which is bigger: z or y?
z
Let k be (-10)/(-17) + -2 + 1. Suppose -a + 3 = 3*h, -2*h - a = -h - 3. Suppose h*d + 0*d = -7*d. Is d bigger than k?
True
Let b = 48 - 45. Suppose 0 = -b*w - 2*p - 46, 3*p = -p - 20. Let o be (-6)/4 + (-45)/w. Which is smaller: o or 1?
1
Let q = -328.74 + 329. Let p = q - 0.26. Which is bigger: p or 9/16?
9/16
Let k be ((-14)/40 - 22/55)/(2211/60). Which is bigger: 0 or k?
0
Suppose 3*w = -p - 2467, -654*w = 3*p - 653*w + 7401. Which is smaller: p or -2465?
p
Let y = 32974 - 34697. Which is smaller: -4 or y?
y
Suppose 10*p = 8788 - 7858. Which is smaller: p or 94?
p
Suppose 0*l - 4*l + 6 = -2*b, 2*l = -2*b - 12. Let y = 69482/19 - 3658. Which is smaller: l or y?
y
Let d be (27/12)/(3/(-16)). Let x(c) = -c**3 - 13*c**2 - 11*c + 8. Let m be x(d). Suppose -2*h - 5 = 3, 0 = 3*k - 4*h - 19. Does k = m?
False
Let y = 3716 + -3649. Which is smaller: y or 3/7?
3/7
Let h = 35.6 + -33. Let t = 33.53605 - 0.13605. Let r = t + h. Is 0.1 at least as big as r?
False
Let d = 977/8 - -283/8. Which is smaller: 157 or d?
157
Let z = 0.403 - 0.5. Let o be (-4*(-4)/264*3)/((-32)/(-44)). Is z bigger than o?
False
Let x be 2/(-8)*(-246 + 1). Let q = -538 + 599. Let m = x - q. Which is bigger: -0.16 or m?
m
Let y(q) = q**3 - 2*q**2 - 4*q + 13. Let m be y(3). Suppose 113 = -m*n - 157. Do -3 and n have different values?
True
Suppose 6*x = -2*i + 2*x - 12, -2*x = -4*i + 26. Let n be 20/i + (5610/(-175))/6. Is n < -1?
False
Let q(t) = t**3 + 15*t**2 + 6*t + 19. Let c be q(-14). Let d = c + -257/2. Is 2 greater than d?
False
Let t(v) be the third derivative of v**6/120 + 3*v**5/10 + 17*v**4/12 + 11*v**3/2 - 126*v**2. Let g be t(-16). Which is bigger: 1/3 or g?
g
Let y = -80 + 251. Let z = 0.09768 + -0.19768. Which is greater: y or z?
y
Suppose k + 2*k + 159 = 0. Let p = -1503 - -1452. Are p and k nonequal?
True
Let b be (-291)/594 + (-2)/(-4). Let c = b + 1280/693. Let z = -9/7 + c. Is z at most -2?
False
Let r(y) = -1. Let o(i) = 2*i + 39. Let f(a) = o(a) + 5*r(a). Let l be 124/(-7) - (112/49)/8. Let h be f(l). Is h < -12/13?
True
Suppose 2*d = 4*l - 10356, 2575 = l - 0*l + 3*d. Which is greater: l or 2585?
l
Let j = -997.42 + 997. Are j and 5 unequal?
True
Let y = -0.441 - -0.269. Let c = y - 0.828. Does -58 = c?
False
Let n be (-192395)/38985 - ((-12)/((-9)/(-3)) - 1). Is -1 at least n?
False
Suppose -258*t + 250*t - 8 = 0. Is 26/111 greater than or equal to t?
True
Let i be (-136)/(-85) - (-4838)/(-30). Is i equal to -159?
False
Suppose -94 = -2*a + m + 4*m, -2*a + 70 = m. Suppose -a = -5*p + v, -4*p + 30 + 14 = 4*v. Suppose 0 = -p*o - 14 + 22. Is o != 8/9?
True
Let a = -2126 - -1912.8. Let s = a + 213. Is -2 at least s?
False
Suppose 24*h - 37*h = 221. Is -4 smaller than h?
False
Let t be (-306)/(-94)*(-12)/72. Let c = t + 2/47. Let i = 240 - 248. Is i <= c?
True
Let x = 395 - 413. Let o be (-4963)/(-3306) - (-27)/x. Which is bigger: 0 or o?
o
Let n be (6/(-2))/((-99)/60). Suppose -646 = s - 647. Do s and n have different values?
True
Suppose 0 = 6*n - 1518 - 636. Let i = n - 606. Is -248 < i?
True
Let u = 47 + 8. Let z(d) = d - 36 + u - 3*d - 31. Let l be z(-6). Is -2/69 smaller than l?
True
Suppose -6*y = -5*y - 4*m - 324, 0 = 4*m + 20. Let a = -306 + y. Is -7.4 not equal to a?
True
Let f be 3/7*62/124. Let n = 24.05 - 24. Which is greater: n or f?
f
Suppose -4 = -4*x, 5*x - 4*x = -2*a + 3. Let i be 2 + (-5)/a + 2 + -7. Let s(v) = v**3 + 7*v**2 - 4*v + 14. Let q be s(i). Which is bigger: q or -15?
-15
Let f be (-3)/(16 - (-11 - -20)). Let j = -21 - -33. Let u = j - 13.6. Is f != u?
True
Let p = -2.772 + 0.772. Suppose 370 = 6*w - 134. Is p not equal to w?
True
Let o(g) = 53*g - 21. Let z be -3 - -1 - (-2 - (-8 - -10)). Let p be o(z). Is p less than or equal to 85?
True
Let s be 0 - (-1)/(1 + -2). Let q be (35/10)/(s - 1). Let d = q - -5/4. Which is smaller: d or -0.1?
d
S