t x be 1 + 0 + (-6)/9. Let f be 3/2*(-88)/(-4). Let u = -35 + f. Which is smaller: u or x?
u
Let l be (30/525)/(1600/336). Is 1 greater than l?
True
Let g be ((-232)/812)/(-2 - (-45)/35). Let r = -0.9 + 0.9026. Which is bigger: g or r?
g
Let i be (-1298)/(-295)*(-20)/2. Let n be ((-55)/i)/(3/2 - 1). Which is greater: 2 or n?
n
Let u = -0.247 + -1.753. Let c = -5 + 9. Let h = 3 - c. Is h >= u?
True
Suppose -5*h - 7*l = -3*l - 19, -3*h = -l + 9. Which is bigger: -99/101 or h?
-99/101
Suppose 220*o - 48*o - 64*o = -117180. Is -1085 greater than or equal to o?
True
Let k(t) = 3*t - 105. Let c be k(35). Suppose 2*i - 1 + 3 = c. Is i greater than -3/25?
False
Suppose 0 = -8*u + 3*u - 4*n + 1546, -u = -3*n - 294. Suppose -u*s = -319*s. Which is bigger: s or 2/141?
2/141
Let d be (15/(-6))/(8/192). Let l = -13 + d. Let y be 10/(-75) - l/(-15). Is y not equal to -5?
False
Let d be ((-64352)/36 - 0)/(6/(-51)). Let c = d - 15160. Is c <= 34?
False
Suppose 3*x = 6 - 3. Let w be 21*x/1 + 1. Let z be 44/10*(4 + 1). Does w = z?
True
Let j(l) = 22*l**2 + 4 - 22*l + 18 - 24*l**2. Let t be j(-12). Is t less than -2?
False
Let i = -68694/13 + 618259/117. Let r(z) = z**2 + 5*z - 4. Let u be r(-6). Let t(o) = o - 2. Let s be t(u). Is i at least s?
True
Suppose -4*i - 11 = 321. Let j = -4256 - -4172. Is i <= j?
False
Let q = -3238 - -3277. Is -0.23 < q?
True
Let g = -3395464152/1314761 + -6/187823. Does g = -2583?
False
Let u = -2.8999 + 2.982. Which is smaller: -2 or u?
-2
Let q = -191/3 - -66. Suppose 4*i = m + 5, -5*i = 4*m - 1 - 21. Suppose 5*r - 5 = 5*v, -10*r + 4*v = -9*r + i. Which is smaller: q or r?
r
Let m = 399 - 14. Suppose -4*n - 6*u + 1538 = -9*u, 1926 = 5*n - 2*u. Are m and n non-equal?
True
Suppose 5 = -5*m + 3*p, -1 = 2*m + 4*p - 5*p. Let h be (3060/25 - -3) + m/(-5). Which is smaller: h or 123?
123
Let t be (-1 + 1)*(6/(-93) - 1998/4588). Which is smaller: t or 27/2230?
t
Let n = 95 + 17. Let s = n + -29. Let f = -83.6 + s. Is -0.08 <= f?
False
Let q be 12 + (-3606)/278 + (1 - 0). Suppose 0 = -2*g - 6, 4 - 2 = 5*k + g. Which is smaller: k or q?
q
Suppose n = -4*y + 4455, 3340 = -782*y + 785*y + n. Is y bigger than 1113?
True
Let z(r) = -r**3 + 25*r**2 + 85*r - 22. Let m be z(28). Suppose -f - 2 = 2*c, -2*c - m = -5*f - 4. Is f < 3/337?
True
Let q be ((-5)/5)/(-2*2/4). Is 2/5789 bigger than q?
False
Let r(o) = -9*o - 5. Let g be r(-10). Let a = 5202 + -5118. Is a greater than or equal to g?
False
Let o = -241.545 + -2.455. Which is bigger: -1 or o?
-1
Let b be 4/10 - (-106)/10. Suppose -3*v + b = -1. Suppose -3*l + 1 = v*n + 20, n + 10 = l. Which is bigger: n or -8?
n
Let r be 1/4 - 34/8. Let u(j) = -47 - 27 + 2 - 3*j + 3. Let l be u(-22). Is l >= r?
True
Let q(f) = f**2 + 20*f - 39. Let r be q(-22). Suppose r*v - 172 = -32. Are v and 5 unequal?
True
Let d = 15498 + -15495. Is d smaller than 1457?
True
Let b be 36/21 + -2 + (-9891387)/(-33115824). Let y = b - 10/699. Let w = y - -13549/9776. Are 0 and w non-equal?
True
Let x(r) = 7*r + 3 - 27*r**2 + 26*r**2 - 5. Let p be x(6). Let s be (-2)/(p - -4)*(2 + 0). Does 9/10 = s?
False
Let g = -129 - -187. Suppose 0 = -m + 2*l + 20, 2*m - g = -l - l. Suppose -m*s + 2 = -24*s. Which is greater: -20 or s?
s
Let y = -0.41 + 51.41. Let w = y + -50.25. Let c = -16.25 - w. Which is smaller: c or 0?
c
Let b = 50 + -19. Let v = b - 65. Let z = -20 - v. Is 3 <= z?
True
Let j = 78 + -59. Let i = j - 46. Which is smaller: i or -8?
i
Let w(r) = -14*r + 70. Let h be w(5). Let k be (h - -2)*(-10)/8140. Is 0 at most as big as k?
False
Suppose -5*k + o = -46, -k - k + 21 = -3*o. Let s be k/(81/(-6))*3/2. Are s and 11/68 nonequal?
True
Let v be 3/8*44/33*2. Let g be ((-70)/245)/(v/7). Which is bigger: g or -14/27?
-14/27
Let z = 190123 + -3499594060/18407. Which is smaller: z or 1?
z
Let p be ((-360)/(-16))/(-1)*88/(-6). Let o be p/(-3)*(-2)/24. Is 1 <= o?
True
Suppose 3*o = 8*o + 15. Suppose -23*l + 15*l = 248. Let j = -40 - l. Are j and o unequal?
True
Suppose 0 = -3*r + i + 35, 5*r - 8 - 67 = 5*i. Suppose 0 = -7*k + 2*k - r. Let s = 2 + -3. Which is smaller: s or k?
k
Let v = 728 - 302. Let c = -429 + v. Which is smaller: 83 or c?
c
Suppose -52 = -23*m - 3*m. Suppose -b - 5*h - 25 = 0, 10 = b - 2*b - m*h. Which is smaller: -16 or b?
-16
Let l = 7638 - 7537. Are -2 and l equal?
False
Let l(n) = -4364*n + 8727. Let v be l(2). Let k = 454126055 - 58841112943777/129570. Let o = k - 1/1234. Which is smaller: o or v?
v
Let t = -0.029 - -2.029. Let y be -257*(-3 + 16/6). Let l = y - 85. Is l equal to t?
False
Suppose -4460 = -4*p - 11548. Is p at least as big as -1/6?
False
Suppose 2*w = -5 + 1, -h + w = -2. Let y = -12/5375 - -1806228/102125. Let o = y - 10397/589. Which is greater: h or o?
o
Suppose 3*t - 10*t = -21. Let w be 0/(1 + 4 - t). Let u be ((-1)/2*w - -14)/1. Is u bigger than 14?
False
Let z = -2730 - 7197. Is z > -9926?
False
Let k(b) = -b**3 + 8*b**2 + 10*b**2 - b + 3*b**2 - 8 - 11*b**2. Let i be k(10). Let x = 23 + i. Is 4 less than or equal to x?
True
Suppose -34*f = -37*f, -f - 4640 = 5*d. Are d and -926 equal?
False
Suppose -4*k = -n + 1784 + 1861, 0 = -4*k + 3*n - 3639. Let q = k - -6366/7. Suppose 5*j + 12 = -8. Are j and q unequal?
True
Let o(k) = 5*k - 90. Let q be o(0). Let c = q + 153/2. Which is smaller: 1 or c?
c
Let y be 0 + (-162)/(-3)*1. Let l = -451 + 456. Let m be 88/48*-3 + l. Is m > y?
False
Let d = 0.67 + -27.67. Let s = -122 + 211. Let l = 89.1 - s. Is l at least as big as d?
True
Let i = -11262 - -21616. Suppose 5*q + 2*s = -i, 5*s + 13 - 3 = 0. Let r = 64164/31 + q. Is r greater than 0?
False
Let h be 7 - (-121935)/(-473)*(-87)/(-3204). Which is greater: h or 1?
1
Let x be 77420/(-5056)*4/(-10). Does 6 = x?
False
Suppose 2*a = 13*a + 22. Let o be 20/4*(a/10 + 1). Suppose 2*t = 5*q - 2*t - 240, -o*q + 192 = 2*t. Is 48 at most as big as q?
True
Let x be (-1*3/15)/((-1058970)/2475). Which is smaller: -1 or x?
-1
Let c(a) = -5*a + 54. Let q be c(11). Let p be (q*(-1043 - -1))/((-704)/192). Let t = -59396/209 - p. Is -1 bigger than t?
False
Let l(n) = -44*n - 47. Let h(r) = -15*r - 16. Let t(y) = -8*h(y) + 3*l(y). Let x(u) = -2*u - 6. Let o be x(-2). Let i be t(o). Is -1/2 at least i?
False
Suppose v - 8 = -x, 7*x - 2*x - v - 58 = 0. Suppose -k = 0, 0*n - k + 12 = 4*n. Suppose -3*c + u + 32 = 0, 2*c - n*u - 12 = -0*c. Which is smaller: x or c?
x
Suppose -19*b = -12*b + 21. Let w be (0 - 1/b) + 12/72. Let i = 8 - -4. Which is smaller: w or i?
w
Let o = 2.39 + -2.3845. Let a = o + -0.0055. Which is smaller: a or -221?
-221
Let n(s) = -2*s**3 + 6*s**2 + 3*s - 4. Let y be 946/330 - (-2 - (-28)/15). Let c be n(y). Suppose -3*d + 96 = c*m - 31, d - 45 = -3*m. Is d smaller than 38?
False
Let z = -0.5385 - -0.6385. Let t = -0.12 + -0.2. Which is bigger: t or z?
z
Let a = -327 + 311. Suppose -p + 6 + 0 = u, 0 = -5*p + 20. Suppose 2*n + u*k = -2*n - 76, 2*n = 4*k - 38. Which is bigger: n or a?
a
Let q = -27 + 33. Let b = 3 - q. Let a = 395 + -399. Is a equal to b?
False
Let l(r) = -38*r**2 + 909*r - 43. Let o be l(24). Which is smaller: -1046/9 or o?
-1046/9
Let c(m) = 2*m**3 - 251*m**2 - 633*m - 495. Let z be c(128). Which is greater: z or 23?
z
Suppose -180 = -5*q + q + 4*c, -2*c = -6. Let f = q + -6. Let h be (-1)/(-2)*204/f. Do h and 1 have the same value?
False
Let c(a) = -a**2 - 27*a - 72. Let p be c(-23). Suppose 25*s - 670 = p*s. Let b = s - 133. Does 17 = b?
False
Let b(g) be the second derivative of g**3/6 + 8*g. Let d be b(12). Suppose 4*f = -m - 12, -2*m - 4*f = 2*m + d. Which is smaller: 3/10 or m?
m
Let y = -21.195366 + 0.195366. Let z = -3 - -2.8. Are z and y non-equal?
True
Suppose 3*p - 4*r + 22 = 5*p, 68 = 4*p - 4*r. Suppose 13*q = 14*q + p. Let i be (2/6)/(((-40)/q)/(-8)). Is -2 > i?
False
Suppose 0 = -h - 15*w + 7*w - 783, 0 = -h - 4*w - 771. Which is smaller: -756 or h?
h
Suppose -40*h + 166353 = -27*h - 14659. Which is bigger: h or 13926?
13926
Let q(n) = -n**3 - 10*n**2 + n + 20. Let l be q(-10). Suppose -l = 3*h - 1. Let r be 0*(h/(4 - 1))/1. Which is smaller: -1/61 or r?
-1/61
Let s = -1684 - -1694. Is 118/13 bigger than s?
False
Let y be ((-20)/25)/((-2)/320). Suppose 6*z = -2*z + y. Let a = -243 + 256. Is z at most a?
False
Let z(f) = -f**3 + 21*f**2 - 11*f - 64. Let k be 