 = 2*m, -2*k + 3*m + 10 = m. Let n be 5*k*(-2)/(-140). Let t = 1 + 0. Is n less than or equal to t?
True
Suppose -24 + 4 = 2*h. Is -5 smaller than h?
False
Let v = -167.89 - -159.8. Let d = -0.09 - v. Which is bigger: d or -0.1?
d
Let n = -0.043 - 11.957. Is n >= 1/2?
False
Let a = -1 - 0. Let i = -1 + a. Which is smaller: i or -5/4?
i
Suppose 4*y - 17 = -4*p - y, -2*p + 2*y + 4 = 0. Let j be (-2)/(-6) + (-19)/p. Let o = -3 - j. Is o smaller than 4?
True
Let y be ((-4)/(-6))/(38/(-3)). Suppose 5*o - 14 = -3*m, 4*o = -5*m + 15 + 4. Which is bigger: o or y?
o
Let g = 0.06 + 0.04. Let h = 1.1 - g. Let z = -3 + 6. Which is greater: z or h?
z
Let c = -12.03 - -0.03. Is 1/4 < c?
False
Let b(o) = -o**3 - o**2 + o + 1. Let k be b(-2). Suppose 3*z + k*g = 30, 3*z - 2*g = -0*z + 30. Let q be (-4)/z*(1 - -4). Which is smaller: q or -4/3?
q
Suppose 2*k - 3*k = 8. Let l be (9/k)/((-6)/4). Is l < 2?
True
Suppose -16 = -5*u - 1, 0 = 3*d - u - 9. Is d not equal to 5?
True
Let r be -1 + 2*(-5)/(-10). Let v = 11/364 + -3/28. Which is smaller: r or v?
v
Let o(r) = -3*r - 2. Let v be o(-2). Suppose -2*q + v = -h - 1, -3 = h. Suppose -3*m + 4 = q. Which is greater: m or 2?
2
Let k be (-2)/(-9) - (-34)/9. Suppose -4*v + 8 = j, -v + j + 2 = k*j. Suppose -3*h - 1 = -l, -4*h = l - v*l + 2. Is -1 not equal to l?
True
Suppose -5*t = m + 2*m, 4*t = -m. Suppose 3*j + 12 = -m*j. Let p be (1 - 0)/(6/(-18)). Are p and j unequal?
True
Let m = -7/117 + -2/117. Which is greater: m or 1?
1
Let c be (-1)/(-3 - -2) + -5. Let b be 2/c - (-27)/6. Let h be (1 + 0)/(b/(-8)). Which is bigger: h or -3/5?
-3/5
Let b = 8 - 6. Suppose 6 = 4*c - 14. Suppose 4*j - 17 = -z, -c*j + b*z + 3 = -2. Are 2 and j equal?
False
Let r be (-51)/(-9)*(-3 - -6). Is r <= 0.1?
False
Let d = -10 - -10.1. Which is smaller: d or -5?
-5
Suppose 18 = -3*g + 6. Suppose t + 6 + 0 = 0. Let c = t - g. Which is smaller: -2/3 or c?
c
Suppose -21*g + 3 = -20*g. Is 2 <= g?
True
Let n = 4 + 3. Is n bigger than 2?
True
Let v(l) = 2*l - 6. Let i be v(4). Suppose -3*u = 1 + i. Let z(o) = -3*o**2 - 10*o + 5. Let j be z(-4). Is j equal to u?
False
Let p(t) = t**2 - 8*t - 11. Let f be p(9). Let j = f - -2. Which is greater: j or -3/5?
j
Let m = -0.888 - 0.112. Let j = 1 - 2. Is j != m?
False
Let f = -11806/16677 - -2/981. Which is bigger: -1 or f?
f
Let a(u) = -u**2 - 2*u + 1. Let o be a(-3). Let p be (o/3)/(2/3). Which is smaller: -2 or p?
-2
Suppose -2*i + 24 = b, 3*i - b - 26 - 20 = 0. Is i less than or equal to 13?
False
Suppose 2*n = -8 - 2. Let c(m) = -m - 4. Let i be c(n). Do 1 and i have the same value?
True
Let f = 3/14 - -9/7. Is -3 less than or equal to f?
True
Suppose 2*q + 33 = 3*i, 9 = i + 4*q - 16. Is -0.1 > i?
False
Suppose 5*l + 4*o = 6, 0 = -3*l + 5*o + 8 + 3. Let n be -2 - (-6 - l*-1). Suppose 4*t - 1 = 11. Is t < n?
False
Let v = -11581/33 - -351. Which is bigger: v or 1?
1
Suppose 0 = 5*l - 10 - 0. Let z be (-11)/(-5) - (-1)/(-5). Is z at least as big as l?
True
Let k = -0.01 + 0.17. Let p = 0.26 - k. Is p > 2?
False
Let d = 141 - 144.84. Let r = 0.04 + d. Let a = r - -0.8. Which is bigger: 1 or a?
1
Let u be ((-130)/(-40))/(2/16). Which is smaller: u or 27?
u
Let h be -3*(0 + 11/(-3)). Do 11 and h have different values?
False
Suppose -35 = -3*s + 8*s. Suppose -5*f + 4*j + 31 = 0, f + 4 - 3 = -j. Let n(i) = -i**2 + i. Let a be n(f). Do s and a have different values?
True
Let o be ((-6)/(-9))/(10/15). Which is smaller: o or 3/16?
3/16
Let m(w) = 7*w**2 - 5*w + 3. Let a be m(3). Let l be (-4)/a*9/6. Suppose -2*q = -4*q + 2. Is l not equal to q?
True
Let v be -2 + 1369/(-7) + 1. Let y = 197 + v. Let z = -1.1 - -1. Is y bigger than z?
True
Suppose -25*q + 37 + 238 = 0. Is 8 less than or equal to q?
True
Suppose 19*a = 15*a + 172. Is a > 42?
True
Let x(s) = -s**3 + 6*s**2 - 4*s - 3. Let j be x(5). Suppose -1 = -t + v, 5*v - 8 = t + v. Suppose c = -j*p + 5 + 1, t*c = p - 3. Is 0 smaller than c?
False
Let k = 406 + -423. Let t = 24 - 42. Is k bigger than t?
True
Suppose -2*c - 49 + 15 = 0. Let q = c + 16. Is -3/8 equal to q?
False
Let c = -32/29 + 178/319. Let g(m) = m**2 + 10*m - 1. Let b be g(-10). Is b smaller than c?
True
Let p = -4 - -7. Suppose -3*g + 4 = -2*z, -4*g - z = 2*z - 11. Suppose -g*q = q + p. Are -1/9 and q equal?
False
Let o = 7.4 + -5.4. Let t be 1 - 3 - 12/(-1). Suppose -2*y - t = -3*z, -z - 6*y = -y + 8. Is z at most as big as o?
True
Let f = -4 - 6. Let h be (-27)/(-45) - 44/f. Which is smaller: h or 9/2?
9/2
Let m be (-45)/(-20)*(-16)/(-6). Is m greater than -1?
True
Suppose -u + 2 - 1 = 0. Let v be u/((-2)/(1 + -2)). Which is smaller: v or 1/3?
1/3
Let b = 45 + -47.1. Let g = b - -2. Which is smaller: g or -0.2?
-0.2
Suppose 0 = 4*l + 2*m - 3*m - 5, 4*l = -4*m. Which is bigger: 1/4 or l?
l
Let c be -2*(3 + (-65)/22). Which is bigger: 1 or c?
1
Suppose 5*x + 24 = 4. Is x at least -4?
True
Let j(i) = -i**2 + 5*i + 6. Let r be j(6). Suppose r = -4*p + 16, 0 = -v - 4*v + 5*p - 15. Which is smaller: -1.4 or v?
-1.4
Suppose -8 = -4*c + 4*t, -2*t - 3*t + 8 = 4*c. Suppose -3 = -c*q - q. Let n be (-1)/2 - q/(-2). Is 2/3 equal to n?
False
Let j = -1122/7 - -160. Let f = -1 - 0. Is j at least as big as f?
True
Let n(y) = -6*y. Let p be n(1). Let h be (-3)/p*(0 - 0). Suppose -2*g + 2 = -2*z, -3*g + 5*z = 3*z - 1. Which is smaller: h or g?
g
Suppose -27 = -h + a + 11, 0 = -2*h - 5*a + 55. Let p be (-6)/h + (-4)/10. Let n(k) = -k**2 - 3*k - 2. Let t be n(-1). Which is bigger: t or p?
t
Let p = 9 - 7. Let x be (-74)/112 + p/7. Is 1 >= x?
True
Suppose -2*h = 5*b + 34, -2*b = -2*h - b - 10. Which is smaller: h or -8?
-8
Suppose -5*i - 2*m + 5 = 10, 2*i = -3*m - 2. Is i at most -1/81?
True
Let t = 15 - 9. Is t smaller than 19/4?
False
Let q = 2662/3 + -897. Let b = -10 - q. Let c(m) = -29*m - 86. Let v be c(-3). Which is smaller: v or b?
b
Let u = 12 - 6. Let r be (-182)/u + (-2)/3. Let q = 281/9 + r. Is q < -1?
False
Let h = 71 - 45. Suppose -z - h = -5*f, -3*z + 4*f + 17 = 8*f. Let y be z/(-5) + (-4)/(-10). Do 1 and y have the same value?
False
Let g = -15 - -8. Let y(h) = h**3 + 7*h**2 - 9*h + 2. Let c be y(-8). Let f = c + g. Which is smaller: f or 1?
1
Suppose 3*h - 6 = -b, -2*h + 2 + 2 = -4*b. Let t be 0 + 1 + (-2 - b). Which is smaller: t or 2?
t
Suppose -60*p = -64*p - 140. Which is smaller: p or -31?
p
Let y = -188.9 + 189. Let b be 14/18 + 4/(-8). Let v = -2/9 - b. Is v equal to y?
False
Let s = 1 + -1. Let r = -2642/11 + 240. Which is bigger: s or r?
s
Let z(o) = 3*o**3 - 10*o**2 + 4*o - 9. Let c(u) = 16*u**3 - 49*u**2 + 21*u - 44. Let g(w) = 2*c(w) - 11*z(w). Let t be g(12). Is -13 <= t?
True
Let w = -21.38 + 21. Let t = 0.4 + w. Is -0.2 > t?
False
Let y = -613/12 - -51. Which is smaller: 0 or y?
y
Let l = 0.3 - 0.1. Let j be 1 + (-1 - (-2)/(-11)). Which is bigger: l or j?
l
Let l(i) = i - 4. Let a be l(5). Let x be (-318)/(-56) - a/4. Let k = x + -660/119. Is -1 < k?
True
Let b = -63 - -61. Which is smaller: -18 or b?
-18
Let b(z) = -3*z**3 + 2*z**2 - 2*z + 1. Let c be b(1). Which is smaller: c or -12/5?
-12/5
Let n be (-9)/(-3) - -1 - 1. Suppose n = 2*v + 7. Let q(c) = c**2 + c + 1. Let u be q(v). Which is greater: u or -2?
u
Let u = -1/391 - 3901/3519. Which is greater: 0 or u?
0
Suppose 0 = 4*d + 35 - 7. Suppose 5*v + 13 = 4*n, -2*n - 3*n = -5*v - 10. Let q = v - d. Which is greater: 1 or q?
q
Suppose -t - 2*t = -15. Let y be 6 + -2 - (t + -2). Let g be (y/(0 + -1))/1. Which is smaller: g or 0?
g
Let l(h) = 7*h + 7. Let z be l(-1). Is -3 >= z?
False
Let m be (-3 - (-2 - -2)) + 13. Suppose m = -5*g, -4*x + 2*g + g + 2 = 0. Is -2 bigger than x?
False
Let t be (-334)/6*(-15)/(-10). Let n = -91 - t. Is -8 < n?
True
Let f be (5 + -4)/((-1)/(-3)). Suppose -6*z = -z - f*h - 3, -4 = 4*z - 4*h. Suppose -5*n - 5*d + z = -2, 2*n + d = 0. Which is smaller: n or -2?
-2
Let n = -16 + 6. Let x(i) = 7*i + 10. Let j be x(-3). Which is greater: n or j?
n
Let g be 296/(-4066) + 1 + -1. Let l = g + -26/107. Let s = l - 27/95. Is -0.1 less than or equal to s?
False
Suppose -4*v - 3*j = -4, 2*v + 2 - 4 = 4*j. Suppose 4*z - 16 = -2*t + 6*t, 5*z + 12 = -3*t. Let b be (v + -3)*(-2)/t. Which is greater: b or -2?
b
Suppose -2*t = 15 - 3. Let j be t/21 - 64/(-126). Which is smaller: j or 4?
j
Let m = 0.32 + -0.32.