-185/4 - -46. Is -1/2 > u?
False
Let w = -2 - -2. Let y be -5 - -3 - (-17)/8. Which is bigger: y or w?
y
Let l = -631/7 + 76. Do l and -15 have different values?
True
Let l(w) = w**3 - 5*w**2 + 5*w - 4. Let b be l(4). Suppose -5 = 3*t - 4*q, -t + 3*q + 0*q - 5 = b. Does t = 1?
True
Let z = -1 - 2. Let j = z - -3.2. Which is smaller: 2 or j?
j
Let g = -15 - -16. Which is bigger: g or 3?
3
Let o = -2 + 2.05. Let w = -7 - -7.05. Let l = w + o. Are l and -1 equal?
False
Let a(f) = -6*f + 29. Let n be a(5). Is 1 less than or equal to n?
False
Suppose w + 0 - 8 = 0. Let v be 1/4 + (-6)/w. Suppose p = -2*n - 5, -4*p - 9 = 4*n - 3*p. Which is bigger: n or v?
v
Suppose o = 4 - 0. Let w be o/16 + (-30)/(-8). Suppose -k - k = -f, -w*k = -f. Which is smaller: 1 or k?
k
Suppose -3*i + 336 = 2*h, 0 = 3*i - 0*h + h - 336. Is i at least as big as 111?
True
Let o(y) = 2*y + 2. Let u be o(-2). Let j be -1 + 0 + 0/u. Is j < -3?
False
Suppose -10*q + 3*q = 0. Is q greater than or equal to 2/299?
False
Let s(q) = 2*q**3 - q**2 + q - 1. Let k be s(1). Let r be (0 - 0)/(k - 2). Let m be ((-25)/(-6))/5*(-6)/(-15). Which is smaller: m or r?
r
Suppose 1 = -x + 6. Suppose m + 2*q - 14 = 0, -q = 3*m - x*q + 8. Which is smaller: m or 8/3?
8/3
Let t(b) = b**3 - 7*b**2 + 0 + 3*b**2 + 5. Let g be t(4). Suppose -3*s = -2*p - 3*p - 2, 2*s + 3*p = -g. Which is smaller: s or 1?
s
Suppose 2*d + 2 = -2. Let z = d + 6. Suppose -z*m - 1 + 5 = a, 2*a + 5 = 5*m. Is -1/6 at least a?
False
Suppose 2*d + 36 = -w, 5*w + 90 = 4*d - 9*d. Let t be d/9 + 14/8. Which is greater: -10 or t?
t
Let j = -7 + 7. Let n = -0.2 - -0.3. Is n < j?
False
Let b(l) = -l**3 - 5*l**2 - 4*l + 2. Let x be b(-4). Which is greater: x or 28?
28
Let w = -59 - -41. Is w bigger than -18?
False
Suppose -3*c = 15, 0 = 2*n - c - c - 20. Suppose 4*v + 16 = 2*v + 2*o, -8 = n*v + 3*o. Is -4 <= v?
True
Let z be (-2)/1*(1 + 12/(-8)). Which is bigger: z or 7/8?
z
Let q be 8/(-2)*12/16. Suppose -5*u - 5*w + 5 = 0, 2*w - 10 = -2. Are u and q nonequal?
False
Let q = 3 - 2. Which is smaller: 30 or q?
q
Let w be 2 - 2/2 - 1. Suppose -3*n + 16 = -n. Let j = n - 7. Does w = j?
False
Let a be -9 + 8 + 0/2. Let y be (-1)/(-4) - (-1 + 0). Are a and y unequal?
True
Let q be (3/2)/((-14)/4). Let k = q - -22/35. Which is smaller: k or -3?
-3
Let n = -4 + 5. Let v = 0.98 - n. Let c = v + 0.07. Is 0 smaller than c?
True
Let s be 3/(((-18)/(-8))/(-3)). Let x = -119 - -116. Is x less than or equal to s?
False
Let t = 2 + -4. Suppose 3*v + 18 = -3*j, 2*v - 14 = 4*j + 4*v. Is t not equal to j?
True
Let r = -7.2 + 6.81. Let w = -0.09 - r. Which is bigger: w or -1/3?
w
Let r = 3 + -7. Let v(u) = -2*u - 4. Let j be v(r). Let s be -1 + -1 - (-16)/j. Are s and 0 non-equal?
True
Let k = 9 - 7. Let i = 3 + -4. Let m be (-6)/4 - 2*i. Is m greater than k?
False
Let p(j) = -j**3 + j**2 + 3*j - 2. Let x be p(2). Suppose b + 4 = -2*l + 7*l, l - 3*b + 2 = x. Is 2/7 less than l?
True
Suppose 0 = -3*j - o - 3*o + 25, -3*j + o = -50. Are j and 17 non-equal?
True
Suppose -5*z + 4*z - 1 = 0. Suppose -5*s + 35 = -b, 4*b - 2*b = s - 7. Suppose x + s = -3*u, -u - 7 = u + 3*x. Which is bigger: z or u?
z
Let x = 22.8 - 27. Let c = x + 4. Let f = -0.05 - 0.35. Which is smaller: f or c?
f
Let j = -1 - -0.6. Let v = 20.4 + -21. Let y = j + v. Is -0.1 greater than or equal to y?
True
Let a = -107/35 + 16/5. Suppose 0 + 5 = 5*u. Which is smaller: a or u?
a
Suppose 9 = -3*c - 3*g, 3*c - g + 4 + 5 = 0. Let v = -3 - c. Suppose -5*a - 5 = -v*a. Is -1 != a?
False
Let h = -23 + 18. Which is smaller: -8 or h?
-8
Let a be 0*(-1 - 0) - -2. Let z(s) be the first derivative of -s**2/2 + s - 1. Let y be z(a). Is 0.4 at least y?
True
Let z(o) = o**2 - 9*o + 4. Suppose -2*j + f + 4*f = -41, 5*f = -4*j + 7. Let h be z(j). Let s = h - -2. Is -1 greater than s?
True
Suppose -f + 4*q + 4 = 1, -4*q = 5*f - 111. Let l be 22 + (-1 - -2) + -3. Which is smaller: l or f?
f
Let y be (-3 - 42/(-10))*(-40)/(-6). Which is smaller: y or -1/3?
-1/3
Suppose -4*n = 5*w + 3, -3*w = 5*n - 3 - 3. Let a be (w/2)/((-8)/112). Which is smaller: 22 or a?
a
Let h(y) = -y**3 + 4*y**2 + 4*y + 3. Let n be h(5). Let g be 1/3*n/10. Suppose 9 - 10 = l. Which is greater: g or l?
g
Let x = -5.6 + 4. Let l = -0.6 - x. Let p(y) = y**2 - 7*y + 8. Let d be p(6). Which is smaller: d or l?
l
Suppose w - 6 + 2 = 0. Suppose -6 = -4*l - d + 14, -w*d - 16 = 0. Let n be -6 + l + 2/27. Which is greater: 1 or n?
1
Suppose x + 8 = 7. Let a be 2/(-24)*(-8)/5. Is x less than or equal to a?
True
Let p(t) = -t**3 + 8*t**2 - 9*t + 3. Let k be p(6). Let b be -1 + -43*3/k. Let l = b - -243/35. Which is smaller: -1 or l?
-1
Let r be (-38)/5 + (-4)/10. Which is smaller: -6 or r?
r
Let i = -354 - -11729/33. Let o = i + -12/11. Which is smaller: o or -1/5?
-1/5
Let r be 12/(-21)*3/42. Is r at most 1?
True
Let h be (-18)/10*(-25)/(-5) - -3. Is -6 at least as big as h?
True
Suppose 4*d + 3 - 179 = 0. Suppose -3*m - d = m. Is -1 greater than m?
True
Let z = -9 - -8.8. Suppose 5*o - 8 = -3*h, -2*h = 3*o + 2*o - 12. Suppose u - 1 = 0, -3*u = -o*x + 3*x - 2. Which is greater: x or z?
x
Let b be 1/2 + 1/(-38). Let m = -127/228 + b. Which is greater: m or 1?
1
Suppose -13 = 3*n - 4, -n - 3 = 2*z. Suppose 0 = c + 3*p + 22, 61 - 13 = -4*c - 2*p. Let x be c/(-4) + 1/(-2). Which is greater: x or z?
x
Suppose -3*m - a + 2*a - 13 = 0, -3*a = -3. Which is smaller: -24/7 or m?
m
Let c(p) = p**3 - 4*p**2 + 4*p - 3. Let y be c(3). Let g = y - -5. Suppose -g = -h + 3*z + 10, 0 = 3*z + 15. Is 3/4 less than or equal to h?
False
Let q = -0.21 + 0.3. Let m = q + 6.91. Let f = 6.8 - m. Is f greater than or equal to -1/5?
True
Let i = -0.8 + 3.8. Let l = i - 3.2. Is 2 greater than l?
True
Suppose 5*n + 9 = 6*n - 5*l, -4*n + 5*l = -21. Suppose 2*v = -4 - n. Suppose f = -5*i - 16, 0*i - f = 4*i + 12. Is i smaller than v?
False
Let c = 0.244 - 0.144. Which is bigger: 0.94 or c?
0.94
Let x(o) = o**2 + 7*o - 3. Suppose h = 4*h + 21. Let j be x(h). Is 0 greater than j?
True
Let r be 3/(-3)*7/(-1). Let m = r + -4. Let n = 3 + 0. Is n greater than m?
False
Let r = 1.6 + -4. Let t = r - -0.4. Let x = -13 - -11. Do t and x have different values?
False
Let n(y) = 2*y**3 - 6*y**2 - 2*y + 2. Let c be n(3). Is c greater than -5?
True
Let k be (3/(-6))/((-7)/(-42)). Is k at least 4?
False
Suppose 0 = w - 2 + 1. Let q be (-27)/(-12) + w/(-4). Let c be (-8)/(-3) + (-1)/(-3). Which is greater: c or q?
c
Let w = 42/13 + -268/91. Are w and 0.08 nonequal?
True
Let h = -2.5 + 6.5. Which is smaller: h or -2/7?
-2/7
Let v = 56 - 39. Suppose -p + 5*z + v = 0, p + 7 = -3*z - 8. Suppose 0*g + 4*g + 3*y + 2 = 0, 4*y - 4 = -2*g. Which is greater: p or g?
g
Let t = 44 - 32. Let a = -4 - -6. Suppose -5*l - a = -t. Is 2 equal to l?
True
Let h be (8/(-66))/(12/18). Is -2/31 bigger than h?
True
Let i(f) = -f**3 + 7*f**2 - 6*f + 2. Let w be i(6). Suppose 3*h + w*n + 0*n - 4 = 0, n - 2 = 0. Is -1 < h?
True
Let k = -1 + 0.92. Let s = k - -0.02. Let o = s - 0.04. Which is smaller: 0.3 or o?
o
Let h = -7837/10 + 783. Which is smaller: -1 or h?
-1
Suppose -3*d + 16 = -2*z, -3*d - 3*z - 5 = 2*d. Suppose 0*l = -d*l. Let h(q) = -3*q**2 - q + 1. Let w be h(1). Which is greater: w or l?
l
Suppose 3*u - 8*u - 175 = 0. Which is greater: -37 or u?
u
Let x = 3/5 - 4/15. Let m(y) = -y**3 - 6*y**2 + 6*y - 9. Let w be m(-7). Let o be (-2)/w + 5/(-7). Which is smaller: o or x?
o
Let x(d) = d**2 - 8*d + 4. Let v be (-3)/(-9) - 33/(-9). Suppose v*t = 3*t + 7. Let w be x(t). Is -3 at most w?
True
Let g be 1*-11*(-1 + 2). Let i = 15 + g. Suppose i*z = -1 + 5. Is 1 > z?
False
Let r(a) = 2*a**3 + 2*a**2 - 2*a + 1. Let o be r(1). Suppose 11 = -o*v - 1. Is -3 equal to v?
False
Let i = 38009/34 + -1118. Is 1 smaller than i?
False
Suppose 1 = -l + 2*b, 0 = 2*b - 6*b. Let g be (-24)/42*l/(-4). Is 1 equal to g?
False
Let u(q) = -q - 4. Let r = 6 + 1. Let v = 1 - r. Let p be u(v). Are p and 2/3 non-equal?
True
Let d = -61 - -61. Which is bigger: 5/7 or d?
5/7
Suppose -8*m = -5*m - 24. Let l = 1 - m. Which is bigger: 0 or l?
0
Let p be 3 - (3 + -7 - -22). Which is smaller: -16 or p?
-16
Let z(k) = k**3 + 4*k**2 - 11*k + 7. Let n be z(-6). Is n > 1/6?
True
Let b(v) = -3*v - v - v. Let z be b(-1). Suppose -s - 5*t = -3*s + z, -s = 