-46 + 21. Let d(g) = -8*g**2 + 86*g + 95. Let v be d(12). Is v less than or equal to n?
True
Let w = 89 + -85. Let a be (w/(-5))/(20/(-100)). Are a and 19/5 non-equal?
True
Let h(f) = -9*f - 6 + 5*f**2 - 2*f**2 - 2*f**2. Let k(w) = w. Let l(n) = -h(n) - 4*k(n). Let p be l(6). Is 0 smaller than p?
False
Let j(l) = 7*l**2 - 19*l - 49. Let d(v) = -v**2 - v - 1. Let g(y) = -2*d(y) + j(y). Let k be g(-3). Which is smaller: k or 86?
k
Let p(l) = -l**2 + 47*l - 510. Let d be p(17). Which is bigger: d or -2/19841?
d
Let t be -5 + (2225/560 - -1). Suppose 247 = 4*u + 251. Is u at most t?
True
Let v = -15 - -12. Let h = -11 - v. Let k(w) = -42*w - 426. Let q be k(-10). Is q > h?
True
Suppose -z + 38 = 23. Suppose -f + n = -2 + 9, -3*n + z = -2*f. Suppose 3*o = 3*y + y + 11, 5*y + 19 = 2*o. Which is greater: f or o?
o
Let i = -8589278/15 - -572973. Let y = i + -354. Is -1 equal to y?
False
Suppose -2*c + 14 + 40 = 0. Let r = c + -28. Is r >= -93?
True
Let g(c) = -9*c - 51. Let b be g(-79). Are b and 659 equal?
False
Let z be (1 - 8/6) + (-62088)/819. Let c = z - -76. Which is greater: -2/21 or c?
-2/21
Suppose -227 = 5*h + 733. Let j be 13/((-117)/(-480))*(1144/110 - 14). Is h less than j?
False
Let f be (6459/(-9))/((-1924)/(-6)). Let g = -1417943/74 + 19161. Let m = f - g. Which is greater: m or -1?
-1
Let b = 75/7159 - 12468735/1152599. Let x = b + -126/23. Is -16 != x?
True
Suppose 2*c - 15 = 5*p, c + 3*p = 1 - 10. Let x = -124622/201 - -620. Are c and x non-equal?
True
Let l be 3/(2 - -4)*(10/1 + -10). Are -3/226 and l non-equal?
True
Let b(n) = -n**3 + 19*n**2 + 19*n - 12. Let l be b(20). Let p = l - -35. Suppose -2*u - 15 = -4*r + 3, p = 4*r - 5*u. Which is bigger: r or 5?
r
Let m(t) = t**3 + 13*t**2 - 34*t - 36. Let u be m(-15). Suppose 77*q = 73*q - u. Which is smaller: -7 or q?
-7
Let q = -5034 - -5033.9318. Do q and 3/5 have the same value?
False
Let z = -469.04 + -45.96. Does z = 0.2?
False
Let a = -151658/5 + 30308. Let j = 3 - 2. Is j at most as big as a?
False
Let p = -0.8 + 1. Let b = 23.8 - -197.1. Let f = b - 221. Which is greater: p or f?
p
Let w be 11/(-2)*(-1232)/(6 + -14). Let v = 465 + w. Which is smaller: 0.1 or v?
v
Let h = 45314 + -27350. Is h bigger than -1?
True
Let x = 10047 + -10054. Which is smaller: x or -26?
-26
Suppose 56 = -5*r - 3*r. Let u be -7 + 0 - 8*r/14. Let n = -34 + 24. Which is smaller: n or u?
n
Let d(f) = -f**2 + 25*f - 84. Let x be d(21). Is -80/79 <= x?
True
Let f = 115 + -121. Let y(j) = -2*j + 1. Let i be y(f). Let t(w) = 3*w - 40. Let s be t(i). Is -1/180 at least s?
True
Let t = 5777 + -4756. Is t at most 2043/2?
True
Let k = -0.1971 - -0.9971. Which is smaller: 3.78 or k?
k
Let l = -289.1 + 78. Let o = 211 + l. Is o smaller than -17.5?
False
Let j = 10.244 - 10.2. Let m = 0.856 + j. Let s(b) = 2*b - 5. Let g be s(2). Is g bigger than m?
False
Let o be ((-106)/8*(-72)/(-30))/(72/(-240)). Which is smaller: 429/4 or o?
o
Let z = 4.98061 - -0.61939. Suppose 5*l - 7 = -2. Is z greater than l?
True
Let p(n) = n**3 + 46*n**2 + 240*n. Let q be p(-40). Is 1/489 <= q?
False
Let s = 4334 + -6400. Which is greater: s or -2070?
s
Let y = 2669 + -2579. Are y and 90 non-equal?
False
Let q = -1.03 - -0.963. Let w = 1.933 - q. Let p = -10 - w. Which is greater: 0.2 or p?
0.2
Let a be ((-4)/6)/(3/((-1305)/(-10))). Let r = -25 - a. Suppose 0 = r*l - 101 + 109. Which is smaller: l or 24?
l
Suppose 11 + 15 = -5*f + x, 2*f - 5*x + 15 = 0. Suppose 0 = 416*n - 423*n - 56. Is f at most n?
False
Let c(o) = -2*o**2 - 30*o + 6. Let a(b) = 2*b + 42. Let s be a(-19). Let y be c(s). Let n = 148 + y. Is n less than 14/15?
False
Let y = -10130 - -10208. Is y >= 1.1?
True
Let u(s) = s**3 - 20*s**2 + 16*s - 9. Let g be u(11). Which is smaller: -921 or g?
g
Suppose -18*b - 292 = -22*b. Suppose -3*d - 3*y - 22 = -b, -3*y + 37 = 2*d. Let u be (-15)/(-20) - d/8. Which is smaller: -2 or u?
-2
Let j(y) = -y**3 + 86*y**2 + 846*y - 19. Let u be j(-9). Are 65 and u equal?
False
Let p = 1885 - 1889. Which is greater: p or 0.1713?
0.1713
Let n = 29.44 + -34.9. Let h = -0.5 + n. Let t = 5.9 + h. Is 9 at least as big as t?
True
Let v = 2198 - 2197. Which is greater: v or -2/11815?
v
Let a be (4 + -46)*66/(-36)*-3. Let o be (2 - a/(-18)) + (-28)/168. Which is smaller: 8 or o?
o
Let t be (3/6)/((-12405)/690 - -18). Which is smaller: t or 208/9?
t
Let p = -0.051 - -0.471. Let m = p + -0.62. Let b be 8 + -7 - (-20)/(-14). Which is bigger: b or m?
m
Let o(b) = -b**3 + 4*b**2 - 2*b + 4. Let c be o(3). Let q = c - 7. Let w be ((-2)/(-196))/(75/100). Which is smaller: q or w?
q
Let h = -13 - 5. Let s = 598.31 - 598.32. Which is smaller: h or s?
h
Suppose -84*c + 81*c - 89 = 5*m, -5*c + 3*m - 1 = 0. Let t(x) = x**3 + 5*x**2 - 4*x + 2. Let b be t(-6). Is c smaller than b?
False
Let c = -92 + -103. Let r = 73 + c. Which is smaller: r or -1?
r
Let t be 2/((-87)/(-27) - 3). Let s(q) = 8*q - 4. Let x be s(t). Let f be (-17)/x*8/14. Which is smaller: 0.3 or f?
f
Let z = -444.263 + 444. Let v = z - -0.063. Which is greater: 5/4 or v?
5/4
Suppose 127*t + 3941 + 2409 = 0. Which is smaller: -108 or t?
-108
Suppose 2*l + 10 = 4*p - 6, 5*l = -4*p + 2. Let d be 0/(l + 7/7). Is -1/141 less than d?
True
Let u = -272986 + 3006181/11. Do u and 302 have different values?
True
Let t be 936/(-153) - (-4)/34. Let m be (-1)/t - (-1)/2. Let s = -0.072 - 0.018. Which is smaller: m or s?
s
Let n = 453 - 449. Suppose -2*o + 5*c = 161 + 6, n*o - c = -361. Which is smaller: o or -93?
-93
Suppose -2*j + 5*v = -84, 178*j - 176*j = v + 76. Are j and 40 nonequal?
True
Let l = 4252 - 4251.86. Is -4 > l?
False
Let w = 2/69973 - -348291/55068751. Is w less than -1?
False
Suppose -578*d - 215 = 5*t - 583*d, -d + 7 = 0. Is -1494/41 smaller than t?
True
Let z = 0.4423 - 826.4423. Are 0 and z unequal?
True
Let r = -2.3229 + 2.3229. Is r at most -4/3725?
False
Let t(x) = -x**2 - 13*x - 16. Let q be t(-12). Let p be -4 + (q - -11) + (-2)/2. Suppose -3*k + 0*o - 11 = p*o, 4*k - 4*o = -48. Are 0 and k unequal?
True
Suppose 135 = -111*s + 246. Which is bigger: s or -49/208?
s
Let k(f) = -4*f**2 - 413*f + 2523. Let s be k(6). Suppose -n + 4*u - 118 = 0, 0*u + 2*u = -n - 88. Is s greater than n?
False
Let x(f) = 82*f**3 + 8*f**2 - 4*f - 3. Let h be x(2). Which is smaller: 678 or h?
h
Let x(b) = 183*b**2 + 22*b + 146. Let h be x(-9). Let y = h - 457835/31. Which is bigger: 2 or y?
y
Suppose 12*r + 45 = 105. Suppose 2*u + 64 = -3*x + x, 4*u - 187 = r*x. Which is smaller: -38 or x?
-38
Suppose -6875 = -3*r - 4*t - 1919, t = 2*r - 3304. Is 1652 equal to r?
True
Let w = -0.3 - -0.25. Suppose -v - 252 = -5*a + 573, -5*v = 4*a - 660. Let f = 657/4 - a. Are f and w equal?
False
Suppose 0 = 4*d - 32, -154*t - 2*d = -152*t - 22. Let a = 11 + -8. Is t at least as big as a?
True
Let v = 74 - 65. Let t = 9.1 - v. Suppose 2*a - 3 = -a. Is a not equal to t?
True
Let s = 2/655 - 2884/655. Let i = -12 - -15. Suppose -n + q - 23 = -i*q, 0 = 2*n + 2*q - 4. Is n at most s?
False
Let b = 0.1 + -2.1. Let a = 2468 + -2423. Which is greater: b or a?
a
Let j be -2848 + -4 + -4*(-45)/(-20)*-1. Is j at least as big as -5683/2?
False
Let l = 25.4 - 2.4. Let h = l - 83. Let v = h - -57. Which is smaller: 5 or v?
v
Suppose 29*u = -9*u + 2431 - 7143. Which is smaller: -159 or u?
-159
Suppose 4*t - 36 = 5*u + 3*t, 5*u + 28 = 3*t. Let f = u + 12. Suppose -5*x = 52*h - 47*h - 10, 4*h = -x - 1. Is f less than x?
False
Let l = 14.4 - 14.178. Let b = -0.172 + l. Is b less than -1?
False
Let b = 400 - 399. Is b smaller than 2/2675?
False
Let k be (6 + (-3676)/176)/(508/2). Let n be 3*(-1 + 129/127). Let y = n + k. Are -1 and y unequal?
True
Suppose 38*v + 13900 = 63*v. Suppose 4*y + v = 5*t, 4*y + y + 686 = 4*t. Are y and -135 equal?
False
Let q be 2/4*-526*-1. Let a = 263 - q. Is a >= -4/5?
True
Suppose -99*o + 623 = -169. Which is bigger: o or -0.06?
o
Suppose -19*m - 5 + 2 = -3. Which is bigger: m or 4/1311?
4/1311
Let x be 144/(-10) - 2/(-5). Let a be 37/(-3) - 41/(-123). Are x and a non-equal?
True
Suppose 0 = 2*g + 210 - 986. Suppose 1973 = 5*l + 38. Which is greater: g or l?
g
Let g = 128 + 122. Let j = 250.1 - g. Which is greater: j or -0.68?
j
Suppose 0 = -0*p + 3*p - 3. Let j = 2444317/8 + -2138034/7. Let b = j - 732/7. Which