 be (12/21)/(4/14). Suppose 5*k + 20 = 0, p*f + 0*k + 3*k + 12 = 0. Suppose 2 + f = -2*n. Are n and -5/4 unequal?
True
Let p be 24/7*(3 + 4). Which is bigger: 23 or p?
p
Let k(s) = s**3 - 8*s**2 + s - 8. Let t be 2/(-3)*(-48)/4. Let z be k(t). Is -2/25 at least as big as z?
False
Let q = -2 + 5. Suppose 5 = q*b + 2*b. Let s be 2/(-9) + -1 + 1. Is s at least b?
False
Let h = 23 + -32. Suppose -60 = 119*j - 113*j. Which is bigger: h or j?
h
Let b = 5 - 6. Let g = 6 + b. Are g and 3 equal?
False
Let l be (-2)/1 + 596/(-14). Let b = -45 - l. Which is bigger: b or -1?
b
Suppose -106 = -4*m + 6*r - 4*r, 5*m - 140 = 5*r. Suppose 0 = -6*u + u - m. Is -4 < u?
False
Suppose w - 3*w = 8. Let v(h) = h**2 + 5*h + 1. Let m be v(w). Let d = -1 - -1. Which is smaller: d or m?
m
Let h = -11 - -9. Which is smaller: -4 or h?
-4
Let u be 24/16 - (1 - (-2)/(-4)). Which is bigger: -4/13 or u?
u
Suppose -50*r = -48*r + 126. Which is bigger: r or -64?
r
Let q = -10 + 22. Let z = 24 - 11. Is z at most as big as q?
False
Let i = 2.4 + -1.5. Let a = -0.93 + i. Does 0 = a?
False
Let v = 10 - 7. Suppose -8 = -4*d - 3*x - 32, -5*d - 57 = -3*x. Let g be d/39*2/v. Is g at least -1?
True
Let z = 5 - 8. Let d = z + 6. Let p = d - 3. Is p > 0?
False
Suppose -c = 3*c + 4. Let l = -1 - c. Let a be -2 + 1 + 30/25. Which is smaller: l or a?
l
Suppose -36 + 111 = 5*o - 3*h, -5*h = o + 13. Which is greater: 2/9 or o?
o
Let k be (1 - 3) + (-144)/(-78). Let g(q) = q**3 + 4*q**2 - 5*q + 5. Let b be g(-5). Suppose r + b = -3*y + y, 4*r + 20 = -3*y. Which is bigger: k or y?
y
Suppose 9*j = 5*j - 20. Let z = j + 11. Which is smaller: 5 or z?
5
Let k = 10 - 8.8. Let d = -1.1 + k. Do d and 0.1 have different values?
False
Let h(b) = b + 4. Let t be h(-4). Let i be t - (1 + 1014/21). Let l = i - -49. Which is greater: -1/5 or l?
-1/5
Let y = 629/12760 - 3/232. Let t = 656002/259105 + -2064/673. Let m = y - t. Which is bigger: m or 0?
m
Let w = 12 + -9. Suppose -4*v + 4*d = -20, 0 = -w*v + 2*d + 2*d + 13. Are 9 and v equal?
False
Let z = 1 + -1.2. Let p = -2.6 + 3. Let b = -0.3 + p. Which is smaller: z or b?
z
Let n = -9 + 5. Let v be n/6 + 1/(-3). Is v greater than 1/3?
False
Let d(l) = 2*l**2. Let i be d(-2). Let s be 22/i + 5/20. Which is greater: s or 1?
s
Let x be 17/((-34)/(-12) + -3). Is -102 bigger than x?
False
Let x = -187/122 + 2/61. Let z be ((-420)/(-4361))/((-2)/14). Let j = -2/267 - z. Which is smaller: j or x?
x
Let o(t) = -t**3 + 5*t + 10. Let a(l) = -l**3 + 6*l + 11. Let x(z) = -6*a(z) + 7*o(z). Let h be x(0). Which is greater: h or 5?
5
Let p be (15/24)/(14/10). Let x = 1/14 - p. Is x > 1?
False
Let j be 3 + -5 - (-20)/5. Is 6/5 < j?
True
Let g(j) = -j**2 - 3*j - 2. Let n be g(-3). Let b be 3/12 - 6015/44. Let d = -137 - b. Which is smaller: d or n?
n
Let n be ((-2)/18 - 0) + 10/45. Which is greater: -1 or n?
n
Let l be 6/14 + 1632/(-3906). Which is smaller: l or 0?
0
Suppose s - 2*s + 15 = 0. Which is smaller: s or 17?
s
Let o = -9 + 11. Which is bigger: o or 4?
4
Let g(y) be the first derivative of y**3/3 - y**2 - 2*y - 4. Let u be g(-1). Which is bigger: u or 3?
3
Let i(k) = k**2 + 10*k + 22. Let t be i(-6). Is 0.14 less than or equal to t?
False
Let u = -47.9 - -48. Is -4.7 <= u?
True
Let q(b) = -23*b**2 + b - 2. Let z be q(1). Which is bigger: -23 or z?
-23
Let j = -10 - -6. Let u = j - -3.5. Let n = 1.5 - u. Is -1/3 equal to n?
False
Let h be (4/6)/((-1610)/(-285)). Let w = h - 6/23. Are w and 0 non-equal?
True
Suppose 0*n - n = -z + 8, -5*z = 4*n + 68. Are -11 and n unequal?
True
Suppose -7*x = 3*p - 2*x + 10, -6 = 2*p + 3*x. Which is smaller: -1/15 or p?
-1/15
Let v = -238 + 158. Is -81 smaller than v?
True
Let g = -57 - -75. Which is smaller: 19 or g?
g
Let p = 0.2 + 0.8. Suppose j + 6 - 3 = 0. Let x(y) = y**2 + 2*y - 3. Let f be x(j). Which is smaller: p or f?
f
Let w(n) = 2*n - 9. Let r be w(4). Is -2/409 at least as big as r?
True
Let x = 15 + -15. Which is smaller: x or 0.07?
x
Suppose 4*u - u - 756 = 0. Let j = u + -1767/7. Is 0 at most j?
False
Let r(q) = -q**3 + 11*q**2 - 10*q + 1. Let m(p) = -p**2 + 8*p + 3. Let y be m(7). Let v be r(y). Which is smaller: 2 or v?
v
Suppose 4*v + 3 = -1. Let d be 3 + v + 32/(-14). Let i = 0.8 - 1.1. Is i less than d?
True
Let m = 1 + 0. Let v be (-2)/9 - 50/(-144). Is v bigger than m?
False
Let f = -0.025 + 0.325. Let i = 0.2 + -0.3. Is f smaller than i?
False
Let u = 1.1 - 12.1. Let s = u - -11.16. Let w = 0.06 - s. Which is smaller: w or 0?
w
Let c = -2 + 11. Suppose 5*m - 1 - c = 0. Suppose m = 2*f - 0. Which is greater: 2 or f?
2
Let t(b) = -b**3 + 4*b**2 + 2*b - 3. Let h be t(4). Let l = -5 + h. Is l > 2/13?
False
Suppose 0 = -q - 0*q - 4. Let b(l) = -l**3 - 5*l**2 - 3*l + 1. Let k be b(-3). Let o = k - -5. Is q greater than o?
False
Suppose -1 = 4*j - 17. Suppose -j = -3*p - k, 0*p - 2*k - 1 = -3*p. Let a be p/(30/64) + -2. Is a > 2/3?
False
Let b = 38 - 22. Let m be -2*-2*(-4)/b. Is m smaller than 1?
True
Suppose -4*l = 5*h - 130, -h = -0*h - 5*l - 55. Suppose -g + 4 = m, -5*g + 11*m - 6*m = -h. Is 5 at least as big as g?
True
Let o = -13 - -22. Let b = -8 + o. Does 1/14 = b?
False
Let d = 1591/9 - 177. Let s(i) = i**2 - 9*i + 13. Let k be s(7). Which is smaller: d or k?
k
Suppose 2*y = -2*l - 16, -11 = -3*y - 5*l - 43. Let r(z) = z**2 + 4*z - 7. Let i be r(-5). Which is bigger: i or y?
i
Suppose -20 = -9*y + 5*y. Suppose -5 + 0 = y*x. Let b = -25 + 49/2. Do x and b have the same value?
False
Let z be ((-50)/(-30))/(1/6). Which is bigger: z or 8?
z
Let x be 2 - (3 - 0 - 2). Suppose -5*m - 6 = 4*f - 6*m, -3*f - 2*m = -x. Which is bigger: -3 or f?
f
Let r = 4 - 8. Let x = -3 - -2. Which is greater: x or r?
x
Let b be 4 - 0 - 49/12. Are -1 and b equal?
False
Let s(z) = -z + 1. Let l = 14 + -11. Let u be s(l). Which is greater: -3 or u?
u
Suppose -4*c + 20 = c. Which is smaller: c or 3?
3
Let o = -3 - -5. Suppose -v = -o*v. Let g be v + 2 + 36/(-14). Which is smaller: -1 or g?
-1
Let a = -23 + 23. Suppose -2*o + 8 = 0, 3*c + o + 3*o - 16 = a. Are c and 1/3 equal?
False
Let j = 11.3 + -1.3. Let s = 6 - j. Let p = 0.22 + -2.22. Does s = p?
False
Let o = 19/9 + -205/63. Which is smaller: o or -2?
-2
Let z(d) = -d**3 + 6*d**2 - 7*d - 4. Let k be z(4). Which is smaller: -3/7 or k?
-3/7
Let c = 71563/65 - 1101. Let q(y) = -27*y + 135. Let w be q(5). Is w at most c?
False
Suppose 4*g + 2*f + f + 39 = 0, 75 = -5*g + 5*f. Let d = -18 - g. Let k be (-4)/(-14)*d - -2. Is k at least 1?
False
Let k = 10 - 11. Suppose -3*u = j + 3*j + 1, -3*u = 3*j. Is k <= j?
True
Let z = 0.3 + -0.1. Suppose -40 - 86 = 3*r. Let t be (-2 - r/9) + -3. Which is smaller: z or t?
t
Suppose -5*a + 3 - 83 = 0. Is -15 less than a?
False
Suppose 7*r + 20 = -22. Is -14/3 < r?
False
Let d(y) = y - 4. Let g be d(6). Suppose -5*i + g*i = -75. Let c be 15/i - 2/20. Which is greater: 1 or c?
1
Let o = 2 - 0. Let c(b) = b**2 - 4*b + 1. Let p be c(o). Let r be 1/2 + (-18)/4. Which is smaller: r or p?
r
Let d be (38/(-36))/((-4)/(-6)). Let g = -477 + 2873/6. Let a = d + g. Is a >= 1?
False
Let m(k) = k - 5. Let f be m(4). Which is greater: -2/13 or f?
-2/13
Let z = -10 - -11. Let p = 4 + -3. Let k = p - z. Is 0 greater than or equal to k?
True
Let v be (-30)/(-12) + 3/6. Suppose -2*f - 5 = -f, v*d - f + 13 = 0. Are -6 and d non-equal?
False
Suppose 0*t - 4*t + 8 = 0. Suppose -4*n + 31 = -3*r, t*n + 11 = -4*r - 1. Let q be (1/r)/(2/(-8)). Are 1 and q non-equal?
True
Let a(j) be the second derivative of 1/2*j**2 - 2*j + 0 - 1/3*j**3. Let w be a(1). Which is smaller: -2 or w?
-2
Suppose -4*a - 5 = a. Suppose -2*v = 4*v + 6. Is v at least a?
True
Suppose -3*p + 2*j - 48 = -208, -55 = -p + j. Suppose 0*v - 4*v = 3*b - p, -v + 2 = 0. Is b at most 14?
True
Let r(c) = -c**3 + 2*c**2 + 5*c - 3. Let a be r(3). Which is bigger: 7/3 or a?
a
Suppose 2*q - 5*q + 9 = -2*a, 2*a + 1 = -5*q. Which is bigger: 58 or q?
58
Let k(d) = -3*d**2 - 2*d - 1. Let p be k(-1). Let g(b) = b**2 + b**3 + 0*b**3 - 2*b**3 + 9 - 7*b**2 + 2*b. Let m be g(-6). Which is smaller: p or m?
m
Suppose -4*r + 5 = 8*z - 3*z, 5*z + 5*r - 5 = 0. Is z at most 2/9?
False
Let h be ((-50)/8)/(((-75)/20)/15). Which is greater: h or 24?
h
Suppose -21*l = -24*l - 198. Do -65 and l have different values?
True
Let q = -5