pose -2*l = 8, -4*x = -4*l + 2208 - 220. Let h = x - -61621/123. Let u(a) = -a**3 - a**2 - a - 6. Let y be u(-2). Is h <= y?
True
Let q(v) = -11 + 153*v - 78*v - 83*v. Let l be q(2). Let h = -2 + -26. Is h less than l?
True
Let u(r) = -18*r**2 + 121*r - 3. Let m be u(8). Is -181 < m?
False
Suppose -t = 6*w - 4*w - 4, 0 = 4*w + t - 10. Suppose w*q - 100 = -103. Which is smaller: q or -4/25?
q
Let y(w) = 11*w**2 + 127*w + 167. Let c be y(-11). Which is smaller: c or 44?
44
Let x(t) be the third derivative of -t**5/60 - 7*t**4/24 + 11*t**3/3 + 97*t**2. Suppose -3 = -2*v + 3, 5*v = -k + 3. Let p be x(k). Is p at least -37?
False
Let k = 15396/11 - 1400. Is k greater than 0.03?
False
Suppose 107*y - 101*y = -54. Let x be 3/y - 8/12. Is x greater than -2/11?
False
Let q be 23/7 + 6/(-21). Suppose -u = q*u. Suppose u = 2*s - 4 + 2. Which is smaller: 1/3 or s?
1/3
Let m be (34/68)/(3/(-582)). Which is smaller: -94 or m?
m
Suppose b = -s + 96, -20*s - 4*b - 116 = -21*s. Which is bigger: 99 or s?
s
Suppose 20889 - 102465 = -63*g + 14877. Are g and 1531 equal?
True
Let b = -9567/160 - 173/32. Is b not equal to -65?
True
Let p be (-5)/26*(8/(-78))/((-25)/(-15)). Do p and -1 have the same value?
False
Let f = -345 - -346. Let v be (-1)/(-2)*(3/699)/(-1). Which is smaller: v or f?
v
Let x be (3/(-6))/((-52)/(-1)). Let h(l) = -15*l**2 - 64*l - 58. Let c be h(-3). Does x = c?
False
Let x = 21974.05 - 22449. Let n = x - -475. Which is greater: -0.5 or n?
n
Let j = 11/112 + 45/112. Which is smaller: j or 2/511?
2/511
Let o = 11/1302 - -1/42. Let m(v) = 2 + 21 - 946*v + 943*v. Let s be m(8). Which is smaller: o or s?
s
Let o be ((-2115)/(-135))/(8/6). Let f = o - 12. Which is smaller: f or 3/7?
f
Let v be (-1 - 3) + -3 - 260186/(-34736). Which is smaller: 1 or v?
v
Suppose 5*o = -0*o. Suppose 0 = -x + 3*i - 1 - 6, o = 2*x + 2*i + 6. Suppose 22*q - 41 = 27*q - 16. Are x and q unequal?
True
Let q be (-3)/21 + 775/35 + -2. Suppose 0 = -4*t - 2*i - q, 11*i - 8*i = -5*t - 27. Does t = 14?
False
Let b = -4981198/46277 - -1184/11. Which is smaller: b or 1?
b
Suppose -z + 6*z - 113 = -4*h, -53 = -3*z + 5*h. Suppose -8*p + 3 = 43. Which is bigger: p or z?
z
Let w = 250 + -262. Let r be (-60)/w - (-81)/(-15). Is -11 less than r?
True
Let p = 38 + 0. Let d be (-4)/(-7)*(-6 - p/(-4)). Suppose -z + 147 = d*z. Is 48 at most as big as z?
True
Let r be 28/21 + 2403820/(-666). Let v = r - -3608. Is v equal to 0?
False
Let l(b) = 18*b + 219. Let r be l(-12). Suppose -100 = r*o + 143. Is o at most as big as -81?
True
Let y be 54/126*(-91)/130. Which is greater: -1/45 or y?
-1/45
Let c be 74/4 + -4 - (-4)/8. Let f be (1/(-2))/(c/570). Which is bigger: -16 or f?
-16
Let o be 406/74*18/(-63). Which is greater: -3 or o?
o
Let y be -3*(-5358 - -2)*51/153. Which is smaller: 5355 or y?
5355
Let j = 3911 - 3912. Is 1/1720 greater than j?
True
Let x be -553*16/(-15 + 7). Is 1109 less than x?
False
Suppose -17 = -a - u, 0*u + u = -5*a + 77. Let d(f) = f**2 - 12*f - 34. Let c be d(a). Which is smaller: c or 14?
c
Let k be 0 - -2 - (-33980)/(-130). Let c(n) = 59*n - 23. Let g be c(-4). Let q = g - k. Which is smaller: q or 1?
q
Let s be (-4)/(((-14)/(-21))/(((-6)/(-9))/(-1))). Let v(m) = -2*m**2 + 7*m - 3. Let t be v(5). Which is bigger: t or s?
s
Suppose 0 = 2*m - 3*m. Suppose 2*h + 3*i = 5, m = -h - i - i + 5. Let c(a) = 5*a**3 + 102*a**2 - 61*a + 48. Let t be c(-21). Which is bigger: t or h?
t
Let z(k) = -2*k**2 + k - 3. Let c(x) = x. Let u(s) = 4*c(s) - z(s). Suppose 3*t - 3*a + 5 = 2*t, -4*t - 2*a - 6 = 0. Let h be u(t). Which is bigger: h or 4?
h
Let b be 507/(0 + ((-18)/8)/3). Let j be b/(-13) + (-5 - -1). Let p be (-3)/(-1)*(-517)/(-33). Which is smaller: p or j?
p
Let v(r) = r**2 - 8*r. Let s be v(8). Let g be 60/10*(-1 + s - -2). Let c be ((-7)/(-357))/(1/g). Which is bigger: -0.2 or c?
c
Let c = -1715 + 2865. Suppose -2*p + 582 = 4*n, 2*p + n - c = -2*p. Suppose -5*g + p = 72. Is g at most 45?
True
Suppose 5*j - 4*z = 471, -3*j + 23*z + 291 = 22*z. Suppose 0 = 5*b + 2*c - 493, 0*b + 2*b - 195 = -3*c. Is j greater than b?
False
Let a(s) = -s**2 + 14*s - 40. Let v be a(17). Let k = v + 104. Let l(j) = j**3 - 14*j**2 + 12*j + 14. Let m be l(k). Is m not equal to -0.1?
True
Let t be (474/(-159) - -3)*(-1)/2. Is 12 at least t?
True
Let d be 9/16*(-736 - -364). Which is bigger: -209 or d?
-209
Suppose -4 = -7*d + 10. Suppose -185 + 68 = b - 3*l, -5*b - 670 = d*l. Is 1/4 < b?
False
Let o be 1 + 2502/14 + (-20)/(-70). Let v be o/168*(0 - (-2)/(-3)). Which is smaller: v or 2/7?
v
Let o = -173 + 134. Let u = -610 + 609.6. Is o equal to u?
False
Suppose -d = -2*d + 384. Let o = 469 - d. Which is smaller: 86 or o?
o
Let k(i) = 169*i + 1366. Let v be k(-8). Which is bigger: 0.2 or v?
v
Let c(n) = -2*n + 13. Let r be c(4). Suppose 2*v + 2*m = 0, -v - 6 = 4*m - r*m. Is v bigger than -13?
True
Suppose 0 = r + 47*r - 37*r. Let z be (-2)/(-3)*(-90)/(-92). Which is greater: r or z?
z
Let r = 60.0133 - 60. Let g = -2.0133 + r. Which is bigger: g or -88?
g
Let z be (42/(-5))/((-21)/(-56))*-45. Suppose -10*m + 128 = z. Which is smaller: m or -1?
m
Suppose -1041*m + 994*m + 322138 = 0. Is 6855 at most m?
False
Suppose 3*b + 506 = 5*d, -17*d = -b - 22*d - 162. Is -166 at least as big as b?
True
Let d = -266.7 + 266.76. Is d <= 0.83?
True
Let y(v) = 4*v**3 + 22*v**2 + 7*v - 22. Let u be y(-5). Suppose -3*x + 2*s - 6 = -2*x, -5*x - 2*s = 18. Which is greater: x or u?
x
Let w(h) be the second derivative of -3*h**3 + 73*h**2/2 - 6*h - 3. Let v be w(4). Let k = 50/3 + -17. Which is bigger: v or k?
v
Let z be (-2)/(-2) + 298508/(-147). Is z at most -2029?
True
Let y = -11100 - -10250. Is y > -5952/7?
True
Let l = -97 - -213. Suppose -4*x + 341 = 3*j, 0 = 96*j - 101*j - x + 574. Which is greater: j or l?
l
Let d be 4/4 - 3717/3969. Does d = 1?
False
Let y = -8 + 0. Let u = 11.9 + -29.9. Let m = u + 17.8. Does m = y?
False
Let r = 107 + -99. Let x be r + -2 - (-2 - -3). Suppose p - 5 = -3*p + x*w, 3*w = -3*p - 30. Which is smaller: p or 0.06?
p
Let g be ((-2)/6)/((-35)/(-15)). Let q(f) = -26*f + 112. Let k be q(5). Let o be ((-50)/60)/((-3)/k). Which is smaller: o or g?
o
Let d(q) = -2*q. Let t(a) = -2*a**2 - 15*a + 10. Let g(h) = -3*d(h) + t(h). Let k be g(-8). Is k >= -45?
False
Let j be -4 + 1/(10/80) + 840. Is j at most as big as 840?
False
Let f = 19.8 + -16.05. Let d = -2.75 + f. Is 0.15 at least as big as d?
False
Let z be 231/14 + (-6)/(-4). Suppose -63*t = -60*t + z. Let w be 1*(1 + t/4). Which is smaller: 4 or w?
w
Let h = -47.78 + 34. Let r = h - -14. Which is smaller: r or 1?
r
Let u = 4.511 + -4.71. Let z = 125.199 + u. Let x = 127 - z. Do 4 and x have the same value?
False
Let h be 4/(-1360)*-17 - 38/(-40). Which is greater: h or 116?
116
Suppose 0 = 157*n - 41959 - 100911. Which is bigger: 912 or n?
912
Let k be -1*(6/1)/(-3). Suppose -3*i - k*b + 30 = 2*i, -30 = -5*i - 5*b. Which is smaller: 26/5 or i?
26/5
Let r be (-10)/(-4) + 11/(-22)*(-1216 - -3). Does 2433/4 = r?
False
Suppose -2*o + 3*p + 11 = 3, -5*o = -4*p - 13. Which is smaller: 1/1232 or o?
1/1232
Let s = -24393 - -24393. Do s and 1/112 have different values?
True
Let v = 3215/203 + -460/29. Which is greater: v or 1?
1
Let s be (1*16)/(198/(-43362)). Is s at least as big as -3505?
True
Let o = -0.0556 + -269.9444. Let h = o - -269.99. Is -0.33 at most h?
True
Let y = -40 - -75. Let v = y + -31. Let n(u) = -u**2 + 31*u + 223. Let b be n(-6). Are v and b equal?
False
Let x be (2/3)/((-4)/(-6)). Let g = 89 - 97. Let n be (0 + 3/g)*8/(-60). Is x at most as big as n?
False
Let v = 114.47 + -115. Let l = v - -0.43. Let o = 0.3 + l. Which is greater: o or -6?
o
Suppose -3*x + 156 = 24. Let z(j) = -4*j**3 + 71*j**2 + 14*j + 8. Let p be z(18). Let b = x + p. Is b at most -59/3?
True
Let o be 68/306*-3 - 11/(-12). Let v = 2.2 + -2. Is v at least o?
False
Let q = -0.01 - 0.59. Let h = 1.4 - q. Let u be (-13 + 10)/(6/(-12)). Which is smaller: u or h?
h
Let c = 13 - 13.35. Let p = -2/2409 - -2641/279444. Let w = p + 113/348. Is c at least w?
False
Let r = 153 - 119. Suppose 12*m = 10*m - 3*f + 3, -4*m = -2*f + r. Is -4 >= m?
True
Let g = -219 - -367. Let p = g - 148.5. Which is smaller: p or 4?
p
Let y be (-146)/(-282) + (-10)/15. Let p be (-24)