is smaller: k or z?
z
Suppose -14 + 18 = -2*n. Let h be -10*(7/n)/(-7). Suppose 4 = -2*m - 8. Which is smaller: m or h?
m
Let k = 70 - 145/2. Let a = k + 4. Let j be (-1 + 4)*(1 - 0). Is a smaller than j?
True
Let b(l) = l**2 + 4*l - 7. Let g(z) = -7*z + 1. Let j be g(1). Let q be b(j). Is q greater than 5?
False
Let u(q) be the second derivative of -2*q**4/3 - 2*q**3/3 + 2*q. Let g be u(3). Let s be 2/8 + 33/g. Are -1 and s nonequal?
True
Suppose p + 4*p = 0. Suppose -2 = -p*q - q. Is 1 >= q?
False
Let c = -3 + 8. Let a = 5 - c. Is 1 < a?
False
Let m = 6 + -5. Let o = -2 + 2.8. Let p = 1 - o. Is m less than or equal to p?
False
Let f(c) = -c**3 - 2*c**2 + 1. Let w be f(-3). Suppose w = -0*v - 5*v. Suppose 74 - 62 = -12*p. Is p greater than v?
True
Let s be 1*((-4 - 11) + 4). Let h = s - -12. Let l = -6 + 4. Is h != l?
True
Let o(l) = l + 2. Let d(w) = -w - 5. Let y be d(-7). Let b be o(y). Suppose 2*q - q + 2*u + 7 = 0, 5*u + 16 = -b*q. Is 0 != q?
True
Suppose 2*s - 13 = -1. Let m be ((-3)/s)/((-39)/6). Are -1 and m unequal?
True
Let p(x) = -x**3 - 4*x**2 + x + 5. Let a be p(-4). Is a bigger than 3?
False
Let b be 0 + 1 - (-12)/(-3). Suppose 4*t = 3*h + 17, -4*t + 6*h - h + 23 = 0. Suppose 4*v = -2*a + 8, -4*a + t*v = -3*v + 23. Is a at least as big as b?
True
Let m be -6 + (-3)/(9/(-6)). Let l be (-1)/m + 3/4. Suppose h + l = -0. Which is smaller: h or -1/2?
h
Let o(a) = 5*a + 3. Let w be o(-1). Which is bigger: 7 or w?
7
Let g(f) = -4*f**2 - f**3 + 0*f**3 + 2*f**3 + 1 + 2. Let v be g(4). Suppose 4*d = 1 + v. Which is bigger: d or 0?
d
Let k(q) = q**3 + 5*q**2 + q - 2. Let f be k(-4). Let y be (-512)/(-72) + 3 - (-2)/(-18). Is y at most as big as f?
True
Let y = 5925/11 + -539. Let i = -0.3 + 0.2. Which is bigger: y or i?
i
Let c be 1 + 101*1/(-107). Let m = c - -362/1177. Which is bigger: m or 1?
1
Let k = 652.01 + -648. Let a = 4 - k. Suppose -3*c = -c. Which is smaller: a or c?
a
Suppose -2*c - 116 = c - 4*x, -83 = 2*c + 3*x. Let u be (-18)/c + 4/(-20). Let v = -5/2 - -29/10. Which is bigger: v or u?
v
Suppose u + 0*u = -p - 3, -3 = -u + p. Suppose -3*s = -u*s - 30. Let a be 2/s - (-44)/(-20). Which is greater: a or -4?
a
Let p be (-2)/((-5)/(-13) - 2/6). Which is smaller: -41 or p?
-41
Let s(c) = c + 5. Let x be 60/(-35)*(-42)/4. Suppose x = -5*l - 7. Let p be s(l). Which is smaller: -2/5 or p?
-2/5
Let g = -64 + 36. Is g != -29?
True
Suppose x + 0 = 2. Let u be (x/4)/((-1)/(-4)). Let b be u + -2 + -2 + 3. Which is smaller: 1/3 or b?
1/3
Let z = -32/3 - -11. Let u = 0.06 + -0.36. Are z and u unequal?
True
Suppose -6 + 26 = 5*s. Suppose 4*b - 12 - 20 = 4*h, s*h = -4*b - 16. Let u be h/14*2/3. Which is smaller: -1 or u?
-1
Let t = -82 - -87.9. Let u = t - 6. Which is smaller: -1 or u?
-1
Let w be 3*-1 - (-1 + 2). Let j be 10/25 - (-24)/(-10). Are w and j unequal?
True
Let r = 2546/5 - 510. Let w be (1/(-3))/(1/(-3)). Let s = w + -1. Which is smaller: r or s?
r
Let p be (0 - 14)/(3 - -1 - 6). Are -1/3 and p unequal?
True
Suppose 0*m = 2*m. Are -1/15 and m nonequal?
True
Let m = 23 - 54. Let l = m - -61/2. Does -2 = l?
False
Let a = -7 + 10.2. Let r = -3 + a. Which is greater: 1 or r?
1
Let m(i) = i**3 + 8*i**2 + 12*i. Let r be m(-6). Let f be (-1)/((-10)/(4 + -2)). Which is smaller: r or f?
r
Suppose -5*d = 3*z + 215, -12*z = 4*d - 13*z + 189. Which is smaller: -45 or d?
d
Let c = 6 + -7. Let r be (-3 + c)*4/8. Is -2 >= r?
True
Let j(s) = -s**3 - 15*s**2 + 17*s + 14. Let g be j(-16). Do -3 and g have the same value?
False
Let y = 45/148 - 2/37. Are 0.5 and y unequal?
True
Let v = -44 - -45. Which is smaller: -34 or v?
-34
Let a = -0.02 - 0.04. Let j = 0.04 - a. Is j greater than or equal to 0?
True
Let h be (-12)/10*60/(-8). Let f = 15 - h. Suppose 0 = x - f*x. Which is smaller: -1/2 or x?
-1/2
Let b(f) = -20*f**2. Let z be b(-1). Suppose 78*d - 77*d = -21. Which is smaller: d or z?
d
Let l = 270 - 273.94. Let k = l - 0.06. Let h = k + 4. Is 0 smaller than h?
False
Let p be (-4)/(-3)*15/(-10). Let b be (-1)/p + (-88)/(-16). Is b greater than or equal to 11/2?
True
Suppose 16*w - 5 = 11*w. Let g be 1/((-15)/6) - 0. Is w less than g?
False
Let f = -3 - -2.6. Let n = -4 - -15. Let o = 101/9 - n. Is o smaller than f?
False
Let t be (-2228)/72*(-1 - 2). Suppose 4*v - 186 = 2*v. Let u = t - v. Is 0 <= u?
False
Let l(r) = r**2 + 4*r - 4. Let k be l(-5). Let b = 2.1 + -2. Let c = b - 0.3. Is c bigger than k?
False
Let i be (-91)/(-35) + (-2)/(-5). Which is smaller: i or 4?
i
Let k be ((-3)/(-21))/(1/(-8)). Suppose 2*m + 4 = 0, 1 - 3 = 5*p + m. Which is greater: p or k?
p
Let o = 0.8 - 1.5. Let y = o + 1.3. Is -0.1 at most as big as y?
True
Let g = 26 + -50. Is g bigger than -24?
False
Let r(d) = -d**2 - 6*d - 5. Let j be r(-5). Let a = 4 - 2. Let t = 1 - a. Is j bigger than t?
True
Suppose -6*l + 8*l - 18 = 0. Suppose -5*q = -46 - l. Is 10 >= q?
False
Let p = -27/533 + 1/533. Is p <= -1?
False
Let q be 0/(0 + (0 - 1)). Let x = 2 - q. Let i = -2/169 - -173/338. Is i equal to x?
False
Suppose 3*q + q - 5*z = 7, -13 = 2*q + 3*z. Which is bigger: q or 0?
0
Let s be 5/(-2) - (-1479)/34. Which is smaller: 125/3 or s?
s
Let l = 0 - 0. Suppose l = r - 0*r. Let f be 2*(-1 + (-2)/(-4)). Which is smaller: r or f?
f
Let m = -2.1 + 2.2. Is 14 at most as big as m?
False
Let d(f) = -f**3 + 5*f**2 + 2. Suppose -1 = -x + 2*o, 6 = 3*o - 0. Let q be d(x). Let t = -0.05 - -2.05. Do q and t have different values?
False
Let p be (-2)/(-12) + (-330)/36. Which is smaller: p or -10?
-10
Let h = 340411/39 - 8729. Let l = -3577/13 - -275. Let j = l + h. Is -2 at most j?
True
Let u = 9 + -5. Suppose 2*j + 2 = u*j. Which is bigger: -2/11 or j?
j
Let d = -24 + 16. Let m be (-11)/35 + d/28. Let u be 1/4 + (-5)/4. Do m and u have the same value?
False
Suppose -5*g - 56 = -g. Let t be ((-12)/g)/(4/(-28)). Let a = 3 + t. Is a bigger than -3?
False
Let i(z) = z - 12. Let m be i(6). Let y be (3/m)/((-2)/(-4)). Which is smaller: -3/10 or y?
y
Let s be 1/(-1)*(-28)/4. Let c be s + -6 - 1/1. Is -4 not equal to c?
True
Let v be 1*(-4)/(-6) - 1. Let l(a) = -a**3 + 8*a**2 + 10*a - 9. Let y be l(9). Which is smaller: v or y?
v
Let j(t) = -6*t + 1 + 2*t**2 + 4*t**2 - 2*t**2 - 3*t**2. Let y be j(6). Let b be (-1 + y - 0)*1. Which is bigger: b or -1/5?
b
Let l = 2.49 + -2.6. Let j = -0.21 - l. Is j >= -0.2?
True
Let z = -40 + 39.9. Which is smaller: z or -1?
-1
Let f = 63 - 66. Is -3 at least f?
True
Let z be (-2)/9 - (-116)/36. Let l be (-1)/(-16)*4/z. Is -1 smaller than l?
True
Suppose 235*d = 233*d - 84. Which is smaller: d or -43?
-43
Let n be 1 + 4 + (0 - 1). Suppose 23 = -n*g + 7. Let l = 4 + g. Which is greater: l or -1?
l
Let x be (-59 - -58)*146/4*2. Are x and -72 nonequal?
True
Let a be (-2)/22*(-4 - 2). Is a greater than or equal to 2?
False
Let z be 4/(-10)*(-15)/(-51). Suppose 4*h = 6*h - 58. Let k = h + -29. Is z >= k?
False
Let x = -670/7 - -96. Let r = 409/5 + -83. Which is smaller: r or x?
r
Suppose 3*m = 5*m - 2. Which is smaller: m or -4/21?
-4/21
Let s be (-3)/(-6)*-2*2. Let k be (7/(1365/(-12)))/s. Which is greater: k or 0?
k
Suppose 3*z + 4 = 3*t + 2*z, -3*t - z + 8 = 0. Let u = -4.1 + 2.1. Which is smaller: u or t?
u
Let k = 0 - 7. Is k at most 2/7?
True
Let z = -0.5 + 1. Let o be ((-54)/(-10) + -5)*(-5)/(-7). Is z != o?
True
Let a(i) be the second derivative of -i**5/20 - i**2 - 2*i. Let j(p) = p - 3. Let f be j(3). Let r be a(f). Which is smaller: -1/2 or r?
r
Suppose 0 = -3*g - 11 + 14. Is 7/3 at most g?
False
Let n(j) = -j**3 - 3*j**2 - j + 1. Let p be n(-3). Suppose p = -4*f - 4. Which is smaller: f or -3?
-3
Let l be 20/(-6) - 2/3. Let c(b) = -b - 7. Let f be c(-8). Let n be 0*(-2 + 3/f). Is l less than n?
True
Let m = 449/8 + -56. Let u = m + 9/56. Is -1 smaller than u?
True
Let t(j) = j**3 + 2*j**2 - 3*j - 1. Let g be t(-3). Suppose 4*i = 16 - 0. Suppose 20 - i = -4*r. Which is smaller: g or r?
r
Let m be (24 + -2)*((-14)/7 + 1). Which is smaller: m or -23?
-23
Let w be 2/4*(-9)/((-135)/(-8)). Which is greater: w or 1?
1
Let c = 1039/5 + -209. Let y(l) = -l**3 - 15*l**2 - 7*l + 97. Let g be y(-14). Is c smaller than g?
True
Let y be ((7 + -1)*1)/1. Which is bigger: -1 or y?
y
Let v = 34 + -22. Let y be (-1)/(-3) - (-56)/v. Let m(l) = -l**2 + 9*l - 2. Let x b