 5. Let p be (0 + 1 + -2)*r. Suppose -2*o = p*o + 5. Which is smaller: -2/17 or o?
o
Suppose -3*i + v = -0*i + 9, -4*v + 12 = 0. Let a be (-1)/i + 9/2. Suppose -4*x - a = x. Is 0 at most as big as x?
False
Let m(z) = -z**3 + 5*z**2 + z - 5. Let w be m(5). Let r = -148 - -3110/21. Is r less than w?
False
Let c be 7/((-42)/45)*(-4)/65. Which is bigger: 0 or c?
c
Let w be (-3)/(-6) + 60/(-8). Is w equal to -8?
False
Let o be (-3)/(-15) - 22/10. Let q be (-5 + 5)/((-4)/o). Let c = -21/13 + 79/65. Which is greater: q or c?
q
Let b = -223/6 + 67/2. Is -5 < b?
True
Let y(b) = -b - 5. Let m be y(-8). Suppose -l + 8 = -m*l. Let f be (8/30)/(l/6). Is f >= -1?
True
Let n be (-85)/(-35)*(0 + 1). Which is smaller: 1 or n?
1
Let t = 593/1728 - 3/64. Are -1 and t nonequal?
True
Let r be (22 + -21)/((-2)/14). Is r greater than or equal to -8?
True
Let b be (10/30)/((-1)/6). Suppose -4*t - 23 = 3*d - 4*d, 0 = -5*d - 3*t. Is d equal to b?
False
Let r = 16 - 8. Let m be ((-6)/r)/(18/(-16)). Which is bigger: 1 or m?
1
Suppose -5*w + 13 = 2*v - 3, 0 = 2*w - v - 1. Which is smaller: w or 8/3?
w
Let d(x) = x**2 - 4*x + 1. Let v be d(4). Let o be 1 - (2/v - 4). Suppose o*f = -f - 8. Which is smaller: f or -2/3?
f
Let o = -0.8 + 3.8. Let t be 0 + (1*6 - 1). Suppose -2*v - t*i - 20 = 3*v, 2*v = -4*i - 18. Is o < v?
False
Let t be (-2 - 15) + 12/3. Is -12 less than or equal to t?
False
Suppose 3*g + 0*g - 5 = p, -17 = -5*p + g. Suppose -3 = p*z - 3*x - 13, -5*x - 15 = -5*z. Let y be ((-20)/(-7) - 3)*z. Which is smaller: y or 1?
y
Let o be (-2 + 4)/((-6)/15). Let i be ((-2)/o)/(12/10). Is -5 greater than or equal to i?
False
Let r be (-2)/(-6) + (-80)/150. Suppose -3*n + 0*n + 12 = 0. Suppose n*a - 3*a - 1 = 0. Is r not equal to a?
True
Let m = -6 + 6.1. Which is smaller: m or 5?
m
Let i = -10.9 + 0.6. Let w = i + 5.4. Let y = -5 - w. Which is greater: y or 4?
4
Let x(n) = -n**3 + 3*n**2 + 7*n - 6. Let p be x(4). Let y be (p/(-7))/3 - 0. Is y less than 0?
True
Let l be 2*(8/(-36) - 89/(-387)). Which is smaller: 1 or l?
l
Let d be 24/10 - 2 - 80/75. Do -19 and d have the same value?
False
Let s be 2/5 + 532/(-105). Which is bigger: s or -6?
s
Let w(b) = -b**3 - 12*b**2 + 14*b - 5. Let k be w(-13). Is -35/2 bigger than k?
True
Let d = -2.1 - -2. Suppose -f = -0*f - 5. Let i = -7 + f. Which is smaller: i or d?
i
Let p = -11 - -9. Let m = p - -2. Let u = m + 1. Is u <= 2/3?
False
Suppose -7 - 68 = -3*h. Suppose 5*k = 5*m + h, k + 9 = 6*k - m. Let w = 101 + -103. Are w and k non-equal?
True
Let q = -1.029 - -0.029. Let g be -1 + 1/(-2)*-3. Is g at least as big as q?
True
Suppose 0 = -5*u - 137 - 3. Which is bigger: -141/5 or u?
u
Let x = 11 - 8. Suppose -2*n = x*n. Let o = 112/5 - 21. Which is smaller: o or n?
n
Let j(b) = 10 - 6 + 13 - 7*b. Let g be j(5). Which is smaller: -17 or g?
g
Let z be (-27)/552 - (-5)/(-40). Which is bigger: z or 0?
0
Let a be (-42)/9 + (-8)/(-2). Let y = -0.4 - -0.5. Which is greater: a or y?
y
Suppose r - 12 = -2*v, v + v = 10. Let t(o) = -o**3 + 5*o**2 + 6*o + 4. Let k be t(6). Let x be (7 + -4)*k/6. Are x and r equal?
True
Suppose -2*u = -6*u + 3*z + 15, 6 = u - 3*z. Let q = -0.3 - -0.4. Which is smaller: q or u?
q
Let r = 20 + -33. Is -14 at least r?
False
Let g = 0.07 + 6.93. Is -3 at most as big as g?
True
Suppose -16 = 13*b - 5*b. Which is smaller: -5/3 or b?
b
Suppose -4 = 2*n - n. Suppose 0 = -2*x - x + 9, -2*j - 5*x = -17. Let h be j*n*(-1)/(-2). Is -2 > h?
False
Let g = 1 - -1. Suppose 0 = -g*j - j - 3*y, -10 = -2*j + 3*y. Let p be 0 - 1*4/(-8). Is j greater than p?
True
Let a = -558695/237034 - 2/16931. Let r = -457/182 - a. Suppose 2*n = -2*c + 9 - 3, 15 = -4*c + 5*n. Is c >= r?
True
Let q be (-3 + 1)/((-13)/(-1)). Let m = -26 - -40. Let w = m - 15. Is w at least q?
False
Let o(y) = y**3 + 6*y**2 - 3*y - 6. Let w be o(-6). Suppose -8 = 2*n - w. Are n and 1 unequal?
True
Let l = 40 + -46. Which is bigger: -2 or l?
-2
Let h = -64 + 385/6. Let t be -3 + 6 - 1 - 2. Which is greater: h or t?
h
Let q = 4 - 3. Which is smaller: q or 0?
0
Let l = 45 + -45.3. Is 2/5 at least as big as l?
True
Let l = 15.4 + -15. Let h = 0 - l. Which is bigger: 0.1 or h?
0.1
Suppose 0 = 5*u - 5*w, -6*u + 2*u + 5*w = -1. Is u >= -6/43?
False
Let d = -0.04 + 0.18. Let t = d - 7.14. Which is smaller: t or -1?
t
Let h = -5.279 - 0.021. Let l = 0.3 + h. Is 0.1 >= l?
True
Suppose -4*y + 0*y + 12 = -2*t, 5*t = 0. Is y at most as big as 4?
True
Let l be (12/24)/((-2)/24). Is l bigger than -8?
True
Let z = -767/82 + -6/41. Which is smaller: z or -10?
-10
Let v(g) = -5*g - 9. Let d be v(-2). Let r be (2/20)/((-1)/(-12)). Which is greater: r or d?
r
Suppose 5*t - g - 8 = -3*g, 0 = 2*t + 4*g. Suppose 0 = o - t - 5. Is o not equal to 6?
True
Let r(y) = -y**3 - 3*y**2 - 2*y - 1. Let u be r(-2). Let d be (-98)/14 - (u + 3). Which is bigger: -10 or d?
d
Let i(w) = 3*w**2 + w. Let k be i(1). Suppose 1 = -k*q - 7. Is q at least -5/2?
True
Let h = -6 - -4. Let m = 0 - -1. Let d = m + h. Is 0 < d?
False
Let j(d) = -d**2 - 7*d - 6. Let q be j(-5). Suppose m = 2*z - 5, -2*z + m - 7 = -q*m. Which is smaller: z or 10/3?
10/3
Let f(q) be the second derivative of q**4/12 + 5*q**3/6 - 5*q**2/2 - 2*q. Let c be f(-6). Which is smaller: 1/7 or c?
1/7
Suppose -11 = -3*l - 2*n, -5*l = 5*n - 1 - 19. Suppose v = l*v - 36. Suppose -2*h + 4*h = 3*z - 10, v = 4*z - 5*h. Which is smaller: 4 or z?
z
Let r = -0.43 + 0.03. Let o = -0.02 - -0.32. Let j = o + r. Is 1 bigger than j?
True
Suppose -5*d = 64 - 9. Let h = d + 7. Let n be ((-1)/h)/((-5)/(-20)). Which is smaller: n or 1/10?
1/10
Let j = 4 - 4. Suppose c + c = j. Let n be 3 - 1 - c/(-2). Is n equal to 3/4?
False
Suppose -5*r + 2*t + 2*t + 31 = 0, -5*t = -2*r + 26. Suppose -25 = 2*k + 3*k. Let g be (-12)/k + (-2)/5. Is g less than or equal to r?
True
Let p = 227 - 214. Let n = 2 - 1. Is p at most as big as n?
False
Let j = -0.6 - -0.2. Let w = -0.4 - j. Let m = -0.7 - 0.3. Is m not equal to w?
True
Let y(k) = -k**2 - 9*k + 2. Let v be y(-9). Suppose f - v = -0*f. Which is bigger: f or 2/3?
f
Suppose -8*g + 188 = 12. Is 23 smaller than g?
False
Suppose -14*s + 18 = -17*s. Let d be s/15*(18 - -2). Does -8 = d?
True
Let z(r) = 3*r**2 + r. Let h be z(1). Suppose 5*n = 5*q + 5, -h*n + q - 4 + 5 = 0. Let p be (2/(-5))/(14/(-20)). Which is greater: n or p?
p
Let x(l) = -14*l - 44. Let i(y) = -5*y - 15. Let t(w) = 17*i(w) - 6*x(w). Let j be t(10). Which is greater: j or 0?
0
Let p(m) = -m**2 - 2*m - 8. Let x be p(0). Let a be 28/(-42) - x/21. Suppose -3*h + 2*h - 1 = 0. Is a less than h?
False
Let c be 4/(-6)*3 - -4. Suppose h = -h - c. Is -2 at least h?
False
Let o(s) = -2*s + 2*s + 2*s - 1 - 2. Let r = -1 - -3. Let h be o(r). Which is bigger: 1/13 or h?
h
Let a(u) = -u**3 - 5*u**2 + 7*u + 4. Let h be a(-6). Let x be (6 + -7)*0/h. Suppose 0 = -x*w - 4*w. Do 2/3 and w have the same value?
False
Suppose 0 = 4*p + 41 + 79. Which is greater: p or -29?
-29
Let u(a) = -a + 10. Let n be u(0). Let p = n + -12. Let h(s) = s**3 + 6*s**2 + s + 5. Let d be h(-6). Which is bigger: d or p?
d
Let z = -1669/372 + 55/12. Is 0 at most z?
True
Let l = -16 - -33/2. Let z = 5 + -3. Let h = z - 3. Which is bigger: l or h?
l
Suppose 112 + 38 = 5*y. Let l = 88/3 - y. Which is smaller: -1 or l?
-1
Let q = -144 - -102. Does -42 = q?
True
Let g = -4 - -4.02. Let p = 0.02 - g. Is p < -3?
False
Let r(y) = -2*y**3 + 7*y**2 + y + 7. Let g be r(5). Let v be 39/g - (-6)/21. Which is smaller: -1/7 or v?
v
Let w = -2/19 + 56/171. Is w bigger than -1?
True
Let f = 14 + -19. Let g be (-1)/f + 152/40. Is 4 != g?
False
Suppose -5*q - m = 12 + 26, 0 = -2*q + 2*m - 8. Let j(w) = -w**2 + w + 6. Let b be j(-3). Is b at most q?
False
Suppose 4 + 5 = 9*j. Which is bigger: j or -2/45?
j
Let g(z) = z**3 + 5*z**2 - 36*z - 4. Let k be g(-9). Let u = 11 + -16. Which is smaller: u or k?
u
Suppose w + 2*w = 12. Suppose -w = j - 4*h, -7*h + 3*h - 8 = -2*j. Let r be (j/(-8))/((-3)/(-4)). Which is smaller: -1 or r?
r
Let g = 4 + -5. Let k be 2*3/27*-2. Is k <= g?
False
Let d be (-30)/225 + 1/(-5). Which is smaller: d or 0?
d
Let g be (3/12)/(2 + -1). Are 0.3 and g unequal?
True
Suppose 28*g - 27*g = 16. Suppose -4*w = -p - 58, -w - 5*p = 2*w - 55. Which is smaller: w or g?
w
Let j = -4.8 + -101.2. Are 