5*x + 1. Let o be y(1). Which is smaller: o or f?
o
Let s be 3 + -2*(4 + -3). Let l be (0 + -1 + s)/(-4 - -1). Let k = -0.83 - -10.83. Which is smaller: k or l?
l
Suppose -3*a = -5*o, 3*o = -7*a + 10*a. Let x = -8 + 4. Let d be 39/75 + x/10. Do d and a have different values?
True
Let a be (13/858)/((-35)/(-294)). Is 3/5 >= a?
True
Let y = 127 + -126.9. Let i = 467 - 444.9. Let x = i + -0.1. Is y <= x?
True
Let v = 4591 - 4591. Which is greater: 2/17421 or v?
2/17421
Let l = -1528650/11 - -139152. Which is smaller: 185 or l?
l
Let t be (-198)/36*2 - (-1399239)/127203. Which is smaller: 0 or t?
0
Let m(p) = p**3 - 12*p**2 + 10*p + 20. Let l be m(4). Which is smaller: l or -18?
l
Suppose -1 = -4*l + p, l - 6 = 5*p - 1. Do -4397 and l have the same value?
False
Suppose 77*p + 19 = 96*p. Suppose 4*o - o + 6 = 0. Let m be 2 - (166/40 + o). Is p greater than or equal to m?
True
Suppose 0 = u - 5*v + 41, 113*u - 111*u + 3*v - 9 = 0. Do u and -96 have different values?
True
Let d(j) = j**3 + 9*j**2 + 9*j + 3. Let y be d(-9). Let a be 2/(y/(-93)) - 1. Suppose -5*s = -2*o + 12, -3*o - s + 0 = -1. Which is greater: o or a?
a
Let b = 16 - -6. Let w = b - 22. Let g be (8/(-7))/((-13)/((-728)/(-48))). Which is smaller: w or g?
w
Let w be -2*(3913/(-86) + 47). Suppose 5*r = 4*t - 19, 6*r - 2*t = 3*r - 13. Let f be r + 0*1/3. Is w smaller than f?
False
Let b = -7 + 17. Let k be ((-48)/b)/((-12)/(-40)). Let m be (k/(-14))/(4/14). Is m < 1?
False
Let c = 28 - 19. Suppose 28*u = 32*u - 11 - 21. Does c = u?
False
Let o = 544 - 544. Suppose 3*f - 6*f = o. Is -1/10 at least as big as f?
False
Let i be (-61942)/(-24) - -10*27/3240. Is i less than 2583?
True
Let s(y) = 14*y - 47. Let k be s(4). Suppose k*i = 41 - 176. Which is greater: -31/2 or i?
i
Let b be 85*(-5 + (-90)/50). Let m = b - -581. Let n be ((-1)/3)/((-28)/180). Are m and n nonequal?
True
Let b = 3445 - 3444.815. Which is bigger: b or -1?
b
Let p = 1501443/10136 + -1185/8. Which is smaller: p or 0?
0
Let h = 643 + -1268. Let u = -664 - h. Suppose -53 = 5*t + 132. Which is smaller: u or t?
u
Let m be (-2)/1*(-60)/(-40). Let q(r) = r**2 + 7*r + 12. Let v be q(m). Let b(h) = 7*h**2 + h - 6. Let s be b(3). Which is bigger: s or v?
s
Suppose -146540 = 44*v + 10848. Which is bigger: -3578 or v?
v
Suppose -143*o = -1367 - 1350. Is o bigger than 499/27?
True
Let r = -27/8005 + 568517/48030. Let f = 12 + -1. Which is bigger: r or f?
r
Suppose 0 = -2*s + 5*k + 34, 5*s + 3*k - 7 = 16. Suppose -12*r - s = -19. Is r bigger than 4/137?
True
Suppose 864*f = 846*f - 18. Which is greater: f or 59?
59
Let v = 3.3 + -0.9. Let q = 0.8 + v. Let u = q + -3. Which is smaller: u or -1?
-1
Let d = 146 + -104. Let u = d + -43.9. Let f = u + -6.1. Which is bigger: f or 1?
1
Let b = 3526 - 11056. Are -7529 and b non-equal?
True
Suppose 5*o - 25 = -5*f, 26 - 11 = -5*o. Let a(c) = -c - 11*c**2 + 10*c**2 + 53 - 45 + 8*c. Let d be a(f). Which is smaller: d or -2/49?
-2/49
Suppose i - 22 = -5*y + 3, 15 = -3*i + 3*y. Let a = -1095923/295 + 3715. Which is smaller: i or a?
i
Let j be (-22)/(-55) + (-93)/(-5). Let v be (j/(-209))/(-1 - 16/(-15)). Let p be ((-2)/(-5))/((-2)/10). Which is smaller: p or v?
p
Let z = 9494 - 9494.164. Is z at most -3/32?
True
Let b = -4774/648135 - 1/24005. Let t = -2 + 2. Which is greater: t or b?
t
Suppose 1870*u - 2560 = 1860*u. Which is smaller: u or 257?
u
Suppose 0 = -3*i - 3*f + 453, -9*i + 13*i = -2*f + 600. Let g = i - 136. Which is smaller: g or 17?
g
Let c(j) = j**3 - 144*j**2 + 417*j + 768. Let y be c(141). Do -1026/13 and y have different values?
True
Suppose -2*l - 8 = -22*v + 19*v, 0 = 4*v + 3*l - 56. Let b be (16/(-20))/(4/(-30)). Are b and v non-equal?
True
Let s = 142 + -134. Suppose s*v = v - 7. Is 2/147 at most v?
False
Let h = 449 + -449.3. Let b = -100.989 + 101. Is h greater than b?
False
Let h = -317.9 - -320.6. Which is smaller: 0 or h?
0
Let n(k) = 41*k**3 + 411*k**2 - k - 67. Let v be n(-10). Is -218 greater than v?
False
Let z = 1600.7613 + 0.2387. Is z greater than -1/4?
True
Suppose 3*d = f + 2692, -4*d + 0*d = -3*f - 3596. Let u = 57343/64 - d. Suppose -t - 8 = -7. Is t smaller than u?
True
Let m = -14 - 16. Let f be (m/20)/(6/32) - 1. Which is bigger: 1 or f?
1
Let l = 40 + -193. Let o = l + 180. Is -0.4 < o?
True
Let g = -183 - -195. Suppose -2*d + 4 = l + g, 4*d = -12. Do -2.4 and l have the same value?
False
Suppose -55*h = -47*h + 544. Let n = -141/2 - h. Which is bigger: 2.2 or n?
2.2
Let l = -8.032 - -0.032. Let b = 6 - l. Let h = -500/7 + 71. Which is smaller: h or b?
h
Let q = -304 - -330. Let i = 112 - q. Is i <= 88?
True
Let p = -62750 + 562444/9. Let l = 257 + p. Is l < 1?
True
Let a be ((-2)/18)/(12/108). Is 22 at least as big as a?
True
Let s be 298/596 + (-291)/6 + -2. Which is smaller: 38 or s?
s
Suppose -7*z + 400 = -2*z. Suppose 21*o + z - 1319 = 0. Which is smaller: 0.1 or o?
0.1
Let l = 17.015 - 17. Let n = 97.015 - l. Let q = n - 96.87. Is q smaller than -0.1?
False
Let r(m) = 428*m**2 - 21*m - 133. Let q be r(-5). Let o be q/32*4/4. Which is bigger: o or 333?
o
Let u = -361573789/1395548 + -1/126868. Let x = -259 - u. Which is smaller: x or 0?
0
Suppose -o - 10 = o, 260 = 4*c - 4*o. Let j = 10 - c. Let l = j - -57. Which is greater: l or 12?
12
Let y = 12 - 103. Let a = y - -148. Let x(d) = -26*d + 654. Let c be x(23). Which is smaller: a or c?
c
Let k be 5*36/60 + -307. Suppose 0 = 5*a - c + 1517, a + 292 = c + 3*c. Is k not equal to a?
False
Let n be ((-210)/(-8))/(186/16). Is 1 at least n?
False
Let r(m) be the third derivative of -m**6/120 + 7*m**5/30 - m**4/24 - 19*m**3/6 + m**2. Let y = -1379 - -1393. Let k be r(y). Which is greater: k or -34?
k
Let z be (-1 - -6) + -2 + (-65460)/(-18) + -3. Is z != 3636?
True
Let x(v) = v - 4. Let m be x(4). Let q(j) = -j - 18. Let u be q(-17). Let r be (u*(-3)/2)/(-3). Which is bigger: m or r?
m
Let v(b) = -2*b + 62. Let s be v(30). Suppose s*q - 3*n - 42 = 0, n = -2*n - 6. Let p be 4/q + 1060/(-396). Which is smaller: -3 or p?
-3
Let t(v) = v**2 - 7*v + 4. Let k be t(6). Suppose 29*i - 24*i = w + 25, 25 = -5*w. Let q be 108/(-81)*(-57)/i. Which is smaller: k or q?
k
Let w = 114.49 - 1.49. Let h = 194 - w. Let x = -81.1 + h. Which is greater: x or 61?
61
Let u be 21/(-15) + (-288275)/(-1625). Let r = 0.7 + 0.3. Which is greater: r or u?
u
Let o be 7 + -4 + -3 - 2. Let f(k) = -5*k - 11. Let u(d) = -d - 2. Let y(z) = 2*f(z) - 11*u(z). Let r be y(1). Is o greater than or equal to r?
False
Let g = -0.0649 - 4.4251. Let y = -4.5 - g. Let n = 87 - 91. Does n = y?
False
Let o = -15 - 6. Let k = -73 - o. Suppose 1914*h = 1913*h + u - 36, -2*h - 5*u = 184. Is h not equal to k?
False
Let o = -37 - -40. Suppose z + 3*i = 3, o*z - 4*i = -2*i + 9. Suppose 2*y + 3*a + 15 = 6, -z*y - 3*a - 6 = 0. Is 3 > y?
False
Let i be (38/323 - 200/(-34))*-354. Is -2123 >= i?
True
Let p be ((-1)/21)/((-3)/9873). Let g = p + -157. Let z = 2.632 + -0.232. Is g equal to z?
False
Suppose 4*h - 2*t - 16 = 2*t, -3*h - 4*t = -40. Let l(b) = b**3 - 9*b**2 + 6*b + 18. Let x be l(h). Let g be (273/(-260))/(x/(-5)). Which is smaller: g or 4?
g
Let a = -0.63 - -0.6. Let t = -0.0013 + -1.9687. Let f = a + t. Which is smaller: -10 or f?
-10
Let s be (-6)/(-4)*(-32)/(-24). Suppose 5*a = -s*i - 2*i - 25, -a = 4*i + 21. Let r = 9959/14 + -711. Which is smaller: a or r?
a
Suppose 0*k - 20 = -5*k. Suppose k*o + 7 + 5 = 0. Let p = o + 2. Is 16 smaller than p?
False
Let d = 175.83 - 8.71. Let k = d - 167. Does 2 = k?
False
Let l(f) = -f**3 + 7*f**2 + 62*f - 24. Let k be l(12). Which is greater: 2/17545 or k?
2/17545
Let z = -316 - -313.605. Let l = -0.295 - z. Which is greater: -0.5 or l?
l
Let o(p) = p + 6. Let s be o(-5). Let a = 4643069/2586831 - 1/66329. Which is greater: a or s?
a
Let d = -416.4 - -416.1. Is 103 less than or equal to d?
False
Let g = 2/1753 + 212033/70120. Is 2 not equal to g?
True
Let v = 1117 - 2796. Which is smaller: v or -1680?
-1680
Suppose 53*g - 6*g + 477000 = -53*g. Is g <= -4771?
False
Suppose 128*n - 125*n - 147 = 0. Suppose 24 = -c + 2*p, 2*p + n = -c + 21. Which is bigger: c or -27?
c
Let l = 3661 + -3677. Which is greater: l or -408/25?
l
Let w be 2*7 - 11891/1012. Suppose -5 + 18 = p. Suppose 2*u + v = 5*u - p, -2*u = v - 2. Wh