ller: 8 or i?
i
Let i(n) = -3*n + 62. Let d be i(20). Which is bigger: -2/79 or d?
d
Suppose 0 = -4*s + 3*x - 12, -5*s + x = -4*x + 10. Let r(y) = -5*y + 1. Let h(f) = 4*f - 1. Let i(c) = 4*h(c) + 3*r(c). Let g be i(-6). Is s smaller than g?
False
Suppose 2*l - 4*t = 70, -2*l + 34 + 32 = -2*t. Is l > 34?
False
Suppose 0 = -0*r - r + 2. Suppose 0 = 5*g + 10 - 0, -3*n - 125 = -5*g. Let x be 50/n*(-3)/5. Which is smaller: r or x?
x
Let c = 0.0803 + -4.0803. Let u = 3.8 + -8. Let r = c - u. Is -3 > r?
False
Let b(j) = 3*j - 5. Let n(v) = -v**2 + 6*v - 3. Let r be n(3). Let p be b(r). Suppose 0 = -p*s + 18*s. Is 2 bigger than s?
True
Let t = 1165 + -73391/63. Is t less than or equal to -1?
False
Let r be (11 - (-7227)/(-649))*(-2)/40. Is r > 1?
False
Suppose -5 = 3*v - 4*n, 3*n = -2*v + 8*n - 8. Which is greater: v or 4.23?
4.23
Let g = 490.9 + -491. Which is smaller: -94 or g?
-94
Suppose -46*t + 45*t + 87 = 0. Let l = -347/4 + t. Let j be 2 + (-10)/22 + -1. Is l not equal to j?
True
Let z = 0.87323 - 48.86223. Let j = z - -48. Which is smaller: j or 1?
j
Let t = 3755582/7 + -52518041601/97888. Let o = 8/437 - t. Let u = o - -121/160. Is u != 1?
True
Let l = 2724 + -2724.11. Are 1/90 and l non-equal?
True
Let m be (6 - (-92)/5) + (-2)/5. Let s = m - 33. Which is smaller: -10 or s?
-10
Let b(p) be the third derivative of 5*p**4/8 - p**3/6 + 2*p**2 + 36. Suppose -4*r + 8*r + 20 = -4*f, 3*r + 14 = -2*f. Let o be b(f). Are -15 and o equal?
False
Let s = -21.08 + 0.08. Is s > -0.26?
False
Suppose -2*c - 2*r = -14, 2*c - 45 = -c + 5*r. Suppose 3 = k + 2. Is c >= k?
True
Let c = -15/32 + 201/224. Let m(r) = 2*r**2 - 8*r + 10. Let i be m(4). Let z(h) = h**2 - 9*h - 11. Let b be z(i). Which is smaller: b or c?
b
Let o(w) = 8*w**3 + 7*w**2 + 21*w + 3. Let f(d) = -3*d**3 - 2*d**2 - 7*d - 1. Let r(u) = -11*f(u) - 4*o(u). Let k be r(7). Let m = k + -1. Is m >= -3?
True
Suppose -3*r = -3*m + 18, 2*m - 7*r + 4*r = 13. Is 63/10 < m?
False
Let h = -23 - -6. Let l = -43 - -46. Suppose -63 = 4*c + l*q, -4*c + 2*q = 14 + 64. Is h at least c?
True
Let k = 848 - 12721/15. Is k less than -2/41?
True
Suppose 5*j = w + 72 + 29, 0 = -j + w + 21. Suppose 5*x - x + j = 0. Let o be x/(-5)*10/(-2). Is o > -3?
False
Let j(n) = -n**2 + 7*n + 17. Let i be j(9). Let t be (-194)/35 - 6/(-15). Let y = t + 187/35. Which is smaller: i or y?
i
Let t be ((-30)/45)/(8/3). Which is smaller: t or 84.8?
t
Let c be 30/4*(3 + 5 + -14). Let g = 43 + c. Which is bigger: g or -3/5?
-3/5
Let r = -51.4 - -58. Let s = 6.7 - r. Is s smaller than -1?
False
Suppose -4*s - 7 - 1 = -4*d, 0 = 3*s + d + 10. Suppose 0 = b + 2 + 2. Which is smaller: s or b?
b
Let j be (2304/(-240))/(6/(-140)). Do j and 223 have the same value?
False
Let c be 1 + 0 + (-5)/(4270/889). Are 0 and c unequal?
True
Let d(h) = h + 6. Let b be d(-5). Let j = b + -2. Let g be 0/((-16)/(-4)) - -21. Which is smaller: j or g?
j
Let j = -2/5863 - -64523/87945. Which is smaller: j or 0?
0
Let v = 37.16748 - -0.06252. Let i = 1.23 - v. Which is greater: -2 or i?
-2
Let h(r) = -7*r + 18. Let x be h(3). Let g(i) = 3*i + i**2 - 11 + 5*i + 0*i. Let v be g(-9). Which is greater: x or v?
v
Let j(q) = -2 - 2*q + 12*q - 24*q. Let m be j(-1). Are 10 and m unequal?
True
Let t = 3.4 + 7.6. Let c = -0.13 + 0.15. Let x = 0.08 + c. Is x >= t?
False
Let m = -0.0253 - -0.0053. Is 3/26 <= m?
False
Let i = 25/776 - -9095/48888. Let d = -3/28 + i. Is -1 <= d?
True
Let d(u) = -4*u - 28. Let p(k) = 2*k + 23. Let b be p(-15). Let x be d(b). Which is greater: x or 3/7?
3/7
Let v = -278.9 + 279. Do v and -3/214 have the same value?
False
Let d(z) = 2*z**3 + 32*z**2 + z + 13. Let h be d(-16). Which is greater: h or -54/13?
h
Let u(p) = 3*p**2 - 2*p - 2. Let t be u(1). Is 2/11 less than or equal to t?
False
Let t(m) be the third derivative of m**4/24 - m**3/6 - 2*m**2. Let s be t(5). Let f be ((-4)/16)/(1/(-4) - 0). Which is greater: s or f?
s
Let t be -1*(-1)/4 + 0. Let l be ((-3)/3)/(-1) - 0. Let p be (5 - l - 9) + 5. Which is bigger: p or t?
t
Let b = -422/7 + 3800/63. Let x = 0.99 + 0.01. Which is greater: x or b?
x
Suppose -5*s + 10 = -10. Suppose 4*j = 20, x + 4*j - s + 12 = 0. Let p = x + 25. Is -4 at least p?
False
Let f = -495 - -1368. Which is bigger: 874 or f?
874
Let d = -9.8 - -7.8. Is -60 < d?
True
Let r be ((-1173)/(-115) - 10) + 3/(-5). Which is smaller: -737 or r?
-737
Let s = -8/101 - -290/1111. Which is greater: s or -0.2?
s
Let s = -22.36 + -4.54. Let x = -27 - s. Do x and -0.09 have different values?
True
Let f = -403 + 211. Let d be (-2968)/f - (-3)/(-24). Do 14 and d have different values?
True
Let i be (3/(-2))/(39/(-12)). Suppose 2*r = -5*m - 2*r + 7, 2*r = m + 7. Does i = m?
False
Let q = 249.3 - 241.7. Which is smaller: -2 or q?
-2
Suppose -9*z + 2*z = 49. Let y = 13.18 - 13. Let k = 0.02 + y. Is z at most k?
True
Let j = 0.3163 + -0.1163. Is 0.316 at least as big as j?
True
Let v be 4*((-159)/(-18) - 9). Which is smaller: -51 or v?
-51
Let h be 64 + -68 + (-68)/(-18). Is -5/3 at least h?
False
Let t = 24 + -19. Suppose -3*j - 2*j = -t. Which is smaller: -4/25 or j?
-4/25
Let z = 13287/19 + -699. Let y be 0*4/(-8)*1. Which is greater: z or y?
z
Let q be 40/(-24) - 2/(-3). Let c(w) = 33*w - 3. Let n be c(q). Do -35 and n have the same value?
False
Let d = -7.33 - -1.23. Let a = d + 6. Let k = 6.1 - 6. Is a < k?
True
Let v be 2 + -1 - 2*910/1900. Let k = v - 1623/190. Which is smaller: -10 or k?
-10
Let p be ((-11)/33)/(1/(-6)). Which is bigger: p or 24/25?
p
Let x = 27/4 - 15/2. Which is bigger: x or -12?
x
Let b = -4 + 2. Let u = b - -7/5. Suppose -18*k = 4*k. Which is greater: k or u?
k
Suppose 2*m = 1 + 7. Suppose -4*w - 5*z = -0*w + 9, -2*w = -m*z - 2. Which is bigger: 0 or w?
0
Let m = -28322/73 + 388. Which is smaller: 1 or m?
m
Let q be 0/(-2) + (1 - 7). Let y(n) = 3*n - 12. Let g(d) = 3*d - 13. Let b(i) = 3*g(i) - 4*y(i). Let l be b(5). Is l greater than q?
False
Let g = -67610 + 609092/9. Let o = -67 + g. Suppose 2*h + 20 = -3*h - 3*m, 2*h - 4*m = 18. Which is smaller: h or o?
h
Suppose 0 = -3*v - u + 19, -2*v - 9 = -3*v + u. Let j = v + -5. Suppose 3*z = -3, j*m + 2*z - 5 = 3*z. Does 3/2 = m?
False
Let p = -75 + 75.1. Are p and 163 unequal?
True
Let s(d) = -d**3 + d + 3. Let l be s(0). Suppose -2*k = 5*x - 6*k + l, -6 = -3*k. Which is bigger: x or 1/6?
x
Let r = -1.1 + 1.2. Let o = -13 - -23. Let n be o/21 - 1/3. Is n <= r?
False
Let d be (0 - 2/15)/((-4)/1728). Are d and 58 nonequal?
True
Let n = -4 + 3. Suppose -45 = 34*b - 37*b. Suppose 15*g - 10*g = -b. Which is smaller: g or n?
g
Let b = 0.094 + -0.132. Let n = -0.038 - b. Which is smaller: n or -19?
-19
Suppose -20 = b - 0*b. Let u = b + 20. Is -3/20 equal to u?
False
Let t(s) = 4*s**3 - 4*s**2 + 6*s - 44. Let m(u) = -u**3 + u**2 - u. Let i(x) = -3*m(x) - t(x). Let c be i(0). Which is smaller: c or 45?
c
Let t(o) = o**3 - 3*o**2 + o. Let n be t(3). Let w be (-2)/n*3/(-6). Let y = -6.3 - -6. Which is greater: y or w?
w
Let k = 57 + -1831. Let o = -60321/34 - k. Do o and 1 have different values?
True
Let u = -30.5 + 32. Let p = -7.5 + u. Which is smaller: p or 1?
p
Let o = 10503979/69655 - 1/13931. Which is bigger: o or 151?
151
Let v = -3358 - -3345. Let s(f) = -f - 6. Let c be s(-5). Let p be ((-34)/6 - c)*3. Is v equal to p?
False
Let r = 383968/2287915 - -2/17465. Let m = 3232/17685 - r. Which is bigger: m or 1?
1
Let q = -118 - -118. Let l = 0.36 - 0.06. Let u = l - 0.3. Do q and u have different values?
False
Let a = 282 + -1129/4. Is a > 0.058?
False
Let s = -6514/655 - -3101171/123795. Let g = 106/7 - s. Suppose 0 = 5*k - k + 4. Which is bigger: k or g?
g
Suppose -4*i - z + 197 = -2*z, z = -2*i + 91. Is i at most as big as 43?
False
Let a(u) = -u**2 - 28*u - 8. Let f be a(-7). Let m = -138 + f. Which is bigger: 2/5 or m?
m
Let s = -27.043 + 25. Let x = s + 0.043. Let d = 0.1 + -0.2. Are d and x unequal?
True
Let a = 1.793 - 1.63. Let h = -0.063 + a. Is h at most -0.15?
False
Let j be 82/(-264) - 3/(-12). Let x = -4.6 + 18.6. Let a = 14 - x. Which is bigger: j or a?
a
Suppose -5 = -36*l + 39*l + 4. Let r be (6/16)/3 + -2. Which is smaller: r or l?
l
Let i = 127 - 94. Suppose 4*c = -5*x + 55, -3*x + c + 3*c + i = 0. Is x less than 21/2?
False
Suppose 17*h - 41 = 10