ppose s*d - 4*u = 2*d - 18, -u + 3 = t. Which is smaller: d or -5/6?
d
Suppose 0*p + 3*p = 15. Suppose -m = -0*b - 2*b + 8, 20 = p*b. Suppose -10 = y + 2*l, -15 = 3*l - m*l. Is y at least as big as -2/7?
True
Let p = -568.816 - -569. Is p less than -1?
False
Suppose 5*t + 0 = 5. Let a be (-5)/3 - (12 - (-87)/(-9)). Is a bigger than t?
False
Let x = 788 - 791. Which is greater: 12.3 or x?
12.3
Let c = -0.41 + -0.28. Let n = -6.31 + c. Let w = -0.1 + 0. Is w equal to n?
False
Let y(i) = -90*i**3 - i**2 - 3*i - 6. Let l(t) = t**3 - t - 1. Let p(c) = -5*l(c) + y(c). Let n be p(1). Let u be ((-5)/n)/(-4 - -3). Which is greater: -1 or u?
u
Suppose -4*m + 464 = 2*o - 266, 3*o - 1097 = -4*m. Let d = o - 1112/3. Which is smaller: -4 or d?
-4
Let f = -7.7 - -14.4. Let m = f - 16.6. Let r = m + 10. Is r < -8?
False
Let l = -2939.0317 - -2939. Is 1/4 greater than l?
True
Let a = 11 + -6. Suppose 5*s - 2*b + 19 = -0*s, -s = a*b - 7. Is s at most -4?
False
Let u be (130/20 - 7)*2. Which is smaller: 3/158 or u?
u
Let x = -58 - -95. Suppose x*y = 41*y. Is -3/29 at least as big as y?
False
Let t be 6/(-36) - (-25)/6. Suppose -g = -t*y + g - 52, y + 27 = 4*g. Are y and -12 equal?
False
Let p = -1.19 + 60.19. Let q = p + -55.3. Let f = -1.3 - q. Is 4 greater than f?
True
Let t = 1270 - 104143/82. Which is smaller: -1 or t?
-1
Let q be (-32)/(-6) + 280/(-70). Suppose -3*h + 2*h + 3 = 0. Suppose -2*g = -h*g + 2. Is q at least as big as g?
False
Let o = 10 + -6. Suppose -4*z + o*v = -0*v + 4, -3*z = 5*v - 21. Suppose -c = 4*k + 2*c + 7, 5*k + z*c = 0. Which is smaller: k or 1?
1
Let r be 4/(-3)*(-63)/7. Let g = 12 - r. Is 2 equal to g?
False
Suppose 16*l - 125 = 21*l. Let b = 21 + l. Let r be ((-2)/b)/((-15)/(-90)). Is r at most 3?
True
Let w(o) = 6*o - 8. Let t be w(-6). Suppose -n - n - 24 = 0. Let k be t/14 + (-10 - n). Which is smaller: 0 or k?
k
Let v be 1106/42 - (-3 - -5)*1. Which is greater: -1 or v?
v
Suppose 2*v = 2*b + 3*b - 8, 0 = -v - 4. Which is smaller: b or -22/15?
-22/15
Let a = -19740/17 - -1160. Is a at least -1?
False
Let h(u) = -u**3 + u**2 + u. Let i(z) = -z**2 + 5*z + 1. Let s be i(5). Suppose s = -3*v + 7. Let l be h(v). Are -4 and l nonequal?
True
Let u = 26.263 - 0.263. Which is smaller: -2/5 or u?
-2/5
Let p = -514.726 - 2.274. Which is bigger: -0.1 or p?
-0.1
Let j be 345/(-4) + 72/288. Is j at most -81?
True
Suppose -l = -3*s + 4*s + 10, -2*l = -3*s - 10. Let n be (-44)/112*4/s. Let d = -3/7 + n. Is 2 bigger than d?
True
Let h = 3096 - 133122/43. Is 1 <= h?
False
Let w be ((-2)/4)/(34/4). Let d(v) = 2*v**3 + 49*v**2 + 299*v - 13. Let u be d(-12). Which is greater: w or u?
w
Suppose -17*n - 87 = 2*f - 16*n, 0 = 5*n + 25. Is -2/3 <= f?
False
Let y = 28 - 30. Let u be 4/10 - (-45)/(-550). Let f = u - -2/11. Does y = f?
False
Let m = -259/11 + 3246/143. Which is smaller: 0 or m?
m
Let y be (0 + 0/3)/(5 - 4). Which is bigger: -1/95 or y?
y
Let m = -6.9 + 6.75. Let t = -0.05 - m. Which is smaller: t or -2.3?
-2.3
Suppose 4*u - 3 = 5. Suppose -2*s = u*s + 68. Is -18 bigger than s?
False
Suppose 0*g + 3*g + 3 = 0. Let y = -3 + 1. Let l be (g + -3)/y - -2. Is 3 equal to l?
False
Suppose 3*w - 85 = -157. Which is bigger: 0.9 or w?
0.9
Let f be 19/(-18) + (-4)/(4/(-1)). Let y be (4 - (2 - 2)) + 15/(-3). Is y less than f?
True
Let j be -6 - (-144)/216*1797/(-2). Which is bigger: -606 or j?
j
Suppose 5 = 4*v + 1. Let u be (-150)/40 - (v - 5). Which is greater: u or 1/35?
u
Let s = -6 + 30. Is s at least as big as 26?
False
Let w = -53 - -48. Suppose -68*y = -69*y. Which is bigger: w or y?
y
Let n(b) = -b**3 - 4*b**2 - b + 3. Let y be n(-3). Let o = 1075 + -1078. Is o greater than or equal to y?
True
Let w be (25 - 26)*(0 + (-26)/10). Let j be (-1)/(-1 + 71/72). Let b be 32/18 + 16/j. Which is greater: b or w?
w
Let g = -118.6 - -120. Are g and -1 non-equal?
True
Suppose j - 5*y - 2 = 9, -4*j + 5*y = -74. Suppose -5*g - j = -2*i, -5*g = 4*i - g. Let m = i + 1. Which is greater: m or 1?
m
Let g = -137.03 + 137. Do 146 and g have the same value?
False
Suppose 2 - 4 = -2*d, -5*o - 4*d = -34. Suppose o*b - 4*b - 60 = 0. Let h be (12/126)/(4/b). Which is greater: 2 or h?
2
Let w be (-2)/(-8)*-6*(-20)/6. Are w and 0.03 unequal?
True
Let z be (9 - (1 + 1))/1. Let s be -3 - (-4)/3*(-7 + 19). Let i = 18 - s. Which is bigger: i or z?
z
Let r = 1 - -8. Let c be 1/((-12)/r + 1). Let q be ((-1)/10)/(c/(-12)). Does 2 = q?
False
Let u(w) = 3*w + 7. Let x = -18 + 15. Let d be (-5 - -4) + -1 + x. Let l be u(d). Which is greater: l or -26/3?
l
Let j = -29.9 - -23. Let h = -7 - j. Is 27 != h?
True
Let t = 23.39 - 26.5. Let d = 11.99 - t. Let q = 15 - d. Is q smaller than -5?
False
Let v = 50/13 + -211/65. Which is bigger: 2/3 or v?
2/3
Let z(p) = -3*p + 1. Let a be z(2). Let u be (14/12)/(a/15). Let g = u + 43/14. Which is smaller: g or 0?
g
Let j(w) = -w**3 - 7*w**2 + w + 6. Suppose -5*x - 11 - 24 = 0. Let l be j(x). Is 1/36 at least l?
True
Suppose 43*x - 2760 = 45*x. Which is bigger: x or -1381?
x
Suppose 5*n + 2*r + 2*r = 21, -r = 5*n - 9. Let m be 4*6/4 - (-8100)/(-1368). Is m at most as big as n?
True
Let r be (18/27)/((-3444)/54). Is 0 greater than r?
True
Let j = -267 + 2422/9. Is j < -1?
False
Let z = -75.3 + 66.9. Which is bigger: z or 2?
2
Let b be -274 + (-8 - -10) + -1 + 5. Is -269 less than or equal to b?
True
Let b = -25/69 + 16/23. Which is greater: 17 or b?
17
Let q be 133/42 - 1/6. Suppose 33 = 4*t - q*l, -t - l = -3*l - 7. Let b = -17 + t. Is b at least -9?
True
Let d be (44/12 + -3)*-3. Let m be -18*(-4)/(d - -14). Let a be m*-4*(-1)/136. Is 1 equal to a?
False
Let o be 10*14/8*2 - -1. Let v be ((-5)/o)/(16/256). Which is smaller: -1 or v?
v
Let a(x) = 9*x**2 - 2*x + 2. Suppose -3*h = 2*y + 13, -5*y + 11 + 14 = -4*h. Let q be a(y). Is 10 bigger than q?
True
Let n = -950 - -950. Which is smaller: n or -6/109?
-6/109
Let z = -98 + 50. Let n = z + 48.87. Let g = n + 0.13. Is g <= 7/2?
True
Let w = 0.223 + -0.09. Let h = -0.083 + w. Which is smaller: h or -1?
-1
Let u(k) = k**3 + 6*k**2 - 2*k - 9. Let n be u(-6). Suppose -3 - 9 = n*v. Let c be 1*(-5 + 3 + -1). Which is bigger: c or v?
c
Let y = -78.88 + 82. Let q = 0.16 + -0.04. Let k = q - y. Is 0 smaller than k?
False
Let c(s) be the first derivative of -3/4*s**4 - 7 + 0*s**2 - 1/3*s**3 + s. Let q be c(-1). Which is smaller: q or 0.1?
0.1
Let u = 1369/3 + -457. Do u and -2/3 have the same value?
True
Let x = -10 - -16. Suppose x = -3*j - 36. Let u be (j/21)/((-2)/4). Is u at least as big as 1?
True
Let i be ((-4)/8)/(2*3/(-48)). Suppose -i*c = 3 - 15. Are -19 and c equal?
False
Let d(n) be the second derivative of -n**5/20 + 3*n**4/4 - n**3/3 + 13*n**2/2 - 4*n. Let b be d(9). Let m be 1 + 11/b - 2. Which is smaller: m or -4?
-4
Let g be (-4)/(-14) - 6/21. Suppose 1 = -g*b - b. Let o be (-6)/9 + 1 + 2/(-10). Do o and b have the same value?
False
Let s = -3/797186 - 41343660317/3985930. Let q = 10478 + s. Let v = q + -106. Are 0 and v equal?
False
Let w = -2 + 1. Let f = -32/35 + -4/5. Is f equal to w?
False
Let g = 0.37 - 15.37. Let l = g + 14.4. Let z = 0.4 - l. Which is greater: 0.6 or z?
z
Let x = -20 - -19.8. Let v = 705 + -643. Which is smaller: x or v?
x
Let m = 546.1 + -202.1. Is m less than or equal to -1/2?
False
Suppose -6*j - j = 154. Let w(t) = t**2 - 14*t + 1. Suppose 0 = -5*y + 5*r + 40, -2*r + 4 = -r. Let c be w(y). Is j not equal to c?
True
Suppose 4*m = 4*b - 5*b + 3, -3*m - 12 = -4*b. Suppose m = 3*v + 3*o, -v - o = -2*o. Which is smaller: v or -1?
-1
Let a(o) = -o - 15. Let b be a(-13). Let v be (-68)/(-16) + 0 + b. Let u be 2/1*1 - 1. Which is smaller: v or u?
u
Let q = 9 - 5. Suppose 5*u + 3 + 2 = 0, -5*j - 14 = q*u. Let d = j + 8. Which is greater: -1 or d?
d
Let b(y) = 4*y - 4. Let n be b(2). Suppose 0 = n*p + p - 455. Let z be (-2 + 0)*(-13)/p. Which is bigger: z or 5?
5
Let g(b) = -5*b**3 - 2*b**2 + 1. Let q be g(-1). Suppose -4*i + 3*w = -11, -q*w = -w - 9. Suppose -3*l + 8*l - 35 = 0. Are l and i equal?
False
Suppose -3*p - 5*l = 18, 2*l = 4*p - 2*l - 8. Let g(r) = -r**2 + 13*r - 7. Let j be g(5). Let x = j - 101/3. Is x greater than p?
True
Let v be (((-20)/468)/5)/((-4)/(-2)). Let c = v - -4691/2574. Is 2 > c?
True
Let s = -3.3 + 3.2. Let l = 0.167 - -0.483. Is s great