5*h(f) + 8*r(f). Let b be a(5). Let p be -2*(-1)/(-2)*1. Is b >= p?
True
Suppose -2*w + 0*j - 11 = -3*j, -5*w - j - 2 = 0. Let b be (w - -1) + 2/1. Let o = -0.1 + 0.2. Which is greater: o or b?
b
Let c(y) = y**2 - 7*y. Let v be c(7). Suppose 3*s + 2*s + 15 = -2*z, 5*s = 5*z - 15. Do v and z have different values?
False
Let v = -89 - -137. Is v >= 47?
True
Let b(d) = d - 8. Let j be b(0). Let g be (2/j)/(434/647). Let u = g + -1/434. Which is bigger: 1 or u?
1
Let s = 6 + -5.8. Let f = s - -0.8. Is 1 > f?
False
Suppose -5*g + 12 = -b, 0 = 3*b + 4*g - 7 - 14. Let z be 87/(-30) + b + 0. Is z less than -1?
False
Let k = -18 - -18. Which is greater: k or 5/6?
5/6
Let i = -583/5 - -117. Let p be 253/196 - (-9)/(-6). Let s = p + -2/49. Are s and i unequal?
True
Let a = 0.03 - 0.05. Let w = a + -3.98. Is w at least 0?
False
Let p be 5 + 34 - (0 + -3). Suppose 3*w + 4*j = -2*w + 41, -4 = -j. Suppose 0 = -w*b - p + 12. Which is greater: 0.1 or b?
0.1
Let r = -3 + 2. Let j = 1510792190/1661 - 909568. Let f = j + -4/151. Which is greater: r or f?
f
Suppose 4*p = -p - 20, -1 = 5*q - p. Let n = -4 - 0. Which is smaller: q or n?
n
Suppose 2 = -3*o - 7. Let t be (0/(6/o))/2. Is t at least 1?
False
Let u = 21.9 - 22. Is 25 at most u?
False
Let d be (-10)/25 - (-24)/(-15). Which is greater: -27/13 or d?
d
Let c = -2 - 2. Let u be (-2)/c - 52/72. Is 1 less than u?
False
Let k(p) = -p**3 + 5*p**2 + 2*p - 5. Let s be k(5). Do 7 and s have different values?
True
Suppose -4*v + g = -1 - 6, 0 = -v - 2*g + 13. Suppose -l = -v - 4. Let d = l - 5. Which is bigger: d or 8/5?
d
Let y = 0.3 - -0.2. Let v = 5.9 + -1.4. Let r = v - y. Are r and -1 non-equal?
True
Let f = -33.3 + 33. Which is greater: f or -1.5?
f
Let y = -1 + 1.1. Let r = 0.2 - y. Let z = 0.011 + 0.189. Are r and z unequal?
True
Let b be (-23 - 1)*(-10)/(-20). Which is greater: 0.4 or b?
0.4
Let s = -0.032 - 1.968. Which is smaller: s or -0.09?
s
Let l = 1145/9 - 127. Let y = -0.01 - -0.04. Which is bigger: l or y?
l
Let n(q) = -35*q + 2. Let m be n(1). Which is greater: m or -34?
m
Suppose 11*u - 15*u = 24. Which is bigger: u or -45/7?
u
Suppose 5*z = 2*q - 22, 2*z = -2*q + z - 2. Let r be 156/(-81) + 2/q. Is r equal to -1/4?
False
Let m be 9/15*(-4)/6. Suppose 7*i - 2*i = 2*a + 24, -5*a - 26 = -4*i. Is a less than m?
True
Suppose -5*b + 4 = 2*a - 2, -4 = -2*b. Let d be (-82)/126 - a/9. Suppose -5*n + 23 = 2*o, 5*o - 3*n + 30 = 10. Which is greater: d or o?
d
Suppose -3*d - 2 = 5*r + 1, -d - 1 = 3*r. Which is greater: -2/31 or d?
-2/31
Let n(a) = a**2. Let y be n(1). Which is smaller: y or 2/31?
2/31
Let u(o) = -2*o - 3. Let a be u(-1). Is a not equal to 2/27?
True
Let c(o) = o**3 + 6*o**2 + 7*o + 6. Let i be c(-5). Let v be (4/(-6))/(2/6). Let f = v + -1. Is i less than or equal to f?
True
Let t = -15 + 18. Suppose 2 + 1 = -o + 2*q, 2*o - t*q = -3. Which is smaller: o or 2/9?
2/9
Suppose -2*u = -s, 0*u - 4*s + 26 = 5*u. Let x(k) = 1 + 0*k**2 - 2 + 3*k + k**3 - 3*k**2. Let q be x(u). Do q and 2/3 have different values?
True
Suppose -o = -7*o + 12. Is -0.2 > o?
False
Let y = 3 - 3.1. Let j be 3*(-48)/(-81) + -2. Which is smaller: j or y?
j
Let j = 0.377 + -0.077. Which is smaller: j or 1/12?
1/12
Suppose -4 = 2*r + 2. Let o be ((-1)/r)/(2/18). Suppose o*c = 2*c. Which is bigger: 4/3 or c?
4/3
Let c(i) = i**3 + 6*i**2 + 4*i - 4. Let l be c(-5). Suppose -5*m = m - 186. Let f = 31 - m. Which is smaller: l or f?
f
Let p = -7 + 5. Let v be 26/42 + 10/(-35). Is p greater than or equal to v?
False
Let p be (2/(-4))/((-2)/(-124)). Let c = -14 - p. Is 18 at most c?
False
Suppose 3*h - h = 0. Suppose 3*x = -3 + 15. Suppose x*s = -5*f - 14 - 6, 12 = -s - 3*f. Is h greater than or equal to s?
True
Let h = 0 + 0. Suppose h = -d + 2*d. Let k = -47/2 + 333/14. Which is smaller: d or k?
d
Let c(p) = p**3 - p**2 - 7*p - 3. Let n be c(4). Which is bigger: -1 or n?
n
Suppose -3*m = h - 11, -4*m + 7 = -5*h - 33. Suppose d = 2*p + 9, m*p - 3*d + 12 = -12. Let v be 24/3*2/(-4). Is v smaller than p?
True
Let b = -3/13159 + 9277119/105272. Let t = b + -88. Is t > 1?
False
Suppose 10 = -2*b + 4*b, f = -3*b + 364. Suppose f = -3*q - 11. Let t = q + 597/5. Is t >= 0?
False
Let t(d) = -d**2 + 5*d + 2. Let a be t(5). Suppose -u + 2*x = -2*u + 9, -3*u = 3*x - 15. Suppose p = u + 1. Is a at most p?
True
Let c = -1 + 2. Let x = c - 1.1. Let w = -10/11 + 41/33. Are x and w nonequal?
True
Let c = -0.183 + 0.083. Is -13/2 equal to c?
False
Let c be 1/(-4) - (-9)/20. Let w = -98.1 + 97. Which is smaller: c or w?
w
Suppose -t + 4*t = 9. Suppose 4*x = -3*g + 21, t*x - 1 - 11 = -g. Is g < 5?
True
Let j = -40/69 - 2/23. Let f = 24 + -24. Which is greater: f or j?
f
Let t = -2707/6 - -450. Which is smaller: t or 0?
t
Suppose 5*y - 7*r + 4*r = -14, 0 = -2*y + 4*r. Does y = 6?
False
Suppose 3 = 5*a + 8. Let n = 0 - a. Suppose h + n - 2 = 0. Which is greater: 2 or h?
2
Let w = 8423/46 - 1803/46. Let u = w + -144. Which is greater: u or 0?
0
Let g = -489/212 + 3/53. Is g at least -1?
False
Let d = -5/2 + 4. Is d bigger than 3?
False
Let p = 6 - 4. Suppose 0*y + 2*y = 6. Suppose 2*u + u + 9 = -4*v, -y*u + 5*v = -18. Are u and p non-equal?
True
Let x = -1.3 + 0.25. Let t = x + 0.05. Which is smaller: 0.03 or t?
t
Suppose 2*h - 2*w = 2*w - 32, 25 = 5*w. Let i be 2/(-3)*(0 - h). Are i and -5 equal?
False
Let y(r) = r**2 - 7*r + 8. Let q be y(6). Let d(i) = i**3 - 2*i**2 - 3*i + 3. Let l be d(3). Does q = l?
False
Let m(v) = -22*v + 2. Let h = 10 - 14. Let r be m(h). Let s be 6/4 - 155/r. Which is greater: 0 or s?
0
Let a = -0.3 + 0. Let d = -0.2 + a. Let o = 0.5 - d. Which is smaller: 1/3 or o?
1/3
Let k be (26/5)/((-10)/(-25)). Suppose k = -5*l - 2*b, l - 4*b = 4*l + 5. Is l less than or equal to -3?
True
Let m be 2/(-6) + (-21)/(-9). Suppose 0*k + 3*r + 16 = 4*k, -m*r - 20 = -5*k. Is 5 less than k?
False
Let m be ((-4)/(-48))/(1/(-3)). Is m < 0?
True
Suppose -3*u - 3*i = 9, 4*i + 3 = -u + 2*i. Which is smaller: 2/5 or u?
u
Let k = 1.1 - 1.2. Which is bigger: k or -1.7?
k
Let q = 6 - 3. Let s = -9 + q. Is -6 not equal to s?
False
Let n be 2 + -1 - 122/116. Let d = 143/522 + n. Suppose -3*c = 4*z - 3, 2*c + 0 - 2 = 5*z. Is d at most as big as z?
False
Let c be -1*5*(-5 - -2). Which is smaller: 13 or c?
13
Let w = 4 + -3. Let t = -0.05 - 0.25. Is t greater than w?
False
Let w be (-3 + 33/9)*6. Suppose -f - w = -4*d - 0*f, 4*f + 2 = 2*d. Let q = 0.3 + -0.2. Are q and d non-equal?
True
Suppose 0 = q - h - 2*h - 3, 0 = 4*q - 5*h - 5. Which is bigger: 4/7 or q?
4/7
Let a be 2/(-9) + 2712/54. Suppose 3*k - 51 = 4*h, 0*k + 5*k + 5*h - a = 0. Let d = -9 + k. Are 4 and d non-equal?
False
Suppose -f = 4*f - 25. Let a be (-6)/40 + f/(-20). Let n = 2 - 5. Is a >= n?
True
Suppose 0 = 2*r + 3*r + 5. Let w = 3 + -5. Let i be (3/(-5))/(3/w). Which is greater: i or r?
i
Let o(b) = b**3 - 2*b - 1. Let q be o(-2). Let p(v) = -4*v**2 - 5*v - 5. Let c be p(-1). Which is greater: c or q?
c
Let t = 5 - 1. Let c be (-144)/21 - 2/14. Let w be (8/1)/(-5 - c). Is w != t?
False
Let x = 17 - 16. Let y = 138 + -410/3. Is x <= y?
True
Let m = 427435/336357 + -5/5339. Let o = m - 14/9. Is 0 less than o?
False
Let v be (-2)/((-5)/((-60)/(-8))). Suppose 2*u - v*u - 3 = 0. Is -3 > u?
False
Let t(f) = -f**3 - 3*f**2 + 3*f - 2. Let l be t(-4). Let u be (l - 3)*87*-1. Let z = -263/3 + u. Which is bigger: z or 1?
1
Suppose 4 = b + j, -3*b + 14 = 2*b + 2*j. Let u(v) = -v**3 + 2*v**2 - 1. Let o be u(b). Is -1 bigger than o?
False
Let k(z) be the third derivative of -z**5/60 + z**4/12 + z**3/3 + z**2. Let w be k(3). Let m = 115/3 + -2179/57. Which is smaller: w or m?
w
Let m(q) = q**2 + 7*q + 7. Let s be m(-6). Let i be (-27)/(-15) + -1 - s. Let j(p) = p**2 - 7*p + 10. Let g be j(5). Is i equal to g?
False
Suppose 4*o - 3*n + 22 = -n, 4*o - 4*n + 32 = 0. Let j be -2 - 0 - (1 + o). Suppose -5 + 15 = 2*k + 5*x, 5*k - 4 = -2*x. Are j and k equal?
True
Let d be (-15)/6*(-12)/15. Let t be -2 + (-33)/(-9) - d. Are t and 0.2 equal?
False
Suppose 2*m + 3*m = -35. Let v = -8 - m. Which is smaller: v or -2?
-2
Suppose -3*v - 16 = v. Let p be (2/v)/(3/(-42)). Let u be 3/(-2) + 75/10. Is u at least p?
False
Let c(i) = -i**3 - 7*i**2 - 4*i - 5. Let x be c(-6). Let b be (-10)/(-45) - x/(-36). Which is grea