, 2*r = -3*q - 13. Let n be (-9)/20 + q/(-12). Let t(y) = -y**2 + 5*y - 1. Let h be t(5). Is n smaller than h?
False
Suppose 0 = 5*m + 36 - 1. Which is smaller: 0 or m?
m
Let u = 0.015 + -0.015. Are u and -0.21 equal?
False
Let t be (6/4)/3*6. Suppose r - 7 - 3 = -4*l, -l - t*r + 8 = 0. Which is smaller: -1 or l?
-1
Let w = 0.5 - 2.5. Let o = w - -5. Let g = -4 + o. Which is bigger: g or -6?
g
Let m = -14 - -23. Let w = 9 - m. Let o be 2/(-52)*-2 + w. Is 0 >= o?
False
Let q = -2057/76 - -107/4. Which is smaller: 1 or q?
q
Let g(v) = -v**2 + 2*v + 2. Let r be g(3). Let a(n) = -2*n - 1. Let o be a(r). Let m be 1 - (o + 2/12). Is 0 != m?
True
Let a be (-35)/7*22/5. Let m = -20 - a. Which is greater: m or 1?
m
Let c be (1/((-2)/(-2)))/(-1). Suppose 0 = 2*y - 4, 2*y - 3*y = 3*a - 56. Let u be (-42)/a + 2*1. Which is bigger: c or u?
u
Let t = 30 + -13. Let o be (3 + t/(-6))*6. Which is bigger: -2/11 or o?
o
Let y be (-1)/22*(3843 - -3). Let i = 175 + y. Is i equal to -1?
False
Let x be -4 - ((-14)/7 + (-16)/(-7)). Is 1 at least x?
True
Let r be -2 - -2 - (-4)/(-18). Let t = 17/45 - r. Does -1 = t?
False
Suppose -3*f + c + 10 = -c, 0 = -2*f - 5*c + 13. Suppose -1 + 5 = -4*h, -3*p + f*h = -7. Are 5/4 and p equal?
False
Let u = -790 - -26072/33. Which is bigger: -1 or u?
u
Let u(m) = 1 + 2 - m + 0*m. Let a be u(4). Which is smaller: a or 0.2?
a
Let h be (-10)/35 + 47/(-7). Let r = 8 + h. Which is bigger: 3/8 or r?
r
Let b = 0.2 + 0.3. Let z = b + 1.5. Let o = 1 + -1.2. Which is greater: z or o?
z
Let q = 219 + -1969/9. Which is bigger: q or 0?
q
Suppose -28 = 2*a + 4*y, -4*y = a - 7*y - 6. Which is smaller: a or -3?
a
Suppose 4*y + 12 = 4. Which is smaller: y or -3/2?
y
Let b(x) = x**3 - 8*x**2 - 9*x. Let j be b(9). Do -1/141 and j have the same value?
False
Let f = 10 - 13. Which is greater: -4 or f?
f
Let h = -0.052 + 2.052. Is 2 < h?
False
Let d(g) = -g. Let s be d(-4). Suppose m - s*m = 3. Which is greater: m or -4?
m
Let h(f) = f**2 - 12*f - 11. Let l be h(13). Suppose 0*u - l = -u - 2*k, -5*k = -u + 9. Is 2 < u?
True
Suppose -31 = f - 5*c, 2*f = -6*c + c - 32. Let n be -122*(f/(-180))/7. Let q = -8/15 - n. Is q at most 1?
False
Let z = 58 + -57. Is z less than 0.3?
False
Let x be ((-80)/(-5))/(2/(-8)). Is x less than -64?
False
Let l be ((-9)/(-6))/(2/(-12)). Let x be 2/l - 152/(-900). Let c = -64/75 - x. Is c equal to 0?
False
Let v = 6 + -4. Let k = v - 2. Suppose k*j = -2*j. Which is smaller: j or -1?
-1
Let c = 0.32 - 4.32. Which is smaller: c or -1/2?
c
Suppose p + y - 1 = 2, 0 = -2*p - 4*y + 14. Let o = 0.4 - 0.5. Is p greater than o?
False
Let r = 69/832 - 9/64. Let d = 113/156 + r. Is d <= 1?
True
Suppose -5*m - 5*k - 35 + 85 = 0, 2*k = -m + 12. Let s be (m - 2)*2/6. Suppose y + s*n + 10 = 0, -10 = -4*y + y + 2*n. Is -1 <= y?
True
Let l be (-23 - -16) + 3/2. Suppose -2*p + 4 = 3*d + 25, 12 = -4*d. Is p >= l?
False
Let t = -3532/5 - -703. Which is smaller: -3 or t?
t
Let t = 416/5 - 81. Let d be 6/(-8) + 22/8. Is t <= d?
False
Let p = -978547/555555 - -804/2035. Let d = -19/13 - p. Is d at least 1/4?
False
Let v = -2 - -6. Let m(d) = -6*d**2 - 6 - 3*d**3 + 2*d - 3 + v*d**3. Let z be m(6). Is 3 not equal to z?
False
Let j = -122/51 + 18/17. Is j smaller than -1?
True
Let b = 57.8 + -65. Let y = -0.8 + b. Which is greater: y or 0.1?
0.1
Suppose -3*k - 13 = -b + k, 3*b + 3 = -2*k. Let m be b*3/(27*1). Let y be 3/(-6)*(-2 + 0). Are m and y equal?
False
Let v = -1 + -14. Let n = v - -14.93. Which is greater: 0.1 or n?
0.1
Suppose -4*b + 0*b + 8 = 0. Let c = 203/276 + 1/69. Is c < b?
True
Let b(m) = -m - 1. Let u be b(3). Let h be (-7)/u - (-5)/20. Which is greater: 1/2 or h?
h
Let a(n) = -n**3 + 4*n**2 - 2*n + 6. Let b be a(4). Let g = b - -4. Suppose -4*q - 10 = 2*w, 3*q - g*q + 6 = 3*w. Is w >= 1?
True
Suppose -x - 31 = -2*x. Suppose 3*h = -s - 3*s - x, 5*s = 4*h. Is -5 equal to s?
False
Let b be ((-12)/(-21))/((-12)/(-56)*2). Which is bigger: -3/2 or b?
b
Let i = -1223 + 30579/25. Which is smaller: -1 or i?
-1
Let f be ((-4)/(-5))/((-9)/(-45)). Suppose -5*c + 9 = -3*a, -f*a + 0*c + 5 = -c. Is 2 greater than or equal to a?
True
Suppose 0*l = 2*l - 8. Suppose 4 = o + s + 2, -2*s = -l*o - 4. Let c = o + -1. Which is smaller: -2/7 or c?
c
Let u = 210/11 - 1868/99. Is u at least 2/29?
True
Let y(w) = w**3 - 2*w**2 - w + 1. Let i be y(2). Does i = 1/79?
False
Suppose -4*x = -13 + 1, -4*x = -d - 19. Let j = -6.1 - -6. Which is smaller: j or d?
d
Let f(h) = 7*h**2 + h. Let o be f(1). Do 8 and o have the same value?
True
Let y be (1/(-2))/((-9)/6). Suppose 2*d - 7 = 5*i, 0 = 6*d - d - 3*i - 8. Which is greater: y or d?
d
Let x be 1*12 - (-2)/(-1). Suppose -2*q = 2*s - 6, -3*s + 9 = -3*q + 36. Let d be (q/10)/((-8)/x). Is -1 less than d?
True
Suppose -4*u - 3*s + 12 = s, -u = -5*s + 27. Which is greater: u or -10/13?
-10/13
Let l = 14 + -19. Which is bigger: -7 or l?
l
Suppose 4*s - 4*z + 2*z + 4 = 0, 5*z - 17 = 3*s. Let i = 13789/266 + -2/399. Let y = -52 + i. Is y at most s?
True
Let s = 19 - 23. Is s at most -2?
True
Let m = 0.07 - -0.13. Let d = -0.3 + m. Let q = -6 + 7. Are d and q non-equal?
True
Let g = 65/252 + 1/36. Let a = -14 - -5. Let l = 8.8 + a. Is g greater than l?
True
Let s = -7 + 10. Let f = -5 - -4. Let v = s + f. Is 1 less than or equal to v?
True
Let a(z) be the third derivative of -1/24*z**4 + 0*z + 5/6*z**3 + 0 + z**2. Let t be a(6). Which is bigger: t or -2/5?
-2/5
Let g = -0.01 + 25.01. Let h = 25 - g. Which is smaller: h or 2?
h
Let v be ((-4)/(-9))/((-10)/(-45)). Let t be (v - 0) + 2/(-2). Which is bigger: 1/5 or t?
t
Suppose -5*d + 10*d = -4*m - 36, 5*d + 2*m = -38. Which is greater: -1 or d?
-1
Let v = 1 + -3/5. Is 22 at most as big as v?
False
Let r = -1.1 - 3.9. Let u = -8 - r. Let i = u + 2. Which is smaller: 2/3 or i?
i
Let p be 0 + 4 + (2 - 3). Let w = 3.4 - 3.3. Is p <= w?
False
Let z be (-1)/(-2)*(-18)/15. Suppose 0 = 2*p - 3*p. Which is smaller: p or z?
z
Suppose -w + 20 = 4*y - 15, -5*w - 5 = 0. Suppose y*o - 4*o - 3*z = 0, -o = -2*z. Let x = -2/41 - -61/410. Which is smaller: o or x?
o
Let v be -1 + (-118)/6 + 1. Let t = 20 + v. Is t not equal to -1?
True
Let o(i) = 4*i - 2. Let w be o(-4). Let g = w - -8. Is -11 >= g?
False
Let g = 12 - 5. Suppose -u - 1 = -4*s - 4*u, g = 3*s - 4*u. Suppose -4*v = -5*v + s. Is 1/2 > v?
False
Let l be (-4)/(-10) + 882/(-2030). Is l less than -1?
False
Suppose 7*d - 2*d = 15. Suppose -4*n + 6 + 0 = -d*q, -3*n - 5*q = 10. Does n = 1?
False
Let k(a) = a**2 - a. Let d be k(-4). Suppose -4*w + 36 - 5 = 5*t, 0 = -4*t - 2*w + d. Suppose t*y + 1 = -2. Which is bigger: y or 0?
0
Let i be (-2)/4 - 226/(-228). Let l be 6/19*(-3)/(-6). Let p = i - l. Are 1 and p non-equal?
True
Let g be 4/((-2)/1) + 3. Let v be 1 + 48/(-26) + g. Suppose 0 = -0*c - 3*c + 3. Does v = c?
False
Let d be (-4)/(-6) + (-708)/(-18). Suppose 3*a + 2*a = 5*o - d, -o = -5. Which is greater: -4 or a?
a
Suppose 0 = -z + 2*h - 1, -z - 4*h - 2 = z. Is -5/7 != z?
True
Let l be (0 + -2)/(8/20). Suppose 0 = 4*u + 3*r + 24, 2*r + 3*r + 20 = 0. Let m be (l/u)/((-7)/(-21)). Is m at least 4?
True
Suppose 51 - 12 = -13*w. Which is greater: -14/5 or w?
-14/5
Let q = -86 - -87. Let a(c) = -c**3 - 4*c**2 - 2*c + 4. Let d be a(-5). Let g be d/54 + (-1)/2. Is g at least q?
False
Suppose 24 = 3*v + v. Let m = -4 - -4. Is v >= m?
True
Let b(d) be the second derivative of -d**5/20 + d**4/3 - d**3/6 - d**2 - 2*d. Let u be b(2). Suppose u*x = 2*x - 4. Which is greater: -1 or x?
-1
Let l(g) = -g + 6. Let q(w) = -3*w + 17. Let p(k) = 17*l(k) - 6*q(k). Let v be p(4). Let y be 45/(-9) + (-16)/(-3). Does v = y?
False
Let z = -24 - -14. Let q = -8 - z. Which is smaller: -1 or q?
-1
Let b(z) = -z + 6. Let s be b(0). Suppose 3*a + o - 8 = 0, -s*a = -3*a - 3*o + 12. Let q = 219/142 - 3/71. Is a at most as big as q?
True
Let i = 19029 - 1065657/56. Let b = i + 7/8. Let q(z) = -z**2 + 4*z + 4. Let c be q(5). Which is smaller: b or c?
c
Suppose -4 = -2*w - 6. Let p be (0 - w)*(1 + 4). Is p not equal to 0?
True
Let k be (-1*(4 - 2))/2. Let m = -48/17 + 494/187. Is m at least k?
True
Let p be -1*(-1 - (0 - 0)). Let c = 6 - 6. Suppose 2 = 2*d - 2*u - 2, c = u. Are d and p unequal?
True
Let w(l) = -l**3 - 3*l**2 - 2*l - 2. Let m be w(-2). Is m smaller