 r(u) = -5*u + 4*u - 6 - 2. Let g be r(-5). Is g smaller than -7?
False
Let k(j) = -j**3 - 7*j**2 + 17*j - 9. Let y be k(-9). Which is smaller: y or -3/5?
-3/5
Let y = 10924893176154/102172291067 + -16188514/152923. Let q = y + -6/8677. Let b = q - 7/11. Which is bigger: b or 1?
1
Let t = -24 + 26. Which is greater: -3 or t?
t
Let f be (-1)/2 - (-14)/4. Suppose -2*y + f - 5 = 0. Let j be (-36)/(-28) - (-1)/y. Is 0 at least as big as j?
False
Let o = -1.2 - -1.3. Which is bigger: 2 or o?
2
Suppose 5 + 25 = 5*m. Suppose -3*z = -m*z + 6. Let u be (z/5)/(3/(-15)). Is -3 < u?
True
Let v(t) = t**2 - t + 1. Let o = -7 + 7. Let b be v(o). Is b greater than 0?
True
Let n = -0.242 - -0.2. Which is smaller: 0 or n?
n
Let v be (-1 - 0)*(5 - 4). Let z = -2 - v. Let i = 0 + z. Is -1/4 at most as big as i?
False
Let g = 0 - 0.3. Let l = 0.2 + g. Let v be (8/(-16))/((-1)/(-2)). Which is smaller: v or l?
v
Suppose 6*n + 21 = 3*n. Suppose 2*p - 16 = p. Suppose 3 = x, 3*x - 11 = 3*a + p. Which is bigger: a or n?
a
Let k be -6*2/(-8)*-22. Let s be 0 + 3 + 93/k. Which is smaller: -1 or s?
-1
Let f(v) = v**3 - 6*v**2 + v - 4. Let h be f(6). Let k(q) = q**3 - 2*q - 1 + h*q**2 + 1 + 3. Let j be k(-3). Is -2 less than j?
True
Let o(q) = -q**2 - 3*q + 2. Let c be o(-3). Let x = -3 + c. Let m be (-1)/2 - 1/(-2). Which is greater: m or x?
m
Let z = -0.27 - -0.22. Are z and -3 nonequal?
True
Let t be (-10)/55 + (-6)/88. Which is greater: t or 0?
0
Let y = 23/15 + -86/15. Let x = 247/60 + y. Are x and -1 nonequal?
True
Let x(b) = b**2 - b. Let y be x(2). Suppose -2*m = 3*u + 15, 3*m - u = -3*u - 10. Is y at most m?
False
Let d = -1.3 - 0.3. Let v = 2 + d. Is v less than 0?
False
Let d be (0 - -1 - 4) + (-82)/(-26). Which is smaller: d or -1?
-1
Let j(h) = -8*h - 9. Let l be j(7). Let d be (-25)/(-2)*39/l. Is -8 less than d?
True
Let j(o) be the second derivative of -o**8/6720 + o**7/420 + o**5/30 - o**4/4 - o. Let f(k) be the third derivative of j(k). Let u be f(6). Is u <= 3?
False
Suppose 5*x = 5*b - 30, -2*b + 3*x + 2*x + 24 = 0. Which is bigger: b or 36?
36
Let l = 1 - 1. Let v(c) be the second derivative of c**4/12 + c**3/2 + 3*c**2 - 7*c. Let n be v(-3). Is n less than l?
False
Let l be (12/(-5))/((-15)/(-100)). Do -16 and l have different values?
False
Let p(x) = x**2 + 10*x + 10. Let c be p(-9). Suppose -y = -5*a + 7, -2*y + 2 = -4. Let h be ((-2)/(-34))/(a/4). Which is bigger: h or c?
c
Let p(b) = -2*b - 4. Let t be p(6). Let i = t + 16. Which is smaller: 2 or i?
i
Suppose 0 = -5*v - 15 + 5. Suppose 0 = -2*r - 2*r - 4. Which is smaller: v or r?
v
Let o = -1330 - -62506/47. Which is bigger: o or 0?
0
Suppose t + 2*v - 8 = -v, v = 2*t - 2. Suppose -t*a - 6 = -0*a. Let x be -2 + ((-1)/2)/(-2 - -3). Which is bigger: a or x?
x
Let x be 44/7 + 2/(-7). Let q be (-3)/(-6)*(-4)/x. Suppose 3 = -5*c - 2. Is c equal to q?
False
Let a = -15 + 18. Is a bigger than 3?
False
Let p(o) = -o**3 - 8*o**2 - 6*o + 4. Let k be p(-7). Let n be (1 + -2)*1/k. Which is greater: n or -6?
n
Let y = 2.1 + 6.9. Let n = y + -11. Is -2 >= n?
True
Let b = 1 + 23. Which is bigger: -2/3 or b?
b
Let l = 2/33 - 50/99. Let u(m) = m**2 + m. Let t be u(-1). Which is smaller: l or t?
l
Suppose -22 = 5*t - 7. Let u be (-18)/(-81) - (-38)/(-9). Is t smaller than u?
False
Let l be ((-8)/(-10))/(7/(-35)). Let j be (-11 + l)*(-2)/6. Suppose 2*s = 3*x - 2, 0 = -3*s - 3*x + 17 - j. Which is smaller: 2/7 or s?
2/7
Let d be 3/5 - (-60)/(-100). Is d smaller than 3/85?
True
Let v be 4/10 - ((-153)/15)/(-3). Which is greater: -2 or v?
-2
Suppose 0*o = o - 2. Let h(a) = -a + 15. Let w be h(14). Is o smaller than w?
False
Suppose 0 = 2*g + g + 6. Which is smaller: g or -4?
-4
Suppose -313 = 3*f - 4*g, 336 + 203 = -5*f - 2*g. Is f at least as big as -106?
False
Let m(h) = 4*h + 4. Let p be m(-3). Let s(f) = f**3 + 8*f**2 - f + 7. Let i be s(p). Suppose 7*r = 2*r + i. Are r and 4 unequal?
True
Let p = -2782 - -842944/303. Which is bigger: 1 or p?
1
Let l = 1.2 + -1.1. Is l at most -0.4?
False
Let m(n) be the second derivative of n**4/12 + 5*n**3/6 + n**2/2 + 2*n. Let u be m(-5). Do u and -2/17 have the same value?
False
Suppose 13*w = -5*w + 18. Do w and 4/9 have different values?
True
Let v = 4937/207 - 217/9. Which is smaller: 1 or v?
v
Let z = 107 - 959/9. Suppose -j = 1 - 2. Let a be (1 + (0 - j))*-1. Which is bigger: z or a?
z
Let i(t) = -t**2 - 2*t + 7. Let o be i(3). Is -7 equal to o?
False
Suppose -2*g - 4 = 0, 0 = -4*y + y - 5*g - 25. Is y not equal to -2?
True
Let p = 17 - 12. Let f be -5*(5 - 385/75). Is p >= f?
True
Let x = -14 + 16. Let g be 0/((-4)/(-2)*-1). Suppose -x*h + h = 5, -q - 3*h - 15 = g. Which is bigger: q or -1?
q
Suppose 2*n + 9 = -17. Let v = n - -6. Let r(k) = k**3 + 7*k**2 + 1. Let w be r(v). Which is smaller: 2/13 or w?
2/13
Let o = -5 - -4. Let y be (-2)/(o + 1 + 2). Let b be 8/(-26)*(-1)/2. Are y and b unequal?
True
Let a be (-1 + 12/8)/((-262)/4). Are a and -1 nonequal?
True
Suppose 2*i - 3*i = 3*g + 8, 0 = -5*g - 4*i - 25. Do 2/7 and g have the same value?
False
Let h(x) = -x**2 - 6*x - 10. Let b be h(-5). Let s = -13 - b. Is s equal to 1/4?
False
Let m = 11 + -12. Let i = -30/17 - -176/119. Is m >= i?
False
Suppose -2 = -0*q + 2*q. Let x = -70 - -488/7. Which is smaller: q or x?
q
Let u(w) = w**2 - 9*w. Let n be u(8). Is 2 < n?
False
Suppose -5*a = 2*m + 2*m + 65, 2*a = -5*m - 60. Let c be 3 - ((-66)/m)/3. Is 0 not equal to c?
True
Suppose 0*g + g + 6 = 0. Let a be (-3)/9 + 4/g. Suppose -y + 1 = -2*b, 4*b + 3*y + 3 = 8*b. Is b less than a?
True
Let u = -2005/9 - -223. Let b be ((0 - -2) + -2)/2. Let w = b - 0. Is u <= w?
False
Let g = 0.3 + -0.32. Let q = -87 + 88.02. Let o = g + q. Which is smaller: o or -1?
-1
Let d = -7.8 - -7.7. Which is smaller: d or 10?
d
Let r = 0.01 + -0.07. Let t = -0.26 - r. Is t less than or equal to 1/2?
True
Let u = -2 + 2. Suppose 4*i - 5*i - 5*l - 22 = u, 2*l = i - 13. Which is bigger: i or 1?
i
Suppose -3*o + 7 = -4*o. Is o > 0?
False
Suppose 0 - 9 = -9*b. Are -2/59 and b nonequal?
True
Let g(s) = -3*s + 5. Let r(b) = -2*b + 3. Let c(w) = 3*g(w) - 5*r(w). Let x be c(0). Let o = 121/2 + -60. Does x = o?
False
Let b(d) = d + 2. Let p be b(-8). Let g be (-2 - -1) + (-4)/p. Let i = g - -7/12. Which is greater: 2 or i?
2
Let g be (-1)/2 - (-24)/240. Is -11 < g?
True
Suppose 4 = v - 5*v. Let g be 2*v*(0 - 1). Let a be 25/70 + (-1)/g. Which is bigger: -1 or a?
a
Suppose 5*m + 4*n = 35, -4*m + 6 = n - 11. Let t(s) = 8*s - 8. Let j(l) = -3*l + 3. Let h(y) = -11*j(y) - 4*t(y). Let r be h(m). Is 1 bigger than r?
False
Let d = -79 - -35. Which is smaller: d or -43?
d
Suppose -4 = -4*p + 3*g + 8, 5*p + 2*g = -8. Let t = 64/7 - 306/35. Is t equal to p?
False
Suppose 4 + 8 = x. Let m = x + -12. Let a = -293 - -3225/11. Which is smaller: a or m?
m
Suppose 2*y = -0*o - 4*o, 4*y = -o - 7. Let w be (4*(3 + y))/4. Let k = -63/236 + 1/59. Is k at least w?
False
Let w = -4 + 4. Suppose h = -4*k - 2*h - 21, -2*k + 4*h + 6 = w. Let t(x) = -5*x**2 + 2*x - 1. Let u be t(1). Which is bigger: k or u?
k
Let u(i) = -i**2 + 4*i + 2. Let b(c) = -c + 1. Let t = -4 + 1. Let s be b(t). Let r be u(s). Is 1 equal to r?
False
Suppose 0 = 5*n - 0*n - 25. Suppose 4*k + 0*t - 3*t = 9, -4*t = n*k + 12. Let h be (1 - k) + (-3)/9. Which is smaller: 1 or h?
h
Let q be 52/(-195)*10/4. Let y = -3.4 + 0.4. Let c = y - -4. Which is smaller: c or q?
q
Let n(b) = -b**3 - b**2 + 3*b + 1. Let c be n(-2). Which is smaller: c or 2/15?
c
Let p = -18 - -21. Which is greater: p or -9?
p
Let u = -23 - -20. Suppose -5*o - 40 = -o. Let s be o/(-6) + 2/u. Which is greater: 0 or s?
s
Let w = 0.3 + 0. Which is bigger: w or 1?
1
Let l = 3 - 5. Let m be (5/5)/(-1 - l). Suppose -j = -2*j. Is m bigger than j?
True
Suppose -5*a + 8 = -a + 2*w, 2*a = 2*w + 16. Let m be 2/a*8*-1. Is -4 less than m?
False
Let x(o) be the first derivative of 7*o**3/3 + o**2/2 - 16*o - 1. Let c(b) = -6*b**2 - 2*b + 15. Let n(t) = 6*c(t) + 5*x(t). Let l be n(-8). Is l > 1?
True
Let c be 3/((-5)/(-10)*12). Which is smaller: c or 3/2?
c
Let j(t) = -4*t - 4*t + 2*t**2 - 1 - 3*t**2 + 4*t. Let c be j(-3). Is c greater than or equal to -0.1?
True
Suppose 0 = 2*q + 2 - 12. Let w = 3 - q. Let u(o) = -2*o**2. Let x be u(1). Are x and w nonequal?
F