h is smaller: -1 or k?
-1
Let p be (-1 + 10)*1/(-3). Let l be 1/(-2) - p/6. Is 5/4 less than or equal to l?
False
Let p = 9 - 11. Suppose 2*s + 18 = 6. Let r be (-2)/s - (0 - -1). Which is bigger: r or p?
r
Let r(u) = -u**2 + 4*u. Let x be r(5). Suppose 16 - 3 = -2*t + 5*b, -1 = t + 3*b. Let z = x - t. Is z less than or equal to -1?
True
Let x = 3 - 0. Let u = 3.1 - x. Let d = -10/13 - -44/91. Is d equal to u?
False
Let i(t) = -3*t**3 + t**2. Let n be i(-1). Suppose -n*w + 3*j + 21 = 2, w = 5*j + 26. Is w at most 3/5?
False
Let z = -100.9 + 95. Let r = z + 6. Let j be (-6)/(-10) - (-1 - -2). Is j greater than or equal to r?
False
Let o = 0.5 + -0.8. Let m = 8.1 - 1. Let k = -7 + m. Do o and k have the same value?
False
Suppose -3*x - t = 13, -6*x - 3*t - 15 = -x. Let v be ((-1)/3)/(5/x). Is -0.3 <= v?
True
Let y = 132 + -667/5. Which is smaller: -1 or y?
y
Let v = 25 - 16. Which is smaller: v or 8?
8
Let o = -0.8 - -0.7. Let i = 17 + -8. Let u be (-4)/10 + i/10. Which is bigger: u or o?
u
Let t = -23/2 + 15. Is t greater than or equal to 5?
False
Let b = -0.2 - -13.2. Let x = b - 12.8. Let g = -3 - -5. Which is smaller: g or x?
x
Let r = -3/61 - 168/305. Let y(x) = -x**2 + 6*x + 16. Let n be y(-2). Is n less than or equal to r?
False
Let j be 3 + 2*(-12)/8. Is j less than -2/27?
False
Let z(n) = -4*n**3 - 2*n**2 + 4*n. Let r(t) = t**3 - t**2 - t - 1. Let y(w) = -3*r(w) - z(w). Let i be y(-5). Which is smaller: 9 or i?
i
Suppose -3*u - 2*u + 2*i - 6 = 0, -u - 2*i + 6 = 0. Let s = 4.2 - 4. Which is smaller: u or s?
u
Suppose -3 = 6*q - q - 4*v, 2*q + 4 = 3*v. Let k(h) = h + 24. Let c be k(-22). Do c and q have different values?
True
Let c = -36.62 - 0.48. Let m = c - -48.04. Let s = -11 + m. Is s < 0.1?
True
Suppose 0 = -5*a + 2*v - 15, -2 = 2*a - v + 5. Which is bigger: a or 19?
19
Let w be 100/140 - (-1)/(-2). Which is bigger: -1 or w?
w
Let b(m) = -m**2 + 3*m + 5. Let r be b(0). Which is smaller: 2 or r?
2
Suppose -22*z = -18*z + 4. Is z at most as big as 1?
True
Suppose 0 = -5*s + 5*r + 10, -1 = 2*s - 5*r - 5. Suppose -4*x + 4 = 4*g - s*x, -4*x = 4*g - 8. Suppose 2*c - 7*c = g. Which is bigger: -2/11 or c?
c
Let v(u) = -u**2 - 2*u - 2. Let s be v(-1). Is -1/8 bigger than s?
True
Let x = -4 + 3.7. Let b = x + 1.9. Let a = b - 0.6. Is -2/7 <= a?
True
Let a = -40 + 39. Which is greater: -1/23 or a?
-1/23
Let m = -8805/11 - -801. Is 0 at least as big as m?
False
Let d(s) = -s**2 + s**2 - 1 + s**2. Let f be d(1). Suppose 0 = -2*p - f*p - 6. Is -2 not equal to p?
True
Suppose 0 = -0*i - 5*i. Let z be (2/(-12))/((-2)/(-10)). Which is bigger: z or i?
i
Let o(t) = t**3 - 12*t**2 + 11*t + 2. Let l be o(11). Let j be 17 + l - 2/(-2). Let i = j + -62/3. Which is smaller: -1 or i?
-1
Let r be (-8)/44 + (-214)/132. Let n = -18/11 - r. Suppose 0 = -5*b + 4*j - 6*j - 11, 4*b = 5*j + 11. Is b at least n?
False
Let i(n) = n - 5. Let u be i(10). Let a be (-60)/(-25) + (-2)/u. Is -1 at least as big as a?
False
Let b(s) = -3*s + 3. Let w be b(-4). Let t = w - 6. Is t > 9?
False
Suppose -3*n = 2*o + 31, -3*o - n = -5*n + 4. Let c(q) = q**2 + 9*q + 3. Let b be c(o). Let a = b - -4. Is -3 at least a?
False
Suppose 0 = -16*w + 21*w - 95. Is 17 bigger than w?
False
Let f(h) = -h - 7. Let r be f(-5). Suppose 28 = 5*k + 3. Suppose -2*x - 4*d + 0*d = 24, 0 = -k*x - 2*d - 20. Are x and r equal?
True
Let v be (-42)/(-2)*(-4)/20. Let l = -53/15 - v. Is 0 > l?
False
Suppose 0 = p + s - 3*s, -3*p = 2*s - 40. Is 10 smaller than p?
False
Let q(c) = c**3 + 3*c**2 - 5*c - 4. Let w be q(-4). Is w at most as big as -4/13?
False
Suppose j - 4*f = 13 - 3, -2*f = -2*j + 20. Let g be (-4)/j*(-3)/3. Is -1 bigger than g?
False
Let p = -213 - -2981/14. Is p <= 0?
True
Let c = 8 - 7. Let b = 0.09 + 0.07. Let y = b + -6.16. Which is smaller: c or y?
y
Suppose 20 = -5*s - 0*s. Let n(q) = q**2 + 5*q + 4. Let j be n(s). Is 1 less than or equal to j?
False
Let c be ((-1)/3)/(2/(-3)). Which is greater: c or 17?
17
Let j = 2 + -2. Let d be -1 + 5 - (1 - j). Let u be (0 + -2)/(-2) - -1. Which is smaller: u or d?
u
Let t = 993/1400 - -1/200. Let c = 1607/14 - 115. Let v = t + c. Which is smaller: v or 2?
v
Suppose 0 = 7*i - 4 - 3. Let t = 1/74 - 155/518. Is t at least as big as i?
False
Let g = 4 + 0. Let q be (-2)/g*16/(-4). Let b be (2/4)/(1/2). Is b smaller than q?
True
Let i be 6/10*(-41)/(-246). Is i at most as big as 0?
False
Let p = -51 + 26. Are -1 and p unequal?
True
Suppose 4*x = -4 + 12. Let d be (2/3)/(8/6). Which is bigger: d or x?
x
Let s(k) = 2*k**2 + 10*k + 7. Let b be s(-4). Is b > -3?
True
Let a be ((-56)/12 - -4)*30/(-4). Do a and 7 have the same value?
False
Let g = 15/107 - 743/2247. Is 1 > g?
True
Let d(f) = f**3 + 8*f**2 + f - 2. Let a be d(-5). Suppose -3*g + 8*g = 5*l + 70, -4*l - a = -5*g. Are g and 11 non-equal?
True
Let h be (-6 + 1)/((-135)/54). Which is smaller: h or 10/17?
10/17
Let b = 0.01 + -0.01. Let o = 5 - 7. Is b at least o?
True
Let a(y) = y**2 + 3 - 2*y**2 - 1. Let v be a(2). Is v > -7/4?
False
Suppose 2*u + 4*s + 10 = 0, -2*u + 4*s - 3*s - 10 = 0. Let a be 21/12 - (-5)/u. Are a and -1 equal?
False
Suppose 3*q = -0*q + 3. Which is smaller: q or 0.2?
0.2
Let d = 4 + -4. Let u be 3 + (-1)/(-2)*-2. Suppose 2*a - 17 = 5*x - 7, -2*x - u*a + 10 = 0. Is d less than or equal to x?
True
Let x = -0.5 + 0.6. Which is bigger: 8 or x?
8
Suppose 6 + 4 = 5*d. Suppose d = -4*s - 6. Let f = -3 - s. Is f at most -1?
True
Let m = 10 + -11. Let f = -1.2 - -0.2. Let d = m + f. Is d < 0.1?
True
Let t be 3/(-9)*(4 - 4). Which is smaller: -21 or t?
-21
Let m = -4315/2 + 32547/14. Let n = m - 167. Is 1 greater than or equal to n?
True
Suppose -20 = -3*m - m. Suppose -3*l - 6 = -4*z - 3, 0 = -5*l - m. Which is greater: z or -1?
z
Let y = 158 - 2845/18. Let d = y - -5/9. Are d and 2 equal?
False
Let a be -2 - (-2 + (-4)/(-9)). Let o = 24 + -25. Is a bigger than o?
True
Let n = -1.8 - -2. Let u = 8 - 8. Which is smaller: n or u?
u
Let p = 12 + -12. Let w = -0.1 - p. Which is greater: w or -6?
w
Let n(x) = -12*x - 6. Let g be n(-3). Which is bigger: g or -1/4?
g
Let u = -1 - 11. Is 0 >= u?
True
Let b = -3 - -3. Suppose -2*h - h = b. Let k = 0 + h. Is k >= 2/7?
False
Suppose 66 = 4*o - 5*g, -g - 2 + 0 = 0. Let c be 6/168 - 4/o. Which is smaller: c or 5?
c
Let s = -15 + 15. Is -1/5 < s?
True
Suppose -3*s - 2*s + 4*l + 12 = 0, -5*s + 2*l + 6 = 0. Suppose -2*x + 8 = s, 4*x + 11 + 1 = 4*c. Is 7 at least c?
True
Let d = -2 - -7/3. Which is smaller: 0.7 or d?
d
Suppose 5*c = -15, -f = 2*c - 2 + 14. Let d be (-42)/32*f/(-5). Let w = -3/40 - d. Is 2 at least as big as w?
True
Let d(k) = -k**2 + 2*k - 2. Let l be d(3). Let b(p) = p**3 + 6*p**2 + 4*p - 1. Let r be b(l). Which is bigger: r or 2?
r
Let m = 4 - 7. Let s be 8/6 - 2/m. Is s smaller than 2?
False
Suppose 6 = y - 2*m + 2, 4 = -2*y - 2*m. Let r(u) = u - 14. Let w be r(14). Suppose w = a - 4*a - 2*h + 5, -3*a - h = -1. Is a smaller than y?
True
Let i = -8.2 + 9. Let u = 1.8 - i. Which is bigger: u or -2?
u
Let x be (3 - 54)/(1 + -2). Let j = x + -35. Suppose -4*t + 4*k - 22 = -t, -2*t + 3*k - j = 0. Is t greater than or equal to 0?
False
Let t = -0.29 + 3.99. Let w = t + 0.3. Let u = 2.1 + -2. Which is bigger: w or u?
w
Let b be 16/18 + (-4 - 148/(-36)). Let u be -2 + ((-388)/(-98) - 2). Is u less than or equal to b?
True
Let a(c) = -33*c**2 + 1. Let f be a(1). Let r be 0/(1 + -3) - (-291)/9. Let u = r + f. Is u greater than -2/19?
True
Let b(y) = y**3 + 9*y**2. Let i be b(-9). Which is smaller: i or -2/175?
-2/175
Let n = 7 + -4. Let o be n*((-7)/(-3) + -2). Let m be (-3)/(-2)*16/6. Which is bigger: m or o?
m
Let c be (-4)/6*6/(-4). Let o(l) = 3*l**3 - l**2 + 2*l - 1. Let x be o(1). Suppose z = -x*z. Is c >= z?
True
Let j = -2.95 - -3. Let o = -0.45 + j. Let a = o - -0.5. Is 3/2 smaller than a?
False
Let b = -4 + 5. Let p be b/(0 + 2/(-6)). Let z(a) = -4*a**3 + a**2 - a. Let k be z(1). Which is smaller: p or k?
k
Suppose -f - 45 = 4*f. Which is smaller: -8 or f?
f
Let o = -1 + 1. Suppose o = 4*p - 3*p + u - 4, -3*u + 18 = -3*p. Is -2/9 > p?
True
Let f = -5.8 + 11. Let o = 4.91 + 0.09. Let b = o - f. Are b and -1/3 nonequal?
True
Let a be 2 + (-3 - (-2 - 0)). Is -2/69 > a?
False
Suppose -24*d + 17*d - 679 = 0. Is d not equal to 2/5?
T