) + (-1)/(-7). Let o = -17/33 - q. Let w be 4/4 + (-5 - -3). Is o equal to w?
False
Suppose 0 = 15*r - 153 - 416 - 2281. Which is bigger: 178 or r?
r
Let s be (2 - (3 - 9595/(-15)))*24/(-16). Which is smaller: 962 or s?
s
Suppose -150*q + 32972 = 23288 - 68166. Do q and 518 have the same value?
False
Suppose -4*t = -3*t + 3, -l - 5*t - 15 = 0. Is 4.728 at least as big as l?
True
Let y(t) = t - 16. Suppose -6*u + 21 + 27 = 0. Let j be y(u). Let v(w) = -w**2 - 8*w - 8. Let b be v(j). Is -9 at least b?
False
Suppose 191*w - 194*w + 6 = 0. Which is smaller: -6/47 or w?
-6/47
Let o = -2054 - -2055. Do -7/139 and o have the same value?
False
Let g be (-6)/(-4)*(-6)/9. Let m = 5 + g. Let d be 2 - 6/m - (-4)/(-8). Are 1/25 and d nonequal?
True
Let h(f) = 4*f + 18. Let o be h(-7). Let m be 157/405 + (-1)/o*-4. Is m at most as big as -1?
False
Suppose 0 = -3*l - 5*u + 7, 3*u - 8*u = 2*l - 13. Suppose t = -2*w - 4*t + 17, 27 = -3*w + 3*t. Which is greater: w or l?
w
Let f be 548/(-8905)*10/(-4). Is 0.017 at most as big as f?
True
Let f be 1/(-3) + 2/6. Let g be (112/812)/(((-154)/(-14))/(-22)). Is f greater than or equal to g?
True
Let k(f) = -121*f + 734. Let l be k(6). Is -284 not equal to l?
True
Let g be (-150)/((-12)/(-9)*8/(-12)). Which is smaller: 170 or g?
g
Let j be (-1)/(4/6)*2. Let v = -227 - -2411. Let r be (-2240)/v*(-18)/(-8). Is j equal to r?
False
Let k = -10 + 3.9. Let h = 45.9 - k. Let g = h + -49. Which is bigger: 14 or g?
14
Let p = -12977 - -14501. Is p greater than or equal to -1/3?
True
Suppose -5*p + w = 135, 78 + 30 = -4*p - 5*w. Let r(b) = 3*b - 3. Let n be r(-8). Let m be (((-3276)/n)/(-7))/(6/9). Do p and m have different values?
True
Let g = 136 + -124. Let l(r) = r - 2*r + 7*r**2 - 5 + 5*r - 5*r**2. Let y be l(2). Is g <= y?
False
Let v(l) = l**3 + 15*l**2 + 24*l - 26. Let j be v(-13). Let y be (-35)/14*(-4)/15. Let b = 95/138 - y. Which is smaller: b or j?
j
Let t be -1 + 0 + (-92 - -10). Let b = 784 - 868. Is t at most as big as b?
False
Suppose -18*z - 800 = -5804. Let n = z + -250. Which is bigger: 25 or n?
n
Let l be (-319858)/5340804 - 2/42. Which is bigger: 0 or l?
0
Let t = -4020.87 + 4020.8. Which is smaller: t or 1971?
t
Let d be (1/3)/((-23)/138) + 66. Let f be (-16)/d - (-1)/4. Is f greater than -7/11?
True
Let y = 13.21 - 13.31. Let c = -0.014 - 40.986. Is y < c?
False
Let i be (-2)/11 + 28592110/4950. Let d = i - 5776. Is -1 greater than or equal to d?
False
Let y = 0.043 + -96.043. Let a = -91 - -93. Which is smaller: y or a?
y
Suppose 13 = 2*h - 1. Suppose -26*w - 14 = -28*w + l, 26 = 3*w - 4*l. Suppose -w*t - 8*t + 112 = 0. Is h less than or equal to t?
True
Suppose -5*i + 2*i = -294. Let m be (i/(-42))/(2/(-6)). Is m != 1/16?
True
Suppose -3*f - 4*h - 1059 = 0, -6*h + 3*h - 1754 = 5*f. Let w = f + 227. Do -123 and w have the same value?
False
Let a(h) be the first derivative of -h**3/3 + 4*h**2 - 8*h - 14. Let n be a(7). Let d be n/14 + 6/(-12). Which is greater: d or 0.2?
0.2
Let f be (-1567 + 36)*(-1)/(-1). Let k = 10753/7 + f. Are 5 and k non-equal?
True
Suppose 0 = -3*x + 2*q + 8, -5*x + 3*x - q = -3. Suppose x*g = z - 2, 0*z = 2*z - 5*g - 5. Are z and -35 non-equal?
True
Suppose 37*s + 35947 = -10858. Which is greater: s or -1264?
-1264
Suppose 3*j - 4*m - 867 + 105 = 0, -747 = -3*j - m. Let r be (2/j)/((-22)/(-165)). Which is bigger: 0 or r?
r
Let f be (6 + 45/(-5))/((-3)/(-375)). Which is smaller: f or -1126/3?
-1126/3
Let l = 101 - -134. Let o = 235 - l. Which is smaller: o or -10/21?
-10/21
Suppose 0*i - 5*i - 4*q - 1480 = 0, 3*i + 5*q = -888. Let n = i + 2070/7. Is n equal to 0?
False
Let z be 8/(-24) - (-13)/3. Suppose -z*t - 230 = 5*s - 2*t, -54 = s + 2*t. Let h = 56 + s. Which is greater: h or 13?
13
Let t = 1.38 + -1.1. Let b = -17 - -17.18. Let s = t - b. Which is bigger: 3 or s?
3
Suppose 118*l = -254823 - 2070367. Is -19704 > l?
True
Let s = 3456 - 3428. Which is greater: s or 2?
s
Let m = -6007 - -6007.29. Which is greater: m or 26?
26
Let n = -5999659/188 + 31913. Which is smaller: 0 or n?
n
Let j be ((-27)/54)/(81/(-2)). Let a = 5 - 8. Is a less than j?
True
Let w = -253 - -228. Let d be (w - (-1 - 0))/((-18)/(-27)). Which is smaller: d or -40?
-40
Let l = 44741 + -44739. Let x be (12/8)/((-10)/(-4)). Which is smaller: x or l?
x
Let h(i) = -12 - 11 + 2*i**2 - 21*i - 15*i - 69. Let a be h(21). Which is bigger: a or 37?
37
Let v = 2928.9 - 2930. Is 1/3 greater than or equal to v?
True
Let h be 2/(5 + (-42)/7). Let u be (-1)/h + (-834)/132. Is u less than or equal to -7?
False
Let h = 32.38 + 0.62. Let x = -0.59 + 37.59. Let w = x - h. Which is smaller: 3/7 or w?
3/7
Let n be (-5314045690035)/3553 - (-2)/(4/6). Let j = -1495655304 - n. Let z = j + 4958. Is 0 less than or equal to z?
True
Suppose 4*a - 11 + 4 = -v, -3*v - 5 = -a. Suppose a*d - 134 = -18. Let x be 3/(-12) - d/(-8). Is 7 < x?
False
Let m be (-3)/((-9)/(-28))*(-13)/(832/13968). Which is smaller: m or 2035?
2035
Let f(p) = -p**3 - 21*p**2 + 12*p + 250. Let s be f(-21). Which is bigger: s or -292/125?
s
Let m be 434/126*((-6)/(-78))/(2/(-6)). Which is smaller: -1 or m?
-1
Let y = 477 + -393. Suppose -y*j + 96*j - 348 = 0. Do 29 and j have the same value?
True
Suppose 4*j + 11 = 3. Let f = 14 + j. Suppose -r - r = -f. Which is smaller: 1/3 or r?
1/3
Let c = -302 - -352. Let j(w) = -2*w + 252. Let f be j(c). Is 152 less than or equal to f?
True
Suppose r + 4*y = 3*r + 6, -3*r + 1 = -y. Let q = 78852 + -26730827/339. Which is bigger: q or r?
r
Let b be ((-386)/42)/((-10)/(-6)). Let k be ((-3)/18)/(14/(-368)) + 4480/3360. Let c = k + b. Which is smaller: -1/3 or c?
-1/3
Suppose k = -0*k + 3. Suppose 28*q + 921 = 13577. Let u be 1 - (q/132 + (-4)/k). Which is bigger: -1 or u?
-1
Let o(y) = y**3 + 5*y**2 + 26*y + 11. Let a be o(-6). Let b = a - -114. Is b < -67?
False
Let z = -0.047 - -0.047. Let l = 39.7 + -32.7. Is z less than l?
True
Let f = -71 - -111. Let n = -44 + f. Let i be ((-24)/(-14))/2*2/n. Are 1 and i non-equal?
True
Let d be (-1665)/999*(-6)/10. Is d equal to 2420?
False
Let y(b) = 75*b - 3595. Let z be y(47). Is -77 greater than or equal to z?
False
Let r = 11811 + -11812.2. Which is smaller: r or 30?
r
Let l be (-1 - (-5 + -1)) + 288. Let r be l/58 - (-20 + 25). Let c(w) = 2*w**3 + w**2 + w + 1. Let p be c(-1). Which is greater: r or p?
r
Let l = 1701 - 1700. Is l at least as big as -8/701?
True
Suppose 5 = 7*n - 16. Let h be (-3 + 0 - -3)/n. Is 4.2 less than h?
False
Suppose 0 = -255*f - 209 + 719. Is 61/91 >= f?
False
Let i be (-829423)/3773 - ((-15)/(-21) - 1)*1. Which is smaller: 0.1 or i?
i
Let r = 3039.96 + -3040. Is 83 at most as big as r?
False
Suppose -9*k - 1049 + 338 = 0. Let i be (-8 - k/8)/((-3)/4). Let z = i - -29/6. Is 3 bigger than z?
True
Let q = 12 - 12. Let w(x) = 7*x**2 - 35*x - 13. Let c be w(7). Which is bigger: c or q?
c
Let r = 11 + -21. Let s = -4/79 + 253/316. Is r at least as big as s?
False
Let q be ((-124)/(-18))/(8/(-6)). Suppose 0 = 2*t - 20 - 0. Suppose t*j + 39 + 1 = 0. Which is greater: j or q?
j
Let l = 1152 - 1161. Which is smaller: l or -6/7?
l
Suppose 29*g = -11*g - 54 + 94. Which is bigger: -13/1447 or g?
g
Let u = 430/11 + -5568/143. Let y = -31 - -23. Is y greater than u?
False
Suppose 4*t + 2*k = 92 - 1632, 2*t - 4*k + 740 = 0. Which is smaller: t or -386?
-386
Suppose -b + 0*b + 143 = 4*d, 394 = 3*b + 5*d. Let x be 8/12 - b/(-9). Suppose 8*n = -5*n + 195. Which is smaller: x or n?
x
Let s be -15*(-11)/110*8. Let n(l) = -6*l**2 + 3*l. Let z be n(3). Let g be s/z*-5 - 2. Are 2/85 and g equal?
False
Suppose 3*i + n = 2*n + 1578, 5*n = -2*i + 1035. Suppose -5*o - i = 5*g, 4*g - 9*g - 560 = -2*o. Which is smaller: -109 or g?
g
Suppose -4*g - 937 = 779. Let q = g + 314. Is q greater than -114?
False
Suppose -w + 1 = 2. Let v = 11.5 + 35.5. Let o = -46.89 + v. Is w equal to o?
False
Suppose 0 = -2*o + 2, -11 = -4*r + o + 4*o. Suppose 3*n + 117 = r*p, -4*p + 4*n + 112 = -0*n. Is p less than 31?
False
Let a(l) = l**3 - 4*l**2 - 28*l - 96. Let y(u) = -u**3 + 6*u**2 + 8*u - 12. Let s be y(7). Let z be a(s). Do -181 and z have the same value?
True
Let d be 1 + 0 - (-34)/(-28). Let h(u) = -u**2 - 42*u - 148. Let g be h(-4). Suppose -g*x - 26 = -10. Is d not equal to x?
True
Let s be ((