 = -y**3 - y**2 + 11*y + 6. Let f be v(-4). Is f smaller than 0?
False
Let z be (-12)/(-7) - 2/(-7). Suppose 3*v = -z*v. Suppose v*b - 5*b = 15. Is b less than or equal to -2?
True
Let i(v) = -v**3 - v**2 + 2*v - 4. Let q be i(2). Let g be 1/(2/4)*(-6)/q. Are 1 and g equal?
True
Let l be 140/180 + 2/9. Let s be (-1)/(l/(-2)) - 6/4. Which is bigger: 0.19 or s?
s
Let y(z) = -z**2 + 16*z - 43. Let q be y(18). Which is smaller: -80 or q?
-80
Let q = -318 + 318. Which is greater: -113/3 or q?
q
Suppose -786 - 774 = -6*s. Is s smaller than 0.1?
False
Let y be 0 - 0*(-1 - 0). Suppose 2*t + 4 = -y. Let o be ((-1)/t)/(-1)*1. Which is bigger: o or -1?
o
Suppose -2*l = -l - 27. Suppose -l*o + 22*o = 30. Is o < -6?
False
Suppose a + 1 = 9. Let t be a/4 + 7/(-3). Suppose 4*w = 0, -3*i - w - 2*w + 3 = 0. Which is greater: i or t?
i
Let k = 861 + -795. Is -4 greater than k?
False
Suppose -5*o = 10, -3*l - o + 4 = -l. Let j be 18/(-8)*(-8)/l. Let x be ((-3 - -2) + 6)*1. Which is smaller: x or j?
x
Let s(f) = -f**3 + 4*f**2 + 4*f + 6. Let p be s(5). Let d be 72/16*p/4. Is d greater than 2?
False
Let t = 1142.3 - 1140. Which is smaller: t or 0.15?
0.15
Let s(j) = -j**3 + 10*j**2 - 2*j + 23. Let h be s(10). Suppose 0 = 2*x + h*x. Is x < -1/12?
False
Let b = 257 + -244. Which is bigger: 16 or b?
16
Let i(u) = -u**3 - u**2 + 8*u + 93. Let w be i(0). Is 92 at least w?
False
Let s = 378.61 - 377. Which is smaller: -2 or s?
-2
Let l = 7.178 + 0.072. Let k = l + -8. Let g = -0.25 + k. Which is smaller: 0.7 or g?
g
Suppose 2*w + 43 - 55 = 0. Suppose -62 + 8 = -w*d. Is d != 12?
True
Let u(z) = 2*z + 32. Let n = -13 - 0. Let j be u(n). Which is smaller: -1 or j?
-1
Let t be 18/(-225) - (-856)/(-1800). Which is greater: t or -11/5?
t
Let d = -672 + 670. Suppose 2*g - 19 = 3*r, 0 = -2*g + 7*g - r - 15. Is d <= g?
True
Let c be (-1700)/(-12)*(-29)/87. Which is smaller: -48 or c?
-48
Let t be 4 + (8/4*-1)/(-2). Let u(j) = -7*j + 6. Let a be u(t). Which is smaller: a or 0.1?
a
Let t(j) = j**2 - 7*j - 18. Let s be t(9). Let x = 134749/1116 + -483/4. Which is greater: x or s?
s
Let c(h) = 4*h**2 - 10*h + 3. Let d be c(-8). Let b = d - 5089/15. Let l be 3 + -1 - -9*(-3)/12. Which is bigger: b or l?
l
Let h be (-3)/4 + (-18)/(-20). Is h greater than 19?
False
Let f = -37 + 53. Suppose 0*i = -4*i + f. Suppose -i*j = -4*k - 2*j - 8, 0 = 4*k + 4*j - 16. Is 4/5 at least k?
True
Let q = -2296 + 3143. Is 849 at least q?
True
Let z be (12/(-7) + 2)*7. Suppose -z*m + 126 = 4*c + m, 0 = 2*c + m - 62. Which is bigger: c or 31?
31
Suppose 3*l = k + 26, 4*l = -2*k - 21 + 49. Let r = 0.98 - 1. Is k > r?
False
Let q be -4 + (20/(-45))/(284/(-2562)). Is q < -1?
False
Let z be (-8)/2 + (-5)/(-60)*51. Are 38.9 and z nonequal?
True
Let s be ((-35)/10 - -6)/((-1)/(-2)). Suppose -18 = 6*g - s*g + 2*h, h + 2 = 0. Which is smaller: -16 or g?
-16
Let t(m) = 60*m - 209. Let d be t(6). Which is smaller: 152 or d?
d
Let x = 36 + -34. Let u = 36.306 + -36.3. Are u and x equal?
False
Suppose 0 = -5*n + 3*s + 39, -5*n + 2*s + 31 + 10 = 0. Suppose -f + n*f + 48 = 0. Is f at least as big as -7?
True
Let h(u) = u**2 - 5*u + 7. Let r be h(6). Let w = r - 20. Is w greater than or equal to 0?
False
Let u be -5*1/(2/(-2)). Suppose -2*t = -q + 3, -u*t - 3*q + 9 = -11. Suppose -2*i = -5*a - 8, 3*i = -4*a + 4 + 8. Is t greater than or equal to a?
True
Suppose -3*r - 2*r + 100 = 0. Suppose -r - 5 = v. Which is greater: -23 or v?
-23
Let y = -532 - -540. Which is greater: y or 0.19?
y
Let u be 10 - (-5)/(880/(-1551)). Is 1 at least as big as u?
False
Let w = -93.14 - -95. Let a = w + -2. Is -0.2 at most as big as a?
True
Suppose 4*a = -3*k - 21 - 6, 3*a = 0. Let b be 0/((k/1)/(-3)). Which is bigger: 10/9 or b?
10/9
Let f = 20 - -72. Let d = 59 - f. Let r = 33.9 + d. Is r <= 0.1?
False
Let m = -3 - -8. Suppose q + 40 = m*q. Suppose -q = 5*b + 5. Which is bigger: b or -1?
-1
Let v be 0 - 30/99*6. Suppose 9 - 11 = l. Is v < l?
False
Suppose 536 = 336*m - 334*m. Which is greater: m or 267?
m
Let j = -559 + 529. Which is bigger: j or 1/8?
1/8
Let x = 1131899/420 + -2695. Is 2 at most as big as x?
False
Let b be (0 - 1) + (1 - 8). Suppose 3*z + 3*z = 48. Let w be 38/(-5) + z/(-20). Is b >= w?
True
Suppose -2*g - 3*w = -g - 26, 6 = 3*w. Suppose -16*u = -19*u + 27. Suppose 3*r + u*r = 12. Is r bigger than g?
False
Let s be (-3)/((-3)/(-2)) - (-55 + 59). Which is smaller: s or -3?
s
Let c be 68/(-204)*(-1 - 0). Are -28.8 and c equal?
False
Let x = 3.9 + 0.2. Let y = -1.9 - x. Is y greater than -2/9?
False
Suppose 6*c + 230 = 29*c. Let a = 282 - 186. Let j be (2/(-4))/((-4)/a). Is j smaller than c?
False
Let g = 1.9 + -1.7. Let m = 1.8 + g. Let y = 6.1 + -6. Are y and m unequal?
True
Let i = -415 - -399. Is -15 less than i?
False
Let n(u) be the second derivative of -u**3/6 + 13*u**2 - 11*u. Let l be n(9). Which is bigger: l or 15?
l
Let l be (3 - 3)/(-1 + 0). Suppose 3*r + 3*r + 12 = l. Is -6 <= r?
True
Let v be (-9596)/12752 + -5*(-12)/80. Which is bigger: 1 or v?
1
Let j(d) = 2*d - 7. Let s be j(6). Let q = -660 - -1993/3. Which is bigger: q or s?
s
Let l = -22 + 22.66. Let w = -0.34 - l. Are w and 0 unequal?
True
Let t = 199 + -195.9. Which is smaller: t or 13/3?
t
Let c = -31 - -30. Let o = -277/70 + 33/14. Which is smaller: o or c?
o
Let i = 506 - 506.2. Is i at least 292?
False
Let i = 40.24 - 1.84. Let h = -30 + i. Let v = h + -1.4. Which is greater: v or -2?
v
Let x(z) = -56*z + 34. Let m be x(12). Let c be (-133)/(-28) - 5 - m/2488. Which is greater: -1 or c?
c
Let i(t) be the first derivative of -9*t**2/2 + 12*t + 8. Let m be i(14). Let b be 24/m*(-2)/(-4). Is b > 0?
False
Suppose 5*r + 4*k = -1999, 12*r - 16*r - 1604 = 2*k. Are -403 and r nonequal?
False
Let k be (-7)/42 + 434/12. Let n be ((-10)/63)/(24/k). Which is smaller: n or 1?
n
Suppose -2*b - 102 + 94 = 0. Is b less than -55?
False
Let z = -0.0515 - -2.0515. Is z at least 3/62?
True
Suppose 18*g = -4*g - 2838. Which is bigger: -131 or g?
g
Let s = 2/67899 - 70071778/339495. Is -206 equal to s?
False
Let h = -114 - -51. Let n be (-12)/8*12/h. Let z = 9 + -9.7. Which is smaller: n or z?
z
Suppose -l + 7 = 2*j, l + 0*l - j = 1. Suppose l*f - 2*f - 7 = 0. Let k be (f - 10)/(-4 + 1). Is k greater than or equal to -2/9?
True
Let a = -11 + 4. Let i = 5.8 + a. Let m = -0.2 - i. Is -4 smaller than m?
True
Suppose -3*c = c + 80. Let w = c + 21. Which is smaller: w or 4.5?
w
Let p(t) = t**2 + 14*t - 1. Let z be p(-15). Suppose 4*h + 8 = -b + 2*b, 2*h + 4*b - z = 0. Is h equal to -1/11?
False
Let u be -1*(-119 + 4 + 1). Which is greater: 1/3 or u?
u
Let n = 0.88 - 0.18. Let c = 0.51 - 2.51. Is n > c?
True
Let s = -37 + 72. Let x = -38 + s. Which is greater: x or 1/2?
1/2
Let d = -3.13 + -0.07. Let b = d - -2.6. Which is smaller: b or -0.1?
b
Let b = -33075/22 - -1503. Which is smaller: 1 or b?
b
Let m be (-1 - 4)/(2 + -3). Let i(v) = 2*v + m - 4 - 1. Let l be i(5). Which is smaller: l or 9?
9
Let d = 330/113 + -142456/48703. Is d <= 1?
True
Let g(m) be the second derivative of -m**4/3 + m**3/2 + 3*m**2/2 - 2*m - 13. Let u be g(2). Let c be (18/(-2))/(9/6). Is c at most as big as u?
False
Let j(v) = -v**2 - 6*v + 7. Let n = -20 - -13. Let p be j(n). Let a(g) = -2*g. Let f be a(p). Which is bigger: 3/5 or f?
3/5
Suppose 2*r + 67 = 3*n, -150 = -9*r + 14*r - 4*n. Is -32 != r?
True
Let h = 143.57 + 0.43. Let n = 143.2 - h. Let y = -3.1 - -3. Is n < y?
True
Suppose -2*d = 2*r + 38, 32*d - 35*d - 12 = 0. Let u(p) = -13*p**2 + 2*p - 4*p**2 + 2*p**2 + 1. Let w be u(-1). Which is smaller: r or w?
w
Let f be 1 - (-6)/(-10) - (-21)/(-40). Is -2/7 less than f?
True
Suppose 5*v + 4*w - 19 = 2*w, 3 = -v + 3*w. Which is smaller: v or 9/5?
9/5
Let l(b) = b + 15. Let h be l(0). Let p be ((-3)/(h/(-10)))/(-2). Is p at least -18/13?
True
Suppose -515 = m + 4*m. Let u = 119 + m. Which is bigger: 15 or u?
u
Suppose -j = 3*s - 11, 2*s = -j + 4 + 4. Suppose -s*i + 2*i + 12 = 0. Let q be (3 - 34/i)*2. Which is greater: -0.2 or q?
q
Suppose 168 = 12*g - 11*g. Let w be (14/g)/(58/16). Are w and 1 unequal?
True
Suppose 28 = 5*u + 458. Which is greater: -2 or u?
-2
Suppose 2*w + 27 = m, w - 4*m + 2 = -1. Let f = -22 - w. Which is greater: -9 or f?
f
Let d be (12/30*5)/(321/9). Which is smaller: 