 ((-6)/(-14))/(6/(-4)). Is 0.4 at most as big as a?
False
Let a = 20 + -29. Let j be ((-36)/15)/(2/10). Let t be j/6 + 8/6. Which is bigger: t or a?
t
Let z = 13/1083 - 20495/83391. Let v = -1/11 - z. Which is bigger: v or 2?
2
Suppose 4*f + 4*y = 6*y + 28, -f - 2*y = -2. Let r be (-2)/4 - (-15)/f. Which is bigger: 1 or r?
r
Let o = -3 - -7. Suppose -s + 3 = o. Suppose -2*a - 2*r - 7 + 1 = 0, -2*a + 3*r - 6 = 0. Which is smaller: s or a?
a
Let w be (2/(-12))/((-189)/28 + 5). Which is greater: w or -0.2?
w
Let w be 3/4 + (-42)/(-120). Which is bigger: w or 0?
w
Let d(t) = -16*t**3 - 14*t**2 - 31*t + 1. Let m(w) = -3*w**3 - 3*w**2 - 6*w. Let j(r) = 2*d(r) - 11*m(r). Let y be j(-4). Is y < 3?
True
Let h = 0.9 - 0.6. Let l = h + -0.4. Let s = -1.9 + l. Do 2/7 and s have different values?
True
Suppose 0 = 2*p + 2*p - 16. Let d = -10 + p. Is d less than or equal to -5?
True
Let f be (-2 - 3/(-2))*-6. Suppose -i = 2*i + f. Which is bigger: 2/7 or i?
2/7
Suppose -156 = -2*s - s. Let a = s + -101/2. Which is greater: 3 or a?
3
Let b be (-5)/2*4/(-5). Suppose 0 = -3*k - 2*w, -5*w = -2*k - b*w. Let t = 24 - 26. Is k at most t?
False
Let k = 13 + -13.1. Is -3 at least as big as k?
False
Let p be (-2 - -1)/((-2)/4). Suppose -5*q = p*y - 5, -y + 2*q = -2*y + 5. Which is smaller: 16 or y?
y
Let u(o) = -23*o + 5. Let n(x) = -x**2 - 5*x - 2. Let a be n(-2). Let c be u(a). Let m be (-1)/(-4) + c/12. Which is greater: -2/3 or m?
-2/3
Let i(p) = -p**2 - 12*p - 9. Let b be i(-11). Suppose b*s + 20 = 7*s. Is 5 equal to s?
False
Let a = -0.037 + 0.257. Which is smaller: 0 or a?
0
Let s = 31 + -29. Suppose 0 = -b + 5*q + 5, -4*b + 1 = -3*q - 2. Suppose s*j + 0*j = b. Are -1 and j nonequal?
True
Let o = -18 + 19. Suppose 4*g - 5*p = -23 + 9, 5*g - 1 = -3*p. Which is smaller: o or g?
g
Let a(w) = -w**2 + 8*w - 9. Suppose 31 = 5*r - x, -5*x + 17 + 17 = 2*r. Let g be a(r). Let y be 1/(-2) + 3/2. Is g != y?
True
Suppose -2*s + s = 0. Suppose s = 2*z + z + 12, 4*z + 36 = -5*w. Let b be (-120)/322 + w/(-14). Is b greater than or equal to -1?
True
Let g be 3/((-9)/(-6)*29). Which is greater: g or 1?
1
Suppose -2 = y + y. Let u = 4 - 2. Suppose u*d + 5*o + 37 = 10, 4*d - 6 = 2*o. Is d not equal to y?
False
Let z = 112 - 112. Which is smaller: z or -1/3?
-1/3
Let g = 0.3 - 0.2. Let z = 0 - g. Let m = 0.9 - 0.6. Which is bigger: z or m?
m
Let x(l) = -19*l + 1. Let k be x(1). Is -17 at most as big as k?
False
Suppose -16 = 2*i - i. Which is smaller: -13 or i?
i
Let m be ((-24)/9)/(2/(-3)). Suppose 4*g - 11 = -5*y, -3*y + g = m + 3. Do y and -1/3 have the same value?
False
Let q be 0/(-2)*1 - -2. Suppose 5 = m + q. Suppose -w + 3 = 3*j - 4, -5*w + 15 = 5*j. Which is bigger: m or j?
m
Let c(r) = 3*r + 15. Let i be c(-9). Suppose 4*k + 28 = -24. Is k not equal to i?
True
Let s(i) = i**3 + 4*i**2 + i + 11. Let l be s(-6). Which is smaller: l or -66?
l
Let g(y) = y**2 + 5*y - 4. Let w be g(4). Which is bigger: 34 or w?
34
Suppose 3*y - 73 = -4*a - 0*a, -4*y + 87 = -5*a. Which is bigger: 22 or y?
y
Let z = 0.65 + -0.05. Let c = z - 0.8. Which is smaller: c or 2/9?
c
Suppose 2*h = -h. Let g = 104/135 + -10/27. Which is bigger: h or g?
g
Let x(d) = d**2 - 6*d. Let b be x(7). Let o(s) = s**2 - 7*s. Let v be o(b). Let i be (1 + 0 + 0)/2. Is i <= v?
False
Let t = -21 - -24. Is t at most as big as 3?
True
Let n = 7/8 + -51/40. Suppose -3*s = -5*s. Which is smaller: n or s?
n
Let w = 0 - 4. Let o be w + (-1)/((-36)/160). Is -1 less than o?
True
Let j = 7/24 - 827/1080. Let l = j - -2/27. Is l greater than or equal to 8/3?
False
Suppose 0 = 7*n - 71 - 111. Is n less than or equal to 26?
True
Let n be (-3204)/(-1611) - (0 + (-1 - -3)). Which is bigger: 1 or n?
1
Let t = 20.1 + -19. Let r = -2.9 - t. Let z = -3 - r. Which is bigger: -3 or z?
z
Let h = 1/6 + -25/78. Is 0 >= h?
True
Let k be -2*(2/(-9))/(-2). Let t be 3/(-6) + (-3)/(-2). Is k less than t?
True
Let g(x) = 2*x + 4. Let r be g(-3). Let w(z) = -z - 4. Let b be w(r). Suppose 0 = -4*t - 5*j - 9, 3*t = -5*j - 7 - 1. Is b equal to t?
False
Let h be (-2)/(1 + 1)*-4. Suppose 5*k - h*k + 7 = z, 0 = 3*z - 4*k - 25. Suppose -2*a - 2 = m - 0*a, 6 = -2*m - z*a. Which is smaller: -4 or m?
m
Let j(x) = -3*x - 43. Let f be j(-15). Which is smaller: f or 14/5?
f
Let u = -50 + 50. Which is smaller: 42 or u?
u
Let g(r) = -2*r**3 - 2*r**2 + 1. Let t be g(-1). Let m be 2/5 - (-573)/30. Let d = m - 19. Which is smaller: d or t?
d
Let y = -2.3 + 1.1. Let l = y + 1.4. Which is greater: l or -1?
l
Let f = 0 + 2. Let w = f + -1. Let y = -0.06 - -1.06. Is w != y?
False
Let u(v) = -v + 8. Let n be u(6). Suppose -n*l - 1 = -3*l. Let o = 190/369 + -12/41. Does o = l?
False
Let y(z) = -z**3 - 6*z**2 + 9*z + 15. Let o be y(-7). Let f = 49/4 + -12. Is o not equal to f?
True
Let s = -0.14 + -1.46. Let m = s + -0.4. Let b = 14 - 100/7. Is b != m?
True
Let j = 323/25 - 13. Which is smaller: j or -1?
-1
Let z(p) = -p**2 - 1. Let s(c) = 3*c**2 + 11*c - 6. Let o(d) = s(d) + 4*z(d). Let i be o(9). Let k = -7 + i. Which is smaller: 4/5 or k?
4/5
Let h = -2 + 0. Let v be 0 - h*2/4. Suppose z - 3 = -z - 5*j, 0 = 3*z - 2*j + 5. Is v less than z?
False
Let g = -45 - -44.1. Which is smaller: g or -1?
-1
Suppose 1 = 2*n - 7, 3*v + n = 1. Let g = -1/78 - -8/117. Which is greater: v or g?
g
Let j = -0.12 - 0. Let w = -0.051 - -5.171. Let o = j + w. Which is smaller: 1 or o?
1
Let s = -3504/17 - -206. Suppose 0 = -z + 2*z - 1. Is s != z?
True
Suppose -i - 3*i = 0. Let x = -26 - -209/8. Do x and i have different values?
True
Let c be 2/4 - 536/16. Let v = -63/2 - c. Let t = -3 + 6. Are t and v unequal?
True
Let i be 3/2 - (-6)/(-4). Let y be (-2 + i)/(-1 - -2). Let n = 2 + y. Is 1 < n?
False
Let z be 92/22 - (-2)/(-11). Suppose 0 = z*c + n - 13, 3*n - 4*n + 1 = 0. Are 3 and c equal?
True
Let b = -9577/5 + 1939. Which is smaller: 25 or b?
b
Let x = 0.1 + 1.9. Which is smaller: x or 3?
x
Let u(l) = -l**3 + 6*l**2 - l + 7. Let f be u(6). Let n be (f - 2)*49/35. Let d = n - -1/15. Which is smaller: -1 or d?
d
Let c be 2 - (-4 + 2) - 7. Which is smaller: c or -2?
c
Let z be -30*(1 + (-4 - (-28)/8)). Is -15 at least as big as z?
True
Let h = 1/211 + 1053/422. Suppose -16*z + 58 = 13*z. Which is smaller: h or z?
z
Suppose -o + 2 = -2*y, -o = 3*y - 6 + 4. Let t be 1*(2/o)/(-1). Let l = -6 - -5. Is l <= t?
True
Let o(h) = -h**3 + 7*h**2 + h - 5. Let s be o(7). Let k(w) = -5 - 2 + 3 - 3*w + s*w. Let n be k(-4). Are n and 2/7 non-equal?
True
Let s = -17/6 + 7/3. Let p(l) = -2*l + 6. Let f be p(4). Which is bigger: s or f?
s
Let o = 6.05 - 0.05. Let l = -4 + o. Is l >= 1/3?
True
Let f = -109.94 - -110. Which is greater: f or -0.1?
f
Let y = 10077 + -59965/6. Let v = -83 + y. Suppose 3*c + 3 = -0*c. Which is smaller: v or c?
c
Suppose 33 = 2*p + 3*h, -3*h - 39 = 2*p - 6*p. Let b = p + 0. Suppose -5*u + 0*l - l = -b, u = 4*l + 15. Is 3 equal to u?
True
Suppose -5*a - 5*l + 49 = -a, -5*l + 25 = 0. Suppose r + 2*p = 0, 2*r - a*r = 5*p. Which is greater: 1 or r?
1
Suppose -2*u - 3*u + 130 = 0. Suppose 5*h + 6 - u = 0. Suppose 0 = -3*b - h*o - 9, -4 = 2*o + 2. Are b and 0 equal?
False
Let u be ((-54)/(-14))/((2 - 2) + -1). Which is smaller: -4 or u?
-4
Let l = -12 + 10.4. Let g = l + 0.6. Is 9 greater than g?
True
Suppose p = 2*b + 11 - 1, -4*p + 2*b = -16. Let a = p - 2. Which is greater: -1/3 or a?
a
Suppose 2*i = -3*r - 3, -i = r + 1 - 0. Suppose -k + 25 = -5*n, -4*k - 28 = 5*n - 3. Let o be (k - 0/(-3))/1. Is o smaller than r?
False
Let j be (1 - (4 + -4))*1. Is 1/11 smaller than j?
True
Suppose -2 + 8 = -2*p. Is p at most 2/5?
True
Let x = -4 + 2. Let t = x - 0. Is t greater than -2?
False
Let f be 2 - (-2 - (0 - -1)). Let r(t) = 0 - t - 3 - f + 3. Let g be r(0). Is g at least -5?
True
Let c = 12 - 13. Which is bigger: 0 or c?
0
Let g = 104 + -82. Which is smaller: -0.2 or g?
-0.2
Let x(b) be the third derivative of b**5/60 + 5*b**4/24 - b**3 + b**2. Let q be x(-6). Which is bigger: q or -1?
q
Let j(q) = q**3 + 8*q**2 - q - 3. Let m be j(-7). Is 54 at least m?
True
Let m = -1.2 - -1.2. Let a be ((-6)/4 + 2)*-1. Which is greater: m or a?
m
Let w = 15/14 + -9/14. Let p(x) be the third derivative of x**5/60 + 2*x**2. Let a be p(-1). Is a < w?
False
Let x be (-1)/(-10) - (-8 - (-164)/20). Whic