 16 = 3*z - 8*f, -3*z - 5*f = 4. Are u and z nonequal?
False
Suppose 2*t - 1 - 7 = 0. Suppose 5*u - 2*y - 35 = y, 5*u = 4*y + 40. Is u > t?
False
Let q be (4/(-6))/((-2)/(-6)). Let l(k) = -k**2 + 3*k + 1. Let t be l(3). Let s be -6 + (5 - (t - -1)). Are s and q equal?
False
Let z = -1.27 + 0.52. Which is smaller: z or 1?
z
Let d = 0.22 - 0.12. Is 0.1 at least as big as d?
True
Suppose 0 = -5*b - 4*t, 2*b - 2*t + t = 0. Let r be (-12 - 0) + 1 - b. Let x be (-2)/(-11) + 79/r. Are -6 and x nonequal?
True
Let f = 94.3 - 94. Is f less than or equal to 11?
True
Let m be (-3 - (-6 + 4))*-6. Which is smaller: 3 or m?
3
Let k = -5.4 - -6.1. Which is bigger: k or -0.6?
k
Let u = 16 - 9. Let j = -6.8 + 13.5. Let n = u - j. Is 2/5 less than or equal to n?
False
Let z be (43/5)/(2/10). Is z > 43?
False
Let s(o) = 4*o + 3. Let v be s(-18). Is -68 equal to v?
False
Suppose 0*b = b + 6. Let q be 5/11*16/(-20). Let m = 19/22 + q. Which is greater: m or b?
m
Let k(v) = v**3 - 10*v**2 + 10*v - 4. Let u be k(9). Suppose -2*m + u = -m. Which is greater: 7 or m?
7
Suppose -g = -2*v + 2, 4*v + 0*v - 5*g = 10. Which is bigger: v or -1/2?
v
Let q = 8 + -9. Let p = -0.5 + 3.5. Let k = p + -2. Which is greater: q or k?
k
Let v(z) = -z**3 - 4*z**2 + 6*z + 7. Let o be v(-5). Is 2 at most o?
True
Let t = 6 + -7. Let c = -4.4 + 4. Let u = c + 0.5. Is t > u?
False
Let a(k) = 5*k - 6*k + 0*k - 6. Let s be a(-4). Suppose 0*n + 2*h = -5*n, 13 = -n - 3*h. Which is smaller: s or n?
s
Suppose -4*t - 2*g = -3*t - 23, 3*g = -4*t + 72. Which is greater: 72/5 or t?
t
Let a = -0.05 - 0.25. Is -7 at most a?
True
Let k be ((-1)/(-1) + 0)*-55. Let x be 2/11 - 650/k. Let j be 1*x/(-9) + 1. Is j at most as big as 0.3?
True
Let s(y) = 3*y - 6. Let l be s(5). Suppose l*o - 14*o = -30. Let j be (2/6)/(-3 + o). Is j greater than or equal to 0?
True
Let v(y) = 64*y - 9. Let m be v(-1). Is m < -73?
False
Suppose 0 = t - 2*t. Suppose -3*j - 3 = t, -n = -3*n - 2*j - 2. Which is smaller: n or 4/9?
n
Let p = -0.7 - -0.76. Let m = -179.94 - -182. Let v = m - p. Are 2/5 and v unequal?
True
Let r be 2/(-3) - 11/(-12). Suppose -5*q - 45 = -10*q. Let o be (q/12)/((-90)/16). Which is greater: o or r?
r
Let n = 4 - 5. Let z = 3 + -3. Which is bigger: z or n?
z
Suppose -8 = 5*m - 4*i, -i + 4 = -m + i. Suppose -5*a + 40 = -5*u, 2*a + a + 3*u = m. Are a and 2 unequal?
True
Let d = 2 + -2. Let w = 0 + d. Which is greater: -2 or w?
w
Let s = -480/323 - -26/19. Which is smaller: s or 2/5?
s
Let y = -1 - -14. Let r = 12 - y. Let b be 10/(-24) - (-6)/9. Which is smaller: r or b?
r
Suppose 0 = 3*y - 4 - 5. Let j = -3 + y. Suppose j = z - 0 + 1. Which is bigger: -5/4 or z?
z
Let w be 0/(2 - (-1 + 5)). Let a = -27 + 26. Is a bigger than w?
False
Let x = -101 + 105. Let j be (-2 + 1)/(4/(-16)). Is j less than x?
False
Suppose g - 13 = r, r + 10 = 2*g + 3*r. Let o = g + -7. Suppose 0 = -2*f - 2*n + o, 2 = -5*f + n + 1. Does 0 = f?
True
Suppose 18 = 6*d - 12. Suppose 0 = -2*m + 4*m. Let c be m + 1 + 15/3. Is d greater than or equal to c?
False
Suppose 0*g + 2*g + 4 = 0. Are -2 and g nonequal?
False
Let y = -0.01 - 0.89. Let s = 0 - -0.1. Let k = y - s. Which is bigger: k or -2?
k
Let u(y) = 2*y**2 - 4*y - 3. Let f be u(-2). Let l = -9 + f. Which is greater: 1 or l?
l
Let c be 4/18 + 332/(-36). Let w(d) = -d - 8. Let g be w(c). Let p = g + 0. Which is smaller: p or 0?
0
Let z = 19 - 11. Let g be 2 - (z/1 - 2). Let p(t) = t**2 + 4*t + 1. Let q be p(g). Is q less than or equal to 2/9?
False
Suppose 0*b + 3 = -3*b - 5*v, -5*b + 14 = 2*v. Which is smaller: b or -4?
-4
Suppose 48*h = 51*h + 3. Is 3/52 > h?
True
Let d = -2 - -4. Let r be ((0/(-1))/2)/1. Let o = d - r. Is o smaller than 2?
False
Let i be 0*((-2)/2 - -2). Is -5/6 at least as big as i?
False
Let z = -20 + 20.05. Let g = -0.25 + 0. Let b = g + z. Is -3 at least b?
False
Let b = -3 - -2. Suppose a + 5 = 5*a - 3*n, -5*a + 2*n = -15. Let p = 5 - a. Is p at least as big as b?
True
Let h(v) = v**3 - 10*v**2 - 12*v + 8. Let x be h(11). Let q(u) = -u - 2. Let p be q(x). Which is smaller: 0 or p?
0
Let f be (-4)/(-84)*15*6/5. Which is bigger: f or 0?
f
Suppose -5*x - 4*q - 11 = -0*q, 0 = 2*x + 4*q + 14. Let f = -2533/8 + 317. Which is smaller: x or f?
f
Let d = -1 - -3. Let r(x) = x + 12. Let f be r(-7). Suppose -2*i = d*p - 8, -6 = p - f*i + 20. Is -1/4 less than p?
False
Let g = -36 + 41. Is 48/11 smaller than g?
True
Let y = 4.06 - 0.06. Let i = 7 - y. Let b = i + -1. Which is smaller: b or 0?
0
Suppose 62 = 4*q - 142. Which is smaller: 0.2 or q?
0.2
Suppose -3*r - 20 = -7*r. Let g = -2 + r. Are g and 3 equal?
True
Let q be (0/(-2))/(-1 + 3). Let t = -1 - q. Suppose -a = b - 1, -4*b - 2*a - 1 = -3. Are t and b equal?
False
Suppose -2*z = -1 + 3. Suppose 0 = -2*f - 3*g + 1, f + f + 4*g = -2. Suppose -x + f = -4*x + 5*b, -5*b = -2*x - 5. Which is bigger: z or x?
x
Suppose 0 = -5*b + 2*b + 27. Let y = b - 9. Is 2/7 less than y?
False
Let p be -1 - (10/(-8) - 0). Let t be (-32)/8 - 6/(-2). Which is smaller: p or t?
t
Let w = -9.2 + 9. Which is smaller: -40 or w?
-40
Suppose -8 = 81*z - 85*z. Suppose 4*n - 3 = 5. Let u be (-3)/n + (-2)/(-4). Is z > u?
True
Let t(h) = -h - 4. Let s be t(4). Are s and -8 equal?
True
Let y be (-1 + 2/1)*4. Let b = 10 + y. Is b <= 14?
True
Let t = 11 - 4. Suppose 0 = -4*n, -t*n + 3*n - 8 = -2*s. Which is smaller: s or -1/4?
-1/4
Suppose -w = 3*x - 48, -3*w + 4*w = 2*x - 37. Which is bigger: x or 71/4?
71/4
Suppose 1 = 4*f - g, 8*f - 4*f + 5*g = -29. Let u be f*((-26)/8 - -3). Which is smaller: -5 or u?
-5
Let o = 38 - 24. Are o and 14 unequal?
False
Let c be (3/12)/((-1)/4). Which is smaller: c or 1/12?
c
Let p(j) = -j + 11 - 7 + 3. Let o be p(4). Is 3/2 greater than o?
False
Let r = 39 + -227/6. Which is smaller: 1/5 or r?
1/5
Suppose 3*m - 7 = 5*s + 3, 3*s = -3*m + 18. Is m > 5?
False
Let u be 4/(-6) - 4/(-6). Let p = -1 - u. Let o(m) = m - 4. Let x be o(2). Is x greater than p?
False
Let y = -7 + 16. Is y less than 9?
False
Let c = 1025 - 9235/9. Is -2 greater than c?
False
Let t = -0.3 + 1. Let z = 0.2 - -0.1. Let f = z + t. Is f less than 3?
True
Let b = 3.6 - 0.6. Let t = 2 - b. Is -1 equal to t?
True
Let u be 11/9 + 10/(-45). Which is bigger: -1/7 or u?
u
Let t = -4 - -2. Let k = 1.9 + 0.1. Let g = t + k. Which is smaller: g or -1/3?
-1/3
Suppose 0*f = -3*f. Let d = 1 + f. Suppose 0 = 2*n - 4 - 0. Which is bigger: d or n?
n
Let h be (-4)/7*1/(-2). Which is smaller: h or -1/3?
-1/3
Suppose -6 + 8 = 2*h. Is h at most 1/13?
False
Let u = -15 + 27. Is u != 12?
False
Let c = -0.6 + 0.4. Let t = c + -0.8. Is 1/4 >= t?
True
Suppose 3*d - d = -5*u - 30, -4*d - 28 = 2*u. Let x be 2*((-7)/2 + 2). Which is greater: x or u?
x
Suppose -22565 = -4*k - 2193. Let f be (-1)/(-5) - k/(-35). Let d = 146 - f. Which is greater: d or -4?
d
Let k = -10.9 + 11.99. Let m = 0.09 - k. Let f = -7/9 - -37/36. Is m equal to f?
False
Let o = 7 + -3. Suppose 5*y - 12 = 2*y + 3*d, o*y - 16 = 2*d. Let t(u) = -2*u - 7. Let p be t(-5). Which is smaller: y or p?
p
Let s = -0.28 - 1.73. Let o = 0.01 + s. Is o smaller than -1?
True
Let y be 5/((-105)/(-6)) - (-700)/294. Suppose 0 = -4*j - 0*j + 16. Are j and y equal?
False
Suppose -2*u - 1 = -19. Which is bigger: u or -2?
u
Let n be 32/(-10)*(1 - 6). Suppose 4*m - 1 = -3*c + n, -4 = -5*m + 2*c. Let h = 0 - m. Is h at most -2?
True
Let a = 1 - -1. Suppose 0 = -a*k - 2. Let d = -1 + 0.7. Which is bigger: d or k?
d
Let a = 1.7 - 8.7. Let y = -34 - -41. Let v = a + y. Are -0.1 and v unequal?
True
Let b = 2.7 - 0.7. Which is greater: b or 0.5?
b
Suppose 0 = 3*y + 5*w - 18, y + 14 = 5*w. Suppose y = -2*l - 1. Which is smaller: 0 or l?
l
Let y = 3 - 4. Suppose -114 = -10*i + 36. Is i smaller than y?
False
Let p be (-18*1/2)/(-1 - 0). Is p > 6?
True
Let t be 2/(-12) - 22/(-33). Which is smaller: -3 or t?
-3
Let l(f) = -f + 4. Let x be l(6). Suppose 0*o - 4*o + 12 = 0. Let p = 1 - o. Is x <= p?
True
Suppose 3*b = -5*m - 7 - 4, -5*m - 2*b = 14. Let p be (m/(-14))/(3/7). Which is greater: 0 or p?
p
Let s = -0.6 - 0.4. Let m = -7 - -6.94. Let y = 0.04 - m. Which is bigger: s or y?
y
Suppose 2 + 1 = y - 3*q, 4*q - 28 = -4*y. Suppose y = k + k. Suppose k*w - 5*w = 0. Which is smaller: w or -1/2?
-1/2
Let c(h) = -h**3 + 8*h**2 + 2*h - 8