 8*v - 6. Suppose 5*d - 53 = -18. Let i be t(d). Suppose 2*x = x. Is i > x?
True
Let l(v) = v**3 - 7*v**2 + v - 8. Let q be l(7). Which is bigger: q or 2/963?
2/963
Let o = 604 - 610. Which is bigger: 18 or o?
18
Let g = 19 + 2. Let v = g + -11. Suppose -m + 5*h + 6 = 0, 2*m + 3*h + 2 = 27. Is v <= m?
True
Suppose 2*f = 7*f - 15, -3*n + 30 = f. Suppose 2*c = -2*c + 5*p + n, 3*p + 3 = 3*c. Let z = -6 - -3. Are z and c nonequal?
True
Let f(k) = k**2 + k - 15. Let s = -47 - -51. Let o be f(s). Is o greater than or equal to 3?
True
Let u be 10/3 - 6/(-9). Let x(p) = -p + 11. Let g = -13 - -19. Let l be x(g). Which is smaller: l or u?
u
Let w = 15 + -22. Let z = -8 - w. Let c = -4 - -4. Which is smaller: c or z?
z
Let b = -277 - -280. Let m = 8 - 6. Suppose 0 = m*p - a - 32, b*p - 96 = 4*a - 38. Is p smaller than -1/2?
False
Let g = 12.8 + 23.2. Let n = g - 36. Which is smaller: n or 5/3?
n
Let g be (-1)/6*-3*0. Let p = 0 - g. Let s = 6 + -8. Which is smaller: p or s?
s
Suppose -21 = -2*k - 77. Let s = 32 + k. Let p = -7 + 11. Is s < p?
False
Let q(r) = -r + 2. Let h(x) = -x. Let n(c) = 2*h(c) - q(c). Suppose -15 = -14*d + 17*d. Let j be n(d). Is j != 0?
True
Let j be (-134)/1943 + (-642)/(-58). Is -14 >= j?
False
Suppose -o - 4*z + 4 = -7, -4*z + 15 = -3*o. Let u = -2432/15 - -162. Is u at most as big as o?
False
Let m be (2/2)/(((-1573)/22)/13). Is m less than 22?
True
Let w = 5135014/56305 + 2/56305. Is w > 90?
True
Let t be 4 - (580/144 + 0). Is t bigger than -3?
True
Let r(n) = n**3 - 12*n**2 - 19*n + 42. Let o be r(14). Which is greater: 1 or o?
o
Suppose 0 = 4*s + 59 + 25. Let n = -83/4 - s. Let p = -0.06 + 0.16. Is p at least as big as n?
False
Let x = 55 + -54. Let d be x/(-5) - 7/(35/(-6)). Is d >= 2/141?
True
Let l(z) = 14*z**3 + 2*z - 1. Let b be l(1). Suppose -2050*c + 34 = -2048*c. Which is greater: c or b?
c
Let p = 138 - 94. Which is greater: p or 47?
47
Let p = -16 - -11. Let k be (-2)/(-25) + p + 5. Which is bigger: 1 or k?
1
Let r = -112 + 111.63. Which is smaller: -2 or r?
-2
Suppose -g = 8 - 2. Let v be g/4*(-8)/6. Let d be ((-18)/15)/(v/1). Which is smaller: -2 or d?
-2
Let z(r) = r**3 + 3*r**2 + r + 1. Let d be z(-3). Let o = 25 - 20. Suppose -6*j = -o*j. Which is smaller: j or d?
d
Suppose -3*f = -4*s - f + 54, -10 = -2*f. Let b be (s/(-24))/(2/(-3)). Which is smaller: 1/28 or b?
1/28
Suppose 5*l - 15 = -10*l. Let j = -10189 - -69947/7. Let t = -197 - j. Is l at least as big as t?
True
Let z = -197 + 227. Which is smaller: 29 or z?
29
Suppose 0*x = 3*x - 21. Suppose -x*s = -0*s - s. Let v be 7/6 - 1 - 1. Is v < s?
True
Let z be (0 - (-28)/6)*-6. Let c be (z/(-8) - 3)*10. Suppose -d = -4*u + 12, -24 + 9 = -c*d + 5*u. Is 9 >= d?
True
Let w = -6/407 - 21553/1221. Do -18 and w have the same value?
False
Let s = -11.04 + 0.04. Let y = -205 - -215.9. Let r = y + s. Which is greater: r or 0.4?
0.4
Let l = -331.1 - -331. Is 666 smaller than l?
False
Let g = -15 - -79/5. Let t(o) = 2*o - 16. Let y be t(9). Which is smaller: g or y?
g
Suppose 0 = -3*s - 5*l - 8, -3*s - 2*l + 7 - 3 = 0. Suppose 5*r = 2*r. Let x be -3 + s - r/(-1). Which is greater: -1 or x?
x
Let g = -1/23 + -219/253. Which is greater: 1/6 or g?
1/6
Let l = -2211059/2310 + 5743/6. Are 0 and l non-equal?
True
Let z = 4 + -3. Let d = -20 + 21. Suppose -2 = -3*k + d. Are k and z unequal?
False
Let q = 10.4 - 10.705. Let p = q - 0.095. Which is smaller: p or 0?
p
Let q be ((-39)/(-10))/((-9)/((-45)/(-2))). Let v = -19/2 - q. Is -0.1 < v?
True
Let q = 7/33 - 142/825. Which is smaller: q or 2/3?
q
Let x(b) = b**3 + b**2 + 5. Let v be (3 - 0 - 2) + -1. Let s be x(v). Which is smaller: s or 7?
s
Let c(r) = -26*r + 522. Let z be c(20). Which is smaller: 90/31 or z?
z
Let c = -1 + 1. Let j = -622/871 + -14/67. Which is bigger: j or c?
c
Let p = 16 + -22. Let h = -0.02 - -2.02. Let w = h - 2. Is p less than or equal to w?
True
Let x(c) = 2 + 6*c**3 - 5*c**3 + 0*c - 8*c + 7*c**2. Let j be x(-8). Suppose -15 = j*s + 21. Which is smaller: -1 or s?
s
Suppose 21*g + 0*g = 5*g. Suppose g = 17*t + 5*t + 374. Let b = -33 - -18. Are t and b unequal?
True
Let q = 3 + 0. Let f = -1139 - -1147. Suppose f = -q*h - h. Are -12/11 and h equal?
False
Let w(g) = -g**2 - g - 6. Let j be (-8)/(-12) - (-24)/(-9). Let h be w(j). Is h != -6?
True
Let a = -0.119 - -0.219. Suppose k + 3*x + 90 = 0, -4*k + 132 = 2*x + 492. Is a greater than k?
True
Let u be (-10)/(-205) + 95312/(-574). Which is greater: -167 or u?
u
Let v = 552 - 565. Which is smaller: v or 1/15?
v
Let b = -343 + 349.02. Let p = -6 + b. Is -1 smaller than p?
True
Let f = -13 + 10. Let u be (-92)/(-30) - (-5)/15 - 4. Which is smaller: f or u?
f
Let q = 18 + -8. Let h be ((-3)/(-6))/(4*(-4)/(-352)). Is q not equal to h?
True
Let i be 3/24*20*(-2)/(-37). Let t = -139/481 + i. Is t greater than -1.4?
True
Suppose -39*x + 44*x - 50 = 0. Suppose -14*n + x*n - 32 = 0. Which is greater: n or -5?
-5
Let g = -616 + 613. Let f = -0.8 - -1.8. Which is smaller: f or g?
g
Let u(l) = -4*l + 19. Suppose -3*r - 2*c + 16 = r, -20 = 5*c. Let d be u(r). Is 3 smaller than d?
False
Let r be (8/(-20) + 0)/((-126)/45). Suppose -4 = 4*f - f + k, 4*f + 7 = -3*k. Which is greater: f or r?
r
Let l be 1 - ((-4)/(-2) - 6). Suppose 2 - 12 = -l*w. Suppose 3*b - w*b - 4 = 0. Is 1 <= b?
True
Suppose -2*r + 2*s + 26 = 0, -3*s = -4*r - s + 42. Suppose 2*g - r - 10 = 0. Which is bigger: 10 or g?
10
Let s = -0.04 + -12.96. Let w = -19 - s. Which is smaller: w or -1/4?
w
Suppose -84 = 4*y + 5*h - 164, -129 = -5*y + h. Which is bigger: y or 1/11?
y
Let c be (-6)/8*2200/(-30). Is 56 bigger than c?
True
Let t(c) = c**3 - c**2 + c + 1. Let k = -15 + 15. Let w be t(k). Let o = -369 - -9967/27. Is o greater than or equal to w?
False
Suppose -32 = 16*m - 32. Which is smaller: -1/73 or m?
-1/73
Let s = -128 + 100. Let u = s + 22. Is u bigger than -12?
True
Suppose l = -1 + 5. Suppose 0 = -11*u + 60 - 23 + 18. Which is smaller: l or u?
l
Let f = 12 + -22. Let s be 3 + (-195)/20 + -4. Are f and s non-equal?
True
Let t(v) = -2*v**2 + 2*v + 4. Let x be t(3). Let m be 3 + (x/(-4) - 5). Suppose -5*y = 0, 0*i + 5*i - 3*y - 25 = m. Which is smaller: i or 3?
3
Let s(g) = 2*g**2 + 3*g + 2. Let x be s(-1). Let h be (-3)/x - 16*-1. Which is smaller: 35/3 or h?
35/3
Let h be (-2)/7 - (1216/56 + -6). Suppose o = 4*o + 48. Is h greater than o?
False
Let c be ((-17190)/(-405))/((-5)/3 + 1). Is -63 at most c?
False
Let t = 68 - 65. Let s be t/(-6) - ((-10)/4)/5. Are s and 1/74 equal?
False
Suppose 3*x + 44 = -5*z + 22, 3*x + 2*z + 34 = 0. Is -156/11 greater than or equal to x?
False
Let v(j) = -2*j**2 + 10*j**2 - 2*j - 2 + j**2. Let d be v(-1). Is 6 equal to d?
False
Let o(h) = 2*h**2 - 6*h + 1. Let x be o(4). Suppose -10*w + x*w + 13 = 0. Let f = w - 13. Which is greater: 1/10 or f?
1/10
Let t = -465 + 471. Is t at least 1.9?
True
Let n = -26 + 50. Suppose 4*y = 10*y + n. Let t = 10 + -13. Is t equal to y?
False
Suppose 0 = 8*j - 17*j - 9. Suppose -3 = 2*c + 4*s - 17, -2*c = 2*s - 4. Is j less than c?
False
Let o = 2.7 - 3. Let c = o + 0.2. Let j = 15.3 - 20.3. Is j less than or equal to c?
True
Suppose -3*d + 0*x = -3*x - 165, 0 = -3*x. Let l be (1 + 1)*(1 - 50/d). Which is smaller: 0.1 or l?
0.1
Let p be (-15)/18*-3*2. Suppose p*h + f - 4 = 7, -h = -f - 1. Are 2 and h unequal?
False
Let y be ((-90)/54)/((-8)/18*-3). Is -5 less than or equal to y?
True
Suppose 6*x = 7*x - 45. Let k = -37 + x. Which is greater: 5 or k?
k
Suppose -w = -6*w - 110. Let p = -458 - -436. Is w greater than p?
False
Let v(j) = 3*j + 7. Let d be v(-2). Which is bigger: -29 or d?
d
Suppose 120 = 2*v - 0*v. Let o be ((-36)/v)/(1/(-5)). Suppose 0 = o*l - 6*l. Which is greater: l or -3/8?
l
Let y(l) = -2*l**3 + 20*l**2 + 17*l - 3. Let d be y(-1). Let b(a) = a**3 + 4*a**2 + a - 2. Let v be b(-3). Let t be v/10 + (-54)/(-40). Is d at least t?
True
Let h = -63369/4 + 15722. Is h < -120?
True
Suppose -13*m - 28 = -9*m. Let f(t) = t**3 + 7*t**2 - 2*t - 3. Let u be f(m). Which is greater: u or 10?
u
Let i = -2/9 - -1/126. Let p = 0 - 0. Is p greater than or equal to i?
True
Suppose -5*b - i = -b + 468, 0 = 3*b + 3*i + 342. Do b and -118 have different values?
False
Let t = -75 - -109. Let c = t - 35. Which is greater: c or -2.4?
