. Is 4 smaller than m?
False
Let r = 1 - 0. Let x be ((-2)/2)/r*2. Which is smaller: -3 or x?
-3
Let h(l) = 6 + 0 + l - 3. Let k be h(-5). Let c be (k + -1)*(-12)/(-90). Which is bigger: c or 0?
0
Let b = 8 - 14. Is b equal to 3?
False
Suppose -2*n - 4 = 2*n. Let d be (-4)/(-10) + 18/(-70). Which is smaller: n or d?
n
Let y = -9.3 - -9. Is 8 > y?
True
Let n be (-6 + (-60)/(-9))/(4/(-258)). Is n less than or equal to -43?
True
Let q = 4 - 6. Let t = 18 - 21. Which is smaller: q or t?
t
Let l(z) = -z**2 - 4. Let r be l(-3). Let u be 4/(-6)*(7 - -14). Which is smaller: r or u?
u
Let d(s) = s - 2. Let x be d(3). Let p(k) = k**3. Let v be p(1). Is x at most v?
True
Suppose 4*l - 4*a = -28, -2*l + 2*a = 2*l + 20. Let f be (l - -3)*1 + -1. Is f less than or equal to -2/7?
True
Let p = 5 - 2. Suppose -5*v - 3 = 27. Let w be (-3)/(v/8 - 0). Is p at least w?
False
Let s = 4/3219 + 434549/12876. Let y = 35 - s. Is 1 less than y?
True
Suppose -s + 13 = -11. Suppose s = 4*c - 0*c. Suppose -x = -3*q + c, 10 = 5*q - 4*x + 6*x. Is q > 3?
False
Let l = -20 - -9. Which is smaller: l or -15?
-15
Let n = -5.7 + -2.3. Let w = 0.8 - -5.2. Let a = w + n. Is 0.1 >= a?
True
Let m = -1 + 1. Suppose 5*l + 11 = -h, -4*h - l = 3 - 16. Suppose 0 = 3*r + a + 2, h = -2*r + 2*a - 0. Is r at most as big as m?
True
Let c(p) be the second derivative of -p**4/12 + p**3 - 6*p. Let z be c(4). Is 8 >= z?
True
Suppose 0 = -2*p + 5*p - 3. Let m be ((-3)/(-180))/(6/(-15)). Is m < p?
True
Let j be (-3)/5 - (-3860)/100. Which is greater: 39 or j?
39
Let o = 4 + -6. Let j be 1/(1 + o)*3. Is j smaller than -4?
False
Let p be ((-2)/(-3))/(55/(-105)). Let d = -131/77 - p. Which is bigger: 1 or d?
1
Let j = -0.24 - -0.14. Which is greater: j or 1?
1
Let l(n) = -6 + n - 5 + 5. Let j be l(5). Is -2/13 greater than j?
True
Suppose -3*x + 4*m - 1 - 1 = 0, 0 = -m - 1. Which is smaller: x or 7?
x
Let y = 2 - 1.7. Let s = -84.8 - -85. Let n = y - s. Are n and 1/2 non-equal?
True
Let q(x) = 3*x**3 + 5*x**2 + 8*x + 8. Let v be q(-2). Is v > -66/5?
True
Suppose 0 = -4*c - c. Let d = c - 6. Let r be -1 - 0 - 8/d. Which is smaller: -0.06 or r?
-0.06
Let u be (-3)/(-261)*55 + (-4)/6. Are -2/7 and u nonequal?
True
Let x(z) = -4*z**2 + 7*z - 5. Let m be x(5). Let g be (-1)/176*m/5. Let y = 5/11 - g. Is y bigger than -1?
True
Let q(c) = -2*c**2 - 4*c + 2. Suppose 4*m - 4*s - 8 = 0, -m - 7 = 3*m - s. Let w be q(m). Is -3 >= w?
True
Let w be -1 - (2*3)/(-2). Suppose w*x = 4*x - 6. Suppose 0 = p + x*p. Is p at most 2?
True
Let g = -3390 - -2098. Let m be 1/4 + 391/g. Which is greater: m or 1?
1
Let a(b) = -b + 2. Let f be a(-2). Let z = -6 + f. Is -4 greater than z?
False
Let d = -21 + 13. Let y be d/(-10) + (-2)/5. Suppose 3*a - 4*t - 2 + 13 = 0, 5*a - 5*t + 15 = 0. Is a equal to y?
False
Suppose 5*y + 1 = -4. Suppose 2*w - 10 = 7*w. Are y and w nonequal?
True
Let t = -15.9 - -16. Does 0.2 = t?
False
Let k(f) = 2*f**2 - 3*f - 4. Let v be k(3). Suppose -v*o = -7*o - 2. Is 0.5 at least as big as o?
True
Suppose f = m + 8 + 30, 3*m = 2*f - 77. Is 36 less than or equal to f?
True
Suppose -52 = 3*l + 92. Let c be 54/l*(-4)/(-6). Is c equal to -1?
False
Let x(v) = v**3 + 10*v**2 + 9*v + 1. Let g(w) = w**2 + 5*w - 9. Let r be g(-5). Let l be x(r). Which is smaller: l or 3/7?
3/7
Suppose -4*q + 19 = 7. Suppose -q = -2*x - 5*v, -3*x + 6*x + v = -2. Let p = 11 + -11.04. Which is smaller: p or x?
x
Let a = -2 + 3. Let t = 12 + -20. Let u be 2/(-1) + t/(-6). Is u equal to a?
False
Suppose -3*m - 10 = 5*j, 2*m - 3*j - 2*j = 35. Let u(n) = -5*n**3 + n**2 + 2*n + 2. Let s be u(-1). Which is smaller: s or m?
m
Suppose -2*f - 4 = 5*k, -2*k = 3*k + 3*f + 6. Which is bigger: k or -0.2?
k
Let l = -27 - -13. Let g = l - -15. Which is smaller: 21 or g?
g
Let r = -5.5 + 5. Is -0.3 greater than r?
True
Let j = -23 + 24.1. Let w = 3.9 + j. Which is smaller: w or -1?
-1
Suppose -5*f + 145 = -0*f + v, 2*f = 5*v + 31. Are 27 and f nonequal?
True
Let c be (10/6)/((-45)/(-54)) + -2. Is -2/123 >= c?
False
Suppose -4*c + 3*c - 4*v = 5, -4*v = -3*c + 17. Suppose 0 = 5*r - 4*r - 20. Suppose 0 = -6*a + a + r. Does c = a?
False
Let g = 0 - -4. Let n = 8 - g. Let v be ((-3)/14)/((-3)/n). Which is bigger: 1/4 or v?
v
Let l(d) = -d**2 - 3*d + 1. Let z be 5*((-36)/15)/3. Let o be l(z). Is o >= -4?
True
Let v = -112505/2 + 4388405/78. Let l = v - 28/3. Which is greater: l or 0?
0
Suppose 29 = -4*a - 31. Which is smaller: -14 or a?
a
Let k be 1 - ((-6)/16 + 1). Which is smaller: 1 or k?
k
Let s(v) = v**3 - 4*v**2 + v + 5. Let x be s(3). Is x bigger than -1?
False
Let y = 0.072 + -5.072. Do 0.3 and y have the same value?
False
Let j(i) = i**2 + 7*i + 1. Let z be j(-6). Suppose k = -2*c - 5, 0 = 3*c - 0*c - 4*k + 24. Are c and z non-equal?
True
Let d be 4*(-2 + (-108)/(-56)). Is -1 at most d?
True
Suppose 6 - 33 = 3*r. Is r at most -8?
True
Let v be (-5 + 4)*3/18. Is -1 >= v?
False
Let o = -13 + 10. Let f = 5 - o. Suppose f = 4*z, 4*n + 3*z = 2 - 12. Which is smaller: n or 1?
n
Suppose -9 = -5*n + 6. Suppose -3*l - 3*d - 8 = -2*d, n*l - d = 2. Let f be (-1)/(-2)*(8 + -6). Does f = l?
False
Let j be 4/(-12) + (-7)/(-3). Let x = j + -5. Let a = 7 - 10. Is x greater than or equal to a?
True
Let h be (1/6)/(3/(-4)). Let z(m) = -m**2 - 15*m + 1. Let f be z(-15). Is f bigger than h?
True
Suppose 361 = -4*d - 59. Let p = -77454 - -698033/9. Let t = d + p. Which is greater: -1 or t?
t
Let h = 24 + -54. Let c be (-42)/h - 6/(-10). Is 3 bigger than c?
True
Let q = -6 - -11. Let n = q - 8. Which is greater: n or -5?
n
Suppose -6*r + 3*r - 18 = 0. Let v be (-2)/r*1/3. Is v less than -1?
False
Let h be 0*(2 + 0)/(-4). Is h at least -2?
True
Let j = 5 - 7. Suppose -3*y = -b - 3*b, 0 = 5*y - b. Suppose 2*p = -4*u + 2, y = -6*u + 2*u + 3*p - 13. Is u smaller than j?
False
Let l = 37 + -37. Which is greater: l or 0.15?
0.15
Suppose 0 = -4*c + 40 - 16. Do c and 7 have different values?
True
Let q(f) = -f - 6. Let v be q(-5). Suppose j - 4*j = -15. Is v equal to j?
False
Suppose -3*p = 2*w - 36, 2*p - 14 = 4*w + 26. Suppose -n = -0*n + 4, 3*n + 64 = 4*b. Which is bigger: b or p?
p
Let w be (-6)/(-4)*(-24)/117. Which is bigger: -1 or w?
w
Suppose 0 = -4*d + 3*y + 11, 1 = 4*d + y - 6. Suppose -d*x = 10 - 4. Is x at most as big as -2?
True
Let s be 2 + ((-2)/2 - 2). Let z be 0/(4*6/8). Suppose 8*h - 3*h + 15 = z. Which is greater: s or h?
s
Let l be ((-2)/(-3))/(196/(-42)). Let g(t) = t**3 + 5*t**2 - 5*t + 4. Let w be g(-6). Let x be (3 + -3)*1/w. Which is smaller: l or x?
l
Let v = -13 + 25. Let h be (8/v)/((-20)/(-6)). Let f = -1 - -2. Is h smaller than f?
True
Let o be 6*(0 + (-1)/(-1)). Let z = -16 + 19. Suppose z*s - 5 = 13. Is o at least as big as s?
True
Suppose -8 = -c - 17. Is -9 > c?
False
Let y = 0.01 - 2.01. Let o = -2 + y. Which is bigger: 1 or o?
1
Let v = 678 + -620.7. Let s = v + -52. Let n = 5 - s. Which is bigger: 0 or n?
0
Let i = -35 + 33. Is -2 >= i?
True
Let n(j) = 5*j**3 + j**2 + j - 1. Let g be n(1). Suppose 2*k + g = -k. Let f be 11/(-3) - 4/(-6). Which is bigger: k or f?
k
Suppose q + 1 = -3*c, 4*q + 3*c - c + 4 = 0. Which is smaller: -4/11 or q?
q
Let d be (-4)/(-16) - 141/(-12). Suppose 2*j - d = w - 3*w, -4*w = 5*j - 26. Which is greater: 6 or w?
6
Suppose 3*k = q - k + 11, q - 5*k = -14. Which is smaller: q or 0?
0
Let m be (14/6 + -3)*-6. Let g be (m/5)/(2/(-5)). Let k be 75/85 + g/2. Which is smaller: -1 or k?
-1
Let c be (-2)/(-7) - 72/210*2. Let u be 15/(-28) - 1/(-4). Are c and u nonequal?
True
Let a(d) = 4 - 1 - d**2 + 5*d + 0*d**2. Let z be a(5). Let u(o) = -2*o - 7. Let r be u(-5). Is z < r?
False
Let b(t) = t + 4 + 4*t**2 - 3*t**2 + 4*t + 0*t**2. Let o be b(-4). Is 0 less than o?
False
Let h(r) be the first derivative of -r**2/2 - 2. Let s be h(2). Are s and -0.2 equal?
False
Let a = -112.8 - -114. Is a less than -3?
False
Let w be -21 + (-4 - -10) + -4. Which is bigger: w or -20?
w
Let w(c) = -2*c**3 + 2*c**2 - 3*c + 3. Let r be w(3). Which is smaller: -44 or r?
-44
Let t be 4/((3/(-6))/(-1)). Suppose 0 = 4*h + t. Which is smaller: h or 0.2?
h
Let n be (-8)/(-16)*(0 - 0) + 11. Does 100/9 = n?
False
Let l = 29 - 32. Is -3 less than l?
False
Let m = -8 + 11. Let a = m - 0. Let z be 15/6*a/5. Is z >= 1?
True
Let n = 2 - 5. Let d be (