u - 106 = -0*s + 5*s, -u - 31 = -s. Which is bigger: u or -0.1?
-0.1
Let p = -6504 + -86. Is p at most -13181/2?
False
Let g = 2.104 - 0.364. Is g equal to 0.2?
False
Suppose -142*p + 122*p - 79920 = 0. Is p at most as big as -3998?
False
Let g = -96.97 + 97.26. Which is smaller: 0.35 or g?
g
Let o = 0.643 + -0.093. Suppose -8*b - 5*b = 8*b. Is o at most as big as b?
False
Let b be 6/(-3) + 115/1. Suppose z - 92 = -7*m + 3*m, 585 = 5*z - 5*m. Let w = b - z. Is 4/67 > w?
False
Let s be (-328)/(-410)*((-26)/4 + -1). Let q be (-2)/3864*s*-2. Is 0 less than or equal to q?
False
Let c be -6 + 917/(-20 - -13). Is -147 greater than or equal to c?
False
Let f = -2.1 + 2. Let o = 1.2186 + 412.8314. Let n = o + -414. Is f equal to n?
False
Suppose -5*l = -0*l + 5*j - 725, 430 = 3*l + 2*j. Let x = l + -1121/8. Is x at most as big as 3/4?
True
Suppose 20*b = -2512 + 2512. Does b = -8418?
False
Let a = 3 - 8. Let c be -28*(0 + a/4). Suppose 0 = 186*w - 210*w + 840. Are c and w non-equal?
False
Suppose 78*q - 535551 = -122541. Is q <= 5293?
False
Let z(u) = -2*u - 38. Let i be z(-20). Let h be 3838/(-1273) + i + 1. Is 1 less than h?
False
Suppose -115*s - 7815 = -120*s. Which is smaller: s or 1561?
1561
Let o = 1264 + -1263. Are o and -14/1223 equal?
False
Suppose -77*v + 67*v = -8890. Let w = -6221/7 + v. Let y be ((-2)/6)/(2/6). Which is smaller: w or y?
y
Let z = -682 + -5134. Which is bigger: -5815 or z?
-5815
Let l = 96 - 63. Let m = -33.2 + l. Is m >= -0.8?
True
Let y = -303.242 - 0.758. Let d = y + 303.9. Let l = 171 + -2220/13. Which is smaller: l or d?
d
Let g(m) = -4*m - 6. Let p be g(-5). Suppose -p*n = -13*n. Let i be 2/98*2*(-4)/8. Which is smaller: i or n?
i
Let b = -2.81 + 2.8. Which is greater: -2/55 or b?
b
Let f = -10511/3 + 451676/129. Which is smaller: -1 or f?
f
Let g = 2652 + -2652. Is 2/7423 at most as big as g?
False
Let g(o) = 4895*o + 1346. Let s be g(3). Which is smaller: 16032 or s?
s
Suppose 2046 = 8*a + 7*a - 3714. Which is smaller: a or 387?
a
Let t = -401 - -157. Let k = 245 + t. Is -119 equal to k?
False
Let p(d) = d**3 - 9*d**2 - 8*d + 6. Let w be p(11). Let s = 97 - w. Which is smaller: -64 or s?
-64
Let n = 542881/238 - 2281. Do n and 0 have different values?
True
Let i = -745 + 808. Is i less than 3.8?
False
Let i = -16 + 27. Let b = -11.1 + i. Let u = 26 - 26.5. Is u smaller than b?
True
Let p(f) = 53683*f + 536428. Let x be p(-10). Suppose -9 = -3*h, 5*u + h - 364 + 2371 = 0. Is u <= x?
True
Let i = -0.02 + 0.62. Suppose -7*o = -26*o - 6935. Let d = 372 + o. Which is smaller: i or d?
i
Let h = 45 - 46. Let k be (h/206)/(-4 - 34/(-8)). Let a be 15/9*1 - 14/21. Which is smaller: a or k?
k
Suppose -4*i = 4*j - 120, 4*j + 123 = 5*i - 0*j. Let w be -4 + (i - 6/2). Let q be 172/w + (-2)/(-5). Which is bigger: -1 or q?
q
Let q = 60187303/78792 + -8/9849. Is q equal to 765?
False
Let l = -16479 - -16480. Do l and 0.143 have different values?
True
Suppose 5*v - 19 = 6. Let l = -28 + 17. Let n = l + v. Are 2 and n non-equal?
True
Let y(s) = -14 + s**2 + 0*s**2 - 3*s - 63*s**3 - 424*s**3 + 34 - 19. Let c be y(1). Is 1/2 < c?
False
Suppose -19*t = -30 - 27. Does -33 = t?
False
Let p be (3*3/54)/(3/(54/6)). Which is smaller: p or 15/4?
p
Suppose 2*g + g = 5*t + 4, 13 = 5*g - 2*t. Let q be (1 + 27/(-15))*-130 + g. Suppose -4*d + q = -73. Which is smaller: 46 or d?
d
Let f(y) = -4*y + 36. Let z be f(3). Suppose 0 = -z*o - 296 - 16. Which is greater: o or 1/3?
1/3
Let d = -98 - -101. Suppose p + 130 = -299. Let o be 13/(p/90) + d. Is o greater than 1?
False
Suppose 5*u + 159 = 5*y - 116, 3*y + 2*u = 180. Let x be 1/2*2 + (-116)/y. Is x smaller than -0.0172?
True
Let f = 293 - 167. Let n = -231 + f. Which is smaller: n or -107?
-107
Let p = 509 + -246. Let l = p + -248.8. Which is greater: 0 or l?
l
Let v be 45/60 + 1 + (-2422)/8. Let q = 445 + v. Is 146 at least q?
True
Let h = -137/5 - -866/15. Suppose 5*c + 106 = -4*t + 6, 3*t - 2*c = -98. Let w = t + h. Is 43 at most w?
False
Let q = 667/10 + -9253/140. Which is smaller: q or 0?
0
Let w be -15 + (-13 + 12 - -19) - 14. Let o be 1*-15*2/3. Which is greater: w or o?
o
Let o(h) = -h**3 + 5*h**2 + 9*h - 8. Let i be o(6). Let q = -88 - -84. Let b be (1300/(-25))/(0 + q). Which is smaller: i or b?
i
Let m = 3026 - 9296/3. Let c = -154 - -81. Is c at least m?
False
Let z be 1*5*68/(-85). Let s be 2 + -2 + (-4 - z). Let b = 331/3 - 221/2. Which is bigger: s or b?
s
Suppose 2*u + 232 - 69 = 5*b, 0 = u + 4. Let v be b + 3/((-3)/(-4)). Is v bigger than 34?
True
Suppose 0 = -3*r + 8*r - 25. Let l be r/(-35)*48 + 7. Which is smaller: l or 0.02?
0.02
Let o = -74714 + 126934. Let n be 2/(-31) + o/742140. Which is bigger: 0 or n?
n
Let u(b) = -3*b**3 - 10*b**2 + b + 69. Let j be u(-3). Which is smaller: j or 94?
j
Let h = 49529317/1906 + -25986. Is h at most as big as 1?
True
Suppose 4*v - 25 = 2*u + 5, 2*v + u = 13. Is v greater than 324/43?
False
Let m be (8 - 8)/6 + (-1 - -3). Let d be m/5 - (-256)/120*-3. Do d and -3 have the same value?
False
Let g be (108/63)/(((-2)/(-14))/(-1)). Suppose -4*t + t + 84 = 0. Let s = 17 - t. Which is bigger: g or s?
s
Let b(c) = -9*c - 128. Let j be (-1)/(-1) + 4*-2. Let r be b(j). Which is greater: -68 or r?
r
Let j(o) = 0 + 2 - 2*o**2 + 3*o**3 - 8*o**3 + 6*o**3 - 3*o. Let b be j(2). Let u = -1 - b. Does 3/2 = u?
False
Let z = -6822051/370 + 18438. Is z less than or equal to 1?
True
Let h be (-8 - -51) + -2 + -1 - 3. Let q be (140/(-105))/(-1 - h/(-54)). Which is greater: q or 5?
5
Suppose -2*i = 4*y - 6, 5*i - 4*i - 3*y - 13 = 0. Let q be 4 - (-5)/(-20)*4. Suppose -r + q*o = 16, -i = -3*r - o - o. Is 1/9 less than or equal to r?
False
Let q(i) = i**3 + 12*i**2 + 10*i + 9. Let o(r) = r**3 + 9*r**2 + r + 9. Let c be o(-9). Let d be -16 - -7 - (2 + c). Let w be q(d). Is w != 20?
False
Suppose -12*x = 83*x - 2280. Is 34 bigger than x?
True
Let k = 18861649/2112894 - 5/51534. Which is bigger: 8 or k?
k
Let i be 27/99 - 4/(-176)*-59236. Which is smaller: -1345 or i?
i
Let a be (11/(-4))/((-7)/(-4)). Let b be (54/(-108))/(2/(-12)). Suppose 5 = -8*g + b*g. Is g at least as big as a?
True
Let u be 17/(-9) + 2*1. Let i = -290 - -289. Let g be 34/(-68)*(-1 + i). Are u and g nonequal?
True
Let p = -6 - -11. Let c be (p + 525/5)*(-14)/48. Let s = c - -135/4. Do -0.5 and s have the same value?
False
Let c = -10331/14 + 737. Let d(k) = -3*k**3 - 434*k**2 - 304*k - 2305. Let h be d(-144). Which is bigger: c or h?
c
Suppose 0 = -34*s + 498 + 2324. Suppose 0 = -5*o + 3*o - 3*y - s, 0 = -o - 5*y - 24. Which is greater: o or -44?
-44
Let d = 1/5 - -2/15. Let l be (-1*1/307)/(14/28). Let q = 917/614 - l. Which is greater: q or d?
q
Let s = 1788 + -73297/41. Is 0 equal to s?
False
Let j be (-1875)/(-1791) - (0 + 0) - 885/2655. Which is bigger: 2 or j?
2
Let l = 4657 + -2353. Do l and 2/5 have the same value?
False
Let q be ((-30)/450)/(3/4122). Which is smaller: q or 3?
q
Let a = 139409/85 + -8167/5. Let t = a + -473/68. Which is bigger: -2/349 or t?
-2/349
Let u be (15/(-50))/(-7 + (-220)/(-25)). Is 17 less than u?
False
Let l = -1.3 - -0.3. Let q = 9.3 + -7.2. Let k = 6.7 - q. Is l greater than or equal to k?
False
Let p be ((-1)/(-8))/((5 + (-9 - -2))/1772). Is -111 != p?
True
Let d(l) = -l**3 - 2*l**2 + 3*l - 11. Let o be 4/18 + (-94)/18. Let u be d(o). Is u > 50?
False
Let k = 17 + 18. Suppose y = -y - d + k, 0 = 5*y - d - 84. Let j = -17 + y. Which is smaller: j or -2?
-2
Let w = -69.32 + 70.39. Is w not equal to -0.01?
True
Let k be (14/(-21))/(0 - 1/(-3)). Let d be k/3 - 61/(-6)*4. Suppose -5*m + u = -2*m + d, 0 = m - 4*u + 17. Which is smaller: -5 or m?
m
Let w be (-4541)/(-17) - 176/1496. Suppose -30 = w*j - 270*j. Suppose -3*h - k = -25, 0 = -4*h + 2*k + 2*k + 60. Is h greater than or equal to j?
True
Let y = -2.1 - -10.1. Let t = y + -6. Let i = 6028 + -6028.04. Are i and t equal?
False
Let m = -90.174 + 0.174. Let d = m + 15. Let o = -75.1 - d. Is o at least 65?
False
Let j(s) = -s**3 + 14*s**2 - s + 15. Suppose -7 = -y - 4*v - 9, -26 = -3*y - 4*v. Let d be j(y). Which is smaller: d or -12/67?
-12/67
Let y be ((-76)/57)/((-8)/18). Let v be (-96)/y*(0 - (-6)/(-9)). Is 21 less than v?
True
Let g = -2/1945 - -752719/3890. Let b = 193 - g. Which is smaller: -33 or b?
