-473 - 353. Let s be (-30)/g + 453/11. Suppose s = 7*x - 15. Which is smaller: 11 or x?
x
Let m = 632 - 622. Let g be (-36)/90*m/2. Is -2 bigger than g?
False
Suppose -b + 2*g = -3, 4*b + 4*g + 8 = 2*g. Let k = -289279/565 - -512. Which is smaller: k or b?
b
Let v = 80 + -78. Suppose 2*u + 3*u = 4*x - 45, -5*u - v*x = 75. Let w be 110/(-33)*(-81)/(-21). Which is greater: w or u?
w
Let i be 297440/446457 - (-4 + (-42)/(-9)). Is i > 0?
False
Let l = 7 + -9. Let b be (-9390)/(-138) - (-7)/(-161) - (-1 + 5). Is l smaller than b?
True
Suppose -z + 2*w - 6*w + 3 = 0, 0 = -z + 4*w - 5. Let l be -3 + 8 + z - 1. Let g be (7/((-7)/l))/1. Which is smaller: g or -5?
-5
Let w = -39533 - -39552. Let n be (12/(-8))/(1/(-16)). Is w less than or equal to n?
True
Let d = 6077 - 6072. Which is greater: 157/35 or d?
d
Let v(i) = i**3 - 6*i**2 + i - 1. Let u be v(6). Suppose 5*l = -5*x - 20, -u*l = x - 5*x + 11. Let p be 2/(-29)*l/(-6). Is 0 > p?
True
Let x(t) = 23*t**2 + 2*t + 7. Let z be x(3). Let g be 3*((-4)/15)/(8/z). Which is greater: g or 1?
1
Let a = -53.11 - -51.01. Is 5.1 at most a?
False
Let c be (-1)/2 + 13/10. Let o = -65561 - -196687/3. Is c != o?
True
Let o be 168/42 - 4992/1228. Is -1 at most as big as o?
True
Suppose 5*w = -4*a + 7*a - 8818, 0 = 5*a + 20. Is -1766 <= w?
True
Let a be 7/3 - (-13 + 16201/(-51)). Which is greater: 330 or a?
a
Let k = -375356/90225 + 4/18045. Which is smaller: -4 or k?
k
Let g = -39363/55 - -3583/5. Suppose 0*l = 2*l. Which is smaller: g or l?
l
Suppose 5*f + k = 186, -k = 1 - 2. Suppose 2*j = -12, 149*o = 153*o + 5*j - 110. Which is smaller: o or f?
o
Let m be -1 - ((-3278)/(-8) + (-63)/84). Which is bigger: 0 or m?
0
Let g be 70/56 + (-9)/(-12) - -30. Suppose 12*p - 330 = 2*p. Is p greater than g?
True
Let v(z) = z**3 + 6*z**2 - 8*z. Let p be v(-10). Suppose -8*x = 169*x + 56640. Is x >= p?
True
Suppose 0 = -0*c + c - 6. Let t(m) = -m**3 + 18*m**2 - 145*m + 2184. Let n be t(17). Does n = c?
False
Let o = 33.7 + 3.3. Let q = 23.4 + o. Let d = 60 - q. Is d equal to -0.03?
False
Let h(u) = -u**3 + 9*u**2 - 12*u - 19. Let b be h(7). Let d be (-20 - -24)*b/(-2). Suppose -3*y + 16 = d. Which is smaller: y or 7/13?
7/13
Let w = 68 - 25. Suppose -3*z = 4*k - 157, -19*z + 16*z + 28 = k. Is k > w?
False
Suppose -863*m - 284328 = -797*m. Is -4311 at most as big as m?
True
Suppose 3 - 34 = 36*w + 5. Which is smaller: -2/653 or w?
w
Let g = -13 + 12.79. Let o = -74002 + 740021/10. Is g at least as big as o?
False
Let i be (70/8)/((-560)/3136). Let t = 12 + -16. Let k be (-47)/(4/(-16)*t). Is i bigger than k?
False
Suppose 0 = -2*h + 16 - 14. Let t be (2 - 75)*-1*h. Suppose -i - 3*n = 23, 4*i + t = -3*n + 17. Is i at most as big as -11?
True
Let w(k) = 25*k + 114. Let f be w(-5). Let j(a) = a**2 + 16*a - 34. Let d be j(f). Is d smaller than -177/2?
True
Let c be (-2)/(-4)*((-168)/22 + 8). Which is greater: c or 21?
21
Let b = -12.796 - 0.304. Let j = b + 13. Let c(f) = -24*f**3 + 2*f - 1. Let q be c(1). Are j and q nonequal?
True
Let r = 1957 + -1931. Which is bigger: r or -12?
r
Let n = 2227 + -2230.31. Do n and -0.1 have different values?
True
Let a be (-30)/(-9)*(-21)/2. Let y be (8/52 + (-2065)/325)/((-122)/(-610)). Is a bigger than y?
False
Suppose -5*a = -s + 5, -4*s + 2*a + 2*a = -4. Let j = 5 + s. Suppose -j*x = -x. Which is smaller: 2/23 or x?
x
Let k = 374.1 - 373.784. Is 1 less than or equal to k?
False
Let v = -67.05 + 68. Let h = v + -0.91. Which is smaller: -7 or h?
-7
Let y(q) = q**3 - 7*q**2 - 5*q + 25. Let s be y(8). Let c be (-306)/8*28/(s/7). Which is smaller: c or -152?
c
Let r = 97.99 - -89.01. Is r less than 62?
False
Let w = -0.1535 + -114.9465. Let h = 115 + w. Is h bigger than -360?
True
Let l be ((-24)/238)/(10/35). Let k be (-8)/(-1)*(45/12)/(-5). Is k less than l?
True
Let s be (0 - (-1)/5)/1. Let b = -3094.92 + 3095. Are b and s non-equal?
True
Let k = -12537 - -12520. Is k != -17?
False
Let b = 27341 + -4210529/154. Is b less than 0?
True
Let x be -2 + (36/82*-1)/(24/(-112)). Suppose -3*v - 2*t = -13 + 2, 4*t = -5*v + 21. Let b be (-1)/(-2)*(-1 - v). Is x bigger than b?
True
Let m = 328647.9854 + -328604. Let v = -0.0146 - m. Is v at least 2?
False
Let o = 240.69 - 240.662. Is -2/137 greater than or equal to o?
False
Let w = -384 - -385. Suppose 0 = -0*k + 5*k + 385. Is k <= w?
True
Let u = -128339007/22 - -5832315. Let m = u + 1276. Let v(w) = -w**2 - w + 1. Let y be v(1). Are m and y nonequal?
True
Suppose -3*z + 0*i - 113 = -i, i - 189 = 5*z. Let m(y) = -y**2 + 13*y - 27. Let t be m(10). Let a be ((t - 4)/1)/(-3). Which is greater: a or z?
a
Suppose 4*y = -4*l - 40, -l = -0*l - 5*y - 8. Let t = 61 - 49. Let z be (t/42 - (-2)/l)/(-2). Which is bigger: 3/5 or z?
3/5
Suppose 0 = -21*f + 16*f + 15. Suppose -p - 126 = -f*b + 60, 2*p = 4*b - 250. Which is bigger: b or 62?
62
Let t be 8/14 + 13026/(-26936). Let f = 51/14060 - t. Are 1 and f equal?
False
Suppose -12*d = 16*d. Let g = -5 - -4. Let o be 40/6*g/(-8). Which is smaller: o or d?
d
Let x be (3 + -3)*3/(-6) + 5. Suppose 18*s = 13 + x. Which is smaller: s or -3/91?
-3/91
Let p = 46 + -45. Let m be p/(3/18*-3). Suppose 0 = -2*t - 4*h + 4, -h = 2 - 4. Is m equal to t?
True
Suppose 51*x + 4620 = 54*x. Suppose 4*c = -7*c - x. Let s be c/(-15)*(-5)/(-12). Is 4 <= s?
False
Let i(j) = -j**2 - 240*j - 8316. Let b be i(-42). Is -3208 greater than or equal to b?
False
Let w(b) = 40*b**2 - 18*b + 5. Let g be w(-9). Let m = 357731/105 - g. Which is smaller: 0 or m?
m
Let f be (-530290)/(-4275) - (-8)/(-180). Suppose t = -t - 254. Let v = t + f. Is v < -4?
False
Let b = 28826 + -28841.109. Let i = b + 0.109. Let h = 21 - i. Are 1 and h nonequal?
True
Let k = -613007807/5551480 - -267/30008. Let s = 552/5 + k. Which is bigger: -1 or s?
s
Suppose 183*x + 53*x - 3010360 = -144*x. Is 7922 at least x?
True
Let q = 794 + -797. Let d = -80 - -114. Let v = q - d. Which is bigger: v or -1?
-1
Let p(k) = -k**3 + 11*k**2 + 3*k - 38. Let w be (-165)/(-15)*(0 + 1). Let q be p(w). Let j be (6/5)/((-6)/20). Are j and q nonequal?
True
Let p = -2.091 + 0.361. Let a = p - 51.27. Which is greater: a or 2?
2
Let b(i) = i**3 - 7*i**2 + 38*i - 185. Let f be b(6). Let r(l) = l**2 - 9*l + 16. Let m be r(f). Which is smaller: m or 14/19?
14/19
Let m(s) = -s**3 + 15*s**2 - s + 22. Let z be m(15). Suppose -z*d = -663 + 250. Suppose 2*l + 2*l = -p + 63, 3*l - d = -p. Is p greater than 48?
False
Let u = 1735/4 + -440. Let q = -9.96 + -0.04. Let d = q + 9.9. Which is smaller: u or d?
u
Let f = 240 - 233. Let p be 2*1/f + 12/56. Which is smaller: 21/5 or p?
p
Suppose 8*b = 3*g + 3*b - 151, 5*g + 3*b = 263. Suppose -g = 6*v - 5*v. Let r = v + 45. Which is smaller: -19/3 or r?
r
Let h = 26194 - 26087. Are 2228/21 and h non-equal?
True
Let l = -23 - -33. Suppose -142*n + 135*n = 0. Suppose -4*h + 40 = -2*r + 6*r, 5*r - 4*h - 32 = n. Is r not equal to l?
True
Suppose m + 3 = 2*a + 12, 3*a + 6 = 0. Let n(t) = -2*t**2 + 11*t - 5. Let z be n(m). Let o be 2/8 + 738/(-2376). Is o > z?
False
Let z = 0.18739 + -17.18739. Which is smaller: 0.0106 or z?
z
Let l = -0.028 - 154.972. Let s = -139 - l. Which is greater: -5 or s?
s
Let r = 111.34 + -111.26. Which is bigger: -773 or r?
r
Let v(f) = -f**2 - 61*f - 374. Let t be v(-55). Which is smaller: t or -1.6?
t
Let i = 248 + -473. Let l = i + 252. Which is smaller: l or 28?
l
Let v = -23.97 + 25.97. Which is greater: v or -2/107?
v
Let x be (4 - 1/(363/(-357))) + 2 + -7. Is x >= 27?
False
Let i = 1441 - 1441. Let f = -1259 - -23927/19. Is i smaller than f?
True
Suppose -3*m - 2*m = -7*m - 410. Which is smaller: -237 or m?
-237
Let r be (2/2)/((-3)/(-33)). Let d(f) = -f**3 - 13*f**2 - 5*f - 45. Let t be d(-13). Suppose 21*k - 11 = t*k. Is r > k?
False
Let k be (-23 - -29)*1/2. Suppose -4*u + k*t - 752 = 0, 0 = -5*u + 2*t - t - 929. Is u != -184?
True
Suppose 0 = -s + 3817 - 3804. Which is smaller: -237 or s?
-237
Let r = -6 - -7.5. Let u = 1295.5 + -1297. Let g = u + r. Which is greater: g or -1.5?
g
Let a = -2499.37 + 2500. Which is smaller: 0.1 or a?
0.1
Suppose 5*c + 6 = 3*s, -5*s = -7*s + 2*c + 4. Suppose -s*d + 2 = -4*d, 4*v + 2*d + 18 = 0. Let q be 6/9*-3 - v/1. Is 4 at least q?
True
Let h be (-5)/(-50)*801*1. Is 81 equal to h?
False
Let g = 2.0