equal to f?
True
Let l = -56/9 - -139/18. Which is bigger: 3 or l?
3
Let y(g) = g**2 - 7*g + 6. Suppose 20 + 15 = 5*x. Let k be y(x). Suppose k*z + 8 = 2*z. Which is smaller: z or -1?
z
Let y be ((-4)/6)/((-8)/(-228)). Let i = 56/3 + y. Which is smaller: -12 or i?
-12
Let t = -14 - -12. Let g = 2 + t. Do g and -2/27 have the same value?
False
Let p = -0.01 - -0.31. Let v = -0.2 - -2.5. Let l = v - p. Is l greater than or equal to 0?
True
Let v = -90 + 150. Let z be (16/v)/(4/(-6)). Which is greater: z or -1?
z
Let n(w) = -w**3 - 10*w**2 + 9*w - 20. Let d be n(-11). Suppose -3*o + 4*m = -20, 0 = 3*o + 2*m + 3 + 7. Suppose -2*v + v + 1 = o. Which is greater: v or d?
d
Suppose -y - 3*y = 132. Which is smaller: -36 or y?
-36
Suppose -5*i + 25 = 5*r, -2*i + 3 = -5*r - 0*i. Let x be (5/4)/((-2)/(-8)). Suppose -2*t + r = x. Which is smaller: -3 or t?
-3
Let g = -3 + 3.1. Is 30 smaller than g?
False
Let y = 3/23 + 83/69. Do y and 1 have different values?
True
Suppose -45 = -5*k - 4*g - 20, 2*k = 4*g - 18. Let x(v) = v**2 + 8*v - 13. Let b be x(-9). Is b <= k?
True
Let r(b) = b + 4. Let q be r(-5). Which is smaller: q or -2/117?
q
Let y be -10*2/(-12) + 10/(-15). Is -2/41 != y?
True
Let w = -1.44 + -5.56. Is 7 <= w?
False
Let o(x) = -x**3 + 5*x**2 + 8*x - 9. Let s be o(6). Let a be 4/6 + (-40)/105. Which is smaller: a or s?
a
Let i = 7 - 5. Let r = 0.35 + 1.45. Let l = i - r. Which is bigger: -3 or l?
l
Let b = -1 + -7. Let u = -10 + b. Let t be 3/u*(1 - 5). Which is greater: t or 0?
t
Let s = 25/33 + -12/11. Let f(r) = r + 7. Let a be f(-6). Which is smaller: s or a?
s
Let z be 4/(-6)*(-8 + 5). Is z at least as big as 3?
False
Let s = 2 + -4. Let g be (-18)/4*s/3. Suppose g*p + 2*p = 0. Which is smaller: p or -1/4?
-1/4
Let a = 11 + -7. Let b = a - 6. Let i be (28/(-21))/(b/(-6)). Is i > -6?
True
Let u be (-1 - 0)/(1*-1). Let z(w) be the second derivative of w**3/6 - 3*w**2/2 - 3*w. Let l be z(4). Do u and l have different values?
False
Let k be (-4)/((-2)/2)*7/14. Suppose 2*x + 1 = -4*n + 7, 2*n + 5*x = 15. Which is smaller: n or k?
n
Let h = -0.05 - 0.11. Which is bigger: -1/3 or h?
h
Suppose 2*d = -d. Let z = d + 10. Let i = -7 + z. Which is greater: 4 or i?
4
Let j = 760/7 - 108. Which is bigger: 1 or j?
1
Let b = -0.1 + 0.1. Suppose 3*i + 5 = 4*h + 2, -5 = 5*h + 5*i. Does b = h?
True
Suppose -3*v = v - 12. Suppose d = -v*d. Which is bigger: d or 3?
3
Let l = -6 - -5. Which is smaller: -1/26 or l?
l
Let y = 38132932/21 + -1815457. Let c = 397 - y. Which is smaller: c or 0?
0
Let n(g) be the third derivative of -g**4/24 + g**3/2 - 3*g**2. Let u be n(-3). Let m be 4*(-1)/(-2)*3. Is m not equal to u?
False
Let m(u) = -u. Suppose 0 = -2*h - 2*h + 36. Let s be h/(-12) - (-2)/(-8). Let v be m(s). Which is bigger: v or 1/3?
v
Suppose 0*x + x = -9. Let a = x - -6. Let o = -26/9 - a. Is -1 equal to o?
False
Let c = 109.3 - 101. Let z = 8 - c. Is z at least as big as 1?
False
Let k(t) = -t**3 + 4*t**2 + 2*t - 1. Let f be k(-2). Which is greater: 18 or f?
f
Let a(f) = -f**2 - f + 2. Let g be a(-2). Suppose 4*s - 12 = -3*m, g = -3*s - 5*m - 0 + 20. Which is smaller: -3 or s?
-3
Let h = -13.1 + 4.1. Is h smaller than 2?
True
Let i = -448/311 + -354825/2177. Let j = i - -164. Suppose 3 = f + 2*t - 0, -3*t + 5 = f. Is f > j?
False
Let b = 3/236 + 2333/2124. Let h = -11/18 + b. Is -0.1 less than or equal to h?
True
Let o = 13 + -16. Let j(u) = -u - 2. Let s be j(6). Let w = s + 6. Are w and o unequal?
True
Let m = -0.12 + 0.19. Which is greater: m or 0.1?
0.1
Let l be 4 + (-1 - (-2)/(-2)). Let f be 349086/(-621) - l/(-9). Let s = f - -562. Is s less than -1?
False
Let r = -353 + 352. Let h = 80/27 - 26/9. Is r at most h?
True
Let x(u) = 4*u - 1. Suppose -5*p + 5 = -0*p. Let f be x(p). Let r(w) = w**3 - 4*w**2 - 13*w + 9. Let y be r(6). Are y and f equal?
True
Let n be (5 - 4) + (0 - 1). Let l(w) = -w**2 - 7. Let g be l(n). Are g and -7 unequal?
False
Suppose 2 = -c - 0. Let k be 1 - c - (9 + -4). Is -12/5 less than k?
True
Suppose 2*t + 0 = 8. Suppose -23 = -t*y - 7. Is y != 3?
True
Let m be (-1)/((9/(-6))/(-3)). Let b = -1 - 3. Which is smaller: b or m?
b
Let g = 282 - 866/3. Are g and -8 non-equal?
True
Let m = 278 - 154. Which is smaller: m or 123?
123
Let u(f) = -f + 6. Let l be u(0). Suppose 2*o + j = 5, -4*o - 3*j = -7 - l. Which is greater: o or -2/7?
o
Let d be (-12)/(-18) - (-1)/(-3). Which is greater: d or 1?
1
Let m = -0.03 - -4.03. Let d = m + -3. Is 1 <= d?
True
Let l be -2 + (61/2 - -2). Let h = -31 + l. Let d(m) = m**2 + 4*m + 2. Let a be d(-3). Is a at most as big as h?
True
Let v = -5 - -6. Let u(d) = -10*d**3 - d**2 + 1. Let f be u(v). Let x be ((-8)/10)/(18/f). Which is bigger: 1 or x?
1
Let i = -1/12 - 1/12. Is 1 < i?
False
Let p be (9/2)/(8/16). Suppose 5*v = 3*a + 53, 0*v + a + 31 = 3*v. Is v at most as big as p?
False
Suppose 2*d + 4 = -f - 3*f, 2*d = 3*f + 17. Are d and 5 non-equal?
True
Let s = -613 - -6709/11. Is -3 at least s?
True
Let s = -31 - -22. Suppose -2*x + z = 15, 0 = -x - 3*x - 4*z - 48. Is s equal to x?
True
Suppose l = -l + 8. Let t = l + 0. Suppose -3*d + 2 = -t*d. Which is smaller: d or -1?
d
Let w be 2 + (2/(2/2) - 18). Is w smaller than -13?
True
Suppose -3*i - 4*q - 2 = 9, -q = -5*i - 3. Is -2/11 >= i?
True
Suppose -4*n - 20 = -3*y - 0*n, -y - 10 = 2*n. Which is smaller: y or -2/65?
-2/65
Let m = -0.97 + 0.77. Is 1/14 less than m?
False
Let k be 106/(-8) + (-1)/(-4). Which is greater: -12 or k?
-12
Let d(f) = -f**2 + 9*f - 6. Let y be d(8). Suppose 4 = -y*v, 3*j = 3*v - 16 + 4. Let a = j + 8. Which is bigger: a or 1?
a
Let a(u) = 2*u. Let p be a(3). Suppose i - p*i = 0. Let j = 91/6 + -29/2. Which is greater: j or i?
j
Let w(q) = -4*q + 19. Let a be w(6). Let o(t) be the second derivative of t**5/20 + t**4/2 + 2*t**3/3 - 3*t**2/2 + t. Let n be o(a). Which is bigger: n or 1/2?
n
Suppose 3*w + 16 = -c - 8, -4*w - 2*c - 32 = 0. Suppose 0 = 5*l - 2*x + x + 17, -5*x - 15 = 0. Let z(y) = 3*y + 4. Let p be z(l). Is w at least as big as p?
True
Let z be (1/(-14))/(4/48). Do 1 and z have the same value?
False
Suppose 3*b + 7 = 2*d + 3, 3*d = 4*b + 5. Let u(a) = -a**3 + 3*a**2 + 5*a - 6. Let m be u(4). Which is smaller: m or d?
m
Let n be (-3 - 0)*-1 + 1. Suppose n*s = s + 3. Suppose 3*l = -3 + 6. Is l < s?
False
Suppose 0 = 2*r - 7*r. Is -1/10 > r?
False
Suppose -4*j + 27 = -j. Which is bigger: 11 or j?
11
Let p = -62592056 - -7323342029/117. Let b = 6132/13 - p. Let i = -139 - b. Which is smaller: i or -1/3?
-1/3
Let d be ((-1)/((-3)/6))/(6/33). Is 10 < d?
True
Let k = 487/5 + -106. Which is greater: -9 or k?
k
Suppose 3*c + 15 = r, 6 - 31 = 3*r + 5*c. Suppose 3*m = -g + 6*g - 3, r = -4*g - 12. Which is bigger: -5 or m?
-5
Let r be -10*1/2*3. Is r less than or equal to -15?
True
Let t be (2/(-1))/(44/(-10)). Is 1 bigger than t?
True
Suppose 0*t + 3*t = 3. Let g = 83 + -84. Which is greater: g or t?
t
Let b = 100 - 64. Is b smaller than 37?
True
Suppose -3*d + 8 = -7. Let n = d + -6. Which is smaller: 0.1 or n?
n
Let d = 4 - 0. Suppose a + d - 1 = 0. Suppose -w + 3*w = -4*h - 18, 4*h + 14 = 2*w. Is w > a?
True
Suppose -o - 5*r = -10, -4*r + 8 + 0 = o. Let s = o + 1/4. Let f be (-6)/33 + 2/11. Which is bigger: s or f?
s
Let n(u) = -7*u + 0*u + 2*u. Let o be n(1). Let h = -8 + 3. Is h equal to o?
True
Let w(g) = -10*g - 4. Let l be w(-6). Let n = 277/5 - l. Do -2/3 and n have the same value?
False
Suppose 6*r = -0*r + r. Which is smaller: -4/21 or r?
-4/21
Suppose 0 = 4*d + 15 - 7. Are 3/2 and d equal?
False
Let v(p) = -p**3 + p**2 - p + 2. Let s be v(2). Let a be s/(-3) + 2/(-6). Let o be -1 - -1 - 0/2. Is o less than or equal to a?
True
Let n(g) = -3*g + 2. Let b be n(-2). Let p(y) = y**2 - 10*y + 10. Let r be p(b). Let v be (-3)/8*(-4 - r). Which is smaller: 2/5 or v?
v
Suppose -4*r = 3*b - 2*b - 26, -2*r + 6 = 0. Suppose -5*q + 33 = -7. Suppose 0 = 3*k - q*k - a + b, -3*a + 12 = 0. Is 3 > k?
True
Let f be 6/(-21) - 20/(-364)*8. Is -2/5 at most f?
True
Let f(x) = -x**2 + 8*x - 1. Let o be f(7). Let z be (4/o)/((-4)/6). Let p = 41 + -122/3. Which is smaller: p or z?
z
Suppose -l + 12 = -18. Suppose -3*z + 6 = -u - 12, -5*z + 5*u + l = 0. Is 6 != z?
False
Let l be ((-3 + 21)/3)/((-6)/32). Which is bigger: -30 or l?
-30
Let x