= -s, s - 9 = -b - 2*s. Suppose 5*t - 177 - 23 = b. Suppose g = -4*u + 147 - 47, -2*u + t = -2*g. Is 25 != u?
True
Suppose -3*d + 4*q - 1315 = 932, -3*d + 3*q = 2247. Let b be (0 - -1)/(d/(-14)). Is b less than or equal to 1?
True
Suppose 0 = 4*n - 4*p - 4, -3*n - 5 = 15*p - 10*p. Which is smaller: n or -9/80?
-9/80
Let w = 57.8933 - 1.0833. Let a = -2.81 + w. Which is greater: -3 or a?
a
Let p = -333 + 307.8. Let f = p + 25.1. Is f > -90/11?
True
Let i(b) be the first derivative of 2*b**3/3 + 8*b**2 + 26*b + 1. Let v = -8252 - -8246. Let f be i(v). Which is smaller: 31 or f?
f
Suppose -m + 4*m = -180. Let w(z) = 70*z + 5. Let k be w(0). Let u be (k/m)/(15/3). Which is smaller: u or 0?
u
Let v = 10 + 6. Suppose v*c - 17*c + 6 = 0. Suppose 4*d + 3*w = -7 - c, 5*w + 15 = 0. Which is smaller: -16/9 or d?
-16/9
Let n be ((-304)/8*19/2)/((-2)/(-6)). Is n at most as big as -1083?
True
Let b = 0 - 0.1. Let d(u) = 2 - 12*u**2 - 14*u + 24 - 11*u**3 + 12*u**3 + 8. Let f be d(13). Is f < b?
False
Let p = 337 + -151. Let h = -185 + p. Let r = -229/3 + 77. Is r >= h?
False
Let f be (-81)/6 - 23/161*-7. Let v = 17 + -15. Is v not equal to f?
True
Suppose 1239 = -2*z + f, 0 = -24*z + 26*z - 5*f + 1259. Which is smaller: z or 0?
z
Let w be 46144/16 - 0/(-24). Is 2882 less than w?
True
Let p be 150/(-105)*28/(-10). Let s be -4*(-3)/(-2436)*p. Is 0 != s?
True
Let t = -134 + -158. Let g = 292.2 + t. Which is bigger: g or -6/5?
g
Suppose 3*l = -2*l - 35. Let x = l - -11. Suppose 4*n + 2 = 2*n, -22 = -5*m + 2*n. Are m and x equal?
True
Let w(r) = -22*r + 447. Let h be w(48). Suppose 4*j = 8*j + 2432. Is h <= j?
True
Let n = 139 - 101. Suppose -n = -p + 113. Which is smaller: 1/2 or p?
1/2
Let d(g) = g**3 + g**2 - 3*g. Let p be d(2). Suppose 0 = 5*w + p*a - a + 105, w + 36 = 2*a. Does -23 = w?
False
Let t(k) = k**2 - 75*k + 299. Let r be t(4). Let w be ((-20)/(-6))/(16/(-120)). Let l = -24 - w. Is r less than or equal to l?
False
Let t = 1.863 + 302.337. Let i = -304 + t. Which is smaller: 86 or i?
i
Let r = -0.97 - 9.53. Let p = r - -9.64. Let b = p - -0.76. Is -47 > b?
False
Let h = 4636522/3555 + -11738/9. Which is smaller: h or 0?
0
Let v = 799/5 - 160. Is v less than -2.772?
False
Let r = -25 - -27. Suppose -4*t = -5*z + 144 - 55, 0 = -3*t - r*z - 38. Let m(g) = -g**3 - 5*g**2 + g + 1. Let n be m(-2). Is n bigger than t?
True
Let s(f) = -f**3 - 8*f**2 - 7*f + 6. Let a be s(-7). Suppose -a*z + 9 = -15*z. Let g = 11/3 - 344/93. Is g <= z?
False
Let j be 3/(9/24) - (-1276 + -25). Which is greater: 1308 or j?
j
Let c(t) = -13*t - 4. Let o be c(-4). Suppose o = -j - s + 201, 0 = -4*j - 3*s + 612. Let v be (-4)/(-38) - j/(-171). Which is smaller: v or -1/53?
-1/53
Let d be (3/2)/(978/(-652)). Which is smaller: -6/311 or d?
d
Let a(l) = -10*l + 70. Let f be ((-150)/3)/(-5) - 3. Let u be a(f). Which is greater: u or 14/13?
14/13
Let u = -45 - -85. Suppose 21*t - 29*t = -22*t + 42. Suppose l + 58 = 5*q, -t*l - q = -2*l + u. Which is smaller: -44 or l?
-44
Suppose 16*n - 12*n = 128. Suppose m - n - 43 = 0. Let w = -199/3 + m. Which is bigger: w or 10?
10
Let j = 26.59 + -25.29. Which is bigger: -26 or j?
j
Suppose -200*b - 12 = -204*b. Let k be 128/(-70) - -2 - b/5. Which is smaller: k or -1/4?
k
Let c = -191.89 - -191.88. Which is smaller: -426 or c?
-426
Let b = -16703/32 - -522. Let v be 1/(-2)*(-4 + -2). Let t be 1*-2 + v/3. Which is greater: b or t?
b
Let t be (-4)/10 - (11536/(-40) - -6). Let d = -288 + t. Which is smaller: -59/8 or d?
-59/8
Let i = 19441 - 19439. Which is bigger: -683 or i?
i
Let u = -1021 + 1022. Suppose 0 = -2*k + 47 - 15. Which is smaller: k or u?
u
Suppose 36 = -2*s + 3*s. Let j(z) = 33*z + 1095. Let a be j(-33). Let g be 2/s*a + 10/(-84). Which is greater: -1 or g?
g
Let z be (-8)/14 - 2760/(-4928). Suppose -2*y - 4*i - 22 = 0, 0*i + 3*i = -3*y - 36. Let m = 13 + y. Which is smaller: m or z?
z
Suppose -24 = v - 4*v. Let h(c) = 2 + 17*c + 6*c**2 - v*c**2 - 3 + 12. Let d be h(9). Which is smaller: 4/5 or d?
4/5
Let x = -47.66 - -48. Let t = -41.34 + x. Which is greater: t or 0?
0
Let r be ((-13)/(-3) - 4)*15. Let i be ((-2)/r)/(136/10 + -3). Let z be 0/(0 + (2 - (1 + -2))). Which is bigger: z or i?
z
Let g = 220 - 126. Let o(f) = 6*f**2 + 12*f + 7. Let s be o(-5). Let j = s - g. Which is smaller: j or 6?
j
Let t(g) = 5*g**3 + 3*g**2 - 5*g + 1. Let w be t(1). Let x be ((-1 + 2)/w)/((-42)/168). Is -1/46 greater than x?
True
Suppose 2*c + 41 = 127. Suppose -89 = -2*r - 2*r - 5*u, 0 = -3*r + u + c. Suppose -11*h = -r*h + 25. Is h at least as big as 5?
True
Let s be ((-3)/(-36))/((-7 - 10/(-2))/(-4)). Which is smaller: 10.29 or s?
s
Let t be ((-57)/(-15) + 1)/((-3396)/60). Which is greater: t or 0?
0
Let v = -191 - -219. Suppose -5*p - 27 = -a, 5*a = -4*p - 11 - v. Let o = -152/35 + -9/35. Is p >= o?
False
Let f = 33 + -23. Let c = f + -9. Suppose -4*x + 201 = 69. Is c equal to x?
False
Let k = -888 - -615. Let h = 272.805 + k. Is h smaller than 2?
True
Let x = 6 + -18. Suppose -57*r + 88*r + 465 = 0. Is r greater than x?
False
Let i(k) = k**2 + k - 1. Let z(b) = 4*b**2 - 11*b - 25. Let t(g) = 3*i(g) - z(g). Let w be t(15). Let j(v) = 2*v + 29. Let c be j(w). Which is smaller: c or -2?
-2
Suppose v + 84 = 5*x, -2*v - 21 + 61 = 3*x. Suppose 0 = 32*f - x*f - 368. Is f smaller than 22?
False
Suppose 180*m + 2040734 - 420659 = -199545. Is 1 > m?
True
Let j = -334 - -337. Suppose -2*s - 16 = 5*z, 0 = j*s + 22*z - 19*z + 6. Which is greater: s or 38/17?
38/17
Let o = 261 + -255. Let q = 343 - 358. Is q < o?
True
Let b = 484179/323 + -1499. Is 2/3 greater than b?
True
Let m(i) = -i**2 + 4*i - 5. Let p be m(1). Suppose 7*d = 2*d + 95. Let f be d/(-4)*((0 - p) + -6). Are 20 and f nonequal?
True
Let i = 472 + -372. Let q = i - 100. Is q != 1/15?
True
Suppose -4*u = 21 - 33. Suppose u*s = 8*s - 15. Suppose 0 = 4*y - s - 13, -y + 2 = z. Which is smaller: 5 or z?
z
Suppose -2*n - 12 = 0, n - 696 = 3*c - 705. Is c equal to 13/46?
False
Let q(m) = -m**2 + 8*m - 19. Let j be q(5). Suppose -y = 0, -1 = -4*w - 3*y - 17. Do w and j have the same value?
True
Let g be (-4)/(-3)*966/(-35). Is g equal to 1/15?
False
Let c = 196 - 345. Let f = 130 + c. Which is greater: -2 or f?
-2
Let z(l) = -3*l + 6. Let u be z(8). Let h = u - -15. Let j be -3 - -8 - (-158)/(-22). Which is smaller: j or h?
h
Suppose -2*t + 4 = 0, v = -2*v + 5*t - 4. Let u = -922 + 2402. Let l = u + -1463. Is v != l?
True
Suppose -47*m = -46*m - 6. Let x(z) = -38*z + 3. Let f be x(m). Is f < 1?
True
Let m(i) = -5*i**3 - 2*i - 3. Let t be m(-1). Suppose 0*v = -4*v - t*x - 8, v = -4*x - 11. Let b be 3/12 - -3*v/4. Which is greater: 2/61 or b?
b
Suppose 8*l + 25 - 41 = 0. Let y = 3872/2373 + -66/113. Which is smaller: y or l?
y
Suppose 4*k - 612 = -2*y, -10*y - 2 = -9*y. Let d = -155 + k. Which is smaller: -2/151 or d?
d
Let r = -14.34 - 3.66. Let b = -4 + -13. Let v = r - b. Which is smaller: 1.3 or v?
v
Let r be ((-1)/(-4) + 213/156)*-20. Let y = 3650/117 + r. Let x(a) = a**3 + 4*a**2 + 3*a - 2. Let d be x(-3). Is d bigger than y?
False
Let p = 0.2 - 0.4. Let d be 109222/13580 - 2/(-20). Which is smaller: d or p?
p
Let p = 5.82 + 0.88. Let c = 22940.4 - 22947. Let k = c + p. Are k and -12 non-equal?
True
Let y(k) = -k**3 + 26*k**2 - 24*k - 24. Let p be y(25). Suppose -10*w + 1 = p. Is w less than 2/31?
True
Let y = -6.06 + -5.94. Is y less than or equal to -81.7?
False
Let s be (-10)/(-2) - (-730612)/(-144980). Let p = s - -2/659. Is p greater than 1?
False
Suppose -1357 = 2*b - 2*a - 4443, 4669 = 3*b + 2*a. Do 1552 and b have different values?
True
Let z be (3/12)/((-14)/14992). Let u = z + 268. Is -7 at most as big as u?
True
Suppose 2*k - 156 = 4*c, -67*k - 4*c = -66*k - 66. Does k = 63?
False
Let t(h) = 3*h + 21. Let k(o) = 5*o + 44. Let i(p) = 2*k(p) - 5*t(p). Suppose -2*z - 11 = -2*x + x, 5*x - 27 = 3*z. Let f be i(z). Is f less than or equal to 2?
False
Let r = -7.5 + 4.4. Let t = -476 + 490. Let l be 5 - (3 - (-21)/t). Which is greater: r or l?
l
Let u = 9.27 - 10.27. Let z be (-84)/(-46) - (2 - 2). Is u bigger than z?
False
Let t(f) = 17*f - 51. Let r(b) = 16*b - 51. Let v(g) = -6*r(g) + 5*t(g). Let x be v(3). Which is smaller: 84/5 or x?
84/5
Suppose 0 = -8*j + 9*j - 66*j + 336310. Which is