l + 4, 4*l = -8. Suppose 5*h + 283 = 3*q, k*h + q = -175 - 104. Let b be ((-1)/4)/(7/h). Is 4/5 bigger than b?
False
Suppose -4*a + 0*a = 24. Let b = -22/3 - a. Let w be (-40)/50 - 1/5. Which is bigger: w or b?
w
Let w(v) = -v**3 + 4*v**2 + 5*v - 1. Let u be w(5). Let l = 84.96 - 88. Let o = -3 - l. Which is bigger: u or o?
o
Let g(x) = x**2 + 5*x - 3. Let a be g(-6). Let t = -5 + a. Let c be t/4*(-48)/(-44). Is c >= 0?
False
Let y = 120 - 498. Which is smaller: -1/3 or y?
y
Let m(z) = 8*z**2 - 10*z + 5. Let s be m(-9). Let w = 8182/11 - s. Which is bigger: w or 2?
2
Let h = 143615/42 - 3419. Let w = 1/14 - h. Which is bigger: -9 or w?
w
Let v = 139.7 + -140. Let p be ((-2)/(-1))/((-8)/(-20)). Suppose -2*h + 10 = -4*a, p*h - h + 10 = -2*a. Do v and a have different values?
True
Let q(o) = o**2 - 2*o - 9. Let w be q(7). Let c = -26 + w. Is 4/5 at most as big as c?
False
Let o be 4/(-18) + 4/18. Suppose -5*r - 5*i + 1005 = -0*r, o = 2*r - 2*i - 390. Let v = r - 2570/13. Which is smaller: v or -1?
-1
Suppose -3*l = -2*g + 18, -27 = -3*g + l + l. Let u = 4 + -11. Let h = u + g. Is 2 at least as big as h?
True
Let l = 6.526 + -4.429. Let f = 0.097 - l. Is 0 not equal to f?
True
Let i(v) = -v + 1. Let u be i(-1). Suppose -7*p = -34 - 50. Suppose 5*h - u*h = p. Is 3 bigger than h?
False
Let c(q) = 20*q + 19. Let h be c(-1). Is h at most as big as 1/110?
True
Let i = 37.8 + -18.24. Let u = 0.44 + i. Which is greater: u or 1/2?
u
Let c(m) = 5*m**2 - 14*m - 5. Let o be c(6). Which is bigger: 90 or o?
o
Let a = -350.78 - -3.78. Which is greater: 0 or a?
0
Let l be (-63)/(-27) + 2/(-6). Suppose l*u = -u + 36. Let s be (-10)/u*39/(-65). Which is smaller: 2 or s?
s
Let i = 2308/5 + -473. Is -12 <= i?
True
Let c = 17153/9 + -1902. Which is smaller: 5 or c?
c
Let x = 6 - 5. Let o be (0 + 0 + x)*0. Which is bigger: -4/5 or o?
o
Suppose -2*s - 1 = n, -14*n + 5 = -9*n. Is s < -1/67?
True
Let o(c) = -3*c - 17. Let x be o(-7). Suppose 0 = -x*w - 139 - 5. Let l be (-39)/(-52) - (-35)/w. Which is bigger: -1 or l?
l
Let k = 22189/23 - 965. Is 0 greater than k?
True
Let l = -4 + 8. Suppose 4*z - l = -d + z, 4 = 4*z. Is 2/47 < d?
True
Let u = -3.86 + -0.14. Is u >= 22?
False
Let t = 177 - 363. Let c = -1672/9 - t. Suppose 3*y - y = 0. Is y bigger than c?
False
Let a = -124.928 - -125. Let w = 0.028 + a. Does w = -0.05?
False
Let q(c) be the second derivative of c**3/3 + 7*c**2 - 3*c. Let y be q(-7). Let f be (y - -1) + 20/(-21). Which is greater: f or 1?
1
Let q = -14 - -15. Is -1/193 > q?
False
Suppose -15*p + 16*p = 2. Let u = -25 + 17. Let h = u - -5. Is p <= h?
False
Suppose 0 = -11*j + 7*j + 180. Suppose -j*x - 52 = -49*x. Which is bigger: x or 11?
x
Let x be 22/(6/(-2) + 3/3). Let z = x + 31. Is z less than or equal to 62/3?
True
Let z = 28.1 + 51. Let n = -87.23 + z. Let y = n + 0.13. Which is bigger: 0 or y?
0
Suppose -y = -111*y - 2970. Is -298/11 bigger than y?
False
Suppose 0 = 3*z - 2*d + d + 108, 3*z = -4*d - 108. Let r be 10/93*z/(-30). Are r and 1 nonequal?
True
Let z be ((-36)/63*-3)/((-4)/14). Is -1 != z?
True
Let a(n) = 7*n**2 - 5*n + 4. Let j be a(1). Let y = 9 - 2. Suppose 11 = -2*t + y. Is t >= j?
False
Let d be (130/(-4))/((-143)/286). Which is smaller: 59 or d?
59
Let x = -0.9 - 2.1. Let r = x + 1. Which is bigger: r or 4/7?
4/7
Let h(d) = -2*d**2 + d + 1. Suppose 0 = 2*b + 3*r - 21, 0 = -5*b - 2*r + 22 + 3. Let t be h(b). Is t less than -13?
True
Suppose s = 4 - 5. Let d = 98/3 - 2456/75. Which is smaller: d or s?
s
Let h = 253 + -772/3. Is -5 bigger than h?
False
Let b(c) = -c**3 - 6*c**2 + 8. Let z(v) = -v**3 + 3*v**2 + 11*v - 11. Let j be z(5). Let a be b(j). Is a bigger than 8?
False
Let y(l) = -2*l**3 + 23*l**2 + 42*l - 6. Let x be y(19). Let j be (2/6)/((-46)/x). Is j not equal to 33?
True
Let q = 7 - 2. Suppose 30 = q*h - 2*h. Let n be 308/26 + -2 + 2/13. Is n bigger than h?
False
Let a(z) = -3*z**2 + 2*z + 1. Let y be (-18)/81 + (-4)/(-18). Suppose -5*i + 22 - 7 = y. Let t be a(i). Which is bigger: t or -21?
t
Let c = -4 + 3.83. Let j = c + -11.83. Let a = 11.9 + j. Which is smaller: 3/10 or a?
a
Let a(d) be the third derivative of d**6/120 + d**5/10 + d**4/3 - d**3/3 - d**2. Let f be a(-4). Is 14 less than or equal to f?
False
Let g = -163 + 160. Is g less than or equal to -1.4?
True
Let r = 21527/13 - 1655. Let w = -1.99 + -0.01. Let u = w + 2.1. Which is bigger: u or r?
r
Let u = -58.3 - -58.1. Is u < -82?
False
Let v = 276 - 273. Let f = -6 + 8. Is f less than v?
True
Let f(x) = -6*x + 194. Let o be f(26). Is o less than 12?
False
Suppose 8*z - 5*k + 55 = 13*z, -k - 37 = -5*z. Let x be -2*(-7)/2 - 1. Which is bigger: z or x?
z
Let h(n) = -n**2 - 34*n - 160. Let g be h(-11). Is g greater than or equal to 93?
True
Let k = -908 + 910. Let t be (-2 + (-124)/(-6))*2. Let x = 37 - t. Is k smaller than x?
False
Suppose -3*d = 3*k - 9, 2*k = d - 4*d + 11. Let o = -13 + 13. Let b be ((-4)/k - o) + -2. Which is smaller: b or 1?
b
Let i(y) = y - 2. Suppose 2*m - 8 = -z, 5 - 10 = -m - z. Let o be i(m). Let x be 0/((o*-12)/4). Which is greater: 1 or x?
1
Let c be (84/(-10))/((-2346)/(-340)). Which is bigger: -1 or c?
-1
Let w be 14/(-20) - (5 - 11)/30. Let d = 1 - 1. Which is greater: w or d?
d
Let n(d) = d**3 - 99*d**2 - 101*d + 153. Let o be n(100). Let b(r) = -r + 52. Let c be b(0). Which is bigger: c or o?
o
Let g = 418.85 + -419. Which is greater: g or -2?
g
Suppose 0*b + 2 = -2*b. Let a = -1 - b. Let m = -4276/171 + 226/9. Which is bigger: a or m?
m
Let f = -120.3 - -120.1. Which is bigger: -750 or f?
f
Let k be (15/(-3195))/((-2)/(-12)). Which is smaller: 0 or k?
k
Let h(g) = 119*g + 20. Let r(p) = -24*p - 4. Let d(a) = 2*h(a) + 11*r(a). Let l be d(-1). Is l >= 23?
False
Suppose 5*d - 12 = 2*d. Suppose 2*j - d - 4 = 0. Let f be 6/(-1 + j) - 6. Is f != -4?
False
Let h(u) = 2*u**2 + 33*u - 73. Let w be h(2). Let v be ((-2)/10)/(32/(-10)). Which is smaller: w or v?
v
Let o = -151.03 + 151. Is o greater than or equal to 2/13?
False
Let d = 0.03 - -2.57. Let p = d - 3. Let h = 0.3 + p. Is 33 smaller than h?
False
Let b = -2.47 - -1.5. Let p = 2.97 + b. Does p = -7?
False
Let i(q) = q**3 - 16*q**2 - 18*q + 12. Let o be i(17). Let f be (1 - 1)*o*(-4)/60. Which is bigger: f or 1/29?
1/29
Let c be ((1 + -33)*-6)/(35/(-7)). Is c equal to -38?
False
Let k be 68/117 + (-20)/9 + 2. Which is smaller: k or -1/2?
-1/2
Let m = 0.2 + 0.9. Let z = 1.2 - m. Let d = 64 + -450/7. Are z and d unequal?
True
Let k = 0.1769 - 0.0769. Which is smaller: 116 or k?
k
Let j be (-13)/1 - 0/(-1). Let g = -8 - j. Let b(k) = -k - 2. Let q be b(g). Is q at least -7?
True
Let h be -3 - (612/(-87) + 4). Let n = -69/319 + h. Which is bigger: n or 1?
1
Let z(u) = u**3 - 8*u**2 - 10*u + 8. Let v = -33 + 53. Let o = v + -11. Let n be z(o). Which is smaller: n or 2/29?
n
Suppose 4*o + q = -q + 4, -5*o + 4 = 2*q. Suppose -3*v = 0, -v - 8 = -s - o*v. Which is smaller: s or 2?
2
Let j(x) = -x. Let l be 2/(-13) - (-6)/39. Let d be j(l). Which is smaller: 12/11 or d?
d
Let o = -887/4 + 817/4. Let j(x) = -19*x + 1. Let d be j(1). Is o < d?
False
Suppose -5*t + 8*t + 147 = 0. Let i be (-21)/t - (-38)/(-7). Is i greater than -2?
False
Let w = 40 - 158. Let m = -98 - w. Is m > -3?
True
Let w = -12 + -3. Let r = -8 + w. Are r and -22 equal?
False
Let b = -3.3 + -0.5. Which is smaller: b or 0.1?
b
Let y = 0.6 + -0.66. Let f = y - -12.06. Let a = 12.1 - f. Which is smaller: a or -1/5?
-1/5
Let h = -877 + 893. Let y be 0 - -1 - (-13 - 1). Which is bigger: y or h?
h
Suppose 0 = -6*y + 3*y + 12. Let v be y/(-6 - -4) - -12. Let j be 10/12 + v/(-20). Which is smaller: j or 0.1?
0.1
Suppose -3*h + 308 = 4*h. Let z = -35 + h. Which is bigger: z or 11?
11
Suppose 5*o - 10 = 0, 11 = -4*d + 4*o + 3. Let r = -12582/17 - -741. Which is smaller: r or d?
d
Let j be ((-1378)/(-4))/(2/(-4)). Is j smaller than -690?
False
Suppose -3 = o + 2*x, -x + 2*x + 14 = -3*o. Let t be (-48)/10 - (-1)/o. Let v(g) = -g**2 - 5*g + 3. Let y be v(t). Do -1/4 and y have the same value?
False
Let g = -45 + 23. Let u = g + 21. Let c = -0.15 - -0.2. Which is smaller: u or c?
u
Let l = 99.7 - 189.6. Let o = l - -84. Let s = o - -2.9. Which is smaller: s or 2/5?
s
Let n = 16 + -12. Suppose 9 + 15 = n*i. Which is greater: 4 or 