ual to 7?
False
Let n be (104/10)/(2/55). Let l be n/315 + 2/(-3). Let x = -2/45 - l. Which is smaller: x or -1?
-1
Let r(k) = k - 9. Let l be r(9). Suppose -4*f = -0*f - 5*h - 52, 12 = 3*f + 3*h. Let n be f/(-20)*10/(-28). Which is smaller: n or l?
l
Suppose 2*w + 3*w = 0. Suppose w = 2*b - 5*q + 12, 9 = b + 4*q + 2. Is -2 at most as big as b?
True
Let u(y) = -y**2 + 2*y - 9. Let d be u(0). Let z = d + 3. Is -4 at most z?
False
Let b(q) = -11*q**2 - q - 1. Let n be b(-1). Which is bigger: n or -10?
-10
Let y = -84 + 94. Is y > 11?
False
Let r = -8489/5 + 1692. Is r greater than or equal to -5?
False
Suppose 0 = 3*b + 4 - 16. Let p = 5 + b. Suppose -f + 5 - p = 0. Which is greater: f or -0.1?
-0.1
Let g = 8.81 + 0.19. Let s = -8.8 + g. Let f = -3.2 + s. Are 2 and f non-equal?
True
Let n = 27 - 30. Is n > -16/7?
False
Let p = 155 + -155. Which is smaller: p or 2/267?
p
Let f(x) = x**2 + 8*x + 8. Let y be f(-7). Suppose n - 2*n = -y. Let q be ((-9)/(-21) - 2) + 2. Is q less than or equal to n?
True
Let z = -15/209 - 9/19. Let v = -7/33 - z. Which is bigger: v or 1/4?
v
Let j = -0.24 + -0.06. Let o = 0.9 + -0.4. Let r = -0.5 + o. Is r greater than j?
True
Let j = -5.8 + -1.2. Let g = 6.7 + j. Let r = -2 + 3. Is r at least as big as g?
True
Let n(x) = -x**3 - 5*x**2 + 2*x + 10. Let h be n(-5). Is 2/5 equal to h?
False
Suppose 9*q = 4*q + 10. Let o be -2 + 8/(-20) + 4/10. Let i = q + o. Is -0.2 not equal to i?
True
Suppose -32 + 4 = -4*x. Do x and 7 have the same value?
True
Let h be (-3)/(-3) + -1 - 0. Suppose 5*t + 7 + 3 = h. Is -2 < t?
False
Let k be (-10)/(-35) - (-264)/7. Let t = 14 - k. Let p be ((-2)/(-6))/((-4)/t). Which is greater: p or 8/3?
8/3
Let a = -56 - -166/3. Let w = 0.1 - 1.1. Which is greater: w or a?
a
Let v = 0.07 + 0.03. Let a = v + 0.9. Is a at least 0?
True
Let m = -0.095 - 0.005. Is -59/5 at least as big as m?
False
Let c be 104/(-6)*(-102)/68. Which is smaller: c or 49/2?
49/2
Let h = 22 - 23. Which is smaller: -0.04 or h?
h
Suppose 3*o = -0*o. Let u = 3.8 - -0.2. Is o less than or equal to u?
True
Let v = 6 - 2. Let r(w) = -w**2 - 14*w + 21. Let t be r(-15). Let n be (v/t)/(22/(-3)). Is -1 at least as big as n?
False
Let q be (-1 - 1) + 0 + 1. Let x = 0 - q. Let n = 117/56 - 12/7. Do n and x have the same value?
False
Let x = -14/3 + 4. Suppose 0*i + 5*i + 10 = 0. Is i smaller than x?
True
Let u = 0 - 0.7. Let j = -1 - u. Suppose -4*t + 0*t = -4. Which is greater: j or t?
t
Let z(c) = -4*c**2 - 4. Let x be z(-3). Let a be (-12)/(-10)*x/(-12). Let i be (0/(-1))/(a/(-2)). Is i < 2/5?
True
Let b(r) = 0*r + 1 - 5*r - r + 3*r. Let s be b(2). Are -5 and s non-equal?
False
Let v be 0 - 2/1 - -1. Let z be 2 + v - 9/11. Suppose 4*u = -4*y - 3 - 1, -4*y - 11 = -3*u. Which is smaller: z or u?
z
Let m(t) be the third derivative of t**4/24 + 2*t**2. Suppose -5*y + 1 - 6 = 0. Let n be m(y). Which is smaller: n or -2?
-2
Let z(v) = -v**3 - 10*v**2 + 11*v - 3. Let h be z(-11). Which is bigger: h or -5/3?
-5/3
Let l be (-20)/11 + -5 + 7. Is l at most -1?
False
Let w = -6 + 6.02. Let r = w - -0.08. Which is greater: r or -0.2?
r
Let s(p) be the first derivative of -p**4/4 + 5*p**3/3 - p**2/2 - 2*p + 7. Let k be s(4). Which is greater: k or 0?
k
Suppose 1 = t + 6. Let j be t/10 - (-1)/2. Let h be (4/(-10))/(6/5). Do h and j have different values?
True
Suppose 0 = -3*o - 3, -3 = -4*z - 2*o - 3*o. Suppose 9 = -z*q - q. Let d = q - -3. Which is smaller: -3/5 or d?
-3/5
Suppose 0 = 5*l + 15, -3*p - p = l + 3. Suppose -2*i + p*i = -48. Suppose -4*u + 0*d + i = 3*d, -d + 13 = 3*u. Is 3 != u?
False
Suppose -10 = -2*y - 3*y. Let f = y - 3. Which is greater: f or 2/7?
2/7
Suppose -20 - 4 = 2*z. Is -14 at most as big as z?
True
Let l be 0 - (-2)/(-72)*-2. Which is smaller: l or 1?
l
Let y(w) = w**3 - 4*w**2 + 4*w + 1. Let h be y(3). Is h smaller than 2?
False
Suppose -5*y + 55 = -5*a, a - 55 = -4*y - y. Let s = y + -9. Suppose -m = s, 4*j - 2*m + 4 = 2*j. Is -1 at most as big as j?
False
Let u = -20 - -17. Which is greater: -0.1 or u?
-0.1
Let z(r) = -r + 5. Let v be z(4). Is v at most as big as -2/19?
False
Let z(l) = 5*l + 4. Let h be z(-3). Let b be ((-2)/(-6))/(h/(-3)). Which is bigger: -1 or b?
b
Let v = 287 - 409. Let u = v + 612/5. Let n = 1.7 - -0.3. Which is smaller: u or n?
u
Let c = 0.08 - 19.08. Let s = 18 + c. Is 8 at least s?
True
Let q = -22.09 + 22. Let s = -2.09 - q. Is s greater than or equal to -3?
True
Let x be (-30)/56 + (36/28 - 1). Is 17 <= x?
False
Let l be (-2650)/6664 - (-6)/12. Let t = 3/196 + l. Which is smaller: 0 or t?
0
Suppose c = 2*d + 2*c + 4, d + 20 = 4*c. Let p = -6 + 3. Let l = d - p. Is l >= -2/5?
False
Let i(y) = -2*y**2 - 2*y + 1. Let h be i(1). Is h greater than or equal to -3?
True
Let j = -43 + 80. Let i = j + -35.3. Let h = 0.3 + i. Which is greater: -2/7 or h?
h
Let n = 1.4 - 2. Is n != 1?
True
Suppose -3*y - 6*x + 11 = -11*x, -y + 5*x + 7 = 0. Is y smaller than 0.13?
False
Let c be ((-2)/(-8))/(3 + 19/(-8)). Let n be 0/(-1 - -2) + 1. Which is smaller: c or n?
c
Suppose -d = 3*m - m - 5, 2*m - 11 = 5*d. Let t = d - 0. Is -2/3 at least t?
True
Suppose -3*y - 20 = -8*y. Suppose -4*i + y = -0*i. Which is bigger: 2/13 or i?
i
Suppose 3*u - 12 = -4*h, 10 = 3*u + 5*h - 5. Which is greater: u or -4?
u
Suppose -5*o - x + 4 = 0, -3*o - 4*x = 4 - 3. Let l(m) = -m**3 + 7*m**2 - m + 7. Let t be l(7). Is o >= t?
True
Let o be (140/15)/(4/(-42)). Let z = o + 55. Let v = 213/5 + z. Is v != -2/5?
False
Let u(s) = -s + 3. Let j be u(2). Which is bigger: j or 1/112?
j
Let z(b) = -b**3 - 8*b**2 - 2*b - 18. Let v be z(-8). Are -28/9 and v nonequal?
True
Let p = 0 + -2. Which is smaller: -12/11 or p?
p
Suppose -8*m + 4*m = -24. Let y = m + -19/3. Do -1 and y have the same value?
False
Let b = -1/28 - 1/4. Which is greater: b or 0?
0
Let p = 13.1 - 13. Let t = 0.2 - p. Which is bigger: 0.05 or t?
t
Let z be (-32)/(-6) + (-10)/30. Suppose 3*x = -3*t - 2 + 5, -z*x = -t + 19. Let p be 9/6*8/3. Is p < t?
False
Let y(v) = -3*v + 7*v + 2 + v**2 - 2*v**2 + 3. Let s be y(5). Which is greater: 3/7 or s?
3/7
Suppose 3*p + 3 + 3 = 0. Which is bigger: 6 or p?
6
Let p be 1/((-24)/(-27) + -1). Let s be (-1)/(-1 + (-12)/p). Is 1 less than or equal to s?
False
Let g(j) = -j + 2. Let a be g(1). Which is greater: 2/29 or a?
a
Let j(u) = -u - 1. Suppose -2 - 14 = 4*c. Let m be j(c). Suppose 2*r = m*r. Which is smaller: r or 2?
r
Let b = -0.12 + 1.12. Is -7 less than b?
True
Suppose 3*c = 5*u + 1, u + 1 = 4*c + 11. Let y be (0 - (-2)/(-4))*u. Let g be (-33)/(-45) - (-2)/(-6). Is g equal to y?
False
Let x be -2 - -1 - 1 - 3. Let u = 24 + -8. Suppose u = -0*a - 4*a. Which is bigger: x or a?
a
Let t = 0.12 + 0.02. Let p = t - 0.14. Which is smaller: 0.04 or p?
p
Let h(l) = -2*l**3 - 2*l**2 + 1. Let j be h(-1). Let n be -2*j*(-2)/5. Which is smaller: 1 or n?
n
Let b = -1 + -5. Suppose p + 17 = 3*z - p, 3*p - 17 = -4*z. Let q = z + b. Is q at most -4/7?
True
Let n = 7 + -4. Suppose -d - n*d = 0. Which is greater: d or -1?
d
Let a(d) = 9*d - 4 - d**2 - 3*d + 3. Let c be a(6). Which is smaller: -1/6 or c?
c
Suppose 2*n + 3 = -n. Let r = 2/833 - -41644/2499. Let v = r + -17. Which is greater: v or n?
v
Let u be 2 + 10/(-4) + 0. Is u <= 0?
True
Let y = 45469/4 + -11426. Let w = 58 + y. Which is smaller: -2 or w?
-2
Let h be ((-10)/(-45))/((-2)/(0 + -222)). Which is smaller: h or 26?
h
Let k be -4*(0 + (-1 - 0)). Let y be (k - (-1 + 2)) + -1. Which is smaller: 0 or y?
0
Let k(h) = 2*h**2 + 3*h + 1. Let n be k(-2). Suppose -n*r = r + 4. Is r bigger than 2/9?
False
Let m be (-6)/(-1)*(-4)/(-6). Suppose 0 = -z - z - m. Is -2 smaller than z?
False
Let t be 4 + 0 + (-36)/(-4). Is t < 13?
False
Let s(a) = 3*a - 1 + 0 - 2*a. Let g(f) = f**2 + f + 3. Let l(z) = g(z) + 2*s(z). Let y be l(-3). Are y and 1 equal?
True
Let f(r) = r**3 + 2*r**2 - 2. Let s be f(-2). Let z = 6.252 + 0.048. Let c = -6 + z. Is s at least as big as c?
False
Let k = 265 + -264. Suppose -55 = 2*s + 43. Let b = -143/3 - s. Do k and b have the same value?
False
Let w = 0.417 - -0.003. Let c = 0.5 - w. Let d = c - 0.18. Which is greater: 0.8 or d?
0.8
Let k = -2.9 + 17.9. Let d = k + -9. Let i be 3/(-9)*(3 - 0). Which is smaller: d or i?
i
Suppose w + 3*p - 2*p = 1, -5*p = -4*w - 23. Let s b