or s?
-1
Let r(k) = -k**2 - k - 1. Let c(p) be the first derivative of 4*p**3/3 - 2*p**2 + 10*p + 1. Let x(f) = c(f) + 3*r(f). Let n be x(6). Which is greater: 1/5 or n?
n
Let x = -51/395 - 1/237. Suppose 3*s - 2*s = 0. Which is smaller: s or x?
x
Suppose u - 10 = -4*u. Suppose -3*v = -v + u. Is v less than 2/23?
True
Let g be (-2 + -13)*1/3. Let x = -5 - g. Is x bigger than -2/3?
True
Suppose -3*g = -68 - 31. Which is greater: g or 31?
g
Let m = -151 - -94. Which is smaller: m or -58?
-58
Suppose -6 = 4*u - 2*f, -u + 6*u - 3*f + 9 = 0. Which is smaller: -6/7 or u?
-6/7
Let i be -1*(-4)/6 + 14/(-3). Let m be (2 - 9)*(-12)/14. Suppose -m = 3*s + 6. Are i and s nonequal?
False
Let a be (1 + 6/(-4))/((-11)/(-88)). Is a greater than or equal to 1/6?
False
Let d(o) = -o**2 - 7*o - 1. Let w be d(-7). Suppose 4*s - 5 = -s. Let u(a) = -2*a + 1. Let p be u(s). Is w greater than p?
False
Let b be ((-1)/2 - 0/3)*-14. Which is bigger: 8 or b?
8
Let z(l) = 12*l - 4*l - 8*l**2 - l**3 + 10 + 3*l. Let a be z(-9). Are -7 and a nonequal?
True
Let y be (-9)/(5/(-30)*-2). Which is smaller: y or 1?
y
Let w be (-6)/(-4)*(-32)/624. Let l = -2 - -1. Which is bigger: w or l?
w
Let p(v) be the third derivative of -v**5/60 + v**4/4 + 4*v**3/3 + 3*v**2. Let a be p(7). Let w be ((-4)/(-11))/(2 + 0). Is w less than or equal to a?
True
Suppose -3*m + 16 + 17 = 0. Which is bigger: m or 10?
m
Let h = -15.3 - -15. Let s = 0.1 + h. Is s equal to 1?
False
Suppose 0 = 3*k + 16 - 1. Suppose -5*m = -5*x - 10, -26 = 5*x + m + 2*m. Is k smaller than x?
True
Let d(j) = j**2 + 9*j - 12. Let y be d(-10). Let l(r) = r**2 - 2*r + 1. Let v be l(y). Suppose -v*c = -4*c. Which is smaller: -3/4 or c?
-3/4
Let a = -7/15460 + 12445377/170060. Let h = -73 + a. Let c be 1 - (-2 - 6/(-3)). Is h > c?
False
Let i(g) = g - 8. Let r be i(6). Let h be 0/(3 + r - 0). Is h <= -3/5?
False
Suppose g + 4*g = 15. Suppose -3*x - 12 = -6*x. Let i = x + -3. Which is smaller: i or g?
i
Suppose 3*j = 4*d + 12, 3*j - 12 = -0*j - 2*d. Suppose j*w - 10 = -w. Suppose 4*b - 16 = 0, -5*o + 3*b = -w*o + 15. Is o less than 0?
True
Let h be 4/(-6)*15/(-65). Which is bigger: 0 or h?
h
Let q = -5/14 + 9/14. Is q less than -2/21?
False
Suppose 4*i = l + 8, l - 5*i + 10 = -l. Let u be (-437)/(-2)*(-1)/(-2). Let a = 110 - u. Is l bigger than a?
False
Let i be -3 + ((-87)/(-11) - 5). Is -1 greater than i?
False
Let y be 1/(-14)*4 - (-8)/(-21). Suppose 4*f + p + 11 = 2, 3*f = -2*p - 13. Is y <= f?
False
Suppose -3*p = 5*n - 42, -5 = -n - 2. Suppose -p = -12*v + 15*v. Suppose 3 = -4*b + 3*b. Are v and b equal?
True
Suppose 6*r - 3*r = 36. Let j = -5 + r. Which is smaller: 8 or j?
j
Let u = 31.2 - -7.8. Does 2/5 = u?
False
Let b = 110.75 + -110. Is 1/3 at most as big as b?
True
Let l(o) = -o**3 + 2*o**2 + 4*o - 3. Let w be l(3). Suppose 0 = -4*p - 2*g - 12, 3*g + w*g + 15 = -5*p. Is -2 less than p?
False
Let p be (-9)/10*64/3. Let d = p + 1814/95. Which is greater: -1 or d?
d
Suppose 4 + 1 = 5*g. Suppose g = -s + 2*s. Suppose -2*n + 7*n + 4*d = 10, 0 = -5*n - 2*d + 10. Which is smaller: s or n?
s
Let z(q) be the second derivative of q**3/2 - q**2 - 3*q. Let x be z(2). Is 6 != x?
True
Suppose 5*s = 26 - 21. Let k be -1 - (-10)/(2 - 0). Suppose k*g + 5 - s = 0. Which is smaller: g or -3/5?
g
Suppose 22 = 12*b - 11*b. Is b equal to 23?
False
Suppose 2*m = 4*v + 14, -m - v = -6*m + 62. Is m not equal to 10?
True
Let h = -34 + 35. Which is smaller: 2/125 or h?
2/125
Let v = 7 + -8. Which is smaller: -0.5 or v?
v
Let a = -75693 + 2649511/35. Let h = 54/7 - a. Let n = 272/5 - 54. Is n less than or equal to h?
True
Let x = -69 - -69.1. Is 1/4 > x?
True
Let f be (1 - -1 - (-254)/(-250)) + -1. Which is smaller: f or 0?
f
Let l = -1 + 0. Let u = 14.1 - 11. Let b = u - 3.6. Is l greater than or equal to b?
False
Let j = 1 - 4. Suppose -4*n + 31 = 3. Suppose 4*u + 9 = -n. Are j and u unequal?
True
Let n(m) = 4*m**2 + 2*m - 1. Let q(h) = h**2. Let j(g) = n(g) - 3*q(g). Let y be j(1). Are y and 2 equal?
True
Let y be (-9)/(-2)*(-4)/3. Let p be (2/y)/(4/(-108)). Suppose -4*d + t + p = -0*t, -3*t = d + 1. Is -0.2 > d?
False
Let x = 99.8 + -100. Is x at most as big as -0.21?
False
Let d be (2/(-4))/((-30)/36). Which is smaller: d or 4?
d
Suppose -4*w + 8 = -8*c + 3*c, -c + 10 = 5*w. Let k be ((-4)/w)/(13/(-1)). Let a be (-3)/(-9) + (-2)/(-3). Which is smaller: k or a?
k
Let h be 18/(-3 + (-18)/(-4)). Suppose 0 = -3*z + 3*j - h - 15, z = 4*j - 9. Is z at most as big as -11?
False
Let b = -2719/20 - -136. Suppose -2*q + 6 = 0, 6*a + 4*q = a + 7. Which is smaller: b or a?
a
Let l be (-10)/(-6) + 4/(-6). Is 2/101 less than or equal to l?
True
Let x(p) = p - 13. Let w be x(5). Let j be (w/(-156))/(2/(-6)). Which is smaller: -0.1 or j?
j
Let d be (-2 + -1)*(-2 + 1). Let w be -3*(-2 + 5)/d. Let l = 0 + -2. Is l bigger than w?
True
Let f(b) be the second derivative of b**2 - b**3 - b - 1/20*b**5 + 7/12*b**4 + 0. Let d be f(6). Are d and 2 nonequal?
False
Let a = -8 + 6. Let r be (1/(-3))/((-3)/(-9)). Let p be (6/3 + r)*-3. Which is smaller: p or a?
p
Let w(y) = -y**3 - 7*y**2 - 3*y - 11. Let f be w(-6). Let x = f - -18. Is -11 >= x?
True
Let m = 24 + -26. Do -2/9 and m have different values?
True
Let b be -4*2/752*4. Does b = -1?
False
Suppose -2*j + 5 = 3*j - 5*f, 5*j + 5*f = -15. Let c be 416/(-507) - 4/(-6). Is c smaller than j?
False
Let t be (-6)/2 + 0/7 + 3. Is t <= 2/25?
True
Let q = 3776/9 + -420. Which is bigger: 1 or q?
1
Let n be 6/28 - (-6 - 39/(-6)). Which is smaller: n or -0.6?
-0.6
Let d = 0.2 + -0.4. Let w = 0 + d. Let y = 0.1 + w. Is 2 < y?
False
Let g(m) = m + 3. Let o be g(-4). Let l = -4 - o. Are l and -3 equal?
True
Let i be 9/54 - (-2)/(-12). Is i less than -12/19?
False
Let n(q) = -93*q + 9. Let b be n(1). Which is greater: b or -83?
-83
Let w = -0.07 - 0.23. Let n = -0.2 - w. Let d = 1 + -0.9. Is d less than or equal to n?
True
Let g = 1 - 1. Let t = -5.182 - 0.018. Let j = 5 + t. Which is bigger: j or g?
g
Let q = 3 - 2. Suppose 2 = -3*v - q. Let g = 1/76 + -167/1140. Is g greater than v?
True
Let i(c) = -4*c. Let h be i(1). Let u = h - 2. Let s = 14 + -20. Is s at least as big as u?
True
Let o = 184 - 1109/6. Suppose -n + 24 = -5*c, 3*c + 13 = n + n. Is o at most n?
False
Let c be -3*5/(30/4). Let p be c/8 - 94/40. Is -4 less than p?
True
Let a = 21 - 13. Is 26/3 at least a?
True
Suppose 12 = -0*f + 3*f. Suppose -2*a + 33 = -3*n, -5*n - 5*a + f*a = 55. Let m = n + 7. Do -3 and m have the same value?
False
Let y = -15 - -18. Which is greater: y or 0?
y
Suppose 2*q = 4*x - 2*q, -3*x - 4 = -5*q. Let n = 122 + -371/3. Let l = n + x. Is l not equal to -1?
True
Let w be 14/6 + (-2)/(-3). Is w less than or equal to 3?
True
Let k be (75/(-60))/((-1)/4). Is k >= 4?
True
Let z(r) = -7*r + 27. Let i be z(4). Let f(t) = 3*t + 1. Let u be f(-3). Let o = u - -42/5. Which is smaller: i or o?
i
Let m(p) be the second derivative of p**4/12 + 4*p**3/3 - 4*p. Let o be m(-8). Suppose 25 = -2*b - 3*b - 3*n, o = 4*n. Is -5 smaller than b?
False
Let k(o) = -o**2 - 20*o - 37. Let j be k(-18). Let r be 20/(-6)*(-3)/(-8). Which is bigger: j or r?
j
Let j(w) = w + 1. Let h be j(2). Suppose -5*x = -h*u + 2, -2*u - 3*x = 2 + 3. Let z be (u/1)/((-1)/(-1)). Which is smaller: -0.2 or z?
z
Suppose 1 - 10 = -h. Let z = h - 8. Which is greater: 2 or z?
2
Let k = 71 - 141. Are k and -71 nonequal?
True
Let p = 9.8 + 0.2. Let r = p - 10. Do r and 2/5 have the same value?
False
Suppose 4*n = -5*z - 12, -4*n + z + 1 = 13. Let v be (-2)/8 - n/108. Let t be (4/6)/((-85)/(-51)). Are v and t nonequal?
True
Let v = -59 + 58. Which is smaller: v or -9/5?
-9/5
Let y(n) = 1 + 5*n - 4*n - 1 - 1. Let m be y(0). Let s be ((-1)/(-35))/((-4)/(-10)). Is s < m?
False
Suppose -3 = b + 2. Is b greater than -5?
False
Suppose 12 = -3*u + 18. Which is greater: u or 4/7?
u
Let o = 1 - 5. Which is greater: o or 2?
2
Let k = 1845/4 + -34943/76. Which is smaller: 0 or k?
0
Let y be ((-35)/(-7))/(2*-1). Is y greater than or equal to -4?
True
Let o = 1 + -1/2. Which is greater: o or 0.07?
o
Suppose 5*r = 3*s - 22, -8 = r - 3. Let u be 4/32*-6 - s. Let b be (0 + 0)/(-1) + -1. Do b and u have different values?
True
Let f = 22/3 - 1820/249. Let v = f - -156/415. Let s = -12 + 6. Which is small