. Let h(v) = 2*v + 10. Let k be h(-9). Which is smaller: k or t?
k
Let d(q) = 13*q**3. Suppose -10*r = -9*r - 1. Let i be d(r). Let m be 19/(-114) - i/(-6). Do m and 14/9 have different values?
True
Let l = 0.04 + 5.96. Let a = 47814 - 47815. Is a at least as big as l?
False
Let w(x) = -x - 6. Let q be w(-7). Let l be ((-4)/(-8))/q*-2 - -4. Suppose 4*v - 29 = 5*d, 0 = 2*v - 0*v - l*d - 17. Is 12/7 greater than v?
True
Let b(n) = -2*n - 13. Let m be b(-6). Let u = -6820.1 + 6822. Which is smaller: m or u?
m
Let o = 0.912 + -0.347. Let v = o - 0.465. Which is smaller: v or -0.0251?
-0.0251
Suppose -31*p - 32724 = -187*p - 1206780. Which is greater: -1 or p?
-1
Suppose -11*d + 30 = -26*d. Let j be 0 + (6 + d - 5). Which is greater: 33.3 or j?
33.3
Let n be (-14)/9 - (-170)/765. Which is smaller: -1096 or n?
-1096
Let g = 7423 + -7422.912. Which is smaller: 29 or g?
g
Let c be (-46)/(-230)*(4 + -9). Is 1/2912 smaller than c?
False
Let v = -12362 - -11403. Is v at most as big as -7665/8?
True
Suppose 0 = -4*a - 11 - 13. Let x be -4*-3*a/(-9). Let f be ((16/(-128))/((-5)/40))/(1/7). Is f smaller than x?
True
Let i = -23.9 + 20.13. Let u = i - -14.77. Which is smaller: u or 4?
4
Let v = 2028 + -2028.0644. Is v > 1?
False
Suppose 0 = 88*v - 129*v + 73*v - 356224. Is 11131 bigger than v?
False
Let k be (4/26)/((-80)/(-24440)*47). Suppose -3*f - 48 = f. Which is bigger: k or f?
k
Suppose 0 = 3*v - 65 - 259. Let y be (2 + 2)/(-2)*(1428/(-24) - -6). Is y at least v?
False
Let q(w) = 2*w - 17 - w + w - 3*w. Let j be (-213)/18 + 14/(-84). Let p be q(j). Are p and -5 non-equal?
False
Let b = -25.4 + 24.9. Let t = 0.27 + b. Suppose 5 = -2*c + 7. Is c smaller than t?
False
Let h(d) = d**2 - d - 83. Let s be h(-9). Suppose 3*z + c - 30 + 21 = 0, -c = -5*z + s. Is -0.1 equal to z?
False
Suppose 9*p - 8*p - 2 = 0. Suppose -28 = 9*k - p*k. Let v be ((-16)/20)/((-2)/(-10)). Is v < k?
False
Suppose -11180 = 5*t - z, 0*t + t + 4*z = -2215. Let b be t/(-60) - (-6)/8. Let h = b - 37. Which is smaller: h or 4/5?
4/5
Let b be (-10)/(-8)*(1 - 5). Let r(u) = u**3 - 11*u**2 - 8*u + 80. Let h be r(11). Is h at most b?
True
Suppose -2*z = -q + 2*z + 2, -10 = -5*q - z. Let s(n) = -3*n + 9. Let r be s(q). Which is smaller: r or 13?
r
Let f = 76.78 - 76.98. Which is greater: f or -2/301?
-2/301
Let n = 58069 - 58070. Let u = 40/263 - 33023/215397. Is u less than n?
False
Let c = -37 + 51. Let s be c/77 + (-5304)/(-110). Let g = 48 - s. Which is smaller: 0 or g?
g
Let g = 4 - 3.7. Let u = -25.995 - -26.032. Is g smaller than u?
False
Let q(d) = 79*d**3 - 3*d + 2. Let u be q(1). Let h be (-16)/168*-14*u/(-16). Which is bigger: h or -7?
h
Suppose -n + 28 = 157. Let j(v) = -v**3 - 43*v**2 + 55*v - 1703. Let o be j(-45). Is o at least as big as n?
True
Let v be 2/(-6)*(1 - 1). Suppose v = o - 22 + 20. Suppose 3 = -5*r - o*u - 1, 4*u - 2 = -5*r. Which is smaller: r or -5?
-5
Let q be -40 + 33 + (3 - -1). Let h be (-2)/q*26/(-52). Which is bigger: h or -77?
h
Let w be (32198/68)/((-3)/(-6)). Let o = -966 + w. Suppose -4*s = -3*p - 83, 5*p + 5*s + 80 = -0*s. Which is smaller: p or o?
p
Let i be (-6)/40*16*(-31)/2728. Suppose 2*h - 3 + 5 = 0. Are h and i non-equal?
True
Let c be 6/(-4)*(-9*(-13)/(-351) + 1). Which is bigger: c or -38/1013?
-38/1013
Let l be 5 + 120/(-24) + (5 - 3). Let m = 50.31 - 50. Is m less than l?
True
Let k = -154 + 96. Let v = -9521 - -9520. Which is bigger: v or k?
v
Let a = 69 - 69. Suppose -124*c + 128*c - 44 = a. Let w = 25 - 15. Which is greater: c or w?
c
Let f = 51/4429 - -6/103. Suppose -5 = -p + 4*j, -7 + 6 = -3*p - 2*j. Is f at least p?
False
Let m = -7 - -6. Suppose -4*v - 4*f - 72 = -6*f, -2*v + 4*f - 42 = 0. Let z be v/17 - (-92)/90. Which is greater: z or m?
z
Let i(y) = -y**3 - 39*y**2 - 5*y - 205. Let u be i(-39). Suppose -8*j = -3*j - 20. Suppose 0 = -p + j*p + 24. Which is smaller: u or p?
u
Let b be (2 - (-5)/(-2))*-2. Let s be -1 + (1 - (0/8 + -7)) + 9. Let r be b/3 - s/24. Which is bigger: r or 0?
0
Let y = 18.274 + -1.274. Let f = 6 + -12. Let u = f - y. Is -1 not equal to u?
True
Let d = 8953 + -295456/33. Let s be 0 - 1/(-2)*0. Which is bigger: d or s?
s
Let k = 384438/1777 - 2862018698/573971. Let u = k - -4770. Is 0 greater than or equal to u?
True
Let o(l) = -4*l**2 + 63*l - 248. Let i be o(8). Which is smaller: i or 4/4893?
i
Let h = -1.83 + 2.003. Let g = h - 0.083. Do -0.5 and g have the same value?
False
Suppose -q + 2*u = 5*u + 20, 5*q + 28 = 3*u. Suppose -68 - 68 = 17*g. Let x be 6/g*-2 + 4/q. Is -1/80 greater than x?
False
Let w be ((-1)/((-68)/90))/(12/(-48)). Let i = w + 2705/527. Let d = -406/2325 - i. Is -1 >= d?
False
Suppose 8*u = -4966 - 634. Let l be (0 + (-4)/7)/((-300)/u). Which is greater: l or 0?
0
Let u be (30/(-165))/(1/(-11)). Suppose g + u*g = 5*h + 1, 0 = 3*h - g - 1. Which is smaller: h or -2/19?
-2/19
Let o = -119539/80 - -7474/5. Let m = 9.4 - 9. Which is greater: m or o?
o
Let d be (-317657)/(-155) + -12 + 9. Suppose y = -5*r - 10296, -r = 3*r + y + 8236. Let u = r + d. Which is bigger: -14 or u?
u
Let p(l) = -13*l + 15. Let o be p(1). Suppose -2*i = j - 0*j + 26, -3*i - 51 = o*j. Which is bigger: j or -27?
j
Suppose u + v = -4*v - 37, 5*v = -4*u - 133. Which is greater: u or -710/23?
-710/23
Let w(x) = -23*x**3 - 416*x**2 + 23*x + 39. Let v be w(-18). Are -5111/5 and v non-equal?
True
Let j = 895.3 + -961. Let v = j - -79. Let q = v + -2.3. Is 0 equal to q?
False
Suppose -o - 7*p = -459, -20*o = -16*o + 5*p - 1698. Is 2916/7 less than o?
True
Let s = -21 + 12.5. Let n = -8.2 - s. Which is smaller: -14 or n?
-14
Let l = -424 - -423.9. Is l <= 61/9?
True
Suppose d + 1 = 5*x - 4*x, -5*d + 2*x + 10 = 0. Suppose -d*y - 183 = -7*y + 3*k, -3*k = 5*y - 313. Which is smaller: 63 or y?
y
Let r = -98.03 + 100. Let t = 1.67 - r. Let f = 1 + -1. Are f and t equal?
False
Let v = -21698 + 86793/4. Are v and -3.21 equal?
False
Let x = -750 + 768. Suppose 4*m - 60 = -2*y + 4*y, 0 = -4*m - 3*y + 50. Suppose 2*k + m = -x. Is -14 at most k?
False
Let q = 343 - 323. Suppose q*y + 220 + 260 = 0. Is y less than or equal to -121/5?
False
Let p be (0 - -4) + (0 - 282/81). Let t = p + -55/54. Which is smaller: t or -0.6?
-0.6
Let g = 500 - 1214. Let d = -6440/9 - g. Suppose 38*v + 34 = 21*v. Are d and v non-equal?
True
Let c = 10229 - 10229.043. Is c at most -0.22?
False
Let d(v) = -v**3 + 10*v**2 - 6*v + 6. Let l be d(4). Suppose -65*k - 86*k + 5738 = 0. Let y be -4 + 9/l*k. Which is smaller: 0 or y?
0
Let g be ((-61630)/(-4))/(29/(-58) + 3). Is -1/2 <= g?
True
Suppose 7*f + 141 = 4*f. Let m = f - -49. Let q be 2 - (m/(-6))/(2/(-36)). Is q >= -4?
True
Let b = 2006 + -2005.35. Let r = -4.8 + 4.42. Let v = b + r. Is -1 bigger than v?
False
Let k(w) = 3*w**3 + 5*w**2 - 5*w - 13. Let r be k(5). Let t = 462 - r. Let f = -109 - -2181/20. Which is smaller: t or f?
t
Let g = 671 + -983. Let q = g + 308. Is q > -28?
True
Let f be (-8)/(-12)*(-114)/(-219032). Which is bigger: f or -1?
f
Let q = -525 + 761. Let z = q - 236. Is z not equal to -0.119?
True
Let j be ((-6)/(-3))/(4/(-16)). Let p be (-6 + 5)/((-2)/4). Suppose -28 = 4*t + 3*y - p*y, -y = -2*t - 14. Which is smaller: j or t?
j
Let c = 21 - 15. Let z(o) = 6*o**2 - 10*o**2 - c*o - 25 + 2*o**2 + 3*o**2. Let j be z(12). Is j at least 45?
True
Let x = 140 + -348. Let u = x + 193.4. Which is greater: u or 0?
0
Let s be 8/5 + (-10)/(-25). Suppose v = 4*w + 2*v + 27, 0 = -4*w - 2*v - 30. Let l be 132/(-162)*w - 4. Which is smaller: s or l?
l
Let z = 18558 + -18958. Is -406 less than z?
True
Let v be (-39 - -13)/416 + (-264926)/544. Is v at most -486?
True
Let a = -480 - -491.112. Let k = -11.2 + a. Let z = k + 0.101. Which is greater: -1 or z?
z
Let h = -615.9843 - -616. Let k = 0.0123 + h. Let d = -1.1 - -1. Is k <= d?
False
Let r(u) = -u - 1. Let s = 19 - 25. Let b be r(s). Suppose 28 = 2*g - t - 3*t, 0 = -b*g + 4*t + 100. Is 0.2 less than g?
True
Let j be 1701488/(-1197) + 1/(-9). Let m = j - -1434. Is 12 equal to m?
False
Let r = -7489/30723 - 1/539. Let d(g) = -g + 2. Let i be d(1). Does r = i?
False
Let c be -8 - ((-352)/(-77))/((-2)/(-346)). Is c < -799?
False
Let v be (-8)/(-6)*231/14. Suppose 20 = -2*n - v. Let s be ((-14)/n)/(2/18). Which is smaller: 7 or s?
s
Let g(y) = -y**3 