 = -3*f - 3, -c + 3*f + 7 = -2*f. Suppose c*o - 8 = -4. Suppose -2*b + 3*x + o*x = 6, -5*b - 15 = -2*x. Which is bigger: b or -2?
-2
Let o be (-1)/(-4) + (-54)/24. Is -2/3 less than or equal to o?
False
Suppose -5*f - 20 = 5*j, -5*j + 0*f - 6 = -2*f. Let q(h) be the first derivative of h**4/4 - 2*h**3/3 - 2*h**2 + 3. Let i be q(3). Are i and j unequal?
True
Let l be 25/(-24) - (7 - 8). Let z = 43/120 - l. Which is smaller: -0.1 or z?
-0.1
Suppose -5*c - 3*o + 6 + 26 = 0, -4*c - 5*o + 36 = 0. Suppose -u + c*u = -15. Is u not equal to -4?
True
Let u(w) = w**3 - 11*w**2 - 13*w + 9. Let f be u(12). Which is smaller: f or -2?
f
Let y = -0.1 - 0.9. Let l = 0.17 - 1.27. Let c = y - l. Which is smaller: -1/2 or c?
-1/2
Let s = 19 - 21. Let n be s - -1 - (-114)/110. Which is greater: 1 or n?
1
Suppose 2*a = -a. Let t be 234/845 - (-2)/(-10). Is a at most t?
True
Let g be -1 - 1 - 0/2. Let r be g - (-14)/8 - 0. Let p be (-4)/(-6)*1 + 0. Is r equal to p?
False
Let l = -3/23 - -55/69. Are l and 0 equal?
False
Let l = -0.4 - -0.3. Let m = 0.2 + 0. Let z = m - 0.1. Which is smaller: z or l?
l
Suppose -a + 3*h = 0, 2 = -2*a - h - 5. Let x(z) = -z. Let v be 1 + 4 - 2*1. Let w be x(v). Is w bigger than a?
False
Let p = -97 + 97. Which is greater: p or -7/6?
p
Suppose -4*p = 2*r + 3*r - 125, -4*p + 5*r = -75. Suppose 0 = -6*a + a - p. Which is greater: a or 1?
1
Let l = 38 - 41.96. Let z = l + 4. Let k = -0.06 - z. Is 2 greater than or equal to k?
True
Let p(x) = x - 1. Let h be p(0). Let c = 39/7 + -177/28. Which is greater: c or h?
c
Let f(q) = q. Let h be f(8). Is 7 greater than h?
False
Let w = 225 - 5401/24. Does w = 0?
False
Let s = 0.01 - 0.41. Let w = s - -1.4. Which is greater: 4 or w?
4
Let i be (3 - (9 - 8))*(-2)/58. Suppose -2*w - 10 = -2*f, 5*f = -0*f - 2*w - 3. Which is smaller: f or i?
i
Let w be 96/24 + 11/(-3). Which is smaller: 2/43 or w?
2/43
Let g = -9 - -5. Let s = g - -3. Let p be (2/72)/((-10)/(-16))*3. Does p = s?
False
Let s = -2729/33 + 248/3. Let k be (21/1485)/(2/24). Let z = k - s. Which is smaller: z or 1?
z
Let v(c) = -c - 1. Let a(k) = -6*k + 2. Let p(m) = a(m) - 5*v(m). Let y be p(7). Which is bigger: y or -2/7?
y
Let d = -24 + 23.8. Which is smaller: 0.01 or d?
d
Let v(u) = 3 - 11*u**3 + 6*u + 6*u**3 - u**2 - 2*u. Let t be v(-2). Let j = 153/5 - t. Is 0 less than or equal to j?
False
Let j(g) = 7*g**2 + 6*g + 6. Let k be j(-2). Is k > 21?
True
Suppose 2*l + 3 = -3. Suppose -8 = 5*h + 7. Is l greater than or equal to h?
True
Let k = -1/19 - 130/57. Let b be (30/4)/((-21)/(-28)). Let u be 6/(-21) - b/14. Which is greater: u or k?
u
Let l be ((-99)/(-121))/((-3)/4). Is 0 > l?
True
Let t(p) = -2*p**3 + p**2 - 15*p + 10. Let n(b) = -b**3 + b**2 - 8*b + 5. Let l(x) = -11*n(x) + 6*t(x). Let j be l(-4). Which is greater: -1 or j?
-1
Suppose 0 = -4*v - 2*h - 30, 2*v + 0*v + 10 = 4*h. Which is bigger: v or -2?
-2
Let l = 951 - 10473/11. Let c(u) = u**2 - 15*u + 24. Let o be c(13). Which is bigger: o or l?
l
Let g(u) = -5*u + 5*u + u + 6. Let v be g(-5). Does -1/4 = v?
False
Let m be (4 - 2 - 4) + 60/50. Let w = -1 + -1. Is m smaller than w?
False
Suppose x + x = 6. Suppose -2*f = f - x. Let p be f/((-17)/(-6) - 3). Which is smaller: p or 1/2?
p
Suppose 3*j = 4*c - 0*j, -c - 3*j = 0. Are c and 88 unequal?
True
Suppose 419 - 99 = -5*t. Let g = -389/6 - t. Suppose 255*j - 260*j = 0. Which is greater: j or g?
j
Let c = -0.04 + 0.04. Let g = c - 2. Which is greater: g or 2?
2
Let n = -231 - -680/3. Let b = n - -29/15. Which is smaller: b or -3?
-3
Suppose -12 = 33*d - 36*d. Let m = 2 + -2. Suppose m = -2*k - 3*k + 25. Is k less than d?
False
Let k(c) = -3*c**2 - 1. Let g be k(-1). Suppose 22 = -5*i - 3*t, -5*t - 13 = 4*i + 15. Let a be 14/(g/i) + -2. Which is smaller: 6 or a?
a
Let t be -4 + 2 - 140/(-55). Is 2 equal to t?
False
Let p be (1 + 9/(-3))*-1. Let c(w) = -w + 2. Let n be c(p). Which is smaller: n or -5?
-5
Let y(v) = v. Let w(i) = 4*i - 5. Let x(f) = -w(f) + 2*y(f). Let t be x(0). Is t less than 6?
True
Let i = 76/45 + -14/9. Which is smaller: i or 1/4?
i
Let f = -16 - -22. Let h = -6 + f. Is h >= -0.1?
True
Suppose d - 4*t = 147, -t - 261 = -2*d - 4*t. Let o be (-30)/d - 11/(-63). Which is greater: 0 or o?
0
Suppose -2 = y, -y - 2*y - 14 = -2*g. Suppose 4*v - 12 = -4. Is v greater than or equal to g?
False
Let g = 5 + -2. Suppose 5*l - 30 = 5*h, -3*h - l - g = l. Suppose 4*k = -2 - 2. Which is greater: k or h?
k
Let l be (-1)/(8/(-1254)) + -2. Let v = 154 - l. Is -2 > v?
False
Let a = -1 - 0. Let q(o) = 6 - o + 9 - 2. Let j be q(11). Is a <= j?
True
Let r be ((-9)/(-6))/(-3)*-14. Let t = 7 - r. Is t >= 2/3?
False
Let f(r) = -r - 26. Let o be f(0). Let w = o - -16. Is 1/4 at least w?
True
Let n(o) = -5*o - 10. Let p(f) = -9*f - 19. Let c(i) = 5*n(i) - 3*p(i). Let m be c(-5). Let t(g) = g. Let d be t(m). Are d and -4 equal?
False
Let j = -19 - -27. Suppose -4*c + j = -0. Suppose -c*u - 2*u = 0. Is 1 at most as big as u?
False
Let u be 6/33 + (-272)/44. Suppose h - 3 + 6 = 2*b, -5*h = -4*b + 21. Which is bigger: u or h?
h
Let b(m) = m + 1. Let n be b(-2). Which is greater: -8 or n?
n
Let f(u) = 10*u + 9. Let p be f(-1). Which is greater: 1/164 or p?
1/164
Let m = 251 + 168. Let a = m - 2927/7. Is a < 0?
False
Suppose 6*x = x. Let s = x + 2. Suppose t - s*t = -6. Are t and 5 unequal?
True
Let h(v) = -v + 2. Let a be h(-1). Suppose 3*g - 2 - 10 = a*s, -s = -5*g + 24. Suppose 6 = 2*q + 4. Is s less than q?
False
Let d = -0.24 - 0.06. Which is bigger: 0.1 or d?
0.1
Let q = 6 + -11. Let v = 9 + q. Let o be v/18 + (-8)/36. Which is smaller: o or 3/4?
o
Suppose 3*d + 5 = 2*c - 3*c, -15 = 3*c. Suppose -3*g + 2 = -2*g. Let v be (g - 0)/(-6)*-3. Is d less than or equal to v?
True
Suppose -6 = -2*j - 2. Suppose -j*d + 20 = 3*d. Suppose -4*p = u - 19, -5*p + 24 = -d*u + 5*u. Are u and 1/10 nonequal?
True
Let q = -5.8 + 5. Let l = -0.8 - -0.4. Let z = l - q. Is -1/4 at least z?
False
Let r be (8/6)/(4/12). Suppose r*i = -k - 41, 26 = -3*i - 0*i + 4*k. Let m be (-32)/i - 1 - 2. Are 1 and m non-equal?
True
Suppose -12 = 3*i, 5*i = d - 6 - 18. Suppose u - 2*j + d = -u, -4*u + 3*j = 5. Let m be 15/54*(-4 + u). Which is greater: -2 or m?
m
Let z = -680 + 53722/79. Which is bigger: -1 or z?
z
Let x(i) = i**3 + 3*i**2 + 2. Suppose -4*b + 0 = -2*q - 8, b = 2*q - 4. Suppose u = -2*v + 4*u, -q*v - 4 = -4*u. Let m be x(v). Which is smaller: m or 1?
1
Let n = 4.1 - 4. Let o = 0.4 - 0.35. Let m = o - -1.95. Which is greater: n or m?
m
Let o be 3/12*-2*2 - -6. Are o and 7 equal?
False
Let s(u) = -2*u + 2. Let q be (10/6 - 1)*-3. Let c be s(q). Are c and 6 equal?
True
Let y = 530/19 - 28. Let q be (-8)/(-28) - 2/7. Is y < q?
True
Suppose 5*o - 22 = -2. Let s(m) = m**2 - 4*m - 3. Let u be s(o). Is -2 greater than u?
True
Suppose 3*c - 3 = -0*c. Suppose -3*v - 4 = -c. Which is smaller: 1/4 or v?
v
Let l be 3 + -2 + ((-12)/16 - 0). Is l < -69?
False
Let y be -1 - (-4 + (0 - -1)). Let m be y - 3 - 1*-4. Suppose -n = -2*n + m. Is 4 < n?
False
Let c = 8 + -7.93. Let g = -3.9 - -4. Is c > g?
False
Let p be (-5)/60 + (-3)/12. Suppose 0 = 3*x + 2*x. Which is greater: x or p?
x
Let d(y) = -y - 8. Let x(s) = -s - 9. Let f(i) = 7*d(i) - 6*x(i). Let p be f(-6). Is 4 bigger than p?
False
Let i = 13 + -5. Let b = i + -5. Is b less than or equal to 3?
True
Suppose 5*n = 3*c - 459, 5*n + 99 = 4*n + 3*c. Which is greater: n or -91?
n
Suppose 0 = 4*q + q - 2*c - 7, -2*c = 4*q - 20. Suppose q*d = -0*d + 3. Which is smaller: d or 2?
d
Suppose -2*w + 4 = -0. Suppose -w*s + 4 + 2 = 4*n, -n = -s. Which is smaller: n or 1/13?
1/13
Let g = 0.07 + 14.93. Let r = 12 - g. Is -1 at least r?
True
Suppose -45 = -5*a - 15. Let g = a + -4. Suppose -v - 4*v - o = 0, 0 = g*v + 3*o - 13. Which is greater: v or -2/7?
-2/7
Let l(m) = m**3 + 4*m**2 - 3*m - 3. Let n be l(-4). Let j = 69 + -68. Which is bigger: j or n?
n
Suppose 0 = -3*d + 3*l + 12, -7*l = -5*d - 3*l + 17. Let y = -196394678/427 - -459941. Let z = -1/61 + y. Which is smaller: z or d?
z
Let c = -3989/13 - -307. Which is smaller: -1 or c?
-1
Let p = -1 + -1. Are p and -2 nonequal?
False
Let a = -2 + 3. Let t(u) = -2 + 4 + 0 - 1 - 3*u. Let r be t(a). Are 0 and r nonequal?
True
Suppose -4*v = -2*v + c + 1, 2*v = -3*c - 11. Let l = v -