ppose -3*t + 5*t = -5434. Let h = -1797 - t. Let l = -5491/6 + h. Does l = 5?
False
Let c = 68175 - 25020243/367. Let p = 13086/2569 - c. Is -1/2 < p?
True
Let j(d) = -d**3 + d**2 + 753*d - 2248. Let r be j(3). Which is smaller: r or -117/16?
-117/16
Let p = -284.1 - -23.1. Let b = 263.2 + p. Which is smaller: -1 or b?
-1
Let h = 54.77 - 55.77. Let d(f) be the third derivative of -f**4/24 + f**3/3 + f**2. Let n be d(-5). Is h greater than or equal to n?
False
Suppose 52*s - 28*s + 4224 = 0. Are -170 and s nonequal?
True
Let k(l) = -23*l - 139. Let g be k(-6). Let z be -8*((-165)/500)/11. Which is bigger: g or z?
z
Let r = -14613 - -14607. Is 0.1105 at least as big as r?
True
Let b = 1219/13020 - -1/620. Which is bigger: b or -5?
b
Let s = -3660 - -4150. Is s equal to 1472/3?
False
Let m = -128.244 + 128.27. Which is smaller: m or -3/8?
-3/8
Let t(k) = 23*k**3 + k**2 - 15*k - 31. Let c be -5*((-294)/(-35) + -8). Let x be t(c). Is -179 != x?
True
Let i = -3912 - -2848. Which is bigger: -1062 or i?
-1062
Suppose 6*c = -5 - 1. Let k = 354 + -190. Let t = k - 14431/88. Are t and c non-equal?
True
Let s = -2014.189 - -2014. Which is smaller: s or -0.04?
s
Let d = 4797 + -8538. Which is greater: -3742 or d?
d
Let t be (129/(-27) - -10) + -6. Is 2/71 > t?
True
Let j = -5684 - -5684.187. Which is smaller: 2/39 or j?
2/39
Let y = -21404 + 21404. Which is bigger: y or 77/58?
77/58
Suppose 4*t - 15 = -2*j + 9*t, -3 = 2*j + t. Suppose j = -4*r + 3*c - 6*c - 294, -4*r - 304 = -2*c. Which is smaller: r or -73?
r
Let u(l) = 2*l**2 - 10*l + 1. Let m be u(7). Suppose m = -2*c + 33. Suppose -3*x + c*h + 40 = -58, -70 = -2*x - h. Is x smaller than 34?
False
Let c = 20/59 + -1051/5015. Is 1 less than or equal to c?
False
Suppose -3*l = -933*o + 936*o + 156, -2*o - 83 = -l. Let g be 2/(-12) + 4/6. Is o < g?
True
Let p be 12/27 - 26303872/(-2016). Which is smaller: p or 13047?
13047
Let a = -13062 - -13061. Which is smaller: a or -35/313?
a
Let z be 1164/(-459) + 4/(-36) + 2. Is -2 >= z?
False
Suppose -1 = d + t, -8 = 4*d + t + 8. Let h(v) = -25*v + 574. Let y be h(23). Is d at least as big as y?
False
Suppose 5052 - 1607 = y - 5*i, -4*i = 3*y - 10468. Which is greater: 0.1 or y?
y
Let k = 14195 + -14192.262. Is k smaller than 0.3?
False
Let t(d) = -2*d**2 + 3*d - 1. Suppose 5*c + 3 + 11 = r, 4 = -2*c. Let k be t(r). Let b be 1/2*(k - -21). Does b = -5/23?
False
Suppose 3360 = 38*o - 1808. Is o at most 135?
False
Let l = 16961 + -19566. Is l equal to -10419/4?
False
Suppose -20*s - 11033 = 1707. Let y = 658 + s. Which is smaller: 19 or y?
19
Let a be 16 + -18 - 2446/(-9). Let y = a - 270. Are -66 and y unequal?
True
Let y(f) = -6*f - 36*f**2 - f**3 + 29*f**2 + 4 - 15. Let r = 156 + -162. Let m be y(r). Is m != -6?
True
Let t = -82 - -81. Let w be t*6/12*0. Are w and -1 unequal?
True
Let k be ((-96)/16)/(6 - 4) + 2. Which is smaller: -1/16091 or k?
k
Suppose -18*u + 4*u + 22372 = -7*u. Which is greater: 3 or u?
u
Let r = -195 + 114. Let a = r + 49. Is a >= -1?
False
Let z(q) = -3*q - 2. Let y be z(20). Let x = y + 94. Suppose -p + 3 = 0, p = -3*r - x - 19. Is -2 at most r?
False
Suppose -2*a - 4854 = 4*t, -4*t - 4884 = -39*a + 35*a. Which is greater: t or -1215?
-1215
Let x be (22 - 16)/3*(-6)/(-642). Is x less than -41?
False
Let x(v) = -v**2 - 2*v + 5. Let s be x(-4). Let f be (64/120)/(-2 + 0 - s). Let i(p) = -p**3 - 3*p**2 - 3*p - 1. Let w be i(-2). Which is smaller: w or f?
f
Let s be 51*1101/(-36) + 7. Which is bigger: -1554 or s?
s
Let k be ((-2)/(-187))/(-35 - -33). Is -1 > k?
False
Let a = -2508 + 2507. Suppose -8 = 4*u, -5*n + 5*u + 6 = -4*n. Which is greater: a or n?
a
Let r = -5 + 4. Let x = r - -1.1. Let j be (-1)/(-5)*(38 - 70 - -27). Is j smaller than x?
True
Let j = -11833/7 + 1691. Suppose 0 = 2*i - 3*c - 3, -2*i - c + 4 + 3 = 0. Suppose -m - i = -5. Which is greater: m or j?
m
Let j(n) = 1451*n + 8168. Let x be j(-11). Is -7793 smaller than x?
False
Let b = 131 + 11. Let u = -143.1 + b. Which is bigger: u or -0.1?
-0.1
Let l be (-2 - -8) + -14 + ((-362)/4 - -2). Which is greater: l or -97?
l
Let z = 0.6 + 12. Let t = 13 - z. Let b = 255 + -507/2. Which is bigger: t or b?
b
Let d = -1093 + 1092.705. Is d < 1/5?
True
Let f = -269953 - -1342507/5. Which is smaller: -1451 or f?
f
Let w = 364.9287 + 0.0713. Let m = 365 - w. Is m greater than 240?
False
Let i = -5.441 + 5.531. Let x = 1.1 + 0.9. Are i and x equal?
False
Let x(i) = i. Let c be x(-1). Suppose -9*b + 424 = 514. Let o = b + 64/7. Is o smaller than c?
False
Let q = 6/1351 + 890297/2702. Let o = 352 - q. Which is smaller: 22 or o?
22
Let v = 7639/1148 - 187/28. Which is smaller: -32 or v?
-32
Let r = 245.4 - -44.6. Let g = 397 - r. Is 0 > g?
False
Suppose -4*o - 4*u + 5*u = -22, 10 = 4*o + 5*u. Suppose o*s = -3*s - 1728. Which is smaller: -217 or s?
-217
Let l = 34 - 28. Suppose -2*x = -5*i - 23 - 6, 0 = -3*x + l. Let r be 5/i - ((-195)/198 - 0). Is 1 bigger than r?
True
Suppose 1987*i - 3397 = 2030*i. Is -854/11 smaller than i?
False
Suppose 0*x - 3*p - 36 = -3*x, 3*x - 40 = 5*p. Let h = 236 + -182. Suppose -7*q + 13*q = h. Is q > x?
False
Let m(y) = -112*y + 68. Let w be m(4). Let b = w - -378. Which is smaller: 1 or b?
b
Let d be (61 - 53) + 166026/(-20754). Which is smaller: 0 or d?
0
Let n(y) = y**3 - 5*y**2 + y + 2. Let z be n(2). Let i be 651/(-124) + 6/z. Let k(g) = g - 7. Let u be k(0). Is u bigger than i?
False
Let t = 0.3 - 19.3. Let f = 170 + -171.21. Let r = 0.21 + f. Do r and t have the same value?
False
Suppose -w - 306 = -30*p + 32*p, 4*w = 0. Is p != -134?
True
Let a(f) = -f**2 - 222*f + 905. Let p be a(4). Which is bigger: 3/6718 or p?
p
Let u(n) = -n**3 + 5*n**2 - 4*n. Let k be u(4). Is 457/2 at least k?
True
Suppose 0 = 56*o - 64*o + 296. Suppose 0 = -9*q + o*q - 9492. Is 339 != q?
False
Suppose -5*y - 240 = 5*g, 1 = 2*y - g + 97. Let x be ((-12)/9)/(y/(-36)). Do x and -20 have the same value?
False
Let n = 32.818 + -0.018. Let j = n + 6.2. Let h = j + -36. Is h < -2/5?
False
Let h = -13.9 - -8.9. Let t = -0.2704 - -0.2304. Which is greater: t or h?
t
Let x be -2 + 3400 + -19 + 19. Let f = x + -975227/287. Which is bigger: -1 or f?
f
Let d(n) = -7*n - 111. Let f be d(-22). Suppose -3*v + 32 = b - 17, -3*v - 4*b = -f. Which is bigger: 200/11 or v?
200/11
Let f = 545 + -5988/11. Which is bigger: 0 or f?
f
Let p = -8.06821 + 0.06821. Let g = 12 - 27. Let y = 16 + g. Which is smaller: y or p?
p
Let u = -157.103 + 33.399. Let k = u - -0.704. Is 0 > k?
True
Let w = -687 + 1939. Which is greater: w or 1253?
1253
Suppose 2*v = 4*v - 3*u - 26, 5*v = u + 39. Suppose v*w = -2*m + 10*w - 13, 4*m + 5*w - 29 = 0. Do 7/26 and m have the same value?
False
Let m(x) = 14*x**3 - 6*x**2 - 5*x. Let d(k) = -5*k**3 + 2*k**2 + 2*k. Let b(t) = 8*d(t) + 3*m(t). Let s be b(1). Is s greater than 9/61?
True
Let v = -639.573 + 634.7. Let m = v + 4.9. Let z = 82.027 - m. Which is smaller: 0 or z?
0
Let d be 2/(-4) + (-19)/266*7. Which is bigger: -9 or d?
d
Let r(q) = q + 60. Let h be r(-5). Suppose h - 215 = 4*f. Is -39 at least as big as f?
True
Suppose -205*z + 211*z = 174. Is z greater than or equal to 29?
True
Let v = 0.08 + 0.52. Suppose -5*f = -3*h - 0*h + 325, 0 = -5*h - 4*f + 517. Suppose -h*g = -112*g - 28. Is g less than or equal to v?
True
Let u be -179 - (-1)/((-1)/(-3)). Let i be u/12 + 1/(-3). Let w be 2*21/(-15)*i/(-6). Is -2 at most as big as w?
False
Suppose 0 = -w + 5*y + 9, 0 = 2*y + 1 - 3. Suppose w*v = 6*v + 408. Let d be v/14 + 3/(-2). Is d greater than 1?
True
Suppose 36*u + 16*u = -780. Which is smaller: u or -295/18?
-295/18
Suppose l + 3*l - 16 = 0, 3*l - 31 = w. Let a = w + 26. Suppose 11*i + 4 = a*i. Which is smaller: -0.41 or i?
i
Let b = -2776663/46449 + 5/5161. Let i = b + 60. Are i and -87 equal?
False
Let k = 5 - -79. Suppose 0*v + 6*v + k = 0. Let u be (7/v)/(19/2). Is 1 greater than u?
True
Let o(h) = -h**3 + 3*h**2 + 5*h - 19. Let c be o(3). Let j be ((-204)/c)/((735/10)/7). Which is bigger: 3 or j?
j
Let q be (20 + 100)*(-76)/(-5). Which is bigger: 1826 or q?
1826
Let u be 1*4/(-3)*(16 - 1495/92). Which is bigger: -3678 or u?
u
Suppose y - 2 = 34. Let u = -31 + y. Suppose 0*k - k = -u*c + 2, c = -5*k - 10. Which is smaller: c or -2/7?
-2/7
Suppose 3*f - o - 30 = -