Let s(t) = -34*t - 8. Let d be s(b). Let z = -127 + d. Which is smaller: 9/4 or z?
z
Let k = 68/1719 - 23095/18909. Suppose 4*g + 5 = -g. Is g > k?
True
Let y = 0.029 + -1.379. Let a = -0.65 + 1. Let z = a + y. Is 11 at least z?
True
Let r = 0.291759 - 0.291759. Suppose 0 + 3 = 3*h. Is r bigger than h?
False
Let a = 33451/7097 + 175/151. Is a > 7?
False
Let q = -8914270/207 - -43064. Which is bigger: q or 0?
0
Suppose 0 = -8*u + 7*u + 35. Let y = 6638 + -6632. Which is bigger: u or y?
u
Let c = -655 + 661. Let h be 62*1/(-18)*c. Which is bigger: -22 or h?
h
Let r be (-15)/6*12/(-10). Suppose -r*b = -11*b - 48. Let l be b/10 + 18/30. Which is smaller: l or 1/17?
l
Suppose -12*t - 40 = -6*t + 2*t. Which is smaller: -0.1736 or t?
t
Let s(l) = 2*l**3 - 60*l**2 - 25*l + 209. Let r be s(29). Which is greater: -2199 or r?
r
Suppose 2*f + 324 = -0*f + 3*a, -810 = 5*f - a. Let w = f + -303. Let i be w/495 - 1/(-1). Which is smaller: -1 or i?
-1
Let w = -3654 - 1186. Let j be 4675/w + 1/(-8). Which is greater: j or 0?
0
Let d(i) = i**2 - 4*i. Let s be d(4). Suppose -3*q + 4*j - 35 = s, -q + j = -3*q - 38. Do -20 and q have the same value?
False
Let r(q) = -q**3 + 8*q**2 - 4*q + 35. Let o be r(8). Suppose o*v = -2*j + 17, -4*v + 6 + 12 = 2*j. Let m = 3072/5 - 607. Which is greater: m or j?
m
Let g = -17.599 - -17.689. Is -1/26 smaller than g?
True
Suppose 4*j + 2797 = 2733. Which is smaller: j or -457/29?
j
Let k = -3 + 3. Suppose k = -d - 4*d + 15. Suppose -3*h + h - 1 = -n, -d*n = h - 24. Which is bigger: n or 8?
8
Let r be 276/(-138) + (-78)/(-40). Which is smaller: r or -41?
-41
Suppose -5*i = 3*r + 2943, 2*r - 1174 = 5*i - 3*i. Let m = 1772/3 + i. Which is smaller: -13 or m?
-13
Let d = -3713.9 + 3692.137. Let s = -0.163 - d. Let r = 12.6 - s. Is r at most -0.4?
True
Let f be (-3)/(-12) + 21090/(-296). Is f greater than or equal to -67?
False
Let t(y) = y + 30. Let q be t(8). Let i = -38 + q. Are i and 1 nonequal?
True
Suppose -2*p - 505 - 864 + 159 = 0. Which is smaller: p or -595?
p
Let t = 9719 - 9747. Let f(w) = 2*w - 2. Let g be f(4). Let s be g/((-384)/100)*t/10. Which is smaller: s or 5?
s
Suppose 20 = -4*g, -3*u - g - 2*g + 9 = 0. Suppose n + 8 = 2*j, 0 = n - 7*j - 39 + 17. Let h be (-15)/n - 54/u. Which is smaller: 0 or h?
h
Let a = 368.0405 + -368. Let z = a + -1.0405. Let v(o) = 4*o**2 + 4*o + 1. Let f be v(-4). Which is smaller: z or f?
z
Let h = -268 + 267. Let x = 59.5 + 5.5. Let w = 64.61 - x. Which is greater: w or h?
w
Let s = 2495 - 2490. Suppose 4*r = -0*r. Which is smaller: r or s?
r
Suppose -4*p = -28, -p + 7 = 26*w - 23*w. Is -25/56 at most w?
True
Suppose -14*d = -2*d + 48. Let z be d/3 + 2 + 5562/162. Which is greater: z or -1?
z
Let a = 5896 + -3067. Are 2831 and a unequal?
True
Let v = 20 + -26. Let w be 37/(-84) - 2/v. Let c be (-6 - (-10 - -4))/(-3). Is w less than c?
True
Suppose 2*w + 2 + 18 = 5*b, 0 = 3*w + 2*b + 30. Let c(y) = -8*y**2 - 31*y + 6. Let a be c(-4). Is a at least as big as w?
True
Let s(m) = -4*m - 7. Let l be s(-5). Suppose -w + 2*k - 8 = 0, 5*w + 7 = 5*k - l. Do w and -18/25 have the same value?
False
Let t be 10/180 + 4/18*-1. Is t >= 0.05?
False
Let z(w) = 8*w**3 + 2*w**2 - w. Let d be z(2). Let l(b) = -74 + 10*b - 8*b**2 + b**2 + 8*b**2. Let t be l(-18). Is d at least t?
True
Let o(t) = 303*t + 11855. Let r be o(-38). Which is smaller: 317 or r?
317
Let b(c) = -3*c**2 + 20*c + 25. Let y be b(8). Let g be (180/(-42))/(-15) - 1671/y. Is 239 greater than g?
False
Suppose -2*y - 20 = 5*b, 5*y - 10 - 2 = 3*b. Is y greater than or equal to 7/400?
False
Let r be 23 + (-4 - 9) + (-267)/(-69). Which is greater: r or 13?
r
Suppose -13*s + 107 + 49 = 0. Suppose -j + 17 = -6*o + o, 0 = 3*o + s. Is j <= -11/5?
True
Suppose 0 = -65*l + 9*l - 8*l - 3264. Are -523/10 and l non-equal?
True
Let c = 0.203 - 0.191. Let i = -1.3 - -1.412. Let y = i - c. Is 0.04 less than or equal to y?
True
Suppose 3*x - 19 = -2*m, 2*m + x - 9 = -4. Is 10/551 less than m?
False
Let c be ((4/5)/(-1))/(6/(-315)). Let l = -27 + c. Let o be 3/(-24) - l/(-184). Which is bigger: -1 or o?
o
Let z be 0*1/2 - 1. Let x = z + -5. Suppose -4*n - 16 = 4*u, 189*u - 186*u - 3*n = -12. Which is smaller: x or u?
x
Suppose -3*z = 2898 - 2946. Let i be ((-2)/6)/(2/(-90)). Which is bigger: i or z?
z
Let x(l) = -82*l**2 + 2*l - 1. Let s be x(1). Let a be 1044/s + (-5)/45. Which is smaller: -2 or a?
a
Let n = 27130 + -27129. Is 83/38 less than or equal to n?
False
Suppose -9*q = 85*q + 98982. Which is smaller: q or -1057?
-1057
Suppose -55*t = 55*t - 18260. Which is smaller: 165 or t?
165
Let y = -2.16031 - -0.16031. Is 1754 equal to y?
False
Let q = 22 - 17. Suppose -q*v + d + 28 = 0, 6*v - 30 = 2*v - 3*d. Let s = 7 - v. Does -10 = s?
False
Let c = -470 - -169. Let h = 484 + c. Is h at least 183?
True
Suppose b - 3*h + 22 = 0, b - 34 + 80 = -3*h. Let n = 35 + b. Let l(k) = k + 4. Let j be l(0). Is j greater than or equal to n?
True
Suppose 6 = j - 2. Let u be ((j/(-66))/1)/((-2)/(-9)). Let m = -989/7 + 141. Which is smaller: m or u?
u
Suppose -j + 18 = 2*j + 5*f, -2*j + 4*f = 10. Let v = 58320096/397 - 146902. Which is smaller: j or v?
v
Let x be ((-35)/14)/((-1)/6). Let r be (2/(-28))/(x/(-720)). Let k = -67 - -70. Which is greater: k or r?
r
Let h be 2/6*-3 + 1. Let s be (4/(-5))/(2/(-15)). Let v be 5/((-140)/s) + 1/7. Is v at least h?
False
Let p = 10.84003 - 0.05003. Is -3/5 greater than p?
False
Let v(p) = 3*p - 24. Let q be v(-14). Let h = -71 - q. Let n be 126/(-24) - h/1. Is n bigger than -1?
True
Let y = -1.7 + 2.6. Let s = 0.8737 + -0.0737. Are s and y unequal?
True
Let y be 8 + -35*5/(-25). Which is smaller: y or 61/4?
y
Let l = -46.35 + 46.45. Are l and -3.789 equal?
False
Let h = 1.103 + -0.103. Suppose i + 4*g + 22 = 5, 2*g = i - 1. Let p be (-2)/i + 39/15. Is p >= h?
True
Let w = -46 - -50. Let d be (w/(-50))/(6/(-30)). Which is bigger: d or 11?
11
Let g = 2/49 + 374/441. Let q(d) = 2*d + 95. Let h(f) = -5*f - 286. Let i(r) = 2*h(r) + 7*q(r). Let v be i(-23). Which is smaller: v or g?
g
Let q be (160/(-40) + 2 + 1)*-117. Is q >= 117?
True
Let d be 7*-40*90/(-140). Let s be 1*(-107)/d - 56/(-126). Is s equal to 1?
False
Let q(r) = 3*r + 97. Let m(k) = 1. Let h(u) = -3*m(u) - q(u). Suppose -477 = 11*g - 158. Let f be h(g). Which is smaller: -12 or f?
f
Suppose 0 = 3*p - 16 - 14. Let f be (12 + -4)/(-4)*p. Let a be 5/f - 10/(-72). Which is bigger: 1 or a?
1
Suppose 0*a + 20 = 5*j - a, j + 2*a = -7. Suppose -4*q = 5*b - b - 24, j*q + b - 14 = 0. Let m be -1 + q - 1 - 10. Which is greater: m or -48/7?
-48/7
Suppose -2*i = 5*k - 180, 12*k = 10*k + 4. Let y be (-2)/1 + (-6)/(60/i). Which is bigger: y or 3?
3
Let d be 4/(-14) + 64/28. Suppose 4*h = 3*j - 6, 0 = 3*j - 0*j - 5*h - 9. Let u be (-7)/49*-37 - j/(-7). Are u and d unequal?
True
Let b be (-60)/18*-2*21/4. Suppose -b*h - 4 = -39*h. Let o be h/((-3 + 1)*506/(-44)). Is o less than 1?
True
Let t = 22619035/574 - 39406. Which is bigger: -1 or t?
t
Let u = 3359 + -3359. Suppose -5*q - 5*m + 10 = 0, 2 + 4 = 3*q - m. Suppose u = q*h - 13*h - 11. Is 5/2 <= h?
False
Suppose -8 + 17 = 3*p. Let y = 2 - p. Let o be y/(-4) - 30/40. Is o greater than 0?
False
Let t(i) = 266*i + 230. Let v be t(6). Is v greater than 1825?
True
Let v = 2.3302 + -0.3302. Are 35/6 and v non-equal?
True
Let h be (-180)/(-7794)*3/705. Is h < 0?
False
Let y be -6 + 10 + (-36)/3. Let f be ((-6)/(-350))/((-12)/y). Let q = f + -52/175. Which is greater: 6 or q?
6
Let r(d) = 6*d**2 + 83*d + 18. Let u be r(-14). Suppose -4*k - 52 + u = 0. Suppose -3*h = -4*h - 5*l - 11, -4*h = 5*l + 29. Is h equal to k?
False
Let n be ((-2)/36)/((-1132575)/(-94380) - 12). Which is greater: -349 or n?
-349
Suppose 185*q = -36*q + 20553. Is q <= 93?
True
Let d(x) = -253*x**2 + 248*x - 2607. Let p be d(10). Is p at most -25426?
True
Suppose -76*j - 70680 = -64*j. Are -5889 and j equal?
False
Let u = 37.2 + -36.455. Let f = u + -0.74. Let z = f - -0.595. Is z less than or equal to 2?
True
Let j = -487.7 + -69.7. Let z = -557 - j. Which is smaller: z or -25/8?
-25/8
Let z = -169.18 + 3.18. Let t = 168 + z. Which is greater: -4/27 or t?
t
Let x = -76 - -80. Suppose -c - x = 5*o - 2, -2*o - 2 = 0. Suppose a = -t - 3*t - 5, c*a - t = 11. Which is greater: