w - r + 165, -5*r = -5. Which is smaller: w or -166?
-166
Let b be 2368/(-2) + (22 - 26). Let s be (-2 - b/8)/((-10)/(-20)). Is 294 greater than or equal to s?
True
Let y = -13203/8 + 12117/8. Let v = -93 - 41. Let x = y - v. Is x >= 0.2?
False
Let d(j) = -j**2 - 19*j + 372. Let s be d(-31). Suppose -3*h = -6*h + 9. Suppose -h*b - 3*b + 6 = s. Does b = 1?
True
Let f be 2/(-6) - (-2)/6. Suppose -n - 4*v + 0 = -12, -5*n + 2*v + 16 = 0. Suppose 5*z - 22 = n*j, 0 = -j - 4*j - 2*z - 11. Which is smaller: f or j?
j
Suppose q - 3 = -0. Suppose 76 + 256 = -5*u + r, 0 = 2*u - q*r + 138. Let h be u/11*5/(-2). Is 10 at most h?
True
Suppose 12*c = 9*c - 3*i + 15, 14 = 2*c + 3*i. Let n be ((-324)/(-8))/(-1) + 2 + c. Is 2 < n?
False
Let v(t) = -t**3 + 17*t**2 + 19*t - 15. Let j be (4 - 22)/(-3*6/18). Let w be v(j). Which is greater: w or 14/5?
w
Let p(l) = -l**3 + 15*l**2 + 120*l - 10. Let r be p(-6). Let x(w) be the second derivative of 5*w**3/6 - 5*w**2 + 5*w. Let k be x(7). Which is smaller: r or k?
k
Let m = 2405 - 2385. Which is greater: 13 or m?
m
Let g = -0.17612 + 1.97612. Which is smaller: 2/5 or g?
2/5
Let n(g) = g**3 + 4*g**2. Let x be 2/(-1)*(6/(-3) - -4). Let w be n(x). Let u = -434 - -15192/35. Do w and u have the same value?
False
Let h be ((-10)/(-35768))/((-4202)/(-132) + -31). Which is greater: 0 or h?
h
Let c(w) = -14*w**2 + 1. Let m be c(-1). Suppose -137*s - 2051 = 4. Are m and s nonequal?
True
Suppose 3*b - 3*b = 2*b. Suppose -2*r + 4*d = -306, d - 2*d + 1 = b. Is r bigger than 158?
False
Let d(v) = -2*v + 52. Let x be (2/7)/(64/5824). Let l be d(x). Is -3/298 smaller than l?
True
Let b(d) = -8*d**2 + 34*d. Let x be b(-17). Is -2889 at least as big as x?
True
Let j(t) = 2*t - 2. Let q be j(5). Suppose 3*v = 2*y + q + 20, 0 = -4*y + v - 56. Let w = 129 + -140. Which is greater: w or y?
w
Let d = 52435 - 52441. Let f = 1303/45 - 302/9. Which is smaller: f or d?
d
Let u(k) = -2*k**3 + 7*k**2 + 5*k + 1. Let m be u(4). Suppose 0 = m*x + 15, x = 5*y + 94133 - 528911. Let w be (-16492)/y - 4/(-22). Which is bigger: 0 or w?
0
Let i(c) = -33*c - 82. Let p be i(-2). Suppose -2*b - 27 = -5*b. Let m = p - b. Which is smaller: 0.1 or m?
m
Let g = 270/511 - 3029699/5734953. Is g > -1?
True
Let d = 692 - 552. Let t = d + -142. Let g = 22 - 15. Which is smaller: t or g?
t
Let s = -35989 + 146093/4. Let z = -538 + s. Let g = -6 + 2. Is g > z?
False
Let d(u) = 2*u**3 + 39*u**2 - 21*u - 20. Let b = 134 - 154. Let f be d(b). Is f greater than -2/273?
True
Let m be (10 - 20424/1980) + (-3 - (-47)/15). Which is greater: 664 or m?
664
Let q = -7191839/1245 + -37/415. Which is bigger: -5778 or q?
q
Let q be (2/3)/(((-20)/135)/(-2)). Let f(c) = -c**2 + 12*c - 12. Let j be f(q). Suppose p - 2*s = -6*s + j, 2*p - s - 57 = 0. Which is greater: p or 79/3?
p
Suppose 9*d - 1688 = 1120. Suppose 0*k = 4*k + d. Let r = 52 + k. Which is smaller: r or -24?
r
Let a = -592.722104 - 0.219896. Let u = -593 - a. Which is greater: -6 or u?
u
Let p = -36926 + 61777196/1673. Let n = p - 1343/276045. Which is bigger: n or -1?
n
Let p = -5822 + 5828. Let n(d) = d**2 + 5*d - 5. Let k be n(-5). Let z(r) = r**3 + 4*r**2 - 5*r + 2. Let s be z(k). Is p at least s?
True
Let y be -159*(-3)/468 + -5 - (78 + -82). Let t be (-1 - 1) + 8/4. Which is greater: t or y?
y
Let p be (-289586)/(-24) - (27 - 323/12). Which is smaller: p or 12064?
12064
Let i = -314 + 308. Let r be (1 + (-9)/((-27)/i))*1. Is r greater than or equal to 7/30?
False
Suppose v + q = 20, -5*v = -q - q - 72. Let n(x) = -239*x**2 - 1175*x + 107. Let m be n(-5). Is m smaller than v?
True
Let y be (-16)/6*(-36)/16. Let f be (2 - y/(-3))*14070/8. Let u = 49157/7 - f. Which is greater: u or -12?
-12
Let p be 1/(2*(-3)/(-2)). Let g = -5350 + 5352.179. Let q = g - 0.179. Do p and q have the same value?
False
Let r = -12178 - -12132. Are -81 and r equal?
False
Let l = -202 - -223. Suppose -764 = -25*z + l*z. Which is bigger: z or 192?
192
Let i be (-107)/((-17)/((-2244)/32)). Let x = -25017/56 - i. Is x at least -5?
False
Let z = 133 - 34. Suppose 6*w + z = -5*w. Let d be -4 - 18/(-12)*24/w. Which is bigger: d or -12?
d
Let c(w) = -w**2 - 11*w - 16. Let t(o) = o**2 - 17*o + 7. Let v be t(16). Let d be c(v). Let h be 51/6*(d - 5). Is -26 at least h?
False
Let y = -2817 + 2816.52. Is -34 smaller than y?
True
Let b = -8.843 + 0.043. Let l = b + 9. Let v = l - 0.6. Is -5 smaller than v?
True
Let j = 76.9 - 28.2. Let a = 4.7 - j. Let u = a + 43. Is u less than -5/4?
False
Suppose -3*g = 3*f + 7373 + 3556, g - 3*f = -3623. Which is smaller: -3639 or g?
-3639
Suppose -2*o - 3*t + 27 = 0, -5*t + 2 = 2*o - 35. Suppose -6*j + o = -9*j, 0 = 3*d - 5*j - 1015. Is 335 greater than or equal to d?
True
Let u = 687 - 699. Which is bigger: u or -20/13?
-20/13
Suppose -4*v = -4*h + 20932, 2*h = 4*v + 5197 + 5277. Are 5229 and h unequal?
False
Let t(g) = 18*g - 11. Let x be t(2). Let m be (-26)/((5/x)/(-1)). Which is smaller: m or 131?
m
Suppose -4*u + 2*q + 410 = -0*q, 416 = 4*u + 4*q. Suppose 2663 = 26*f - 15. Are f and u unequal?
False
Let d = -11047 + 414. Which is bigger: d or -10632?
-10632
Let a(f) = 54*f + 508. Let o be a(-9). Let k = 15 - -6. Is o less than or equal to k?
False
Let x = 69692349751/60759587 + -6072/234593. Let l = x - 1147. Which is smaller: 1 or l?
l
Let t(s) = -207*s**2 - 63*s - 284. Let x be t(-5). Which is smaller: -5143 or x?
x
Let m be (-178)/(-3) + (-1)/3. Let u(n) = 14*n + 5. Let d(y) = 15*y + 8. Let f(z) = -7*d(z) + 6*u(z). Let v be f(-4). Is m > v?
True
Suppose 4*y = -5*r + 60, 5*r + 3*y - 5*y - 30 = 0. Let b be 18 + 22/(-8) + 4/(-16). Let t(s) = -s**2 + 13*s + 38. Let j be t(b). Is r greater than j?
False
Suppose 0 = 2760*x - 2748*x + 12. Is -4/167 less than x?
False
Let i(w) = -11*w**2 + 88*w + 13. Let b be i(8). Suppose q + 0 - 24 = 0. Suppose -2*a - q = -2*l, -3*l + 4*a = 3*a - 38. Are l and b unequal?
False
Let c = 0.785 + -0.785. Which is smaller: c or -19/24?
-19/24
Let g = 103 + -99. Suppose 4*x + 3*n = -1412, 0*n - 1420 = g*x + 5*n. Let h be (18/(-10))/(15/x). Is h bigger than 44?
False
Let y = -16738/217 - -2400/31. Which is bigger: -4753 or y?
y
Let u be 322/70 + 13 - 14. Is u smaller than -0.22?
False
Suppose -3*k = -2*p - 25, 10 = p + 11*k - 10*k. Which is bigger: p or 54/533?
p
Let u = 1708 - 1708. Which is greater: -156 or u?
u
Suppose 69 = d + 5*u, -17 + 13 = u. Suppose 0 = 5*x + 2*y - 447, -175 = -2*x + 3*y - 0*y. Is x bigger than d?
False
Let g be 50/12 - 4 - 202/(-12). Suppose -4*q + q + 23 = -2*f, -5*q - 2*f = -65. Which is greater: q or g?
g
Let l = 10.6 - 10.21. Let v = -0.95 + l. Let u = 0.86 + v. Is u at most as big as 9?
True
Suppose 2 = -54*m + 53*m, -5*d - 2*m = -306. Which is bigger: d or 17?
d
Let a(u) = -u**2 - u + 6. Let o be a(-3). Let g(q) = -80*q - 3. Let y be g(o). Which is smaller: y or -21/10?
y
Suppose -8*t - 47330 + 47370 = 0. Let b be 1 + -1*(-11 + 0). Suppose b = 3*l - 0. Is l not equal to t?
True
Let p be 1/(5/3 - 2). Let o = -43.6205 - -1.6205. Is o <= p?
True
Suppose 1759*x = 1712*x - 5264. Is -119 at most as big as x?
True
Suppose -4*j = -5*j + 5*j. Let i be j + 1/((-4)/(-12)). Let b be i*(1 + 2/(-3)). Which is bigger: 7/4 or b?
7/4
Let b(o) be the first derivative of o**3/3 - 7*o**2/2 + 11*o + 75. Let l be b(2). Which is bigger: 82 or l?
82
Let r be -6*2/28647*(-513 - -507). Which is greater: r or -1?
r
Let l be (-20)/(-3)*(-513279)/(-14924). Which is bigger: 228 or l?
l
Let t = 14 + -9. Let q(a) = 90*a**3 - 89*a**3 + t*a + 2 - 3 + 7*a**2 - a**2. Let f be q(-5). Is f at least as big as -2/27?
False
Let v(r) = 73*r - 1532. Let a be v(21). Suppose 5*k - 180 = 3*n + 72, -5*n = 2*k + 420. Let x = n - -760/9. Are x and a non-equal?
True
Suppose -k = 219*m - 222*m + 17, 3*k - 5*m + 27 = 0. Which is bigger: 6/7369 or k?
k
Let s = -15.6 - 0.4. Let k = -0.75 - -0.779. Let x = k - -0.171. Which is smaller: x or s?
s
Let c = 552/25 - 142/25. Let j = c + -86/5. Which is smaller: 0 or j?
j
Let i = 0.921 - 30.831. Let c = i + 30. Let z = c + -0.89. Are z and 0.1 nonequal?
True
Let g be (-14)/(-6) + (-1043)/(-3). Suppose -4*t + 3*m + 1445 = 0, -2*m = t + m - g. Are 359 and t unequal?
False
Suppose 642 = -11*d - 51. Suppose 2*w + 751 = -4*a + w, -10 = -2*w. Let j = a - -125. Which 