). Let l be ((-54)/8)/(f/(-16)). Let m = 2682 - 2699. Is l bigger than m?
False
Suppose 6716*y = 6718*y - 1226. Which is smaller: y or 612?
612
Suppose -73*l - 67716 = 224*l. Which is smaller: l or -2293/10?
-2293/10
Suppose 0 = -83*w + 77*w - 5454. Let h be 250/40 - 6 - w/12. Is h less than 74?
False
Suppose 38818 = 45*d - 32*d - 39*d. Is d greater than or equal to -1493?
True
Let s(l) = -l - 5. Let f be s(-4). Let t(u) = -59*u**3 - 1. Let x be t(f). Suppose 3*w - 19*w = -5663 + 4735. Is w less than x?
False
Let t = 158/93 - 1162/465. Which is smaller: -248/5 or t?
-248/5
Let m = -3150.2 - -3150. Which is smaller: 475 or m?
m
Let f = 0.45 - 15.45. Let p = 0 + f. Let n = 16 + p. Is n at most 0.09?
False
Suppose 0 = -2*i - 0*t + t + 566, -2*i + 566 = 3*t. Let p = -89 + i. Which is greater: p or 195?
195
Let l be -9 + (-1 - -3)/(-1). Let k(o) = -64*o + 6. Let y be k(-1). Let b be 0 + l/(-14) - 20/y. Do b and -1/11 have the same value?
False
Let u = -3.73 - -3.73. Suppose 0 = -11*q + 6*q + 2*m - 429, 0 = -4*q + 2*m - 344. Let f = 61 + q. Which is smaller: u or f?
f
Suppose -6*b + b + 2*a = -72, -3*a = 2*b - 44. Let f be 3*b/(-24)*159/3. Which is bigger: -108 or f?
f
Suppose 0 = m - 1, 0*w + 5*w = 2*m - 32. Let u be (-38)/(-220) - w/(-15). Let b(s) = s - 7. Let z be b(8). Which is smaller: z or u?
u
Let s(d) = -d**2 - 23*d + 27. Let z be s(-24). Let k(q) = 3*q - 5. Let f be k(3). Suppose c + f*c = x - 9, -x - 3 = c. Is x at most z?
True
Let g(x) = 66*x - 137. Let a be g(3). Is 70 < a?
False
Suppose 27*w = -9602 - 145. Are w and -359 nonequal?
True
Let k(s) = s + 9. Let x(u) = -u**3 - 16*u**2 + 19*u + 26. Let p be x(-17). Let l be k(p). Suppose -5*q + l = 6. Is -2/73 > q?
True
Let m = 7640/7 + -1248. Do m and -158 have different values?
True
Suppose p = -0 - 4. Let s be ((-24)/(-40))/((-1584)/1580 - -1). Let v = s + 233. Are v and p equal?
True
Suppose -2*j + 522 = -2*t, -2*t + t + 795 = 3*j. Suppose 5*l = -l + j. Suppose 3*v - 44 = -l. Which is bigger: v or 12/29?
12/29
Let o = -19 - -70. Let s = o + -76. Let d = -25 - s. Which is greater: 44 or d?
44
Let t(v) = -v**2 + 1. Let i be t(0). Let r = -0.7 - -0.7. Let m = -3 - r. Which is greater: m or i?
i
Suppose 242*b = a + 237*b - 10446, -2*b + 41674 = 4*a. Is 10421 bigger than a?
False
Let o = 6842 - 6834. Which is greater: o or 2?
o
Let o(d) = -d**2 - 5*d + 26. Let z be o(-9). Let q be (0 - 112/z)/((-163410)/(-806)). Let f = q - 4/2095. Is f greater than -1?
True
Suppose -9*s + 11*s - 1550 = 5*w, -5*s + 3894 = -3*w. Let c = s - 779. Do -2/37 and c have the same value?
False
Let u(b) = 3*b + 2. Let n be u(4). Let z be (n - -4)/(6/9). Let y be 9/z + 13/(-33). Which is greater: 1 or y?
1
Let h = -5121 + 5125. Let k = -3 + 6. Is k greater than or equal to h?
False
Let j be 125/(-75) - (-27885)/(-9). Which is greater: -3099 or j?
-3099
Let s be (0/(-2))/(0 - (13 + -15)). Which is bigger: 24/41 or s?
24/41
Let g(r) = r - 2. Let w be g(7). Suppose 0 = 4*a - 4, 35 = 3*p + w*a - 3*a. Let q(v) = v**2 - 54*v + 114. Let j be q(52). Which is smaller: j or p?
j
Let g be ((-28)/(-21))/((-4)/(-102)). Let y(o) = -5*o + 5. Let n be y(-11). Suppose -z - 5*b + n = 0, -3*z + b + 75 = -25. Does z = g?
False
Suppose -2*q + 14 = 4*x, 60*x - 57*x - q + 7 = 0. Is x bigger than -2/531?
True
Let c(k) = -33*k**2 + 37*k - 50. Let a be c(7). Which is smaller: a or 0?
a
Let b = 119 + -119. Let s be (-2983)/(-1995) + 4/(-10). Which is smaller: s or b?
b
Let z = -35272 + 35163. Is z greater than or equal to 0.25?
False
Let r = 78 - 77. Let k = -7 + 6. Let m be -1*k/(-70)*-2. Which is greater: m or r?
r
Let d = 0.14 + -110.14. Let c = 3.56 + -3.56. Is d <= c?
True
Suppose -5*z - 3*i = -1545, -3*z + z + 4*i = -644. Suppose -3*w - z = -5*b, 4*b - 8*b + 3*w + 249 = 0. Which is greater: 65 or b?
65
Let k(a) = -196*a**2 + 15*a - 15. Let q be k(1). Let g = q - -195. Is g at least as big as -5/112?
False
Let m be (-252)/48*(-12)/3. Suppose -3*a + 0*a - m = 3*n, -2*a - 3*n = 13. Which is greater: a or 0.1?
0.1
Suppose -2*l - 8*l = -2*l. Suppose -5*n - 14564 - 11901 = l. Let k = n + 1730813/327. Which is smaller: k or 1?
k
Let d = -12 - -14. Let b = -2 - d. Let i be b - ((-30)/5 - -4). Which is smaller: i or 2?
i
Let q = 18391/7 - 2627. Let s = 122 + -15. Which is greater: q or s?
s
Let q = 176 - 174. Let m be 7*q/(-4)*868/(-49). Is m != 63?
True
Suppose 23 = -7*o + 121. Let u = -24 - -39. Is o at least u?
False
Suppose 9*u - 20 = 7*u - 4*b, 3*u + 10 = 4*b. Suppose 2*c - 5*n = 397, 0 = -u*c - 5*n + 129 + 258. Is 197 equal to c?
False
Suppose 4*p = 7*x - 2*x - 111, -3*x - 2*p = -71. Suppose -184 = -9*d + x. Which is smaller: d or 24?
d
Let b(y) = -y + 34. Suppose 9*q - 38 = 7*q + 2*n, 5*n + 25 = 0. Let r be b(q). Suppose -23 = 3*v - r. Which is smaller: v or -1/83?
v
Let y(b) = 10*b**2 - 50*b - 260. Let w be y(-11). Is w at most as big as 1497?
False
Let t = -69 - -6150/89. Suppose 0 = 46*x - 42*x - u - 2, 3*x - 3*u = -3. Which is greater: t or x?
x
Let d = -1160 - -1168.7. Is -0.08 greater than d?
False
Let r = 182 - 247. Let j = -66.67 - 0.33. Let w = r - j. Is w at least -3/17?
True
Let k = 9463 + -9483. Which is greater: k or 17?
17
Let k = 587 + -756. Which is greater: k or -1?
-1
Let x(d) = -6*d - 2. Let j be x(2). Let k(p) = p**3 + 13*p**2 - 12*p + 27. Let m be k(j). Let c be -2*m/(-2 + (-288)/(-148)). Are -38 and c unequal?
True
Let r(u) = -u**3 + 6*u**2 + 8. Suppose -64 - 92 = -26*s. Let l be r(s). Which is smaller: 124/15 or l?
l
Let c(j) = j**2 - j - 3. Let m(z) = -47*z**2 + 7*z - 14. Let x(r) = -2*c(r) + m(r). Let v be x(1). Are -47 and v unequal?
True
Let s(c) = -c**3 + 3*c**2 + 3*c + 4. Let r = 25 - 18. Suppose r*t = 2*t + 20. Let j be s(t). Is -2 != j?
True
Let i = 455.107 - 455.1. Which is smaller: 1 or i?
i
Suppose -305 = -0*b + 5*b - 4*n, b - n = -61. Let r = -268 - 497. Let a = -827 - r. Is b <= a?
False
Suppose 27*g = 29*g + 5*k + 17, 2*g = 2*k - 38. Let u = 17 + g. Which is smaller: -1/615 or u?
-1/615
Let z be (-13490)/(-1125) - (27 + -15). Is 3 greater than z?
True
Suppose 5*a + 270 = 5*o - 20, 2*o + 3*a - 101 = 0. Let j = o - 54. Let p be -3 + j - (-3 - 1). Which is bigger: 10/9 or p?
p
Suppose -3*h - 431 = -428. Let s be 30 - (h*(4 + -6) - -1). Which is greater: 26 or s?
s
Let q be 157/2 - 1/(-2). Suppose -5*t - 4*m + 382 = 0, 306 = 4*t + 6*m - 3*m. Is t >= q?
False
Let f be 0 + 4 + 0 - 16 - 0. Let q be (57*(13 + f))/(-1*1). Which is greater: q or -52?
-52
Let o(w) be the third derivative of w**4/6 + 52*w**3/3 + 90*w**2 - 2. Let r be o(-42). Is r >= 0?
False
Suppose -6 + 16 = m. Let q(b) = -2*b + 50. Let g be q(26). Let y(f) = -f**2 - 12*f - 15. Let p be y(g). Which is smaller: p or m?
p
Suppose 0 = -k - 3*k. Let u = 5056 + -369092/73. Which is greater: k or u?
k
Let n(b) = -b**3 + 15*b**2 - 15*b + 14. Let y(x) = 1. Let i(u) = 9*u - 1. Let k(z) = -i(z) - 5*y(z). Let m be k(-2). Let j be n(m). Which is bigger: 3/7 or j?
3/7
Let d = -155/9 - -4343/252. Let o = d - -965/84. Which is smaller: 12 or o?
o
Let q = 10942 + -10943. Which is greater: q or 1/2609?
1/2609
Let i = -1799 + 1786. Let d(l) = -l**3 - 4*l + 12 + 0*l**3 - 14*l**2 - 8*l. Let o be d(i). Which is smaller: o or -1/10?
o
Let x be (-312)/(-91) + -3 - (0 - (-17436)/308). Which is smaller: x or -55?
x
Let a(h) = 4*h + 2. Let n be a(2). Suppose -z + 4 = -15*b + 17*b, -3*b - 3*z = -6. Suppose -n = -2*x, -b*c - 3*x + 11 = 2*c. Is 1 less than or equal to c?
False
Suppose 0 = 15*c + 2 - 17. Let k be (c/(-3))/((0 - 4) + -58). Is k >= 1?
False
Let o = 4685 - 4685. Do o and 2/10659 have the same value?
False
Let k be (4 - (0 + 377)) + -5 + 3. Let a be (4 + 1510/k)/(20/(-25)). Let x(u) = u**3 + u**2 - 4*u - 3. Let d be x(-2). Does d = a?
False
Let z = 18.904 + -18.804. Is z at least 2/15385?
True
Let v = -1341466/57 - -23532. Which is smaller: 2/7 or v?
v
Let b = -135.9 - -135.7. Are -14/13 and b equal?
False
Let a(l) be the third derivative of -5*l**4/24 + 31*l**3/6 + 63*l**2. Let v be a(6). Are -1/435 and v nonequal?
True
Suppose 4*f + w - 3 - 2 = 0, 0 = 3*f + 2*w. Suppose 120 = 4*j + f*l - 110, 255 = 5*j - 4*l. Is 55 at least j?
True
Let a(x) = -x + 1. Let t = 19 - 22. Let n be a(t). Suppose 5*m - 5*s = -138 + 48, -2*s + 62 = -n*m. Which is smaller: m or -53/4?