 v(s) = -2*s - 3. Let y be v(6). Let r be -6*6/y*-5. Let n be r/(-8)*(-8)/9. Is n < 0?
True
Let m(y) = -y + 3. Let l be m(5). Suppose -2*z - 5*c = 16 - 5, -2*z - c - 7 = 0. Which is smaller: l or z?
z
Suppose 5*v - m + 67 = -2, -3*m = 4*v + 59. Let i = v + 11. Is -1 <= i?
False
Suppose 0 = -4*y + 2*k + 12, 2*y - k = -y + 10. Suppose -3*c = -5*p - 20, 4*p = 4*c + 7*p + 12. Which is smaller: c or y?
c
Let w(u) = -u**2 + 5*u - 4. Let s be w(4). Is 4/9 > s?
True
Suppose -20 = -5*f + 4*y + y, -4*f = -3*y - 15. Suppose 0*b + f*b - 5*v = 0, -3*v + 24 = 3*b. Is b less than or equal to 5?
True
Suppose 4*y = 3*y - 2*m - 7, -3*y = -4*m - 19. Let q(x) = -x**2 + 5*x + 8. Let u be q(6). Suppose -u*v + 7 = -y. Which is greater: v or 2?
v
Let v be 5*(1 - 2) - -3. Which is smaller: -1 or v?
v
Let f(h) = -h**3 + h**2 + 3*h - 3. Let a(r) = 2*r**3 - r**2 - 5*r + 5. Let y(k) = -4*a(k) - 9*f(k). Let q be y(6). Is 1/3 < q?
True
Let p = 404/3 - 135. Suppose h - 3 = -2*h. Which is smaller: p or h?
p
Let x = -11 + 15. Suppose -x*m - 2 = 2. Is -3/4 < m?
False
Let y be ((-5)/6)/(5/(-4)). Is -1 greater than or equal to y?
False
Let x = -0.06 - 0.04. Let r = 63/2 - 31. Which is greater: r or x?
r
Let i be (-2)/3 + (-184)/(-60). Which is smaller: 2 or i?
2
Let t = 297/5 - 4737/80. Is -1 > t?
False
Let q = 510 - 2033/3. Let p = 169 + q. Let n = 3 - 2. Which is greater: p or n?
p
Let d be 2/(3 - 2) + -15. Is d smaller than -14?
False
Let o be 12/42 + 31/(-35). Let p = -56/3 - -37/2. Is o != p?
True
Suppose 214 - 249 = 5*f. Let t(d) = -d**2 + 7*d - 6. Let y be t(7). Which is bigger: y or f?
y
Let o = 35 + -35.19. Is o <= -0.2?
False
Suppose 3*v + 0*t = 2*t - 23, 5*v - 4*t + 41 = 0. Which is greater: v or -3?
-3
Let k be 4 + (102/10)/(-3). Is k greater than or equal to 2?
False
Let k = 1 + 11. Suppose k - 2 = -5*m. Let d(h) = 2*h**2 + 3*h + 1. Let l be d(m). Is 4 at least as big as l?
True
Let h(p) be the second derivative of -p**3/6 - p**2/2 - p. Let i be h(-2). Do 7/6 and i have different values?
True
Let y = 12 + -19. Let i be (-6)/18 - y/12. Which is bigger: i or 1/5?
i
Let f = -220/493 + 7/17. Which is bigger: 1 or f?
1
Let k(u) = -u**2 + u + 2. Let v be k(-1). Is -7/12 > v?
False
Let r = -3080/139971 - -2/1443. Is r greater than 1?
False
Let x = 14 + -15. Which is smaller: -1.1 or x?
-1.1
Let q be (-28)/(-60)*3 + -1. Suppose 2*s + 2 = -0*s. Let j = -2 - s. Which is smaller: q or j?
j
Let u(z) = -z**2 + 14*z - 7. Let l be u(13). Let s be (-4)/l*12/8. Is s less than or equal to -1/2?
True
Let c = -2/51 - -157/102. Which is smaller: c or 1?
1
Let c = 11462/207 + -496/9. Is -1 >= c?
False
Let b be (-1 - 2) + (-15)/(-3). Let u = -4 + b. Is -2 less than u?
False
Suppose 3*g - 15 = -2*g. Let a(p) = -4 - 7 + g + p. Let s be a(4). Do -5 and s have the same value?
False
Let x be -2 + -42 + (2 - 2). Let l be (2 - (-184)/x) + 2. Is l less than 0?
True
Let j = -15 - -13. Which is bigger: j or -2/3?
-2/3
Let h = -7.9 + 1.9. Are h and -2/5 nonequal?
True
Suppose -f = -0*f - 1. Let p = 26/105 + -8/21. Is p less than f?
True
Let a = -1409/21 + 67. Which is bigger: -1 or a?
a
Let r = 3 + -4. Let m(b) = -b - 7. Let w be m(4). Let f = -11 - w. Are r and f non-equal?
True
Let v(p) = p + 9. Let x be v(-10). Is x greater than or equal to 2/37?
False
Let z = -9495/26 - -365. Let r = z + 129/130. Which is smaller: r or 2?
r
Let s = -0.07 - -0.11. Let m = 3.04 - s. Which is smaller: -0.2 or m?
-0.2
Suppose -10 + 2 = 2*s. Let y be (6/9)/(s/(-6)). Let a be (10/175)/((-3)/7). Which is smaller: a or y?
a
Let n(h) = 2*h + 12. Let y be n(-5). Are y and 3/2 equal?
False
Let r = 9.7 + -9.4. Is r < 20?
True
Suppose -4*j + 21 = 5*r, -4*j + 8 = -3*j + 4*r. Let w be 1/(-1) - j/(-6). Is 1 less than w?
False
Let f(l) be the first derivative of -l**3/3 + l**2/2 - 2. Let t be f(0). Is 2/7 equal to t?
False
Suppose 0 = -0*f - 2*f - 12. Which is smaller: f or -4?
f
Let h = 3 + -4. Let k(a) = 31*a - 7. Let g be k(7). Let m = 1466/7 - g. Is m less than or equal to h?
False
Let h be ((-4)/10)/(648/(-40)). Are h and -1 unequal?
True
Let l = -8.6 - -18.6. Which is smaller: l or -1?
-1
Let m = 0.15 + 0.75. Let p = -1 + m. Is p bigger than -1?
True
Let l = -6/134051 + 594226/1206459. Let a = -28357/104784 - -1/2832. Let o = a + l. Which is smaller: -1 or o?
-1
Let a be (6/(-27))/(2/6). Is 0 at least a?
True
Let f(p) = -p - 4. Suppose 17 + 1 = -4*u + 2*r, -23 = 4*u - r. Let h be f(u). Suppose h = 3*k - 3. Which is smaller: 1 or k?
1
Let r = -2.7 - -0.7. Which is smaller: -5 or r?
-5
Let w = -11 + 11.14. Let m = w - 6.14. Does -1/3 = m?
False
Let f = -6 - 13. Which is smaller: f or 1/3?
f
Let d be 1*2/(42/(-9)). Let p = -15/14 + d. Which is greater: -2 or p?
p
Let f = 17 - 69/4. Let h = 0.08 + -3.08. Is f greater than h?
True
Suppose -7 - 13 = -2*s. Let t = 5 - s. Which is smaller: -3 or t?
t
Let d(r) = r**3 - 6*r**2 + 5. Let j be d(6). Suppose t + 4*s = -17, -t + j*s + 15 = -4. Let g be (-14)/24 - t/4. Is g equal to 1?
False
Let i = -35 - -37. Are i and 4 non-equal?
True
Let w be -2 + -2 + 53/12. Is -1 greater than or equal to w?
False
Suppose 2*t + 1 = -17. Let m be 20/3*(-30)/25. Which is greater: m or t?
m
Let f = 128/3 + -42. Which is bigger: f or 0.08?
f
Let j be (-4 + 57/12)*-3. Which is bigger: -2 or j?
-2
Let s = 1 + -3. Let v = s - -2. Let p be 24/(-10) + (0 - -2). Is v > p?
True
Let o(y) be the third derivative of -y**5/60 + 5*y**4/12 - y**3 + 3*y**2. Let z be o(9). Let q = -4 - -6. Which is smaller: q or z?
q
Suppose -5*q + 15 = -4*u, -u + 2*u + 8 = -3*q. Let c be (2 + q)*(-1 - 0). Is c < -1?
False
Let d be ((-6)/3)/2*18. Is d equal to -19?
False
Let a be 17*(-3)/(12/(-8)). Which is bigger: 33 or a?
a
Let w be -1 - 3 - 4*(-21)/28. Let t = -1 + 2. Let u be (t - w) + -2 + 1. Is 0 at most u?
True
Suppose 4*h - h = k - 9, 2*k - 4*h - 12 = 0. Suppose -3*u + k*u = 3. Are 1 and u non-equal?
True
Let b = -0.09 + -2.91. Let u = b - -2.92. Let f = u + 0.06. Is 0.1 at least f?
True
Let k(o) be the first derivative of -o**3/3 + o**2/2 - 3*o + 1. Let v be k(6). Let a = 199/6 + v. Is a smaller than -1?
False
Suppose 0 = -0*k - 8*k - 16. Is k at least as big as 1/8?
False
Suppose -p - 2*x = -1, 2*p - 2*x + 5*x = 2. Let k(y) = -y - 17. Let c be k(-9). Let u be 3/(-88) - 1/c. Which is bigger: p or u?
p
Let s(t) be the first derivative of t**3/3 + 3*t**2/2 - 2*t + 3. Let p be s(-3). Let k(i) = -i**2 + 5*i - 3. Let f be k(5). Are p and f equal?
False
Let o = -14 + 16. Let w = 38 - 36. Is o > w?
False
Let x be (3 + (-20)/6)*-6. Let j be -2*(-3)/12*x. Suppose -2*s - 4*d = 14, -d + j = 5*s - 0*d. Which is bigger: 2 or s?
2
Suppose -10 + 10 = s. Let n(c) = -29*c**3 - 2*c**2 + 2*c - 1. Let g be n(1). Let t be (-26)/g + (-4)/6. Which is greater: t or s?
t
Let i = 4 + -3.8. Which is smaller: i or 6?
i
Suppose -m + 3*r + 13 = 0, 2*r + 17 = 2*m - r. Let g = m - 8. Let x = g + 2. Do -1 and x have the same value?
False
Let x be 5/(-12) + 21/28. Which is greater: x or 0?
x
Let k be -2*9*(-1)/(-2). Let y = 156 + -165. Is y < k?
False
Let i = 235/4 + -2601/44. Which is bigger: 1/2 or i?
1/2
Let q be (-34)/(-11) - 3/33. Is -1 less than or equal to q?
True
Let x = -8 - -5. Let b be 0/2 + 0/x. Which is bigger: b or -1?
b
Let r = 226 - 1811/8. Which is greater: -1 or r?
r
Let g be 6/4*(-16)/(-12). Suppose 4*d - 4*h = g*d - 8, -4*h = d - 8. Is d not equal to -10?
True
Suppose -2*r = -32 + 10. Let j(m) = -m + 12. Let i be j(r). Which is smaller: i or 0?
0
Let m be 3/(-1) + 6 - -1. Suppose -1 = 3*o - m. Which is smaller: -2/19 or o?
-2/19
Let m(v) = v**3 - 14*v**2 + 13*v + 1. Let a be m(13). Is a smaller than -1/5?
False
Suppose -3*p + p + 2*q = 6, 4*p - q = -3. Let i = p - -5. Suppose -3*s - 20 = 5*o, i*s - 12 + 0 = 3*o. Is o greater than -5?
True
Let g = 11 - 11.7. Is g equal to 1?
False
Let l = -64649483/570 - -113420. Let y = -3/38 - l. Which is greater: y or 0?
y
Suppose 0 = -4*r - 5*x + 41, -2*x + 6 = 3*r - 4*r. Suppose -3*c = 4 + 8. Let b = c - -7. Is r at least as big as b?
True
Suppose 0 = 4*q + 69 + 43. Let o be 8/q - (-30)/7. Suppose -3*p + o = -7*p. Are p and 2/9 equal?
False
Let m(i) = i + 4. Let w be m(-8). Is -6 less than w?
True
Suppose 2*w + 9 - 1 = 0. Let n be ((-4)/(-8))/(w/(-14)). Which is smaller: 3 or n?
n
Let a be 20/12*-2 