e -t + 3*k = 1, 3*t - k - 7 = -t. Suppose -4*i - t - 8 = -u, -4*u = 2*i - 4. Suppose 5*p = -2*b - 85, -u*p + 15 = 3*p. Is -50 greater than or equal to b?
True
Let d be (-43)/(-5) - (-3)/(-5). Suppose 4*v = -3*o - 6, -4*v - 4*o = v + d. Let l be 320/55 + -6 + 16/330. Is v greater than l?
True
Let u = -23418 - -23418.73. Which is smaller: 14 or u?
u
Let y be 655/40 + 12/(-32). Suppose y*x + 3*x = -361. Does x = -19?
True
Suppose -5*d - 11*d + 608 = 0. Suppose -d*i + 46*i + 416 = 0. Which is smaller: -54 or i?
-54
Let o be 5/(-4) - (-2)/8. Let x be 84/462 - (5 - (-34900)/(-7216)). Is x at least as big as o?
True
Let h be 4 - (10 + (116/(-16) - 5/(-20))). Which is bigger: 1/6436 or h?
h
Let x = 2995 - 2173. Is 2470/3 <= x?
False
Suppose 0 = -2*w - w + 1305. Let t be w/24*(-4)/10. Suppose 30*s + 162 = -48. Which is smaller: t or s?
t
Let f(l) = -100*l + 7097. Let q be f(67). Is 380 smaller than q?
True
Let n(w) = -6*w + 64. Let g be n(12). Let o be (-8 - g) + (3 - 3). Which is bigger: 3/65 or o?
3/65
Let l be (-24)/(-24)*(-16)/(-1). Suppose 0 = -2*t + l*t + 140. Is -12 <= t?
True
Let k = -4813.89 - -4814. Is -113/3 bigger than k?
False
Let n = -60875/89 + 684. Let f be (11 - 12)*0/(-1). Do f and n have different values?
True
Suppose -5*y - 4 = 16. Let o be (y - -8)*3/(-20). Let l = 48.05 - 47.45. Which is smaller: o or l?
o
Let s = -192/709 - -59461/216954. Let d be (-15)/(-21) + 2/7. Which is smaller: s or d?
s
Suppose v + 1259 + 559 = 3*t, 3658 = -2*v - 5*t. Let i be -2 + v/(-18) - 4/(-6). Let m be 162/i - 3/2. Is m < -1?
False
Suppose -86*d + 4679 = -911. Let c = 87 - 152. Let r = d + c. Is r greater than 2/3?
False
Suppose -8*o - 24 = -96. Let i be (-117)/(-30) - o/(-90). Which is greater: 3 or i?
i
Let l be ((-6)/4)/(1/(-18)). Let z = -25 + l. Suppose 12 = u + z*u. Is 0.03 equal to u?
False
Let t = 12 + -7. Suppose -t*q - 20 = -5*f, 10 = 3*f - 4*q - 6. Let u = 77246 + -386227/5. Is u > f?
True
Let s = 155.03 + -156. Let r = -0.52 - s. Let a = r + -41.45. Is -1 at least as big as a?
True
Let t = 42 - 18. Let v = t - -15. Let j = -18195 + 18233. Which is smaller: j or v?
j
Let d = 62462 + -63147.86. Let y = d - -686. Is -4 at most y?
True
Let a = 0.0786 + 409.9214. Let v = 410 - a. Is 231 < v?
False
Let z(c) = 3*c**2 + 9*c - 7. Let g be z(-5). Suppose 4*k = 5*h + 60, -g = 4*h + 2*k + 25. Which is smaller: -1 or h?
h
Let d be (-3)/((-4)/4 - 0). Suppose -6*j = -24*j + 72. Suppose -j*h - d = -11. Which is smaller: h or 10?
h
Let g(r) = r**3 + 7*r**2 + r - 3. Let s(w) = -w**2 - 5*w - 1. Let b be s(-6). Let n be g(b). Let u be 10/((-9)/(45/n)). Which is smaller: 1 or u?
1
Let c be 7735/455*2/374. Which is smaller: -1.1 or c?
-1.1
Let j = -193143/40 - -23456/5. Which is smaller: -138 or j?
-138
Let p(c) = -2*c**2 + 18*c + 1. Let r(y) = 11*y + 2. Let z be r(1). Suppose 0 = 12*m - z*m + 9. Let h be p(m). Which is smaller: h or 5?
h
Suppose 257*d + 301*d = 188*d - 283050. Which is greater: d or -771?
d
Suppose -234*a + 233*a - 2*y = -85, 2*a - 170 = -3*y. Which is bigger: a or 108?
108
Suppose 48*o + 58009 = -97655. Which is smaller: -3244 or o?
-3244
Let n = -6115 - -6113.347. Which is smaller: 3/5 or n?
n
Let d(t) = -9*t**3 - 43*t**2 - 51*t + 109. Let k(q) = 5*q**3 + 21*q**2 + 26*q - 54. Let x(r) = -4*d(r) - 7*k(r). Let i be x(-24). Is -12 not equal to i?
True
Suppose -2*z + 4 = 2*c, 0 = -c - 0*z + 4*z + 17. Suppose -2*k + a + 14 = -2*a, -c*k - 4*a + 35 = 0. Suppose -10*i - 60 = -k*i. Which is smaller: i or -21?
-21
Suppose 5*n = 2*k - 28, 181*n - 14 = -k + 177*n. Which is smaller: 109 or k?
k
Let f be 2 - 29523/13 - (-6 + -1). Is -1 less than or equal to f?
False
Let s = -2427.9 + 2428. Is s bigger than 4/193?
True
Suppose -33 = 4*c + 43. Let o(x) = -9*x**3 + 10*x**2 + x - 12. Let m(d) = 5*d**3 - 5*d**2 - d + 6. Let s(y) = 7*m(y) + 4*o(y). Let j be s(5). Does j = c?
False
Let p = 0.294 - 146.294. Let s = p + 145.8. Which is greater: s or -0.49?
s
Let x = -0.1033 - -68.2033. Let r = -68 + x. Is r > 62?
False
Suppose -152*w + 30 = -131*w - 117. Which is smaller: 211 or w?
w
Let o = -355477496/7625 + 46620. Which is bigger: 0 or o?
o
Suppose 24*s + 24578 = 26*s. Let i = -86225/7 + s. Which is greater: -30 or i?
i
Let a = 5372 + -4942. Which is smaller: 428 or a?
428
Let k be -29 - 628 - (-2 - -6 - (-11)/(-1)). Which is greater: -652 or k?
k
Suppose -23032 + 1096 = 48*b. Is -456 greater than b?
True
Suppose -1097 = -3*x - 5*s, -8 = -4*s + 2*s. Is 360 smaller than x?
False
Let b = -1321 + 1574. Is b <= 246?
False
Let b = -11689 + 128703/11. Let r = -11 + b. Suppose 6 = 3*d, -3*q + 5*d = 12 + 1. Is q bigger than r?
False
Suppose 203 = 409*x - 402*x. Suppose 340 = x*v + 108. Suppose 4*o - 19 - 9 = 0. Is v bigger than o?
True
Let g = -190 + 307. Let o = 1 - 120. Let v = o + g. Which is bigger: v or -0.5?
-0.5
Let f = 25899 + -25912. Let h be (-4)/(5/((-25)/(-2))). Is h smaller than f?
False
Let m be (22 - -5) + (-437 - -452). Let s(g) = -g**2 + 3*g + 2. Let h be s(3). Which is greater: h or m?
m
Let q = 77146310 - 126365649593/1638. Let o = q - 53/14. Is o bigger than -0.1?
True
Suppose 0 = -8*u + 33*d - 29*d + 132, -d - 48 = -3*u. Let o = 3953/280 + 1/40. Is o equal to u?
False
Let w be 2 + (-5 - (-16)/2). Suppose 7*v - 472 = 6*v - 3*y, -448 = -v + w*y. Let g = -18979/41 + v. Which is smaller: g or -1?
-1
Let c be 8/(-6)*(-1 + 170/(-4)). Suppose 223 = -5*i + c. Which is smaller: i or -31?
i
Let j = 8497 - 8575. Let x = 72 - 152. Which is smaller: x or j?
x
Suppose -4*f - 5*a - 30 = f, -2*f - 4*a - 22 = 0. Let i be -1 - (-10 + 4) - (7 - (-2352)/(-1183)). Is f at least i?
False
Let s be 12 - 5/(24365/58608). Which is greater: s or 1?
1
Let l be (14/4)/(1/(-2)). Let b be 6*6/(-180) + (-646)/(-2530). Let o = b + -7913/1265. Is o >= l?
True
Let y = 1.492 - -0.128. Let r = -1141 + 1140.62. Let q = r - y. Is -4/11 bigger than q?
True
Let l = 108 - 102. Let g(q) = 4*q**2 - 4*q + 7. Let m be g(l). Is m at most as big as 126?
False
Suppose 20*i - 21*i = -232879065. Let y = -1762661631193/7569 + i. Let b = 2/841 - y. Which is greater: 0.1 or b?
0.1
Suppose -2*x - 68 = q - 72, x - 16 = -4*q. Is x at most as big as 4/441?
True
Suppose 5*n = -l + 180, 0 = 2*n - l + 9 - 74. Suppose 3*m + 7*f + 15 = 4*f, -2*m + 3*f = n. Let a(c) = -5*c + 4. Let z be a(2). Are z and m unequal?
True
Let x = 952 - 951.6. Suppose -i - 434 = 5*l, 0*l = -4*l - 5*i - 343. Which is greater: x or l?
x
Suppose 3*b = -2*b - 55. Let l be ((-9)/(-6) + 1)*20/(-25). Let g = l - b. Is g greater than 6?
True
Let k be (-1520)/4368 + (-1)/(-3). Let w = 7078/1365 - k. Which is smaller: w or 4?
4
Let a = 1763.1 - 259.1. Which is greater: a or -1/2?
a
Suppose -2091 = -3*j + 4*w - 535, 0 = -5*w + 5. Suppose -436*z + j = -444*z. Which is greater: -70 or z?
z
Let h = -6.7978 + 0.1698. Let v = -0.692 + h. Which is smaller: v or -2/7?
v
Suppose 3*h = 2*s + 433, -8*h - 119 = -3*s - 765. Are s and -215 equal?
False
Let v = 7 - 19. Let t(x) = x - 3. Suppose -7*d = 3*d + 80. Let o be t(d). Which is smaller: v or o?
v
Let h = 0.578 + -0.088. Let p be (-671)/427 - 21/49. Is p < h?
True
Let i = 0.225 + -3.265. Let n = i - -3.44. Is -2/3 greater than n?
False
Suppose 392 = 26*v - 310. Let z = 6.04 + -6. Is z at most v?
True
Let j = -100754 - -1107391/11. Let o = j + 85719/1045. Which is smaller: 0 or o?
o
Let w be 4/(-18) - (-1171106)/1332. Let m = -879 + w. Is 1 not equal to m?
True
Let y be -97*1 + 2/1. Let v = -3202341/33620 + 9/8405. Is v <= y?
True
Let z be (-3)/3 + 5/11 + 1026/119130. Is z less than or equal to 0?
True
Let o = 113 - 53. Suppose -3*m + 5*m + 62 = 5*b, -4*b = m - o. Suppose -b*a + 3 = -13*a. Which is smaller: 1 or a?
1
Let x(d) = 2*d**2 - 77*d + 491. Let y be x(8). Which is greater: -0.1741 or y?
y
Let k(z) = -z**3 + 49*z**2 + 56*z - 1368. Let n be k(50). Is n less than or equal to -1075?
False
Let a be 4/(-160)*-5*826. Let i = 1477 - 1375. Is a less than or equal to i?
False
Let v = 263.6 - 263.87. Is v greater than 0.025?
False
Suppose -41*w + 2*w - 8*w - 7614 = 0. Which is bigger: -223 or w?
w
Let q = 4.1 - 0.1. Let g be (-4 - -2)*(0 + (-15)/2). Is g <= q?
False
Suppose -u + 4*s = -2008, 0 = u + 3*s + 1195 - 3196. Suppose -5*f = 544 - u. Let z be 9/(-6) - f/(-8). Is z > 2/3?
True
Suppose -23*h + 