e 1 and x unequal?
True
Let z(v) = -v + 6. Let u be (3/6)/(2/28). Let k be z(u). Let l = k - -2. Which is smaller: 3/4 or l?
3/4
Let z = 6 + -4. Suppose 8 = 2*s + g, -2*g = 3*s - 4*s - 1. Let t be 1 + 4 + (1 - s). Which is smaller: t or z?
z
Suppose -q + k + 12 = 4, 5*q + 2*k - 12 = 0. Suppose b = -q*b. Let y be (-1)/((-5 - b)*1). Which is smaller: 0 or y?
0
Suppose z - 2*l = 9 - 28, 0 = 3*z - 3*l + 48. Let n = z + 26. Let i = -11 + n. Is 1/2 less than or equal to i?
True
Let t be (1 + 0)/((-1)/(-4)). Suppose -b + 10 = t*b. Suppose 0 = -5*s + s + 12. Is b at most as big as s?
True
Suppose 2*z + 4*j - 18 = -0*z, -3*j = z - 14. Which is greater: z or -4/49?
-4/49
Let m = -7 + 5.6. Let d = 1.46 + m. Is d < 0?
False
Let u be 3 + (-6 - -4) + 3. Which is smaller: 5 or u?
u
Let c = 61 - 62. Is -2/35 <= c?
False
Let b = 1/87 + 23/522. Let g = b + 4/9. Suppose 0 = -3*v - 6. Is g not equal to v?
True
Let o be (-73)/(-4) - 1/4. Suppose -5*n - 42 = o. Are n and -12 equal?
True
Let x = 12 + -18. Let m be (-232)/66 - x/33. Are m and -2 non-equal?
True
Let c(g) = -g**3 + 6*g**2 - g + 2. Suppose 2*i + 30 = 7*i. Let x be c(i). Which is smaller: x or -3?
x
Let q = 61 - 61.6. Is -1 less than q?
True
Let v = -39 - -35. Which is greater: -5 or v?
v
Suppose -5*x + 3*l + 1 = -4*x, -4*l = -4*x - 4. Let g be 4/10*3/((-12)/20). Is g > x?
False
Let q(s) = s**3 + 7*s**2 - 7*s + 4. Let a be q(-8). Which is smaller: a or -7?
-7
Let h(s) = -2*s**2 - 4*s. Let t be (-2 + 1)*6/2. Let o be h(t). Let l be (-38)/(-12) - (-1)/o. Is 3 >= l?
True
Let z be (-2)/(-2)*6/2. Let b be (-1 - -3)/2*z. Is b not equal to 3?
False
Let y(t) = 4*t**2 - 19*t - 6. Let n be y(5). Which is greater: n or 1/14?
1/14
Let b = 14 + -9. Let i be (-371)/735 + 3/b. Which is bigger: -1 or i?
i
Let q = 2 - -0.6. Let k = q - 0.6. Let n = k - 4. Is n at most as big as -3/5?
True
Let c = 2 + -1. Is 2/39 less than c?
True
Let f = -13 + 15. Is f at least as big as 19?
False
Let q = -7 + 6. Let k = -2 + q. Let m = -3 + 3. Which is bigger: k or m?
m
Let c = -0.23 + -9.77. Let n = 0.08 - 10.08. Let b = c - n. Which is bigger: b or 11?
11
Let s = -50 - -201/4. Suppose 3*u = 8*u + 4*c + 4, 3 = -3*c. Suppose u*j + 5*j = 0. Which is smaller: j or s?
j
Let v be 12/(-6) + 4*1. Suppose k + k = v. Is k less than 2?
True
Let l = 0 + -0.2. Does -1/3 = l?
False
Let s(r) = -r**2 + 8*r - 8. Let c(o) = 6*o**2 + o - 1. Let y be c(1). Let p be s(y). Suppose 0 = -2*t + 3*f + 17, p*f = f - 15. Which is bigger: -2/17 or t?
t
Let a be (-2 + -1)/(3 + -2). Let t be 50/32*30/(-25). Is t less than a?
False
Let u be 11 - 1*(5 - 2). Let b be (2/u)/(66/(-48)). Which is bigger: b or -1?
b
Let j(w) = 6*w**2 + w. Let p be j(-3). Let x = -358/7 + p. Which is bigger: x or -1?
x
Let v be (3/((-6)/(-14)))/(-1). Let x(u) = -u**3 - 6*u**2 + 8*u + 4. Let t be x(v). Is -3 less than t?
False
Let w be (10/(-40))/(2/31). Which is bigger: w or -5?
w
Suppose c = 1 - 0, 4*z = 4*c. Let l = -43/3 - -14. Is z smaller than l?
False
Let r = -11 + 11. Let u(x) = -x**3 + x. Let i be u(-1). Is r not equal to i?
False
Let v(z) be the third derivative of -z**6/120 + 7*z**5/60 - 7*z**3/6 + 4*z**2. Let x be v(7). Let n = 0 - x. Is 7 bigger than n?
False
Let y be -3 + (4 - (-124)/(-132)). Which is greater: y or 1?
1
Let b be (-9 + 0)/((-54)/126). Is b > 22?
False
Let y = 0.14 + -0.04. Let v = -2.97 + 0.17. Let r = v - -3. Which is greater: r or y?
r
Suppose -3*d + d = -2. Let m = 5 + -12. Let g = -7 - m. Which is bigger: g or d?
d
Let p(r) = -r**2 + 5*r - 6. Let a be p(4). Suppose 0 = 3*n + n + 12. Are a and n nonequal?
True
Suppose 4*m + 36 = -12. Are m and -6 unequal?
True
Let w be 8*(1 - (-3)/(-2)). Suppose 0 = -4*n + y - 18, -2*n - 18 = 2*y + 2*y. Are w and n equal?
False
Let z(w) be the first derivative of w**3/3 - 3*w**2 + 4*w - 6. Suppose 0 = 5*n - 8 - 22. Let h be z(n). Which is smaller: h or 3?
3
Let k be ((-3)/3)/2 - 33/30. Which is bigger: k or -0.1?
-0.1
Let j = 352 - 88. Let u be j/(-87) - (1 + -4). Is u less than or equal to 0?
True
Suppose -t - 2*p = -3, 3*t + t - p = 3. Let l(k) = -k**2 + 2*k - 1. Let n be l(t). Which is smaller: n or -1/4?
-1/4
Suppose 0 = 12*c - 10*c - 4. Which is greater: 4 or c?
4
Let x be ((-1)/2)/(2/6)*2. Is -25/6 <= x?
True
Let f = 5 - 4. Let n = 107/944 - 3/59. Is f <= n?
False
Let x = 8095/3 - 2757. Let j = 58 + x. Is -1 at most j?
True
Suppose -5*i + 4 = -21. Which is bigger: i or 11/3?
i
Let b be 6/(-9) + (-3)/9. Let q be (-4 - 0)*b/(-58). Which is smaller: q or 0?
q
Let z(a) = -5*a - 18. Let b be z(-10). Let k = b - 35. Let m(v) = v**2 - 3*v + 1. Let g be m(1). Is k less than g?
True
Let i be (-2)/(4/3)*38. Let g = 2/3975 + -223927/3975. Let y = i - g. Which is bigger: -2 or y?
y
Let w be 1 - (2/1 - 62/58). Is w <= 1?
True
Let d(v) = -v**3 - v**2. Let c be d(0). Let u = 14 - 17. Which is smaller: c or u?
u
Let o be (-402)/18 + (-24)/9 + 3. Which is smaller: o or -21?
o
Let c(v) = -v + 5. Let n(i) = 4*i - 2. Let s be n(2). Let b be c(s). Let w be (-4)/14 + (-104)/(-266). Which is bigger: b or w?
w
Let x = 0.05 + -2.05. Let u = 0.38 - 0.38. Is u at least as big as x?
True
Let q be 2/5 - (-4)/10. Let r be -1 + 2 - (2 + -1). Which is smaller: r or q?
r
Let a(j) = -j**2 - 6*j - 6. Let g be a(-4). Suppose 0*s + 14 = -g*p + 5*s, 0 = 4*s. Let x = 11 + p. Is 4 smaller than x?
False
Let g be (-12)/(-1)*1/2. Let z be (g/9)/((-2)/3). Which is greater: -6/5 or z?
z
Let d = -1 - -0.8. Let l = -0.4 - d. Let k = -0.8 + l. Which is smaller: -2/7 or k?
k
Let l be 12/(-160) + 1 + 12/(-15). Let z = -2 - -2. Is z greater than or equal to l?
False
Let b = -5 - -3. Let a be (0 - 2) + (-1)/1. Let z = a - b. Is z smaller than -3/5?
True
Let o(j) = 6*j**2 - 3*j. Let m(p) = 7*p**2 - 4*p. Let d(w) = 5*m(w) - 6*o(w). Suppose -q = q + 6. Let c be d(q). Is -4 less than c?
True
Let w be (-74)/14 + (-28)/(-98). Let u be ((-1)/w)/(4/(-25)). Which is bigger: -1 or u?
-1
Suppose -71 - 81 = 4*b. Let p = -73/2 - b. Is 1 <= p?
True
Let r be 15/(-18)*(3/(-10) - 0). Let i be 10/(-4)*(-1)/5. Which is smaller: i or r?
r
Suppose 50 = 13*x - 18*x. Is -11 > x?
False
Let c = -11.8 - -0.8. Let g = c + 14. Is g greater than or equal to 2/3?
True
Let u = -1.2 - -1.2. Which is bigger: u or 0.2?
0.2
Let w be 3/5 + (97/15 - 7). Are -7 and w equal?
False
Suppose 0 = -5*t + 4*c - 312, -3*c + 7*c - 252 = 4*t. Let f be 25/t*(-3)/(-20). Is f not equal to 0?
True
Suppose 4*j - 5*z + 2 + 6 = 0, 2 = 2*j - z. Suppose -j*s = 3*h - 19 - 5, 3*s - 3*h + 6 = 0. Is 3 bigger than s?
False
Let g be (-3)/(-1) - 1 - 2. Let h be (2/(-2))/(3/6). Let i = h + g. Is -3 > i?
False
Let o(b) = -1. Let u(v) = v + 3. Let k(w) = 2*o(w) + u(w). Let n be k(6). Suppose 3*j - 5*s = -36 + n, 2*j - 2*s + 14 = 0. Is j at least as big as -2?
False
Let d = -4.4 - -4. Is 0.1 <= d?
False
Let q = 5 + -7. Which is bigger: q or -3/2?
-3/2
Let d = -12/77 - -2731/231. Which is smaller: 12 or d?
d
Let f(b) = 3*b. Let y be f(1). Let c = y - 3. Which is greater: c or 5/4?
5/4
Let h = 66 - 89. Which is greater: -22 or h?
-22
Suppose 0 = 6*q - 35 - 85. Suppose -3*m + 3*x = -3, -q = -4*m + 2*m - 4*x. Which is smaller: m or 2?
2
Let m be (-12)/8*7/(42/(-8)). Let p(i) = i**2 - 2*i - 1. Let b be p(2). Is b > m?
False
Let z be (-3)/(-6) + (-7)/2. Let d be (z/(-6))/((-3)/(-2)). Is d equal to -0.2?
False
Let n be 4 + 2 - (2 + 0). Suppose -n*w = -3*w + 1. Let s = -2 - w. Is s bigger than -1?
False
Suppose 0 = 5*r + 12 + 8. Suppose -3*z - 2*v + 13 = 0, 9 = 5*z - 4*v + v. Suppose 2*w + 1 = -z. Is w less than or equal to r?
False
Let k(m) be the second derivative of -m**4/12 + m**3/3 - 5*m**2/2 + 3*m. Let i be k(4). Which is smaller: i or -14?
-14
Let q be (-1 + 1)/4 - -1 - 4. Let b be (2/(-6))/((-1)/(-3)). Is q not equal to b?
True
Let l(p) = -p + 10. Let u = 5 - -2. Let a be l(u). Let n = -2 - -5. Is a at least n?
True
Let g = 44 + -44. Which is smaller: -6/11 or g?
-6/11
Suppose 0 = -2*g + 2*o + 18, -45 = g - 6*g - o. Is g less than or equal to 9?
True
Let d = -127 - -127. Which is smaller: -10.7 or d?
-10.7
Suppose 0 = -3*u + 2*u - 5*c - 25, -5 = 2*u + c. Is u equal to -4/17?
False
Suppose a = 3*a + 32. Let v = -10 - a. Let q = -5 + v. Is 1 greater than or equal to q?
True
Let k = -82.7 + 74. Let o = -9 - k. Is o greater than or equ