7. Is a less than or equal to x?
False
Let s = -2.1 - -2. Let x = -8/13 + -2/39. Is x at least as big as s?
False
Let n = 0.012 - -0.088. Which is bigger: n or 23?
23
Let l = 0.08 - 2.08. Let h = 1 + l. Are h and 3 equal?
False
Suppose 0 = w + 2*k - 4*k - 8, -3*k = -6. Which is greater: w or 13?
13
Let t(r) = -r**2 + 12*r + 3. Let k be t(12). Is 4 < k?
False
Let h = 3 - 47. Let u = h + 45.9. Let j = u + -2. Is j <= 1?
True
Suppose -3*a + 10 = 4. Let o(i) = -3*i + 13. Let j(d) = 7*d - 26. Let q(f) = a*j(f) + 5*o(f). Let z be q(12). Which is greater: z or 0?
z
Let t = 11.71 + -12. Let x = t + 0.09. Let z = 3.7 + -4. Is x equal to z?
False
Let b be -2 - (-24)/13 - (-24)/(-182). Let l = 0 + 0. Which is smaller: b or l?
b
Let o = -169 + 8. Is -161 < o?
False
Suppose -3*u = -3*s - s - 14, 5*s + 6 = -2*u. Suppose 7*j + 35 = u*j. Which is smaller: -6 or j?
j
Suppose -3 = -2*c + 3*c. Let s be 1 - (-3 - c - -6). Is -4 >= s?
True
Suppose -2*x + x - 3*h = 1, -36 = -3*x + 4*h. Let m = x + -5. Are 4 and m unequal?
True
Let g = -4 - -11. Let o = -4 + g. Which is bigger: 5 or o?
5
Let r be (-2)/(-19) + 330/114. Which is greater: r or 1?
r
Let u = 0.1 - 0.2. Let o = 7.9 - 8. Is u less than o?
False
Let x = 88 - 89. Does x = -1?
True
Let y be (60/(-25))/((-3)/(-10)). Suppose 2*w = 4*j + 38, -2*j - 4*w + 13 = -3*j. Is j > y?
False
Let d be (-58)/18 + (-2)/(-9). Let b be (-1 + (-3)/(-6))*-6. Let u = -6 + b. Is d != u?
False
Suppose g + 5*h + 90 = 0, 5*g + h + 135 + 267 = 0. Let n be g/(-30) + (-1)/(-3). Which is smaller: n or 4?
n
Let n = 102 + -111. Which is smaller: 2 or n?
n
Let y = -0.46 + 2.36. Which is smaller: 0 or y?
0
Let o = 428678/7 - 61118. Let j = o - 122. Let h = j + -1/21. Are h and -1 non-equal?
True
Let h(x) = -x**2 + 10*x + 2. Suppose -4*z = -2*m + 40, -4*m - z + 15 = -2*m. Let k be h(m). Suppose 3*t + 4*p = 20, -p + 4 = -k*t - 1. Is t bigger than -2/7?
True
Let m = -4 - -13. Let s = m + -1. Is 9 at most s?
False
Let q = 991/425 - 41/17. Is q >= 0?
False
Let k(o) = o**3 - 3*o**2 + o. Let g be k(1). Let z = 0.03 + 0.97. Let y = -0.9 + z. Is g bigger than y?
False
Let o(f) = -f**2 - 3*f + 3. Let m = -4 + 1. Let s be o(m). Suppose y = -s*y. Is y less than -2/11?
False
Let a be 324/785 + (-50)/125. Which is greater: a or 0?
a
Suppose g = -0 + 3. Let w(p) = p**3 + p**2 - p + 2. Let l be w(0). Is l <= g?
True
Let t be (44/(-8))/(2/(-4)). Suppose -3*b + 14 = -5*c, 0*b - t = 2*c - 3*b. Is -1 less than or equal to c?
True
Suppose -2*q - 3*q = 5, -4*i = -5*q - 121. Suppose -d = -4*y - 6*d + i, -3 = -y + 3*d. Is y < 7?
True
Let j = -12 + 16. Is 6 bigger than j?
True
Let l be 2 - (7 + -1 - 1). Suppose 5*u - 4*x = 5, -2*u - x = u + 14. Do u and l have the same value?
True
Let k = 39 + -36. Do k and 3 have the same value?
True
Suppose 0 = v - 6 + 1. Suppose 4 - v = -s. Which is greater: 2 or s?
2
Suppose 2*m - 4*m - 5*t = 2, 2*m + 2 = -t. Let w = 1 + m. Which is smaller: 2 or w?
w
Suppose 4*l - 3 = -31. Let n = 7 + l. Is n less than or equal to 1?
True
Let s = 1 - 0. Let j = s - 0. Let p = -0.1 + 0.1. Which is greater: j or p?
j
Suppose 4*t = d + 14, -2 + 0 = -5*d + 2*t. Suppose -w - d*w - 6 = 0. Let a = -0.17 - -0.17. Which is smaller: w or a?
w
Suppose -2*o - 2*i = 3 + 1, 0 = i + 3. Suppose 3*n - o = -2*x - 3*x, 11 = -2*x - 5*n. Let q = 1.2 - 1. Which is bigger: q or x?
x
Let q(f) = f**3 - 3*f**2 + 2*f + 1. Let c be q(3). Is c equal to 4?
False
Let i = 4.169 - -0.031. Let k = -0.2 + i. Let q = k - 4. Which is smaller: 8 or q?
q
Let j be 1/(-3) + (-8)/(-6 - -2). Which is smaller: 2 or j?
j
Let p(y) = -22*y + 2. Let i(s) = s + 1. Let b(k) = -3*i(k) + p(k). Let r be b(-3). Let a = 374/5 - r. Is 2 smaller than a?
False
Let b be (-6)/(-10) + ((-447)/45 - -2). Is b at most -0.2?
True
Let y(m) = m**2 + 2*m + 2. Let a be y(-2). Let u(t) = t**2 + 2*t - 1. Let f be u(-4). Let z be a/f + 30/(-84). Is z < 0?
True
Let y(s) = s**2 - s - 1. Let k be y(-1). Let f be (-1)/((3/(-12))/k). Suppose 2*w - f + 5 = 3*z, 5*z = -4*w + 9. Which is smaller: -4 or z?
-4
Suppose -j + 2*w = 11, 0*j + 2*j + 14 = -4*w. Which is greater: j or -8?
-8
Let k = -10 - -18. Let a be 2/7 - (k - 8). Do a and -0.1 have different values?
True
Let q = -17/4 + 4. Let l be (-1*4)/2 - -3. Suppose 0 = -u - 0*u + l. Are u and q equal?
False
Let o = 16 + -3. Let z = 13 - o. Is z >= -2?
True
Suppose 2*w - 4*h - 10 = 0, 4*w = 3*w - 3*h + 10. Is w < 6?
False
Suppose d - 2*d = -3*f + 17, -f - 3*d = 1. Let m(r) = 2*r + 1. Let s(l) = -3*l - 1. Let k(h) = f*m(h) + 3*s(h). Let g be k(-4). Is -1 < g?
False
Let s = -185/22 - -17/2. Which is smaller: 1 or s?
s
Let x = -212/469 - 8/67. Which is bigger: x or -1/5?
-1/5
Let c(p) be the third derivative of -p**6/120 - 2*p**5/15 - p**4/8 - 4*p**3/3 - 9*p**2. Let i be c(-8). Is 16 equal to i?
True
Let q = 9/10 - 7/10. Which is smaller: 1 or q?
q
Let k be (-318)/102 - (-5 - -2). Which is bigger: 3/4 or k?
3/4
Let a = 19 + -20. Which is smaller: a or -5/3?
-5/3
Let o = 0.45 - -0.05. Let z = o - 1. Is 0.1 <= z?
False
Suppose 2*u + 2*u + 24 = 0. Let i be 10/u - 3/9. Is -1 < i?
False
Let x be (-9)/2*4/(-24). Let l be 17/33 - 6/33. Is x at most l?
False
Suppose -2*s + 36 = -54. Suppose -7*c + 2*c = -s. Let b be c/6*-2 - -2. Is -1 at most b?
True
Let q(o) = o**2 - 11*o + 1. Let v be q(11). Suppose g - v = -2. Which is bigger: g or 3/7?
3/7
Suppose 2 = 2*q - 4*q. Let h = -0.3 + -0.7. Let f = h - -4. Is f less than q?
False
Let n(c) = -c**3 - 5*c**2 + c + 5. Let m = 12 + -17. Let x be n(m). Which is smaller: -1/14 or x?
-1/14
Suppose 0*p + 3 = 3*p. Let w = -3 - -5. Which is greater: p or w?
w
Let p be 2 + -5 - 104/(-40). Suppose -3*d - 9 = -0*b - b, -5*b - 4*d - 12 = 0. Suppose -2*l = -b*l. Which is smaller: p or l?
p
Let s = -50/7 + 692/91. Which is smaller: s or -1?
-1
Let k be (1 + 0)/(2 - 3). Let p = -440347/4830 + 547/6. Let z = p + 1632/8855. Is z > k?
True
Suppose 31 = -2*t + 5. Let d = -8 - t. Is 5 >= d?
True
Let z(o) = -o**3 - 7*o**2 - 7*o - 5. Let l be z(-6). Let v be (0 + l)/1 + 0. Which is smaller: -2/33 or v?
-2/33
Suppose -5*z - 12 = -3*r + 16, z + 3 = -2*r. Let q = r + -1. Let k = 0 + 3. Which is smaller: q or k?
q
Let l = -1/152 + 11/456. Let x = l + 44/741. Are -1 and x nonequal?
True
Suppose -l = -3 + 5, -v - 3*l - 8 = 0. Suppose -2*k = -0 + 4. Is k bigger than v?
False
Let s = 0.53 - 0.23. Let j = -0.1 + 0.2. Let n = 0 - j. Which is bigger: n or s?
s
Let g = 1 - -3. Suppose -4*n + 5*v = 25, g*n + 3 = -2*v + 13. Which is greater: 1/4 or n?
1/4
Let f = 12431 + -260986/21. Let u = f + -24/7. Suppose -7 = 3*a - 4. Which is bigger: u or a?
u
Suppose -2*b + 4 = 2*b. Let w = -55/266 + -3/38. Is w not equal to b?
True
Let t = -25 + 19. Which is greater: -5 or t?
-5
Let s be 5/(7470/4494) - 3. Which is greater: 1 or s?
1
Suppose -2*o - o = -456. Let y be (-129)/o*(-6)/9. Let p = -6/19 + y. Is p not equal to 1?
True
Let p = -104/339 - 3/113. Is 53 not equal to p?
True
Let g(w) = -2*w + 2. Let n(v) = v**2 - 2. Let r be n(2). Let k be g(r). Let p be k*(9/6)/(-3). Is p != 0?
True
Suppose 12 = -4*d - z, 0 = 3*z - 2*z + 4. Let y be (-16)/(-10)*10/d. Let v = -5 - y. Is 3 smaller than v?
False
Let s(q) = -1. Let l(j) = -5*j + 4. Let k(y) = l(y) + 4*s(y). Let b be k(-1). Suppose 3*n - n = 5*f - 5, -5*f - 4*n = -b. Which is greater: f or 3?
3
Suppose 5*s = w + 3, -4*w - 9 = 2*s - w. Suppose a - 14 = -4*x + 3*a, -2*x + 5*a - 5 = s. Suppose x*o - 2*o = 6. Is o at least as big as 3/5?
True
Let j = -0.2 - -0.5. Let c = -0.3 + j. Let b = 0.2 + c. Is b smaller than 1?
True
Let j = -0.2 + -0.2. Let f = j - -1.4. Let w = -0.01 + -0.99. Which is bigger: f or w?
f
Let r = 1 + 7. Suppose -5*a + 12 = -r. Suppose -a*i = -3*c - 3, -3*c + 24 = 2*i + 3*i. Is i equal to 4?
False
Let l = -2.2 + 2. Let g = -3.7 - -4. Let q = l + g. Do q and 1/4 have the same value?
False
Let s be 4 + (3 - 2) - 1. Suppose s*j + 3*r = -2, 5*j - 3*j - 2*r = 6. Which is greater: j or 2?
2
Let v = 23473 + -2229913/95. Let o = -12/19 + v. Is 1 < o?
False
Suppose 3*q + 4 = 4*i + 13, -4*i + 12 = 4*q. Suppose -4*j + 3*v + 90 = i, 0 = j - 5*v - 0*v - 14. Let t be (3/(-2))/(j/(-32)). Is 2 at most t?
True
Let t be (-2)/9 + (-1992)/27. Let u be 74 - (-7)/((-140)/8). Let l = t + u. Are l and -0.1 nonequal?
True
Let d = 65 + -6