+ 6. Let n be y(-7). Which is smaller: n or 0.1?
n
Let g be -17 + (6/(-15) - (-12)/5). Is -16 at most as big as g?
True
Let t = 43 - 303/7. Let s(j) = -2*j - 13. Let f be s(-9). Suppose -3*l = f*m - 15, 2*l + 15 = 3*m + 2*m. Which is bigger: l or t?
l
Let s be (4/20*-1)/1*2. Which is smaller: s or -7/9?
-7/9
Let u be 3/(-15) + (-2)/(-10). Suppose u = 2*a - 1 - 3. Let i(l) = l - 1. Let j be i(2). Is j less than or equal to a?
True
Suppose 0*x + 24 = -x. Is -2 smaller than x?
False
Let s(d) = d**3 - 9*d**2 - d + 7. Let a be s(9). Let n be a + 5/((-265)/(-104)). Is n at most 0?
True
Let l be 2*(5 + -1 + -2). Suppose -5*q + 10 = -4*j, -9 + 1 = 3*j - l*q. Is 0 <= j?
True
Suppose 12*u - 4*u + 160 = 0. Is u at least -20?
True
Let o = 40 + -41. Which is smaller: -2/9 or o?
o
Suppose -g + j = 32, -2*j - 20 = g + 24. Let d be (3 - -1) + 256/g. Which is smaller: -4 or d?
-4
Let r = 3732/17 + -218. Let u = -250/119 + r. Is u at least -1?
True
Suppose 2*p + x = 2133 - 311, x = -5*p + 4549. Let r = p + -11823/13. Which is smaller: 0 or r?
r
Suppose -5*c = -2*w + 27, -w + 18 = -6*c + 2*c. Let f be -1 - (2 - (-1 - -9)). Which is bigger: w or f?
w
Let s be 16/(-28) - 34/(-35). Are 1 and s equal?
False
Let k = -1/55 - -12/55. Is -1/3 equal to k?
False
Let x be 140/44 + (-4)/22. Which is smaller: x or -1?
-1
Let v(u) = u**3 + 16*u**2 - 19*u + 32. Let r be v(-17). Is 66 less than r?
False
Let z be (0 + 0)*1/2. Let x be 15/(-18) - (-130)/300. Which is smaller: x or z?
x
Let n = 0.3 - 0.3. Which is greater: 2/7 or n?
2/7
Let b = -2 - -4. Let r = b - 7. Let j be 0*(5/2)/r. Is j at most as big as 1?
True
Let z = -15526177/25 - -620616. Let w = z + 431. Let x(m) = m**3 - 2*m**2 - m + 1. Let l be x(2). Is w bigger than l?
True
Let w be 4/6 + 5/(-3). Suppose 6*b + 0*b = -60. Let x be (-5)/b*(-1 + w). Which is smaller: 1 or x?
x
Let r = 18.3 + -16. Let t = r + -2. Let x = t + -0.1. Which is greater: 1 or x?
1
Let f = 5.9 - 5.7. Is f equal to 24?
False
Let g be 4*1*(-30)/(-12). Suppose 0*t - g = 5*t. Let k be 3/(-4) + 0/(-1). Which is bigger: k or t?
k
Let y(d) = -d**2 - 9*d - 4. Let r be y(-9). Do r and -4 have different values?
False
Suppose -5*b - 60 = -20. Let r = -4 - b. Which is greater: r or -0.2?
r
Let y = -46/15 + 8/3. Is y < 0?
True
Suppose -5*u - 3 = -6*f + 3*f, -2*u = 5*f - 36. Let n(o) = -2*o + 9. Let v be n(f). Is v at most -3?
True
Suppose 2*j + 20 = 6*j. Suppose j*s = 4*x - 2*x + 33, -2*x - 8 = 0. Which is smaller: s or 7?
s
Suppose -4*m - 33 + 185 = 0. Let p be ((-3)/m)/(3/4). Which is bigger: p or 0?
0
Let y = -54 + 61. Which is smaller: 6 or y?
6
Let p = -0.1 + 0.2. Let u = 8177586/85 + -96208. Let y = u - -12/17. Which is bigger: p or y?
p
Suppose 0*t = -3*t. Let c = 17 + -18. Which is smaller: c or t?
c
Suppose 4*i = -i + 4*p - 11, 5*i - 5*p = -10. Let s = 8 + i. Is 5 <= s?
True
Let n(f) be the third derivative of -f**4/24 + 4*f**3/3 + 2*f**2. Let s be n(7). Let d = 173/7 + -25. Is s > d?
True
Let h(i) = -6*i - 2. Let u be h(-4). Which is smaller: 24 or u?
u
Let w(x) = -2*x**3 + 8*x**2 - x - 8. Let l be w(4). Which is greater: l or -11?
-11
Let o be (-12)/(-178)*(-4)/12. Let t = 164/623 - o. Which is greater: t or -2?
t
Let w be -1 + -3 + (-108)/(-33). Which is smaller: -1 or w?
-1
Let c = -20 - -22. Which is smaller: 1/2 or c?
1/2
Suppose -2*y + 4*y + t = 1, 0 = 5*y - 4*t - 22. Let u be 3/6*y/(-4). Let i be (-55)/(-275) - 3/5. Are u and i unequal?
True
Let v = 0 - -12. Suppose -8*x = -v*x - 28. Is -5 greater than x?
True
Let h = 0 - 0. Let g = -0.7 - -0.4. Let l = g - -0.2. Does l = h?
False
Let q = 492.9 + -493. Let h = 14 - 6. Which is greater: q or h?
h
Suppose y = -8*y + 369. Is 42 bigger than y?
True
Let t be ((-12)/(-18))/(2/3). Do t and -2/7 have the same value?
False
Let p = -9 - -15. Let g = p - 6. Are g and 1 non-equal?
True
Let p = 3 + -1. Suppose 2*u = -4, -3*x = -2*x + u. Suppose -4*g - p = -x*g. Which is smaller: 1 or g?
g
Let n(r) = r**2 - 9*r. Let f be n(9). Is -3 <= f?
True
Suppose 0 = -4*r + 4*a - 4, 5*a = 3*r - 0*r + 1. Let k = -7 + 1. Let m = k - r. Which is bigger: m or -3?
-3
Suppose -5*g + 2*i = 9 + 12, -3 = -g + 4*i. Which is bigger: -6 or g?
g
Let b(o) = -o**2 - 5*o + 2. Let f be b(-3). Do f and 10 have the same value?
False
Suppose -l - 3*g - 9 = 4*l, -3*l = -5*g - 15. Does 4/15 = l?
False
Let p = -877.99 - -887. Let c = 9 - p. Is 1 less than c?
False
Let p = -521/7 + 74. Are -1 and p equal?
False
Let d(w) = 11*w + 9. Let c(q) = -17*q - 14. Let u(o) = -5*c(o) - 8*d(o). Let z be u(2). Let m be (7/14)/(7/z). Which is greater: 0 or m?
0
Let c = -2 - -1.8. Let z = -3/11930 - 3948809/83510. Let a = -47 - z. Is a < c?
False
Let u(a) = -a**2 + 8*a. Let c be u(9). Let t be (-1)/(6/c)*-1. Is t equal to -3?
False
Let d(p) = 2*p**2 - 3*p. Let u be d(2). Let x(k) = u*k + k + k**3 - 5*k**2 - 2*k - 5. Let h be x(5). Which is greater: 2/17 or h?
2/17
Let b(r) = -r**2 - 7*r - 5. Let g be b(-5). Suppose -g = 2*n - 11. Suppose 3*y - 3*m = -9, -n*m - 1 = 2*y - 0*m. Which is smaller: -4/3 or y?
y
Let h = 0.2 - 0.5. Let j = 1.3 + h. Let t = -142.1 + 142. Are t and j nonequal?
True
Suppose 50 = 6*c + 14. Is c at most 23/4?
False
Let w = 3 + 1. Let z be 6/w*2/3. Which is greater: z or 0?
z
Let s = -21.9 + 20.9. Let d = 0.68 + 2.4. Let y = d + -0.08. Is y smaller than s?
False
Let b = 136 - 135. Which is greater: -3/109 or b?
b
Let l(a) = -a**3 - 7*a**2 + 8*a - 4. Let q be l(-8). Let s = 36.6 + -37. Do s and q have the same value?
False
Suppose 7*a - 9 = 12. Let x be ((-2)/(-3))/(1/3). Which is bigger: a or x?
a
Let y be 2 - 2 - (2 + 1). Let q be (y - (-1 - 1)) + -3. Let d = 5 + q. Which is greater: d or 0?
d
Let r(t) = 10*t - 1. Let y be r(-1). Let m(q) = q - 4. Let n be m(y). Let j be n/6*(-1 - -3). Which is greater: j or -4?
-4
Let x = -1.72 + 1.8. Let h = 0.12 + x. Is 1 not equal to h?
True
Suppose 3*x = 6*x + 5*k + 1, 2 = -3*x - 4*k. Let w = -3 - -2. Let v be x + -2 + (-1)/w. Which is smaller: v or -4?
-4
Let v = 0.31 + -36.31. Are 2/7 and v unequal?
True
Let j = 0.16 + -0.23. Which is smaller: j or -0.2?
-0.2
Let l = 0.33 + 1.67. Is -1 at least as big as l?
False
Let t be (-24)/(-14) - 2/(-7). Suppose h + t + 1 = -3*g, -3 = h - 5*g. Let s be (-2)/(h/(9/6)). Are s and 2/13 unequal?
True
Let i = -13 + 20. Is i smaller than 5?
False
Let j be ((-4)/(-12))/(22/(-2894)). Let r = j - -131/3. Suppose 4*k = -3*a - 11, -2*a + 7*a - 5*k = 5. Which is smaller: r or a?
a
Let u(s) = -s**3 + 2*s**2 + 2*s - 3. Let o be u(2). Which is bigger: 2/9 or o?
o
Suppose 17 = 4*d - 11. Suppose w - 3*j = 2*j - d, 4*j = 4*w - 4. Suppose -6*v + 2*v = r + 8, 0 = 5*v + w*r + 17. Which is smaller: v or 1?
v
Let v(f) = -f + 3. Let d be v(7). Let h = d + 9. Suppose -q + 0*q = -2*c, 0 = -h*c. Does 0 = q?
True
Suppose 26 = 2*p + 5*x, -5*p + 51 = 5*x + 16. Which is smaller: p or 11/3?
p
Let z = -20 + 19. Let t = 0.09 + 3.91. Is z smaller than t?
True
Suppose 0 = 3*s - 0 + 6. Let j(t) = -2*t**3 - 3*t**2 - 3*t - 2. Let f be j(-2). Let w = f + -10. Does s = w?
True
Let k be (-1)/2*0 - 1. Let l be (-4)/(-9)*(-2)/4. Which is greater: l or k?
l
Let u = 10 - 33. Is -23 <= u?
True
Suppose 5*o + 2*j - 15 = 0, 6*o - o + 5*j - 30 = 0. Let p = -22502/33 + 682. Let g = p - -17/132. Is g at most as big as o?
True
Let z(g) be the second derivative of 2/3*g**3 + 3*g + 0 + 1/2*g**2. Let d be z(-1). Is -2 at least d?
True
Let s(z) = 18*z + 2. Let u be s(1). Suppose -5*g = 3*b - 100, -2*b + 6*b = -u. Which is greater: 22 or g?
g
Let k = 3 + -2.4. Let s = k + -0.3. Which is smaller: s or -0.1?
-0.1
Let h(j) = -j**3 - 3*j**2 - 3*j + 2. Let s be h(-3). Suppose 3*z + 22 + s = 2*v, 3*v - z - 46 = 0. Let y be ((-10)/v)/((-16)/6). Is y bigger than 2/3?
False
Let j = 32 - 50. Let l be (-3)/j*6/2. Let n be 11 + -11 - 2/5. Which is smaller: l or n?
n
Suppose 0 = 5*w - d - 27 - 1, 20 = 3*w + d. Which is greater: 1 or w?
w
Let g = 1287 - 10281/8. Is g at most 3?
True
Let i(w) = w**3 - 9*w**2 - 15*w + 8. Let s be i(10). Let x be (-26)/s - 14/49. Which is smaller: 1 or x?
x
Let a = -3 - -6. Suppose a*i - 2 = 4*i. Suppose -6*t + 2*t = 4*j + 8, -3*j = -3*t + 6. Is i not equal to j?
False
Let r = 2.05 - 0.05. Which is smaller: r or 1/5?
1/5
Suppose -5*v = -v + 4. Let s = v + 4. Let a = -2 + s. Which is greate