(-15)/(b/(-3)). Does z = -1/87?
False
Let l be 3/(-5) + ((-11457798)/(-334840))/57. Is -1 less than l?
True
Suppose 0 = -3*y - 5*f + 8713, -3553 + 15152 = 4*y + 3*f. Let l = y + -20134/7. Which is bigger: 21 or l?
21
Let a be (-8231)/(-4140) - 10/5. Let v = -1/207 + a. Let z be (-2)/(-2)*(-21)/(-21). Which is greater: v or z?
z
Let f = -701/72 - -69/8. Let m = -356 - -354. Is m bigger than f?
False
Let c be (-6186)/(-18) + 7/(84/(-8)). Let j = c + -385. Is -42 at least j?
True
Let y = -30253466886251791/27708188467 + 64419749/59. Let w = -7006414809507/13295234161030 - y. Let a = -1/1490 - w. Which is bigger: 2 or a?
2
Let f = -76651 - -50309. Which is bigger: f or -26343?
f
Suppose -3*w - 74*a + 75*a - 351 = 0, -28*w - 3351 = -a. Which is bigger: -126 or w?
w
Let o be (-1270)/136 - (-6)/24 - -1. Let a = 10/17 + o. Is a at most as big as -9?
False
Suppose 0 = 2*a - 5*h + 14, -5*a - 3*h + 18 = -9. Suppose 5*w + 4 = a*w. Let x be (-1 - w)*-2 - 1. Do x and -3 have the same value?
True
Let k = 1/2 - 23/52. Let b = -83/364 - k. Which is bigger: 0.03 or b?
0.03
Let l = -2496/77836757 + 64415625502489/842038037226. Let r = 2/5409 + l. Which is greater: 77 or r?
77
Let l = -72.8 + 418.8. Let o = l - 346. Which is smaller: 60 or o?
o
Let m = 7595/6 - 48103/38. Which is bigger: m or 38?
38
Suppose 2*z = 13*z - 10912. Let u = z + -2906/3. Let m = 67 - 45. Are m and u equal?
False
Suppose 48*i - 4785 = 37*i. Let j = i - 426. Is j >= 10?
False
Suppose -5*z + 25 = s - 419, 0 = -3*z + 5*s + 272. Suppose -5*d - z = 86. Let t = 0.75 + 0.25. Which is smaller: d or t?
d
Suppose 50*f - 212*f = 0. Which is greater: f or 37/51?
37/51
Let h = -637/15476 + 1/292. Suppose -14 = 2*y + 10*m - 7*m, -4*m = 16. Which is smaller: y or h?
y
Let w be (-9 - -9)*(0 - 1). Suppose -13*a - 1 - 12 = w. Which is smaller: a or 6?
a
Let z = 7331 - 4248. Which is smaller: 3082 or z?
3082
Let z be ((-15)/(-6) + -4)/((-30)/(-80)). Suppose -5*w = 5*r - 11335, 3*r - 11315 = -2*r + 5*w. Let u be z/26 - (-2 - r/(-1248)). Is u >= 1?
False
Let q be 1*(30/5 + -2). Suppose -n + 5*n - 18 = -2*b, 2*n = 3*b + 29. Suppose -n = 5*t + q*i, -3*t - 2 = -8*t - i. Which is greater: 15/7 or t?
15/7
Let r(d) = 9*d + 1. Let v be r(1). Suppose -2*b - 7 = -3*h, -2*h - 4*b - v = 12. Let c be 2/75*-3*h. Which is smaller: c or 0?
0
Let y(m) = -m - 8. Let l be y(4). Let r(u) = u + 15. Let k be r(l). Suppose -5*h + 3*s = -178, -k*s + 102 = 3*h - 24. Which is greater: 39 or h?
39
Let d be 18/4 - (-2)/(-4). Let m(c) = -50*c + 353. Let y be m(7). Suppose -4*b - d = y*s - 5*b, -b = -2*s - 4. Which is bigger: 2/9 or s?
2/9
Suppose 0 = -3*z + 5*c - 7, -z + c = -6*z - 21. Let w be (z/(-8) - 4)*(-2 - 0). Suppose -14*g = -7*g + w. Is 3/19 smaller than g?
False
Let v be 3377/(-35332) - (-6)/(-33). Let h be ((-1)/2)/((-146)/8). Let m = v + h. Which is smaller: m or -0.03?
m
Suppose 631*b - 2*x = 635*b - 5772, x = 6. Is b > 1442?
False
Suppose -3*y - q - 175 = 0, -2*q = 3*y + y + 232. Let m = y - -59. Suppose m = 2*j - 8, 5*d - j + 4*j + 253 = 0. Is d at most -52?
True
Let n = -0.76 + -26.24. Let m = -29 - n. Is m < 1?
True
Let h = -24 + 188. Let m = -1.549 + 0.549. Which is greater: h or m?
h
Let p be ((-9)/(-12))/((-36)/48). Let y = 4/1271 - 16667/45756. Which is smaller: p or y?
p
Let c(d) = 101*d**2 - 9*d + 114*d**2 + 82*d**2 + 9. Let a be c(1). Are 296 and a nonequal?
True
Let y(s) = -s**3 + 4*s**2 + 23*s - 89. Let t be y(5). Which is greater: t or -4399?
t
Let j = -34 + -21. Let s = 57 + j. Suppose 5 + 34 = -3*b. Which is smaller: b or s?
b
Suppose 1019*r - 1016*r = 2*d - 3382, 0 = 3*d + 5*r - 5111. Is d <= 1694?
False
Let c = -5887 + 1771989/301. Let w = -342467/217 + 48915/31. Do w and c have the same value?
False
Let c be ((-44)/(-22))/(4/6). Suppose -2*v + 3*i + 12 = c*v, -5*v = i + 4. Is 13/10 less than v?
False
Suppose 0 = -208*k + 201*k - 14. Let r be (33/6 + -5)*k. Which is bigger: -2/949 or r?
-2/949
Let c = -24.214 + 0.214. Let f = 0.013 - 0.053. Is f greater than c?
True
Let c(o) = -2*o**3 + 79*o**2 + 35*o + 198. Let v be c(40). Is -52/101 less than v?
False
Suppose 2*t = 0, -7*p + 5*t - 67 = 4*t + 17. Let w = 3 + -2. Does w = p?
False
Let v = -125 - -124.979. Let b = v - -0.121. Are -74 and b unequal?
True
Suppose 139*w + 3562 - 201 = -3867. Which is smaller: w or 22/15?
w
Let n = -2.3107 - 0.3193. Is -0.06 not equal to n?
True
Let l be (60 + -1)/(-7*10/1750). Is -1472 less than l?
False
Let a = -16 - -18. Suppose -20 = a*l - 7*l. Suppose 0 = -4*r - l. Which is bigger: r or -6/25?
-6/25
Let i(a) = 16*a - 11. Let r be i(1). Suppose 0 = -9*b + r*b. Which is bigger: 5 or b?
5
Suppose 5*d = -558 + 198. Let m = 76 + d. Suppose -5*v - 4 + 0 = -3*y, -4*y + m*v + 16 = 0. Is 0 < y?
True
Let r be ((-278)/(-973))/(1*2/22946). Are 3277 and r equal?
False
Let l(z) = 2*z**2 - 8*z + 73. Let k be l(7). Let a = k + -239. Let x be (-3)/(-2)*-2*41. Does a = x?
False
Let l = 4 - 6. Let m = 845 - 887.9. Let i = -23.9 - m. Which is greater: l or i?
i
Let z be ((-1582)/112 - -14) + -8562*3/(-204720). Is z bigger than 0?
True
Suppose 0 = -20*m + 40*m + m - 120897. Which is smaller: m or 5756?
5756
Let o = 13562 - 13561.3169. Is o at least 0.1?
True
Let k be -1 - (75/19)/(-3). Let f be -2*2/(-8)*0. Let w be 3 + 0 + -3 + f. Which is greater: k or w?
k
Let r be 2 + 1/(-31) + -2. Suppose -71 = s - 74. Suppose 0 = d + 2*d - s*t, 0 = 4*t. Which is greater: r or d?
d
Let l = 17191/20 - 4109/5. Which is bigger: -10 or l?
l
Let h be ((-21)/(-14))/(1473/312 - 4/(-26)). Suppose 0 = -u + 202 - 217. Is h >= u?
True
Let s = 531 - -7. Suppose -3*d + 167 = -s. Which is greater: 0.1 or d?
d
Let l = -0.2 + 0.1. Let x be -36*12/(-126) - 3. Let r = x - -5/21. Is r less than l?
False
Let o be (-2)/28 - (-1277940)/15960. Let p(y) = -27*y - 1. Let k be p(-3). Is o greater than or equal to k?
True
Let v be ((-9)/(-6)*-1)/(9/(-33252)). Do 5544 and v have different values?
True
Suppose -34*w + 173373 = 348*w + 12933. Which is bigger: w or 6?
w
Let n be 8/(2 - 17316/8652). Is n less than -5770?
False
Let d = 4197 + -4290. Let s(o) = -o**3 - 6*o**2 - 4*o + 6. Let j be s(-5). Is j smaller than d?
False
Suppose 3*l - l = 3*l. Suppose 5*c = -2*y - 323, l = 4*y - 3*c + 125 + 482. Is y >= -154?
True
Let i be (-6)/(-3) - (-102)/14. Let n be 76/9 - 14056/(-9036). Is n at least i?
True
Let b be (-2)/3*(-9)/(-111). Let v = 75.869 - 0.969. Let f = v - 75. Which is greater: f or b?
b
Suppose -2*q + c + 10 = -0*c, q = 2*c + 5. Suppose 5*j = -x - 289, 4*j - 6*x + 224 = -q*x. Let f be 1/(4/(-282))*38/j. Is f at most 47?
True
Let q(h) = h - 8. Let t be q(9). Suppose 0 = -3*u - 12, -3*f + 11*u - 7*u - 911 = 0. Let a = f + 8653/28. Is a less than or equal to t?
True
Let f be (2 - -3) + 5296/(-5). Let i = 1064 + f. Which is bigger: 10 or i?
10
Suppose -5*v = 10, 3*i - 4*i = 4*v + 8. Let x be (-1 - i)*(66 + -65). Is 9/40 bigger than x?
True
Let j = 36 + -50. Let i be (-36)/j*(-9)/27*-7. Suppose -1 = 2*q + 5*d, -i = q + 5*d - 3. Which is smaller: q or 1?
1
Suppose 2*w + 295 = -3*w. Suppose -14*z + 22 = -6. Let b(o) = -8*o**3 + 2*o**2 - 6*o + 8. Let l be b(z). Which is bigger: l or w?
w
Let o = -5156 - -5151. Let x = -2592 - -12846/5. Let y = -23 - x. Is o greater than y?
False
Suppose -j = 5*r - 25, -4*r + 25 - 5 = -j. Let b = 792 - 764. Let q be ((-2)/8 + 29/58)*b. Which is greater: q or r?
q
Suppose 433*g = 113*g - 320. Let w be (1/2)/(2/4). Let q be 6/23*w/(-3). Is g bigger than q?
False
Suppose 3*j - 790 = 5*v, 4*v = j + j - 632. Let o = 953223 + -953383. Which is smaller: v or o?
o
Let b = 5552 + -5501. Suppose 3*o = 4*q + 133, 0*o = 4*o - q - 199. Is o at most as big as b?
True
Suppose -5*p + 2*x - 15 = -3*x, 18 = 4*p + 2*x. Let f = -2890 - -2894. Suppose f*v + 22 = p*z, -5*z = v + v + 5. Which is bigger: 3/4 or z?
z
Let v be (-2 - 5) + 17 + -11. Which is smaller: -17/20 or v?
v
Let f be (-14 + (-524)/(-24))*(-4)/3. Is f equal to 3/2?
False
Suppose 0 = 49*v + 780 + 2454. Suppose -14*l - 612 = -5*l. Is l at most as big as v?
True
Let h(n) = -n**2 + 2*n + 1. Let y be h(2). Let j be y + 4/(-7) + (-6)/21. Let u = 374.1 - 374. Is u less than j?
True
Let t = -7521477/448 - -16789. Let o = -30793784981/7616 + 4043301. Let x = o - t. Is x smaller than -1?
False
Let w be ((-104