uppose -x*h = 4*p + 16, -5*p = -7*p - 8. Which is bigger: h or s?
h
Suppose -3*n + 12 = -n. Let d = 874/11 - 7360/99. Are n and d nonequal?
True
Let q(m) be the first derivative of 2 + 1/4*m**4 + 0*m**2 - 1/3*m**3 - m. Let h be q(1). Is -2/125 bigger than h?
True
Let w be ((-5)/(-9))/((-18)/27). Suppose 12 + 0 = 2*l. Suppose 5*o + 5*q = 3*o - 15, -4*o = 2*q + l. Is o <= w?
False
Let u(i) = -i**2 - 33*i + 170. Let k be u(-37). Let b(v) = 6*v**2 - 1. Let z be b(2). Which is bigger: z or k?
z
Let m = -307.7306 - 0.2694. Is m < 0.2?
True
Let o be ((-1)/(-2)*6)/((-30)/20). Let z be o*(2 - 3) - (-1080)/(-536). Suppose -5*i = 4*f + 8 + 1, -2*f = 4*i + 6. Which is smaller: i or z?
i
Let g = 2/293 - -532/7911. Let f = 155 - 157. Let p be f/(-12) + 29/(-102). Which is bigger: g or p?
g
Let u(t) = 2*t**2 - 13*t + 63. Let y be u(21). Suppose 8*w - y = -16*w. Suppose 11 = 5*l - 134. Is l >= w?
True
Suppose -5*c = -t - 32, -13*c + 10*c = 4*t - 10. Is t smaller than 0.805?
True
Let m be 3/(-2)*(61996/7755 - 8). Suppose 2*w + 6 = -3*w - 3*b, 2*w - 5*b = 10. Which is smaller: w or m?
w
Let i(u) = 5*u**3 - 66*u**2 - 271*u - 162. Let r(q) = -q**3 + 17*q**2 + 68*q + 40. Let x(m) = 2*i(m) + 9*r(m). Let l be x(-17). Is 19/13 <= l?
True
Suppose -9 = p - 2*c + 31, 0 = -5*p - 5*c - 125. Let u(j) = j**3 + 29*j**2 - 33*j - 35. Let b be u(p). Let m be (7 + 1)*(2 + 5). Which is bigger: m or b?
m
Let q be ((264/(-1170))/22*-5)/(2/9). Is 57 at least as big as q?
True
Let m be ((-392)/490 + 103/10)*54/825. Which is greater: 1 or m?
1
Suppose -1849 - 943 = 4*k. Let r be 0 - (1 - -2) - (-9027)/(-13). Let n = r - k. Which is smaller: 1 or n?
n
Let o(p) = -p**2 + 11*p + 151. Let a be o(-8). Let i = -36 + 32. Let b be (i*(-2)/(-22))/(-7 - -9). Which is bigger: b or a?
b
Suppose -4*w + 4*p + 7 = p, -5*w = 4*p - 32. Let y = -24 - w. Is -28 less than y?
False
Suppose -12*k - 72 = -120. Let f(u) = -2*u - 6. Let v be f(-4). Suppose 0 = 3*y - 9, -3*m + 7*y + 6 = v*y. Is m > k?
True
Let b = 28119136/479012175 - -244/57539. Let m = b + -2/225. Suppose 1 = -y + 2*x - 5, -y + 4*x = 12. Which is bigger: y or m?
m
Let b = 110.1 + -11.6. Let a = 99 - b. Which is greater: -15 or a?
a
Let w = 305 + -335. Suppose 9*y - 145 = 14*y. Is y >= w?
True
Let a = -1226 - -837. Let q = -389 - a. Is -8/109 > q?
False
Let u(i) = i**2 + 2*i - 1. Let t be u(-2). Let d be (32 - t/(-1))/(-1). Let k be (-1)/1 + -23 - 8. Which is smaller: d or k?
k
Let h be 2 - (-4)/(-3)*(-30)/4. Suppose -5*n + w + 14 = 0, -17*n - 4*w - 6 = -h*n. Suppose -3*l = -4*r + 27, -4*l - 31 = l - n*r. Which is greater: l or -3?
-3
Let c be 0/(-9) + (-1)/(-1). Let l = -149 - -122. Let y be (2674/684 - 6/l) + -4. Which is bigger: y or c?
c
Let v = 100 - 304. Let a = v + 133. Let p = a + 65. Which is smaller: 0 or p?
p
Let o = 78.74 + -78.77. Is -74.5 equal to o?
False
Suppose -2*a - 4 = -2*h, 3*h + 2 = 8*h + 3*a. Which is smaller: h or -2/20043?
-2/20043
Suppose 2*l = -5*h - 28, -4*h = 7*l - 3*l + 32. Let o(r) = -2*r**2 + 9*r - 12. Let t be o(l). Which is smaller: t or 1?
t
Let f = 4.061 - 73.761. Which is bigger: f or 2?
2
Let i = -111641 + 558203/5. Let t = -8.063 - -8.1. Are t and i nonequal?
True
Suppose 12*f - 8*f = 8, 5*n = -2*f - 186. Let w = 83 + -120. Let j = n - w. Is j at least 1/5?
False
Let k = 0.67 + 252.33. Let o = -255 + k. Is o less than 81?
True
Let f be ((-372)/8)/((-6)/32). Suppose -64748 + 22264 = -42*b - 130*b. Is f greater than or equal to b?
True
Suppose -10*y - 6 = -13*y. Suppose 0 = 4*g + 20, -5*g - 4 = -y*a + 25. Let h be a/8 - (-78)/8. Which is bigger: h or 11?
11
Suppose 86 + 679 = 51*m. Let n = 0 + 4. Let h be 3/2*n/30. Is m less than h?
False
Suppose 25 = 3*b - 2*p + 2, 2 = 2*b + 2*p. Let x(w) = -2*w + 3 + w - b. Let d be x(2). Is -10/3 at least d?
True
Let t(l) = l**2 - 2*l - 35. Let z be t(-5). Suppose 7*g + 27*g = z. Is g < 3/163?
True
Suppose -3*o + 3*s + 162 = 0, 6*s = 4*o + s - 213. Suppose j - 4*j = o. Let g be (3 - 1)*(-114)/12. Are g and j nonequal?
False
Let d(r) = -r**3 - 7*r**2 - 6*r + 7. Let n be d(-5). Let t(v) = -v**2 + 339 + 333 + 324 - 14*v - 994. Let s be t(n). Which is smaller: 14 or s?
14
Let h = 137 - 128.4. Let t = 4 - h. Let n = t + 0.6. Does n = -5?
False
Let x be (-6298)/(-1980) - 4/36. Let c = -42/55 - x. Is -3 at most c?
False
Suppose 3*y = -3*u + 6, -2*y + 3*y + 2 = u. Suppose u = -6*s - 10. Which is bigger: s or -46/17?
s
Let k be ((-2)/((-42)/2093))/(1/(-3)). Let u = 305 + k. Which is bigger: u or 12?
12
Let c(m) = 11*m + 21. Let j be c(-5). Let x be ((-17)/j)/(2/4). Is 1/32 > x?
False
Let p = -16664/57 + -17/114. Let z = p + 6571/22. Are z and 5 equal?
False
Let p = -2695/17 - -59162/357. Let j be 18/(-28) + 1/2. Let g = p - j. Which is smaller: g or 8?
g
Suppose -5*a + 75 = 5*n, -4*n + 29 + 30 = 5*a. Suppose 199*o + n = 198*o. Which is smaller: o or -14?
o
Let n = -284232 + 53719850/189. Let l(p) = p**2 + p. Let b be l(-1). Which is bigger: b or n?
n
Let s be 3 - 1/(-2)*-4. Let x be (2/(-4))/(-52 + (-15093)/(-86)). Which is smaller: x or s?
x
Let f be 1*(-9)/6*-2. Let z be 1 + 2/f*21/(-119). Is z >= 0?
True
Suppose -95 = -5*t - 270. Let l = 92 + t. Let w = 46 - l. Is w smaller than -12?
False
Let v = 10419 - 3265. Which is smaller: v or 7155?
v
Let t(u) = -263*u - 2104. Let o be t(-8). Which is smaller: o or -1/56?
-1/56
Let c(w) = 14*w**3 - w**2 + 8*w + 34. Let i(g) = 5*g**3 + 3*g + 11. Let p(a) = 6*c(a) - 17*i(a). Let l be p(-5). Suppose -l*u - 145 = 58. Is u less than -29?
False
Let k(o) = -o. Let h(n) = n**2 - 27*n - 47. Let b(w) = h(w) - 4*k(w). Let a be b(26). Is a less than or equal to 31?
True
Let k = -4 - -7. Let g = -28199/19 - -1481. Let o = -86/57 + g. Is o < k?
True
Suppose 3*q - 62 = -3*z - 176, 4*z = q + 13. Let p = -1979/60 - q. Is p smaller than -1?
False
Let w(n) be the second derivative of -9*n**5/10 + n**4/4 - n**3/6 - 3*n**2/2 - 15*n. Let p be w(2). Which is bigger: p or -138?
p
Let s = -18.7 - -14. Let l = s - -4.2. Suppose 0*x - 2*x = 2*j + 2, j + 2*x = -5. Which is smaller: l or j?
l
Let r(t) = -t**3 - 9*t**2 - 7*t - 1. Let p be r(-8). Let f = p + 12. Suppose -f*a + 38 = 35. Which is smaller: a or -1/17?
-1/17
Let j = -69/154 + 235/462. Which is greater: j or 35?
35
Let i = 17.0411 + -0.0411. Let a = -12 - 7. Let t = a + i. Is t at most 22?
True
Suppose 0 = 4*g - 15 + 51. Suppose 2*o = 4*z - 6 + 18, 5*o + 35 = -3*z. Let m be o/2 + -1 - 0. Is m at least as big as g?
True
Let n(j) = j**3 + 8*j**2 + j + 11. Let x be n(-8). Suppose 3*p = -4*d - 0*d - 143, -3*d + 3*p = 81. Let i = d + 36. Which is smaller: x or i?
x
Let k = 19855 - 19854. Is k > 3/25318?
True
Suppose 0 = 374*d - 302*d. Are -16/47 and d non-equal?
True
Let m(o) = -2*o**2 + 28*o - 175. Let p(l) = -l**2 + 13*l - 87. Let i(c) = -4*m(c) + 7*p(c). Let g be i(7). Which is smaller: g or -43/6?
-43/6
Let t be ((-42072)/(-120))/(6/(-15) - 3/(-5)). Is 3505/2 less than t?
True
Let t(f) = 40*f - 166. Let s be t(6). Is s less than or equal to 20?
False
Let z(d) be the first derivative of 8*d**2 + 48*d - 250. Let a be z(-3). Let f(g) = -g**2 + 3*g + 8. Let p be f(6). Which is bigger: a or p?
a
Let g = 187 - 138. Let z(u) = -8*u + 1. Let l(o) = -o. Let n(k) = 3*l(k) - z(k). Let f be n(10). Is f greater than g?
False
Let w = 49 + -42. Let o(d) = -d**3 + 6*d**2 + 9*d - 11. Let i be o(w). Let k be 182/62 + (i - 6). Which is bigger: -1 or k?
k
Let k = 350 + -363. Let b = 14.0213 + -0.0213. Is b greater than k?
True
Let c = -2456 + 17190/7. Let u = -126 - -186. Is c bigger than u?
False
Let q be 7/(-49) - 24/336*4894/3. Is -5 >= q?
True
Let m be (1/2)/(-58 + 61) + (-5)/(-6). Which is smaller: -1/6816 or m?
-1/6816
Suppose -2*u + 6 = -4*u, u + 27 = -3*m. Let n = -390 + -1223. Let f = -11341/7 - n. Which is greater: f or m?
f
Let o be (0 + 26)*1/(-2). Let b be (-28)/266 + (-64780)/95. Let d = b - -1337/2. Which is smaller: o or d?
d
Suppose -9*d - 402 = -429. Which is smaller: d or 347?
d
Let t(o) = -o**2 + 26*o - 22. Let z = -62 - -72. Let y be t(z). Let a be ((-4)/(-12))/(2/y). Is 21 < a?
True
Let y = -2309.2 - -2275.3. Let v = -13 - -12.9. Which is smaller: y or v?
y
Let d be (-15057)/(-3107)*(-8)/(-14). Are d and -9 nonequal?
True
Suppose 2799 = -35*o - 3151. Is o > -167?
False
Let c be ((-4466)/87087)/(-7 