5. Let b be i(-6). Is 16 >= b?
False
Let r = 0.02 - 0.32. Let j(y) = y**2 - 8*y + 3. Let a be j(5). Let x be ((-2)/a)/((-2)/(-3)). Is r not equal to x?
True
Let i = 102 + -1023/10. Suppose -h - 3*h = 0. Is i < h?
True
Let c be (-1)/2 - 1/2. Is c smaller than 2/7?
True
Let c = 7 + -5. Suppose 0 = 3*y + c*y - 30. Let g be (y/5)/((-4)/(-10)). Which is greater: 2 or g?
g
Let f(z) = -z**2. Suppose -2*g + 0 + 2 = -m, g = 5*m + 1. Let n be f(g). Which is bigger: -6/13 or n?
-6/13
Suppose o - 2 = s, s + 2*s = -2*o - 21. Let r = o + 0. Let l(v) = v**2 + 4*v + 3. Let w be l(r). Is 1/3 not equal to w?
True
Let p(m) = -m**2 - 9*m + 4. Let v be p(-9). Suppose -v*c = -7*c + 18. Which is smaller: 4 or c?
4
Let b(w) = w**2 + 10*w + 15. Let j be b(-8). Is j less than -16/9?
False
Let b(h) = h**3 - h**2 - 7*h + 1. Let k be b(3). Is -1 at most k?
False
Let o be (-3)/12 - (-42)/8. Suppose -4 = w + 4*v, o*v = -10 - 0. Suppose -5*k + 1 = -w. Is k at most 4/9?
False
Let h = -51 - -52. Which is smaller: h or 6/7?
6/7
Let t(i) = 3*i - 35. Let p be t(10). Which is smaller: p or -4?
p
Suppose 0 = 4*n - 0*n. Is -10/9 equal to n?
False
Suppose -4*n + 6 = 3*y, n + 4 = y + y. Let g = 379/5 - 76. Is g != n?
True
Let t be (736/15)/(4/(-6)). Let s = 74 + t. Which is greater: -0.07 or s?
s
Let h = -0.09 + 20.09. Which is bigger: -1/2 or h?
h
Let r = -0.04 + 0.34. Let y(k) = -k**2 + 4*k + 6. Let m be y(5). Which is greater: r or m?
m
Let v = 286/1125 - 4/125. Which is bigger: v or 30?
30
Let v(p) = -p**2 + 10*p - 6. Let o be v(9). Suppose 4*k - 3 = 5. Which is greater: k or o?
o
Let t be (3/6)/((-8)/(-144)). Is t smaller than 9?
False
Let p be (3/(-4 + 1))/((-3)/6). Is 3/2 >= p?
False
Let c = 1.1 + -1.1. Which is smaller: 6 or c?
c
Let c = 2.3 - 2.4. Is -7/2 equal to c?
False
Let o = -3.1 - -3. Let s = 54 - 54. Which is greater: s or o?
s
Suppose -11 = -3*d - 5. Suppose -4*o + 3*o - d = 0. Suppose 4 + 8 = -4*i. Do i and o have different values?
True
Suppose 3*s + 15 = k - 3*k, 0 = -4*k + 4*s + 20. Suppose k = -2*i - 3*v + 3 + 5, -i = 5*v + 10. Let a be ((-4)/i)/(6/10). Is 0 > a?
True
Suppose -7*x + 735 = -2*x + 5*f, -2*x + 324 = -4*f. Is x less than or equal to 152?
True
Suppose 8 = -0*v + 2*v + i, 3*i + 4 = v. Which is smaller: 29/6 or v?
v
Let y = 178 + -520/3. Which is greater: 5 or y?
5
Let k = -6.4 + 5.27. Let g = k + 0.13. Let m = -5 - -10. Is m smaller than g?
False
Suppose 2*d = 1 - 17. Let w be d/4 + 8/(-4). Suppose -2*f = 5 + 1. Which is smaller: w or f?
w
Let q = 0.43 + -0.53. Is -68 at most q?
True
Suppose 2*t + 0 - 6 = 0. Let d(v) = -v**3 + 3*v**2 - v - 2. Let h be d(t). Let n = -13 - -8. Is h less than n?
False
Let x = -3 - -22. Is x greater than or equal to 2/7?
True
Let o = -134 - -132. Let c(x) be the first derivative of x**4/4 - 2*x**3 + 3*x**2 - 5*x + 1. Let a be c(5). Which is smaller: o or a?
o
Let d = -56 - -55. Is d > -4/43?
False
Let f = 5 - 1. Let m(r) = 4*r - 2. Let n be m(2). Suppose f*a = -4*l, -5*l + n*l = 0. Is -2 greater than a?
False
Let i = 34 - 106. Let q = i + 358/5. Is 1 > q?
True
Suppose 4*a - 29 = 3*n - 0, 40 = 5*a - 5*n. Suppose f + 2 = 4*d, 4*f + 7 = 5*f + a*d. Let g be ((-6)/(-4) - f)/1. Which is smaller: g or -2?
-2
Let z(y) = -1 + 0*y - y - 3. Let j be ((-7)/(-3))/((-5)/15). Let k be z(j). Which is bigger: k or 2?
k
Let x(s) = s**3 - s**2 - 8*s + 4. Let k(h) = -2*h**3 + h**2 + 17*h - 7. Let f(b) = 6*k(b) + 13*x(b). Let a be f(7). Is -4 < a?
False
Let a be 3 - 2 - 616/18. Let z = -33 - a. Which is smaller: z or 2?
z
Suppose 0 = g - 5*g - 4. Let c be (2/(-4))/((-21)/(-24)). Do g and c have the same value?
False
Let w = -4 - -2. Let v = w + 8. Let p = 8 - v. Is p bigger than -1?
True
Let l(i) = -i + 5. Let t be l(-6). Let v be (-6)/(-2) - (-10 + 1). Which is smaller: v or t?
t
Let v(x) = 4*x + 6*x**2 - 6 + 0*x + x**3 + 0*x. Let m be v(-5). Let f be -1 + 32/14 + m. Which is greater: 1 or f?
1
Let u = -1 + 0.8. Let r = 6 + -8. Let w = r + 2.2. Which is smaller: u or w?
u
Let x(j) = 4*j - 21. Let o be x(10). Do 19 and o have the same value?
True
Suppose 9 = 5*r + 79. Is -15 at least r?
False
Let a = -71 + 78. Is 7 bigger than a?
False
Let j(f) = -f + 3. Let b be j(2). Is 12/11 at least b?
True
Let j = 6 - 5. Let a be -1 + 1 - -1*1. Let z be (-1 + -2 + a)/(-10). Which is smaller: j or z?
z
Let b = 26.5 + -10. Let h = b + -0.5. Is h at most -1/4?
False
Let p be 6/9 + 8/(-3). Let w be (0 - 0)*(-1)/p. Let v be (-1)/(-3) + (-14)/6. Which is smaller: v or w?
v
Suppose -2*i = 2*g - 4*i + 24, 0 = -5*g + 2*i - 66. Let b = -3 - g. Which is greater: b or 10?
b
Let c = -0.11 + 0.41. Which is greater: c or -6?
c
Let a = 0.04 - 0.04. Let l = -0.06 - a. Let o = 0.36 + l. Which is smaller: o or -0.1?
-0.1
Let t = -2174 - -158705/73. Which is smaller: -1 or t?
-1
Let r be 44/((-4)/6*-3). Let b = r - 108/5. Is -1/3 >= b?
False
Suppose -5*c = 5*u - 5, -2*u - 2*u = -3*c + 10. Is 2 smaller than c?
False
Let z be -3 - ((-2)/1 - 11). Let l(c) = c**3 - 9*c**2 - 14*c - 9. Let x be l(z). Let j be (4/14)/(21/x). Which is smaller: -2 or j?
-2
Let t be 4/24*2*-1. Which is smaller: t or 2?
t
Let x = -70 + 348/5. Suppose 0 = d - 0 - 2. Let u be (d/4)/(2 - 4). Which is bigger: u or x?
u
Let z be (-3)/4 + 35/4. Let p(g) = -g**2 + 6*g - 2. Let j be p(3). Is z less than or equal to j?
False
Let y = 0.2 - 0.4. Which is smaller: 24/5 or y?
y
Let v be 28/16 - (-2)/8. Let q be (-2)/(0 + (-4)/6). Are v and q non-equal?
True
Let t be 5/30 + (-38)/84. Let k be (-2)/3 - (-320)/435. Which is smaller: k or t?
t
Let h be (-428)/247 + 8/52. Which is bigger: -3 or h?
h
Suppose -5*v + 33 = -4*h, 3*v + h + h = 11. Let b be v + -1 + -1 - 1. Which is smaller: b or 3?
b
Let q = -3328 + 56546/17. Is -2 greater than q?
False
Let h = 22 - 19.5. Let n = -1.5 + h. Let r = -3 + 1. Which is bigger: n or r?
n
Let s = -7 + 6. Let y be 3/(-9)*0*s. Is y smaller than -2/13?
False
Let g = -334.1 - -334. Suppose 5*t + 4*w = 30, t = -4*t + 3*w + 65. Do t and g have different values?
True
Let r = -1 + 0. Let l = 4.94 + -5. Let d = 0.94 - l. Which is smaller: d or r?
r
Suppose 5*l = 7*l + o + 10, -o + 4 = 0. Suppose 0 = -2*j - 2 - 12. Let c be (j/(-2))/((-1)/2). Is l <= c?
True
Let q be 261/99 + (-3)/3. Is q at most as big as 3?
True
Suppose -4*q = -27 + 11. Suppose -q*n - 12 = -0*n. Is -3 not equal to n?
False
Let t be (-2 + 2/4)/((-17)/(-2)). Which is smaller: 2 or t?
t
Let v(m) = 3*m + 1. Let u be v(-1). Suppose -q + 5*j = 3*j + 8, q + 5*j = 27. Let l = u + q. Which is greater: -1 or l?
l
Let p = -14 - -10. Do -1/5 and p have the same value?
False
Suppose -263 = -4*v + z, -7*z + 334 = 5*v - 3*z. Let p be (7/(-8))/((-1)/v). Let n = p - 58. Which is greater: 0 or n?
0
Let u = -11/20 + 3/4. Let q(i) = -i**3 + 10*i**2 + i - 10. Let p be q(10). Which is bigger: p or u?
u
Let r be -6*(8/(-4) + 1). Which is bigger: r or 7?
7
Suppose 4*v - v + j = -18, -4*v + 2*j = 24. Is v > -7?
True
Let k = -1 - 1. Let j be k + 1 - 4/(-2). Suppose o + 0*c = -c + j, 0 = 3*o - 4*c - 17. Which is bigger: o or 0?
o
Let w = -33.95 - -35. Let p = w + -0.05. Is p less than or equal to 2/7?
False
Let c = -46592291 - -157342170413/3377. Let k = 2/307 - c. Is -1 <= k?
False
Let y = 1055165 + -440003533/417. Let v = y + 2/139. Is 6 greater than v?
True
Let n(j) = j + 3. Let u be n(-5). Is -6/5 bigger than u?
True
Let r be (20/30)/((-22)/36). Let h be 0 + (0/(-3) - 2). Which is smaller: r or h?
h
Let z be 201/(-69) - (6 - 9). Does -1 = z?
False
Suppose -2*p - 3 = -3*p. Let k be p/(-21) - (-134)/7. Is k bigger than 19?
False
Let g(t) = -t**2 - 3*t + 19. Let p be g(-6). Which is smaller: p or -1/28?
-1/28
Let h = 11 + -2. Let g be (2/3 + 0)*h. Is g bigger than 6?
False
Let l(i) = i - 2. Let k be l(3). Which is bigger: 1/44 or k?
k
Let r = 6 + -4. Suppose -d - r = -3*d. Which is smaller: 3/2 or d?
d
Let h = -17 - -15. Let w be (-13)/(-5) - 6/(-15). Let q be -1 - ((-2)/w)/2. Which is greater: h or q?
q
Let c = 21/5 - 87/10. Which is bigger: -1 or c?
-1
Let f(a) = -a**2 + 9*a - 9. Suppose 0 = 2*l - l - 7. Let i be f(l). Let t be (-1)/(-3) - (-33)/9. Is i at most t?
False
Let f = 686 + -2092/3. Let i = f - -23/2. Let h(b) = b**2 + 6*b. Let r be h(-6). Which is bigger: r or i?
i
Suppose -2*m + 7 = -3*h - 0*h, 19 = 4*m - h. Do m and 6 have diffe