 -4 + 5 - (l - -4). Is 3/13 smaller than p?
False
Suppose -61 = -4*m - 93. Suppose 1418 = 88*w + 63*w + 7307. Which is smaller: w or m?
w
Suppose -3*u = -2*i - 38, 7*i + 5*u = 2*i - 45. Suppose -40 = g - 9*g. Suppose r = -g*v - 3*r - 55, -4*v - 40 = 4*r. Which is greater: i or v?
i
Let w = 26 + -25.84. Let h = 30 - 31.1. Let y = h + 1. Is y at most w?
True
Let g = 23.95 - -0.05. Let u(q) = -71*q + 26*q + 16*q + q**2 + 17*q. Let p be u(0). Is g smaller than p?
False
Let a be (-470)/188*36/15 - 68*-132. Are 8970 and a equal?
True
Suppose -20*n + 38*n - 35 = 25*n. Which is smaller: n or -81/31?
n
Suppose -4*h + 40 = 5*d, -d + 16 = 3*d. Suppose -3 = h*f + 7. Let l be ((-6)/3 + 4)/f. Is l smaller than -3/37?
True
Let w be 3661416/(-952) + ((-8)/17)/4. Let t = -3857 - w. Does -11 = t?
False
Suppose 0 = -u - 3*u + 1076. Suppose 0 = l + n + 93, 3*l - 2*n + u = -0*n. Let t = l - -62. Are -29 and t unequal?
False
Suppose -w + 2*j + 18 = 0, -2*w + 0 + 11 = j. Is w at least 114/17?
True
Suppose h - 73 + 74 = 0. Let k be 42/(-189) - (-49)/423. Which is smaller: k or h?
h
Let j = -97/2 + 49. Let l = 1.66 + -1.7. Let x = -0.06 + l. Which is smaller: x or j?
x
Suppose 2*b + 23*b - 2*b + 10971 = 0. Which is smaller: -451 or b?
b
Let i = 23027 + -26964614/1171. Which is smaller: -1 or i?
-1
Let j = -210 + 816. Let u = j + -7273/12. Which is bigger: u or 1?
1
Let a = 4003 + -3075. Does 1 = a?
False
Let i = -0.0697 - 0.0303. Which is smaller: i or 1356?
i
Let b = -2018 - -2019.06. Let n = -0.06 + 0.12. Let x = n - b. Which is bigger: -6 or x?
x
Let w = -8.58 - 27.02. Let u = -35.2 - w. Is u greater than or equal to 57?
False
Let a = 36243 - 36219. Let x be (-177)/(-7) - 2/7. Which is smaller: x or a?
a
Suppose 47 = c + 4*m, -152 = -4*c - 2*m - 34. Suppose -34*y + c*y + 364 = 0. Let z = -38 + y. Are 15 and z nonequal?
True
Let k(b) = -b**3 + 10*b**2 - 10*b + 10. Let o be 0 - 33/(-3) - 2. Let h be k(o). Let z be 52/156 + (-38)/60. Are z and h nonequal?
True
Let z = 0.011 - 0.111. Let n = 0.3006 - 0.0096. Which is greater: n or z?
n
Let a(l) = 3*l - 15*l + 11*l. Let w be a(3). Let m be 3 + -2 + w + 2. Which is bigger: -3/14 or m?
m
Let j = 4677 - 4738. Suppose r - 181 = 3*m, -3*m + 134 = -5*m - 2*r. Is j greater than m?
True
Suppose 1704 = -80*j - 133*j. Which is smaller: j or -686/85?
-686/85
Let m = -358 + 53344/149. Let p be -5*1/(-1 + 0). Suppose -p*x = 2*c + 17, -4*x - 2 - 7 = -3*c. Is c > m?
False
Let z(l) = -l**3 + 11*l**2 - l + 10. Suppose -5*p - 5 = 0, 0 = -2*a - a + 2*p + 11. Let v be a/1 + 24/3. Let b be z(v). Is b smaller than -3/7?
True
Let i = 0.055 - 40.055. Let l = i - -64. Let g = 13 - l. Is 1 greater than g?
True
Let i = -117474/233 - -798468066/1584167. Let o = -13949/44978 + 27/86. Let p = o - i. Is p at most as big as 1/6?
True
Let j = 0.0035 + 166.9965. Let p be 2296/(-2706) - ((-4)/22 - 0). Which is greater: j or p?
j
Let s = -4 + 3.7. Let r = 22 - 36. Let n = r + 14.1. Do n and s have the same value?
False
Suppose -108 = -0*i + 4*i. Let o = 46 + i. Suppose 22*t - 47 - o = 0. Which is smaller: 39/10 or t?
t
Suppose 3*p = -3*m + 21, -5*p - 6*m + 55 = -5*m. Suppose 6 = 3*v + 2*r, -p*v + 10*v + r + 11 = 0. Is 9 equal to v?
False
Let p(g) = 211*g + 25954. Let x be p(-123). Let i = 2.05 - 0.35. Let a = i + -2. Which is smaller: x or a?
a
Let c(d) = d**2 + 12*d + 18. Suppose m - 11 = -3*r - 45, 2*r + 40 = -5*m. Let i be c(r). Let t be -17 + i + -2 + -1. Is t bigger than -21?
False
Let q be 1116/144 + (1 - 14/8). Let j be -2 + q - -6*55/(-66). Is -3/590 at least j?
False
Let d(s) = -39*s + 1679. Let i be d(43). Which is smaller: -1/375 or i?
-1/375
Let b(o) = o**3 - 20*o**2 - 3*o + 41. Let r = -386 + 406. Let h be b(r). Is -15 greater than h?
True
Let f(b) = -b**3 + 7*b**2 - 6*b. Let g = 13 - 7. Let l be f(g). Let r be 6/4 + (-11)/108*14. Is l > r?
False
Let w(a) = a**2 + 7*a + 18. Let s be w(-9). Suppose 35*b - s*b = -75. Let i = -1273/17 + b. Is 1 greater than i?
True
Let m be 4/26 - (286072/468)/1. Let g = -612 - m. Let x be ((-3)/(-6))/((-1)/4). Is g at least as big as x?
True
Let m be -13 + 0/3 - 5. Suppose 5*x + d - 15 + 287 = 0, 2*x = 3*d - 119. Let p be 10/x + (-370)/22. Are p and m equal?
False
Let b be ((-15)/(-27)*(-150)/(-230))/((-7)/(-154)). Which is smaller: b or 8?
b
Let q(n) = 3*n**2 - 55*n + 25. Let w be q(18). Let r(y) = 9*y**2 - y + 35. Let p be r(w). Is p smaller than 468?
False
Suppose 4*t - 2082 = -2*c, -5*c + 2701 = 4*t + 610. Is 518 >= t?
False
Let p = -0.05 + 20.05. Let c = -23 - p. Which is greater: c or 1?
1
Let b(n) = -9*n**3 - 18*n**2 - 37*n**2 + 10*n - 16 + 11*n**3 - 3*n**3 + 5*n**3. Let f be b(14). Which is smaller: 318 or f?
318
Suppose 2*b - 71 = -3*v, -4*b - 55 = -3*v - 26. Which is greater: 142 or v?
142
Let q = 3 - -10. Let b(z) = z**2 - 3*z + 11. Let v = 149 + -149. Let y be b(v). Which is smaller: q or y?
y
Let m(w) = w**3 + 11*w**2 - w - 14. Let q be m(-11). Let l = 680 - 675.7. Which is bigger: q or l?
l
Suppose 0 = -2*h - 4*o - 1036, -3*o - 1100 = 2*h - 59. Which is greater: -527 or h?
-527
Let f = -321 + 323. Let v be -1 + -2 - (-10 - f). Which is bigger: 13 or v?
13
Let b(l) = -7*l**2 - 32*l + 128. Let c be b(4). Is c less than or equal to 37?
True
Let t be (-2 - -3)*(-8)/1 - 20279/(-49). Are t and 407 unequal?
True
Suppose 0 = -32*z + 7791 + 63985. Is 2241 at most as big as z?
True
Let v = 6.254 - 6.186. Which is smaller: v or 6.9?
v
Suppose -10*l - 1178 = 1295 + 2307. Which is greater: l or -477?
-477
Let i = -8332 - -8333. Are i and 39/118 equal?
False
Let u be 0/5*((-291)/(-24) - 12). Is -8/627 < u?
True
Let t be (-327)/51 + 4 - -2. Let l be 2 + (-24)/15 + (-14)/10. Let v be -3 + l - (-15)/3. Which is greater: t or v?
v
Let o(z) = 5*z - 87. Let t be o(17). Let c(w) = -7*w**2 - 2. Let r be c(t). Is r equal to -32?
False
Let b be (-5 + 36/4)/(-4). Which is bigger: b or 7/316?
7/316
Let k(p) = p**3 - 9*p**2 + 12*p - 11. Let f be k(5). Let u = f - -55. Suppose -u*s + 48 = -z + 6*z, -2*s = -4. Which is greater: 5 or z?
z
Let n(p) be the third derivative of -7*p**2 - 1/60*p**5 + 0 + 0*p**3 - 1/24*p**4 + 0*p. Let y be n(0). Which is smaller: 0.33 or y?
y
Let b be (-24)/(122304/71260) - -14. Is b != 60?
True
Let m = -35/76 + 4/19. Suppose -285*z - 340*z - 53449 = -152*z. Which is bigger: m or z?
m
Let k = -4442 - -4442.07. Is k at least 0.0158?
True
Let q = 644023/2 - 1407190353/4370. Let k = q - 2/95. Suppose -3*f = 5*m + 2, 14 = -42*m + 40*m + f. Which is smaller: m or k?
m
Let y(r) = r + 16. Let k be (-9 - -6) + 1 + 18. Let h be y(k). Which is bigger: h or 26?
h
Let j = -2 + 3. Let r = j - 1. Let c be 1581/465 + 54/(-20). Which is bigger: r or c?
c
Let g be ((-3)/(-18))/(2/(-28))*-3. Suppose -5*v + 0*q + q - 5 = 0, -4*q + 20 = -2*v. Let z = v - -8. Which is greater: z or g?
z
Suppose -5*u + 3*h - 103 = h, 4*u + 3*h + 64 = 0. Let x be -4 + 4 - (0 - u). Let i = x - -18. Is i greater than -14/13?
True
Let u = 2376.4 + -2376.601. Which is smaller: u or 8?
u
Let d be (-42)/(-5140)*((-285)/18)/(-19). Let m = -104765/13364 - d. Is m smaller than -7?
True
Let b be ((-1)/4)/(1 + 4 + 212/(-44)). Which is smaller: -1 or b?
b
Let d = -52 - -57. Suppose 70 = 2*j - h + d*h, -94 = -2*j + 4*h. Are 38 and j equal?
False
Let i = 14.9 - 7.3. Let t = i - 57.6. Let k = -54 - t. Is -1/11 equal to k?
False
Suppose 299*g = -167*g + 219*g - 247. Let d = 106 + -39. Is d >= g?
True
Suppose 5*q + 20 = 0, 3*q = y - 6*y - 6047. Which is bigger: -1206 or y?
-1206
Let o = -1517 - -156248/103. Do 0 and o have the same value?
False
Let o(i) = -974*i**2 - 8*i + 15. Let t be o(5). Let b be (-2)/(-9) - (t/27 - 8). Let v = b - 3705/4. Which is bigger: -15 or v?
-15
Let y(b) = -2902*b + 170. Let m be y(-2). Is m != 5977?
True
Suppose -174*b = 89 - 263. Is b greater than 4/377?
True
Suppose -242 = -2*v + 4*y, 3*v - 5*y - 350 - 14 = 0. Let u be 542/(-12) - (v/18 - 7). Which is smaller: -44 or u?
u
Suppose 6*l - 49 - 17 = 0. Suppose l = u - 4. Let s = 496 - 479. Which is greater: u or s?
s
Let y = -1614/11 - -797/22. Let u = 110 + y. Which is smaller: -268 or u?
-268
Let l(h) = 4*h**2 - 12*h + 46. Let c be l(3). Suppose 2*w - c = 4*w. Is w greater than or equal to -67/3?
False
Let b be ((-334)/(-8) - 0)*4. Let r = 164 - b. Which is bigger: -1 or