*j - 2. Let b be g(-6). Let x = b + -2. Which is smaller: x or -2/11?
x
Let a = 51 + -50. Is -7/23 greater than or equal to a?
False
Suppose 4*k = 3*t + 18 - 1, -k + 9 = 4*t. Suppose -z = -n + 5, 0 = n + k*z + 36 - 11. Let p = -282/143 - -28/13. Is p at least n?
True
Let p be 2/8 - 165/500. Let j = 4 - 4. Which is greater: p or j?
j
Let k = 1085/11 - 99. Do 1 and k have the same value?
False
Suppose 3*d - s + 6 = -4*s, 0 = -2*d - s - 1. Let u be (-889)/10 + (-1)/2. Let h = u + 89. Is h bigger than d?
False
Let q(p) = -p**3 - 4*p**2 + 7*p + 4. Let d be q(-5). Let u be 0 + (6/2)/d. Is 0 < u?
False
Let d(k) = k**3 - 5*k**2 - 8*k + 12. Let m be d(4). Which is smaller: m or -37?
-37
Suppose 0*s = -2*s. Let q = 13/24 + -2/3. Which is smaller: q or s?
q
Suppose 0 = 5*f + 4*h - 23, -4*f + 4*h - 2 = -6. Suppose -f = 3*a - 2*a. Is a at least as big as 2?
False
Let f = 0.03 - -0.19. Let x = f + -0.02. Are x and -2/13 non-equal?
True
Suppose -2*x + 10 = -2*h + h, 2*h + 3*x = 15. Which is bigger: h or 2/23?
2/23
Let t = -19 - -20. Which is bigger: -2/7 or t?
t
Let f = 0.21 + 0.29. Let j(k) = 7 + 0*k + k - 11. Let l be j(4). Which is smaller: l or f?
l
Let q(r) = -r**2 - 14*r - 10. Let f be q(-14). Are f and -10 nonequal?
False
Let q = -1/557 + -8351/2228. Suppose -4*t + 2*t = 2, 4*t - 6 = 2*i. Which is smaller: q or i?
i
Let t be 27/72 - (-1 + (-22)/(-16)). Is t not equal to 7/22?
True
Let x = -13 - -6. Let f = x - -6.6. Let t = -0.8 - f. Which is smaller: 0.1 or t?
t
Let t = -503/292 + -2/73. Which is smaller: t or 4/7?
t
Suppose -v - 2 = -x - 3, 0 = 5*v + 2*x - 40. Let k = v + -6. Is k less than or equal to -1/5?
False
Let z = 64/3 + -22. Which is bigger: z or 1.5?
1.5
Let b be (-17)/(-10) + -1 + -1. Suppose 5*m - 36 = m. Suppose -m*i = -6*i - 3. Is b at least i?
False
Let z = -45 - -179/4. Let c = 6 - 2. Let f = c - 2. Which is smaller: z or f?
z
Let a = 0.34 - 0.33. Is -0.2 at most as big as a?
True
Let m(g) = g - 3 - 3 - 2. Let f be m(9). Let d = -50 + 252/5. Which is greater: f or d?
f
Let q = -288/1463 - -2/133. Which is smaller: 8 or q?
q
Let k be 0/(-2) - (-16 - -15). Let n = -3643/13 + 280. Which is smaller: k or n?
n
Let r = 1.7 - 2.5. Let k = r - -1.2. Do -2 and k have the same value?
False
Let z(r) = -7*r**3 + 2*r**2 + r - 11. Let o(m) = -11*m**3 + 3*m**2 + m - 17. Let q(b) = 5*o(b) - 8*z(b). Let u be q(2). Which is smaller: u or 2/11?
2/11
Let k be (-2)/8 + 8/32. Is 1/16 at most k?
False
Let c = 0.4 - -2.6. Let t = -3 - -6. Let j = -3 + t. Is c at most as big as j?
False
Let x = 713/84 - 60/7. Suppose 8*m - 4 = -4. Is m less than x?
False
Let b = -7.2 - -3.2. Is 4/5 > b?
True
Suppose -4*w + 12 = -4. Suppose -3*g = 2 + w. Is -0.1 < g?
False
Suppose 3 = 2*g - 3. Suppose 612 = c - g*c. Let n = c + 7036/23. Is n greater than -1?
True
Let w be ((4/1)/(-1))/1. Let j(h) = -h - 16. Let o be j(-13). Which is smaller: w or o?
w
Suppose 2*h = -2*w - w + 11, -2*w - h = -7. Suppose 0 = -w*n, -5*d - 15 = -0*n - 4*n. Which is bigger: -2 or d?
-2
Let d(g) = 6*g. Let o be d(-1). Let c be (-2)/o - (-16)/(-39). Which is greater: 0 or c?
0
Suppose -3*g = a - 172, g - 26 = -5*a + 8. Let f = g - 181/3. Which is greater: f or -2?
f
Let o be (6/(-5))/((-10)/(-50)). Let v be 10/25*10/o. Is 1/3 at least v?
True
Let n(j) = -30*j**2 + j + 16*j**2 + 17*j**2. Suppose -5 = -5*f + a + 1, 3 = -3*a. Let d be n(f). Which is greater: d or 2?
d
Let o(h) = -h**2 + 14*h - 18. Let u be o(12). Which is greater: u or 4?
u
Let t be 221/52 + (-2)/8. Which is greater: t or 11/3?
t
Let c(v) = -3*v - 1. Let l be c(1). Let m = -1 - l. Let j = m + -3. Is j > 0?
False
Suppose -5*u + 20 = -2*t, 0 = u - 3*u - 5*t + 8. Suppose c = -u*c. Is c at most -2/11?
False
Let q = 12 + -13. Let l be 117/(-45) - 3/(-5). Is l greater than q?
False
Suppose -36 + 12 = -4*g. Let h be (6*g/9)/2. Let t(v) = -v - 1. Let q be t(-4). Is h less than or equal to q?
True
Suppose -q + 4*j + 17 = 0, -2*q - j - 3*j = -82. Is q >= 31?
True
Suppose 5*t - 7 = 8. Let n(o) = 2 + 2*o + 9*o**2 - o**3 - 7*o - 3*o. Let b be n(8). Do b and t have different values?
True
Let c = -14 + 18. Is 6 > c?
True
Suppose -4*l + 3*v = -5, 2*l - 5*v = -3*l + 10. Let c = l + 2. Let q = -2 + c. Which is smaller: q or 0?
q
Let r be (3 + -2)*(1 - -1). Which is smaller: 3 or r?
r
Let s = -0.058 - -0.058. Is s smaller than 0.09?
True
Let x(b) = -b**3 + 4*b**2 - 6*b + 0*b**3 + b**2 + 6. Let g be x(4). Let q be g/(-6)*0/1. Is q at least as big as 0?
True
Let x = -30 - -208/7. Let k = 0 - 0. Which is bigger: k or x?
k
Let o(z) = -z**2 - 7*z. Let n be o(-7). Suppose n*v - 5*v + 3*w - 31 = 0, -2*w = -3*v - 19. Let u = 3 + -9. Which is smaller: v or u?
u
Suppose -3*g - 17 = q, -4*g - 26 = 3*q - 0*q. Let r be 4*(1 + 1/q). Which is smaller: 5/2 or r?
r
Let s = -0.118 - -1.058. Let u = -0.06 - s. Is u at most -0.05?
True
Let a be 55/(-36)*(-28)/50. Let t = 1/18 - a. Is t != -2?
True
Let j = -40 - -44. Which is greater: 3 or j?
j
Let n = 0.3 + 2.7. Let u = -44 + 40.9. Let f = n + u. Which is smaller: f or 1?
f
Let i(p) = -2*p + 12. Let a be (-5 + 1)*(-18)/9. Let m be i(a). Which is smaller: m or -3?
m
Let f = 0 + 3. Let j be 2/(-4)*f + 2. Let w be 3/(-9)*(3 - 0). Which is bigger: w or j?
j
Let s = -286 + 2285/8. Let z(o) be the second derivative of o**3/6 + 7*o**2/2 - 3*o. Let a be z(-8). Which is smaller: a or s?
a
Let k be ((-180)/(-25))/(9/(-60)). Is -48 at least as big as k?
True
Suppose 0 = -5*s - 2*b + 24, -2*b - 24 = -3*s - 0*s. Is s < 8?
True
Suppose p + 0*p + 4*p = 0. Which is smaller: -3/14 or p?
-3/14
Suppose p = -2 + 3. Let r be (-4)/(-57)*(-6)/(-4). Is r at most p?
True
Suppose -v - 4*l = -4, l + 4*l - 5 = v. Suppose 5*h + 0*a = -4*a - 780, -5*h - 780 = -5*a. Let k = h - -1095/7. Which is bigger: k or v?
k
Let b = -48 - -142/3. Which is smaller: b or 5/3?
b
Let l be 34/10 - (-10)/(-25). Suppose l*f + 0*f = -15. Is -4 < f?
False
Suppose -13 = 3*l - 5*j + j, -2*j + 12 = 4*l. Let r be (-2 + 0/(-1))*l. Which is smaller: r or -1?
r
Let t(w) = w**3 + 11*w**2 - w - 2. Let f be t(-11). Is f greater than 3?
True
Let u = 52 + -51.8. Let z be 2/(2/(-6)*-10). Which is smaller: u or z?
u
Let x = 7.9 - 11.2. Let q = x + 2. Let i = -0.3 - q. Is i at most as big as -1?
False
Let m = 64.1 - 64. Is m less than or equal to 2.5?
True
Let i(t) = t**2 + 4*t + 3. Let z be i(-3). Suppose 5*w + 16 + 9 = z. Suppose 5*k + 30 = 10. Which is greater: k or w?
k
Let i = -0.3 + 0.5. Let s = 0 + i. Let u = -53 - -107/2. Which is bigger: s or u?
u
Let l be 8/(-76) - (-84)/76. Let m be -10 + (-2)/(0 - -1). Let r be (-4)/(-10)*(-20)/m. Which is smaller: r or l?
r
Let w(c) = 5*c**2 - c**3 + 2 + 0*c**3 + 6*c + 0 - 5. Let z be w(6). Which is bigger: z or -10/3?
z
Let t = -111 - -553/5. Suppose -m - 2*m = 0. Which is smaller: m or t?
t
Let a(r) = r**2 - 6*r + 2. Let q(y) = -1. Let l(h) = a(h) - 4*q(h). Let o be l(5). Suppose 0 = -3*k + 2*i + 9, i = 4*k - 3*i - 16. Is o greater than k?
False
Let h = -1.5 - -0.5. Let n = 0.4 + h. Let w = n - 0.4. Do w and 0.4 have the same value?
False
Let q = 13 - 14. Let p be ((-2)/54)/((-2)/(-10)). Let b = p - -89/189. Is q >= b?
False
Let c = 44 - 43.9. Which is smaller: -1/3 or c?
-1/3
Let s = 0.09 + 6.01. Let h = -6 + s. Is -14 equal to h?
False
Let r be 1*(-3 + (-128)/(-43)). Which is smaller: r or 0?
r
Suppose 4*q + 5*x = -29, -3*x - 4 = -1. Which is smaller: -50/9 or q?
q
Let x be 1 - ((-2)/(-5) + -1). Suppose -3*p + 26 = 4*w, 10 = 4*w - 10. Which is smaller: x or p?
x
Let m = -174 - -170. Which is smaller: m or -10?
-10
Let r = -124 - -866/7. Suppose -3*t + 5*t = 2*b + 8, 0 = -2*t + 4*b + 14. Let k be (-20)/(-25) - t/5. Which is smaller: r or k?
r
Let w(c) = c - 8. Let x(i) = 2*i - 9. Let h(u) = u**3 - 7*u**2 + 7*u - 4. Let a be h(6). Let j(q) = a*x(q) - 3*w(q). Let l be j(-6). Which is greater: -1 or l?
l
Suppose 0*n + 8 = 2*n, 0 = 3*v + 3*n - 15. Which is greater: 2/9 or v?
v
Let i be -7 + 3 + 2 + 6. Let k = i + -2. Which is smaller: -2 or k?
-2
Let d be -3 - 5*(-3)/3. Suppose -2 = d*m - c - 4, 5*m - 8 = 4*c. Which is smaller: m or 1/4?
m
Let k = 0 + 0. Let s be (-6)/2*4/6. Which is bigger: s or k?
k
Let s be (-5)/10*2*1. Suppose a - 7 + 4 = 0. Let h be (4/a)/(-2)*3. Which is greater: h or s?
s
Suppose 24*z + 105 = 29*z. Is z > 21?
False
