 or 5?
5
Let k be (-2)/8*-12*1. Let b be (9 + -5)*k/(-4). Let x = 5 + -8. Do x and b have the same value?
True
Suppose 0 = -5*g + 3*g. Which is smaller: g or 1/16?
g
Suppose 1 = -0*d - d. Let f be 23*3/75 + -1. Is f >= d?
True
Suppose 17*t = 20*t + 48. Suppose 0*k = -2*k - 32. Is k > t?
False
Let y = -125/3 - -41. Is y > -11?
True
Let h = 5 + -2. Let l be (-50)/90 - 4/(-18). Which is smaller: h or l?
l
Let p(a) = a**2 + 8*a. Let s be p(-8). Suppose 3*z = -2*z + 20. Suppose z*k - 18 + 2 = s. Is 3 at most as big as k?
True
Let r(j) = -1. Let d(t) = -t + 2. Let w(z) = -d(z) - 3*r(z). Let l be w(-2). Let o = 2 - 2.1. Is l smaller than o?
True
Suppose -f - 4*j = 17, j + 39 = -2*f - 2*j. Let c = -65/3 - f. Which is bigger: -2 or c?
c
Let n = -10 - -8. Which is smaller: 15 or n?
n
Let a = 0.7 - 0.3. Let p = a + -19.4. Which is smaller: p or 1?
p
Suppose k - 105 + 98 = 0. Do 48/7 and k have different values?
True
Let u = -2.88 - 0.02. Let j = u - -3. Let l = -5 + 7. Which is greater: l or j?
l
Let y = 11 + -7. Which is smaller: 4/5 or y?
4/5
Let t(r) = r**3 + 6*r**2 + 8. Let s be t(-6). Let i(z) = z**2 - 9*z + 8. Let f be i(s). Is -1/5 at least f?
False
Let k = -1 - -2. Is k < -2/29?
False
Let x = 8 + -7.7. Let w = 1.2 + -0.5. Let m = w + x. Which is bigger: -2 or m?
m
Suppose -451 = -2*k - 2*k - x, -k + x + 119 = 0. Let v = k - 572/5. Which is bigger: v or -1?
v
Let o(h) = -h**3 + 14*h**2 - 12*h - 10. Let f be o(13). Let j be (-4)/10 + 44/10. Which is smaller: j or f?
f
Let g = 7 - 5. Which is smaller: 0.1 or g?
0.1
Let g = 253.97 + -252. Let t = -0.03 - g. Is t smaller than 2?
True
Let f = 16/13 - 22/39. Is f at least -1/6?
True
Let z = 48 + -143/3. Which is smaller: -3/13 or z?
-3/13
Let l(w) = w + 0*w - 4*w. Let u be l(-1). Let a be -1 - (-1 + u/12). Which is smaller: a or 0?
a
Suppose -4*y = 4*s - 20, y + 4*y - 2*s - 4 = 0. Let r be 4031/36 + (-2)/9. Let c = r + -111. Which is smaller: y or c?
c
Let j = 36 - 22. Let h = 14 - j. Which is smaller: -1/18 or h?
-1/18
Suppose -3*q - 3*z = 120, -2*q - 8*z + 3*z = 68. Which is greater: -43 or q?
-43
Let p = 45 - 77. Which is bigger: p or -33?
p
Let o = 2 - 2. Suppose 4*s + u + 17 = o, -4*s - 30 - 2 = 4*u. Is -4 > s?
False
Let v(i) = 4*i**3 + i**2 - i - 1. Let c be v(-1). Do c and 0 have the same value?
False
Suppose 2*d - w - 29 = 0, -3*w = w - 20. Let b = d + -15. Which is smaller: 1 or b?
1
Suppose 0 = -3*m + v + 35, -m - 3*v - 1 - 4 = 0. Is 15 at most as big as m?
False
Let d = 66 + -77. Is -11 at least as big as d?
True
Let b = -1 - -1. Let c = b + 3. Let m = -2 - -1. Which is smaller: m or c?
m
Suppose 0 = -7*a + 4*a + 18. Suppose -2*v - 4 - a = 0. Let l be ((-12)/40)/((-6)/v). Which is smaller: l or 0?
l
Suppose -4*s + 3 = 47. Does s = -9?
False
Suppose 1 = 2*h - h. Are -3 and h unequal?
True
Let f = 308563/9 - 34214. Let w = -71 + f. Let i be 8/36 + (-6)/27. Which is greater: i or w?
i
Let b = -12 + 12. Suppose 3*q - 5*t = -11, 11 = -q - 2*t - b*t. Let n = 9 - 16. Is n bigger than q?
False
Let u be 324/(-84) - (0 + 1). Which is smaller: u or -6?
-6
Let s = 1.11 + -0.21. Let t = -3.1 - s. Let q = -8 - t. Is -0.1 less than q?
False
Let t = -3/871 - -20925/6097. Let a = 65/21 - t. Suppose 3*c = 7*c. Is a less than or equal to c?
True
Let j = -2 + -1. Suppose -2*n + 22 = -5*h, 0 = -h - 0*h - 4. Is n less than or equal to j?
False
Let k = 5 + 1. Suppose h - k*h - 10 = 0. Do h and -1 have the same value?
False
Suppose 5*r = -13 - 12, 5*v - 3*r = 75. Are v and 12 nonequal?
False
Let w be 2/2 - (1 + -2). Suppose 0 = 2*q - w - 2. Let u be 5/q*(-4)/(-5). Is 3 at most as big as u?
False
Let x = -6 - -2. Let m be (-18)/(x/(-2 - 0)). Is m > -8?
False
Let w be (-2)/9 + 10/45. Which is bigger: -1/8 or w?
w
Let c(a) = 2*a - 8. Let x be c(6). Let h = 9 - 5. Let b be x/(-6)*(-18)/h. Which is smaller: b or 4?
b
Let d be (-2)/(-10) + 143/(-65). Is -0.1 < d?
False
Suppose 0 = -3*j + 2*y - 65, 4*j + 0*y - 3*y + 87 = 0. Let w be ((-1)/(-2))/(j/12). Let b(k) = k**2 - k - 3. Let d be b(-1). Which is smaller: w or d?
d
Suppose 0 = 5*l + 3 + 27. Let d = -2 + l. Let f = d + 6. Which is smaller: -6/11 or f?
f
Let k = -42 + 42.6. Let s = 2 - 2.2. Let v = s + k. Which is greater: v or 1?
1
Let h be 0 + -1 - (4 - 4). Suppose i - 3 + 1 = -3*x, 3*i = 3*x + 6. Suppose x*o - 5*o = 0. Which is smaller: o or h?
h
Let c = 230 + -241. Let y = -19 - -7. Which is smaller: c or y?
y
Let p = 12.99 - 13. Let d = -17/21 + 8/7. Which is smaller: d or p?
p
Suppose 5 = -4*t - 19. Let y be 2*2/(t/(-1)). Are 2 and y unequal?
True
Suppose 5*v + 0*v = -5. Let p = 1342 + -1344. Which is smaller: v or p?
p
Let d = -3 + 3.05. Let u = -2.7 + 0.65. Let w = u + d. Is w equal to -1?
False
Let y(b) be the third derivative of b**5/60 + 3*b**4/8 + 4*b**3/3 + b**2. Let o be y(-9). Let m be (-22)/24 - (-2)/o. Which is smaller: m or -1?
-1
Let k = 1653/32 - 525/32. Let r = k - 35. Is r >= -2?
True
Let g(y) = -y + 4. Suppose v + 3*v = 0. Let i be g(v). Suppose -3*f - 1 = -i*f. Which is bigger: 2 or f?
2
Let d = 2.15 + -2.05. Which is greater: 1/4 or d?
1/4
Let n = 52969/1986 + -3/662. Let o = n + -24. Which is smaller: o or 3?
o
Suppose 2*j = 2*r + 6, 4*r + 2 = -j + 5. Suppose 8*n + 20 = j*n. Suppose 3*a - 6*q = -2*q - 15, a = 2*q - 5. Which is smaller: a or n?
a
Suppose 0 = 2*g - 10, 0 = -4*o - g - g - 86. Let i = o - -121/5. Is -0.2 at least as big as i?
False
Suppose 2*c + b + 114 = -4*b, -3*b = 3*c + 162. Let p be c/(-65) + (-8)/10. Is p > 3/11?
False
Let x = 7 - 9. Let w = -3 + 2. Which is smaller: w or x?
x
Suppose 0 = w + 1 - 5. Suppose -s + 4*g = -9, -8*g + 4*g = w*s + 4. Let d be -4 + 1/((-15)/(-57)). Is s < d?
False
Let z = 197/2 + -101. Let t(p) = -4*p. Let q be t(2). Let y = q - -5. Which is smaller: y or z?
y
Let s = 0 - 1/5. Let m = -1.2 + -0.8. Which is smaller: s or m?
m
Let z be (-32)/14 - (1 - 3). Let u = 0.9 + -1. Is z greater than u?
False
Let u = -284 + 278.96. Let j = u - -0.04. Let c = j + 5.1. Is 0.1 at least c?
True
Let j be (-216)/(-5910)*60/38. Let f = j + -1/197. Which is greater: f or 0?
f
Let o = 337/276 - -2/69. Suppose 5*t = a - 2, 4*a = -2*t - a + 10. Which is smaller: o or t?
t
Suppose -2*p = 2*l + p + 25, 2*p = -2*l - 26. Let c = l - -20. Suppose -5*b + 7*k = 5*k + 2, 0 = -5*b + k - c. Is -3 >= b?
False
Suppose -6*w + w = -15. Suppose 0 = -w*m - 2*m. Is 2/11 bigger than m?
True
Suppose -15 = -9*f + 4*f. Let x = f - 2. Is x at least as big as 1/3?
True
Suppose -5*m + 217 = 4*x, -m - x - 38 = -2*m. Is 41 greater than or equal to m?
True
Let d be (1 + -1)/((-12)/18*3). Let g(n) = -n**3 - 3*n**2 + 5*n + 1. Let r be g(-4). Let l be (d + -3 - r)*1. Is -2/7 bigger than l?
False
Let g be 5/2*12/10. Let n = g - 5. Are n and 1 non-equal?
True
Let b = -13.1 + -3.9. Let a = b + 16.9. Is 5 less than or equal to a?
False
Let v = 9 - 5. Suppose -5*b + 6 = 2*p, -v*p - 8 = -b + 2. Is 2 >= b?
True
Let b = 8 + -9. Which is smaller: -2 or b?
-2
Let h(m) = m**2 + 2*m - 8. Let t be h(0). Which is smaller: -3 or t?
t
Let i(s) = s**3 + 3*s**2 - 4*s + 2. Let w be i(-4). Suppose 0*n - 3*n = -6. Suppose h + n = 3*h. Which is bigger: w or h?
w
Let k be 1*(-6)/(-4)*2. Suppose 0*m + 9 = 2*m + k*d, 0 = -d - 1. Is 5 at least m?
False
Suppose -9 = 4*g + i, 9 = g - 0*i - 2*i. Let p = 3 + g. Suppose 2*k - 2 - 27 = 5*u, -2*k = -3*u - 19. Is p > k?
False
Let f = 6 + -7. Which is bigger: -2/5 or f?
-2/5
Suppose -2*f - f = -2*w - 8, 0 = -f + 4*w - 4. Suppose f*q - 5 = -q. Are q and 0.04 unequal?
True
Let y = -1.05 + 0.15. Let k = y - -0.93. Let z = 0.3 - 1.3. Which is greater: k or z?
k
Let w = -1/51 + -95/357. Is -3/5 > w?
False
Let x be 33/(-36) + 1/4. Let i be 9 + ((-6)/(-2) - 2). Suppose 12*s + i = 7*s. Which is greater: x or s?
x
Let f(k) = k - 9. Let g be f(8). Let a be 5/(-3)*(-10 - g). Is 15 at most a?
True
Let i(q) = -q**3 + 12*q**2 - 10. Let m be i(12). Do -10 and m have the same value?
True
Let q(l) = l**3 + 5*l**2 - 6*l. Suppose 15 = -3*d, -2*s + s = -3*d - 39. Suppose 6*n + s = 2*n. Let o be q(n). Which is smaller: o or 2/13?
o
Let d(i) = -2*i**3 + 5*i**2. Let b(z) = z**3 - 3*z**2. Let r(j) = 7*b(j) + 4*d(j). Suppose -a + 0 = 1. Let p be r(a). Which is greater: p or 2?
2
Suppose f + 20 = 6*f. Suppose -2*r = 2*r - 16, 4*r = f*d + 36. Is d less than 