944. Suppose v = 16*q + 1. Which is smaller: 6 or q?
6
Let k = 5710 - 4884. Which is smaller: 0 or k?
0
Let m(b) be the first derivative of -26*b**2 - 6*b + 15. Let g be m(-3). Suppose -11*f = -f - g. Which is smaller: f or 14?
14
Let k = -78 + 80. Suppose -k*p - 8 + 2 = 0. Let q be ((-19)/3 + -1)*12/32. Which is smaller: p or q?
p
Let k = 63 + -53. Let t be 344/6 - k/(-15). Let h = 61 - t. Are 15/8 and h equal?
False
Let b = 11746 - 11750. Which is smaller: b or -831?
-831
Let j be (2/6)/((-9)/(-27)) + 1. Suppose -3*t = -j*m + 10 + 4, -2*m = 4*t. Let q = 3 - 6. Are q and t unequal?
True
Let z = -80 - 105. Let m = z - -176. Is m equal to 0.09?
False
Let c(r) = -15 - 20*r**2 + 42*r**2 - 24*r**2 + r - 17*r. Let z be c(-6). Suppose 11*w - z*w = 0. Which is greater: w or -2/35?
w
Let p be (1 - 1)/(-2 - 7 - -5). Let m = -3 + 5/2. Are m and p equal?
False
Let o = 524.555 - 0.555. Let d = o + -526. Which is bigger: d or 144?
144
Let r = 9595/12 - 804. Let z = r + 25/6. Let n = -597000 - -596960. Is z at least as big as n?
True
Let i be 5/(15/12)*-1. Let c = -229 - -391. Let o be c/(-138) - (i + 2)/2. Do 0 and o have different values?
True
Let j = -82006 + 493703/6. Which is smaller: j or 278?
j
Let c = 273 - -279. Suppose -162*v + c = -174*v. Which is smaller: -47 or v?
-47
Let d = 106 - 102.5. Let g = d - 3.81. Let k = g - -0.21. Is k smaller than -2/61?
True
Let t(s) = -s**2 - 10*s + 191. Let r be t(9). Suppose 12 = a - 4. Which is greater: r or a?
r
Let f = -344233143 - -55421806826/161. Suppose -3369 = -2*k - b, -3*k + 5066 = 3*b + b. Let c = f - k. Which is greater: c or 1?
1
Suppose -48*v + 1609 + 2467 = -2884. Let j = 179 + -35. Is v at most j?
False
Let r(k) = k**3 - 2*k**2 + 28*k - 210. Let d be r(6). Which is greater: d or 114?
114
Let r = -17 + 6. Let w(j) = j**3 - 3*j + 70. Let s be w(0). Let f = s - 82. Is f equal to r?
False
Let f be (-344208)/248 - 96/1488. Which is bigger: -1/7 or f?
-1/7
Suppose -8*d = -3*d - 5*u + 25, u = 6. Is d < 3845?
True
Suppose 0 = 63*y - y - 1364. Is 24 less than y?
False
Suppose 0 = 74*r - 298 + 2148. Which is greater: r or -109?
r
Suppose 2*h + l = 9, 6*h - h = 5*l + 30. Let v be 152/14 - 7 - -2. Which is greater: h or v?
v
Let y = 66.115 + -66. Let v = -0.085 - y. Let c = -0.6 - 0. Which is greater: c or v?
v
Suppose -140 = 500*h - 251*h - 253*h. Which is smaller: h or 587/17?
587/17
Suppose 22422 = n - 5*u, -5*n - u = 21037 - 133069. Let b be (-2)/5 + n/56430. Which is smaller: -1 or b?
-1
Suppose 4*i + 9541 = 3*j, 4*j - 12712 = 198*i - 202*i. Which is greater: j or 3181?
3181
Let v = -35023/4 - -50818385/5804. Is v < -1?
False
Let x = 10511 - 10404. Is x smaller than 3/4?
False
Suppose 3*k + 26*s - 28*s + 251 = 0, 4*k + 329 = -3*s. Which is smaller: k or -335/4?
-335/4
Let i be 1667/(-4365) + (-4 - (-272)/72). Let n = i + 2/485. Which is greater: n or 58?
58
Suppose 114*y - 3*t - 212 = 109*y, -y - 2*t = -32. Which is greater: 7 or y?
y
Let t = -552443 + 3851391/7. Is -2244 less than or equal to t?
False
Suppose 0 = 5*p + p - 6. Let h be (-2 - 52/(-8))/(p/10). Suppose -7*b = 2*b + h. Which is smaller: -34/7 or b?
b
Let h(c) = c**2 + 116*c + 555. Let q be h(-5). Is q <= -61/203?
False
Suppose 2160 = 11*q + 7*q. Suppose 2*y - q = -3*y. Is y smaller than -2/7?
False
Suppose -2*r - r - 317 = -a, 540 = -5*r + 4*a. Let i = r - -108. Let m = 2723/319 - 121/29. Which is smaller: m or i?
i
Let p(f) = -3*f - 5. Let b be p(-5). Let u(s) = -s**3 + 11*s**2 - 24*s + 68. Let m be u(9). Do m and b have the same value?
False
Suppose -4*z + 0*z = -4. Let b = -1365 + 8117/6. Let q = 1417/114 + b. Which is greater: z or q?
z
Let u(n) = -n**3 - 5*n**2 - 3*n + 2. Let z be u(-5). Let f(m) = m**2 - 9*m - 102. Let c be f(23). Let b = 238 - c. Are z and b non-equal?
True
Suppose 0 = -w - 3*s - 93, -282 + 96 = 2*w - 5*s. Let u = -110 + 183. Let n = w + u. Is n <= -19?
True
Let v = -124 - -188. Suppose -9*w - 267 = -3*t, 0 = t + 2*t + w - 197. Is v at most as big as t?
True
Let g = 10213 + -10213. Which is smaller: g or -4/2813?
-4/2813
Let d = 9441.9 + -9442. Is 180/17 greater than d?
True
Let d = -1013/3 - -71929/213. Let i(c) = -c**2 - 6*c - 5. Let o be i(-5). Which is smaller: o or d?
o
Let b be (-3)/(-165)*11*-1418. Which is bigger: b or -283?
-283
Let w be (3 - 1)*3/(-14). Let z = -897 - -625. Let l = z + 260. Is l at most as big as w?
True
Let x be 44/(-165)*(-19473)/8. Let s = x + -1277/2. Is s at most as big as 11?
True
Let y = -17 + 55. Suppose 2475*z - 112 = 2479*z. Let h be 301/z*-4 + -4. Is h != y?
True
Let u(o) = 2*o**2 + 5*o + 3. Let z be u(-3). Let h be (-322)/6 - (-8)/(-24). Let s be 7 - (h/8)/(-1). Is z > s?
True
Let t = 4124/5 - 828. Suppose -3*z + 189 = -6*z. Let v be -8 + 6/14 + (-288)/z. Which is greater: v or t?
v
Let v = 0.742 + -0.742. Let s = 0.0789 - 13.9589. Let z = s + 14. Is v != z?
True
Suppose 3*g - 35 + 59 = 0, 9*w - g = -1. Which is greater: w or -201/175?
w
Let p = -31 - 15. Let n = 41.61 - -0.39. Let j = n + p. Is j > -1?
False
Let o = 7.566 - 292.166. Is o not equal to 0.1?
True
Let p(z) be the first derivative of -3*z**5/20 - z**4/2 - 29*z**3/3 + 8. Let i(o) be the third derivative of p(o). Let m be i(2). Which is greater: -47 or m?
-47
Let v be 4/9 - (-3192)/2052. Let f be 4/14 - (-348)/154. Is v >= f?
False
Let p = 450212 - 4957152/11. Let r = -441 - p. Which is greater: -3 or r?
r
Let q be (-2 + 21/6)/((1624/(-16))/7). Is q bigger than -0.03?
False
Let u = -4977 - -4903. Which is smaller: u or -75?
-75
Let f = 96 - 21. Let x(b) = 5*b**2 + 27*b + 20. Suppose -3*i + 4*o - 9 = 0, i + 5*o - 8 = -30. Let h be x(i). Which is smaller: h or f?
f
Let r be (5 - 2)/(7/(-14)). Let q be ((-11)/(-44))/((-2)/r). Which is smaller: 102 or q?
q
Suppose -33 = 49*r - 50*r. Let i be -3*5/(15/(-32)). Let b = r - i. Which is greater: b or 1/28?
b
Let o = -2/32183533 - 11633792271/321835330. Let j = o - -181/5. Is j at most 1?
True
Let g(j) = j**2 + 23*j + 30. Let a be g(-21). Let y be 108/21*126/a. Is y at least as big as -54?
True
Let j(b) = -b**3 + 123*b**2 + 1194*b + 8. Let d be j(-9). Suppose -5*n - 4*i - 245 = -0*n, 49 = -n - 3*i. Does d = n?
False
Suppose 5*t = -8*j + 6*t + 149504, -j + 18657 = -4*t. Is 18690 greater than j?
True
Let b(q) = 6*q**3 + 199*q**2 + 392*q - 1. Let o be b(-2). Which is smaller: o or 1?
o
Let w = -55.99703 + -0.00297. Is -0.5 less than w?
False
Let j be 470/(-6)*(-423)/282. Is 119 bigger than j?
True
Suppose -40*v + 20460 = -7*v. Let z = 657 - v. Let k = 46 - 9. Is z greater than k?
False
Let u = 30570 + -30571. Which is bigger: -29/95 or u?
-29/95
Let v be (33/77)/(6/4). Let c = 0 + v. Let s = -14.21 + 4.21. Which is greater: s or c?
c
Suppose -z - 2*o = -7, 4*z - o + 2*o = 21. Suppose -5*u - z*v - 35 = 0, 4*u + 46 = 5*v - 0. Let p be u + -6*2/(-3). Does -4 = p?
False
Let v = -73 + 217/3. Let l = -8422/7 - -1222. Let s = l - 19. Is s less than v?
False
Let c(z) = -4*z + 33. Let o be c(8). Suppose -2*i - 5*p + 3 = 0, -23*i = -25*i - p - o. Which is greater: -3/173 or i?
-3/173
Suppose -q - 738 = 4*b, q = 16*b - 8*b + 1458. Is -547/3 <= b?
False
Let u be (-2 - -2) + (696/177 - 4). Suppose -39*v + 102*v = 0. Which is smaller: v or u?
u
Suppose 0 = -2*c - 2*n - 2, -24*c = -29*c + 3*n + 3. Suppose c = 3*p + 5*a + 148, 2*p - 4*a = 4*p + 102. Which is smaller: -43 or p?
-43
Let j be 21654/(-10) - (-86)/215. Which is greater: -2167 or j?
j
Let g = 858 - 505. Let o = g - 404. Are -55 and o nonequal?
True
Suppose -4*g + a = 1019, -3*g - 5*a = 2*g + 1305. Let f = g - -261. Which is smaller: 46/13 or f?
46/13
Let t = 233 - 395. Let u = 158 + t. Which is greater: 4/3 or u?
4/3
Let m = 7.345 + -10.345. Which is smaller: m or -501?
-501
Let n be (-9)/(27/(-21)) + -3. Let s be 2/n*(-38 + 38). Is s less than or equal to -2/401?
False
Let h = 77 + -108. Let y = -30 - h. Let m = -379 + 378.4. Which is greater: m or y?
y
Let m = 3993 - 3992.96. Which is smaller: m or 16?
m
Let c = 454 + -2121/5. Let m = -1048/35 + c. Is 6/5 at least as big as m?
True
Let u be 2/((-18)/857)*(353 + -362). Which is bigger: u or 860?
860
Let b(v) = -v**3 - 2*v**2 + 8*v + 50. Let m be b(-7). Let w be ((3 + 5)/2 + -3)/m. Is 0 at most w?
True
Let d = 3.8092 - 3.9092. Is d not equal to 2808.7?
True
Let f(y) = -y**3 + 4*y*