). Let w be -1 - (-9 - (-1 - -3)). Which is smaller: w or s?
w
Suppose 47 = -9*h + 209. Which is smaller: h or 16?
16
Let d(g) = g**3 - 7*g**2 + g - 4. Let a be d(7). Suppose 2*y + 5*k - a + 2 = 0, -4*y + 14 = -2*k. Let v be (0/2)/y + -2. Is v at most -8?
False
Let x = 0.178 + 0.022. Are x and 156 non-equal?
True
Let k(y) = 12*y**3 + 7*y**2 - 11*y**3 + 4*y**2 - 12 - 15*y. Let g be k(-12). Let p be ((-1)/(-6))/(g/9). Is 1 not equal to p?
True
Let w(v) = -v**2 + 35*v - 2 - 77*v + 49*v + 10. Let c be w(9). Which is smaller: -9 or c?
c
Suppose 4*k + 4*t = 72, -3*k - 2*t + 4*t = -44. Let v(j) = -j**3 + 5*j**2 + 2*j + 7. Let z be v(5). Is k != z?
True
Let d = 94 + -89.2. Let v = 4.9 - d. Is v greater than -2.6?
True
Suppose -512 = -8*y - 480. Is y smaller than 8?
True
Let l = -17 + 47. Suppose 23*x + 382 - 1095 = 0. Is x less than or equal to l?
False
Let b be (-11)/44*66*-2. Is b at least as big as 24?
True
Suppose 8*k + 18 = 5*k. Let x(h) = 2*h**2 + 14*h + 4. Let n be x(k). Is -9 at least as big as n?
False
Let v(h) be the second derivative of -h**4/12 - h**3/3 - 7*h**2/2 + 4*h. Let x(b) be the first derivative of v(b). Let o be x(-5). Is 9 < o?
False
Let r = 17.3 + -0.3. Let t = 12 - r. Which is smaller: t or -0.1?
t
Suppose -4*s + 61 = 5*x + 1, x + 4*s + 4 = 0. Let j = x + -26. Let b be (1 - -1)*(-55)/j. Is 10 smaller than b?
True
Suppose 8*m - 14*m = -42. Let h be (-14)/(-4)*(-1)/(m/(-12)). Suppose 4*c - 6*c + 10 = 0. Which is greater: h or c?
h
Let t be (-2)/(-14)*2/(-4). Let a(k) = 4*k**2 - k - 1. Let r be a(-1). Suppose 2 = 2*g + 4*q, 2 - 1 = 3*g + r*q. Is g not equal to t?
True
Suppose 2*d = 5*s - 26, -10 = 2*d - 0*d - s. Let r be (-5)/(-5)*0/(-1). Is r less than d?
False
Let j be (-3 + 2)*3/27. Let i = -0.058 + 0.058. Which is smaller: j or i?
j
Let p(d) be the second derivative of 2*d**3/3 - 25*d**2/2 - 8*d. Let f be p(11). Is f >= 18?
True
Let b be ((-26)/(-6))/((-2189)/273). Let f = b + -1/199. Let o(y) = y**2 + 82*y - 84. Let a be o(1). Which is bigger: f or a?
f
Let f = -1317/9274 - 19356289/12659010. Let t = -2/455 - f. Which is greater: t or -1?
t
Let c = 1.01 - 49.01. Let l = c + 55. Is l < -9?
False
Let t be 513/255 + 12/(-6). Is 1 at least as big as t?
True
Let p = 110 + -105. Suppose 6*s + 140 = 5*f + s, 0 = -p*s - 15. Which is smaller: f or 24?
24
Let l = -25.5 - -12.5. Is l at most as big as -2/7?
True
Let g(c) = -c**2 + 11*c - 27. Let k be (63/28)/(3/8). Let t be g(k). Which is bigger: -4 or t?
t
Let g(s) be the first derivative of s**6/120 + s**5/20 - s**4/24 - s**3/2 + 2*s**2 + 2. Let o(y) be the second derivative of g(y). Let a be o(-3). Is -5/7 < a?
True
Let p(i) = 7*i**3 + 5*i**2 + 5*i - 6. Let c(w) = -13*w**3 - 9*w**2 - 9*w + 11. Let a(v) = 6*c(v) + 11*p(v). Let g be a(0). Which is smaller: 1/14 or g?
g
Let f = -9.8 - 71.2. Let h = f - -80.92. Which is greater: h or 5?
5
Let u = 0.06 + -9.06. Let f(i) = i + 17. Let m be f(-14). Which is greater: u or m?
m
Let s = 3701 + -2491. Suppose 334 - s = -3*h. Let z be h/20 + 3/(-5). Is 13 > z?
False
Suppose -4*v + 0*k = -4*k + 4, 0 = -4*k - 12. Let q be (-3)/(-2)*v/21. Which is smaller: 0.2 or q?
q
Let d = -479/3 + 161. Suppose -31 = 3*h + 11. Let y = h - -16. Which is bigger: d or y?
y
Let l = 56 + -57. Let w(a) = -4*a**2 - 3*a - 1. Let q be w(l). Let j be 2 + (-2 - 14/12). Which is greater: j or q?
j
Let z(h) = h**3 + 17*h**2 + 18*h + 17. Let d = -34 + 18. Let x be z(d). Are x and -15 non-equal?
False
Let v = -4137953/686 + 6032. Which is greater: 0 or v?
0
Let r(y) = y**2 + 5*y + 2. Suppose 5*k + 51 = 16. Let m be r(k). Let i be (-24)/m*4/(-6). Is i less than 1?
False
Let m = -80.6 + 80.5. Let b = 13.34 + -0.34. Which is smaller: m or b?
m
Let u be (-7744)/(-8288) + 4/(-14). Do 0 and u have different values?
True
Let b(w) = -172*w**2 - 63*w**2 + 1 - w - 14*w**2. Let v be b(1). Let z be 22/(-143) + v/(-13). Are 19 and z equal?
True
Suppose -495 + 263 = -8*c. Suppose -5*v = d - 132, -v + 126 = 4*v + 3*d. Are v and c unequal?
True
Let b(u) = 42*u + 4. Let p be b(3). Let k = -131 + p. Let r = 1493/5 - 300. Which is smaller: k or r?
r
Let d = 2533/5 - 2185989/4315. Is -1 less than or equal to d?
True
Let j = 76 + -108. Let d = j - -28. Which is greater: d or 4?
4
Let v be (-3)/4*(-2)/75. Let u(h) = 4*h**2 + 10*h + 4. Let j be u(-3). Suppose -j*d + d + 0*d = 0. Do d and v have the same value?
False
Let m = -315 - -5983/19. Suppose 129*x = 146*x. Which is bigger: x or m?
x
Let z = -673 - -704. Is 19 < z?
True
Suppose 5*d - 4 = 6. Suppose d*u = -5*g + 551, -3*g + 133 = u - 198. Let k = -1885/17 + g. Is 0 equal to k?
False
Let u = -5 - -12. Let x(s) = 13 + 1 - s + 9 - 4 - 3. Let k be x(u). Is 8 at least as big as k?
False
Suppose 1 = h + 3. Let i = -18 - -24.8. Let l = i + -3.8. Which is smaller: l or h?
h
Let a = 42.37 + -42. Let c = a - 0.17. Which is smaller: 8 or c?
c
Suppose 6 + 18 = 3*k + 3*b, k - 5*b = -22. Suppose 7*z = k*z - 4. Let s be (7 - (-36)/(-5))*(-10)/86. Which is greater: s or z?
s
Let r be ((-12)/20)/((-2)/(-10)). Suppose k + 2*k + 12 = 0. Which is smaller: r or k?
k
Suppose 9 + 11 = -5*t. Let j be 75/90 - (-2)/t. Which is smaller: -1 or j?
-1
Let p(k) = -28*k + 2. Let x be p(-5). Is 142 <= x?
True
Let d(k) = -7*k**3 - k**2 + k - 1. Let y be d(1). Let o be 2*(2 - (-4)/y). Suppose 2*z - 5 + 3 = 0. Is o less than z?
False
Let s = 1554 + -1554. Is 172 greater than s?
True
Let k = -96.1 + 103. Which is bigger: -6 or k?
k
Let q = -157.92 + 0.92. Which is smaller: -2 or q?
q
Let n = 319 - 394. Which is bigger: n or -1/3?
-1/3
Let s be 7*(-24)/5250*30/(-12). Which is bigger: -95 or s?
s
Let k(h) = -h**3 + 14*h**2 + 2. Let v be k(14). Suppose v*b - 7 = u, -u + 6*u + 7 = -4*b. Is -3 > b?
False
Let d(l) = -3*l**3 - 21*l**2 + l + 7. Let b be d(-7). Let w be ((-104)/(-192))/((-6)/(-8)). Does w = b?
False
Let j(t) = 14*t**3 - t**2 - t + 2. Let y be j(1). Suppose -3*o = p - y, -28 = -4*p - 2*o + 28. Which is smaller: p or 10?
10
Let o = -343/15429 + -2/417. Is 1 greater than or equal to o?
True
Suppose 3*d + 3*b = 102, -5*d - 22*b = -18*b - 167. Which is greater: d or 94/3?
94/3
Let a(u) = 4*u - 1. Let q be a(6). Let l = 17 - q. Which is smaller: l or -7?
-7
Let q = 264 - 261. Which is bigger: -251 or q?
q
Let g(l) = 3*l**3 + 2*l**2 - 2. Let x be g(1). Suppose -5*p + 4*w = x, -6 = 2*p - 5*w + 2. Does p = -9?
False
Let k = -7944619/325 - -24445. Which is bigger: k or 1?
1
Let d be 2*(-2 + 3)*1. Let u be 2 + d + 40/(-9). Let y(q) = -q**3 + 8*q**2 + 20*q. Let s be y(10). Which is smaller: u or s?
u
Let q be (-11)/3 + (-9)/27. Let y(x) = 4*x + 10. Let s be y(q). Suppose 0*o = 4*o + 2*k + 20, k + 2 = 0. Which is smaller: o or s?
s
Let j(r) = -4*r**2 + 17*r + 6. Let u be j(7). Which is smaller: -72 or u?
-72
Suppose 6*j = 16 + 74. Suppose 0 = 4*g + 4*t - 8, -5*g + 3*t + 2*t = 30. Is j smaller than g?
False
Suppose -35 = -8*d + 13*d. Let x be d/2 - (-8 + 5). Which is smaller: x or -0.1?
x
Let p(a) = -2*a + 1. Let i be p(3). Let z = i + -4. Are z and -9 equal?
True
Let q = -57 - -57.095. Which is smaller: 2 or q?
q
Let b(x) = 9*x**2 - 31*x + 74. Let a be b(3). Are a and 69 nonequal?
True
Let q be 0 + 3 + (4 - 177/36). Let b = 32/15 - q. Which is smaller: b or 0?
0
Let n be 14/(((-3)/2)/(-3)). Let l(t) = -17*t. Let o be l(0). Which is bigger: o or n?
n
Suppose -3780*l + 2 = -3782*l. Which is greater: l or 4/599?
4/599
Let c be (2/16)/(2/(-134)). Let p be -34*(5 - 84/16). Let k = c + p. Do 0 and k have the same value?
False
Let d = 476/15125 - 6/125. Let c be 11 - (10 - 0) - 2. Are c and d equal?
False
Let b = -74 + 74. Are -16/21 and b nonequal?
True
Let w be 3 - (-2 + -4 + 4). Is w equal to 70/17?
False
Let n = -145 + 145. Do -8/33 and n have the same value?
False
Let g be (3 - 2) + -5 + 32. Suppose g = 2*i - 11*b + 7*b, 3*i = 4*b + 46. Is 18 greater than i?
False
Let o = 15 - 7. Let x be (0 - 0)/((-24)/o). Suppose k = 2*y + y + 16, 3*k - 3 = x. Are y and -6 nonequal?
True
Let y = -1.28 + 0.04. Let a = -0.24 - y. Is -3 <= a?
True
Let p(n) be the third derivative of 0 - 1/12*n**4 + 3*n**2 + 5/6*n**3 + 0*n. Let v be p(4). Which is greater: -1 or v?
-1
Let p be ((-2)/(-4))/((-12)/(-120)). Suppose 2*n = p*n. Let w be -4 - n - 29/(-7). Is w not equal to -1?
True
Let w = 1542 + -60133/39.