t f(d) = -d + 173. Let b be f(-17). Let w be 4*-5*b/(-20). Which is smaller: w or 188?
188
Let t be ((-27822)/4)/(648/(-432)). Which is bigger: t or 4634?
t
Let h be -27*(-15)/(-90)*(-3)/(3/(-2)). Is h smaller than -50?
False
Let l be (1 - 0)*(0 - 2) - 1. Is l > -0.06?
False
Let v be (-3)/6 - ((-4)/(-8) + -3). Let p be 1194/1455 + v/(-5). Let o = p + -2/97. Which is bigger: o or 13?
13
Let t(y) = -1 + 2*y - y**2 - 2*y + 4*y - 2*y. Let q be t(-2). Let f be ((-2)/q)/((-18)/(-162)). Is f not equal to 7?
True
Let x(t) = 4*t**2 + 5*t + 3. Let g be x(-3). Suppose 27*q - 319 - 356 = 0. Is q greater than g?
True
Let p = 353 + -365. Let r(o) = 2*o**3 + 11*o**2 + 5*o + 2. Let l be r(-7). Let a be p/(-2)*(-168)/l. Is a at most as big as 6?
True
Let c = -1/7328 - -14671/109920. Do c and -206 have different values?
True
Suppose 24 = -2*w - v + 57, 3*v = -5*w + 81. Let u be (805/(-49) + 7)*(4 - w). Which is greater: 0.3 or u?
u
Let h be -238*10/100 + (-2)/10. Let q be -26 - (1 - -4 - (10 - 7)). Which is smaller: h or q?
q
Let y = 241/5 - 48. Let b be -1797*(-1)/(-3) - (-3)/(-3). Let q = -600 - b. Is q smaller than y?
True
Let u be (-10110)/(-9)*(-42)/(-3150). Do 15 and u have the same value?
False
Suppose 11 = -3*x - 10. Suppose -216*v = -4*o - 212*v - 68, 3*o = -v - 15. Is o != x?
True
Let h = -5087 + 5591. Does 502 = h?
False
Let w be 2695/(-21) + (-24)/9. Let b be (w/(-262))/(((-1)/12)/1). Do b and 1 have the same value?
False
Let g(m) = m**3 - 16*m**2 - 17*m - 2. Let u be g(17). Let d be 1 - (-5)/((-10)/4). Let s be (-1 + 0)/(d/4). Which is smaller: s or u?
u
Let t be 0/1 + (-216)/12. Let g = 7 - t. Suppose -3*m = 2*c + 10, 2*m + 2*m = 5*c + g. Is m smaller than -0.083?
False
Suppose -1 = -5*x - 3*m, x + 5*m = 3*m - 4. Suppose 0 = -42*s - x*s - 44. Which is bigger: s or -7/65?
-7/65
Let y be (-39)/10231*4*2/24. Is y at least 0?
False
Let k = -50.7181 - 0.5719. Let r = k + 49.3. Is 0 at most as big as r?
False
Let o = -2295.15 + 2350. Let k = o + -55. Let c = 18.15 + k. Is 0 >= c?
False
Let x be 1*(-10)/4*-2. Suppose -3*u - 81 = -x*s, -49 = 3*s - 6*s + 2*u. Let j be (25/100)/(-1 - (0 - -4)/(-16)). Which is bigger: j or s?
s
Suppose 9 = 3*m - 5*p, -m + p + 6 = 1. Suppose 2*u - 6 = 5*b - 26, 3*u + 4*b - 16 = 0. Is u less than m?
True
Let z = -16003139/100719 + 1430/9. Is z >= 0?
False
Let i = -362 - -619. Let r = i - 281.2. Let z = 24 + r. Which is smaller: -4 or z?
-4
Let y be (16 - (-1152)/(-80))*(-110)/796. Which is greater: y or 0?
0
Let t be 2 - (-138 - (-1 + -2)). Is 134 equal to t?
False
Let c(s) = 42*s - 1554. Let k be c(37). Which is greater: k or -21/500?
k
Let d(j) = -91*j - 1998. Let x be d(-24). Is 185 <= x?
True
Suppose x = 3*t + 2, -3*x + 13*t = 8*t - 10. Suppose 0 = x*n - s - 168, 4*n = 9*n - 5*s - 180. Which is smaller: n or 30?
30
Suppose 763 - 83 = -5*p + 4*c, -2*p = 3*c + 295. Let i be p/(-42)*(-3)/1. Let u be (i/(-12))/((-16)/(-12)). Is 1 >= u?
True
Suppose -f = 5*r + 7, 19*r = -5*f + 16*r - 13. Let v be (-62)/30 - (-3 - 0 - f). Which is smaller: v or -2?
-2
Let y be ((-4)/(-18))/(119380/(-771411)). Let s = -43/30 - y. Is s at least as big as 0?
True
Let x(r) be the second derivative of -296*r**3/3 + 9*r**2 + 2*r - 33. Let p be x(-1). Which is smaller: p or 611?
p
Let v be 2/7 + (-4)/((-56)/3146). Let u = v - 253. Suppose -1 = 5*o + 144. Is u at most as big as o?
False
Let o be 2*1*(7 + -9 + 4) + -5. Is -4/6081 > o?
True
Let f(r) = -161*r**2 + 34*r + 83. Let t be f(-2). Which is smaller: t or -628?
t
Let g(w) = -21*w**3 + w**2 - w - 5. Let d be g(2). Let c be (-4674)/d*3/2. Suppose 72 = 4*i - 92. Are i and c equal?
True
Let t(i) = -i**3 + 17*i**2 + 18*i + 4. Let z be t(18). Let w be (z/(-4354))/(2/(-14)). Which is bigger: 1 or w?
1
Let b = -1362 + 157989/116. Which is greater: 1 or b?
1
Suppose 292 + 324 = -4*q. Suppose 0 = 3*s + 1205 - 740. Is s >= q?
False
Suppose -3*y + 92 = 5*o - y, -5*y - 80 = -3*o. Let s = o - 16. Suppose 3*m - f + 14 = 0, 3 = 5*m + s*f - 2. Which is smaller: m or -1?
m
Let z(s) = -s**2 + 10*s + 58. Let d be z(15). Let o(a) = 32*a + 199. Let f be o(d). Do f and -1 have different values?
True
Suppose -2001 = -4*q + 5*a, 5*q - 1249 - 1243 = -3*a. Let f = q - 512. Is f bigger than -1?
False
Suppose 42*s + 19 - 19 = 7*s. Is s not equal to -5/229?
True
Let g be -3 - (-2 - 1) - 2343. Let t be ((-2)/6)/(0 + (-11)/g). Is -69 < t?
False
Let r = -217 + -55. Let m = 271 + r. Are m and 2/149 non-equal?
True
Let a = 2/52333 - -6279826/3506311. Let o = -2872/1005 + a. Let c = o - -82/105. Which is smaller: 2/5 or c?
c
Let z = -291 - -296. Suppose -5*k + 23 = 2*u, -4*k + u = -z*k + 4. Is k at most -1?
False
Let q = -24.436 + -0.264. Let c = 25 + q. Suppose 4*b + 34 = -3*x, 24 = 3*b + 2*x + 49. Which is smaller: c or b?
b
Let h(y) = y**3 + y**2 + y - 36. Let o be h(0). Let p be (1/2)/((-2)/o). Let c = -4/101 - -4262/505. Do p and c have the same value?
False
Let k = 35176/3 - 11842. Is k greater than or equal to -117?
True
Suppose 0 = -505*t - 283*t + 3152. Suppose -3*m - 3*r = -5*m + 105, 0 = -3*m + 3*r + 159. Which is bigger: t or m?
m
Let s = -795 - -5567/7. Let u = -12.4 - -2.4. Let o = u - -11.3. Which is greater: s or o?
o
Let l be 5*(22/4 - (-3)/(-2)). Suppose -4*c + l = -3*c. Suppose 2*a - c = a. Which is bigger: a or -1/2?
a
Let t(y) = -y**2 - 316*y - 17699. Let d be t(-73). Let r = 140 - 29. Suppose 0 = 3*l - 3*s - r, -5*l + 121 = -2*l + 2*s. Is l > d?
False
Let f = -119772/5 - -23947. Is 101 at most f?
False
Let n = -2250 + 983248/437. Let c = 3490/1311 - n. Let r = -2 - -2.1. Which is bigger: c or r?
c
Let n be (-44)/(-55)*(-2)/12. Let h = 1.87 - 0.87. Which is smaller: h or n?
n
Let c = -0.26 - 0.08. Suppose -39*j - 83*j = 0. Are j and c equal?
False
Let n(b) = -4*b**3 - 355*b**2 + 3*b - 424. Let k be n(-89). Which is greater: k or 7229?
k
Let v(y) be the first derivative of -1/2*y**2 + 14 + 8*y. Let q be v(4). Which is greater: q or 7/2?
q
Let l = -45.63 + 45.49. Which is greater: 27 or l?
27
Let x = -85 + -22. Let j = 135 + x. Suppose 83*p = 79*p + j. Is 25/4 at most p?
True
Let l = 660.3 - 657.3. Is l at least as big as -390?
True
Let s be 11 - -5 - 30/9*3. Which is smaller: 10 or s?
s
Suppose 0 = -5*j - 4*d - 38, -4*j - 58 + 12 = -2*d. Let m(v) = v**2 - 2*v - 20. Let k be m(j). Are 100 and k equal?
True
Let u(y) = -y**2 - 21*y - 38. Let f(a) = -a**2 - 21*a - 39. Let m(k) = 6*f(k) - 5*u(k). Let i be m(-6). Which is smaller: 332/7 or i?
i
Let j = -1.44 - -5.44. Which is smaller: 768 or j?
j
Suppose 3*y - 12 + 6 = 0. Suppose -4*f + 5*f + 5*h - 9 = 0, 2 = 2*f + y*h. Which is greater: -12/7 or f?
f
Suppose 2*c = -5*s + 27, -2*c - 3*s = -3 - 18. Suppose c + 18 = 8*o. Suppose 4*t = o*f - 18, -5*f + 4*t + 47 = 3*t. Which is smaller: 11 or f?
f
Let v = -198 + 632. Suppose 431*l = v*l - 48. Which is bigger: l or 81/5?
81/5
Suppose j + 28*o = 24*o + 33, 5*j + o - 260 = 0. Suppose 37*s + 432 = j*s. Suppose 88 = 3*r - 5*u, -4*r + 38 = -4*u - 74. Is s not equal to r?
True
Let g = -8.176 - -29.276. Which is smaller: g or -10?
-10
Let m(p) = -130*p - 150. Let j be m(-2). Let n be 1*3*j/(-110). Suppose -b + 0 = -3. Which is bigger: b or n?
b
Let c = -457 + 322. Let x(n) = -13*n**2 + 245*n - 333. Let i be x(18). Is i != c?
False
Let j = 1030.9 - 1031. Let h = -1.06 - -12.26. Let w = 11 - h. Is w bigger than j?
False
Let y(g) = 2*g**2 + g + 8 + 7*g**2 - 10*g**2. Let m be y(3). Suppose -10*p + 24 = -m*p. Which is smaller: 1 or p?
1
Let n = 61 + 1. Let a = -15100 - -15162.08. Let o = n - a. Which is greater: -1 or o?
o
Suppose 58*s - 57*s - 8 = -3*n, -5*s = 2*n - 1. Is s equal to -1/5102?
False
Let o = -15 - -6. Let d(y) = y**3 + 9*y**2 - 2. Let r be d(o). Let i be r*3*(-2)/(-834). Is i equal to 1?
False
Suppose -13*g = -5*i - 14*g - 207, -3*g + 110 = -2*i. Which is smaller: -51 or i?
-51
Let v(d) = -d**3 + 2*d - 1. Let k be v(1). Suppose k = -9*f - 9*f. Does -2/395 = f?
False
Let r = -8479 + 9074. Is r <= 597?
True
Suppose x + 8 = -5*t, -4*x = -0*x - 5*t - 93. Let z = x - 6. Suppose z - 2 = 9*d. Is 4/21 greater than or equal to d?
False
Suppose -3*z - 2*u = -4*z - 29, -3*z + 5*u - 89 = 0. Let w = -33 - z. Which is smaller: w or -1/203?
-1/203
Suppose 421 = w - 5*a, -w + 409 = -15*a + 13*a. Which is smaller: w or 404?
w
Let b =