7.1. Which is smaller: a or -1?
-1
Let a(b) = b**2 - 10*b - 9. Let r be a(11). Is 2 <= r?
True
Let k be ((-3)/2)/(45/300). Do -8 and k have different values?
True
Let p be (-15)/2*1/10. Let u = 0 - 5. Let a(l) = l + 5. Let c be a(u). Is p at most as big as c?
True
Let i = -1.9 - -2. Suppose 4*j - 2*z - z = -9, 2*z = 6. Suppose -b - 2*b - 12 = j, -5*h = -5*b + 15. Is i != h?
True
Let m(l) = l + 8. Let n be m(-6). Let j(d) = -2*d + 2. Let p be j(n). Suppose -5*h + 25 = 0, -1 = 5*c + 4*h - 11. Is c less than p?
False
Let q be 140/(-77) + (-2)/11. Is q >= -7/5?
False
Let j = 0.06 - 0.01. Let a = -0.05 + j. Let r = 8/13 - 27/65. Which is smaller: r or a?
a
Suppose -4*n + 5*r + 322 = 7*r, -4*r + 170 = 2*n. Let l = n - 311/4. Suppose b - 3*b - 2*k = -6, 5*k = 4*b - 3. Which is smaller: l or b?
l
Suppose -2*z = -2*q + 14 + 4, -5*z + 2*q = 39. Let x = -5 - z. Is 0 bigger than x?
False
Let r be (3/(-2))/((-1)/2). Suppose -1 = -r*q + 2. Is q > 2?
False
Suppose -2*m - 98 = -0*f + 3*f, 31 = -f + m. Let i = 22 + f. Let o be (-10)/(-14)*4/i. Which is smaller: 1 or o?
o
Suppose c - 103 = -4*g - 4*c, 38 = 2*g - 2*c. Let a = 23 - g. Is a at most as big as 4/7?
False
Suppose -56 = -3*u + 4*h, 5*h = -2*u - u + 38. Let a = u - 8. Let i be (-166)/(-18) + 10/(-45). Are i and a unequal?
True
Suppose 4*z - j = -0*z - 6, -1 = 5*z + 2*j. Let c be (6/3)/(z/1). Is 2 > c?
True
Let o be (-41)/(-10) + 32/(8/(-1)). Is o greater than or equal to 2/7?
False
Let c = 18.84 - -0.16. Let i = c - 20. Suppose -3*h - 1 = 4*w, 0 = 2*h + w - 5*w - 6. Which is smaller: h or i?
i
Let m = -25/13 + 323/195. Let a = m - -1/15. Suppose o = 5*b + 5, 5*b + 2*o + 3*o - 25 = 0. Is a greater than or equal to b?
False
Let j = -3 - -2. Let m be (-42)/(-245) - 4/14. Let w = m - -122/455. Is j > w?
False
Let u be (14/(-12))/(15/27). Let z = 17/10 + u. Suppose 15 = 5*d + 10*d. Which is smaller: d or z?
z
Let g be -4*(-10)/(-4)*(-14)/4. Is 35 at most as big as g?
True
Let n = 0.9 - -0.1. Let t = n + -2. Let p = -46/87 + -4/29. Which is smaller: p or t?
t
Suppose y - 2 = 2*y. Let i = -11 - -81. Let t be 4/2 - i/25. Which is bigger: y or t?
t
Suppose 2*k = -4*o + 2, 0*o - o + 28 = -5*k. Let z = 1 + 1. Do z and o have the same value?
False
Let o be (-4)/(-4) - 5/(5/(-68)). Are 1 and o nonequal?
True
Suppose -4*a = -0*a - 5*d - 22, 5*a - 38 = d. Is a smaller than 9?
True
Let q be 9/6*(-6 + (-2)/(-1)). Which is smaller: q or 11?
q
Suppose -15*r + 40 = -10*r. Let f be (-1)/(((-20)/r)/5). Which is bigger: 4 or f?
4
Let c(m) = 4*m + 21. Let l(d) = -2*d - 11. Let f(s) = -6*c(s) - 13*l(s). Let k be f(-9). Which is greater: 1/27 or k?
1/27
Let r(v) = -3*v**2 + 14*v - 10. Let q be r(10). Let j = q - -4421/26. Is j bigger than 1?
False
Suppose 2*v - 4 = 4*r, -3*v + 1 = -11. Is 2/49 >= r?
False
Let o(i) = 2*i - 22*i**2 + i - 3 + 21*i**2. Let z be o(4). Is -7 smaller than z?
False
Let v be 4/(-27)*90/(-12). Which is greater: v or 0?
v
Let c = 2/33 - -7/66. Let n be 98/36*(-3)/2. Let v = 13/3 + n. Which is smaller: c or v?
c
Let n = 27/44 + 1673/572. Let q = 1360/377 - n. Is -1/2 < q?
True
Let f be (4 + -4)/((-1)/1). Which is smaller: -2 or f?
-2
Let k = 4 + -46/11. Let g(v) = -v**3 + 2*v**2 + 3*v. Let c be g(3). Does c = k?
False
Let b = -5.08 - -5. Let n = 0.08 + b. Which is bigger: n or -1?
n
Let j = -184 - -923/5. Which is bigger: 1/2 or j?
j
Let x = 1 - 0. Let c = 1.12 - 1.2. Let w = -0.18 - c. Which is bigger: x or w?
x
Suppose 2*q + 2*s = 4*s - 12, -5*q - 21 = -2*s. Is q bigger than -3?
False
Let n = 11 - 7. Suppose -6 - n = 5*c. Is c equal to 2/9?
False
Let k be 2/(-2 + 3) - -23. Let a = -53 - -77. Is k greater than or equal to a?
True
Suppose 2*x = -5*v + 28, -3*v + x - 2 = -10. Suppose -2*j - 3*j = -30. Suppose 3 = -q + j. Which is bigger: q or v?
v
Let x = -61 - -131. Does 71 = x?
False
Let x = -3 + 2. Which is smaller: -15 or x?
-15
Suppose 2*v - 2 = 4. Suppose 0*y - 5*h = -y + 24, v*h = -2*y - 4. Are 5 and y unequal?
True
Let s = 4 + -5. Let y = s + 0.9. Let r = 1/28 - -13/28. Is y greater than r?
False
Let q be (-204)/21 + (-4)/14. Let x = q + 16. Is 7 > x?
True
Let d = -39 + 34. Is -36/7 at least d?
False
Suppose 2*d + 2 = 4*v, 5*v + 3*d - 1 = 7*d. Suppose n = m + 2, 3*n = -m + 5 - 23. Let b be m*(-1)/(21 - 0). Is b at least as big as v?
False
Let z be 2/(-20)*24/(-42). Are z and -1/2 equal?
False
Let p = 27 + -22. Suppose 3*n = 2*j - 6, 14 = p*j - j - 5*n. Which is bigger: 4 or j?
j
Let f = 5 + -1. Suppose f*d = 5*d + 1. Let z = 42 - 128/3. Is d bigger than z?
False
Let s = -10 - -29. Is 20 equal to s?
False
Suppose -2*y + 40 = 6. Suppose 5*t - 8 - y = 0. Suppose 4*m + 1 - t = 0. Which is smaller: 2/7 or m?
2/7
Suppose -2*m = 2*m - 4. Suppose -5*v + 2*g + 7 + 3 = 0, 3*v - 5*g + 13 = 0. Suppose -3 = -v*q - 5*a - 24, 0 = -5*q + 4*a + 25. Is q != m?
False
Suppose 5*y + 6*y - 3*y = 0. Is y at least -1/41?
True
Let t be (-3)/2*(-26)/(-39). Is t < 2/17?
True
Let u = -4.06 - -4. Let q = u + 0.12. Let z = 0.04 + q. Which is smaller: -0.2 or z?
-0.2
Let u(y) = y - 5*y - 3*y + 9. Let r(i) = 3*i - 5. Let p(k) = -9*r(k) - 4*u(k). Let n be p(-9). Which is bigger: 2/7 or n?
2/7
Let h be (-1 + 2)/(4/7). Is 2 bigger than h?
True
Let s be (64 - 9)*(-1)/(-3). Suppose 0 = -4*l - 3*n - 57, -4*l - 5*n = 25 + 22. Let a = s + l. Is a greater than or equal to 3/2?
False
Suppose 3*s = -5*r - 22, -s + 8 = 2*s - r. Let w = -2 + s. Let d = -2 + 1. Is w less than or equal to d?
True
Let s = -1 + -3. Let l = -6 - s. Let z(n) = -n - 1. Let r be z(l). Is r >= 0?
True
Let m = -37230/41 - -908. Which is greater: m or 0?
0
Let g be 136/186 + (-4)/6. Do g and 0 have the same value?
False
Let b be (-1 + 4)*378/14. Let a = b - 245/3. Let o be 11 - (4 - 2)/1. Is a less than or equal to o?
True
Suppose 0 = 3*k + 48 + 15. Which is smaller: -20 or k?
k
Let r be 8*(-2 + (-15)/(-6)). Suppose -2*x = -6*x + r. Which is bigger: x or 3?
3
Let q = -4 - -11/3. Which is greater: q or -5?
q
Suppose -v = 2 - 1. Let s = 1/10 + -27/70. Are v and s unequal?
True
Let i = 10 - 7. Let j be (i - 0) + 5/(-10). Which is bigger: j or 2?
j
Let m = 4 + -7. Suppose -f = -4*p + 4 + 10, 2*f + 3*p = 5. Let t = f + 0. Is t greater than or equal to m?
True
Suppose -5*w - 3*l - 1 = 44, -w = -4*l - 14. Suppose -d = -5 + 14. Let p be (w/d)/(5/(-3)). Is p at most as big as 0?
True
Let b = -0.71 + -7.29. Which is greater: b or 2?
2
Let r(k) = -k**3 + 2*k**2 - 2*k + 3. Let d be r(2). Let l = 2341 + -131133/56. Let v = l - -3/8. Which is smaller: v or d?
d
Let r = -1258/5605 + 12/59. Which is smaller: r or 0?
r
Let w(u) = -u - 4. Let n be w(-4). Which is bigger: 2/27 or n?
2/27
Let w = 2876/105 + -82/3. Is w less than -1?
False
Let p = -5 + 5. Which is greater: -2/83 or p?
p
Suppose 2*g = -2*g - 4. Let v be 11/6 - (g - -2). Let o = -1/3 + v. Which is greater: o or -1?
o
Let j = 17/999 + 1/27. Which is smaller: 2/5 or j?
j
Let w = 3.04 - 0.04. Let p = w + -2.8. Let j = 23 - 24. Which is greater: j or p?
p
Let r = -23.58 + 23. Let h = 4.48 + r. Let z = 4 - h. Which is smaller: -1/5 or z?
-1/5
Let n be (-4)/(-10) - (-12)/20. Which is smaller: 2 or n?
n
Let q = -7.5 - -7.54. Is 3 equal to q?
False
Let k = 5.6 + 2.4. Which is smaller: k or 1?
1
Let c(s) = -s**3 + 5*s**2 + 4. Let b be c(5). Suppose 6*y - b*y = 0. Which is greater: y or 2/9?
2/9
Let p = -6 + 16. Let a = p - 9. Which is smaller: a or 2/9?
2/9
Let s be ((-30)/(-4))/(-5)*(-4)/6. Which is smaller: s or -3/14?
-3/14
Suppose 4*x = -0*b - b - 6, 0 = -5*b - x - 30. Suppose -2*d + 14 = -2*s, 5*d + 0*d + 19 = -4*s. Is s != b?
False
Let p be (-2)/21*-3*-1. Does 0 = p?
False
Let u = -3 - -8. Let g be (1/(-1) - 92) + 3. Let h be (u/g)/(1/(-3)). Is 1 != h?
True
Let d = -34 - -38. Let q be 4 + (2 - 1)/(-1). Suppose 1 = d*j - q. Which is smaller: 1/8 or j?
1/8
Let p = -0.4 - 0.6. Which is smaller: p or -6?
-6
Let d = -0.1 - 0.1. Let m = 0.2 + d. Which is smaller: -0.5 or m?
-0.5
Let q be 4 + (-1)/1 - -10. Suppose 3*w - q = 20. Is w smaller than 12?
True
Let d(o) = o - 3. Suppose -2*c + 17 - 3 = 0. Let n be d(c). Is 4 greater than n?
False
Let w be 11/((-6)/10 + (-24)/(-60)). Is w > 2?
False
Let f = 0.4 + -2.4. Is f at least as big as -0.1?
False
Let a be (4/5)/(4/30). Let p(r) = r**3 - 11*r**2 - 30*r + 58. Let g be p(13). Are a an