/1159. Is t < 2?
True
Let j(b) = -6*b**2 - 22*b - 5. Let f be j(-4). Which is smaller: f or -15?
-15
Let r = 398.587 + -19.667. Let t = -363 + r. Let v = t + -16. Is v bigger than 2?
False
Let d = 16.9 - 17. Let w = -11 + 15. Let t = 3.5 - w. Which is bigger: t or d?
d
Let s be ((-24)/(-14))/(6/(-4)). Let g = -634 + 634. Are g and s equal?
False
Let r = -61/783 - -1/261. Let b = -9 + 12. Suppose o - b*a = -3, -8*a + 3*a + 5 = 2*o. Is o != r?
True
Let w(q) = q**3 + 8*q**2 - 9*q - 3. Let h be w(-9). Let y be (-7)/(63/(-66)) + 1/h. Which is smaller: y or 8?
y
Let s = -67 + 61. Let w be 7 + s + -2*3/(-2). Is 27/7 at least w?
False
Let i = 1.5 + -0.5. Let f = 53.1 + -9.1. Let r = f + -35. Which is greater: r or i?
r
Let n = -11/16 - -115/144. Is n less than or equal to 27?
True
Let d = 391/10 - 39. Suppose 3*j + 12 = -4*h, -2*j - 5*h - 15 = 2*j. Which is greater: d or j?
d
Let q be (-18)/(-15)*60/8. Suppose -10*b + 7*b = -q. Suppose 2*l + b + 3 = -2*z, -15 = -3*l. Is z <= -8?
True
Let b(d) = -51*d + 219. Let r be b(4). Is 48 greater than or equal to r?
True
Suppose 30 = -2*v + 8. Suppose 20*t - 15*t - 25 = 0. Suppose 4*k + 50 = t*p, 5*k + 42 = -0*p - 4*p. Is k bigger than v?
True
Let r = 373691/6052 + 5/1513. Which is bigger: 63 or r?
63
Let i = -2.04 - -2.04. Is i at least 63?
False
Let u(f) be the second derivative of f**3/6 + 2*f**2 - f. Let c be u(-2). Is 16 >= c?
True
Let w = 61 - 54. Suppose -w*b - 450 = -17*b. Which is bigger: b or 46?
46
Let t = -1331 + 1379. Which is smaller: 7 or t?
7
Let u(r) = -780*r + 23. Let z be u(1). Let d = -3951706 + 102724677/26. Let l = d - z. Which is smaller: l or 0?
0
Suppose 33 = 4*m + i, 4*m + m - 2*i = 38. Let s = m + -5. Suppose -s*k - k = 0. Is k > -1?
True
Suppose 2*a - 12 = 2*c, 5*c = -a - 14 + 38. Which is smaller: a or -8?
-8
Suppose -7*p = -2*p + 2*p. Suppose -5*f = -3*f - i - 10, 2*i = 5*f - 23. Suppose 4*u - 28 = f*a - 2, -29 = 2*a - 5*u. Which is smaller: p or a?
a
Let o = -718 - -717. Which is smaller: o or -0.7?
o
Let i = -8.86 - -8.6. Which is smaller: i or 2/7?
i
Suppose -4*o = -4, k + 2*o - 6*o - 30 = 0. Does 34 = k?
True
Suppose -2*v + 110 = -3*r, -r - 3*v = -7*v + 30. Which is smaller: -37 or r?
r
Let t = -19 - -5. Let l = 77 - 25. Let x = l - 67. Is x smaller than t?
True
Let s = -1244 + 1244.0809. Which is bigger: s or -2/3?
s
Suppose -44 = -31*o + 80. Which is smaller: 0 or o?
0
Let n(k) = 148*k**2 + 4*k - 4. Let x be n(1). Which is greater: 150 or x?
150
Let a = -249 + 1744/7. Is 0 bigger than a?
False
Let y = -0.14 + 0.07. Let r be (16/4)/(4/(-10) + 0). Let w = r - -12. Which is bigger: w or y?
w
Let j be -1 + (-1 - 15/(-3)). Suppose 4*n - c - 4 = 0, 3*n = -j*c - 13 + 1. Let v(i) = -i**3 + 3. Let h be v(n). Which is smaller: 4 or h?
h
Let z be (13 + -1)*(-3)/6. Let g = 6 - z. Let p be (g/(-555))/(4/10). Which is greater: 1 or p?
1
Suppose -7*p + 6*p = -8*p. Are p and -8/13 equal?
False
Suppose -4*q + 2*k + 1 = 5, 0 = 5*k - 20. Suppose -2*b = -6, -2*v + 3 + 1 = -2*b. Suppose -10 = -5*g - 3*i, -2*g - 4*i - 6 = -v*g. Is q at least as big as g?
False
Let q = -62409347066/102984105 + -13/980801. Let z = 606 + q. Is 1 equal to z?
False
Let q(a) = -22*a**2 - 3*a + 21. Let z be q(-5). Is z smaller than -515?
False
Let w = -145 - -30. Let q = w + -41. Let y = q + 2654/17. Is 1 at least y?
True
Let y be 55/20 - (-6)/(-8). Let p be (-72)/39 - y/13. Is p at most as big as -2?
True
Let u be (-24)/32 + 302/8. Let a be 16/24 - -103*(-4)/(-12). Which is smaller: a or u?
a
Let q(t) = t**2 + 15*t + 27. Let j be q(-9). Let o be 6/j*3 - 40/(-42). Are o and -0.08 equal?
False
Suppose 3*k - 4 = -2*i + 3*i, 0 = 2*k + 3*i + 1. Are -8/31 and k non-equal?
True
Let g be -3 + (1 - 0)*1481. Let l be g/2430 + (-15)/25. Let j = l + 460/3159. Which is bigger: -1 or j?
j
Let q = -0.04 - 3.96. Let n = 77.4 - 77. Are q and n nonequal?
True
Let z(p) = p**3 + 19*p**2 + 27*p - 4. Let x be z(-8). Does x = 484?
True
Suppose -4*g + 76 = -3*g. Suppose -g - 164 = -4*d. Let v be 2/d + (-8)/(-48). Does 2 = v?
False
Let t = -15 + 3. Let v(g) = g**2 - 12*g + 15. Let u be v(11). Suppose -3*h - u*z + 7 = 0, 2*h + 2*z + 3*z = 7. Is t < h?
True
Let r(v) = -5*v + v**2 + v + 11 - 3*v. Let i be r(4). Let n = 1433/9 + -159. Which is smaller: i or n?
i
Let f = 13/21 - 2/7. Let s be ((-4)/(-6))/(1/3). Let v be 4/8*2 - s. Which is greater: f or v?
f
Suppose 3*w - w = 0. Let p be (w - (-8 - -1))*2. Let s(q) = 9*q - 5. Let o be s(2). Which is smaller: p or o?
o
Let o be -10 - 20*3/(-6). Which is smaller: o or 1/1025?
o
Let q be -3*25/15*-23. Let k = q + -90. Is 26 < k?
False
Suppose 5*o - 23 + 13 = 0. Let s be (-1)/((-3)/(-72)*-2). Which is smaller: s or o?
o
Let f = 815 - 815. Is f equal to -1/3609?
False
Suppose 6 = 11*z - 10*z. Suppose 0 = -d - 1 + 5. Suppose -2*y - d*m + 16 = 0, z*y - 5*m + 33 = 2*y. Is -2 >= y?
True
Let x = -28 - -31. Let k = 21/8 + -1/8. Does x = k?
False
Let b(r) = 29*r**2 - 5*r + 14. Let i be b(8). Let g be i/(-45) - (-2)/(-6). Let j be 2/6 - g/(-69). Is -1 at most j?
True
Let n = 0.026 + -24.026. Let r = 23 + n. Suppose -3*y + 6 = -0*y. Which is smaller: y or r?
r
Let h = -1499 - -1489. Which is smaller: h or 72?
h
Let u = 0.76 + -0.7. Let t = 18.45 - 0.05. Let z = 21.4 - t. Are u and z unequal?
True
Let i(z) = -3*z + 7. Let c be i(4). Let h be (1 + c/7)/(10/155). Do h and 5 have the same value?
False
Let i be 4619/212*364/7. Let a = -1133 + i. Which is greater: 0 or a?
0
Let g be (0/2)/(4 - -1). Suppose 78*v - 73*v = g. Is -2/29 not equal to v?
True
Let x be (-30)/(-50) - 44/(-10). Suppose 4*i - 2*c + 20 = 0, -3*c = x*i - 6 + 9. Is -5 greater than i?
False
Let u = -33019/8 - -4133. Is 6 less than u?
False
Let o(p) = p + 96. Let g be o(18). Are g and 113 unequal?
True
Let f = -168 - -167.1. Which is smaller: -2/7 or f?
f
Let j be ((-45)/34)/3*390/(-150). Which is smaller: 0 or j?
0
Let k(y) = -y**3 + y**2 - 10*y + 9. Let q be k(1). Which is smaller: q or 1/61?
q
Suppose v + 2 - 46 = 0. Let i = v + -44. Which is greater: i or -6/17?
i
Let r(k) = 4*k**2 + 71*k - 20. Let j be r(-18). Is j <= -137?
False
Suppose -a + 7 = 2*c, 8 = 4*c - 2*c + 2*a. Let q be 27 - 4 - (-30)/(-5 + 0). Is q greater than c?
True
Let t(m) = 5*m**3 + m**2 - 3*m + 1. Let l be t(2). Let s = l - 5. Let c be 24*3/s + -2. Is c less than 1?
True
Let s = 576/17 + -34. Let x = 3 + -3. Which is bigger: s or x?
x
Let i = -9 + 14. Let g be (-1 - 0 - 0)/((-14)/56). Do i and g have the same value?
False
Let g = -41.6 - -38. Let b = g - 1.4. Which is greater: b or -3?
-3
Suppose x = 6 - 0. Suppose 11*n = x*n - 55. Suppose -w - 2*w - h - 33 = 0, 4*w + 3*h + 44 = 0. Is w at least n?
True
Suppose 6*p = 5*p + 6. Let x = -3 - p. Let w = -9 - x. Which is smaller: 7 or w?
w
Suppose -3*t - 96 = -7*t. Suppose 3*l - 66 = -5*z, 3*z + 47 = 2*l + 3. Which is greater: t or l?
t
Let a = 9.5 - 9.487. Let f = a + 0.987. Is 6 < f?
False
Let o(c) = -3*c - 27. Let h be o(-17). Suppose 4*m = -4 + h. Which is bigger: 1 or m?
m
Let r be ((-14)/(-4) - 4)*2. Let a be 16/24 + r/3. Is a at most 0.7?
True
Let x = -1.74 - -2.5. Let u = 0.14 + x. Let h = u - 21.9. Which is smaller: 1 or h?
h
Let q(o) be the first derivative of o**2/2 - 3*o + 8. Let i be q(7). Suppose 0*m + 2*m = 6. Which is smaller: i or m?
m
Let u = 1.85 + -1.5. Let p = u - 1.35. Which is smaller: p or -0.04?
p
Let q = 1 - 1. Let g = 5721 - 755171/132. Which is greater: q or g?
g
Suppose 8*l - 4*l - 16 = 0. Let a be (-1)/(l/(-12)*1). Suppose 1 + 4 = 5*d. Which is bigger: d or a?
a
Let j(z) = z**3 - 6. Let l(s) = -s + 6. Let c be l(2). Let a = -4 + c. Let t be j(a). Which is bigger: t or 0?
0
Let w = -1.53 - -89.53. Let z = w + -87.9. Let y = -1.96 - -2. Which is greater: y or z?
z
Suppose x - 3*b = 10, 0 = 3*x - 6*x + 2*b + 44. Suppose -11*m + 3*m + x = 0. Let c(y) = y**3 - 4*y**2 + 3*y + 2. Let a be c(3). Is m smaller than a?
False
Let l be 0/(2 - (-1 - -1)). Let c be (-40)/32*(-68)/(-30). Let k = c - -67/30. Is l < k?
False
Let i(q) = -q**2 + 21*q - 5. Let w be i(21). Let d = 2 + -8. Is w smaller than d?
False
Suppose 3*o + 12 = 0, 7*o - 9*o = -2*a + 8. Which is bigger: a or -6/253?
a
Let o = -595 + 594.91. Is -30 bigger than o?
False
Let l = -0.065 - 0.935. Which is smaller: 2.3 or l?
l
Let c(i) be the first deriva