 - (-1)/(-3). Let q be -18*15/6*2/(-10). Suppose -5*z = -3*v + 20, -q*v + 11*v - 2*z - 8 = 0. Which is smaller: v or t?
t
Let r(h) = -2*h**2 + 32*h + 22. Suppose -5*m + 2*l + 42 + 6 = 0, 2*l = m - 8. Let p be (-116)/(-7) - (m/(-7) - -1). Let q be r(p). Is q < -12?
False
Let v = 81302/11 + -7392. Do v and -11 have different values?
True
Let q(l) = l + 19. Let d be q(11). Suppose 5*a - 2*p - d = 0, 0 = -4*a + 7*a - 5*p + 1. Is a bigger than 1?
True
Let p = -142 - -128. Let r(m) = m**3 + 14*m**2 + m + 15. Let h be r(p). Let s = 4/5 + -11/45. Does h = s?
False
Let f be (-52 + -1)/(250/1550). Let c = f - -326. Is -3 less than or equal to c?
True
Let q = -0.14982 + 199.14982. Is q at least as big as 11?
True
Let r = 760 - 273. Is r < 486?
False
Let o be -1 + (-756)/(-255) + 82/(-41). Which is greater: -3 or o?
o
Suppose -4*t - 5*r - 22 = -3*t, 5*t - 4*r = 35. Let m(d) = d**2 - 2*d - 1. Let q be m(t). Which is bigger: -1/3 or q?
q
Let y(v) = 8*v**2 - 87*v - 10. Let h be y(11). Is h <= 4/3687?
False
Let z = -2071 + 2073. Is z bigger than 1?
True
Let u be 615/45 + 2/(-3). Suppose u = -15*w - 407. Which is greater: -161/6 or w?
-161/6
Suppose -3944 = -31*h - 8381 - 7932. Which is greater: -2792/7 or h?
-2792/7
Let q = 29352/11 - 1436301/539. Do 5 and q have the same value?
False
Let r be (1 + 1)/(2 - 1). Suppose -4*q + 64 = -3*j, 36*q - 39*q - 5*j = -77. Let w be q - (2/(-4))/(34/136). Which is smaller: w or r?
r
Let r be (3 + ((-1608)/(-10))/4)*-5. Let z = r + 885/4. Is 2 less than or equal to z?
True
Suppose 5*s = -5*s + 310. Suppose 3*g = -s + 91. Suppose -4*k = 4*i + g, k - 3*i - 17 = -2. Is -1/18 <= k?
True
Let t = 6.8 + 64.2. Let a = -70.94 + t. Let j = -18 + 17. Which is smaller: a or j?
j
Suppose -6 = 5*j + 9, 4*i + 3 = -j. Suppose 4*s + p + 4 + i = 0, 0 = s - 5*p - 20. Which is greater: s or -7/11?
s
Suppose -y = -2*y + 1. Let h = 878512/2365 + -4086/11. Are h and y non-equal?
True
Let p be (2 + -4)/(4/6) + 2. Which is smaller: 29/389 or p?
p
Let n = 2/12735 - 99343/63675. Which is smaller: n or -2?
-2
Let v(p) = p**3 + 6*p**2 + 15*p + 1. Let m(n) = n**2 - 1. Let u(t) = -3*m(t) - v(t). Let i be u(-4). Is -14 <= i?
False
Let u(b) be the second derivative of b**3 + 70*b**2 + 33*b + 5. Let f be u(-22). Is f at most -22?
False
Let x(o) = o**2 - 2*o + 1. Let j(t) = 2*t - 19. Let b(z) = -j(z) - 2*x(z). Let r be b(5). Is r bigger than -0.2?
False
Let y(q) = 12*q + 43. Let v be y(-4). Let r be -2 - (v + 75/6). Is -9 at least as big as r?
True
Let d = 6488 + -13099/2. Is -62 equal to d?
False
Let x be 16 - 42/21*-301. Is x < 616?
False
Suppose -3 = -b - 4, -353 = -4*a + b. Suppose -2*q + 154 = -14*o + 10*o, -2*o = 5*q - 445. Is a less than or equal to q?
False
Let b = -7964 - -7756. Which is greater: b or -1/17?
-1/17
Let a = 55 + -3158. Do a and -3104 have the same value?
False
Let t = -0.25 - 1. Let k = t + 1.15. Are k and 66 unequal?
True
Let w(q) = -23*q**2 - 8*q + 5. Let x(k) = -24*k**2 - 9*k + 6. Let i(j) = -7*w(j) + 6*x(j). Let s be i(-2). Let b be (-6)/12 + s/2 + 3. Is 35 > b?
False
Let o be -25 - (-5 + (-5370)/210). Let z(a) be the second derivative of -a**4/12 - 7*a**3/6 + 5*a**2/2 + a. Let b be z(-7). Is b < o?
True
Let f(a) = a**3 + a**2 - 8557*a - 107. Let b be f(-93). Let z be (30/(-4))/((-1)/(-2)). Which is smaller: z or b?
z
Let c be 1 + 1 + 1 + (-46696)/15560. Suppose 22*x + 37 + 21 = 80. Which is smaller: c or x?
c
Let l = -899569/67 - -13426. Is l equal to -1?
False
Suppose -d - 2*d = -d - 998. Which is greater: d or 501?
501
Let y = 2155 - 2134.91. Let t = y + -20. Let s be (25/(-7 - -2))/1 + 5. Is s > t?
False
Let q be (-423)/45 - -9 - 56/260. Is q at most -0.025?
True
Let d = -12866 - -12864.7. Are d and 1.4 equal?
False
Suppose -595*l + 3*d + 7 = -593*l, 4*l - 2*d = 2. Are l and -3/3842 nonequal?
True
Let i(k) be the third derivative of -k**5/60 - k**4/3 - 17*k**3/6 + 27*k**2. Let f be (-5 - -4)/(8/6 - 1). Let h be i(f). Which is bigger: -20/9 or h?
h
Suppose 0 = 3*q - 4*q + 20. Suppose 5*o = -4*u + o + q, 0 = -2*o + 4. Let a = -44/7 + 68/7. Which is smaller: u or a?
u
Let n = -37.71 + 84.71. Which is smaller: n or 7?
7
Suppose -v + 3*v = 2. Let n be (-145)/(-35) + -5 - (-15941)/133. Is v <= n?
True
Suppose -3*g = -g + 3*b - 7140, 4*g - 3*b = 14298. Let k = g - 17961/5. Is k greater than -18?
False
Let h = -240951 - -240910. Suppose 3 + 2 = 5*c. Which is smaller: c or h?
h
Let m(f) = -8*f - 46. Let g be m(-6). Suppose 5*c = -10, z - 4*z = g*c + 166. Is z bigger than -55?
True
Let r = 521 - -88. Let n = r - 573. Which is bigger: n or 3?
n
Let i = -422 - 2049. Let h = i + 2476.731. Let g = -5.7 + h. Which is smaller: g or -2?
-2
Let i = 36.316 + -35.716. Which is smaller: i or 118?
i
Suppose 3*f + f = 3*p + 56, 5*f = -2*p + 1. Let t(o) = o**2 + 10*o - 29. Let k be t(p). Let g = 179 - 186. Which is greater: k or g?
k
Let y(j) = 52*j**2 - 987*j - 17. Let k be y(19). Is k greater than 353?
False
Let w be (34/340)/((-14)/(-36)). Which is smaller: -0.05 or w?
-0.05
Let v be (-2)/(-7)*315/108. Let s = 0 - -5. Suppose 5 + 5 = s*d. Is d >= v?
True
Suppose 3*r - 5*y + 435 = -2*r, r - 5*y = -83. Let u be 24/(-44) + 40/r. Is u at least -5/27?
False
Let d be (-3)/(3/20) - -3. Let o = 7152 - 7151.9. Which is greater: o or d?
o
Suppose 2*u - 30 = -4*i, i + u - 31 = -3*i. Let b = -1840/89 + 1137292/54201. Let o = 2/87 - b. Is i > o?
True
Suppose 60 = -4*g - 5*h + 20, -3*g + h = 11. Let y = 18 - 11. Suppose 2*z + 2*j + 9 - 1 = 0, -y = z + 4*j. Is z not equal to g?
True
Suppose -359*q + 600 = -202*q - 182*q. Which is smaller: q or -666/29?
q
Let a(i) = -8*i + 1. Let d be a(4). Let v = -94/3 - d. Let g = -534 + 16552/31. Are g and v equal?
False
Let j = -2.865 + 1.773. Is j > 1?
False
Let f(d) be the third derivative of d**5/60 - d**4/24 + 55*d**3/6 - 71*d**2. Let q be f(13). Which is greater: 212 or q?
212
Let y(x) be the third derivative of -x**6/60 - 4*x**5/15 - x**4 - x**3 + 118*x**2. Let n be y(-8). Is n greater than 187?
False
Suppose 3*l + v - 387 - 233 = 0, -4*l = v - 825. Is l less than or equal to 203?
False
Let f = -30650 + 28014. Is -2636 less than or equal to f?
True
Let z(x) = -x**2 - 20*x + 63. Suppose 23*a - 19*a - 2*y = -90, -68 = 3*a - y. Let q be z(a). Is q not equal to -3?
True
Suppose 0 = -n - 2*h - 13142 - 852, -5*n = 5*h + 69945. Is -13984 less than n?
False
Let c(l) = 4*l**2 - 512*l - 513. Let w be c(-1). Let i be 104/(-50) - (0 - 2). Does i = w?
False
Let r = -0.23 + -0.07. Let w = -597.56 - -598.64. Is w at least as big as r?
True
Suppose 0 = 5*q - 4*d + 3*d + 846, -5*d + 150 = -q. Let l = -1/5321 - 1793175/10642. Is l smaller than q?
False
Let m(g) = -g**3 - 3*g - 9. Let y be m(-2). Suppose y*v + 2 = n - 9, 0 = -2*n - v. Which is bigger: -7/4 or n?
n
Let y = -248/3 + 33697/450. Let n = 1/150 + y. Let t = -508/63 - n. Are t and -1/3 nonequal?
True
Let g = -0.4986 - -35.4986. Which is bigger: g or 0.08?
g
Let t(u) = -3*u - 33. Let j be t(-12). Let l = -474 + 447. Do j and l have different values?
True
Let a(m) = 2*m**2 - 10*m - 20. Let k be a(10). Let x be (2/10)/((-24)/k). Let d be (-5 - 178/(-36))/(1/(-3)). Is x at least d?
False
Suppose 52*g - 112 + 892 = 0. Does -70 = g?
False
Let b = -974 - -977. Suppose 10*k + 1407 = b*q + 13*k, q - 467 = -3*k. Is 469 not equal to q?
True
Let h = 14077/40 - 7084/5. Let a = -1063 - h. Is a <= 3?
True
Let b = 0.059 - 0.058. Let a = 2.201 - b. Let k = 0.2 - 0.1. Which is smaller: k or a?
k
Let v = -21.049 + 0.049. Let b = v + 21. Let r = 26.2 + -30.2. Which is smaller: r or b?
r
Let u = 871 - 3363. Let f = u - -421145/169. Which is greater: 1 or f?
1
Let a(q) = -43*q + 331. Let n be a(7). Let i be (n/20)/((-6)/572). Is i equal to -145?
False
Let j be (3/(-4))/((-1359)/(-604)). Let f = -110 + 85.5. Is j >= f?
True
Let c = -16623 - -16565. Is -473/8 bigger than c?
False
Let k = -542.563 - -541. Is 3 smaller than k?
False
Let f(d) = d**2 - 29*d + 30. Let s be f(28). Suppose 2*a = -s - 6, 4*a - 602 = -3*g. Is 206 >= g?
True
Suppose -7*n = 8*n + 45. Let x be n*6/6*17. Which is greater: -52 or x?
x
Let w be (2/5 - (-1947)/(-30))*2. Let d = -129 - w. Suppose f + d = 1. Does f = 104?
False
Let j = -93 - 612. Let v = j - -22559/32. Which is greater: -1 or v?
v
Let r = -79431281 + 30660448927/3