e j and z equal?
False
Suppose c - 4*o + 23 = 0, 2*c - c - 12 = -3*o. Let t be ((-5)/(-2))/(c/2). Is t bigger than -1?
False
Let l(a) = a**3 - 2*a**2 - a - 3. Let t be l(3). Suppose -t*s = -s - 4. Let p(h) = h - 1. Let f be p(2). Which is greater: s or f?
s
Let s be ((-15)/2)/(2/(-4)). Suppose 0*u - 5*u + s = 0. Which is smaller: u or 2?
2
Let r = 16 - 14. Which is bigger: r or 15?
15
Let k = 4 + -4.4. Let z = 0.3 + k. Let h = z + 0.1. Which is smaller: h or -0.2?
-0.2
Let n = -7 - -2. Let q = n - -6. Let t = q + 1. Does -1/5 = t?
False
Let w be 59/(-3) - (5/(-3) + 1). Which is greater: w or -17?
-17
Let o(l) = l**2 - 5*l + 3. Let k be o(7). Is 16 < k?
True
Let n = -249 + 367. Let o = 597/5 - n. Let f = 1 - o. Is -1 >= f?
False
Let d = -14 + 13.89. Let z = -1.11 - d. Which is smaller: -0.8 or z?
z
Suppose -4*l = -2*y - 34, -5*y - 31 = 4*l + 12. Let j = 16 + y. Which is bigger: 7 or j?
7
Let f be 206/(-14) + 6/(-21). Let d be 116/30*(-100)/f. Let r = d + -26. Which is greater: r or 1?
1
Suppose 3*v = -5*o + 5*v - 27, -6 = 2*o + 4*v. Let u(m) = -m**3 - 8*m**2 - 5*m + 8. Let n be u(-7). Which is smaller: n or o?
n
Let f = 38/3 + -184/15. Let g(n) = 2*n**2 - 4*n + 2. Let d be g(3). Suppose -d = -2*o - 4*j, -3*j + 6 = 3*o - 7*o. Is o smaller than f?
True
Let k(t) = -t**3 + t**2 + t. Let z be 3 + (1 - (1 + 2)). Let r be k(z). Suppose -o - o + 6 = 0. Which is bigger: o or r?
o
Let b(p) be the second derivative of p**3/3 - 3*p**2/2 - 3*p. Let o be b(2). Suppose 0 = q - 0*q + o. Are 0 and q equal?
False
Let c = -68/105 + -2/105. Is -1 >= c?
False
Let s(t) = t - 5. Let g be s(6). Is g greater than or equal to -13?
True
Let s = 0.15 - -0.05. Let i = 0 - s. Which is greater: i or 0.2?
0.2
Let d = 450/7 - 64. Let q = -98/3 + 33. Does d = q?
False
Let r(h) be the first derivative of h**4/4 + 7*h**3/3 + 2*h**2 - 14*h + 2. Let i be r(-6). Which is greater: -3/5 or i?
-3/5
Let o be 1 + -4 - (6 - (-2113)/(-235)). Which is smaller: o or -1?
-1
Let q be 0 - (-3)/(-3)*1. Let y(a) = 13*a**2 - 2*a - 1. Let w be y(q). Let v be (-4)/3*3/w. Which is greater: 1 or v?
1
Suppose 0 = -n - 2*n + 4*y - 12, 5*n + 20 = 5*y. Let i be n/1 - (4 + -9). Let x = -187 - -1307/7. Does x = i?
False
Let d be 2 + -5 + 4 + -1. Suppose 10 = -5*t - d*t. Which is greater: -12/11 or t?
-12/11
Let y be (2 - 5/2)*0. Are -6/11 and y nonequal?
True
Let c be ((-30)/8)/(6/(-16)). Let i be c/(-4) - 1*-2. Are i and 1/4 equal?
False
Let s be ((-7)/(-28) + 5/(-4))*3. Which is greater: -7 or s?
s
Let o = 4/17 - 25/34. Let g = -29 + 35. Is g smaller than o?
False
Suppose 4*x - 103 = -4*h - 39, 3*h = 4*x + 83. Which is smaller: h or 20?
20
Let d = -124 + 118. Is d at least 1?
False
Let d = -5 - -1. Let c = 7 + d. Which is bigger: c or 0?
c
Let m = 6 - 10. Suppose 2*p + 3 = 4*j + 5, 2*j - 14 = 4*p. Which is smaller: j or m?
m
Let s be -1 + 4 + -2 + -2. Suppose c + 3*c + 4 = 0. Is s smaller than c?
False
Let g be (-13)/(-2) - (-1)/(-2). Suppose -g + 26 = -2*u - 2*z, 3*u = 3*z. Is u less than or equal to -6?
False
Suppose 0 = 5*k - 7 - 38. Let v be (-3)/k - (-20)/6. Let f = v - 2. Which is smaller: 3 or f?
f
Let o = 2322 - 44106/19. Is o != 0?
True
Let r be (-252)/580 + (-2)/(-5). Which is smaller: -1 or r?
-1
Let h(m) = -m**2 + 2*m - 2. Let i be h(1). Is 2/89 > i?
True
Let t be (-4)/(-36)*6*-1. Let d = 3.03 - 0.03. Let q = 3.1 - d. Is t greater than q?
False
Suppose 2*h - 20 = 7*h. Let d be (-7)/h - (-1)/4. Let s = -2 + d. Is s > 1?
False
Let n = -31 - -30. Is n < 1?
True
Let x(p) = -p**2 + 7*p - 6. Let a be x(5). Is 8 less than or equal to a?
False
Suppose -3*j = -p + 20, -3*j + 3*p + 0*p - 18 = 0. Suppose 5*h + 12 = -13. Let v be 4/14 + h/j. Which is smaller: v or -2/15?
-2/15
Let w = 0.53 + -0.33. Do -4/13 and w have the same value?
False
Let x = 19 - 25. Let r(l) = -l**3 - 4*l**2 + 5*l - 7. Let c be r(-5). Is c < x?
True
Let p = -1417253/144744 + -4/18093. Let j = p - -29/3. Which is smaller: j or 0?
j
Let m(n) = -n**3 - n**2 + 2. Suppose k = -k. Let l be m(k). Let q be l + (30/4)/(-3). Is q less than -3/4?
False
Let v = 0.23 + -2.23. Which is smaller: v or 1?
v
Let k(r) = r + 2. Let d = -4 - 2. Let c be k(d). Let t be (-34)/(-9) + c/(-18). Which is greater: -0.1 or t?
t
Let r = -11 + 17. Suppose 25 = 5*t, 4*h = 3*h + 2*t - 6. Suppose -2*x + 20 = 5*b - h*x, b + 4*x = 4. Which is smaller: r or b?
b
Suppose 5*j - 30 + 4 = -4*r, 0 = 2*r - 5*j + 2. Let p(n) = n + 1. Let g be p(4). Which is smaller: r or g?
r
Suppose -h - 24 = -5*h. Let p = -8 + h. Let r be p/7 - 16/42. Which is smaller: -1 or r?
-1
Suppose -2*u = -7*u + 40. Suppose 0 = -k - 2*p - u, 4*p = -16 - 0. Which is bigger: 6/11 or k?
6/11
Let s = -1.4 + -5.6. Let n = 45.8 + -46. Are s and n equal?
False
Let t(m) be the first derivative of -1/2*m**2 - 11*m + 4. Let a be t(-10). Which is smaller: a or -1/3?
a
Let b = 14 - -7. Let y = 19 - b. Is 0 at most y?
False
Let t be 6/4*(-2)/(-3). Suppose -4*i + f = 46, i = 6*i - 5*f + 65. Let x = -12 - i. Does t = x?
False
Let l be (-2 + -2 - -4)*1. Are 3 and l unequal?
True
Suppose -c = 4*r - 6, -6*c + 24 = -2*c - 3*r. Suppose c*l = 5*l + 3. Is l not equal to 1?
True
Suppose -2*s - p + 73 = -4*p, 0 = s - 3*p - 35. Is s less than or equal to 35?
False
Suppose 3*u + 19 = 4*d, -5*u + 3 = -d + 3*d. Let p = 3 + u. Let f be 21/(-12) + 0 + p. Is 2 > f?
True
Suppose -o + 4 = 0, -18 = a - 2*o - 2*o. Which is smaller: -4/3 or a?
a
Let a = 8 - 5. Suppose 5*s = -a*x - 18, -3*s - 11 + 0 = 2*x. Let d = s + 0. Is -3 < d?
False
Let t be (2/18)/((-30)/9090). Is -34 at least t?
False
Let l(p) = p**2 - p - 3*p**2 + 2*p. Let x be l(1). Let v be -4 + (5 + -3)*1. Which is bigger: x or v?
x
Suppose 0 = 2*q + 3*q - 25. Let d(l) = -l**2 + 6*l - 1. Let c be d(q). Suppose u = -u + c. Is u less than or equal to 1?
False
Let w = -9 - -14. Suppose -w*i = -9*i + 12. Let c = 15 - 11. Are i and c equal?
False
Let g(m) = -2*m + 3. Suppose 3*o - 7 - 5 = 0. Let d be g(o). Which is smaller: -1 or d?
d
Let t = 249 + -4235/17. Which is smaller: -1 or t?
-1
Let c = 0.1 + 0.2. Let w = -4.3 - -4. Let g = w + c. Which is smaller: 2 or g?
g
Suppose 6*y + 14 - 2 = 0. Let c = 0.1 - -0.1. Which is bigger: y or c?
c
Let n = 12 + -12. Is n < 10?
True
Let n(z) = z**3 + z + 2. Let q be n(0). Suppose q*a = 3*a. Which is smaller: 2/5 or a?
a
Let o(x) be the second derivative of -x**3/6 - x. Let b(i) = 2*i. Let z(m) = 6*b(m) + 13*o(m). Let a be z(-1). Is a equal to 2?
False
Suppose 0 = 5*c - f + 40, c - 2*f + 8 = -f. Let r = c - -11. Is r greater than or equal to 3?
True
Suppose -3*s - 2*p - 2*p = 26, -5*s = 5*p + 35. Let l be (-8)/6*(-3)/(-2). Is s at most as big as l?
True
Suppose 0*z - 22 = -2*z. Let y = -12 + z. Is -1/4 >= y?
True
Suppose 2*a - 13 = -11. Let x be a - 2/((-162)/(-87)). Which is bigger: x or -1?
x
Let b be (2*-1)/(-2*1). Let i be (1/2)/((-3)/156). Let c = i + 53/2. Which is smaller: b or c?
c
Let q(c) = -3*c**2 - 42*c - 19. Let h be q(-14). Is h bigger than -3?
False
Let w = 3.6 - 3. Let n = w + -0.7. Let u = n + -0.9. Which is greater: 0 or u?
0
Let m = -3 - -2.9. Let t = 12 - 13.9. Let n = -1.1 + t. Which is smaller: m or n?
n
Let h be ((0 - -2)/(-1))/(-4). Let f(r) = -r**3 - 6*r**2 + 1. Let l be f(-6). Is h != l?
True
Suppose 0 = -5*l - 25, -4*z - 3*l + 6 = 5. Is z at least 5?
False
Let j(n) = 2*n + 7*n**2 + 4 + 1 - 4 - 2. Let l be j(1). Let r = -8 + l. Is -4/11 greater than r?
False
Let s(c) = 5*c - 1 - c - 3*c. Let j be s(1). Is j >= -4/5?
True
Let y be (-6 - 0)*4/3. Let j be 36/y*(-4)/3. Is 6 > j?
False
Suppose 0 = -x + 2*z + 6, 3*x + 3*z = -0*x - 18. Let y be 183/(-63) + 1 - x. Which is smaller: -1 or y?
-1
Let p(j) = j**3 + 10*j**2 + 10*j + 3. Let g be p(-9). Let i = -8 - g. Is 0 at least as big as i?
True
Let b = -4 + 25. Let c = -14 + b. Let r = c + -3. Is -1/2 <= r?
True
Suppose -2*y = -4*y. Do -2/9 and y have different values?
True
Let g be 3/8 - (-7125)/(-15800). Is 0 less than g?
False
Let v = -0.88 + 4.88. Which is smaller: -2/9 or v?
-2/9
Let y(k) = -k**3 - k**2 - 2*k - 1. Let r be y(-1). Let l be (-10)/(-30)*(0 + 9). Which is greater: r or l?
l
Suppose 10*k - 10 = 5*k. Let n = k - 2. Is n at least -3/4?
True
Let w be 2/(-26)*4*9. Let g = -146/1423 + 408880/129493. Let o = g + w. Is o less than or equal to 0?
False
Let b = 