lse
Let s = -537 - -359. Let u = 119 + s. Let w = u + 63. Are 7 and w nonequal?
True
Suppose -4*b - h = 22, 0 + 3 = -b + h. Let l be 6/7 + (-3 - ((-38)/(-7) + -4)). Are b and l nonequal?
True
Let a = 35/388 - -10313/19012. Is a < 1?
True
Suppose 3*g = 4*t + 3125, 154*g - 5212 = 149*g + 3*t. Is 3125/3 >= g?
False
Let d = 2907571/41 - 70912. Which is smaller: d or 4?
4
Let r = -3588 + 3588. Which is greater: 515 or r?
515
Let j be 3 + (-48)/18 - (-4 - 12845/(-15)). Is j < -853?
False
Suppose -10*w + 27 = -3. Let s be (-1*(w + 0) + -11)/(-2). Suppose -s*f = f + 464. Is -57 less than f?
False
Let x = 905 + -695. Which is smaller: x or 205?
205
Let z = 82625 - 82621. Suppose 2*p + 3*k = 3*p + 4, 3*p = 3*k + 6. Suppose -p*w + 3*w = 0. Which is smaller: w or z?
w
Suppose -40*r + 194*r - 487 = 2439. Let l be 2 - (-28*1)/(-2). Let v be ((-68)/(-6))/((-8)/l). Which is bigger: r or v?
r
Let n be (-2217)/39 - (-20)/(-130). Let f be -2 + 4 - 5/(-30)*n. Which is greater: -9 or f?
f
Let o(v) = -6*v**2 + 34*v + 109. Let f be o(-3). Which is bigger: f or -11?
-11
Suppose 0 = u - 2*o - 191 - 166, 5*o - 750 = -2*u. Suppose -67*d + 62*d = u. Which is smaller: d or -71?
d
Suppose 0 = -6*j + 9*j + 9. Suppose 2*n - 120 = 5*z, -61 = 4*z - z + n. Let y be z/j*(-6)/10. Are -4 and y equal?
False
Let w = -7 + 7.08. Let g = 327 + -121. Let y = -211 + g. Do w and y have the same value?
False
Suppose 28 = -4*s, -98*f + 99*f + 5*s + 35 = 0. Let d = -20 + 35. Do f and d have different values?
True
Let t = 22429 - 21366. Is t less than or equal to 1065?
True
Let g be 26 + -30 - -14*(-1 - -12). Let u = g + -134. Suppose -7*k + u*k - 279 = 0. Which is smaller: k or 30?
30
Suppose -d - 217 = -8*d. Let q(l) = -d + l - 7*l + 5*l + 0*l. Let g be q(-7). Which is smaller: g or -25?
-25
Let x = 16.672 - -0.128. Let f = x - 16.8. Let v = 18 - 41. Which is bigger: v or f?
f
Let w = -5709 - -34249/6. Which is smaller: w or -1.08?
-1.08
Let m = 1859/6 - 308. Suppose -77*d = -73*d + 20. Let i be (-2)/((d/(-5))/(-1)). Is m at least i?
False
Let x = 3252 - 3253. Is -1/9 at most x?
False
Suppose 0 = 2*m - 8*m - 1524. Let h = -255 - m. Which is smaller: -88/7 or h?
-88/7
Let v(u) = -16*u**2 + 126*u + 77. Let o be v(10). Which is greater: o or -75?
-75
Let r be 1 + (6 + 434)*(-4)/(-5). Let c = r - 5303/15. Is c <= 0?
True
Let l = 250 - 247. Let o(p) be the first derivative of -p**4/4 + 3*p**3 - 9*p**2/2 + 10*p + 7. Let b be o(8). Which is smaller: l or b?
b
Let a = 779.9 - 1007. Let u = 216 + a. Let v = u - -11. Which is smaller: 30 or v?
v
Let y(g) = -8*g + 30. Let h be y(-9). Let r be (-24)/(-84) + h/(-14). Let s be (-1 - 7)/(-1 + (-1)/r). Which is smaller: 8 or s?
8
Let p = -496339 + 3483629/7. Let x = -1315 + p. Let f be (-44)/(-6) - (-10)/15. Which is greater: x or f?
f
Let k = 225 + -220. Suppose -2*n = -y - 10 + 5, k*y + 10 = -5*n. Which is smaller: 5 or n?
n
Suppose 0 = -t + z + 306, 0 = -3*t + 65*z - 61*z + 915. Which is smaller: 2169/7 or t?
t
Let v be (550/(-35))/2 - (-66)/77. Which is greater: -486/77 or v?
-486/77
Let g be 40/15 - 2/3. Suppose -2*k - 4*t + 9 = -9, 3*k - g*t + 13 = 0. Let s be (-2)/(-3) + (-20)/45. Which is smaller: s or k?
k
Suppose 3*x = x + 5*r + 4, -5*r = 2*x + 16. Let v be 1 + -2 + x/(-3). Let q = 5192 - 347866/67. Are v and q equal?
False
Let q(b) = -114. Let u(a) = -a + 57. Let y(h) = 3*q(h) + 7*u(h). Let z be y(-9). Which is smaller: z or 118?
118
Let t = -13064635/117 + 111662. Is -1 < t?
False
Let m = 0.3 + -3. Let l = 2.8 + m. Let p = 0 - l. Is p < 6/5?
True
Let a be 1/(5/24) + (-3)/(-15). Suppose 342 = 2*i - 4*b, -150 = 2*i - 3*i - a*b. Which is smaller: i or 166?
i
Let w = -14.30969 - -0.00969. Which is smaller: w or -2?
w
Let i = 4/6309 - 38591/56781. Which is smaller: i or 0?
i
Let n be -1 + 2 + (-24)/10. Let f be 1 + (3 - (-848)/(-280))*-7. Which is bigger: n or f?
f
Let c be 1/(-15)*5 + (-2)/(-8). Is c <= 304?
True
Suppose 21*m - 14*m = -18*m. Let y = 184/197357 - 30379577044/20722485. Let d = 1466 + y. Are m and d non-equal?
True
Let g = 17.11 + -62.81. Is g smaller than -1?
True
Let t = 586 + -23996/41. Let w(p) = 3*p**2 + 2*p - 4. Let k be w(1). Is t bigger than k?
False
Suppose -1102 - 1338 = 122*c. Is -1010/53 greater than c?
True
Suppose -3*q = 70 + 2. Let n = -19 - q. Suppose 5*c + 10 = n. Is -15/7 greater than or equal to c?
False
Let t = 28592 - 28599. Let m = -0.18 - -0.2. Is t bigger than m?
False
Let u = -178 + 193. Let i be (u/(-39))/(30/(-12)). Let a be (-2)/(-1 + -1)*-1. Which is smaller: a or i?
a
Let u = 378 - 387. Let w be 1 - -2 - ((-63)/u + -12). Which is smaller: 9 or w?
w
Let x = -602 + 44. Let f = x - -551. Which is bigger: f or -6?
-6
Let r(t) = 20*t**2 - 67*t - 64. Let s be r(9). Which is smaller: 4/3 or s?
4/3
Let u be 7*(0 + 1) - 4. Suppose u*x + v - 20 = -0*x, 2*x - 18 = -3*v. Let b(c) = -65*c + 260. Let y be b(4). Is x less than or equal to y?
False
Suppose -2*s = 5*g + 6, -g = -3 + 1. Let a be 9/(-12) - ((-2)/s - 1). Let j = -14/13 + -4/117. Are j and a nonequal?
True
Suppose 33*d - 354 = 19*d - 163*d. Let r be (-2)/(-4)*(-25 + 1). Let l be 501/(-216) + d + (-4)/r. Which is bigger: l or 1?
1
Let q(f) = 1262*f - 8833. Let n be q(7). Is n > 2/10233?
True
Let r be 2/(-6)*1/13. Let y(z) = -25 + 11*z - 10*z**2 - 6*z**2 + 11*z + 13*z**2. Let m be y(6). Which is smaller: m or r?
m
Let c(w) = -2*w**3 + 21*w**2 - 32*w + 189. Let a be c(11). Is a at most -285?
False
Let n be (-15)/(6/(-11808)*-6). Let b = -63816/13 - n. Is b bigger than 12?
False
Let x be (-1 - 387)/(27/108). Let c = x + 35702/23. Is 0 less than or equal to c?
True
Let b(a) = -2*a**3 + 54*a**2 - 4*a + 259. Let o be b(38). Is -31662 greater than or equal to o?
False
Let b = -26246 + 5432938/207. Is 0 != b?
True
Let q be -1 + (-2 - -2) + -2. Let t(h) = h - 3. Let k be t(q). Let x = -334/257 - 4138/771. Is x greater than k?
False
Suppose 78*k - 4*y = 75*k + 68, 3*k - 5*y - 70 = 0. Let o be -1 + 4/((-12)/(-3117)). Let j = 2115/2 - o. Do j and k have the same value?
False
Let k = 191 + -190.765. Let r = 0.035 + k. Which is greater: 3/5 or r?
3/5
Suppose 626 = g + 3*j, -59*g + 56*g + 5*j + 1822 = 0. Which is smaller: 617 or g?
g
Let i be (-30345)/(-2737) - (-4)/(-46). Which is smaller: i or -11?
-11
Let p be 80/(-60)*15 + -2216. Is -2236 > p?
False
Let q be (64/(-34) - -2) + 127/(-646). Suppose -5*k = 8 - 3. Which is smaller: k or q?
k
Suppose 12*u = 17418 - 2874. Which is greater: 1213 or u?
1213
Let j = -12178 - -133961/11. Which is smaller: j or -8.88?
-8.88
Let j be (-8)/(-6)*(-27)/6. Let s(r) = r**2 - 276*r - 7207. Let x be s(-24). Is x greater than j?
False
Let g = 205 + -620/3. Let r(z) = -20*z**2 - 20*z - 3. Let s be r(-1). Are g and s equal?
False
Let x be ((-49423)/(-735))/(-1 - (-43)/9). Let b = x + 1/1666. Which is smaller: 18 or b?
b
Let y be (2*-3 - -13*(108/24)/9)*2. Let d = 18 + 20. Let c be (2 - 64/d)*1. Which is greater: c or y?
y
Let n be -11 - (-1 - (-1 + 3)). Is -152/17 <= n?
True
Suppose -15 = 5*r, r - 3*r + 32634 = -4*t. Which is greater: -0.1 or t?
-0.1
Let s = -13821 + -1407. Which is smaller: -15227 or s?
s
Let q be (9/(-4))/(46/(-204)). Let s be ((-54)/(-63))/((-15)/(-175)). Let d = s - q. Is d at most 1?
True
Let m = -10 - -10.3. Let k be (-6)/2*34/340. Which is bigger: m or k?
m
Let d = -3714 + 3783. Which is smaller: d or 15?
15
Suppose 116*w + 70*w = 0. Which is smaller: -11/273 or w?
-11/273
Let b(p) = -p**3 + 5*p**2 + 9*p - 13. Suppose 4*l - 38 = -3*r, 4*r + 3*l = 16 + 23. Let i be b(r). Do 1 and i have different values?
True
Let q = -10 - -15. Suppose -q*s - 2*b = 1059, s - 74 = 3*b - 296. Which is greater: s or -214?
s
Suppose -q + 3*i = -16, 0 = -2*q - i - 3 - 0. Suppose 0 = -28*y + 27*y + q. Let c = 13.6 - -6.4. Which is greater: c or y?
c
Suppose -2*p = -5*t - 137, -t = 158*p - 161*p + 225. Which is greater: p or 102?
102
Let j = 34.24 - 36.291. Let b = -0.051 - j. Does b = 6/41?
False
Let j(a) = -a**2 + 92*a + 1808. Let i be j(-15). Suppose 0*n - 3*n + 5*v = -629, 5*n = -5*v + 995. Is i at least as big as n?
True
Let m = 114 - 55. Let j = 25 + m. Let v = -55 + j. Is v at least 1?
True
Let u(s) = s**3 - 86*s**2 - 186*s + 897. Let r be u(88). Is r > 63/4?
True
Let b be (10/8)/((-33)/(-24)). Let h be -1*6/(54/(-9)). Which is smal