2254874016051/5742 + -40448428220. Let t = -5/5742 + h. Let k = 143 + t. Which is greater: k or 0?
0
Suppose 0 = t - 3*g + 11, g = -4*t + t - 3. Suppose 4*o = 2*f + 2, 3*f - 6 = -3*o + 18. Suppose -f*p - 4 = 1. Is t >= p?
False
Suppose 4*q + 3*y = 28, 5*q - 4*q - 12 = -2*y. Are 6 and q non-equal?
True
Let s(i) be the third derivative of -i**6/120 - i**5/15 + i**4/24 + i**3/3 - 7*i**2. Let d be s(-4). Which is smaller: -10/9 or d?
d
Let n be (-37)/3 - 6/(-18). Which is greater: -1 or n?
-1
Let l = -12 + 15. Suppose 4*o = 5*p - 15, 3*o - 2*p + 9 - l = 0. Are -1 and o equal?
False
Suppose -4*r = 20, -r = v - 2*r - 1. Which is bigger: v or -7?
v
Let d(g) = g**2 - 5*g - 2. Let x be d(6). Let f(n) = 3*n + 8. Let u be f(-6). Let v = u + x. Is v smaller than -5?
True
Let u = 1 - 1.1. Let j = -0.4 + u. Which is greater: j or 1?
1
Let u = 44/7 - 213/35. Is u > 0.2?
False
Suppose -10*u - 5 = -5*u. Which is bigger: u or 4?
4
Let d(r) = r**3 + 2*r**2 + 3*r + 2. Let k be d(-2). Suppose -2*b = b + 2*w + 38, 54 = -5*b - w. Let u = b - -7. Are u and k unequal?
True
Let k(v) = 71*v - 2. Let u be k(2). Let t be u/(-147) - 2/(-3). Is -2/3 at most as big as t?
True
Let b(t) = t**3 + 6*t**2 - 6*t - 8. Let a be b(-7). Is a less than -15?
False
Let r = 46 - 46.57. Is 1 at most r?
False
Let w(j) = j**3 + 10*j**2 + 9*j + 2. Let y be w(-9). Suppose 0 = 3*c + y*c - 5. Is c >= 0?
True
Let m = -14 - -16. Which is smaller: m or -15?
-15
Suppose h + 3*b - 1 = b, -5*h - 3*b + 26 = 0. Suppose -4*v = -4*z - 40, 4*v - 3*z = -h*z + 8. Let s be ((-9)/24)/(v/4). Is -0.3 smaller than s?
True
Let a(p) = 2*p - 9. Let r be a(6). Suppose -g + 5*i = 6*i, -4*i = -r*g - 28. Is -3 < g?
False
Let k = 0.4 + -0.4. Let o = -0.3 + k. Let r = -0.4 - o. Which is bigger: r or 2/5?
2/5
Let y be 0 - (2 + -14)/1. Let b be (-10)/(-6)*y/15. Let s = -1 - -2. Which is smaller: b or s?
s
Let z = -2 - 1. Suppose -2*s + 5*s = 0. Suppose s = -0*l + 3*l. Which is smaller: z or l?
z
Suppose -3*o + 4 + 2 = 0. Which is greater: 5/3 or o?
o
Suppose 0 = 4*r - 0*r - 4*z + 24, -3*r + 5*z - 18 = 0. Which is greater: r or -21/4?
-21/4
Let c(o) be the second derivative of 0 - 1/4*o**4 - 1/6*o**3 + 0*o**2 - 2*o. Let g be c(-1). Is -2 smaller than g?
False
Let g(i) = -i**3 - 3*i**2 + 4*i + 5. Let r be g(-4). Let k(h) = 2*h**3 - 3*h**2 + 2. Let l be k(2). Suppose -3*x + 2*m = -4 - l, -x = -r*m - 12. Is 2 < x?
False
Let u = -3 + 3.4. Let y = -119 + 118. Is u >= y?
True
Let h = 46 - 47. Is h != -0.012?
True
Let t = 3 + 0. Suppose 4*n - 4 = -t*d - 0*d, -4*n = -5*d - 4. Is -6/5 smaller than d?
True
Suppose 2*z - z + 4*w = 18, -z = 3*w - 16. Suppose 0 = -c + 5*x - 1 + z, 2*x + 2 = 2*c. Is 1/6 at least c?
True
Let f be -6*((-10)/(-4) + -3). Suppose -4*z - f = -3*u, -z - u = 4*z + 18. Let q = -7 - z. Is q at least as big as -3?
False
Let r = 6 + 2. Which is bigger: 7 or r?
r
Let b be 4 - (-2 + 0 + 8). Which is smaller: b or -5/8?
b
Let i = -33 - -38. Which is smaller: i or 6?
i
Let f be ((-75)/14)/(-3) - 2. Let t = f - 19/42. Let z(v) = 3*v + 13. Let m be z(-5). Which is greater: t or m?
t
Let g = 591 - 27187/46. Is -1 <= g?
True
Let c = 1208/17 + -71. Which is smaller: -1 or c?
-1
Let x be ((-1)/2)/((-3)/(-24)). Let o = 0 - -0.4. Let k = o + -0.3. Is k not equal to x?
True
Suppose 4*y - 12 = 4*k + 4, 5*y + k - 26 = 0. Is y != 5?
False
Let d(x) = 2*x**2 + 6*x - 8. Let h be d(-4). Let f be (-2)/3 + 2618/30. Let y = f - 87. Is y > h?
False
Let m be -3 + -3 + 423/69. Is m smaller than -1?
False
Let z = -0.1 + -2.9. Let g = z - -1. Let s = 0.4 - 0.4. Is s >= g?
True
Suppose 0 = -7*t + 4*t - 3*r - 21, -2*r = -5*t. Let c(i) = -i**3 + 4*i**2 - 2*i + 5. Let p be c(4). Let n be t - 3/(p + 0). Is -1 less than or equal to n?
True
Let z = 26 + -48. Is 1/2 at most as big as z?
False
Let i = 6.9 + -0.9. Let l = 11 - 10. Is l less than or equal to i?
True
Suppose 4*z - 5*z = 7. Let y be (2/3)/(z/(-84)). Is y less than 7?
False
Let q = 3 + -1. Suppose -8 = q*f + 5*v, -4*f = 2*v - 7*v - 14. Which is greater: f or 6/5?
6/5
Let w = 4 + -7/2. Let d(c) = -3*c**2 + c. Let j be ((-1)/(-3))/((-5)/15). Let h be d(j). Do w and h have the same value?
False
Let c = 1 - -12. Is c less than 14?
True
Let b be 2/3*-3 - -1. Let t = 4/165 + -289/5115. Is b not equal to t?
True
Let q = -10 - -17. Let k be (-1)/2*36/q. Which is smaller: -4 or k?
-4
Let o(s) = s**3 - s**2 - 1. Let x(m) = -5*m**3 + 5*m**2 + 2*m + 1. Let y(t) = -4*o(t) - x(t). Let c be y(2). Let r be (c - 13/5)*10. Which is bigger: 3 or r?
r
Let b = 0.3 - -0.5. Let x = -0.7 + b. Is x less than -5/3?
False
Let j = -163/7 + 165/7. Let h = 0 - j. Suppose 2*o = 4*x, -4*x + 0*x = 3*o. Which is greater: h or o?
o
Let l = -1 + 0. Suppose -5*s + 3*f - 5 = 16, 0 = 2*s + 4*f - 2. Is s != l?
True
Let t(z) = -186*z**3 - 2*z - 3. Let q be t(-1). Are 185 and q nonequal?
False
Let g(d) = -d**3 + 4*d**2 + d - 3. Let w be g(4). Suppose 3*t - 2*t = 1. Let x = w + t. Which is smaller: x or 3?
x
Let z = -3.7 - -18.7. Which is greater: 0.1 or z?
z
Suppose 0 = -2*c - 9 - 1. Let v be (-1)/c - 57/(-90). Is v not equal to -0.2?
True
Let x = 10 + -20. Let p = -18 - x. Which is greater: -10 or p?
p
Let d be (17/16 - 1)/(1/(-6)). Let y(h) = -h**2 - h + 1. Let v be y(1). Let m be -1*(v - 0/1). Is m greater than d?
True
Let x = -1.22 - -0.22. Which is greater: -6 or x?
x
Let o = -7 + 7.04. Let r = -3 + 2. Is o less than r?
False
Let m = 908/5115 + 2/465. Is 0 >= m?
False
Let p = -205 - -1429/7. Suppose 0*a + 6 = -2*a. Let c be a/(-3) + -3 + 0. Which is bigger: p or c?
p
Let z be (-12)/42 - 22/(-28). Which is greater: 0 or z?
z
Let t = -51.95 - -0.95. Is t <= 0.1?
True
Suppose 0 = -3*t - 3*y, -t = -0*t + 3*y. Is 2/3 > t?
True
Suppose -4*o = 2*h - h + 26, -4*h - 19 = -o. Let n be 2/h*0/(-2). Which is smaller: n or -8?
-8
Let m(j) = j**2 - 2*j - 2. Let g be m(2). Is -2 less than g?
False
Suppose 0 = -4*h - 0*h - 12. Suppose 0 = 4*v + a - 17, -4 = -4*v + 2*a + 10. Let t = h + v. Are 1 and t non-equal?
False
Let n be 92/115*(-142)/(-8). Is n > 13?
True
Let m(h) = h - 11. Let w be m(12). Which is smaller: w or 2/33?
2/33
Let n = 79 + -29. Let v = n - 50.96. Let t = v + -0.04. Is t greater than or equal to -1?
True
Let g be -2*(-4 + 2)/(-4). Let v = -1.2 + 1. Which is greater: g or v?
v
Suppose 0 = 3*f - 3. Let k be (-2)/f*(-3)/(-15). Are 1/5 and k unequal?
True
Let n(a) = 3*a**2 + 5*a + 1. Let m(w) = 4*w**2 + 5*w + 2. Let i(v) = -2*m(v) + 3*n(v). Let g be i(-5). Let u be 1*g + (-4)/1. Is -5 greater than or equal to u?
True
Suppose 151 - 994 = -3*z. Let m = 3089/11 - z. Which is greater: 1 or m?
1
Let c be (-1)/(-3)*(-3)/(-10). Suppose 5*z - 2*z = 12. Suppose 2*y + 10 = 0, 3*x + 6 = -y + z. Which is smaller: c or x?
c
Let c = 2439/115 + 1159/23. Let b = c + -72. Which is bigger: 0 or b?
0
Let g be (-1 - -1) + (-26)/(-689). Is g != 0?
True
Suppose -14 = 3*s - 5*s. Which is smaller: s or 4?
4
Let k = 0 - -4. Suppose 28 = k*r + 3*l, -5*l = -r - 10*l + 24. Suppose -5*h = -2*i + 19, 2*i + 3*i - 22 = r*h. Which is greater: 3 or i?
3
Suppose -4 = -z + 13. Is z greater than or equal to 0.1?
True
Let m be (-2)/4 - (-1)/2. Let t(d) = d**3 + d**2 - 2*d + 1. Let h be t(-2). Let b be (-1)/(-4) + -1 + h. Is b smaller than m?
False
Let i = -48.9 - -49. Which is smaller: 35 or i?
i
Let y = 1 + -1.4. Let s = y + 0.4. Let r = -0.1 + s. Which is bigger: 0 or r?
0
Let f(p) = -1 + 6 - 2*p - 8. Let s be f(-3). Is 0 >= s?
False
Let d be 0 - (-2)/11*1. Let m = 0.067 - -0.933. Is m >= d?
True
Let v be ((-40)/30)/((-2)/6). Suppose 0 = -2*g - 2*h, -g = -v*h + 2 - 22. Is 4 greater than or equal to g?
True
Let k = 0.01 - 0.31. Let p = k + 0.3. Let h = -3.1 + 3.1. Is h greater than p?
False
Let j(q) = -2*q**2 - 2*q - 2. Let l be j(-1). Which is smaller: l or -6/7?
l
Let m = -0.041 - -0.08. Is 0.1 at least as big as m?
True
Let q = -2 + 2. Let u(l) = l**3 + 4*l**2 + l - 1. Let y be u(-3). Suppose -5*w = -y*t + 5, 2*w + 4*t + q = -2. Is -2 at least w?
False
Suppose 1 + 1 = p. Let i = 3/41 + 117/82. Is i smaller than p?
True
Suppose 0 = 4*l - 1 + 17. Let o = l + 5. Which is smaller: 0 or o?
0
Let y = 16 + -16. Let i be (-4)/10 + (-82)/(-130). Which is smaller: i or y?
y
Let c = 1 + -1. Let d = -31 - -31.2. Which is smaller: d or c?
c
Let k = 25 + -8. Let u = 15 - k