) = d - 4. Let n be v(4). Which is greater: n or t?
t
Let v = 104 + -201. Which is smaller: v or -487/5?
-487/5
Suppose 0 = 34*d - 17*d - 204. Is d less than 58/5?
False
Let v(z) = -z**2 - 18*z + 145. Let u be v(6). Is u bigger than -3/250?
True
Let x = 4.7 - -2.9. Let b = x + 27.4. Let c = -34 + b. Which is bigger: c or -0.01?
c
Let a = 41 - 36. Suppose 3*h - 4 = -a*p - 49, -p = 5*h + 31. Which is smaller: p or -2?
p
Let a = -21 - -27. Let s be 304/12*9/a. Let z = -36 + s. Are z and -2 non-equal?
True
Suppose -4*j - 16 = i + 3*i, 4*j - 4*i = 8. Let x(p) = -p**2 - 6*p + 16. Let l be x(-8). Let d = j - l. Is -4/5 at most d?
False
Let f(p) be the third derivative of p**5/60 - p**4/6 - p**3 + 21*p**2. Let m be f(5). Is 4/23 greater than m?
True
Let f = 160/87 - -24/29. Suppose 3*p - 8 = -2*r, -r = -2*r - 5. Suppose 0*c - 3*c = -4*q + p, 0 = 5*c - 10. Which is smaller: q or f?
f
Suppose -14*j - 4336 = 2*j. Is j greater than -271?
False
Let r(q) = 2*q**3 - 3*q**2 + 2*q - 149. Let o be r(0). Is -149 smaller than o?
False
Let a be 151004/251790 + 3/(-5). Do -1 and a have different values?
True
Let g be (1/(-4))/((-300)/15). Which is greater: g or -1?
g
Let c be (-6)/12*2/3. Let u be (-18)/48*212/(-6). Let f = -13 + u. Which is smaller: f or c?
c
Let o = -38 + 27. Let f = o + 41. Let l = 18 - f. Which is smaller: l or -11?
l
Let t be 512/3784 + 2/(-11). Which is smaller: -1 or t?
-1
Suppose 0 = -5*c + 4*k + 81, -c + 5*k - 73 = -5*c. Let h = c + -18. Are h and -3/16 equal?
False
Let x = 201 - 200. Which is smaller: 34 or x?
x
Let b = 30/19 - -100/57. Let t = 3 - b. Is t greater than 0.8?
False
Let a(x) = x - 2. Let y be a(2). Let c = -582 - -588. Is c greater than or equal to y?
True
Suppose -2*d + 5*r + 39 - 2 = 0, -2*r = -d + 16. Suppose -d*a = -9*a - 33. Is a < -10?
True
Suppose -j + 60 = 4*z, -4*j + 0 = 2*z - 212. Are j and 52 nonequal?
False
Let g = -36.08 + 0.08. Let w = 22 + g. Let j = -3.32 - -3.42. Is w smaller than j?
True
Let o(d) = 3*d - 12. Let f(j) = -4*j + 13. Let c(m) = 4*f(m) + 5*o(m). Let h be c(-8). Suppose i - 1 + 2 = h. Which is bigger: 3/7 or i?
3/7
Let g(t) = t**2 + 15*t - 33. Let b be g(2). Which is greater: b or -10?
b
Let k(i) = 6*i - 16. Let g be k(-9). Let w = g - -70. Is w <= -2/3?
False
Suppose 6*o + o = 0. Suppose o = -d + 3*c + 2*c - 20, 5*c + 10 = -5*d. Which is smaller: -21/4 or d?
-21/4
Suppose -15*p + 12*p = 168. Which is greater: -57 or p?
p
Let h = 28 - 26.9. Let z = -0.32 - 1.78. Let x = z + h. Which is greater: x or -2/21?
-2/21
Let v = -279 - -97. Is -182 at most v?
True
Let d = 60 - 37. Let v = d - 23. Which is greater: v or -5/7?
v
Let k(l) = -l**3 - 13*l**2 + 30*l + 13. Let d be k(-15). Which is bigger: 21 or d?
21
Let b = 122.1 + -120.1. Which is smaller: 1/77 or b?
1/77
Let r be -4 + (-888)/30*(-1)/5. Which is greater: r or 1?
r
Suppose -b + 0 + 11 = 3*s, 2*s - 6 = 0. Suppose b*v = -0*v. Suppose -3*i - 3*k + 12 = v, 3*k - 7 = 5*i - k. Are -1/3 and i unequal?
True
Let k be (-52)/78*(230 + (-1)/(-1)). Let p = -172 - k. Which is greater: -20 or p?
p
Suppose -4*f + 10 = 10. Suppose f*u + 3*o + 6 = 5*u, 4*u - o = 2. Is u <= -1/7?
False
Let w = 0.078 - -37.922. Let l = w + -73. Does l = 0?
False
Let d be (-3)/(-4 - -1) + 2. Suppose 3*i = h - 32, d*h - 2*i = -0*i + 103. Let t = -50 + h. Is -15 smaller than t?
False
Let u be 2/3 - 3*(-7160)/(-32310). Which is greater: u or -1?
u
Let h = -2/5931 + 610903/29655. Let y = h - 21. Are y and -1 nonequal?
True
Let p be 1 - (-10 - (808 + 4)). Do p and 824 have the same value?
False
Suppose -16351 = 6*f - 89*f. Which is smaller: f or 195?
195
Let r = 4174 - 66755/16. Does r = 3?
False
Suppose 26 = l + 3*y, 0 = 5*l - 2*l - y - 108. Let c = -209/6 + l. Which is smaller: -1/6 or c?
-1/6
Suppose 0 = 5*x + 3*x - 1432. Is x less than or equal to 179?
True
Let v(y) = y - 4. Let w be v(-5). Let j = -9698 - -9691. Is j equal to w?
False
Let g = 25.6 + -26.432. Let k = g - 0.048. Let t = 0.12 - k. Is 2 at most as big as t?
False
Let c be -3*4/(-48)*-4. Let x be (5/45)/((-1)/c). Is x greater than -1?
True
Let u be 9/(-3 + 174)*4/6. Which is smaller: u or 0?
0
Let h = -69 + 107. Let n = 24 - h. Let r = 12 + n. Which is smaller: -0.2 or r?
r
Let i = -506 - -485. Is -14 at least as big as i?
True
Let u = -6 - -5.57. Suppose -4*k - 3*t = -16, 21*k = 18*k + 2*t - 5. Is u at least as big as k?
False
Let o = -6.02 + 0.02. Let p = 6 - 11. Let u = o - p. Does -3/4 = u?
False
Suppose -4*l = 2*j - 2018, 77*l - 74*l = 3*j + 1518. Which is smaller: l or -3?
-3
Suppose 2*j - 3*j = -3. Let i be (-4)/j - (-2)/6. Let g(f) = -f**3 - 2*f**2 + 10*f + 10. Let p be g(-1). Are i and p unequal?
False
Suppose 0 = -0*n - 3*n. Let t be (-9*(-18)/243)/((-4)/(-6)). Suppose n*w + t = w. Which is greater: w or -1/7?
w
Suppose -21 = -m - d + 2, -8 = 2*d. Let s be (-3)/(-99)*m/6. Are s and -1 equal?
False
Suppose 0 = -5*l + 123079182 - 786617752. Let u = l + 72856561076/549. Let x = 428/9 - u. Which is greater: 1 or x?
1
Let r be (3 + 37/3)/(34/(-561)). Is -250 equal to r?
False
Let s be (1005/(-11792))/((-9)/(-12)). Is s smaller than 0.1?
True
Suppose 81 = -5*v + 11. Let x be v*2/(-16) - 2. Let j = -943 - -941. Which is bigger: x or j?
x
Let s = 104 - 113. Is s > -12?
True
Let o = -14 - -6. Let i be 1/(1 - o/(-9)). Let c = i + -7. Are 5 and c non-equal?
True
Let a(o) = -3*o**3 - 4*o**2 - o - 18. Let n be a(-4). Which is smaller: 340/3 or n?
340/3
Suppose 7*w = 3*w - 24. Let q = 2 + 2. Suppose -8 = 2*y + q. Is w > y?
False
Suppose 8*c + 60 = 4*c. Let y be (1*(4 + -1))/(93/(-434)). Which is smaller: c or y?
c
Let l be ((-588)/(-70))/(((-8)/5)/(-4)). Is -3 smaller than l?
True
Suppose 4 + 4 = -2*f. Let k(o) be the first derivative of o**3/3 + 3*o**2/2 - 4*o - 15. Let g be k(f). Is g less than -2/7?
False
Let v = -2 + 12. Let n = 12 - v. Suppose 0 = n*p + a, 4*a = 2*p + 2*a. Which is smaller: p or 2?
p
Let i = -159 - -127. Which is bigger: i or -6?
-6
Suppose 17 = -6*b + 335. Is b smaller than 51?
False
Suppose 0 = 5*t - 19 + 19. Is t at least 1/1363?
False
Let z = -0.7 - -1. Let v = -1.5 + 1.51. Let s = 0.01 - v. Which is smaller: z or s?
s
Let q = -138 + 139. Is q at least -159?
True
Let s be (-3)/((-48)/68)*4. Suppose -s = d + u, -4*d + 5*u - 19 - 13 = 0. Let c(n) = -n**3 - n**2 - 13. Let k be c(0). Is k greater than or equal to d?
True
Let w = -1/37 - -264/185. Let b(y) = 2*y**2 - 9*y + 15. Let i(a) = -3*a**2 + 17*a - 30. Let z(l) = 5*b(l) + 3*i(l). Let d be z(-8). Is w at least as big as d?
True
Let d = 2045 + -2017. Is d >= 75?
False
Let u be 23/(-240) - (-4)/12. Let d = 1/80 + u. Is 1 less than d?
False
Let s = 107 + -138.9. Let n = s + 27. Let w = n - -5. Is 0 bigger than w?
False
Suppose z = -z + 8. Suppose z*v + 5*x = -17, v + 3*v - x + 11 = 0. Suppose -1 = 3*y + 5. Which is bigger: v or y?
y
Let s = -8 + 13. Suppose -4*o + 17 = -t - 0*t, s*t - 30 = -3*o. Suppose -t*x + 5*k - 29 = 0, -5*k = -2*x + 6 - 32. Which is bigger: -2 or x?
-2
Suppose 5*q - 4*k - 7 = -2*k, 0 = -5*q + 5*k - 5. Suppose q*o + 3*r = -0*o + 15, 0 = -5*r + 25. Which is smaller: o or -106?
-106
Let m = 212 - 212.2. Which is bigger: m or 109?
109
Let n(g) = 8*g - 105. Let w be n(13). Is 98 <= w?
False
Let d be 9/15*150/(-96). Which is smaller: -2 or d?
-2
Let q = -16.09 - -0.09. Let t = 16.03 + q. Are t and 2/5 equal?
False
Let b = -22 + 37. Suppose -4*s - 9 = b. Let a = 5 + s. Are a and -1 non-equal?
False
Let q be (-50)/(-20)*(-984)/(-30). Which is smaller: 403/5 or q?
403/5
Let k = 64 + -64. Let r = -10/49 - 302/441. Is r > k?
False
Let o be (4 + 2032/(-40))*15/(-2). Are o and 352 nonequal?
True
Suppose -4*d + 6 + 6 = 0. Does -0.09 = d?
False
Let n(x) = -x - 10. Suppose 2*j = -j - 15. Let a be n(j). Which is greater: a or -31/5?
a
Let h(b) = -2*b**2 + 35*b + 4. Let k be h(18). Let a = k - -8. Which is smaller: a or -5?
a
Let h = -2 - -8. Let m be 1*h*2/3. Which is smaller: m or 5?
m
Let u = -204 + 294. Let f be 10/(-225)*-9 + (-76)/u. Which is greater: -1 or f?
f
Let n(a) = a**3 + 7*a**2 + 5*a - 3. Let p be n(-4). Let z be 90/p - (-4)/10. Suppose -z*r + 20 = c, 0*r = -3*r - 4*c + 2. Is r at most as big as 3?
False
Suppose -19*b + 22 = 3. Which is bigger: -7/30 or b?
b
Let y = -4 + 4. Let n = -118/145 + 12/29. Is n >= y?
False
Let l = 0.