. Let p = r + -13/12. Which is bigger: 1 or p?
1
Let b = -4 + 17. Let k = b + -9. Suppose 12 = -8*d + k*d. Which is smaller: -0.1 or d?
d
Suppose 3*v = -4*m - 11 + 3, 0 = 4*v - m - 2. Let g be -1 - (1 + (-48)/25). Which is smaller: v or g?
g
Let r = 3 + 0. Let q = 2 - r. Suppose 5*h - 2 - 3 = 0. Is q >= h?
False
Let s = -5 + 8. Let j = 4 - s. Let p be (25/(-6) + 4)*-3. Is j at least p?
True
Let f = 5/158 - -151/5214. Is f greater than or equal to 1?
False
Let n(r) = 2*r. Let f be n(5). Suppose 4*b + f + 14 = 0. Is b not equal to -7?
True
Let n be ((-40)/(-100))/((-8)/10). Is 7 not equal to n?
True
Let w = 1/14 + 10/7. Let m = 0 + 0.1. Which is greater: w or m?
w
Let f = -108 + 427/4. Is f at least as big as 0?
False
Let w be (-3)/2*(2 + 2). Let y(v) be the third derivative of v**6/120 + 7*v**5/60 + v**4/4 + v**3/6 + 3*v**2. Let q be y(w). Which is smaller: -2/19 or q?
-2/19
Let s(q) = -q**3 + q**2 + q + 4. Let h be s(0). Suppose -4*f = -4*t + 8, 3*t + 8 = 7*t + 4*f. Suppose -v = -t*v - h. Which is smaller: -1 or v?
v
Let s(q) = q**2 - 20*q - 12. Let n be s(12). Let v be (-1)/(n/3 - 4). Which is smaller: v or -1?
-1
Let t be (1 - 2) + (-9)/(-3). Let r be t/5*9/(-6). Is -1 bigger than r?
False
Let j = 3 - 0. Suppose 6 - 1 = w + 3*q, -j = -5*w - 4*q. Let s = w - 1. Is -3 at least s?
False
Let z = -15/16 + 13/48. Is 1 at least z?
True
Let x be (-3)/(9/(-120)) - 1. Suppose -a + 16 = a - 2*s, -4*a - 3*s = -x. Let q = a + -6. Which is bigger: q or 2?
q
Let g = -221/14616 - -1/812. Which is greater: 1 or g?
1
Let h = -0.1 + 0.11. Let n = -0.16 + 0.26. Which is smaller: n or h?
h
Let d be (-6 - 81)*(-4)/6. Let c = d - 291/5. Which is smaller: 1 or c?
c
Let r = 1.1 + 6.9. Is r bigger than 0?
True
Let n(l) = -l**2 + 15*l + 15. Let t be n(16). Which is greater: -2 or t?
t
Let p(q) = 9*q + 46. Let c be p(-6). Let m be -1*-7*1/(-1). Which is smaller: c or m?
c
Let l be (17 - -2)/(1 + 0). Let j be l/(-20) - 2/(-10). Let p = 1 + -1. Which is greater: p or j?
p
Suppose -6 + 18 = -2*u. Let s be (-3)/(-9) - u/9. Which is smaller: s or 2?
s
Suppose -4*r + 7 + 5 = 0. Suppose 5*s - 2*u - r*u = -45, -s = -4*u - 6. Is s >= -15?
True
Suppose -5*p + 5 = -4*p. Let l = p - 6. Which is bigger: l or -12/7?
l
Suppose -5*r = -0*r + 4*i - 63, -4*r + 4*i + 72 = 0. Are r and 15 equal?
True
Suppose 3*a - 2*a - 3 = 0. Let l = 4 - a. Is l < -3/5?
False
Let h(w) = -w**3 - 6*w**2 + 5*w - 4. Let f be h(-7). Let a(x) = -x + 7. Let n be a(f). Suppose 3*z = -2*b - 2*z + 11, -9 = -3*b - 5*z. Which is smaller: b or n?
n
Let v = -0.105 + -0.395. Which is smaller: v or 2/3?
v
Let l = -1411/15 + 94. Are l and 0 equal?
False
Let v = -25 - -21. Which is bigger: v or -10?
v
Let a = -5 - -9. Suppose -59 = 5*l - 2*c, -a*l - 3*c + 7*c = 52. Is -11 != l?
False
Let l be 2/((-14)/(-9)) + -1. Let x = -1381/4011 + -7/191. Let p = x - l. Does p = -0.1?
False
Suppose 444 = 5*f - 2*i, 0*f = -f - i + 86. Let m be 6/9 + f/(-114). Is m <= 1?
True
Suppose -3*i + 8*i - 25 = 0. Suppose 4*x - 8 = -2*s - s, -i*x = -10. Which is smaller: 4/9 or s?
s
Let h = -62 - -63. Which is bigger: h or -2/9?
h
Let f(a) = a**2 - 2 + 4 + 3*a - 3. Let h be f(-3). Let w be 1 - -4*(-5)/10. Is w less than or equal to h?
True
Let v be 2*(-3)/(-12)*-2. Let m(w) = -w**3 - 5*w**2 + 3*w. Let o be m(-5). Let u be (-2)/(-6) - (-7)/o. Which is smaller: u or v?
v
Let q(p) = p**3 + 5*p**2 - 6*p + 3. Let v be q(-6). Suppose 7*o + v = 4*o. Which is greater: o or -3?
o
Let s = 28276/15 - 1884. Is s at most 0?
False
Let n(s) = s**2 + 2*s + 1. Let c(b) = b**3 - 5*b**2 - 2*b + 5. Let z be c(5). Let f be n(z). Let g be 1*-2*f/36. Which is bigger: g or -2?
g
Let m be (-1)/(-2 - 49027/(-24513)). Let j = m - -1715939/70. Let k = j - 3/14. Which is smaller: k or 2/7?
k
Let s = 65 - 327/5. Let d(z) be the third derivative of z**6/120 - z**5/20 - z**4/6 - z**3/3 - 2*z**2. Let g be d(4). Are s and g unequal?
True
Let n = -1 - -2. Let z(r) = r**3 + 12*r**2 + 10*r - 11. Let q be z(-11). Let w = n - q. Which is bigger: 3/4 or w?
w
Suppose -3*y + 172 = 52. Let d = 202/5 - y. Which is smaller: 0 or d?
0
Let b be ((-32)/20)/((-6)/(-15)). Which is greater: 1 or b?
1
Suppose 2*d = 5*d - 15. Suppose 2*r = 5*a + 26, 7 = d*r + a + a. Suppose -w + 0 - r = 0. Which is greater: -4 or w?
w
Let i = -10 - -3. Are i and -4 nonequal?
True
Let i be 27/(-15) + 5/(-25). Do i and -8/9 have different values?
True
Let v(j) = 3*j**2 - 2*j + 7 - j**2 - 6. Let z be v(1). Is z >= 2/3?
True
Let w = 3083/13 - 237. Which is greater: w or -1?
w
Suppose 0 = -3*f + 2 + 16. Let r(l) = 2*l - 8. Let i be r(f). Suppose -i*p - 3 = -5*o - 4, -5*o + 3*p + 3 = 0. Is o at most 0?
False
Suppose -2*l = -0*l + 8. Let w be l/12 - 2/3. Is w greater than or equal to 2/9?
False
Let y = -2 + 1. Let b(d) = -175*d + 1. Let v be b(y). Let i = v - 884/5. Are -2 and i equal?
False
Let r = -4.4 + 4. Let y = 2 - 1.6. Let n = y + r. Is -3 equal to n?
False
Let r(v) = -v**2 + 6*v + 7. Let o = 3 - -3. Let n be r(o). Let x be (1/(-2))/(n/(-14)). Is x less than or equal to 0?
False
Let d = 2 + -4. Which is bigger: d or -11?
d
Let c(w) be the third derivative of w**5/60 + 3*w**4/8 + 4*w**3/3 + 3*w**2. Let d be c(-8). Is d greater than 5/6?
False
Let a = -3265/23461 + 1/809. Which is greater: a or 1?
1
Suppose c - g - 13 = 2*g, 4*c - g - 8 = 0. Let k be (1/(-3))/(c - 2). Let w = 3 + -3.1. Is w equal to k?
False
Suppose 4*v - 21 = 3*c + 15, 16 = 4*c. Is 12 bigger than v?
False
Let y(d) = d**3 + 4*d**2 - 2*d + 1. Let v be y(-4). Let l be v*32/132 + -2. Is -3 greater than or equal to l?
False
Let o = -1171721/736538 - 2/33479. Let h be -3 + 1 - 46/(-22). Let r = h + o. Is -2 <= r?
True
Let h be 6/(-14) + 148/(-14). Are h and -9 equal?
False
Let o be 0/(6 + -3 + -1). Are 6/7 and o unequal?
True
Let s be (2/(-176))/(1/2). Is -1 > s?
False
Suppose 0 = 4*j - 5*m - 0 + 11, -3*j = 4*m - 15. Is j > -12/5?
True
Let g = 1 - 0.6. Which is greater: g or -3/8?
g
Suppose 2*f - f + 4 = 0. Let u be 8/(-18)*6/f. Let w(q) = q - 3. Let c be w(3). Which is smaller: u or c?
c
Let l be (-3)/2*(-8)/30. Let w = 177.94 - 178. Is l smaller than w?
False
Let u = 2.124 - 0.024. Let o = u - 2. Let i = -4 - -5. Is o >= i?
False
Let j = 50 + -44. Are 72/11 and j nonequal?
True
Let k = -26.1 + 26. Let n be 0 + 0 + 2 + -2. Which is greater: k or n?
n
Let r = -14 - -5. Let o = r - -11. Is 4 bigger than o?
True
Let f(t) = t**2 + 6*t + 6. Let j be f(-6). Let z be 1/(-2) - 3/j. Let y = -7 + 4. Which is smaller: z or y?
y
Let r = 15 - -29. Let q = r + -47.6. Let b = q - -4. Which is bigger: -0.1 or b?
b
Suppose -n - 65 = -9. Is -57 at most n?
True
Let s be (-5 + -1)*(2 - 8). Let i be -2 + 2 + 16/s. Let o be 4/14 + (-5)/(-7). Is o bigger than i?
True
Let r = -700/143 + 66/13. Let p be -1 + 3 + -2 + 2. Suppose a + p*a = 0. Is r at least as big as a?
True
Let b = -0.1 - 0. Let g = -0.7 - -0.7. Let o = b + g. Are o and 0.1 nonequal?
True
Let h = -3 + 3.3. Let y = -52 - -30. Let d = -21 - y. Is h >= d?
False
Suppose 0 = 2*r + 1 - 3. Is r smaller than -3?
False
Let y = 2 - 0. Suppose -2*k + 16 = 2*m, -y*k = -5*m + 2*k + 4. Let s = m + -6. Do s and -3 have the same value?
False
Let h = -20 - -17. Let y be (0 - 3) + 8 + h. Which is smaller: 8 or y?
y
Let u = -0.18 - -1.18. Which is bigger: 0.4 or u?
u
Let c = -0.35 - 13.65. Let t = -14.7 - c. Let s = t - 0.3. Is s not equal to 1?
True
Let j = -104.1 + 100. Let n = j + 4. Which is greater: n or 0.2?
0.2
Let q(n) = 3*n - 2. Let v be q(-1). Is v smaller than -2?
True
Suppose -2*s + 4*s + 5*l = -42, 4*s = -3*l - 84. Let x = s + 15. Let t = x + 11/2. Which is smaller: t or -1?
-1
Suppose a + 1 = -1. Do a and -2 have the same value?
True
Let s = -22/15 - -5/3. Suppose 5*c + 10 = 5*t, 5*c - t = -0 + 6. Let l = -2 + c. Is s greater than l?
True
Suppose 56*h - 180 = 20*h. Let n be (-1 + 0)*(1 + -7). Let k be (n/(-8))/(18/(-16)). Is k greater than or equal to h?
False
Let n(q) be the third derivative of q**6/120 + q**5/20 - q**4/6 + q**3/6 + 2*q**2. Let v be n(-4). Let m = -21/130 - 1/26. Which is smaller: m or v?
m
Let h be -1 + 3 - (-40)/(-18). Let u = -3 + 9. Let s = -6 + u. Is s > h?
True
Let u = 6 - 7. Let a = 3 - 5. Let r = 1 + a. Is r equal to u?
True
Let m be (-66)/432 - (-4)/(-18). Is 1 less than m?
False
Let o = 