1). Does 177 = b?
True
Let d = -19 + 19.16. Let l = -0.178 + d. Let j = l - -0.068. Do -0.05 and j have different values?
True
Let w = -16505682/73 - -226100. Are -5 and w unequal?
True
Suppose 5*h + 0*b - 18 = 2*b, 3*b = 3*h - 9. Suppose -f = -5*a - 2*f - h, -2*f = -4*a - 6. Let c be ((-4)/65)/((-2)/35)*-1. Which is bigger: c or a?
a
Let i be (6 - (-11)/(-2)) + 302/4. Let d = -81 + i. Is 4/13 greater than d?
True
Let v be (7 - (-742936)/(-106120))/((-4)/(-14)). Which is bigger: 0 or v?
0
Let c = -63.6 + 56.6. Suppose 11*h = 18 + 15. Do c and h have different values?
True
Suppose 2*s = -i + s + 4, -5*i + 17 = 4*s. Let u be ((-12)/8 + i)*-70. Let r = -3288.1 - -3288. Is u greater than r?
True
Let l be (-25860)/(-7560) - 4/(-18) - 5. Which is bigger: -1 or l?
-1
Let k = 3925 - 4088. Is k less than -165?
False
Let u be 6428/(0 - -2*(-6)/24). Let d be 6 - 1/(u/(-77120)). Which is greater: 1 or d?
1
Suppose -b + 4015 = -9*m + 14*m, b = 2*m - 1599. Which is smaller: 806 or m?
m
Let v = 4/2549 + 5054/28039. Which is bigger: -1137 or v?
v
Let a be 1/(-21)*(-8 - -6). Let s = -204 - -119. Let n = s + 85. Do n and a have different values?
True
Let d(h) = h**2 + 25*h + 22. Let k be d(-23). Let s be 3 - k/(-18) - (-2)/6. Suppose 2*q + 0*q - 3*u + 13 = 0, -5*u + 5 = 0. Is q at least s?
False
Let x = 8591.583 - 8582. Let d = x - 9.5. Let u = d + -0.043. Are 0.6 and u non-equal?
True
Let q = 216.876 - 217. Let d = q + 86.124. Is 0 greater than or equal to d?
False
Let h be (6/(-459504)*2)/((-3)/(-9)). Is h greater than 0?
False
Let n = -5.916 + 0.004. Let c = -0.012 - n. Is 2/9 equal to c?
False
Let w(t) = -15*t - 59. Let i = -161 - -157. Let g be w(i). Which is smaller: g or -5/121?
-5/121
Let z be (-2)/18820*(-1136)/426. Is z > 0?
True
Suppose -2*h = -5*z - 28, -27*h - 8 = -25*h + z. Which is smaller: 3/1471 or h?
h
Let i(y) = -y**2 + 21*y + 882. Let c be i(42). Which is smaller: -3/221 or c?
-3/221
Suppose 20*v + 201 - 881 = 0. Is 39 at most v?
False
Suppose -4*c - 13 = -1. Let z be (23/c - -5)*(-1)/(-60). Which is bigger: z or -0.2?
z
Let w(j) = -6*j**3 + j**2 + 4*j + 38. Let x be w(5). Let l = x - -664. Suppose 0 = -4*r + 5*r. Which is smaller: l or r?
l
Let y = -1462 + 729. Let d = y + 710. Is 3 > d?
True
Let z = 15213 - 15211. Suppose 4*a - 5*a - 4*h = -11, -4*a - h = -14. Is a less than z?
False
Let f be (18*1)/(6/4). Suppose -755 = 3*w - 161. Let h = -183 - w. Is f at least h?
False
Let t(m) be the third derivative of -m**5/60 - 11*m**4/24 + 11*m**3/6 + 149*m**2. Let a be t(-12). Is -6/95 != a?
True
Let q = -361859/4 + 91274. Which is smaller: q or 808?
808
Let q = 459 - 427. Suppose -39*s - 203 = -q*s. Are -28 and s unequal?
True
Let w = 5.57 - 5.39. Which is bigger: w or -168?
w
Let m be (15 - (-846)/(-54))*1/(-62). Let f be 232/40 - (-1)/5. Let y(d) = d**2 - 7*d + 6. Let w be y(f). Which is smaller: m or w?
w
Suppose -5*o + 29 = -21. Suppose -5*x = o + 10. Suppose 32 = -2*j + 4*m, 36 + 16 = -4*j + 5*m. Which is bigger: j or x?
x
Let w = 12235/10648622 + -3/8458. Which is bigger: w or -1?
w
Let n = 73 + -73. Suppose 8*g + 4 - 20 = n. Let z be 34 + (g + 4 - 4). Is z greater than or equal to 35?
True
Let y(d) = 3*d + 5. Let p(q) = 6*q + 11. Let o(n) = 4*p(n) - 9*y(n). Let w be o(0). Is -11/5 greater than w?
False
Let v(p) = p**2 - 24*p - 12. Let z be v(6). Let w be 90/z - 19/(-4). Suppose 5 = -w*t - t. Are t and -2/127 unequal?
True
Suppose -24*r = 26 - 2. Let w(l) = 5*l - 32. Let c be w(6). Let t be 1 - 8560/9905 - c/(-14). Which is greater: t or r?
t
Suppose 2*u - 65 = -3*o, 3*u - 4*o = o + 126. Suppose 0 = -r - 4*x - x + 73, x - 485 = -5*r. Let f be (49/r)/(u/36 - 1). Is 15 < f?
True
Let d = 11 + -19. Let b(f) = 2*f**2 - 3*f - 79. Let s be b(d). Which is greater: s or 72?
s
Let w = -16479.9 - -16480. Let y be -2 + (1 - (-3 - -2)). Suppose -7*f = 2*m - 2*f - 25, y = -f - 5. Which is smaller: m or w?
w
Suppose 5*o - 948 = 9*o. Let c be (-9)/21 + o/(-651). Let t = c - -45/217. Is t less than or equal to 0.8?
True
Suppose g = -5*g + 38400. Let j be 9/6 + g/(-4272). Is 1 less than j?
False
Suppose q - 3*m = 21, -3*m + 198 - 21 = 5*q. Let a be q*6/(-135)*138/4. Let s = a - -58. Is s at least 6?
True
Let k(j) = 142*j + 3. Let u be k(-2). Let i be -6 + ((-1368)/(-5) - -11). Let f = u + i. Which is smaller: f or -2?
f
Let o be 2*2 - -1*418/(-106). Suppose -15 = -3*z, 0*s - 4*z = -4*s - 296. Let u = s + 70. Which is smaller: u or o?
o
Suppose -15*x - 8*x + 4828 = 11*x. Are x and 1556/11 nonequal?
True
Let z(w) = 783*w - 5499. Let p be z(7). Is p less than or equal to -233/12?
False
Suppose 8*t + 54 = 11*t. Suppose c - 11 - 36 = 0. Let s = t - c. Which is smaller: s or -28?
s
Let q(l) = -l**2 + 70*l - 753. Let y be q(53). Is y <= 156?
True
Let b = -202.473 - 1.427. Let f = 34.9 + b. Which is smaller: -1/4 or f?
f
Suppose 5*p + 3*p = 48. Let t be 0/(-1) + p + 10. Suppose 3*w = 4*s + t, 4*s - 5*w + w = -20. Is -2 bigger than s?
False
Let u = -1602 + 744. Are -858 and u equal?
True
Let q = 151 + -190. Suppose -u + 5*u = -4. Let n be ((-2 - -1)/(-2))/u. Which is smaller: q or n?
q
Let r be 960/(-48) + 0*(-2)/(-4). Let g(i) = 5*i + 26. Let j be g(r). Let o be -1 + j/(-60) + (-16)/(-96). Are o and -1 unequal?
True
Suppose 2*r = 2*c + 2, -7 = -r + 63*c - 59*c. Which is smaller: -3/2245 or r?
r
Suppose 10*n = 3*n - 105. Let t(i) = i + 13. Let l be t(-7). Let p be (l/(-10))/(n/(-160)*4). Which is smaller: -3 or p?
-3
Let t(h) = -410*h - 53. Let u be t(-2). Is u less than 765?
False
Suppose -3*n = -x - 11, -3*n - 99 = -105. Is x less than or equal to 63?
True
Let z = -54 + 52. Let f = 30 + -35. Let r be (z/53)/(3 - 6 - f). Is -1 <= r?
True
Suppose 3*y + u = 5*u, y - 16 = -4*u. Let q be 2*(2 - 1) - 41/(779/(-38)). Is y greater than or equal to q?
True
Let l be ((-2 - 3) + 9)*(-10)/8. Let x be (-2)/(-1) - l/(10/(-6)). Which is greater: x or -5/7?
-5/7
Let s be (43/((-387)/12))/(26/(-18)). Is -1/46 <= s?
True
Suppose -718 + 70 = -9*o. Let v be 2 + 8/o + 38/(-18). Which is smaller: v or -1/658?
-1/658
Let f = -1038 - -607. Let h = 439 + f. Which is smaller: 0.19 or h?
0.19
Suppose 2*d = -d - 2*i - 13, -31 = 5*d + i. Let t(x) = -x**3 - x**2 + 2. Let v be t(0). Suppose -2*y - 4*h = -5*y - 8, -v*h - 16 = y. Which is smaller: y or d?
y
Let c be ((-3296)/(-10))/4 - (-4)/(-10). Suppose -10*w + 8*w + c = 0. Let f = w + -41. Which is smaller: 3/5 or f?
f
Let g = -6933 - -7712. Which is smaller: g or 2339/3?
g
Let w = -16663.9 - -16664. Which is smaller: w or -644?
-644
Suppose -7*g + 19287 = 9*g + 4663. Is g at least as big as 909?
True
Suppose 3280 = 10*z - 5*z. Suppose -27*i = -35*i - z. Which is smaller: -81 or i?
i
Let i = -819 + 815. Which is greater: -678 or i?
i
Let l = 5128.259 - 5120. Let g = 0.259 - l. Which is bigger: 14 or g?
14
Let i = -32 - -36. Suppose -3*b = -4*b + i. Let v be -7 + b - (-17)/5. Which is greater: 2 or v?
2
Suppose 6*g = g - 270. Let b = g + 95. Let j(y) = -2154*y + 4309. Let l be j(2). Is l >= b?
False
Suppose -4*y = 2*v - 9*y - 59, 0 = -4*v + 5*y + 103. Suppose 24 = -17*u + 13*u. Let t = u - v. Is t equal to -29?
False
Let p be -1 - (4 - 222)/1. Suppose 3 = -n, 0 = -2*f - 0*f + 5*n + p. Let r = 907/9 - f. Is -2 < r?
True
Suppose -37*a = -14*a. Let t be (-276)/(-5474)*6/9. Is a greater than t?
False
Let c = -34 - -56. Let h = c - 22. Suppose -i - 9 - 3 = h. Is -12 greater than i?
False
Let q = 2642 - 2642. Is 2/9859 at least as big as q?
True
Let y be (-114)/6 - -1537 - 0/(-1). Are y and 1518 equal?
True
Let f be -61 + -8 + (-17 - -30). Let i(l) = -6*l**3 - 2*l**2 - l + 2. Let j be i(2). Does j = f?
True
Let i be ((-9)/72)/(143/20). Let k = i + -1/78. Let c be (-10)/8 + 2/8. Is k greater than c?
True
Let o(f) = 14*f**2 + 3*f + 2. Let n be o(-5). Let z = -2734 + 3072. Is n < z?
True
Let l be ((-372)/(-26))/((-40)/1580)*8/24. Which is bigger: -189 or l?
l
Let q(r) = -r**2 + 6*r - 5. Let v be q(7). Let y = 139 + -41. Suppose -6*s - y = s. Which is greater: v or s?
v
Suppose 0 = -g + z + 86, -415 = -5*g + z + z. Suppose c - 2*i - 44 = 6*c - 453, 2*i = 14. Which is smaller: g or c?
c
Let v = 223/153 - 21/17. Let d = -48 - 251. Let g = d + 2687/9. Is v less than g?
False
Let p(d) = d**2 + d + 89. Let l be p(-9). Let u be -7 - (-182)/l - -6. Which is