 is bigger: b or p?
b
Let g = 2.12 - 2.02. Let q be 1/58*-3*2. Let f = 139/58 - q. Does g = f?
False
Let b(d) = 7*d + 13. Let j be b(12). Let m = 1239/4 - 310. Which is bigger: j or m?
j
Let j(b) = 2*b**2 - 20*b - 112. Let g be j(14). Is -1/453 equal to g?
False
Let n(p) = -1 + 1 - 8*p + 5*p. Let q be n(-4). Suppose 4*l + 26 = 2*m, 5*m + 5*l - l - 51 = 0. Is q less than m?
False
Let n(r) = 480*r + 2. Let d be n(-1). Let p = d - -14821/31. Suppose -2*a + 130 - 128 = 0. Which is greater: p or a?
a
Let f = 60.1 - -11.9. Suppose -5*i - 5*h - 2665 = 0, 0 = 5*i - 8*i + h - 1607. Let n = -3743/7 - i. Which is greater: n or f?
f
Let m = -4332433/689 + 6288. Which is smaller: m or 1?
m
Let t(z) be the first derivative of -z**3/3 - 2*z**2 + 25*z - 39. Let m be t(-7). Let c be (-1)/((-2)/(-12)*-1). Is m >= c?
False
Let d be ((-57127)/836)/(-1) + 0. Let l = d - 9055/132. Let a = l + -16/57. Are a and 0.2 equal?
False
Let n(c) = 203*c + 829. Let w be n(-4). Let t = -7 + 2. Let j = t + 6. Is j != w?
True
Let n(t) = -t**2 + 13*t - 25. Let o be 1304/120 - (-4)/30. Let p be n(o). Let a be (4 - p/(-1))*2/(-36). Is a smaller than -1?
False
Let c(o) = 9*o**3 - 262*o**2 + 29*o. Let h be c(29). Is 26/99 smaller than h?
False
Suppose -97*n = -393*n - 22200. Is -1881/25 > n?
False
Let w = -0.155 + -2.095. Let m = w - -2.65. Is m < 42?
True
Let z = -5978 + 5977.97. Which is smaller: z or -84?
-84
Suppose 0 = 4*l - 16, l + 25 - 75 = z. Is -902/19 greater than or equal to z?
False
Let l = -0.03132 - 808.96868. Is -2 at most as big as l?
False
Suppose -3*b + 0*p + 4*p = 16, -16 = -2*b - 4*p. Which is greater: b or -42?
b
Let z be (-1380)/(-9) + ((-770)/(-21))/22. Let q(a) = -2*a**3 - 8*a**2 + 2*a + 24. Let r be q(-6). Which is greater: z or r?
r
Let g = 354 + -403. Let q be (-69)/((-3)/14*g/(-28)). Does 185 = q?
False
Let m be 3/((-54)/(-2190))*(-132)/(-10). Are m and 1607 equal?
False
Let n(h) = 24 - 21 + 25*h - h**2 - 117 + 1. Let b be n(16). Are b and 24 non-equal?
True
Let g = -405 - -405.239. Let s = -1.239 + g. Is s > 15.6?
False
Let j be ((-2)/(-6))/(8*6/18576). Let h = 142 - j. Is h less than 0?
False
Let y = 1.972 + -2. Let a = y - -2.128. Let j = a + -2.13. Which is smaller: 2/5 or j?
j
Let z be (-6840)/25 + 15/25 - (-8 - -13). Which is smaller: z or -1669/6?
-1669/6
Suppose -81 = -14*v + 17*v. Let l = v + 30. Suppose -l - 1 = -4*w. Which is smaller: w or -2?
-2
Suppose 3*f = 5*q - 22, f + 2*f + 16 = 2*q. Let m(d) = 2*d**2 + 48*d - 272. Let x be m(7). Let r be (-20)/(-9) + (-36)/x. Do q and r have different values?
False
Suppose -13*d = -2*d + 66. Let x = -22 + 21. Let r be (-7)/(-3)*d/(-21)*x. Which is bigger: -1 or r?
r
Let v = 614 + 3182. Which is bigger: 3799 or v?
3799
Let c = -52 - 22. Let m = -39 - c. Is 36 greater than m?
True
Let h = 12.4 + -12.423. Let p = h + 0.223. Which is bigger: 2/349 or p?
p
Let j = -5.56 - -9.56. Is 599 <= j?
False
Let w(j) = -12*j - 270. Let z be w(-22). Let c = -13 + 14. Do z and c have the same value?
False
Suppose -4*z = 5*c - 0*z + 40, -c - 4*z = -8. Let n be 1056/(-54) - c/(-27). Which is smaller: -21 or n?
-21
Let u = -31151/12 + 7784/3. Which is smaller: 454 or u?
u
Let a = 44417/549 - 123/61. Which is smaller: a or 78?
78
Let w = -3323 - -93. Do w and -3230 have different values?
False
Let l(t) = t**3 + t**2 + 4. Let n be l(0). Suppose 4*g = -5*v - 15 + 100, -n*v - 2*g + 62 = 0. Suppose 0 = v*b - 8*b - 110. Which is smaller: b or 20?
20
Let s = 16939.037 - 16939. Which is greater: 2/45 or s?
2/45
Suppose 3 = -b - 2*q, 5299*b + 5*q + 39 = 5295*b. Let d be ((-1)/(-1))/((-1)/21). Is d smaller than b?
False
Let g = 0.0431 - -0.1569. Let q = -14.78 - -15. Let o = q - 0.1. Is g smaller than o?
False
Let l = 3424.075 + -3493. Let x = l - -38.8. Let z = x + 30. Are z and -0.1 unequal?
True
Let r(s) = 3*s**2 + 48*s - 108. Let n be r(2). Let h = -7046/24495 - -32/115. Which is smaller: h or n?
h
Let w(j) = -j**3 - 145*j**2 + 168*j + 3211. Let g be w(-146). Is g bigger than -279/29?
True
Let s = 2621 + -2616. Suppose p = -3*p + 12. Which is greater: p or s?
s
Let p = 1.84 - 2.1. Let k = 181 + 230. Let o = 412 - k. Is o at most as big as p?
False
Suppose 0 = -14*a + 4019 - 505. Let t = a - 256. Let p(i) = 3*i - 1. Let q be p(1). Which is smaller: t or q?
t
Let l = 0.75 + -0.54. Let c = 0.19 + l. Let k = -0.6 - c. Is k != -3?
True
Let z = 3.92 + 0.08. Let x = 0.9 + -0.4. Let c = x + 0.1. Which is smaller: z or c?
c
Let d = 15326 + -15326.3. Is d not equal to 134?
True
Suppose 44 = 4*a - 2*k - 2, -2*a - 2*k = -38. Let b(p) = -4*p - 13. Let h be b(-7). Let j = h - a. Is j smaller than -1/9?
False
Let u be 30/6 + 31/(279/(-126)). Which is smaller: -59 or u?
-59
Let y = 0.701 + -23.001. Let u = -22.5 - y. Is -2.29 at most as big as u?
True
Let n be ((-16)/2)/((-16)/96). Let l be n/(-4032)*16/(-90). Which is smaller: l or 1/3?
l
Let v = 8/6441 + -5867/83733. Which is bigger: v or 1/3?
1/3
Let j be ((-116)/(-36) - 3)*-24. Let x = 80 + -77. Let v be ((4 + x)/7)/(2/(-10)). Which is smaller: v or j?
j
Let s = 21033 + -525818/25. Is s equal to -0.8?
False
Let c(w) = 13*w - 17. Let p be c(2). Suppose 0 = 2*h + p - 3. Let u be (5/5)/(((-6)/2)/h). Are u and 11/10 equal?
False
Suppose l - 70 = 15*l. Let a be (l/10)/((-9)/4 + -1). Which is smaller: 0.2 or a?
a
Let l be 0 - 2/(-5)*-31*-10. Suppose 2*x - l = -2*k, k + 230 = 4*x - 4*k. Let w = x - 651/11. Is w less than or equal to 0?
False
Let u be (-7)/56*4*(36 - 0). Let t be ((-4)/3)/((-42)/u). Is 6 at least t?
True
Suppose 45*n - 8 = 43*n. Let l = -4 - 1. Let h be (-20)/l*1/n. Is 1 less than or equal to h?
True
Suppose -2*m + 5 = 3*p + 6, -5*m - 16 = 3*p. Let y be (-1 - 0*(p - 4))/(-1). Are -2/303 and y nonequal?
True
Let f be (-1160)/(-1820) + (9/(-3) - 46/(-14)). Is f at least as big as 2?
False
Let l = 3207 - 3122. Is 93 < l?
False
Let i = 96 + -89. Let p = 39 + i. Which is smaller: p or 45?
45
Let l = -475 - -477. Let h be (l - (-708)/(-342))/((-248)/12). Which is smaller: h or 0?
0
Let b be 35 - (-6)/(-4)*2. Suppose 10*a = -6*a + b. Let x be -1 + a + (-57)/66. Which is smaller: x or 0?
0
Suppose -5*j + 138 = 38. Let i(m) = -2*m**2 - 23*m - 6. Let x be i(-11). Suppose -2*n - x*o + 27 = 0, 45 = -3*n + 2*o + 114. Which is greater: j or n?
n
Let a = -0.1 + 8.1. Let q = a - 9. Let r = -0.4225 + -1.2775. Which is bigger: q or r?
q
Suppose 0 = -c - 102*z + 97*z + 16, -2*c + 37 = 5*z. Let h = 28 - 2. Is h at most c?
False
Let p = -2/55997 - -60644759/223988. Let f = p - 271. Are -550 and f equal?
False
Let a be (3/(-2))/((-2)/4). Let r = 2992 + -2994. Is a smaller than r?
False
Suppose -5*a + y = -4*a + 3, 2*a = 4*y - 12. Suppose a = -11*k + 12 - 1. Which is greater: k or -2/769?
k
Let r = -21.2 + 3. Let q = -0.02211 - -11.22211. Let l = q + r. Which is smaller: l or -0.1?
l
Let w(d) = d**2 - 4*d + 5. Let h be w(3). Suppose 156 = h*j + 2*y, -2*j - 5*y + 47 = -124. Are j and 72 equal?
False
Let f = -623.4 + 795. Let x = 171 - f. Which is smaller: x or 0.11?
x
Let g = -36 + 40. Suppose i - 515 = -g*c, 4*c + 342 = 2*i + 860. Which is bigger: 128 or c?
c
Let m = 341.8 + -341.7. Is m equal to -1631/4?
False
Let f = 2.806 + 298.194. Which is greater: 3/2 or f?
f
Let a = 74.0794 - 0.0794. Let u = 74 - a. Is 24/23 less than u?
False
Let b = 7848 - 8309. Is b >= 20?
False
Let u = -37649 + 38488. Which is smaller: u or 847?
u
Let g be (2/10 + 420/25)*9. Let w be -1*3 - g/(-51). Let m be (15/(-80))/((-19)/(-4)). Which is smaller: w or m?
m
Suppose 0 = 2*l + 12, -3972 = -166*i + 165*i + 4*l. Which is smaller: i or 27632/7?
27632/7
Let h be 2/(100/(-2154)) - (-290)/3625. Is -69 < h?
True
Let f = -0.11425 + 1.11425. Let l = 1.35 + 4.95. Let o = l + -6. Which is bigger: o or f?
f
Let q = 135 - 671/5. Suppose 35*y + 18*y - 227 = 568. Which is greater: y or q?
y
Let w = 10060 - 9775. Is 270 <= w?
True
Let n(m) = 4*m**2 + 9*m - 5. Let p be n(-3). Suppose -3*j - 4*g - p = 0, -12 - 4 = -5*j - g. Which is smaller: 5/2 or j?
5/2
Let m = 4.87 + 0.13. Let p = 166 - 181. Which is greater: p or m?
m
Let n be (-1811)/(1 + -4 + 2). Suppose -4*j = -3*i - 2424, 3*j - 4*i = -0*j + n. Let z be (j/14)/(1/((-1)/(-3))). Which is greater: 15 or z?
15
Let a = -9615 - -9742. Let w = 197 + -71. Which is bigger: w or a?
a
Let t(q) =