e l and -91 equal?
False
Suppose 0 = -13*s - 2*s - 17 + 2. Is 8/477 greater than s?
True
Let m be (-268)/6*(-9)/2*1. Let y = m - 177. Is 25 at most as big as y?
False
Suppose -30*h + 40*h = 60. Let m(y) = y**3 - 5*y**2 - y - 14. Let j be m(h). Let t = 49 + -33. Is j bigger than t?
False
Let k be (7/8)/(2240/768)*194. Let c(t) = -15*t - 2. Let j be c(-4). Which is bigger: k or j?
k
Let i(z) = 2*z**3 - 13*z**2 + 11*z - 2. Let u be i(6). Let p be (1/(-4))/(u/(-560)). Suppose 3*b = p*b + 70. Which is smaller: -34 or b?
b
Let y = -25/21513 - -1453499/1287789693. Is y less than 1?
True
Let z = -21.009 + 21.95. Let n = 10.771 - z. Let m = 9.9 - n. Which is greater: m or 2/7?
2/7
Let i(h) = -50*h + 338. Let f be i(11). Which is bigger: f or -211?
-211
Let d be ((-6)/5)/(18/60*-1). Suppose 5*i - 18 = -d*i. Suppose -i + 2 = -2*j. Which is bigger: 12/25 or j?
12/25
Suppose -7*f + 3*x + 633 = -12*f, 247 = -2*f + 5*x. Let v = f - -88. Is -5 less than v?
False
Suppose r + 11759 = 3*t, -2*t + 6544 = -4*r - 1272. Is t > 3921?
True
Let l be (-85)/(-20) - (-3)/(-12). Suppose 7*b = -2*j - 9, -j - 7 = l*j + 2*b. Which is smaller: j or -3/53?
j
Let u = -4 + 4.6. Let a(r) = -r**2 - 27*r + 52. Let v be a(-29). Let o be 12/8*2/v. Is u at least as big as o?
True
Let f = 16 + 44. Let w = f + -174. Let q be 52/(-65)*(w/4 - -1). Which is bigger: -2/7 or q?
q
Let v be -21 - (2/(-3))/((-9)/27). Let b = -96 + 95. Is b < v?
False
Suppose 3*p + 2*g - 66 = -9, -2*g + 74 = 4*p. Is p less than 25?
True
Let w = -32.04 - -46.04. Is -13/6 bigger than w?
False
Let g = 31720 + -31715. Which is greater: g or 453/73?
453/73
Let g = -28654.4 - -28649. Which is smaller: 25 or g?
g
Let c = -2316 + 2232. Which is bigger: -29 or c?
-29
Let o(u) = u**3 + 6*u**2 + 6*u + 11. Let i be o(-5). Let z(j) = j**2 - 3*j - 14. Let y be z(i). Let a be -2 + y + 3/3. Does 1 = a?
False
Let m = 74164/382635 + 4/34785. Is 1 less than m?
False
Suppose -2*l + l = -4*j + 183, 4*j - 5*l - 195 = 0. Suppose -j*t - 35 = 55. Which is smaller: 1.3 or t?
t
Let q(s) = s**3 + 19*s**2 - 156*s - 160. Let d be q(-29). Which is smaller: d or -4045?
d
Suppose 7*y = -189 - 84. Let h = 110 - y. Suppose 3*o + h - 44 = 0. Is o at least -33?
False
Let f = 382785 + -382786. Let d be (2 + 1)/((-3)/(-2)). Let j be 2/(-4)*d/(-69). Which is greater: f or j?
j
Let r = 6 + -3. Suppose 4*k = -2*x - 32, -2*k + 5*x - 2 = 2. Let d be (k/147)/((-1)/r). Is d bigger than 0?
True
Suppose 4*r - 3*d = 117, -4*r + 27 = -3*r - 3*d. Suppose -3*n = 14*w - 12*w - 11, 4*n + 4*w - 12 = 0. Suppose 0 = n*s - 135 - 15. Is r >= s?
True
Let k be (-17870)/48 + 4/96. Is -373 equal to k?
False
Suppose 76*t - 306 = 67*t. Is t at least 29?
True
Suppose -38*l + 203469 = -128*l + 47049. Is -1 at most l?
False
Let z(r) = -22*r - 398. Let p be z(-18). Which is smaller: p or 999?
p
Suppose 1851 = -4*k + 3*s, -4*s + 27 + 9 = 0. Is k greater than -1829/4?
True
Suppose 715 = -173*d + 165*d - 197. Which is smaller: d or -117?
-117
Let b(y) = y**3 + 13*y**2 - 28*y + 14. Let c be b(-24). Is c at least as big as -5649?
False
Let r = -659859/28 - -23571. Is 6 <= r?
False
Suppose -14 - 41 + 77 = -22*i. Is i at least as big as -46/363?
False
Let z = -95 + 98. Suppose 4*o - 7*u - 61 = -2*u, z*o - 38 = -4*u. Which is smaller: o or 15?
o
Let h be -10*60/(-1100)*-33 + 19. Let l be (6/10)/(78/(-4)). Is l > h?
False
Let u(v) = -830*v**2 + 21*v + 25. Let m be u(0). Suppose -57 = 4*s + 19. Let o = s - -44. Is m not equal to o?
False
Suppose y - 701 = -5*p, -2*p + 2090 = 7*y - 4*y. Let x = 792 - y. Is 99 greater than or equal to x?
True
Let v = 1339 + -1341. Is 15.5 < v?
False
Let l be 1/(-2)*((-6)/(-24))/((-2)/(-16)). Which is greater: l or -2/1165?
-2/1165
Let g(r) = 2*r**3 - 7*r**2 - 3*r. Let f be g(4). Let p be (-47)/2 + f/8. Let k(d) = -2*d**2 - d - 2. Let c be k(3). Is c bigger than p?
False
Suppose -2 = 3*o + 2*y, -5*o + 1 = -y - 0*y. Suppose 3*i + 2*m - 18 = i, 3*i - 2*m = 7. Suppose o*x - i*x = -35. Which is greater: 6 or x?
x
Let o = 2801 + -2803.2. Which is smaller: o or -2.5?
-2.5
Let b = -33 - 34.4. Let y = b - -68. Let s = y + -2.6. Does s = -6?
False
Let m(h) = h**3 - 37*h**2 - 306*h - 3. Let j be m(-7). Let k be (3/9)/(15/(-756)). Is j greater than k?
False
Let p = 8970 + -11810. Is p greater than 1?
False
Let v be ((-2)/(-6))/(28*2/552). Let k = 88 + -86. Suppose k*o = -3*z - 3 + 1, 3*o + 4*z = -2. Is v >= o?
True
Let w be (5 + 1)*11/(231/28). Suppose -710 = w*q + 2*q. Is q at most as big as -70?
True
Let f be 15/10*(-228)/(-9). Suppose 3*g - f + 32 = 0. Suppose g*d - 4*o + 16 = 0, 8 + 10 = -2*d + 3*o. Is -9 at least as big as d?
True
Let g be 1*-1*(-224)/(-84)*411. Is g greater than -3?
False
Let i be 8 + 1/((-5)/15) + -5. Suppose 18*q - 5*q - 117 = i. Which is greater: 96/11 or q?
q
Let s = 27 + -23.9. Let o = -2.78 + s. Let n = o - -0.68. Is n at least -9?
True
Let w = 8034 + -8024. Is 34 less than w?
False
Let r be 57 - (3 - (-6 - -2)). Suppose 3*d - r = -140. Do -185/6 and d have the same value?
False
Suppose 0 = -r - 5*f - 10, r + 4 = 4*f + 12. Let v be 2 - ((-18)/(-6) + r). Which is smaller: 4/23 or v?
v
Suppose -11*u = -13*u + 3568. Let q = u - 503089/282. Which is smaller: q or 0?
q
Suppose 5*p = 2*p - 51*p - 864. Is p >= -274?
True
Let q(g) = -g**2 + 103*g + 1009. Let v be q(112). Is v < 1/56392?
False
Suppose 9230 = -18*y + 9248. Is 698 greater than y?
True
Let o = -23893 + 23893. Which is smaller: -8560 or o?
-8560
Let b be 2 + (99/5 - 12/(-60)). Suppose b*t - 960 = 382. Which is smaller: 60 or t?
60
Let y be 2 - 3 - (-1426)/1432. Let w = 1615/43676 + y. Suppose 0 = -111*r + 35*r + 48*r. Which is smaller: r or w?
r
Let t = -0.04423 - -0.32423. Let s = 0.42 + -0.3. Let m = s + -0.22. Is m smaller than t?
True
Suppose 2*c = 2*x - 72, -76 = -c + 3*c - 3*x. Let l(v) = 26*v**2 + 236*v + 198. Let s be l(-8). Is c bigger than s?
False
Let b(w) = -5*w**2 + 21*w + 27. Let j(i) = 2*i**2 + i + 1. Let g(p) = -b(p) - 3*j(p). Let t be g(-19). Which is greater: 66 or t?
66
Let y = 260 - 272. Let h be (-3372)/(-104)*2 - y/78. Are h and 66 equal?
False
Suppose -w + 0*i + 3*i - 10 = 0, -5*w + 2*i - 11 = 0. Which is smaller: -19/31 or w?
w
Let p = 388 + -376. Suppose 11*h + 34 = p*h - 5*s, 4*s = -3*h + 26. Which is smaller: -10 or h?
-10
Let c = -43539212 + 59367631287325/1363544. Let u = c - -3828831735/83176184. Let y = u - 46. Is y smaller than 0?
False
Suppose -i - 1 - 7 = -4*s, 3*s = 4*i + 6. Suppose s = 31*r - 29*r. Let z = 27 - r. Is z less than 25?
False
Let n = -3 - -6. Suppose 18 = 3*l - 3*w, -4*l = 69*w - 74*w - 21. Suppose -n = 3*j - l. Is j not equal to 14/19?
True
Let t = 1151.09 - 1151. Let g = 21.7 + -24. Let o = g + 4.3. Which is smaller: o or t?
t
Let c = -12475 - -37400/3. Is -8 <= c?
False
Suppose -1632 = -377*d + 361*d. Which is smaller: 96 or d?
96
Let f(v) = -v**2 - 34*v - 302. Let y be f(-26). Which is smaller: -97 or y?
-97
Let n = -17 + 87/5. Let q = -1.86 + 1.89. Which is bigger: n or q?
n
Let q be 1 + (1296/126 - 12). Is q != 148?
True
Let d = 4.67 - 10.67. Let f(b) = -b**3 + 10*b**2 + 13. Let a be f(10). Is d less than or equal to a?
True
Let h = 1071 + -1023. Which is greater: 47 or h?
h
Let k be 7708/84 + 1/(-3). Let w(f) = -599*f - 10690. Let s be w(-18). Is s greater than k?
True
Let p = -16606 + 1394903/84. Which is smaller: p or -3/5?
-3/5
Suppose 3*r + 3*k = -480, -5*k + 307 = -2*r + 1. Which is bigger: r or -154?
-154
Let l = 938 + -2554. Let i = -2265 - l. Is 1 greater than or equal to i?
True
Suppose -21*y - 5099 = 256. Is y > -252?
False
Let z = -339 + 435. Suppose -5*i + 376 = z. Is 59 greater than or equal to i?
True
Let l be 9 - (14 + 24/6 - -4). Let h = 3.6 + -3.1. Do l and h have different values?
True
Suppose 11*c - c = -100. Let q be (-1*3)/((-5)/(-35)). Let o = q - -14. Which is bigger: o or c?
o
Let v = 198 - 196. Let k be ((-44)/(-8))/(-11)*(-85)/v. Is k <= 20?
False
Let p be ((-40)/(-640))/(((-7)/3 - 1)/(-1112)). Is 22 <= p?
False
Let c = -451 + 255. Let u = 196 + c. Let i = 151 + -138.2. Which is smaller: u or i?
u
Let j = -3.441 - 2146.559. Is j < -0.1?
True
Suppose -11*o = -3*c - 7*o + 143, -5*c - 2*o = -195. Suppose -48*l + c*l = -7. Is 5/102 <= l?
True
Let c = -151 + 131. Let b be ((-69)/(-30) - 2)/((-96)/c). Is 0 gr