 z be b(-1). Suppose -4 = -2*d - 3*n, q*d - 4*n + 7 = z*d. Which is smaller: d or -4/21?
d
Let u(j) = -14*j - 2. Let a be u(-2). Suppose -17*y = 4*o - 11*y - 38, 3*y - 48 = -3*o. Which is greater: o or a?
o
Let w = -255 - -247. Let r be (3 + w - 23)*2/(-4). Is r <= 13?
False
Let o be ((4 + 38)/2)/(-1). Let j = -401 + 385. Which is bigger: o or j?
j
Let m be (-3 - (-9)/(-2))/(11 - 3105/282). Is 703 greater than m?
False
Let h = -7.847 + 8.53. Is 6 greater than or equal to h?
True
Let u be 4/(32/58) + (-2)/8. Suppose -10*j = -u*j - 198. Suppose -4*l + j = -5*m, 3 + 5 = -4*m. Which is smaller: l or 15?
l
Let q be 8/42*306/63240. Which is smaller: -1/5 or q?
-1/5
Let w = -802 - -454. Suppose 0 = 2*n - 2*b + 690, 8*b + 2072 = -6*n + 13*b. Which is greater: w or n?
n
Let c = -13/14 + 16/21. Which is smaller: 274 or c?
c
Let h(l) = l**3 - 20*l**2 - 74*l - 25. Let r be h(23). Which is greater: -142 or r?
r
Suppose h = -3*s + 2660, 4*s - 3536 = -448*h + 452*h. Is 888 smaller than s?
False
Suppose -y + 10 = 3*r, -2*r - 43 = -3*y + 2*r. Suppose -2*l - y = -11. Let n be l/2*-2 + -22. Is n < -20?
True
Suppose 4*b = -2*h + 6*h - 8, -b + 2 = 3*h. Let w be (b/(-3))/(20/40)*-6. Does -9 = w?
False
Let h be (-14)/(-8) - 1/(-4). Let j be ((-75)/(-12) - 5)*304. Let c = 383 - j. Is c less than or equal to h?
False
Let q be (-50 + (-4440)/(-90))*((-2)/4 - 1). Are 291/118 and q equal?
False
Let i = 24 + -33. Let h be 5/20 + i/(-12). Which is smaller: h or -1/123?
-1/123
Let g be 15/10*4/(-3). Let q = -2 - g. Let c = -135 - -943/7. Is c >= q?
False
Let c be (165/(-164175))/((-19)/2). Which is smaller: 1 or c?
c
Suppose -4*p = 2*t - 1888, -3*t - 3*p + 2816 = -p. Which is bigger: 935 or t?
t
Suppose 1 = -4*n - 11. Let j = n + 2. Let w = -0.0670334 - 0.0329666. Is j equal to w?
False
Let y be (-1)/4 + 342/(-40). Suppose 3*s + 420 = -3*n, -2*n = -2*s + n - 285. Let q = s - -131. Is y greater than q?
True
Suppose -4*y + 6*y - 2*b - 472 = 0, -3*y + 716 = 5*b. Suppose 2*i + p = y, 0 = 4*i - p + 5*p - 464. Is 122 bigger than i?
True
Let h(z) = -2*z**3 - 3*z**2 - 35*z - 12. Let f be h(-6). Which is bigger: -0.01 or f?
f
Let v be ((-4)/232*4)/(4/1478). Let f = -18543/145 - v. Let k = -102 - f. Is -17 greater than or equal to k?
False
Let g = 1.39 - -18.11. Let q = g - 19.5. Which is smaller: 0.89 or q?
q
Suppose 20106 = -116*i + 850. Suppose 2*q - s + 334 = 0, -861 = 5*q + 3*s - 37. Are i and q equal?
True
Suppose 3*j - 7 = -x, 5*x - 5*j = 13 - 18. Which is greater: -2/209 or x?
x
Let r be ((-23060)/(-10))/(5 + -4). Which is smaller: 2308 or r?
r
Let n(a) = -a**3 + 2*a**2 + 5*a - 9. Suppose 39 = 13*r + 13. Let g be n(r). Is g at most -14.1?
False
Let c(f) = -f**2 - 31*f + 26. Let p be c(-24). Let h be (-4)/18 - (-16 - (-7975)/(-45)). Is p smaller than h?
False
Let y = 3 - 12. Let h be (-186)/(-3627) - (-152)/(-1443). Is y >= h?
False
Suppose p + 20 = 2*x - p, -3*x - 5*p = -30. Let h be -82*(-4)/x*5/(-4). Do h and -37 have the same value?
False
Let h = -319 + 323. Let l be 37/(-448)*-4 - h/28. Is 0 at most l?
True
Let w = 10 + -20. Let v = w + 15. Let l be (-18)/(-81)*-90 - -21. Does l = v?
False
Let b = 1 - 0.7. Let u = -2.61 + 32.81. Let d = u - 27.2. Which is smaller: b or d?
b
Suppose -91*x = -773367 - 538216. Do x and 14414 have different values?
True
Let x = 0.05312 + -0.06782. Which is greater: x or -1/4?
x
Let c(h) = 24*h - 30 + 7 + 21. Let a be c(2). Is 46 smaller than a?
False
Let m be (12 - 18)*158/(-6). Let k = m - 188. Which is smaller: k or 3?
k
Let q = -20852 + 20825.138. Let p = -26.9 - q. Which is smaller: p or -1?
-1
Let m = -286 - -284. Let q = -83 - -24. Are q and m non-equal?
True
Suppose -39*v + 26 = 104. Let c be 3 - (9 + (-9 - v)). Is 6/71 equal to c?
False
Let y be (-3)/(-2) - (1 - 7344/(-14176)). Which is greater: y or 0?
0
Let b = 205 - 1087/5. Let c = 147 - 160. Is c less than or equal to b?
True
Suppose 210*p - 74*p = -13056. Which is smaller: p or -143?
-143
Let a = 180.47 + -5.17. Let n = -174 + a. Is n greater than -4?
True
Let o(l) = l**3 - 2*l + 1. Let a be o(-2). Let p be 0*2/(-8) + -67. Let s = p + 63. Is s at least as big as a?
False
Let r be -10 + 116 - 6/2. Suppose 4*i - 3*m + r + 89 = 0, -4*i + 2*m - 192 = 0. Let z = 25 - 72. Is i greater than z?
False
Let c be (-219)/146*13100/(-6). Which is bigger: c or 3274?
c
Let a = 1303823/7 - 185959. Which is smaller: a or 302?
a
Suppose -3*y = -0*p - 4*p + 8, 4*p + 4*y = 8. Suppose 2*n + 25 = p*d + 23, -16 = -2*n - 4*d. Which is bigger: 3 or n?
3
Suppose -4*u - y + 609 = 0, -5*u + 11*y + 735 = 7*y. Let w = u + -142. Is w greater than -2/3?
True
Suppose -5*t - 3*d + 324 = 0, 3*t + 54 = 4*t - 3*d. Let j = 893/2 + -385. Let i = j - t. Which is greater: -3 or i?
i
Let k be (-7 + -469)/(-4) + 7 + -3. Do k and 30 have different values?
True
Let h = -19158 - -48910375/2553. Is h less than or equal to -1?
False
Let u = 23.6 - 26. Let f = 6434 - 38467/6. Let t = 45/2 - f. Is u less than or equal to t?
True
Let y = 0.11 - -4.89. Let j = y - 4.8. Let f = 231/4 + -1143/20. Are j and f equal?
False
Let w = 615/2 - 262603/854. Let s = w + 22/172935. Which is smaller: 1 or s?
s
Let r = -13508 - -9238. Are r and -4272 equal?
False
Suppose -8369*v = -8370*v - 156. Is -123 at least v?
True
Let k be -5 - 55*-4*(-52)/(-2352). Is 1 at least k?
True
Let o(i) = i**3 + 100*i**2 + 2*i + 208. Let r be o(-100). Which is greater: 17 or r?
17
Let b = 212.2 - 227. Let g = -11.6 - b. Is g at most 0?
False
Suppose -4*x = x - 4*h + 33, -3*x = 4*h + 39. Let n(z) = -6*z + 39. Let l be n(x). Do l and 93 have different values?
False
Let v = -6481 - -6482. Is 1/715 not equal to v?
True
Let o = -9 - -45. Let f = 0 + -1. Let b = o - f. Is 36 at least b?
False
Suppose 11*n + 82 = 412. Let p be n/9*3 + (-10)/85. Is 11 <= p?
False
Let i = 18536323 - 1427608419/77. Let t = -4046 - i. Which is smaller: t or -2?
-2
Let x = 458/219573 + 4/787. Let u = x - -362/1395. Is u smaller than 1/4?
False
Let g = 0.0718 - 0.1618. Is g >= -82?
True
Let g = -2214.87 - -2053.4. Let k = 3.47 + g. Do k and 2 have the same value?
False
Suppose 39*i = 40*i - 5*d - 30, -5*i - 2*d + 42 = 0. Let u = -107/10 + i. Are 0 and u unequal?
True
Let l(k) = 56*k + 6455. Let n be l(-116). Is -910/23 at least as big as n?
True
Let r = 12.1 - 11.93. Let o = -0.03 - r. Are o and -64 non-equal?
True
Suppose -3*l - 2 - 16 = -4*p, -2*p + 30 = -5*l. Let f = l - -18. Let g(k) = -5*k + 24. Let r be g(2). Is f at most as big as r?
True
Let u = -1.5054 - -1.7054. Is -3582 at least as big as u?
False
Let p = 128 - 127.7. Let g = 3 - 35. Which is smaller: g or p?
g
Suppose -4*d - 4*r = -28, 533*d + 4*r = 534*d + 23. Is 4 less than d?
False
Let n = -10810 + 10810.2. Let z = 35.4 + -4.4. Is z bigger than n?
True
Suppose -14 - 25 = 21*u + 45. Which is smaller: u or -117/25?
-117/25
Suppose -14*n = -17*n + 9. Suppose -4*q + 206 = q + 4*l, -4*l = n*q - 130. Is q at least 36?
True
Let v be 20/(-70)*-6153*((-104)/(-102) - 1). Is 35 less than v?
False
Let m(g) = 429*g + 1296. Let d be m(-3). Are d and 372/41 equal?
False
Let g be (-5)/((-25)/(-2)) + -20 + (-462787)/(-22685). Is g at least as big as 0?
True
Suppose 15*a - 273 + 93 = 0. Suppose a = 5*v + 3*i + 1, 5*v - 7 = -i. Let w be (2/12)/(-14 - -1). Is v at most w?
False
Suppose -1 + 6 = -k. Let c be 609/261 - 1256/24. Which is greater: k or c?
k
Suppose -j = 2*p - 374, -5*p = -p - 2*j - 748. Suppose 4*w + 13*w - p = 0. Is 35/3 at most w?
False
Let z be -4 + -4 + 2 - -68. Suppose 0 = -4*q + 3*n + 56 + 21, -4*q - 2*n + z = 0. Are q and 19 equal?
False
Let w = 0.1 - 4.1. Let k be (-10)/(-6)*(16 - (-30 + 13)). Which is smaller: w or k?
w
Let i = -695 + 840. Let q = 1140.2 + -996. Let r = i - q. Which is greater: r or -2/13?
r
Suppose 12*t - 16*t + 1232 = 0. Suppose -17*k + 6328 - 1109 = 0. Is t <= k?
False
Suppose 454*q - 911*q + 467*q + 79030 = 0. Does -7906 = q?
False
Let v be (1 + 0)/1 + -1. Suppose 28*n = 33*n - 15. Let x be 36/72 + ((-428)/(-216) - n). Which is smaller: x or v?
x
Let g be ((8 - 8)/(5 - 4))/10. Is 3/937 != g?
True
Let b = 29.8 + -28.755. Let m = b + -0.075. Are m and -1 non-equal?
True
Let k be ((-60)/(-16))/(18/(-48)). Let j be (32/k)/((-100)/(-250)). Which is greater: j or -9?
j
Let h(i) = -4*i - 60. Let b be h(-14). 