. Let r be 5/(1 - -4)*(f + 48). Let v = r + -30. Which is bigger: v or 18?
18
Let v = 1 - 1.3. Let a = 16050 - 16059. Which is smaller: a or v?
a
Let q = 180.33 - 181. Let a = q + -0.23. Is a less than -5?
False
Let a(b) = b**3 - 4*b**2 + 5*b - 23. Let f be a(4). Let p be 8/(-12) - f/((-18)/(-100)). Which is greater: 18 or p?
18
Let r be ((10/16332)/5)/(-21 + 1859/88). Is r bigger than 1?
False
Suppose -2*u - 45 - 203 = 2*x, -5*u + 541 = -4*x. Which is smaller: 13 or x?
x
Suppose 28*b - 114*b + 91332 = 0. Which is greater: b or 1063?
1063
Let q be ((-1)/(-8))/((-2)/6). Let n = -45.295 - -45.395. Is q at least n?
False
Let g = -15.9 - -68.8. Let k = 49.9 - g. Which is smaller: 1/7 or k?
k
Let u = 49.1 + -49.08332. Which is smaller: 0 or u?
0
Let h = -39.68 - -105.883. Let r = h - 0.203. Which is smaller: 2/7 or r?
2/7
Suppose 0 = 5*q + 2*l + 518, -5*l + 17 = q + 116. Let g be (-9)/(-26) + 0 + q/(-676). Which is greater: -72 or g?
g
Suppose 161*h + 7750 = 111*h. Which is greater: h or -169?
h
Let b = -0.091 + -24.109. Let l = -30.05 - -6.05. Let z = b - l. Which is smaller: 24 or z?
z
Let w = 397 + -711. Let n = 314 + w. Is -2/611 less than or equal to n?
True
Let i = 4118 + -4224. Is i less than 17?
True
Let m(f) = 432*f - 14548. Let v be m(41). Which is smaller: 3165 or v?
v
Let n be ((-6)/5)/(-1 - 240/(-250)). Let c be 3 - (94/n + 5/25). Which is greater: -18.1 or c?
c
Let d be (10*8/4320)/((-3)/(-9)). Let n = -19.8 - -16. Let m = -4 - n. Which is greater: m or d?
d
Suppose -4*o = -5*s + 27737, -4*o - 5356 = -3*s + 11291. Are 5546 and s unequal?
True
Let s be 2712/14*(-40)/(-48)*21/5. Are 5421/8 and s unequal?
True
Let m = 41086 + -26480. Which is smaller: 14605 or m?
14605
Let h = 116 + -46. Let x be (-1)/(15/h) - 4/(-6). Is x less than -7/6?
True
Let p be (-5)/((-22)/12 - -1). Let d(y) = -2*y**2 - 2*y + 2. Let f be d(p). Which is bigger: -83 or f?
f
Let m be -4 + (-637)/(-21)*45. Are m and 1361 non-equal?
False
Let r(v) = v**3 + 13*v**2 - v + 15. Let b be r(-12). Let x = 172 - b. Which is bigger: x or -1/7?
x
Let s be 1 + (0 - 221/3). Let t = 62 + s. Which is greater: t or -10?
-10
Let r(k) = k**3 + 8*k**2 + 14*k + 10. Suppose 0 = 3*c + 3 - 15. Suppose t + 4*t = 5*g + 40, 5*t - c = -g. Let a be r(g). Which is greater: a or 12?
12
Let w = -6947.9763 + 6946. Let h = w - 0.0237. Is h equal to 106?
False
Let y(w) = -3*w + 118. Suppose 0 = -4*c + 16, 45*n - 2*c = 40*n + 177. Let h be y(n). Which is greater: h or 3?
h
Let p(r) = -3*r + 5. Let y be p(-5). Let f = 24 - y. Let t be 2/(-28)*f/1. Is t equal to 2.6?
False
Let z be (-19)/(-3) - 4 - 2/(-3). Let c be -30 - ((-15)/z + 10). Is c != -35?
False
Let z be 3*(-9 + 8) + (-2076)/(-2). Let w be (3/3 - 0)/((-15)/z). Is -70 bigger than w?
False
Let t = -14 - -27. Let n be (-264)/8*(-7 - 4). Suppose -6*x - 279 = -n. Which is smaller: t or x?
t
Let b(l) = 395*l**2 + 2*l. Let p be b(-3). Let k = p + -31886/9. Let n = -40/9 + k. Is n at least 1?
True
Suppose -460*g + 216 + 44 = -470*g. Which is smaller: g or -34?
-34
Let a(s) = -89*s + 4170. Let d be a(84). Which is greater: d or -3305?
-3305
Suppose 102*v + 3753 + 9525 = 1854. Which is smaller: v or -91?
v
Suppose -53 = 4*r - 2*a - 61, -3*r - 4*a = -6. Which is greater: 3.597 or r?
3.597
Let q = 81874 + -574337/7. Which is smaller: q or -175?
-175
Let n be 5738/3441 - ((-1274)/78 + 18). Do n and 1 have different values?
True
Let i = 9.1 + -8.17. Let b = 274.4 + -275.43. Let f = i + b. Is f >= 12?
False
Let f(c) = -c**2 + 2 + 225*c + 6 - 226*c. Let p be f(-3). Is p at least 11?
False
Let q = 662605/4677 + -10/1559. Let n be (1/(-1))/(63/(-8946)). Which is bigger: q or n?
n
Let p = 6.594 + 1.406. Which is bigger: p or -0.0984?
p
Let j be (1 - 2)/((-1)/(-13)). Suppose 0 = -5*y - 3*b + 2352, y + y + b - 940 = 0. Let w = -483 + y. Which is smaller: w or j?
w
Let p = -1812 - -1810.236. Is p less than -1?
True
Let b = -215 + 207. Let m be 3072/(-792)*6/b. Which is smaller: m or 2?
2
Let o be (1166/(-248941))/(386/(-28)). Is 1 at least o?
True
Let g = 13704 - 8931. Does -1 = g?
False
Let n = -14928.168 - -14929. Which is bigger: n or -1?
n
Let a = 1/6636 + 115/809592. Which is greater: a or -1?
a
Let f be ((-162)/(-351))/(512 + -6). Is f at most 0?
False
Let l = 1314 - 5958. Which is bigger: -3 or l?
-3
Let y = 17974 - 12268. Let g be y/90 - (-1 - (-7)/5). Let a = 68 - g. Is -4 != a?
True
Suppose -4*n - 124 = -4*h, h - 3*n = 2*h - 35. Let f be 2/9 + ((-698)/(-18) - -5). Suppose w = p - 2*w - f, -5*p - 2*w + 152 = 0. Is p less than h?
False
Let x = -978.8 + 978.76. Suppose q - 5 = -4*j, -5*j - 1 = 2*q - 5. Suppose -4*v + 8 = -j*v. Which is greater: x or v?
v
Suppose 36542*i = 36546*i + 17160. Is -4293 greater than i?
False
Let i(j) = -j**2 + 22*j + 63. Let b be i(24). Let o be ((-12)/108)/((b/2)/5). Which is smaller: 1 or o?
o
Let v = -68 + 76. Suppose -y = 5*p + 9 + v, 4*p + 52 = 4*y. Let h be 4/(1 - -31)*54. Are h and y equal?
False
Let a be ((-6)/7)/(51/238). Let z be -1 - a - 2/2. Which is bigger: 3 or z?
3
Suppose 12*v - 9*v - 3780 = -25*v. Which is smaller: v or 2586/19?
v
Let d be ((-171)/(-18))/19*(2 - 0). Let f = 2003/48 + -241/6. Is f > d?
True
Suppose 16*c = -39 + 119. Suppose c*n + 763 - 188 = 0. Which is greater: n or -117?
n
Let n = -10473.34 + 10510. Which is bigger: -1 or n?
n
Let z = 877.2 - 938.2. Do 3 and z have the same value?
False
Let g = -1.656 - -1.716. Let m = 13 + -13.08. Which is smaller: g or m?
m
Let l be (21/42)/(2/400). Suppose -5*w - l = -0*w. Let z be 3 + (-23)/(-4) + (-5)/w. Which is smaller: z or 11?
z
Let f be (-72)/((-270)/(-15)) + 4588/1174. Do 0 and f have different values?
True
Let b = -57 + 56.954. Let j = -3379.004 - -3379. Let f = j + b. Is f <= -0.01?
True
Let v be 2/(-4)*-1 - (-875)/14. Let s = -89 + v. Let g be (-15 + 13)/((s/(-10))/(-1)). Is 0 <= g?
True
Let g be (-3)/(-5) + (-6)/(-60)*-26. Let j be 2/g - 22/(-110). Which is smaller: j or -2?
-2
Let b(x) be the third derivative of x**4/6 - 43*x**3/6 - 17*x**2 + x. Let p be b(12). Let d be 0/1 + (-135)/(-24). Which is bigger: p or d?
d
Let w = -982.5 - -1156.5. Is w less than -2?
False
Suppose 0 = 5*s + 5*m - 80, -8*s + 5*s + 46 = m. Let h(l) = l**2 - 14*l - 18. Let y be h(s). Which is smaller: -41/10 or y?
-41/10
Let y = -7398 + 7398. Is 2030 at most y?
False
Let v be ((-4)/3)/((-4)/12). Suppose 1 = -3*n - 0*n - 2*w, 0 = -3*n + v*w + 11. Which is smaller: n or 2/259?
2/259
Suppose -605 + 125 = 4*o. Let i = 120 + o. Which is bigger: -0.0189 or i?
i
Let c = 6 + -1. Suppose 0 = -2*x - c - 5. Suppose 3 = -3*v - 15. Is x at least as big as v?
True
Let h be -2*2/4 + -129 + 134 + -1599. Which is smaller: h or -1601?
-1601
Let s be 6/(-14) - 56981/(-133). Let n = -243 + s. Are 187 and n unequal?
True
Let d = 1279913 + -37102922/29. Suppose 0 = o - 3*l - 517, 81 = 3*o - 5*l - 1450. Let m = d - o. Which is bigger: m or 0?
0
Let j = 9481 + -7745. Is 1746 at most j?
False
Suppose -8*f - 2686 = 5*o - 9*f, 2678 = -5*o + 3*f. Suppose 0 = -m - m - 1076. Does o = m?
True
Let l = 1103/3 + -371. Let a = -107/33 - l. Which is smaller: 10/3 or a?
a
Let z be (-70372)/8796 - (-13 - -24 - 19). Which is greater: z or -1?
z
Suppose m + 27 = -2*p - 0*m, 0 = 4*p - m + 69. Let w = p + 20. Suppose -5*g = -w*g + 24. Is -24 smaller than g?
False
Let o be 38/3*170/340. Which is smaller: 1.02 or o?
1.02
Let g = -0.085 + -54.915. Let f = g + 52.6. Is -1 smaller than f?
False
Suppose 0 = 4306*t - 4277*t + 4060. Let d(p) = -9*p**2 + p - 1. Let v be d(4). Which is greater: v or t?
t
Let j = -10897 - -23700973/2175. Which is bigger: 0 or j?
0
Let j = -0.1083 - -634.1083. Let x = -367 + j. Do 0.1 and x have different values?
True
Let q = 291/2 - 869/6. Is q greater than 157/28?
False
Let k be ((-1265)/1518)/((5/3)/1). Let j be (-2)/10*136/(-34). Are k and j unequal?
True
Suppose -286*f + 351*f - 26910 = 0. Which is smaller: f or 404?
404
Let t = -0.4269 - -38.4269. Which is smaller: -200 or t?
-200
Let l be 2895 + -15 + 2 + 0. Suppose -6*i + l = 770. Is 353 < i?
False
Let s(p) = -p + 19. Let t be s(17). Suppose -26*r + 16 = -25*r. Suppose -4*i - 9 = 3*c - t*c, 0 = -4*c - 3*i + r. Is 9 less than or equal to c?
False
Let w(y) = y**3 - 5*y**2 + 3*y - 13. Let g be w(5). Let t be (-1)/g + (-5)/60*-5. Is 0