(y) = 5*y - 30. Let h(u) = -2*u + 15. Let x(f) = -7*h(f) - 3*i(f). Let a be x(q). Is a less than or equal to -8?
False
Let n be ((-154)/55)/((-2)/690). Let l be n/9 - 6/18. Let m = l + -121. Is -5 at most m?
False
Let q = 3 + -3. Let s = 9.17 + -6.32. Let b = 1.55 - s. Which is smaller: q or b?
b
Let w be 289/(-17)*4/68. Which is smaller: 70/251 or w?
w
Suppose 266 = -z - 4*s, -5*s = 201*z - 202*z - 239. Which is greater: -1774/7 or z?
-1774/7
Let k = -1.3329 - -73.9429. Let z = k + -72. Let d = z + 6.39. Which is smaller: d or 1/3?
1/3
Let h = 31 - 30. Let a(j) = j**3 + j**2 + j + 1. Let p(t) = 2*t**3 + 7*t**2 - 5*t + 3. Let k(z) = h*a(z) - p(z). Let s be k(-7). Is s < 5?
False
Let p(w) = 3*w + 117. Let f be p(-40). Which is smaller: 91 or f?
f
Let v = 17.11 - 19.11. Is v <= 1.117?
True
Let m = 818.957 + -814. Let h = -5 + m. Let t = 0.157 - h. Which is bigger: t or -1/13?
t
Suppose -117 = -5*b - z, -54 = 3*b - 5*b + 2*z. Let w = 28 - b. Suppose -w*i + 15 + 15 = -5*p, 20 = 4*i. Which is bigger: p or -3/2?
-3/2
Let g be 3 + 699/(-117) + 3. Let k = -17333.93 - -17334. Is k < g?
False
Let a be -7 + (-9 - (-18 + 1)). Which is greater: a or -1/482?
a
Suppose -3*x - 28 = -22. Let t(r) = 3*r**2 - 2*r - 4. Let q be t(x). Which is greater: 11 or q?
q
Let b be 96/432*27/21. Which is smaller: b or -376/11?
-376/11
Let r be (-64)/(-70) - 4/7. Let g = 9/35 + r. Let p be (((3 - 0) + -2)*1)/(-16). Is g greater than or equal to p?
True
Let d(o) = -3*o - 16. Let c be d(-12). Let n = c - 14. Let i be (2/n)/(-20 + (2 - 0)). Is 1 greater than or equal to i?
True
Let w(c) = 263*c + 7. Let d be w(-6). Let h = 17269/11 + d. Suppose -4*j + 5*v = 25, 3*j - 5 = 3*v - 4*v. Which is greater: j or h?
j
Suppose -13*a = -4*a - 3888. Suppose -21*l - a = -3729. Which is smaller: 158 or l?
l
Let h = -217/3 - -71. Let n = 586.29 + -585.29. Is n not equal to h?
True
Let i = -6/84829 - 381051814/763461. Let u = i - -498. Is u >= 6?
False
Let v = 0.898 - -4.492. Let p = v - 4.39. Which is greater: 0.26 or p?
p
Let r = -5293 - -5105.68. Let m = r + -5.68. Is 0.2 less than or equal to m?
False
Suppose 0*v = v - 4. Suppose s + 0 = v. Let z(k) = -3089*k - 74139. Let n be z(-24). Which is smaller: s or n?
n
Let a(j) = 6*j**2 - 4*j + 4. Let q be a(1). Let k be 9/36*q*(-2)/201. Which is smaller: k or 0?
k
Let y be 7/(147/(-54))*(-18)/(-48)*52. Which is bigger: y or -51?
y
Let x be (-133 - -5)*14/(-56). Suppose -4*v + 33 = -3*v. Is v > x?
True
Let u = -384 + 384. Let v = 4167/376 + -89/8. Are v and u equal?
False
Let f be -3 - 660/18*(-27)/(-6). Let h be (-2)/(-4)*0 + 4/f. Suppose -q - 2 + 3 = 0. Which is smaller: h or q?
h
Let l = -11838 - -11851. Let q(g) = 2*g**2 + 7*g - 1. Let v be q(-5). Let r be 186/v - 6/21. Is l less than r?
False
Let x = 53849/2 - 26261. Which is greater: x or 663?
x
Let j = 130 + -136. Let p(t) = -4*t**2 - 30*t - 8. Let k be p(j). Does k = 31?
False
Let l(q) = 349*q - 787. Let h be l(2). Which is smaller: -1.1 or h?
h
Let i be (30/(-50))/((-1)/(-5)). Let h be (i + (1 - 2))*(-3)/114. Which is greater: h or 2/13?
2/13
Let d be 1/(-2) - 1/2. Let y be 1*3/(-15) + 612/60. Let l be (-28)/y + (-16)/(-20). Is d smaller than l?
False
Let s = 99450 - 1090442/11. Is s at least 320?
False
Suppose -16*k + 119 - 1351 = 0. Are k and -61 equal?
False
Suppose -2*c = -3*d + 20, -26 = -4*d - 0*c + 3*c. Let t be (-2)/(d*(-2)/26). Let z(b) = -b**2 - 8*b - 9. Let v be z(-6). Is v greater than t?
False
Suppose -14343 - 33069 = -27*i. Are i and 1755 nonequal?
True
Let j be 14/4*((-9)/(-21) - -3). Let b be -2 + 8*(2 - j/8). Let v be (-2)/(-12) + (-22)/(-12). Is v equal to b?
True
Let c be (-21)/99*(123296/(-20552) + 6). Which is smaller: c or 1?
c
Let y = -42 + 521. Let o = y + -474.58. Let l = -0.58 - o. Is l equal to 4/5?
False
Let c = -115 + 136. Suppose c*v + 56 - 266 = 0. Is 1 less than or equal to v?
True
Let t = -65 + 22. Let k = 1189 - 1235. Which is greater: t or k?
t
Suppose 4*z - 39 = -3*q, -4*z = -4*q - 40 + 8. Is q greater than -1/10736?
True
Suppose 67*s = 62*s + m - 19, 4*s + 3*m = 0. Let g be 6*2/s + (-52)/(-14). Which is smaller: 396 or g?
g
Let b = 15400.1 - 15400. Which is greater: b or -11683?
b
Let f = 9/5555 - 3960751/22220. Let g = f - -177. Which is greater: g or 0?
0
Let l be (-387)/4 + 1/(-4). Let t = 100998 - 100993. Do t and l have the same value?
False
Let p = 532 - 536. Let l be (-3*(-2)/p)/((-81)/4158). Let t = -34 - -110. Do l and t have the same value?
False
Let a = 1630 + -177672/109. Let u = 183 - 184. Which is bigger: a or u?
a
Let o = 60 + -67. Let q = o - -20/3. Is -1 at most q?
True
Let c be 188/(-552) - 34/(-204). Which is smaller: -256 or c?
-256
Let q = -6854737/249 - -27529. Are q and 1 nonequal?
True
Let u = -10.9655 - -11. Let s = u + -0.1345. Suppose 5*w + 84 = 4*h, -h + 2*w + w + 28 = 0. Which is smaller: s or h?
s
Let q be ((-4687)/344 - -14)/((-2)/(-4)). Is q smaller than 284?
True
Let q = 5200.63 - 5201. Is 0.036 less than or equal to q?
False
Suppose 8 = t + 2*b, t + 5*b - 1 + 5 = 0. Suppose 0 = -l - 2 - 3, -285 = -5*y + l. Let d be 4 - (2 + -1 - y/t). Is d at most as big as 7?
True
Suppose -1046*o = -625 - 24037 - 24500. Let a = 124 + 62. Suppose -c = -4*i - 22 - 21, -2*i = -4*c + a. Is c equal to o?
True
Let z = 390.666 - 0.566. Let x = -390 + z. Are x and 3/8 nonequal?
True
Let j be 6/((-134959)/5401 + 25). Which is smaller: 492 or j?
j
Let f = 7214 + -7429. Which is smaller: f or -197?
f
Let v be (-186)/30*(-5)/78. Let y = 10/13 + v. Is y > 2?
False
Let r be ((-2059)/145)/(2/10). Is 1/8 <= r?
False
Let d(s) = 17*s**2 + 21*s + 142. Let z be d(-5). Is 458 <= z?
True
Let a = -262 + 247.4. Let j = a - -14.7. Is 0.42 at least as big as j?
True
Let f(y) = 11*y - 48. Let i be f(6). Suppose 4*g + 3*o - 686 = 0, -o - 193 = -g - i. Which is greater: g or 172?
g
Suppose -13*i = 30*i + 3182. Let x(r) = 6*r**2 + 3*r. Let b be x(3). Let s = b + i. Do -1 and s have different values?
True
Let b(t) = t - 3. Let l be b(4). Let v be 8/(-22) + (-216)/(-1320). Is v equal to l?
False
Let h = 103.6 - 698.6. Let v = h + 584. Suppose 0 = j - 3, -k = -3*k - 4*j + 14. Is k bigger than v?
True
Let t = -1.389 - -1.389. Is 14.53 at most as big as t?
False
Let a = 137/191 + -1001964/1397165. Which is smaller: a or -1?
-1
Let t = 245.3 + -737.2. Let z = 492 + t. Which is smaller: 344 or z?
z
Let r = 84 - -188. Suppose -x = 2*n + 38 - 145, 5*n + 4*x - r = 0. Let d = n - 68. Which is smaller: d or -18?
-18
Let i = 93467/18080748 - 27/4396. Which is smaller: i or -1?
-1
Let r = 9170 - 9627. Which is greater: r or -464?
r
Let l = -52 - -92. Let m = l + -39.94. Let g = 2 + -1. Which is greater: g or m?
g
Let y(h) = 8*h**3 + 12*h + 9. Let b be y(-3). Let r = b - -280. Which is greater: r or 39?
39
Suppose 0 = -3*s + 2*o - 13, -10*s - o = -8*s + 4. Which is bigger: s or 5?
5
Suppose 18*u = 8*u. Let c be (u - -7)*2/(-7). Which is smaller: c or -17/29?
c
Let w be (-4)/(8 - 4)*-16. Suppose 5*v - 15 = 2*v + t, w = v - 4*t. Suppose -17 = v*h + 15. Which is greater: h or -5?
-5
Let z(t) = -12*t + 42. Suppose -3*j = j - 52. Let q be z(j). Let a = -136 - q. Is a < -22?
False
Let s be ((4/(-5))/((-106)/265))/2. Let i be (511884/(-27))/(226/(-9)). Let y = i - 755. Which is smaller: y or s?
y
Suppose -259*k + 261*k + 5*b = -17, -3*k + 5*b - 13 = 0. Is k at least as big as 35?
False
Suppose 0*v - 2*c + 12 = -2*v, 4*v + 10 = -3*c. Let o be 0/((-13)/((-26)/4)). Suppose 0 = 4*q + i + 7, o = -q - q + 2*i - 16. Is q greater than v?
True
Let z be (-10)/4 - 33084/(-72). Suppose -9*w = -z - 110. Is w <= 63?
True
Let n = 0.08754 - -40.01246. Is n >= 12?
True
Let z(l) = 431*l + 264. Let j be z(-1). Which is smaller: j or -0.08?
j
Let n = 4272.695 + -4282. Let o = n + 0.305. Is -1 less than o?
False
Suppose u + 2*z = -40, 96*u - 92*u + 4*z + 164 = 0. Let a = 1157/6 - 9809/42. Which is smaller: a or u?
u
Let q = -13 + 39. Suppose q*c = 23*c - 3. Let o be c + ((-120)/(-52))/2. Is -1/4 greater than o?
False
Let u(y) = 57 - 22 - 21 - 11*y - 12. Let w be u(7). Let v be 10/w*-5*-9. Is v smaller than -7?
False
Let f = -3835 + 3833. Is f equal to -378?
False
Suppose 17*l + 24*l = 59*l + 1782. Which is smaller: -101 or l?
-101
Let b(x) = -2*x**2 + 36*x - 311. Let u be b(15). Does u = -217?
False
