Let t(k) = -2*k - 4. Let h be (-1)/(-2)*24/(-4). Let p be t(h). Suppose -p*o - 6 = 3*q - 1, 3*o = -2*q - 5. Is q bigger than -2/3?
False
Let b = 1.3 + 1.7. Which is smaller: -1 or b?
-1
Let i = -2.8 + 3. Let c = -2/21 + 29/84. Is i at most as big as c?
True
Let l be 1/(-3) + 56/42. Is l greater than or equal to -2.3?
True
Suppose -v - 5 = -35. Is v greater than 29?
True
Let a be (0 - 2)*15/2. Is -15 greater than or equal to a?
True
Let k(o) = o**3 - o**2 + o + 1. Let v be k(0). Let y = 2 - v. Which is bigger: y or 2?
2
Let r be ((-66)/55)/((-3)/(-10)). Which is bigger: -2 or r?
-2
Let i be (-4)/10 - 26/(-64). Let y = i - 97/160. Let v(k) = k + 5. Let u be v(-5). Do y and u have the same value?
False
Let t(p) = p**3 + 6*p**2 + 4*p - 1. Let u be t(-3). Does 13 = u?
False
Let u(i) be the first derivative of -i**4/4 + 7*i**3/3 - 7*i**2/2 + i - 4. Let d be u(6). Which is bigger: -6 or d?
d
Suppose -5*c = -20 - 30. Suppose -2*g - 4 + c = 0. Suppose -3*u + 0*u = -g. Does u = 1?
True
Let c be 1*(-2 + -1)*2. Which is smaller: c or -4?
c
Let u be (-1)/3 - 14/3. Let l be 1 + -3 + u/(-1). Suppose 5*t - 5*a + 10 = -4*a, 0 = 2*t - l*a + 4. Is t at least as big as -1/2?
False
Let t(k) = 2*k - 15. Let q be t(8). Which is smaller: q or 16/7?
q
Let h be 5*(-1)/(-15)*4. Let l = 3.7 + -3.5. Is l smaller than h?
True
Let a be (-184)/12 - (-2)/(-4)*-2. Do -15 and a have the same value?
False
Let s = 73 + -89. Which is smaller: -1 or s?
s
Suppose 60*u = 59*u. Is u != 1/45?
True
Let t = -11/10 + 3/5. Let q = 116.4 - 118.4. Which is bigger: t or q?
t
Let s = -16 + 7. Do s and -10 have the same value?
False
Let v be (-1)/((-45)/(-2 + -1)). Let y = -53/120 - v. Let r be -1*(1 - 2)*1. Are y and r equal?
False
Let g = 32420773768/1981 - 16365863. Let b = -2/283 + g. Which is bigger: b or 0?
0
Let w(o) = -o**3 + 2*o**2 + o + 1. Let f be w(2). Is 7/3 equal to f?
False
Let p = 2/155 - 161/465. Do 2 and p have different values?
True
Suppose 2*r + 3*x - 12 = -x, -2*r + 4*x - 12 = 0. Is r less than or equal to -1/11?
False
Let j(s) = 18*s + 10. Let u be j(-6). Let g be u/34 + (-8)/68. Is g < -11/6?
True
Let u = -3 - 0. Suppose j + 11 = -5*f, 0 = -0*f - f + 3*j - 15. Let g = u - f. Which is smaller: g or 1/5?
g
Suppose 0 = a - 1, 8 = 4*i - i + 2*a. Suppose -o - 1 = j, o - 5*o + i*j = -2. Let h(d) = -d + 7. Let s be h(6). Which is smaller: o or s?
o
Let y be (-118)/(-10) - (-6)/30. Which is smaller: 11 or y?
11
Suppose -3*f - 25 = 3*c + f, -3*c = -f + 20. Let q be 0/(3 + -2 + -4). Which is greater: q or c?
q
Let r(n) be the first derivative of -n**3/3 + 7*n**2/2 + 6*n + 1. Let a be r(7). Let o be (-2)/(-6) + (-2)/a. Is o <= 0?
True
Let z = -24.3 + 24. Is 1 at least as big as z?
True
Let c be (-24)/6*10/(-4). Is 9 <= c?
True
Suppose 9*s = 5*s. Is s <= 4/7?
True
Let b = -0.9 + 1. Let p = 3 + -4. Let i = -3 - p. Is i at least b?
False
Let s(c) = c**3 - 3*c**2 + 2*c - 1. Let w be s(2). Let u be 0/((-3)/(-1) + w). Let q = -295/9 - -33. Is q greater than or equal to u?
True
Suppose a - 4 = 5*x, -a = -2*x - 3*a + 8. Let o = 1 - 1.1. Which is smaller: x or o?
o
Let a(j) = -j**3 - 9*j**2 - 12*j - 7. Let f be a(-8). Let t = f - 101/4. Let s = -3 + 4. Which is greater: s or t?
s
Suppose 3*c - 2 = 2*c. Suppose 0 = c*s + 3 + 3. Which is greater: -4 or s?
s
Let x = -33 + 66. Let m = x + -32. Let u be (-1 - -1) + 1 - 0. Is u < m?
False
Let r = -1152 - -33416/29. Which is bigger: r or 0?
r
Let k be 1/(-5)*5/(-4). Suppose 31 = -19*g - 140. Which is greater: k or g?
k
Let o(m) = -2*m - 1. Let y be o(2). Is -2 less than or equal to y?
False
Let z = -1.5 - -2. Let k = -0.5 + z. Which is smaller: k or 1/2?
k
Suppose -69 + 369 = -5*m. Let o = m + 2161/36. Which is smaller: 1 or o?
o
Suppose -2*y - 10 = 0, -10 - 3 = -4*k + 5*y. Let n be (-5)/((-15)/(-12)) + 1. Let g = 1 + n. Is g >= k?
True
Suppose 1 = 2*r - 1. Let k be (0/((-3)/(-1)))/r. Which is bigger: k or -9?
k
Let j be (-21)/49 - 46/(-140). Suppose -2*i = -1 + 3. Which is bigger: j or i?
j
Let h = -5 - -8. Let b be 15/21 - (h + -2). Is b greater than or equal to 0?
False
Let f = -222 - -221. Let p be 5/18 - (-1)/(-2). Is f at least p?
False
Let l be 6/(-4)*(-2)/(-6). Suppose -2*u = f, -2*f = 3*f - 5*u. Suppose 4*t + 1 = -5*q + 3, f = 2*t + 2*q. Is l != t?
True
Let t = 0.024 - 3.124. Let s = -0.9 + t. Which is bigger: 1 or s?
1
Let p be (-3)/(-4) - (-95)/(-20). Let d be -1 - (300/69)/p. Which is smaller: d or 0?
0
Let f = 21 - 15. Let u = 0 + 0. Which is smaller: f or u?
u
Let h = -1 - -0.9. Suppose 2*s = 3*u - 6, 2*u - 4 = 2*s + 2*s. Let k(l) = -l**3 + l**2 + 3*l - 2. Let f be k(u). Is h at least as big as f?
False
Let s be 22/33 - (-1)/3. Is s less than 12?
True
Let y = -356 + 3919/11. Let z(a) = a**3 + 15*a**2 - a - 16. Let s be z(-15). Which is smaller: s or y?
s
Let v = -112 - -109. Is -15/7 less than v?
False
Let o = -6 - -3. Let s be o*(0 + (-1 - -2)). Let q(y) = -y - 7. Let t be q(-5). Is s bigger than t?
False
Let t be -1*3/3*-2. Suppose -3*q - 3*i = -0*q - 3, -t*i - 4 = 4*q. Let n be (-3)/(-6) + 2/q. Which is smaller: -1 or n?
-1
Let y = -1 + 3. Let h(d) = d**3 - 11*d**2 + 9*d + 11. Let j be h(10). Are j and y nonequal?
True
Let q(i) = i**3 - 9*i**2 + 6*i + 7. Let h be q(8). Let f = -3 - h. Which is bigger: f or -1/3?
f
Let p = 0.5 - 4.5. Do p and 0.1 have the same value?
False
Let c(d) = -5*d**3 - 2*d**2 + d + 2. Let a be c(-1). Let x = 8 + -2. Suppose a*l + x = l. Which is greater: -3/2 or l?
-3/2
Let k be 7 - (6 + -3 - 2). Suppose k = f + 4. Does 2 = f?
True
Let g(w) be the second derivative of w**4/12 + 5*w**3/6 - 2*w**2 - 7*w. Let m be g(-6). Which is greater: 5/6 or m?
m
Let x be 0/2*(-6)/(-18). Which is greater: x or -2/175?
x
Let g be (-2)/(-6) - (-56)/12. Suppose 0 = t + 3, 0*o + g*t = 3*o - 9. Let l = 1 + o. Which is smaller: -5/3 or l?
-5/3
Let n be 24/(-20)*-5 + 1. Which is smaller: 2/7 or n?
2/7
Suppose -2*q = 3 + 3. Is q not equal to -4?
True
Suppose -3 - 61 = -4*s - 4*t, -79 = -5*s - 4*t. Suppose 8 - s = -z. Let a be 2/z - (-6)/(-21). Do -1 and a have the same value?
False
Let p be (-1)/(-1*(-1)/(-3)). Suppose 0 = l - p*v + 7, -6*l - v - 1 = -3*l. Let j = 1 + -1. Which is smaller: j or l?
l
Let l be (-78)/(-104) + (-14)/8. Which is bigger: l or 5/21?
5/21
Suppose 2*f + 2*f + s = 20, 0 = 3*f + s - 16. Is 5 > f?
True
Let s = 0.03 + -7.03. Let o = s + 12. Which is smaller: o or 0?
0
Let o be (-20)/(-8) - 1/2. Suppose 0 = -o*f - 1 - 1. Is -2 equal to f?
False
Suppose -4*o + 25 = -3*x, -x - 3*x - 4*o = -4. Let c be -21*(8/x + 3). Is -3 less than or equal to c?
False
Let q = -0.08 + -0.42. Let v = q - -0.3. Let b = 5/2 + -2. Which is smaller: v or b?
v
Let l = 6.31 - -1.79. Let q = l - 8. Which is smaller: q or 5?
q
Let v = 1 - 0. Let p be -27 + -1*(0 - 1). Let c be 8/12*6/p. Which is bigger: v or c?
v
Let x = 48 - 45.1. Let j = x + -3. Is j at least 0.1?
False
Let r be 63/9 + 2 + -1. Let u be (-12)/r + 14/4. Suppose 4*o - 10 = u. Is 2 greater than or equal to o?
False
Let d = -7 + 3. Let q be ((-8)/(-3))/(d/(-6)). Let i = q - 3. Is 2/15 at most as big as i?
True
Suppose 3*n - 4*l = 80, -3*n + 126 = -5*l + 41. Is 20 at least n?
True
Let c = 3/10 + 1/5. Which is smaller: 6/7 or c?
c
Let t be (36/20)/(42/20). Which is greater: t or 1?
1
Let s(b) = b - 1. Let r be s(4). Let z = r - 2. Which is greater: z or -2/5?
z
Let c(p) = p**2 + 5*p - 3. Let j be c(-6). Let k be (4 - 4) + (-1)/j. Is -1/4 bigger than k?
True
Let n be (-2)/6 - (-182)/(-6). Let x be (-10 - 21)*(1 - 0). Let t = x - n. Which is smaller: 0 or t?
t
Suppose 5*b + 186 = -54. Let i be (-3)/4 + (-28)/b. Let a be (0 - 1)*(-1)/4. Is i less than a?
True
Let v be 3/(-1)*1/(-1). Let o be (-8)/v*(-6)/4. Suppose 0*p - o*n + 4 = 4*p, -2*p = n - 1. Which is smaller: 1/3 or p?
p
Let d = 10 - 7. Which is smaller: 0 or d?
0
Let a be (1*-22)/(-1) + -3. Which is smaller: a or 18?
18
Let r(d) = d**2 - 5*d - 4. Let v be r(6). Let u = -5 + v. Suppose 5*w + 12 = -5*q - 3, 2*w + 15 = -5*q. Does u = q?
True
Suppose p + p = 8, -4*p + 18 = -2*l. Are l and 1/7 nonequal?
True
Suppose -5*q - 2*q = 0. Is q at most -16?
False
Let p(b) be the third derivative of b**5/60 + 3*b**4/8 - 5*b**3/3 - 2*b**2. Let u be p(-10). Is -1/6 bigger than u?
False
Let i = -0.02 + 2.02. Let c(j) = j**3 - 9*j**2 +