*n. Let r be (-2)/n + 423/(-81). Which is greater: -7 or r?
r
Let m be (1 - (-3)/(-6))*0. Let l = 2/216191 - 8648198/60317289. Let q = l + 1/31. Which is smaller: q or m?
q
Suppose -j = t, -2*t = -3*j - 0 - 5. Let f be 0/(-8) + 2/t. Which is smaller: 3 or f?
f
Suppose -18 = -3*i + i + 3*a, -4 = -4*i - 2*a. Let z be ((-8)/4)/(-14)*i. Are z and -1 equal?
False
Let f = 33/4 + -8. Let u(p) = p**3 - 3*p**2. Let o be u(3). Which is smaller: o or f?
o
Let r(c) = c + 10. Let b = -5 + -5. Let n be r(b). Which is smaller: n or -1?
-1
Let r = 35 + -35. Is r smaller than -3/55?
False
Let s = 2/84375 + -375022/928125. Let n = -2/11 - s. Which is smaller: n or 1?
n
Let r(p) = -p**2 + 7*p. Let o be r(7). Let i = -218278/35805 - -1436/217. Let f = i + -4/33. Which is bigger: f or o?
f
Suppose -3*f + 20 = 4*t - 4*f, 2*f + 16 = 4*t. Suppose -2*l = -4*l + t. Which is bigger: 2 or l?
l
Let h = -1030/693 - -16/11. Which is greater: h or -1?
h
Let p be 35/168 - (-1)/(-3). Suppose 4*n - 9*n = 2*v - 25, -5*v + 2*n - 10 = 0. Which is smaller: p or v?
p
Let c = -101 - -401/4. Let k be (-264)/121 + (-4)/(-22). Do c and k have the same value?
False
Suppose 13 = 2*l + x, -x + 2*x - 3 = 0. Suppose l*i - 280 = i. Let z = i - 351/5. Is 1 greater than z?
True
Let d(x) = -x**3 + 2*x**2 + x - 2. Let w be d(2). Suppose 3*s = -w*s - 3. Let f be (-14)/(-21)*3/11. Which is greater: f or s?
f
Let s be 40/48 + (-2)/4. Is -2/17 less than s?
True
Let b = 11 - 9. Let l be b/(0/2 - -3). Is 0 != l?
True
Let j be 1/4 - 3*(-1)/(-12). Is j smaller than -1/14?
False
Let h = 0 - 1. Suppose -1 = 5*n - 26. Let q = -5 + n. Is h at most q?
True
Let j(s) be the second derivative of -s**3/3 + 3*s**2/2 - s. Let w be j(2). Let o = w - -2. Is 1 less than o?
False
Let a be (6/15)/((-108)/20). Is 0 bigger than a?
True
Let s(r) = -r**3 + 14*r**2 + r - 9. Let d be s(14). Which is greater: d or 3?
d
Let c(i) be the third derivative of i**5/60 + i**4/6 - i**3/3 + 8*i**2. Let v be c(-4). Is -5/8 at least v?
True
Let r(i) = i**3 - 5*i**2 - 2*i + 8. Let b be r(5). Is b >= -9/4?
True
Let i be ((2484/(-8))/9)/6. Is -5 greater than or equal to i?
True
Let j = 0.6 - 5.6. Let w = 4 + j. Let k = -2 + 6. Do k and w have different values?
True
Let g be (-1)/(-4) - 326/600. Let d = g + -1/25. Let u be -1*1 - (3 - 5). Which is greater: d or u?
u
Let b be ((-6)/15)/(3/(-630)). Which is greater: b or 85?
85
Let j = -5 + 7. Let u = 8 - -1. Let z be u/15 - (-1 + j). Is 0 greater than or equal to z?
True
Suppose -2*p = 3*q + 9, 0*p + 3*q = -p - 12. Let x be (-45)/20 - 1/(-4). Let i = x + p. Does 2/3 = i?
False
Let m(x) = 2*x**3 - 5*x**2 - 3*x. Let y be m(4). Let c be (-2)/(-8) + (-57)/y. Let o = 5 + -7. Is c < o?
False
Let x = 119204002 - 4171727578/35. Let u = x + -11781. Let m = 30/7 - u. Which is smaller: m or 0?
m
Suppose -5*n + 27 = -2*n - 3*q, -5*q = 4*n. Suppose 2*z = n*z - 15. Let f be 2/(-2) - (-6 + 0). Do z and f have different values?
False
Let w = -1.41 + 1.6. Let o = -10.19 + w. Let d = o + 7. Is -2 at most as big as d?
False
Let n(q) = q**3 + q - 7. Let w be n(0). Let s(v) = v**2 + 8*v + 6. Let i be s(w). Let p = 10 - 12. Is p != i?
True
Let v = -15 + 19. Suppose -2*l + 0*g - 2*g - 2 = 0, l = v*g - 6. Let p be 3/18*(-4 - 0). Is p < l?
False
Let k = -12 + 18. Let z be -3 + k - (1 - -1). Is -2/7 greater than or equal to z?
False
Let x = -115/336 + -15/112. Let w = -1/7 - x. Which is smaller: w or -1?
-1
Let n(k) = k**3 + 2*k**2 + k - 1. Let m be n(-3). Let z(s) = -s**2 - 12*s + 13. Let t be z(m). Suppose -6*i + 4*i = t. Which is smaller: -2/17 or i?
-2/17
Let g = 0.4 - 0.6. Are 2 and g equal?
False
Let x = -2 - -2. Do 2 and x have the same value?
False
Suppose -5*d = q + 36, 0 = -q - 4*q - 4*d - 117. Is -22 < q?
True
Let x(y) = y**3 - 2*y + 1. Let p be x(1). Let w be (-10)/25 + (-54)/(-10). Let d = 6 - w. Which is smaller: d or p?
p
Let v(h) = -h + 7. Let t be v(7). Suppose -f - 2 = -t. Let p = 40 - 83/2. Is f at least as big as p?
False
Let l be (70/15)/7 - (-2)/(-3). Let d(i) = 1 + 4 + 0 + i. Let y be d(-4). Which is bigger: y or l?
y
Let o be (1 - (-7)/(-4))/((-2)/24). Is o > 0?
True
Let t be (2 + -1)*8629/(-14). Let k = 616 + t. Let z = k - -73/126. Is z >= 1?
False
Let h be 2 + -5 + 5 + -2. Suppose -5*p + u - 25 = h, -3*p + 4*p + 31 = -5*u. Let a be (-40)/p + 5/15. Which is smaller: a or 6?
6
Suppose -6*w - 11 + 11 = 0. Which is greater: 1/160 or w?
1/160
Let j be 1/((-4)/6)*-2. Let u = -3 + j. Suppose u = -6*b + b. Is b greater than or equal to 0?
True
Suppose -8 = 2*t, 0 = -2*l + 5*t - t + 24. Are 2 and l equal?
False
Let s(o) = o - 5. Let v be s(5). Let u(h) = -h - 3. Let g be u(v). Let f = -5/2 - g. Which is smaller: -0.1 or f?
-0.1
Let v(n) = n**2 + 5*n + 4. Let q be v(-5). Suppose 23 = q*y - 1. Which is greater: 7 or y?
7
Let n be (9/(-27))/(4/(-30)). Is -1/4 greater than n?
False
Let p be (1 - 8/(-4)) + -5. Is p greater than -4?
True
Let g = 56849/9170 + 1/1834. Which is bigger: 5 or g?
g
Let h = -43 + 40.7. Let c = h + 0.3. Let f = c - -1. Which is greater: f or -0.1?
-0.1
Let j = 0.3 + -0.3. Let n = -0.2 - j. Suppose -3*b + 9 - 3 = 0. Are n and b equal?
False
Let i = 9 + -7. Is i >= -7?
True
Let z(r) = -r**2 + r - 1. Let p be z(0). Suppose f + 1 = 3*w, 0*f - 2 = 2*f - 2*w. Is f smaller than p?
False
Let q = 0.104 + -1.104. Which is greater: 2/35 or q?
2/35
Suppose 0 = -2*z + 3 + 3. Let q be (2 - (-5)/(-2))*z. Let y be (-2)/(-2 - (-16)/6). Is y bigger than q?
False
Let c = 775 + -2291/3. Suppose 4*w - 22 = 6*w. Let z = c + w. Is z <= -1?
False
Let f(v) = 3*v + 10. Let l be f(-9). Which is greater: -18 or l?
l
Let u = 5 + -6. Let x be (u/(-5))/((-2)/5). Is -2 less than or equal to x?
True
Let r(i) = -3*i + 9. Let v be r(11). Which is smaller: -25 or v?
-25
Let y = 28 - 29. Suppose 5*w - 20 = -0*w. Which is smaller: w or y?
y
Let p = -19.1 + 19. Is p at least 1.5?
False
Let i = 53.062 + -53. Let a = i - 1.142. Let c = a + 0.08. Is -3 < c?
True
Let j be (16/(-20))/(-1) + -3. Which is greater: j or -3?
j
Let c = -6 + 9. Suppose -4*q + 5*x + c = 18, 4*x - 12 = -3*q. Which is bigger: -1/5 or q?
q
Suppose 2*j + 2 = j. Let a be ((-10)/7 - j)*1. Is a at most as big as 2?
True
Let t = -19 + 11. Does -7 = t?
False
Let n be (-3)/9 + (4 - 168/9). Is 0.3 not equal to n?
True
Let q(c) = -c**2 + 0 - 1 + 7*c - 4. Let n be q(7). Let w = 4 + n. Which is smaller: w or -2/5?
w
Let f = -0.22 - -0.03. Which is greater: f or -1/4?
f
Let l = 964/3 - 531161/1653. Let f = l + -3313/3857. Are f and -2 unequal?
True
Let t(n) be the second derivative of -1/2*n**2 + n - 1/6*n**3 + 0. Let i be t(-2). Is 1 not equal to i?
False
Let b(c) = -c + 4. Let j be b(4). Let x be (-4)/(-8) - (-2)/(-8). Which is greater: x or j?
x
Let l(r) = r**2 + 2*r - 2. Suppose 5*o + 5*c = 3*o - 26, -2*o = -4*c - 10. Let u be l(o). Let b(y) = y**3 - 7*y**2 + 5*y + 8. Let h be b(6). Are h and u equal?
False
Let k be 52*(6/(-8) + 0). Let i = k - -194/5. Is i smaller than 1?
True
Let d be ((-16)/(-12))/(1/2). Let j(q) = -q**3 + 3*q**2 - 2*q + 3. Let t be j(3). Let p = d + t. Does 1 = p?
False
Let t = -6 + 9. Are -1/5 and t nonequal?
True
Let f(y) = 6*y - 1. Let r be f(1). Suppose -r*d = -d - 80. Suppose 4*c + c + d = 0. Is -4 greater than or equal to c?
True
Let a be 6234/2088 + 1 + 0. Let v = -47/12 + a. Which is bigger: v or 1?
1
Suppose -x + 15 = -6*x - 5*w, 0 = -x + 5*w + 21. Let k = 0 - x. Let i = 52/21 - 15/7. Which is greater: i or k?
i
Let z be (26/(-18))/((-1)/(-6)). Which is bigger: -9 or z?
z
Let q(b) = 5*b - 1. Let m be q(2). Let c(p) = p - 14. Let o be c(m). Let s be -2*(o/6)/(-5). Which is bigger: -1 or s?
s
Let z(v) = v - 5. Let u be z(4). Let j(y) = -2 - 3*y - 1 + 4*y. Let o be j(6). Which is bigger: o or u?
o
Let h(m) = m + 7. Suppose 4*v = -2*b - 42, 4*b - v = 2*v - 62. Let u = b + 9. Let x be h(u). Is 2/7 < x?
False
Suppose -6*c - 3 = 57. Which is smaller: -1 or c?
c
Suppose -2*q = -3*q - 5. Let x(t) = -t**3 + 7*t**2 + 8*t - 2. Let z be x(8). Let u be (4 + q)/(1/z). Is u != 5/4?
True
Let g be (-2 - 244/(-123))*(7 - 16). Which is bigger: g or -1?
g
Let p = -228/5 - -46. Is -1/2 equal to p?
False
Let i = -10 + 19/2. Is i less than -0.1?
True
Let c(p) = -4*p - 7. Let y be (-30)/(-50)*5/(-1). Let f be c(y). Which is smaller: f or 6?
f
Let t