 = 6.9 + -6.8. Which is smaller: t or f?
t
Let p be (-80)/6*((-12)/10 + 0). Which is smaller: 20 or p?
p
Let w(b) = -b**3 - 3*b**2 - 3*b. Let p be w(-2). Let d be (4 - p)/(6 - -2). Let i be (-2)/(-9) - (-11)/(-9). Is d less than i?
False
Suppose 2*g - 74 = -5*f, 4*g - 20 = -f + g. Let l = -24 + f. Let h be l/35 + 10/(-14). Do -4/7 and h have different values?
True
Let m(n) = n**2 + 7*n + 7. Let t be m(-6). Which is bigger: t or -1/32?
t
Suppose -2*o = 2*o - 8. Suppose 3*h + o*c + 0*c - 10 = 0, 0 = -4*h - 2*c + 10. Which is greater: 1/13 or h?
1/13
Suppose 2*g + 18 + 156 = 0. Let p be 2/10 + g/(-15). Let b be ((-2)/p)/(8/(-36)). Which is greater: b or 2?
2
Let p = 8 - 10. Is -1 greater than or equal to p?
True
Let t be (0 - -7)*10/35. Suppose -3*o + 12 = t*q, -5*q + 5 = 2*o - 3. Is o >= 5?
False
Let c = -15 + 14. Is -10/9 at most as big as c?
True
Let x be 0*(2 - (0 + 1)). Suppose x = -3*z - z. Let m be 27 + -22 - ((-48)/(-15) + 3). Which is smaller: m or z?
m
Suppose 2*j + 6 = -f - j, -2*f = 2*j + 4. Is f not equal to 0?
False
Let v = -9.2 - -9.3. Which is bigger: v or -37?
v
Let u = 7 + -5. Let q be (-44)/10 - u/(-5). Let x be (-1 - (-14)/6)*-3. Is q smaller than x?
False
Let q = -0.08 + 1.08. Let k = 0.2 - 0.2. Let d = q + k. Do d and -0.1 have different values?
True
Let d = 3 - -1. Let o = -69.9 - -74. Let q = d - o. Is q >= -2/3?
True
Let c = 39 + -38. Let x = -1.3 - -0.3. Let w = -1 + x. Is w > c?
False
Let w(x) = -x**2 - 2*x + 2. Let r be w(-3). Do r and 1/35 have the same value?
False
Let x be (-2 - (-51)/9) + -3. Is 2 smaller than x?
False
Let l(b) = -b + 7. Let a be l(0). Let x(k) = k - 7. Let v be x(a). Suppose v = -s - 4*t - 1, -3*s + 0 + 11 = -2*t. Are 3 and s nonequal?
False
Let p be (2 - 2)/(0 - 3). Suppose -m + 2*m + 5*i + 13 = p, -4*m - i = -43. Suppose -4*s - m = -2*s. Is s less than or equal to -7?
False
Let l = -0.081 + -1.919. Let h = -3.9 - -6. Let f = h + l. Is -0.4 not equal to f?
True
Let v be (0 + -1)*(-1061)/(-6). Let z = 178 + v. Is 0 at least as big as z?
False
Let o(l) = -l**3 + 7*l**2 - 5*l - 3. Let h be o(6). Suppose -h*q = -q. Which is greater: 1/3 or q?
1/3
Suppose 5*m - 13 = -3*c + 4, 2*m - 6 = -c. Suppose 5*b - 41 = -3*r, b = 2*b + 3*r - 1. Suppose -3*g = -c*o + o + 3, b = -5*g. Is -1/6 >= o?
True
Suppose 4*a = 5*z, 0 = -a + z + 2*z. Let t be 6/2 - (-3)/1. Let y be (3 - 3) + t/16. Which is greater: y or a?
y
Suppose 3*z = -5*a - 19, -a - 11 + 3 = 2*z. Let n = 1 + 0. Which is smaller: n or a?
a
Let u be (-3*1 + 1)/(-2). Let b be (-6)/(-9)*u*-3. Which is greater: b or -1?
-1
Let s = -9 - -10. Let l(m) = -m - s + 2*m**3 - m**3 + 3*m + 3*m**2. Let q be l(-2). Which is smaller: q or 0.3?
q
Let g be (6/2)/((-2 + -1)/(-1)). Which is greater: 0.044 or g?
g
Let o = 11 + -5. Let i be (-5)/(-11) + o/(-6). Which is greater: i or 0?
0
Suppose -5*x = -7*x. Is x not equal to 3/11?
True
Suppose -24 = 3*r - 0*r. Let d be 4/r*1*2. Which is greater: d or -12/5?
d
Let w = 3 - 2. Let u = 0.4 + -0.4. Let z = w - u. Is z at least as big as -3/7?
True
Let a = 19 - 20. Is -4/7 != a?
True
Suppose 4*f = 3*n + 2*f + 803, -4*n = -5*f + 1059. Let u = n + 1089/4. Which is smaller: u or 1?
1
Let t be 12/5 + (-8)/20. Let o = 427/6 + -71. Let q = 1/3 + o. Which is bigger: q or t?
t
Let r be -1 + (-1*45 - 1). Let z be 1 - (r + -1*2). Let n be 2 + (-5)/(z/32). Which is greater: n or -1?
-1
Let a = -3 - -14. Suppose -3*v + a = -7. Suppose v = -3*c + 3*t, t + 3 = 3*c + 9. Which is smaller: c or -1?
c
Let a = -0.029 - 9.071. Let b = 9 + a. Which is bigger: -0.6 or b?
b
Let a be (2/(-6))/(17/153). Is a <= -4?
False
Suppose 0 = -13*g + 12*g + 33. Is 33 < g?
False
Let a = -1348/9 - -150. Let u = 9 - 10. Which is bigger: a or u?
a
Let b(w) = w - 9. Let l be -3 + ((-2)/(-1) - -5). Suppose 0 = -l*r - 4*k - k + 21, k = -r + 5. Let q be b(r). Does -6 = q?
False
Let g be 8*((-3)/(-6))/1. Let m(t) = -t - 3. Let n be m(3). Let q = n + g. Is 2 less than q?
False
Let f = -0.04 - -0.05. Let k = 0.08 + f. Let y = k - -0.01. Is y <= -0.1?
False
Suppose -38 = -5*x - 3. Let p = x - 6. Is 0 > p?
False
Let f be (-9)/3*15/(-9). Let d = f + -2. Which is smaller: 4 or d?
d
Let z = -0.6 - -4.6. Let g = -2 + z. Let n = -5 + g. Are n and -2 equal?
False
Let i(v) be the second derivative of -5*v + 1/20*v**5 + 1/6*v**3 + 1/2*v**2 + 0 + 0*v**4. Let f be i(-1). Is -7/4 smaller than f?
True
Let p = -2 + -2. Is -2 bigger than p?
True
Let h = -1.6 + 0.6. Do h and -2 have the same value?
False
Let x = -8/11173 - 1764606/1016743. Let p = -997 - -12991/13. Let u = x + p. Is 0 > u?
False
Let t be (2 + -1 + -1)/(-1). Suppose t = -m - 0*m. Let b = -10 - -9. Is m greater than or equal to b?
True
Let r = -48/505 - 1/202. Suppose -5 = 5*l - 0*l. Which is smaller: l or r?
l
Suppose -13*n + 15*n = 2. Which is smaller: n or 3/8?
3/8
Let x = 1 + -2. Let o be 2/(1 - 3 - x). Suppose 3*w + 6 = 4*l, w = -0*l - 4*l - 2. Does o = l?
False
Let q be (48 + -1)/((-5)/5). Which is smaller: q or -46?
q
Let x be -1*1 + 99/77. Which is smaller: x or 7?
x
Let l be -42*(1 + 6/2). Let v be ((-1)/4)/((-30)/l). Let z(f) = -f**2 - 9*f - 8. Let a be z(-8). Which is smaller: v or a?
v
Let a = 0.63 - 0.63. Is a at least as big as 2/43?
False
Let u be (-4)/32 - 14/144. Let q = -1 - -1. Which is smaller: q or u?
u
Suppose 0*a = -a - 1. Which is bigger: a or -6/13?
-6/13
Let v = 2 + 1. Suppose 5*k + v*u = 4, -5*u + u + 15 = -3*k. Is k at most 2/19?
True
Suppose 0 = k - 6*k + 5*t + 410, -3*t + 184 = 2*k. Is k at most 85?
False
Let j = -2426/715 + -1/143. Is j != -4?
True
Let m = 2.1 + -2.2. Let s = -0.31 + 2.41. Let a = -2 + s. Which is smaller: a or m?
m
Suppose 1 = -j - 0. Let x be 95/20 + j/(-4). Suppose 2*k - x*k = 12. Is k at least as big as -5?
True
Let a be (-2)/9 - 357/(-27). Suppose -5*h - 3 = -a. Suppose 4*x - 1 = -o + 3*x, -o + x = -3. Is h not equal to o?
False
Let k = -916612093/93 - -9854900. Let z = -1144 - k. Let s = 193/651 - z. Is 1 at most as big as s?
False
Let v = 0.03 - -0.47. Let i = -2.1 + 2. Is v smaller than i?
False
Let j(u) = -u**3 + 18*u**2 + 39*u + 21. Let f be j(20). Which is bigger: f or 6/35?
f
Let s(l) = -l**3 + l**2 + l - 3. Let t be s(0). Let n(j) = -j**2 - 5*j - 3. Let i be n(t). Which is smaller: i or 4?
i
Let j = 38663/34 - 1137. Which is smaller: 1 or j?
j
Let f(i) = -i - 2. Suppose r - 26 = -p + 5*p, -2*r + 28 = -4*p. Let l be f(p). Let c = l + -7. Which is greater: -2 or c?
-2
Suppose 3*z = -2*a + 14, 0 = -a + z + 1 + 1. Let p be 351/63 - 4/7. Which is smaller: a or p?
a
Suppose 2*u + 10 = 4. Is u equal to -7/4?
False
Suppose -2*p - 5*u + 5 = -4*p, 4*p - 2 = -2*u. Suppose -x - x = p. Which is smaller: -1 or x?
-1
Let w be 0 + (-3)/((-3)/(-2)). Let k be 520/(-44) - (-4)/(-22). Let p be ((-9)/k)/(6/(-4)). Is p less than w?
False
Let v = -22/241 + -11414/1687. Let f = -1090/161 - v. Which is smaller: f or 1?
f
Let v = -1 + 2. Is -8 less than v?
True
Suppose -3 - 1 = z. Is -5 greater than z?
False
Let r(m) = -m + 2. Let l be r(-3). Let i = l + -5. Let y = i + 1. Is y greater than 0?
True
Let n = -13.1 + 13. Suppose 2*o - 4 = -3*m, -3*m - 4 = m + 5*o. Is m smaller than n?
False
Let u be (-2)/2*0 - 1. Let w be (u - -2)*(1 + 1). Which is bigger: w or 4/7?
w
Let r = 25.1 - 23. Let h = 0.9 + r. Is h less than or equal to -1?
False
Let t = 17 + 5. Let a = 21 - t. Which is greater: 0.09 or a?
0.09
Let y = 63 + -1319/21. Is y bigger than 1?
False
Let d = -10 + 12. Suppose -d = -3*f + 4. Suppose 0 = -3*u + u + f. Which is bigger: u or 1/5?
u
Let k(i) be the first derivative of -i**4/24 + 11*i**3/6 - i**2/2 - 1. Let m(x) be the second derivative of k(x). Let h be m(10). Is 2 less than or equal to h?
False
Suppose 6 = -5*l - s - 3*s, -4*s - 16 = 0. Let c be (8 + -2)*3/l. Let p be (3/4)/(c/(-6)). Which is greater: p or -2?
p
Suppose -3*s - 3*u = -3, 4*s - 1 - 1 = -5*u. Let f(r) = -r**2 + 3*r + 3. Let h be f(4). Let j = s + h. Which is bigger: j or 1?
j
Let j = -58/5 - -2504/215. Is 0 not equal to j?
True
Let r = -25 + 49/2. Let y = 1.07 + -0.07. Let t = y + -0.7. Which is bigger: r or t?
t
Let z(a) = -a**3 + 8*a**2 + 7*a. Let j(m) = 2*m**3 - 7*m**2 - 6*m + 1. Let g(n) = 2*j(n) + 3*z(n). Let y be g(-9). Are -3/4 and y nonequal?
True
Let b(o) be the third derivative of -o**4/24 + 7*o**3/6 -