7659 - -27625.058. Let j = -0.058 + q. Is j < m?
True
Suppose 4*v - 3*b = 2247, 6*b - 3*b = -15. Suppose -9*d - 9*d = v. Is -34 > d?
False
Let m = -17287/7 + 63840905/25851. Which is smaller: m or 0?
0
Let s = -14413451593/20925630677 + -10400/336907. Let w = 96/133 + s. Which is greater: -1 or w?
w
Let k = 3/2236 + 796007/6708. Are k and 119 equal?
False
Let o = -5910/857 + 3200488/350513. Let f = o - 3032806/2045. Let m = f - -1468. Which is smaller: m or -13?
-13
Let p = -8074 - -8213. Which is bigger: p or 0.3?
p
Let n be (39/(-12) - 0)/(((-19)/703)/(-1)). Which is smaller: -121 or n?
-121
Let c(x) = 1 + 2 + 4 - 8 + 92*x. Let f be c(-2). Let s be 1*570/f + 3. Is 0 greater than s?
True
Let z be (2 + 6/(-2))*113. Suppose 528*f - 512*f + 1792 = 0. Is z bigger than f?
False
Let y = 124 - 77. Let m = 743 + -789.9. Let u = m + y. Which is smaller: -51 or u?
-51
Suppose 56*q - 415 = 649. Let n(p) = p**2 + p + 2. Let w be n(4). Is w smaller than q?
False
Let h = -35580 - -35580. Let p = 224/11 + -222/11. Which is bigger: h or p?
p
Let t be (-111)/(-105) - 2/2. Let v = 238 + -436. Let x = v - -197. Is t <= x?
False
Let q = -8 - 7.1. Let n = q + 3.1. Which is greater: 3/4 or n?
3/4
Let j be (-2)/(-1) + (98/28 - (-294)/(-144)). Which is smaller: j or 3?
3
Let w = 1040 - 1040.8. Let j be 27 + 2 + (3 - 3). Let k = j - 115/4. Is w at least k?
False
Let p(l) = l**3 - 16*l + 13. Let a be ((-20)/(-8))/((-10)/(-16)). Let g be p(a). Which is smaller: g or 25/2?
25/2
Let o(z) = -z**3 + 2*z**2 - 7*z - 398. Let c be o(0). Is c greater than -398?
False
Let d be 6/(3/(-1)) + (-4)/2. Let n(k) = -k**2 - 7*k - 7. Let c be n(d). Suppose o + 10 = 5*j - 4*o, -c*j + o = -26. Is j > 3?
True
Suppose 10*z + 5 = -15. Let i be (8 + -7)/(z/62). Let o be ((-11)/3 + 4)/(3/(-261)). Are o and i non-equal?
True
Let u = -294.866 + 294. Let j = u - 0.134. Which is smaller: -0.03 or j?
j
Let r = -2.6 - -3. Let k = -7297/1655 + 3/331. Let y = 3 + k. Is y greater than r?
False
Suppose 0 = -6*m - 14 + 8. Let z be m + (-462)/(-119) + -5. Is z smaller than -1?
True
Let v be (77/(-45815))/((-6)/1810) + (-2)/21. Does v = 42?
False
Let q(k) = -k**2 + 10*k + 23. Suppose 8*j - 13*j + 60 = 0. Let o be q(j). Let w be o/(-7) + -1 + 6/7. Is w greater than or equal to -8?
True
Let s = 206 + -206.5. Let d = 3 - -1.5. Let k = d + s. Which is bigger: k or -0.1?
k
Suppose -2*p + 6*m = 11*m - 10, 3*m = 0. Suppose -p*u = -3*u + 8. Do 0.1 and u have the same value?
False
Suppose 10 = j - 3*j. Let q be 3 + -3 + 818/j. Let f = q - -163. Which is smaller: f or 0?
f
Let j(z) = 271*z + 1188. Let g be j(-4). Are 120 and g unequal?
True
Suppose 2*p = -2*g + 8, 2*g - 7*g = -p - 14. Let k be ((-20)/16)/(g/(-12)). Is 5 equal to k?
True
Let s = -0.4197 + -3.5803. Which is bigger: s or 6/101?
6/101
Let l be (2 - (-1 - -2))*1. Let q be (-1 - (-5 + 5))/(l*-1). Let d be (270/24 + q)*(-4 - 0). Is d less than -48?
True
Suppose -10*d = 109 - 169. Suppose -4*s + 2 = -3*r + r, -d = -3*s + 3*r. Is 1/286 < s?
False
Suppose 9*d + 40 = 29*d - 10*d. Which is greater: d or 221/47?
221/47
Let m(t) = t**3 + 6*t**2 + 5*t + 2. Let a be m(-4). Suppose a*j + 162 - 92 = 0. Is -0.45 at least j?
True
Let l(o) = o**3 - 4*o**2 - o + 4. Let d(s) = s**3 - 16*s**2 + 29*s - 10. Let u be d(14). Let y be l(u). Does -2/179 = y?
False
Let s(r) = -r**3 + r + 1. Let m be s(0). Let c = 0 + m. Let w = 1186 - 60484/51. Which is smaller: c or w?
w
Let p = 11810 + -35222. Is p smaller than 0?
True
Let q(v) = v**3 + 4*v**2 + 33*v - 617. Let s be q(12). Is s <= 2085?
True
Suppose -44*m = -50*m - 480. Let i be (9*8/m)/(4 - 1). Which is bigger: -1 or i?
i
Let j(d) be the third derivative of -d**5/60 - 23*d**4/12 + 17*d**3/3 + 197*d**2. Let m be j(-45). Which is greater: m or 239/3?
239/3
Let g(d) = 4*d + 2313. Let r be g(-129). Is 1797 > r?
False
Suppose 145*t - 54 = 91. Is t at least as big as 31/82?
True
Suppose -107*v - 1149 = -1684. Suppose -2*a + 12 = 2*a. Suppose a*b - 19 = -7. Which is greater: v or b?
v
Let r = 888 + -2663/3. Is -0.01268 less than r?
True
Let w be -65*574/(-770) - 12/(-22). Is w greater than or equal to 45?
True
Suppose -a + 2*g - 131 - 255 = 0, g = 2*a + 778. Which is smaller: -389 or a?
a
Let t(u) = 2*u - 22. Suppose -c = -3*n - 15, 3*c - 40 = -0*c + 4*n. Let g be t(c). Is g at most 28/31?
False
Let c = -41.27107 + 0.27107. Let z be (-2)/(-6)*(-24)/20. Does z = c?
False
Let v(l) = -l**2 + 35*l - 18. Let o be v(10). Suppose 128 = 4*x - o. Suppose 4*u + 0*u + x = 2*p, -4*u = -3*p + 145. Is 56 >= p?
True
Suppose 4089*h - 3*l = 4093*h + 6, l = -2. Is -4678 > h?
False
Let x = -5 - 18. Let k = 0.32 + 1.88. Let j = k + -5.2. Which is smaller: j or x?
x
Let f be (1102/(-361) - -3)/(2/4). Is -202 at most as big as f?
True
Let b = -71 + 75. Suppose 5*r + b - 4 = 0. Suppose -3*c - 2*w - 2*w - 8 = 0, 3*c - 2*w - 4 = r. Is c less than 1/81?
True
Let t(n) = 3*n**2 + n. Let k be t(1). Let p = 145 - 142. Let z = 4 + p. Does z = k?
False
Suppose 524 = 4*w - 4*f, -3*w + 424*f - 419*f = -403. Which is smaller: w or 140?
w
Let l be (5/(-3))/(8/6). Let a = 227.8 - 221.732. Let p = -0.068 + a. Which is smaller: p or l?
l
Suppose -2*u + 14 = -d - 0*d, 2*d + 14 = 2*u. Let s = u - -7. Let f = -15 + s. Which is smaller: -14 or f?
-14
Let h(o) = -8*o**3 - 6*o**2 + 8*o + 5. Let w(g) = -3*g**3 - 2*g**2 + 3*g + 2. Let c(b) = -4*h(b) + 11*w(b). Let z be c(3). Let y be z + -18*(-2)/8. Is -5/8 > y?
False
Let s = 6 - 6. Let r be 1623*-1*(-2)/3. Let j be (r/358 + (-1 - 2))/(-2). Is s < j?
False
Let o be (-216)/(-6) - 7 - (1 - -2). Suppose 5*z = -25*c + o*c + 9, -5*z + 12 = 2*c. Is c < -1/521?
False
Let p = -61 - -59.66. Let u = 1.6 + p. Let k = u - 0.1. Which is greater: -2 or k?
k
Suppose -5*h - 25 = 3*t, -4*h - 78*t - 23 = -75*t. Which is bigger: h or -179/175?
-179/175
Let z(i) = -8*i**2 + 50*i + 2. Let g be z(6). Which is smaller: 13 or g?
13
Let b = -47.978 + -0.022. Let i = b + 80. Let t = -30 + i. Is t < -5/2?
False
Suppose 21*s = 28*s - 2121. Let u = s + -277. Let y be (1 - -26) + -2*1. Which is greater: y or u?
u
Suppose -2*u + 4*k - 18 = 0, 0 = -3*u + u - k - 18. Let a be 12/(-18) - 51/u. Let w be -1 + (-3 - (1 - 1)) + a. Is 0.5 greater than or equal to w?
False
Suppose -8 = 5*g - 2*b, 3*g + b - 6*b = -1. Let j be (2 + -3)*g/(6/33). Let u be 16*(4 + (-14)/4). Is j bigger than u?
True
Let n = 637 + -398. Let l = -240 + n. Which is smaller: 7/50 or l?
l
Let h = 7 + -6.7. Let b be 48/264 + 1*57/77. Let g = 7/11 - b. Which is greater: h or g?
h
Suppose 9*l + 1725 + 3783 = 0. Which is smaller: l or -610?
l
Suppose n = -15*n - 29 + 13. Which is bigger: 2/285 or n?
2/285
Suppose -410 + 454 = -44*t. Which is smaller: 3/890 or t?
t
Let p = 299.99 + -3649.99. Which is bigger: -1 or p?
-1
Let p = 1.8 - 2. Let d be (-2071413)/5832 + (-4)/(-18) + 0. Let l = -355 - d. Is l greater than p?
True
Let g(j) = 2*j**3 + 4*j**2 - 7. Let k be g(-3). Let f be 1/(-5) + (-5)/k. Let y be 13 - (4 + 0 + f). Is 0.3 != y?
True
Let f be (30/(-50))/(-1*(-3)/(-45)). Suppose -166 = f*g + 50. Let r = -106 - -80. Is r < g?
True
Let p(j) = -5*j**2 + 86*j + 636. Let g be p(-8). Which is smaller: g or -348?
g
Suppose 34664 = 4*u - 2*k, 0 = 5*u - 4*u - k - 8670. Which is smaller: 8661 or u?
8661
Let q = -13907 + 13909. Is q greater than or equal to -6210?
True
Suppose -3*t = w - 22, -t - 4*w = -3*w - 6. Let j(i) = 2*i**3 - 27*i**2 - 34*i + 21. Let l be j(15). Let h = -178 + l. Is t bigger than h?
False
Let j = 326 + -54. Let h = j - 273.2. Which is greater: h or -2/7?
-2/7
Suppose 0 = -5*u - 5*y + 35, -5*u + 0*y = -4*y - 8. Suppose 0 = 4*w - 3*i + 15, -u*i + 8 = 4. Let n be (-2)/w + 8/6. Is 1 smaller than n?
True
Let b = 7.88 + 0.12. Let w(g) = -38*g - 24. Let q be w(-12). Let m = q - 3026/7. Which is smaller: b or m?
m
Let l = 7305 + -7307. Is -3 less than l?
True
Let s(a) = 7*a**2 + a + 24. Let x be s(-6). Let n = -182 + x. Which is smaller: 87 or n?
87
Suppose -5*z = o + 40, -z - 2*z = 9. Let m(s) be the first derivative of -24*s**2 + 69*s - 174. Let g be m(2). Is g less than o?
True
Suppose -102480 - 2764 = 166*x. Is -638 equal to x?
False
Let r be (-1)/(1/920*1). Let y be (-2)/(-13) - r/104. Let v(q) = q**3 + 5*q**2 - 6*q + 6. Let b be v(-6). Is b != y?
True
Let j = 1.08 + -0.18. Let l = 