2 - 5*w + 6. Let o be q(-6). Which is bigger: o or 1/27?
1/27
Suppose -5 = 3*g - 8*g. Let h be (2 - -2)*9 + 0. Let f = -106/3 + h. Which is greater: f or g?
g
Let y(b) = -b**3 - 6*b**2 - 6*b - 6. Let g be y(-5). Let n = -159 + 472/3. Which is smaller: n or g?
n
Let r(p) = 5*p - 1 - p**2 - 7*p - 4*p. Let j be r(-5). Let t = -28 + 32. Is t greater than or equal to j?
True
Suppose 0*u - 2*u = -4. Let c(l) = -l + 8. Let x be c(6). Is u < x?
False
Let d(p) = p - 3. Let g be d(11). Let y be 2 + 1/((-14)/g). Is 1 at least y?
False
Let z be ((-42)/1)/((-17)/102). Let r be 3*-1 - (-780)/z. Let q be (2*-1 - -2) + 0. Is q greater than r?
False
Suppose -i + 3*i = 0. Suppose i = 5*f - 58 + 3. Suppose 0*t = -4*z + 5*t + f, -3*z + 9 = -4*t. Which is smaller: z or 2/11?
z
Let p = -8 - -3. Let n(o) = o + 2. Let v be n(p). Is v != 0.1?
True
Suppose -2*a = -5*z - 69, 2*z + 5*a + 9 + 7 = 0. Is z <= -12?
True
Let g(m) = -21*m + 4. Let y be 8/3 + 4/12. Let v be g(y). Let i = -182/3 - v. Which is bigger: -1 or i?
-1
Let c = 107.65 - 86.5. Let q = -0.15 + c. Which is smaller: -1 or q?
-1
Let n = -37/6 - -15/2. Are n and 1 non-equal?
True
Let m be 3/((-3)/(-4)) + 1. Let q = 11 + m. Suppose -4*u + 22 = -7*u + 4*x, 0 = -4*x + q. Is u smaller than -3?
False
Suppose r = -2*o - 9, 6*r = 9*r + o + 2. Which is smaller: r or 0?
0
Suppose -22 = 4*f + 18. Let r = f - -11. Is 2 equal to r?
False
Let p = 1 - 5. Which is bigger: 0.2 or p?
0.2
Let r be 2/(-2) + (-319)/(-29). Is 10 smaller than r?
False
Let o = -138 + 1244/9. Let b = -0.38 - -0.14. Let l = b - -0.04. Is o <= l?
False
Let s = -14 - -13.8. Let c = s + 0.1. Is c != -0.02?
True
Let g be (2 - 316/159)*60/(-40). Which is bigger: g or -1?
g
Let s(q) = -6*q**3 + q - 3. Let m be s(2). Which is smaller: -48 or m?
m
Let a = 2.3 + -1.86. Let f = 0.18 - 0.14. Let m = a - f. Is m smaller than 0?
False
Let m(u) = -u**3 + 8*u**2 - 6*u - 8. Suppose l + 3 = -3. Let i = 1 - l. Let v be m(i). Which is bigger: 0.2 or v?
0.2
Let g = -20 - -19. Are g and 0.3 nonequal?
True
Let r(w) = w - 11. Let g be r(5). Which is greater: g or -1?
-1
Let c = 0.07 + 1.93. Suppose 5*w - 2 = -4*i, -5*i = -w - 0*w - 17. Let x be ((-2)/10)/(w/5). Which is smaller: c or x?
x
Let f = 2095174005/1258 + -1665480. Let h = f - 1/74. Is h at least 1?
False
Let j = -9/10 + 11/15. Which is bigger: 3/17 or j?
3/17
Suppose 0 = 5*i - 1 - 4. Which is smaller: i or 2?
i
Suppose 2*z = -2*r - 4, -3*z = -4*z - 3*r - 10. Let s = 7 - z. Suppose -s*b + 5 = -5. Is 1 >= b?
False
Suppose 0 = 2*m - q - 3, m + 5*q - q = -3. Let s = 3/2 + -9/14. Is m < s?
False
Let r = 7 + -3. Suppose -3 = q + r*w, 2*q + 0*q - 2*w = 4. Let n be q/5 + 3/(-15). Is 1/5 less than or equal to n?
False
Let d = 14 - 13. Do d and -1/4 have the same value?
False
Let b = -15 - -17. Suppose -z - 3 = -5*n - 29, b*n + 9 = -z. Are 0 and n non-equal?
True
Let t be 91/2142*8*2. Let f = t - 2/153. Is f greater than -2/3?
True
Suppose t = -0*t - 8. Let d = 5 + t. Let u = d + 2. Which is greater: -2 or u?
u
Let a = -8.3 - -8.1. Let w(n) = -n**2 - n + 1. Let z be w(-2). Let f be z + 2/(-5) - -1. Which is smaller: a or f?
f
Let t(j) = j + 3. Suppose 3*h + l + 21 = -2*l, 3*h + 5*l = -25. Let f be t(h). Which is greater: f or -1?
-1
Let c = -0.03 + 2.03. Suppose o - 1 + 25 = 4*u, 5*u - 2*o = 33. Let g be 5/(-4) + u + -4. Is g bigger than c?
False
Suppose 0 = 3*s + 28 - 10. Let y = -1 - s. Let r(p) = -2*p + 35. Let b be r(15). Is b < y?
False
Let z = 5 - 10. Is z at most -6?
False
Suppose -5 = g + 2*u - 2, -4*u - 8 = 4*g. Is g greater than -1/3?
False
Let g(a) = -a**3 + 17*a**2 + a - 14. Let z be g(17). Suppose 0 = -2*c - 4, -3*c - 7 - z = -4*y. Suppose 0 = 6*s - s + 5. Is s less than y?
True
Let r(l) = -7*l**2 - l - 7. Let p(k) = -6*k**2 - k - 6. Let d(a) = 6*p(a) - 5*r(a). Let h(f) = -f + 5. Let i be h(6). Let x be d(i). Is -1/4 equal to x?
False
Let d be 6 - 2/3*3. Let j(s) = s**3 - 4*s**2 - s + 4. Let g be j(d). Let t(a) = -a**2 + 9*a. Let m be t(9). Does g = m?
True
Let u = -4 + 4. Suppose 3*b + u*b = -21. Which is greater: b or -6?
-6
Let t = -6 - -9. Suppose 0 = -t*c + c + 6. Let d be (-63)/28*4/(-6). Is c <= d?
False
Let g = 46 + -45. Which is smaller: g or 6?
g
Suppose -4*q + 2*t = 0, 5*t = -0*q + 2*q - 8. Which is smaller: -8/7 or q?
-8/7
Let d be (1220/25)/(14/55). Let l(f) = 11*f**2 + 4*f. Let r be l(4). Let w = d - r. Which is bigger: w or -0.2?
-0.2
Let w = 325/4 + -80. Which is smaller: 0 or w?
0
Let h = -5 + -1. Let l = -4 - h. Suppose -3*g = l - 11, -2*z + g = 1. Which is smaller: z or 2?
z
Let w = -18 - -20. Does w = -16?
False
Let r = 0.49 - 0.44. Suppose -4*d - d = 5. Which is smaller: d or r?
d
Let u = 2 - 3. Let q = 8 - 5. Suppose -q*x = -x. Which is smaller: u or x?
u
Let w be ((-6)/(-105))/((-2)/10). Let z = -4.11 + 0.11. Is z at most as big as w?
True
Let g be 2/((-8)/6*1). Let v = 2 + -1. Let w be (56/(-12) - -3) + v. Do w and g have different values?
True
Let s(w) be the first derivative of -3 + 2*w - 1/4*w**4 + w**3 - 1/2*w**2. Let n be s(3). Which is greater: n or -5?
n
Let o = -0.2 + 0.1. Let b = 14.88 - 16.9. Let s = b + 0.02. Which is greater: o or s?
o
Let r be 0 - 1 - (4 - 385/75). Let h(y) = y + 2. Let o be h(-2). Which is greater: r or o?
r
Suppose 3*i = i + 30. Which is bigger: 16 or i?
16
Let y = 17 + -15. Suppose 0 = y*n + 2*n. Which is smaller: n or 1?
n
Let g(w) = w**3 + 4*w**2 - 4*w + 6. Let r be g(-5). Suppose 2*l - y = -8 + 1, -y - r = 2*l. Is 0.2 smaller than l?
False
Suppose 5*c - 4*z + 9 + 8 = 0, 5*c - 2*z = -11. Suppose -5*h + 21 = -19. Suppose h = -3*t - t. Which is bigger: t or c?
c
Let i be (-17)/34*2/13*-8. Which is smaller: i or 1?
i
Let q = -41/18 + 25/9. Let v(f) = -f + 3. Let x be v(4). Which is smaller: q or x?
x
Let k(b) = b**2 + b - 14. Let i be k(0). Is -4 less than or equal to i?
False
Let b = 0.08 - 0.05. Let z = -0.63 + 0.6. Let t = z + b. Is 1 at least as big as t?
True
Let v = -44 - -43. Let o = 294/19 - -829/95. Let s = 24 - o. Is v less than or equal to s?
True
Let z(u) = 5*u**3 - 2*u**2 + 1. Let v be z(1). Let y be (-12)/54 - (-40)/18. Let m be 14/6 - y/(-3). Which is greater: v or m?
v
Let c = 0.06 + -0.16. Is c at least 0?
False
Let h = -1.8 + 2. Suppose 5*a - 22 - 18 = 0. Suppose -4*l + 2*d - a = -9*l, 0 = -3*d - 3. Which is smaller: l or h?
h
Suppose y = 2*y + 1. Let j be 2 - y/((-10)/22). Let t(p) = -p**3 - 7*p**2 + 9*p + 7. Let f be t(-8). Is f smaller than j?
True
Let f = 1.1 + -0.1. Let y be 1/(-5) - 1/(-5). Is y at least f?
False
Let g be 32/30 - 4/6. Let m be 1/(-5) + (-90)/(-200). Which is greater: g or m?
g
Suppose -4*k = -3*g + 16, -k - 4 = -g - 2*g. Which is bigger: 3 or g?
3
Let c = -9 - -1. Which is bigger: c or -7?
-7
Let n be ((-5)/((-10)/(-4)))/2. Let p(o) = -2*o - o + 3*o**2 + 2 - 2*o**2. Let t be p(2). Is n equal to t?
False
Let o be ((-1)/(-3))/((-2)/6). Which is smaller: o or 3/20?
o
Let p = -17.3 + 5.1. Let c = p + 11. Let w = 0.2 + c. Is -0.2 less than or equal to w?
False
Suppose 20 = 4*c, 8 = 3*r - 2*c - 3. Which is greater: r or 8?
8
Let u be 5/35 - 317/63. Which is smaller: -6 or u?
-6
Suppose -n - 5 = 3*c, -2*c = -0*c + n + 4. Which is smaller: c or -2/67?
c
Let z = 8 - 6. Suppose d + 6*m + 30 = m, z*m = -4*d - 48. Let u = d - -48/5. Which is greater: u or 1?
1
Let p = -5 + 7. Which is smaller: 1/3 or p?
1/3
Let b = 2 + -2.1. Suppose 0*h - 4*h = -12. Suppose -h*f + 1 = -2. Which is smaller: f or b?
b
Suppose 0*i - 4*i + x + 515 = 0, 0 = -2*i + 3*x + 265. Is i less than or equal to -1/3?
False
Let w(h) = 0*h**2 - 3*h**3 + 2*h**3 + 6 - h + 9*h**2 + 3. Let d be w(9). Which is bigger: -4 or d?
d
Let g = 77 - 79.03. Let h = 0.03 + g. Which is smaller: 0 or h?
h
Suppose 4*f = -2*o - 8, -2*o - 5*f + 0*f - 9 = 0. Which is smaller: o or 0?
o
Let t = 32.1 + -32. Which is bigger: t or -0.07?
t
Let h be ((-6)/(-10))/((-3)/(-2)). Let v = -1.8 + 4.4. Let z = -0.4 - v. Is z at most h?
True
Suppose 2*c = -2*f - 2*c + 16, 4*c = 3*f + 16. Suppose -3*g + 5 = -2*m, -5*m = 3 + 17. Is g > f?
False
Let x be (30/9 - 1) + -2. Let k = -5 + 3. Let d = 2.2 + k. Which is greater: d or x?
x
Suppose -3 = -4*k + 1. Is 1 at least as big as k?
True
Let u be 219/(-135) - 4/30*-3. Let s = 12282431/99 + -124066. Let t = u - s. Is 1 greater than or equal to t?