. Which is bigger: n or m?
n
Let m(u) = 2*u**2 - 11*u + 16. Let s be m(4). Let j be (-2)/8 - 65/(-20). Is j at least s?
False
Suppose -4*k = -0*k - 8. Let o be -2 - (2 - k) - 0. Let l = o + 0. Is -2 <= l?
True
Let h = -3 - -3. Let o = h - 0. Let t = 0.2 - o. Which is smaller: 1 or t?
t
Let w = -0.09 - -0.89. Let f = 0.65 - 0.05. Let u = f - w. Which is bigger: u or 1?
1
Let w = -1 + 2. Let p = -647/5 - -643/5. Is p smaller than w?
True
Let q(b) = -2*b - 29. Let j(i) be the third derivative of -i**4/24 - 7*i**3/3 + 2*i**2. Let x(f) = -5*j(f) + 2*q(f). Let v be x(-10). Which is smaller: -2 or v?
-2
Let q(p) = p - 2. Let c be q(8). Is c > 6?
False
Let q be (-2)/5 - 41230776/(-11490). Let m = q - 3588. Let d = 788/4213 - m. Which is bigger: d or 1?
1
Let t(j) = -j**3 - j**2 + j - 2. Let s be t(-2). Does 3/7 = s?
False
Let v be -1*(-2)/(-14)*(-2)/(-1). Which is smaller: 2.4 or v?
v
Let p = -0.9 - -1. Let w be 3 - 2 - (-12)/(-21). Which is smaller: w or p?
p
Suppose 5 = s + 2. Suppose -k = 2*k + s. Which is greater: -3/8 or k?
-3/8
Let u be 2 - (2 + 0) - 0. Let i be 5/(-2)*(-8)/(-10). Let h be 0*(i + 3 + u). Is h at most 0?
True
Suppose -p - 3 = 2*p. Let x be 27/45*1/p. Suppose o - 8 = 5*y, -o + 0 = -4*y - 6. Are o and x non-equal?
True
Let q be (-24)/9*(-9)/(-6). Which is smaller: -11/4 or q?
q
Let z = 42/11 + -4. Which is smaller: 0 or z?
z
Suppose -z + 4 + 0 = 0. Suppose -4*n = 5*d + 25, z*n - 5*d - 1 - 24 = 0. Does 0 = n?
True
Let b = 10 - 11.1. Let w = 1 + b. Let x = w + 0.1. Which is greater: -0.1 or x?
x
Suppose 7*d + 23 = 2. Is -24 >= d?
False
Let t be -3*6/(-27)*18/(-4). Suppose 2*x = 5*j - 7, x + 0*x + 5 = 3*j. Let m = 2 - j. Which is bigger: m or t?
m
Let w be (-10)/(59/(-18) + 8/(-36)). Which is bigger: 3 or w?
3
Let b = 2.2 + -0.2. Is 0.04 at most b?
True
Let o be 23/((-64)/12 - -5). Is o at least as big as -69?
True
Let o = -1 - -1.1. Let f = -8.121 - -0.121. Do o and f have the same value?
False
Let k = 873470052 + -24244034767343/27756. Let n = -3/1028 + k. Let r = n + -61/135. Are -2 and r unequal?
True
Suppose -3*s = f - 4*s + 13, -45 = 3*f - 5*s. Let m(o) = o**3 + 4*o**2 - 8*o - 7. Let l be m(-6). Let v = 21 + l. Is f at least as big as v?
True
Let w = 4 + 1. Suppose -3*s + 2*s + w*g = -2, -s = -4*g. Let c be (2/s)/((-6)/(-36)). Do c and -2 have different values?
True
Let l be 36/(-12) + 29 + -1 + 2. Do l and 28 have different values?
True
Let y(b) = b**3 - 4*b**2 + 2*b - 3. Suppose g + 17 = 4*v + 2, 3*v - 9 = 3*g. Let t be y(v). Which is bigger: t or 4?
t
Suppose h - 4*q = 14, 3*q + q = -5*h + 46. Let i be (-2)/h - (-3)/15. Let c(s) = -s - 3. Let f be c(i). Which is bigger: -4 or f?
f
Let h = -14301 - -100490/7. Let z = -16 - 39. Let i = h + z. Is i smaller than 0?
True
Let i = 0.38 + -0.4. Let u = 0.03 - i. Is 1 greater than or equal to u?
True
Suppose -g + 0 - 1 = 0. Let w(f) = f + 5. Suppose 16*t + 28 = 12*t. Let r be w(t). Which is greater: r or g?
g
Suppose -208 + 13 = 5*t. Which is bigger: -38 or t?
-38
Let y = 44 - 46. Which is smaller: y or -4?
-4
Let m = -164 - -3776/23. Which is bigger: m or 0?
m
Suppose v + 4*v = -20. Which is smaller: v or 1?
v
Let v = 87 - 123. Is 2 at least v?
True
Let a = 0 - 0. Suppose 0 = -2*m + 4, 2*m + 9 = -i + 7*m. Let k = i - a. Is k <= 2?
True
Let f be 1*1/2*10. Let s = -3 + 8. Suppose 0*d = s*d + f. Which is bigger: d or 2/5?
2/5
Suppose -5 - 1 = -3*s. Suppose 0 = -x + 1 - s. Let d be 5/x - 2/(-1). Which is smaller: -2 or d?
d
Suppose 0 = -q - 5*l - 25, 3*l = -21 + 6. Let x be (-12)/(-28) + 4/(-14). Is x at most as big as q?
False
Let a(k) = -k**3 + 3*k**2 + 6*k - 10. Let l be a(4). Is -24/13 less than or equal to l?
False
Let t = -13 + -2. Let m = 13.2 + t. Let l = m - -2. Is l not equal to 0?
True
Let h be (-2616)/(-315) - 3/(-7). Let c = 25/3 - h. Is 2 less than or equal to c?
False
Let g(k) = -44 + 39 - 7*k - k**3 + 10*k**2 - k**2. Let i be g(8). Is i at most 2?
False
Let j(u) be the third derivative of u**7/5040 + u**6/720 - u**5/30 - 3*u**2. Let w(t) be the third derivative of j(t). Let n be w(-1). Is -2/5 <= n?
True
Let y be (4 - 2)*1/(-76). Are 1 and y unequal?
True
Let n = -24 + 34. Are 10 and n equal?
True
Let x = -3.32 + 0.3. Let z = 1.88 + -1.9. Let m = x - z. Which is bigger: -2 or m?
-2
Let n(h) = -5*h + 1 - h + 0*h. Let g be n(-2). Is 12 <= g?
True
Let j be (3 + -1)/((-15)/6). Suppose -5*f - 20 = 0, -5*f - 17 - 7 = 2*q. Are q and j equal?
False
Let u = -13 - -18. Suppose g + u = -4*g. Let v be -3*1 - (-34)/10. Which is greater: g or v?
v
Let h be (-3)/6*1/(-2). Let a = 8 + -8. Which is smaller: h or a?
a
Let q = 11 - 4.9. Let i = -14 - -20. Let k = q - i. Is k > 1/2?
False
Let n(v) = v**2 + 6*v - 4. Let d be n(-5). Is d greater than -11?
True
Let o be 0 - (20/24 + 1). Is o smaller than -1?
True
Let r = 7 - 15/2. Which is bigger: r or 1?
1
Let l(s) = -3*s - 12. Let u be l(-7). Let z(j) be the second derivative of -j**5/20 + 3*j**4/4 + j. Let o be z(u). Is 8 at least o?
True
Let d(m) = m**3 + 12*m**2 - 2*m + 1. Let i be d(-12). Suppose s + 4*s - i = 0. Suppose -s*b + 4*b = -4. Which is bigger: 0 or b?
b
Suppose t + 0 = 1. Suppose 0 = -c - t. Which is greater: 2/23 or c?
2/23
Suppose 3*p - 9 = 0, 3*r + r + 5*p = 15. Which is smaller: r or 1/2?
r
Let g = -0.6 - -0.5. Let l = 2.1 - 2. Let s = l + g. Which is smaller: -3/5 or s?
-3/5
Let n = 0.2 + -0.15. Let r = 3.95 + n. Let p = -3.9 + r. Is 1 at most p?
False
Suppose u = 2*u. Suppose u*v + 10 = 5*v. Suppose 0 = -x + v. Which is smaller: 5/2 or x?
x
Let m = -29 - -25. Is 3 greater than or equal to m?
True
Let q = 0 - 2. Suppose -3*m - 14 = 3*c - c, 2*c - 2 = m. Let d = c - q. Which is bigger: d or 2/5?
d
Let z = -32.61 - 0.39. Which is smaller: 2/3 or z?
z
Let d = 30 + -41. Which is greater: 1 or d?
1
Suppose 4*k + 0*k = 64. Let o be (-2)/(-4)*k/(-12). Which is smaller: o or -0.1?
o
Suppose 0 = -o + 4*o - 3*l + 24, 0 = -3*l + 15. Suppose -f + 9 = -4*p, -5*p - 2*f - 9 = -4*f. Is o at least p?
True
Suppose -13 = f - 4*w, -3*w - 19 = -5*f - 4*w. Suppose f*h = -3*i - 15, -i = 4*h + i + 12. Is 3/7 greater than or equal to h?
True
Let i be (-2)/4 - 36/8. Is i equal to -2?
False
Let l = -25/6 - -41/12. Let g(z) = z**3 + 12*z**2 - 14*z - 13. Let i be g(-13). Is l at least i?
False
Let i = -8 + 9. Is i > 1/22?
True
Suppose 8*s - 16 = 4*s. Suppose 0 = -s*g + 4*z - 24, -4*z + 4 = 2*g - 8. Is g <= -3?
False
Let o = 50 - 16. Let j be 38/(-34) - (-4)/o. Is j bigger than 2/13?
False
Suppose -3*v = -4*k - 7, 4*v = -7*k + 2*k + 30. Suppose -4*s - 8 = -l - 4*l, -8 = 4*s. Suppose 0 = -l*f - 2*f - h + 4, k*h - 4 = -2*f. Are 1 and f equal?
False
Let o(a) = -a**2 + 6*a + 2. Let m be o(3). Is 10 smaller than m?
True
Let z(u) = 2*u - 10. Let v be z(5). Is v less than -2?
False
Let h(l) = -l + l**2 - 1 - 7*l**2 - l**3 - 1. Let y be h(-6). Which is smaller: 5 or y?
y
Let o(f) = f + 6. Let u be o(-7). Let k be -5 - -4 - (-2078)/(-12). Let s = -175 - k. Does s = u?
False
Let w = -6 - -6. Let j = 1 - w. Is j <= -4?
False
Let s be (-14)/6*33/121. Which is smaller: s or -1?
-1
Let v = -0.1 - -0.05. Suppose 5*j + 2*g = 7, -5*j + 4 = 4*g - 5*g. Is v greater than j?
False
Let c = -9484/13 + 730. Let p = -21 + 22. Is p bigger than c?
True
Let o be (1/(-2))/(2/12). Let i = 234 - 236. Are i and o equal?
False
Let g(t) = -t**3 + 13*t**2 - 13*t + 11. Let p be g(12). Is p smaller than 2/5?
True
Let d = 0.4 - 0.36. Let u = d - -3.06. Let f = 3 - u. Which is bigger: f or 1?
1
Suppose -2*o + 2 = -4. Let r be (3/4)/(o/(-12)). Suppose 2*q = -2*p + 2, -2*p = -3*p + 4*q - 19. Is r at most as big as p?
True
Suppose 4*c - 4*j - 24 = 0, -3*c + 2*j = -5 - 9. Suppose h + 28 - 6 = 2*y, c*h - y = -29. Let a be (-2)/h + 5/6. Which is smaller: a or -1/12?
-1/12
Let h = 24229/21312 + -42/37. Let p = h - -359/576. Which is greater: p or 2?
2
Let j be 20/(-8) + (-2)/4. Let x be (1/(-3))/(j/(-9)). Which is smaller: x or 1?
x
Let u = -116 + 117. Is 24 >= u?
True
Let p = 7 + -5. Suppose -2 = -t - 0. Do t and p have the same value?
True
Let f = 2 - 13. Let g = 10.94 + f. Which is bigger: 0 or g?
0
Let o = -3.8597 + -0.0303. Let j = 0.11 - o. Let v = j + -5. Is 1/4 at most as big as v?
False
Let l(m) = m**3 - 2*m**2 + m. Let y be l(2). Suppose -17 + 3 = -y*w. Is w < 1?
False
Suppose -8*x 