 = 14*n + 3*y - 18. Which is greater: a or n?
a
Let k = 30 - -209. Let o = k - 238.96. Is -12 smaller than o?
True
Let j = 3103/55002 + -40/309. Is j at most 1?
True
Let o = -46.5 + 46.552. Let y = o + -1.952. Which is bigger: y or 9?
9
Let v = -623.9748 - -624. Let u = v - -0.9748. Which is greater: -15 or u?
u
Let d = 22 + -5. Suppose s - 3*q + 39 = 0, -99*s + 103*s - 5*q + 170 = 0. Let n = d + s. Is -28 at least as big as n?
True
Let k = -47.78 + 43.4. Let j = k - -4.4. Let c = 0.06 - j. Which is smaller: c or -1?
-1
Let q = -2901 + 14504/5. Which is greater: q or 16?
16
Let u be 4296/1790*185/22. Which is greater: u or 0.06?
u
Let j(n) = -n**3 - 9*n**2 - 6*n + 8. Let p be j(-6). Suppose 207*l - 951*l - 20638 = 26978. Is l less than or equal to p?
True
Suppose -2*a + 5*l - 1 + 29 = 0, 2*l + 24 = 4*a. Suppose -5*r = -3*p + 8, -2*p - 5*r - a = -1. Let u be (-46)/(-69) - p/(-3). Which is bigger: u or 3/11?
u
Let u = -7.88132 - 0.01868. Which is bigger: -2/5 or u?
-2/5
Let f = -6358 + 6362. Which is smaller: f or 137/27?
f
Let c = 8320 + -9152. Is c at most as big as -825?
True
Let m = 14 - 53. Suppose -915 - 576 = 26*q - 503. Is q > m?
True
Suppose 4*m = -5*p - 255, 4*p + 4*m + 43 = -161. Let y be (-9 - 1)*8/16 - p. Is 46 < y?
False
Suppose -2*w - 3*w = 130. Let z = w - -28. Suppose a = -z*a. Which is bigger: a or 9/8?
9/8
Suppose -2 + 3 = n. Let u be (-43)/110 + n/2. Let s(w) = -2*w**3 - 9*w**2 - 14*w - 8. Let o be s(-2). Is o <= u?
True
Suppose -11*b = 36*b + 423. Let t be (8 - 8)/b*1. Is t greater than 1/106?
False
Let r(q) = -60*q - 292. Let m be r(-5). Suppose -2*o - m = -2*c, -4 - 7 = -2*c + o. Suppose i + 2*i - 21 = 0. Is i smaller than c?
False
Suppose 0 = 4*h - 2*m - 7438, -5*h = -3*m - 10049 + 753. Let v = 1066355/573 - h. Which is smaller: v or 1?
v
Suppose 82*b - 86*b - 2*m + 1430 = 0, 0 = -m + 5. Is b at least 330?
True
Let c be 3/6*-78*1. Let u be ((-25)/(-20) - (-135)/(-140)) + (-3286)/84. Which is bigger: c or u?
u
Let v = -83.2 + -275.8. Which is bigger: -2 or v?
-2
Let k = 16811 + -16773. Are -8/21 and k nonequal?
True
Let v(c) be the second derivative of c**4/3 + c**3/3 + 5*c**2/2 - 4*c - 4. Let b be v(3). Is 0.1 at least as big as b?
False
Let m = 173.16 + -0.16. Let v = m + -189. Is -0.04 < v?
False
Let q = 36817 - 64854. Which is greater: 0 or q?
0
Suppose 3*z = -7 - 2. Let u be (0 + 2/z)*18/(-28). Let q(a) = a**3 + 18*a**2. Let k be q(-18). Is u < k?
False
Let g = -92 - -102. Suppose g*i - 18*i = -128. Which is smaller: 52/3 or i?
i
Let g = 120 + -95. Let v be ((-10)/g - (-11246)/3050) + -3. Let p = v - 8/25. Which is smaller: -2/5 or p?
-2/5
Let w(x) = -7*x - 196. Let h(i) = -15*i - 396. Let n(u) = 6*h(u) - 11*w(u). Let d be n(-17). Is -376 less than or equal to d?
True
Let q = -530/139 + 667131/175001. Is -1 > q?
False
Let w(j) = -j**3 + 4*j**2 + j. Let q be w(4). Let u = -76 - -61. Let t be 5 + 5 + -4*u/(-10). Is t >= q?
True
Let x(f) = 233*f - 3 - 231*f - 4. Let o be x(2). Let j be (-1)/o - 310/(-15). Which is greater: j or 23?
23
Let o = 34 + -32. Suppose o*l + 2*l = 5*a + 302, 2*l - 5*a - 146 = 0. Suppose -f - 17 = k, -4*k = -5*f - 2*k - l. Which is bigger: f or -17?
f
Let a = -522 - -3145/6. Let d = a - -1/3. Suppose s = 3*p - 1, -8 - 9 = s + 5*p. Do d and s have the same value?
False
Suppose 3*x - 725 = 2938. Which is greater: x or 2/5?
x
Let u be (-234754)/(-150) - (-4 - -1). Let z = u - 1568. Let m = -238/2325 - z. Is 0 less than or equal to m?
False
Let y = -42.8 - -5.8. Let p = y + 42. Let d = p + -5.1. Which is smaller: d or -1?
-1
Let r = -9/19 + -59/76. Suppose -13*j + 7*j - 30 = 0. Let s be 11/j + 27/135. Is r > s?
True
Suppose 0 = j - f + 50 - 0, -4*j = -f + 212. Let c be 0 - 2 - (-96)/j. Let g = 4 + c. Is g at most as big as -1?
False
Let c(a) = 209*a - 837. Let k be c(4). Let z = 252 + -562. Is k bigger than z?
True
Let s = -2253 - -2581. Is -4/7 greater than or equal to s?
False
Let a = -142 + 155. Suppose -a*d - 24 = -7*d. Are -11/3 and d unequal?
True
Let u = -5945 + 5945. Which is greater: 2/2695 or u?
2/2695
Let k = -4.63 - -6.98. Let v = -0.34 + -0.66. Is v > k?
False
Let c be (-24 - -23)/(2/(-94)). Suppose 5*a = -c - 88. Which is bigger: a or -29?
a
Suppose -r - 197 = -5*l, 2*l = -606 + 592. Which is greater: r or -244?
r
Suppose k - 2*u = 848, 3308 = 4*k - 14*u + 18*u. Is 844 greater than k?
True
Suppose 81*m - 5*w - 45 = 76*m, -w = -4*m + 69. Let i be ((-17)/(-4))/((-1)/(-4)). Is i at most m?
True
Let f(b) = -31*b - 2. Let t be f(6). Let y(r) = -3*r**3 - 128*r**2 + 23*r - 861. Let x be y(-43). Do t and x have the same value?
False
Suppose -11*q - 174216 = 37*q - 13128. Which is bigger: -3355 or q?
-3355
Let b = -9451 + 9461.422. Which is smaller: -0.1 or b?
-0.1
Let z = -12 - -19. Suppose z = -2*o - 9. Let h be ((-4)/o)/(0 + 1/(-2)). Is h bigger than 2/31?
False
Let x be 14*1/(-2)*430/190. Which is smaller: -17 or x?
-17
Let v = 1 + -2.6. Suppose 0 = -47*h - 11*h + 10150. Suppose -100 = 25*z - h. Is z at most as big as v?
False
Let x be (-8 + 10)*(6/18)/((-2)/3). Are x and 8/1225 non-equal?
True
Let s be 16916/67728 + 45/(-180). Which is smaller: s or 0?
s
Let q = 11361.752 - 19.752. Are -1 and q equal?
False
Suppose -2*p - 2*c = 106, -5*p - 17 = -5*c + 188. Which is greater: p or 1/62?
1/62
Let s = -18 - -20. Suppose -s*q = -4*z - 0*q - 966, 4*q = 2*z + 468. Let d = z - -2200/9. Is d < -1?
False
Let s(b) = -23*b + 92. Let k be s(4). Suppose k = -5*l + 20*l. Is -1/76 at most l?
True
Let a = -0.06742 + -6.17558. Which is greater: 1 or a?
1
Let h(g) = -116*g**2 - 91*g + 176. Let m be h(2). Does m = -473?
False
Let p = 8865 - 407793/46. Is p less than -2/9?
False
Let i = -15824/3 + 79126/15. Which is smaller: i or 3/11201?
3/11201
Let q be 13 - (22 - 40/5). Let r = 0.3 + -1.3. Is r smaller than q?
False
Let w be (3*(-12)/18)/1*(-4)/(-12340). Is w greater than or equal to 1?
False
Let n(z) = -1642*z + 4470. Let s be n(5). Is s greater than or equal to -3740?
True
Let k = 7146.098 - 7153. Let l = k - -0.002. Let d = l - -5.2. Which is smaller: 1 or d?
d
Let w = -1281 + 1214. Which is bigger: w or -64?
-64
Let s = -259 + 265. Let r be 102/(-8) - s/(-8). Which is smaller: -5 or r?
r
Let m(w) = -5*w**3 - w**2 - 3*w - 1. Let j be m(-2). Let g be (-2751)/(-550) - (10 - 5). Let c = g - -10862/275. Which is greater: j or c?
j
Let t be (2/(-3))/((-4)/(-18)). Let z be 23/(-69) - 10/t. Let l be (1 + -2)*(-1)/z. Is l at most as big as 7?
True
Let q be 5*((-13)/(-130)*-16574 + 5/(-1)). Are -8312 and q unequal?
False
Let d = -8009.658 + 8010. Is d at least 1/3?
True
Suppose -6*s + 4*s + 155 = 5*d, 4*s - 301 = -d. Let r = -301 + 300.9. Which is bigger: r or s?
s
Let d = 36 - 33. Suppose -2*l - 36 = -4*f, -19 = d*l + f - 0*f. Let v(c) = 9*c - 34. Let o be v(3). Which is bigger: l or o?
o
Let d = 17240 - 17242. Which is bigger: 17/18 or d?
17/18
Let w = 26650432/59 - 451716. Are w and -13 equal?
False
Suppose 5*w = 4*o - 33, -2*o - 12 + 6 = 0. Let p be (-3 + -1)*w/(-8 + -46). Is p less than or equal to 250?
True
Suppose 12*h + 5076 + 1359 = 2055. Are -359 and h non-equal?
True
Let v = -1.0191 - -1.0191. Is 1.895 greater than or equal to v?
True
Suppose -20 = -5*y, -3*o = 3*y + 51 - 3. Suppose -5*d = -4 - 6. Suppose 80 = -4*b + 5*r, b + 22 = -r + d. Is o greater than b?
False
Let n = 3530 - 3531. Let p = 64 + -131. Is n > p?
True
Let l be 18/90 + ((-10398)/165 - 1). Which is bigger: l or -63?
-63
Let t be -1 - ((-18)/(-10))/(-3). Let m = -51862 - -1037241/20. Are m and t equal?
False
Let f(u) = -u**2 - 2*u - 54. Let o be (-1 + 1)*(-5 - 36/(-8)). Let z be f(o). Are -52 and z non-equal?
True
Let n(h) = h**2 - 2*h - 6. Let l be n(5). Suppose 5*r + 4*y - 354 = 0, -3*r + 3*y = -4*r + 73. Suppose -35*v = -245 - r. Does v = l?
True
Let s(t) = -t - 4. Let n be s(-7). Let w = 403/3 + -525/4. Let h = 16/3 - w. Which is bigger: h or n?
n
Let u = 0.4407 + -0.3407. Is u at most as big as -591?
False
Let m = -111/4 + 28. Let c = -1850276/3 - -616804. Are m and c equal?
False
Let d = -78 + 67.6. Let g = d + 24.8. Let k = g - 15. Which is smaller: -1/3 or k?
k
Let d = 35955 - 32599. Is 3358 less than d?
False
Let q = 15.14 + 175.26. Let w = 190 - q. Which is bigger: w or -2/39?
-2/39
Let d = -0.99 - -181.99. Let v = 180.84 - 