b be ((-15)/(-6))/((-2)/4). Let u be (-2)/(-8) + (-34)/8. Is u at least as big as b?
True
Let f(i) = i**3 + 3*i**2 + 2*i + 1. Let m = 6 - 8. Let l be f(m). Is l at least 1?
True
Let p be 2/6 - (-11)/3. Suppose 2*x = 5*o - 20, -x - 20 = -5*o + p*x. Which is smaller: 3 or o?
3
Let g(v) be the second derivative of 2*v + 0 + v**2 + 1/6*v**3. Let i be g(2). Which is smaller: 5 or i?
i
Let y = -845 + 4207/5. Which is smaller: y or -3?
y
Let z(w) = w - 2. Let b be z(-2). Let o be (1 - (-6)/b)*8. Let f = 2 + o. Is 1 < f?
False
Let r(z) = -2*z - 11. Let n be r(-8). Let a(i) = i - 7. Let o be a(n). Let m be (-2)/2 + 2/o. Which is greater: m or -1/2?
-1/2
Let s = -9 + 19. Is 10 smaller than s?
False
Suppose 0 = -3*x + 2*g + 93, g = 8*x - 3*x - 162. Let i = 3 + -4. Let c be i - 9*(-3)/x. Which is smaller: -1 or c?
-1
Let a(w) = 3*w**3 - w. Let v be a(-1). Let y be (-2)/(-4)*v/(-4). Is 0 less than y?
True
Let h = -66 - -64. Is h > 40?
False
Let o be (-6)/(-9) - (-2)/(-6). Let y(b) = -2*b**2 - 11*b - 5. Let g be y(-5). Which is bigger: g or o?
o
Let c = 0.1 - -0.04. Let h = -0.33 + 0.27. Let y = c - h. Which is smaller: -2/5 or y?
-2/5
Let l(r) = -r**2 + 7*r - 1. Let p be l(6). Suppose -p*u + 12 - 37 = 0. Let i be ((-15)/u)/((-6)/4). Which is bigger: i or -3/4?
-3/4
Suppose -5*d + 3*v + 5 = 0, -2*v + 2 = 2*d - v. Let o be ((-6)/25)/(12/(-20)). Is d at least as big as o?
True
Suppose -l - 3*j - 6 = 0, -2*l - 2 = j - 0. Is l <= -1?
False
Let o = -51049/9 + 17278/3. Suppose 3*a - 435 = -2*a. Let m = a - o. Is m less than or equal to 0?
True
Let i be 2/5 - (-252)/(-705). Is 0 at least i?
False
Let l(w) = w**2 - 12*w - 7. Let g be l(11). Let d = -18 - g. Let u = 227 + -1585/7. Is d greater than or equal to u?
False
Let b = 15 + -23. Which is bigger: b or -1?
-1
Let r be (5/(-35))/(9/(-932)). Let z = -102/7 + r. Are z and -0.1 equal?
False
Suppose -2*l + 18 = l. Let u be (-9)/2*l/(-36). Let n(q) = -q**2 + 6*q. Let v be n(6). Is u greater than or equal to v?
True
Suppose f - 14 = -f. Let g = 19 - f. Let p be 8/102*18/g. Is 0 smaller than p?
True
Let m(i) = -i**3 - 9*i**2 + 11*i + 6. Let z be m(-10). Are -2 and z nonequal?
True
Suppose 3*l = -l - 4. Is l <= 6/19?
True
Let l(z) = z - 3. Let o be l(-8). Let a = 34/3 + o. Is a at most 1?
True
Let o be (1*6)/(68/17)*-4. Does o = 2?
False
Suppose 21 = y + k, -4*y + 113 = y + 3*k. Is y greater than or equal to 25?
True
Let f(n) = n - n**3 + 12 - 10*n**2 + 4 - 3 - 3. Let o be f(-10). Which is smaller: o or 5/4?
o
Let x be 12/(-15) + -2 + 3. Is x greater than or equal to -4/7?
True
Let f(m) be the first derivative of m**4/4 + 4*m**3/3 + 3*m**2/2 - 4*m - 4. Let k be f(-3). Is -14/3 equal to k?
False
Let w be 5 - 4 - 40/38. Let a be 16/48*0/(-2). Is a at most w?
False
Let w = -11 - -8. Let c(y) = y - 9. Let a be c(4). Which is bigger: w or a?
w
Let v(x) = -1 - x**2 + 5*x - 3*x + 2*x + 2*x. Let z be v(4). Which is smaller: z or 6?
6
Let s be (-5)/((-20)/6)*21/(-9). Which is smaller: s or -2/11?
s
Let i = -4.4 - 0.6. Let a = i + 3. Let m = 0.3 + -0.2. Which is smaller: a or m?
a
Let l(o) = -2*o + 10. Let w be l(7). Let y be w/(-3) + 2/(-2). Is y smaller than 2?
True
Suppose 3*x = 8 + 1. Suppose x*q + 0*q = 0. Are 1/2 and q nonequal?
True
Let s(b) = 27*b**3 + 2*b - 2. Let a be s(1). Which is smaller: a or 30?
a
Let i = -4.1 + 4. Let l = i - -0.2. Let x = -13/8 + 31/24. Is x bigger than l?
False
Let i(v) = -v + 1. Suppose -d - 5 = 4*d. Let f(k) = -3*k + 6. Let p(u) = d*f(u) + 4*i(u). Let j be p(-1). Is -1/5 greater than j?
True
Let s(b) = b**2 - 3*b - 1. Let h be s(4). Suppose h*u = 4*u. Which is greater: 0.3 or u?
0.3
Let p be (1/3)/(12/(-280)) + 4. Which is smaller: p or -5?
-5
Let h = -0.3 + 0.4. Let f = 0.2 - h. Let b = -4 - -1. Which is smaller: f or b?
b
Suppose 0 = 3*z - 0*z + 2*w + 716, -5*w = -5*z - 1235. Let t = -675 - z. Let q = t + 9961/23. Which is smaller: -1 or q?
-1
Suppose -2*h + 140 - 18 = 0. Which is greater: h or 62?
62
Let s = 150 - 150.1. Is 11/4 less than or equal to s?
False
Suppose -5*t + 0 = 2*z + 10, -2*t - 4 = 5*z. Let j be (-2)/1*(-3)/6. Let v be ((-2)/4)/(1/j). Which is smaller: v or t?
t
Suppose 3*w + 4 = -2*h - 33, 50 = -4*h + 2*w. Let p = -5 - h. Let a be ((-8)/30)/(6/p). Is a bigger than 0?
False
Suppose o + 8 = -z, -4*o - 16 = 5*z + 12. Which is greater: o or -11?
-11
Let b = -2 - -9. Let l = 11 - b. Suppose 0 = l*d - d - 3. Is -1 < d?
True
Suppose 0 + 0 = -10*t. Does t = 2/67?
False
Suppose x + 3*r - 2 = -12, 2*r = 3*x - 25. Let p = 9 + -7. Let c be (-1)/(2/(-8)*p). Is x greater than c?
True
Suppose -3*b = -b + 18. Are -8 and b nonequal?
True
Let g(u) = -u + 24. Let t be g(24). Which is bigger: t or 2/35?
2/35
Let k be (3/2)/((-9)/(-48)). Let x = k - 8. Which is smaller: 9 or x?
x
Suppose 38 = -5*k + 4*t, -6*k + 2*k + t = 26. Let o(q) = q + 5. Let z be o(k). Are 0 and z non-equal?
True
Let l = -1 + -1. Let x be 2/l*(0 - 1). Is x greater than 1?
False
Let x be 1 - 1 - (7 - 0)/(-7). Let h be -1*1 - (-33)/34. Which is smaller: x or h?
h
Let y be (-30)/(-4)*(-175)/(-21). Let c = y - 64. Is -0.1 at most c?
False
Suppose 2*s - 11 = -v, -v - 3*v - 5 = s. Which is smaller: 0 or s?
0
Let p be (-1)/(-4)*5/((-45)/12). Which is smaller: -56 or p?
-56
Let a be 16/6*(-3)/2. Suppose -4*f - 20 = 0, 3*s - 11 - 4 = 3*f. Does s = a?
False
Let l = 52.2 + -52.2. Let r = -44 + 134/3. Which is smaller: l or r?
l
Let i = -1.8 - -1.8. Which is smaller: i or -2/15?
-2/15
Let l = 7/24 + -1/24. Which is smaller: 11/13 or l?
l
Let c = 15 + -7. Let x be (0 + -1)/(c/48). Do x and -6 have the same value?
True
Let r(d) = 3*d**2 - 8. Let n be r(-5). Is n < 67?
False
Let n = 17 - 17. Is 10 not equal to n?
True
Suppose 36 = q + 2*h - 6*h, -q - 4*h - 4 = 0. Suppose -3*n = n - q. Let l be (1 - -1)*n/8. Which is smaller: l or -2/19?
-2/19
Let h = -54 - -38. Let p = h + 17. Are p and 1 non-equal?
False
Let x(b) = b**3 + 6*b**2 + b + 2. Let u = 7 + -8. Let y = -5 + u. Let t be x(y). Which is bigger: t or -2?
-2
Let l be (4 + -2)/(-1 + 2). Let x be (-1)/(l*-1 - -1). Let c = -1069/9 - -119. Is x equal to c?
False
Suppose 4*n - 168 = -4*g, -2*n + n + 50 = 5*g. Is 39 < n?
True
Let d = 37 - 37.01. Is 0.1 greater than or equal to d?
True
Let b = 0.1 - -0.2. Let p = b + -0.3. Is -0.4 greater than or equal to p?
False
Let a = 2 + -1. Let f = -4 + 9. Let t = -5 + f. Which is smaller: a or t?
t
Suppose w + 4*w + 12 = 3*s, -4*s - w = 7. Are s and 4 unequal?
True
Let r be (-3)/(-12) - 3/(-20). Let v = 0.1 - 0. Are r and v equal?
False
Let q = 0.1 + 0. Let m be 18/28*6/(-45). Let t = 1/5 - m. Is q smaller than t?
True
Let h = 16 - 11. Suppose -3*l = -h*l. Does -0.1 = l?
False
Let x(k) = -k + 4. Suppose -3*r = -2 - 10. Let t be x(r). Is t bigger than -2?
True
Let l(w) = w**2 - 4*w - 6. Let b be l(5). Let y(q) = q**2 + 2*q + 1. Let u be y(b). Does -2 = u?
False
Let f be ((-2 - 0) + 1)/2. Suppose -t + 0*t = -1. Let l be -1*(t + -2 + 2). Is f at most l?
False
Let h = 29 - 29. Is h not equal to 1/2?
True
Let j = -27 + 57/2. Suppose -3*m - 5*w = -m + 11, m + 4*w + 10 = 0. Is m smaller than j?
False
Let g = -22 + 33. Let k = -8 + g. Which is smaller: 4 or k?
k
Let p = -0.2 + -0.3. Let k = -0.5 - p. Is k != -2/3?
True
Suppose 1 = -v - 1. Is -6/11 at most v?
False
Suppose 5*w = -28 + 73. Let f = -11 + w. Which is smaller: f or 0?
f
Let n be 1/3 + (-22)/12. Let o = -70 - -68. Does n = o?
False
Let c(r) = r**2 + 11*r + 13. Let p(n) = -n**2 - 11*n - 14. Let x(s) = -5*c(s) - 4*p(s). Let h be x(-10). Let t = 2 - -1. Which is smaller: h or t?
h
Let n = 76 - 682/9. Suppose 15 = m + 3*z, -m - 5*z = -12 - 11. Suppose m*y - 1 = 4*y. Is y less than n?
True
Let r be (-2)/(-4)*(-1)/((-1)/(-4)). Is 0 less than or equal to r?
False
Let k = -10.0307 + -0.0093. Let v = k + 12. Let b = -0.04 - v. Is b < 0.2?
True
Suppose 0*z + 2*z = 6. Suppose -3*q = 8 - 26. Suppose -q = 3*p - z. Is -1/3 greater than or equal to p?
True
Let g = -6/47 + 348/517. Which is bigger: g or 2?
2
Let a = 2 - 5. Let o = -5 + 11. Suppose 8 = -2*h + 3*t, -2*h + o*h + t + 16 = 0. Is h > a?
False
Let s(m) = m**2 - 2. Let c be s(2). Let o(v) = v**3 + 2*v**c - 1 + 2 - 6*v**2. Let u be o(4). Is -1/4 at most u?
True
Let w(p) = -p**3 - 3*p**2 + p + 3. Let h be w(-3). Suppose h = -5*o - 21 - 4. Which is 