t n be (-1 + -1)*2/4. Is n >= p?
False
Let r be (-3)/15 + (-48)/10. Let d be 11/(-2) - (-2)/4. Are d and r equal?
True
Let f be (-32 + 3)*2*1. Let x = 84 + f. Suppose -x = -b + 5*q, 9 = -2*q - 1. Which is bigger: 1/6 or b?
b
Let k be 246/(8 - 5) - (0 - -4). Is k at least 78?
True
Let f(n) = n - 12. Let q be f(15). Let p be 1 - (-2)/(-1 + 2). Is q greater than or equal to p?
True
Let s be -10*(-1 - (-4)/((-4)/3)). Which is bigger: s or 116/3?
s
Suppose 0 = 2*y + 2*y - 108. Suppose 0 = -4*z + z + y. Is z > 9?
False
Suppose -25*n = -20*n + 900. Is -179 less than n?
False
Suppose -2 - 1 = 3*a. Which is bigger: a or -3/5?
-3/5
Suppose 4*u = -u. Do u and -3/13 have different values?
True
Let b(s) = -s**2 + s + 3. Let y(x) = -x - 1. Let q be y(-4). Let z = -3 + q. Let f be b(z). Is f greater than -0.1?
True
Suppose 4*q + 8 = 8*q. Suppose -q*i + 0*i = 0. Which is bigger: 2 or i?
2
Let m = -0.2 + 1.2. Let w = -12 - -9. Which is smaller: w or m?
w
Let h be (45/48)/(127066/53909864). Let g = h + 2/63533. Let l = -400 + g. Which is bigger: l or -2?
-2
Let m(u) = 9*u - 53. Let d(n) = -5*n + 27. Let p(t) = 11*d(t) + 6*m(t). Let o be p(0). Let k be (-14)/(-6)*o/7. Which is bigger: k or -8?
k
Let l be ((-3)/14)/((-18)/264). Are 3 and l equal?
False
Let j = 29/120 - 1/24. Which is bigger: j or 0?
j
Suppose -5*a = -9*a - 144. Let h be (-3)/(a/(-26)) + 3. Are h and 0 nonequal?
True
Let y = -673 - -3377/5. Let i(n) = -n**3 + 5*n**2 + 8*n - 9. Let l be i(6). Which is smaller: y or l?
y
Suppose -8 = 5*b - b. Let h = 14.7 - 15. Is h > b?
True
Let q = -11 - -22. Let b = q - 8. Are b and 3 unequal?
False
Suppose 4*c - 4*g + 4 = 0, 3*c + 3*g + 21 = -2*c. Which is smaller: c or -18/7?
c
Let u be (-18)/(-39) + 28/(-13) + 2. Let t(a) = -a - 5. Let l be t(-4). Is u bigger than l?
True
Let f be ((-12)/(-18))/(5 - 0). Is -3/5 smaller than f?
True
Let w = 25 + -27. Are -0.3 and w unequal?
True
Let k(i) = i**2 + 11*i + 6. Let y be k(-11). Let j be 0 - y - (-1 - 2). Let o be 5/(-4)*2 + 0. Which is smaller: j or o?
j
Let t = -90/13 + 283/39. Do t and -1 have different values?
True
Let f = 1726/7 - 246. Is 1 >= f?
True
Let g = -14.07 - -14. Let o = g - -0.07. Let l = 517/6 - 86. Which is greater: o or l?
l
Let c = 4.6 - 3. Which is smaller: -0.1 or c?
-0.1
Let y be (-36)/(-15) + (1 - 3). Let l(m) = -m + 5. Let f be l(-5). Let q be (-5)/3*4/f. Is y < q?
False
Let l = 0.04 - -0.03. Let n = 7.93 + l. Is 2 greater than n?
False
Let c(j) = -j - 28. Let s be c(-32). Which is greater: s or 3?
s
Let w = 24.1 - 24. Is 5 <= w?
False
Let b(a) = -a**3 - 5*a**2 + 7*a + 7. Let t be b(-6). Let h = -1277201/189 + 6758. Let g = -1/27 + h. Is g at least t?
False
Suppose -4*a - 17 = -1. Do -4 and a have different values?
False
Suppose 2*r + 0*r + 2 = 0. Let h be -1 - (-4 + 0/r). Suppose 4*s - b + 2*b - 20 = 0, -24 = -s - 5*b. Is h smaller than s?
True
Let d be 6*(-3 + 19/6). Let c be d/(-2) - (-19)/2. Do c and 8 have the same value?
False
Let s = 1583/102 + -210/17. Let c = 7/2 - s. Let j = 12 + -14. Is c smaller than j?
False
Let q(w) = -w**2 + 2*w - 28. Let o be q(6). Which is smaller: -51 or o?
o
Suppose 2*r = -24 + 4. Which is bigger: r or -11?
r
Let c = -53 - -53. Which is bigger: c or 15?
15
Let s be (0 - (1 + 2))/1. Suppose 521*i - 529*i - 24 = 0. Is i equal to s?
True
Suppose 8 - 20 = 2*l. Let g be 4/(-1) + 0 + 0. Let z = l - g. Does z = -3/2?
False
Let d = 1.9 - 1.8. Which is smaller: 19/5 or d?
d
Suppose 0*i - i - 10 = -4*y, 0 = -3*i - 6. Suppose -c + 10 = -3*c, 27 = -y*o - 5*c. Which is smaller: -11/6 or o?
-11/6
Let t = -0.2 - 5.8. Is t < -0.1?
True
Let r = 4 + -8/3. Let w be (-9)/45 + (-2)/(-10). Which is greater: r or w?
r
Suppose 2*v - 2*s + 8 = -6*s, -2*v + 3*s + 6 = 0. Suppose 6*n - 4 = -4*r + 4*n, -2*r - 14 = -3*n. Which is bigger: v or r?
v
Suppose 58 + 2 = 5*c. Let u be (c/(-13) - -1)/1. Which is smaller: 0 or u?
0
Let u(x) = x**2 + 4*x - 8. Let t(m) = -4*m + 2. Let d be t(2). Let l be u(d). Suppose 0 = l*h + h - 10. Which is smaller: h or 3/2?
3/2
Let t be (-4)/(-10) + 4/(-10). Suppose -2*g - 35 = -5*v + 21, 2*g = v - 16. Suppose v = -5*w - 0*w. Is t less than w?
False
Let c = -18 - -14.1. Let z = 4 + c. Is -5 <= z?
True
Let z = -0.2 + 0.2. Is 0.11 <= z?
False
Suppose -5*t + 14 = 3*u - u, u - 2*t = 7. Let z be (-150)/(-14) - (-2)/u. Is 10 equal to z?
False
Suppose 4*o - 20 = 0, 8*o - 56 = 4*t + 4*o. Which is smaller: t or -1?
t
Let z = 10/7 + -153/112. Are z and -1 non-equal?
True
Let j = -1.5 + -0.5. Let f = j - -1.9. Which is greater: f or 1?
1
Let w = -50 + 50. Is w at most -9/23?
False
Let j = -616.97 + 620. Let d = 0.03 - j. Which is smaller: d or 0.1?
d
Let n = 0.26 - -0.74. Which is smaller: -3.5 or n?
-3.5
Let t = -196 + 109. Let l = -18974 + 113323/6. Let u = t - l. Is 0 != u?
True
Let h(w) = w**3 + 5*w**2 + 5*w + 4. Let d = -34 + 48. Suppose d + 2 = -4*s. Let m be h(s). Which is bigger: m or 3?
3
Let f be 4/(-16) - 5/(-12). Is f greater than 1?
False
Let h = -2 + 2. Suppose -2*k - 3 = 3*m, k + h*m - 2*m + 12 = 0. Let z be (6/(-4))/(3/k). Which is greater: 4 or z?
4
Let k(j) = j + 13. Let f be k(4). Suppose -a - 3*c + 33 = -3*a, -2*c + 6 = 0. Let b = f + a. Does 6 = b?
False
Let u = 28/5 - 517/95. Is u < -1?
False
Let h be 1 + (6 - 2)/2. Let a = h + -7. Is -5 greater than a?
False
Let m(i) be the second derivative of i**4/12 + 5*i**3/3 + i**2 - 5*i. Let s be m(-10). Is s less than 1?
False
Suppose 0 = -2*f + m - 4*m - 8, 4*f + 32 = 2*m. Let x(r) = -r**2 - 2*r + 1. Let z be x(2). Is f at most z?
True
Let f(y) = y**3 + 3*y**2 - 3*y - 1. Let k be f(-3). Let b be k/(-42) - 1/(-3). Which is bigger: 0 or b?
b
Let c(p) be the second derivative of p**3/6 - 5*p**2/2 + p. Let v be c(5). Let l = 17/65 + -6/13. Is l smaller than v?
True
Let r = 4 - 2. Suppose r*k + 2*l = -6, -2*k + 5*l + 35 = 6. Let w be -1*(-2)/(-12)*4. Is w less than k?
True
Let o(w) = w**3 - 6*w**2 - 8*w + 6. Let n be o(7). Let k(x) = -x**2 - 3*x + 3. Let a be k(-4). Are n and a nonequal?
False
Let g = -230/3 - -76. Is g greater than -1.6?
True
Let k = -202 - -1613/8. Is -1 at most as big as k?
True
Let v = 1247/15 + -359/5. Which is greater: 12 or v?
12
Suppose 0 = 33*t - 28*t. Let h = 4 - 6. Which is smaller: h or t?
h
Let y be (-2)/7 - (-2)/7. Let x be -6*(-1 + y) + 0. Suppose -4*l + 22 = 14. Which is smaller: x or l?
l
Suppose -2*f + 5*f = -3. Let n(v) = v**2 + 3*v**2 - 3*v**2 - 2 + v. Let b be n(0). Is f less than or equal to b?
False
Suppose 2 + 1 = -3*w + z, 0 = -4*w + 4*z - 4. Suppose g - 5 = 2*g. Let m be ((-4)/g)/((-2)/3). Which is bigger: m or w?
w
Let s be ((-4)/10)/(7/5). Let l = -10.75 - -8.7. Let x = l - -0.05. Is s greater than or equal to x?
True
Let r be (-2 + 36/20)*-5. Suppose 3*x - 6 = -l + r, -4 = -2*x - l. Which is greater: x or 7/4?
x
Let n = -0.72 + -27.28. Is n not equal to -0.1?
True
Let r be 5/((-10)/8) + 145/5. Is 27 greater than r?
True
Suppose 0 = 4*g + g + 5. Is 2/23 at least g?
True
Let j = 0.23 - 0.3. Let o = 0.37 + j. Let l = 0.7 + o. Is -0.1 at most as big as l?
True
Let k = -2 - -2. Suppose -2*g = -4*b + 6, 2*b - 11 = -2*b + 3*g. Let h be 0/b + 6/(-9). Does h = k?
False
Let v(w) = -3*w**2 - w + 4. Let a(b) = 4*b**2 + b - 5. Let p(f) = 4*a(f) + 5*v(f). Let m = -20 - -19. Let z be p(m). Is 3/5 at least as big as z?
False
Let w be 35/(-21)*144/(-20). Which is smaller: w or 11?
11
Let l = -17 - -16.8. Do -2/9 and l have different values?
True
Let m = -18 + 27. Is m bigger than 9?
False
Let n = 10/13 - 7/26. Is n < 7?
True
Let j be -10 + (-1 + 0)*2. Let a = j - -20. Which is smaller: a or 10?
a
Let f be (-1)/(-3) + 14/(-35). Is f at most -1?
False
Let o = -12.02 + 1.02. Are o and -1/2 equal?
False
Let l be 1/2*(4 - 4). Let u(a) = 3*a - 2. Let o(x) = -5*x + 3. Let i(z) = 4*o(z) + 7*u(z). Let y be i(4). Which is greater: y or l?
y
Suppose -3*u + 0*u = 45. Let l be 2568/180 - (-1)/3. Let r = u + l. Is 0.2 smaller than r?
False
Let d(a) = a**3 - 4*a**2 + 5*a - 7. Let r be d(3). Which is bigger: r or 1/14?
1/14
Let p(o) = -42*o - 7. Let i be p(8). Let m = i + 1723/5. Suppose -4*x + 2 = -2*x. Which is smaller: m or x?
x
Let p(q) be the third derivative of -q**5/60 - q**4/4 + q**3 - 3*q**2. Let j be p(-7). Does -1 = j?
True
Let f = -53 + 44. Is -9 not equal to f?
False
Let y be (1/