(s) = 8*s**3 - 2*s**2 + 2*s + 1. Let r be j(1). Suppose 4*d + m = 144, 5*d = -r*m + 8*m + 179. Which is bigger: d or 34?
d
Suppose -5*l = -3*r - 6*l + 1550, -4*l = 3*r - 1556. Let n = -515 + r. Let x be (-1 + (-150)/(-148))*1. Which is smaller: x or n?
x
Suppose -3*z + 5*p = -9, 5*z - 5*p + 15 = 10*z. Suppose z*r = -4*v + 293, 5*v = -2*r - 0*v + 207. Are r and 90 equal?
False
Suppose 5*f = -3*u + 3470 + 6757, f - 2048 = 2*u. Is f != 2046?
False
Let w = -432 + 482. Let t be (-34)/(-10) + (-20)/w. Which is greater: t or -30?
t
Suppose -5*x = 3*x - 5*x. Suppose 3*y - 32 = w, -4*y + 0*w + w + 41 = x. Which is smaller: 41/4 or y?
y
Let a = 117 + -346. Let n = -231 - a. Which is bigger: n or 18?
18
Let k = 142550 + -142571. Let c = -0.5 + 0.3. Are c and k nonequal?
True
Let y = 22.51 + -21.6. Let l = y - 0.849. Which is smaller: l or -0.1?
-0.1
Let k = 110.8 + -66.5. Let g = k + -44.2. Are g and -378 equal?
False
Let i be (3 + 1)/(12/(-18)). Let c(v) = v**3 + 10*v**2 + 2*v + 37. Let x be c(-10). Let g be (-9)/18*i/x. Are 1 and g nonequal?
True
Let z = 3784 + -5224. Which is smaller: z or -1?
z
Let q be ((-13468)/182)/(6/(-393)). Which is smaller: 4849 or q?
q
Let w = 510.6 - 515. Let s = -3 + 2.4. Let h = s + w. Which is smaller: -0.01 or h?
h
Let q = 464 - 4192/9. Let i = 5/18 + q. Let l(g) = g**2 + 5*g - 1. Let h be l(-5). Is h > i?
True
Suppose -x - 7 = 4*q, -4*x - 5*q - 6 = -0. Let l be 1/(-3 + (-15)/(-6)) - x. Do l and -11/7 have the same value?
False
Let a be 8/(-84) + (6 + -3 - 122/42). Does -64 = a?
False
Suppose -2*q = 10*j - 12*j + 14724, 5*q = j - 36810. Which is smaller: q or -7361?
q
Let v = 1930811347/238632 - 21/79544. Let t = v - 8241. Let h = -152 - t. Which is bigger: h or -1?
-1
Suppose 0 = -2*a - 2*h + 122, -5*a - 5*h = -2*a - 191. Suppose 3892*n + 26 = 3893*n - 3*k, -16 = -2*n + 2*k. Which is smaller: a or n?
n
Suppose 75 - 123 = -6*b. Suppose 0 = b*r - 73 + 9. Is r not equal to 8?
False
Let r = -6029/7 + 861. Is 0.00953 smaller than r?
False
Let g = 0.25081 + -0.25081. Which is smaller: g or -9085?
-9085
Let z = 67972 - 421999/6. Let m = z - -2352. Which is bigger: -9 or m?
-9
Let j = 2731 - 24577/9. Let c be 132/8*(-2)/3. Let h be c/8*2 + 3. Are h and j equal?
False
Let k(a) = 4*a - 11. Let y be k(-4). Suppose -4*s = 4*i - 16, 4*s - 15 = s. Let w be -3 - (-1)/(i - (-44)/46). Which is smaller: y or w?
y
Let l(s) = 3*s**2 - 97*s + 44. Suppose -340 + 20 = -10*o. Let u be l(o). Which is greater: u or 11?
u
Suppose -2*w = a + 1878, 0 = 10*w - 15*w - a - 4686. Which is smaller: w or -932?
w
Let a = 11/200 + -2/25. Suppose 0 = -z + 15 + 202. Suppose -14*y - 203 + z = 0. Do a and y have different values?
True
Suppose 20 = -o + 14, o = h - 19. Is h <= 626/53?
False
Suppose 0 = -p + 5 + 27. Suppose 3*g + 9 + p = 2*k, -4*k + 115 = 5*g. Let x be (65/k - 3)*-5. Which is bigger: x or -3?
x
Suppose -5*c - 5*z + 3925 = 0, z = 2*c - 2139 + 569. Does 792 = c?
False
Let j(n) = n**3 - 10*n**2 + 7*n + 5. Let s be j(6). Let l be s*(4 + -3) - 3. Let m be (-24)/l*15/2. Is 3 at least as big as m?
True
Let n = -13485 + 13487. Which is bigger: -0.22 or n?
n
Let c = 19711 + -20582. Is -0.3 != c?
True
Let s = -5813 - -5739. Which is smaller: 0 or s?
s
Let x = -19565 + 19044. Do 0.9 and x have different values?
True
Let y = -2185 + 2199. Is 100 >= y?
True
Let t = -2676 + 2673. Do 130 and t have different values?
True
Let h(f) = f**2 - 12*f + 5. Let q be h(3). Let t = -23 + q. Let l = t + 34. Does l = -10?
False
Let w be (-1)/(-7405)*(512 + -511). Does w = -2?
False
Suppose -4*f - 121 + 13 = -4*j, -2*j + 3*f + 51 = 0. Let n be 450/j - (-2)/(-3)*-6. Which is bigger: n or 20?
20
Let b(x) = x**2 + 2*x - 8. Let t be b(-7). Let g = t + -38. Let u = -2524/249 - -39/83. Are u and g equal?
False
Let d = 231.2 - 233. Suppose 0 = 2*j + 2 - 6. Let c be (j/3)/(-1*2). Is c greater than or equal to d?
True
Suppose -j - 2*m = j - 16, -3*m = -j - 12. Suppose -48 = j*u + u. Suppose 680*i + 5*r = 676*i - 24, -2*r = -5*i - 63. Which is greater: i or u?
i
Let p be ((-92)/6)/(4/(-24)). Suppose -5*x = -3*o + 337 - 83, -299 = -3*o - 4*x. Do o and p have the same value?
False
Let a be 5203/(-33)*12*(-1)/4. Let s = 1 + 0. Is a smaller than s?
False
Suppose -428*t + 1456 = -415*t. Is 113 at most t?
False
Let g(r) = -r + 42. Suppose -2 = -c, -4*c = -4*o - 0*c + 56. Let d be g(o). Suppose -25*j + d*j - 20 = 0. Are j and 20 equal?
True
Let y = -0.0266 - 29.6734. Let t = y + 31.7. Is 1/4 > t?
False
Suppose 26 = -9*a - 28. Let i(o) = o**3 + 9*o**2 + 19*o - 4. Let s be i(a). Which is bigger: s or -7?
-7
Let w be 3 - (3 - (-4 - (0 + -49))). Let f = 20 - w. Let p = 18 + f. Is -4 > p?
True
Let q(u) = u**3 - 3*u**2 - 4*u + 2. Let n be q(4). Suppose 2*z + 4*d - 43 = 9, 1 = d. Let m be (-22)/z + n/8. Which is smaller: m or 2/17?
m
Let x = -23 - 17. Let g be ((-55)/(-2))/5*(-44)/(-121). Let h be x/30 - g/3. Which is smaller: h or -7/8?
h
Suppose -1 = -c - 2. Let x = -51.0219 + 0.0219. Are x and c unequal?
True
Let z = 74237/74 - 1003. Is -4 != z?
True
Suppose 5*f - w = 2*w - 41, 3*f = 2*w - 24. Let t(v) = 9*v + 92. Let z be t(f). Which is smaller: 25/11 or z?
z
Let t be -184*69/(-506)*-11. Is -15 > t?
True
Let v = -15.978 + 15.898. Is -204 not equal to v?
True
Let o = 78.1 - 12.1. Let q = -3.6 - 55.4. Let m = q + o. Is 2 at most as big as m?
True
Let w = 72711/7 + -10387. Is w < -3508?
False
Let h = 867 + -590. Let k = -277.3 + h. Let w = 3 + 0. Which is greater: k or w?
w
Suppose 1208924 + 1596188 = 323*j - 97*j. Is j greater than 12411?
True
Let s(y) = 2*y - 39. Let w be s(20). Which is bigger: w or 10/9?
10/9
Let c = -125017/22 + 5682. Which is smaller: c or 0.1?
c
Let d be 28/10 + (-9)/(-45). Suppose 31 = -d*x - 4*f - 0*f, -4*f - 13 = x. Let a be (6/4)/((108/(-26))/x). Is 4 smaller than a?
False
Suppose 7*n - 9*n + 8 = 0. Suppose n = 4*i - 3*i - 3*q, -3*i + q + 4 = 0. Are i and 1/216 unequal?
True
Let w = -4100 - -4099. Which is smaller: -9/548 or w?
w
Suppose 31*j - 48434 = -141961. Let f = j + 30131/10. Is f >= -5?
True
Let j be ((-2)/3)/((-1)/42). Let u be (0 - 26)/((14 - 6) + -10). Let d(n) = 6*n**2 - 75*n - 12. Let c be d(u). Which is smaller: c or j?
c
Let u = 18 - 77.8. Let q = 60 + u. Is q less than -62?
False
Let q = -334 - -238. Which is smaller: -3/28 or q?
q
Let n = -29058 + 27856. Is -1203 < n?
True
Let d be (206316/34800 - 6) + (5 - (-492)/(-100)). Is d bigger than 0.017?
False
Let n = 76.5428 - -1100.9142. Let c = 1178 - n. Let f = c - 0.043. Is f smaller than -1/2?
False
Let z = 175 - 172. Suppose 35 = -z*c + n, -2 = -4*n - 18. Is c bigger than -23/2?
False
Let x = -3.1 + 15.115. Let a = x - 0.015. Let b = a + -11.89. Which is smaller: -2/3 or b?
-2/3
Suppose -3*b - 17*m + 15*m = 12, b + 2*m + 12 = 0. Is -2/6753 at most b?
True
Let l(w) = 4*w**3 - 7*w**2 - 22*w + 22. Let q be l(5). Is 237 less than q?
False
Suppose 2*d + 2*d + 92 = 0. Suppose -5*s + 145 = 5*u, 2*u - 47 - 104 = -5*s. Suppose 83*n + 1196 = s*n. Is d smaller than n?
False
Let t be ((-4089)/(-376) - 11) + (2283/1176 - 1). Which is smaller: t or 6/19?
6/19
Let s = -213 - -293. Let j be (s/(-15) - -5)*-291. Is j <= 99?
True
Let t = 301 + -281. Let x = -24 + t. Let m = -0.2 - -3.2. Is m at most as big as x?
False
Let y be 159390/(-3059) + 4/38. Is y bigger than -57?
True
Let w = -173 + 173. Suppose -35*k + 38*k - 3 = w. Which is bigger: 1/264 or k?
k
Let u be 1 + -17 + (-121433422)/(-7589494). Which is smaller: 1 or u?
u
Suppose 5*c - 8 = 27. Suppose c*h = 6*h. Suppose 4*f + 18 = -2*x - h*f, -3*x = 3*f + 33. Which is smaller: x or -0.1?
x
Let p = -4 + 6. Let z = 467.2 + -220.3. Let x = z - 247. Is x at most p?
True
Let p = -70941/58640 - -97/80. Are -1 and p equal?
False
Suppose 32*r + 770 = 1090. Is r at most -27?
False
Let h = -70514705/504 + 139910. Is h at most as big as 0?
True
Let m = 0.26 - 81.26. Let y = m + 280. Which is smaller: y or -1/2?
-1/2
Let c(x) = -35*x**2 + 8*x + 12. Let j be c(3). Let a = 285 + j. Which is smaller: -6 or a?
-6
Let k = -172418/12171 - 3/8114. Let u be 2*1/2*-13. Is u not equal to k?
True
Suppose -2*t = 2*d - 0*t - 202, 0 = -3*d + 3*t + 333. Let g be 4/46 + 9560/92. Is g greater than d?
False
Let y = 0.0492 + -0.3712. Let o = y + 0.472. Is -13 >= o?
False
Suppose 296*h = 309*h