e
Let s be 1/(-4) + 5/52. Is -1 smaller than s?
True
Let s(u) = -u + 8. Let g(p) = 2*p**2 - 2*p - 3. Let a be g(3). Let k be s(a). Is -3 greater than or equal to k?
False
Let i = 61/60 - 5/12. Let z = 0 + 0. Does i = z?
False
Let r = 21 - 21. Do -3/32 and r have the same value?
False
Let u(p) = p**3 - 1. Let j be (-2)/(-8) + (-3)/(-4). Let c be u(j). Let t be 33/90 + (-4)/8. Which is smaller: c or t?
t
Let z be -3 - (4/(-10) - 1). Are z and 2 equal?
False
Let n be (-3 + 3 - -3)/(-1). Is 2/11 greater than or equal to n?
True
Let a = 14 + -14. Let j(v) = -v**3 - 7*v**2 - 4*v. Let s be j(-6). Let f be (-6)/9 + (-2)/s. Is f at least as big as a?
False
Let b = 76 - 75.8. Which is greater: 1 or b?
1
Suppose 0 = -3*j - j - 8. Let s be j*8/4*1. Do -3 and s have the same value?
False
Let k(m) = 5*m - 1. Let n(s) = 3*s - 1. Let z(j) = -5*k(j) + 8*n(j). Let r be z(-3). Let c be (-1 - -2) + 9/(-12). Do r and c have different values?
True
Let k(f) = -3*f - 49. Let m be k(-23). Let v = 36 - 16. Is v greater than or equal to m?
True
Let i = -0.153 - -0.053. Which is greater: -20 or i?
i
Let c = 13 + -12.91. Is 0 at most as big as c?
True
Let t = 3 - 7. Let c = 1 + 2. Let n be c*t/(-3) + -1. Which is bigger: n or 0?
n
Let l(m) = 3*m + 19. Let d be l(-6). Suppose -4*k + 3*v + 5 = -6, 0 = v + 1. Which is greater: k or d?
k
Let u = -48 - -47. Let k = -96.06 - -99. Let w = 0.06 + k. Is w < u?
False
Let t be -3 - ((-18)/21)/(-2). Let h = t - -22/7. Let y be 39/(-15) - (2 - 4). Is y at most as big as h?
True
Suppose -5*v + 2 = -18. Suppose -2*d + v*d = -2. Let p be 0 + -2 + (-48)/(-20). Which is smaller: p or d?
d
Let u = 20 - 20.2. Let z = 0 + u. Is z > -1?
True
Let a be ((-12)/(-270)*5)/(-2 + -1). Is a not equal to 1?
True
Suppose 0*j + 2*v + 1 = 5*j, -j - 5*v = 16. Let n = 4 - 6. Is n equal to j?
False
Let w = -750/1133 - -12/103. Which is smaller: -0.1 or w?
w
Suppose -h + 9 = a + 2*a, -21 = -5*h - 3*a. Is h >= 0.3?
True
Let d be 0 - (-3)/9*35. Does d = 11?
False
Let d(b) be the first derivative of b**4/4 + 5*b**3/3 - 5*b**2/2 + 6*b - 7. Let l be d(-6). Is l at most -4/5?
False
Let b = 76 + -76. Which is smaller: b or 1/38?
b
Let b = -20.4 - -23.4. Let p be (-3)/(-4)*4/6. Is b >= p?
True
Suppose 8 = -4*q - 0*q. Let w = 0.1 - 7.1. Let f = 8 + w. Are f and q non-equal?
True
Let x(k) be the first derivative of k**3/3 - 3*k**2 + 4*k - 8. Let m be x(5). Which is smaller: m or -2?
-2
Let r = -2/327 + -97/1962. Is r > 1?
False
Let m = 6 - 0. Let w be -1*1/(2/(-10)). Does w = m?
False
Let g be 299818/(-60) + (-3)/9. Let p = g - -9863/2. Let r = p - -66. Which is smaller: r or 1?
r
Suppose -56 + 12 = 2*y. Are y and -22 equal?
True
Let d = -1.1 - -1. Let a be -2*(-1 - 12/(-14)). Which is smaller: d or a?
d
Let l = 1 + -7. Let w = l + 7. Is -2/5 greater than or equal to w?
False
Let s be 3/2*(-504)/54. Let m be (-7)/s + (-17)/(-6). Which is smaller: 3 or m?
3
Let b be 0/(-1) + (-3)/(-2). Let f = 0.4 + -0.3. Is b at least f?
True
Let s(q) = -2*q**3 - 13*q**2 - 10*q - 27. Let r be s(-6). Let v = -11 + 5. Which is greater: r or v?
r
Let p be 8/((-2 - -1)/((-5)/10)). Is 1 at most as big as p?
True
Suppose -4*y = -0*y + 4. Let w(b) = b - 11. Let c be w(15). Let g be (c/90)/(5/(-15)). Is g not equal to y?
True
Let o(u) = 2*u**2 + 2*u - 1. Let m be o(-2). Let t(i) = -i**3 - 4*i**2 + 2*i - 6. Let f be t(-5). Let r = f - 6. Is m at least r?
True
Let s = 1.8 + 0.2. Which is smaller: 11 or s?
s
Suppose 660 = 4*m + 3*v, 148 = -4*m + 5*m + 5*v. Let a be ((-8)/14)/(2/(-589)). Let t = a - m. Is t > 1?
False
Suppose 5*t = 4*t - 9. Let x be t + (-6)/(1 - -2). Are -11 and x nonequal?
False
Let f be (-1)/(-1 + (-1 - -3)). Suppose -3*z - u + 1 = 0, -3*z + 4*u - 16 = 3. Is f > z?
False
Let p(x) = x**2 + 8*x. Let d be p(10). Suppose 0 = -t - 1 - 1. Let u be 69/d - t/(-8). Which is smaller: 2 or u?
u
Let f = 3 + -1. Suppose f*q + 4 = 12. Suppose 0 = 2*a - q*a + 2. Is 1 less than a?
False
Let s be ((-3)/3*-1)/((-4)/(-44)). Suppose -2*g + 12 = g. Suppose m = 3*j + s, 5*m - g*m - 19 = 5*j. Does 1/4 = m?
False
Suppose -5*h - 2*f + 26 = 0, 4*h - 12 - 10 = -2*f. Which is bigger: 2 or h?
h
Let f(o) = o**3 + 6*o**2 + 6*o + 2. Let w be f(-5). Let m = w - -2. Let k be (12/(-75))/(1/5). Which is bigger: k or m?
k
Suppose 4*n - 1197 - 151 = 0. Let l be ((-1)/(-111))/((-2)/n). Let w = l - -2/111. Is -2 at least as big as w?
False
Let q = 66 - 65.7. Is -24 at least q?
False
Let f(h) = h + 1. Let m be f(-1). Suppose m = -3*x + 3 + 6. Let b be (-4)/(-12) - (-1)/x. Which is smaller: 0 or b?
0
Suppose 7*s + 2 = -3*w + 3*s, 5*w = 3*s - 13. Let m = -2 + 7. Suppose 4*i + 2*n - 3 = -m, 0 = -2*i - 5*n + 19. Is w at least i?
True
Let a = 124 + -162. Which is smaller: 1/2 or a?
a
Suppose -q = -3*q + 8. Let b be q/12*2/3. Is b smaller than -1?
False
Let q(y) = y**3 + y**2 - 3*y - 2. Let x(l) = -l. Let j be x(2). Let v be q(j). Which is greater: v or 1?
1
Let y = -26 + 55. Suppose 3*m = -5*u - y, 2*u + 10 = 2*m - 3*m. Is m at most -9?
False
Let i(x) be the second derivative of -x**4/12 + x**3/6 - x. Let j be i(-1). Is -2 bigger than j?
False
Suppose -5*i = 10, y - 2*i - 6 = i. Let u be -1*(3/(-3) - -6). Let l be u - -4 - (-10)/14. Is l less than or equal to y?
True
Let w(y) = -y**3 + 7*y**2 + 8*y + 6. Let t be w(8). Let g(x) = x + 13. Let v be g(-6). Is v less than t?
False
Let x = 797/224 - -3/224. Let m = x + -27/7. Is 2/7 less than m?
False
Let b = -414/7 + 59. Let h be -2 + 0 + 3 + 0. Is h != b?
True
Let r = 0.51 - 0.31. Which is greater: -4 or r?
r
Let s be (4/(-2))/(3 + -5). Which is greater: s or 1/53?
s
Let f be 6/4 + (-4)/6. Let i(y) = 2*y - 8. Let k be i(4). Suppose k*c + c = 0. Which is bigger: c or f?
f
Let l = -39.13 + 1.13. Is l smaller than 0?
True
Let j(c) = c**2 - 2. Let o be j(2). Let h be (-16)/12*(-36)/32. Which is smaller: h or o?
h
Let v(p) = -p - 2. Let h be v(-8). Suppose -5*f = -3*w - f - h, w + 4*f - 14 = 0. Which is smaller: w or 4/3?
4/3
Let c(h) = -h + 5. Let o be c(-5). Which is greater: -1/3 or o?
o
Let f be (-4 - -8) + 1*12. Let g be (2 - f)*(-15)/(-10). Do -21 and g have the same value?
True
Let k = 13 + -13. Which is smaller: 4/21 or k?
k
Let r be 12/(-3)*50/4. Let u = r + 299/6. Is 0 equal to u?
False
Let x(s) = s**3 - 15*s**2 + 15*s - 10. Let l be x(14). Suppose -3*f + 3 - 20 = -5*v, 2*f + 12 = l*v. Is -2 greater than or equal to f?
True
Let b be (-18)/(-24)*10/(-15). Which is smaller: 5/4 or b?
b
Let k = -1179 - -4689/4. Let s = k + 7. Suppose 0*r - 4*m = -4*r - 8, -4*r - 5 = -m. Which is greater: r or s?
s
Let w = 0.5 + 5.5. Let l = -11 + w. Which is smaller: -2 or l?
l
Let t = -1.7 + 2. Let i = -1.3 + t. Let x = i + 0.8. Which is smaller: x or 0?
x
Suppose -u + 5*u - 20 = 0. Which is smaller: 0.1 or u?
0.1
Let z = -1.09 - -0.09. Which is smaller: -0.4 or z?
z
Suppose -5*q - 15 = -3*x, -q - 2*x = -2*q + 4. Let v = -2 - -2. Suppose 2*c + 14 = -v. Which is bigger: q or c?
q
Let p be (-2)/10*2/(-54). Let w = p - 142/945. Which is bigger: w or 1?
1
Let q be -2*(1 - 1/2). Do 0 and q have the same value?
False
Let b(a) = 7*a - a**2 + 3 + 2*a**2 + 0*a**2 + a**3 + 7*a**2. Let m be b(-7). Suppose m*z - 4 = 2*u + 2*z, 6 = 4*u + 5*z. Is -2 less than u?
True
Let m(g) = g**2 + 5*g + 4. Let a be m(-4). Let x = 5.6 - -0.4. Let z = 5 - x. Is a equal to z?
False
Let d = -7 + 6.8. Let h = -0.3 - -0.6. Is h at least as big as d?
True
Let n = 1 - -1. Let m(b) = b**2 - n + 8*b + 5 - 2. Let u be m(-7). Is u equal to -6?
True
Suppose -3*q + 11 = -10. Is q greater than 10?
False
Suppose 2*k + 0*k + 16 = 0. Is -9 > k?
False
Let y = -1 - -0.3. Let t = y + 0.6. Which is greater: 2 or t?
2
Let g(h) = h**2 - 8*h - 5. Let u be ((-12)/(-10))/(4/30). Let k be g(u). Let x be ((-6)/(-2))/(-3 + k). Which is greater: 4 or x?
4
Suppose 0 = -58*d + 57*d. Which is greater: -2/17 or d?
d
Let g(l) = l**2 - 17. Let i be g(4). Which is smaller: i or 4/19?
i
Let t(i) = -i**3 + 4*i**2 - 4*i + 2. Let u be 2/(-5)*(-3 + -2). Let x be t(u). Suppose 5*a - 4 = a. Is a less than or equal to x?
True
Let w be (-4)/14 - (-79)/7. Let v be (-2 - 6)/((-6)/9). Which is greater: v or w?
v
Let p = 15 - 30. Let a = 19 - 33. Which is greater: p or a?
a
Let u(j) = j**3 + 4*j**2 - 5. Let k be u(-3). Is k smaller than -0.1?
False
Suppose -3*n 