smaller: k or o?
k
Let z = 1 - -2. Let q be 4/(-60)*-3 - (-1)/5. Is q less than z?
True
Let b = -14 + 8. Let d be 3/b*(-9)/(-6). Which is bigger: -1 or d?
d
Suppose 11 = 5*s - 9. Suppose 20 = s*x, -3*x + 14 = 3*d - 2*d. Do d and -2/17 have different values?
True
Let n be 8 + -8 + -68*1. Are -69 and n equal?
False
Let i = -10 - -14. Suppose 9 = -i*m - 75. Let s be (-6)/(-21) + (-78)/m. Is s < 4?
False
Suppose -19*q - 6 = -21*q. Is q at most 20/9?
False
Let b = -0.1 + -0.1. Let n = b + 0.3. Let w = -0.2 + 0.3. Does n = w?
True
Suppose -5*p = -2*p - 12. Let a(m) = m**2 + 3*m - 7. Let g be a(-5). Is p greater than g?
True
Suppose 5*a + 27 - 2 = 0. Let i(o) = -o**2 - 5*o - 1. Let g be i(a). Which is bigger: g or -3/2?
g
Let a = 113 - 74. Which is smaller: 0 or a?
0
Suppose -4*c = -c + 6. Let t be 237/45*(-9)/33. Let n = t - -7/11. Which is greater: n or c?
n
Let h be 9*3/(-12) - -2. Let u be 2 + (-3)/(-2) - 3. Is u <= h?
False
Let j(p) = -6*p. Let y be j(-2). Let b be ((-1)/1)/((-4)/y). Let d = 4 + -3. Which is bigger: b or d?
b
Let c = -1 - 4. Let s(m) = -m - 6. Let g be s(c). Let u = -1 - g. Is u bigger than 0?
False
Let q be (-210)/(-475) - 3/5. Are 0 and q equal?
False
Suppose 2*m + 55 = -5*r + 15, -r = 4. Let q be (-52)/m - 4/20. Is q smaller than 4?
False
Let i = -29 - -14. Let s be 1128/i*1/18. Let d = 34/9 + s. Is -1 not equal to d?
True
Suppose 5*m - a = -22 - 12, -4*a = 4*m + 8. Let v(k) = k**3 + 7*k**2 + 7*k - 3. Let u be v(m). Let q = -10 - u. Which is greater: q or -1/8?
-1/8
Suppose 5*w + 4*l = 39, -2*l - 3*l = -w + 31. Suppose 4*u = 7 - w. Is -2/11 smaller than u?
False
Let j = -1 - -1. Let o = 7.1 + -36.1. Let d = -31 - o. Is d greater than or equal to j?
False
Let k = -4175/3 - -1348. Let y = -2495/57 - k. Let q = y - -25/57. Which is smaller: 1 or q?
q
Let j(y) = 2*y. Let o be j(-5). Let g(p) = p**3 + 10*p**2 + p + 14. Let f be g(o). Suppose 3*a = -a - f. Is a at most 0?
True
Let l = 8 - 13. Let y = l + 9. Is y less than or equal to 1/2?
False
Let b = -6 + 3. Suppose -2*x + 0*a = a + 9, -2*x = -a - 1. Are b and x unequal?
True
Suppose -4*v = -16, -4*v = 5*j - 2*v + 22. Suppose 2*y - y + 6 = 0. Is y at most as big as j?
True
Suppose 3*b = 3*x + 12, -2*x + 6*x - 2 = -2*b. Let z = x + 5. Is z at most 2/5?
False
Let z = 24 + -23.8. Which is bigger: z or -5?
z
Let g(i) = -4*i + i + 4*i - 12. Let r be g(9). Let j(w) = w. Let v be j(r). Is v < -1?
True
Let p = 828/451 - 120/41. Is -2 != p?
True
Let m be (-47)/(-3) + (-10)/5. Let x = m + -185/12. Which is smaller: -1 or x?
x
Let b = -5 + 2. Let j = b - -4. Let q = j - 0.8. Is 0.2 > q?
False
Let d = -2.94 + -0.06. Let g = 3.1 + d. Let n = -16 + 46/3. Which is smaller: g or n?
n
Let t be (357/280)/((-33)/(-2)). Let i = t - 1/60. Is 1 greater than or equal to i?
True
Let y = -1 - 15. Are y and -16 nonequal?
False
Let m(l) = l**2 + 17*l + 69. Let o be m(-10). Let t = -4/69 + -370/759. Is o != t?
True
Let d = -95 - -860/9. Which is greater: 1 or d?
1
Let y = 24 + -24. Which is smaller: -2/11 or y?
-2/11
Let j = 0.03 - 0. Let a = 2.23 - j. Let l = 2 - a. Is l > -0.1?
False
Let l be 776/(-80) - 2/(-10). Which is greater: -10 or l?
l
Let q = -607 - -17601/29. Is q < 1?
True
Let a be (-26)/38 - (-4)/4. Let q = -87/95 + a. Is 0 at most q?
False
Let b be (-1)/2*(-36)/7. Let o = b - 101/42. Are o and -1 unequal?
True
Suppose 7*r - 9*r = -2. Which is greater: r or 2/5?
r
Let q = 5 - 6. Suppose 0*v = 5*n + v + 10, -2*v = 0. Is n at most q?
True
Suppose 4*z - 18 = 3*a, -6 = 5*a - 2*z + 10. Let v be (6/4)/1 + -2. Which is greater: v or a?
v
Let s be (0 - -1) + (-1 - 0). Let o = 20 - 30. Let v = o + 112/11. Is s greater than v?
False
Let q(g) = -g - 5. Let c be q(-1). Is c at most -4?
True
Let u(i) = i + 6. Let o be u(-5). Let h = -10/119 + -1/17. Which is smaller: o or h?
h
Suppose -4*r = -5*r - 24. Let d = r - -195/8. Is 2/7 smaller than d?
True
Let k = -96.1 + 96. Are k and -38 equal?
False
Let t be (-1)/(-5) + (-72)/(-15). Let q be (12/(-8))/(9/(-42)). Is q greater than t?
True
Let l = -0.5 + 0.48. Let w = 0.42 + -0.5. Let q = w + l. Which is greater: -0.3 or q?
q
Let k(t) = -7*t**3 + 2*t**2 - t - 4. Let y be k(2). Which is smaller: y or 0?
y
Let s be -2*(-2)/(-8)*20/(-28). Which is greater: 1 or s?
1
Suppose -16 = -m + 17*m. Let g be 2/(-12)*6/4. Which is smaller: m or g?
m
Let f be 343/(-114) + (-1 - -4). Let g = f - -241/1482. Which is smaller: 1 or g?
g
Let h = -0.047 + 0.147. Let r = -2 - -2.1. Do r and h have the same value?
True
Let b = -7 - -8. Let i be ((-6)/4)/(b/(-2)). Is 3 <= i?
True
Suppose 4*j - 4*d = -29 + 125, 5*j + 4*d = 120. Suppose -4*y - 2*l = 6, 0 = 2*y - y + 5*l + j. Is y bigger than -4/9?
True
Let w be (-1)/((-108)/21 - -5). Is w smaller than 3?
False
Let y = -9 + 6. Let l be -1*((-71)/y + -1). Let t = 334/15 + l. Which is greater: 0 or t?
0
Let v = 22 - 23. Suppose 2*u - 4 = -2*u. Let j be u/((-12)/(-2) - -1). Which is smaller: j or v?
v
Let h(u) = 2*u**2 - 11*u + 4. Let y be h(7). Suppose 3*s = 5*z - 0*s + 5, y = 5*s. Suppose -z*w + 4 = -0. Which is greater: w or 0?
w
Let q = 9.2 + -7. Let p = -0.65 - -1.65. Is q smaller than p?
False
Let u be (5 + -5)/(2 - 1). Is u at most 1/13?
True
Let c be -2 + 25/(-520)*-42. Which is greater: c or 0?
c
Let t = 82/33 - 8/3. Which is greater: 1 or t?
1
Suppose 0*q = q. Is q at least 5/2?
False
Let f be ((-2)/58)/((-7)/14). Let q = f + -33/58. Let w = -14/3 - -25/6. Is w at most as big as q?
True
Let w(h) = 2*h - 41. Let q be w(20). Which is smaller: -1/79 or q?
q
Let t(i) be the first derivative of i**4/2 - i**2/2 - i + 2. Let u be t(-1). Let a be (u/6)/(1/(-6)). Is 3 >= a?
True
Let a be (-70896)/(-8109) + 2/(-6). Let k = 142/17 - a. Let c = k - 85/371. Is c less than 0?
True
Let m(k) = 4*k**2 + 0*k**2 - 4*k**2 + 9 + k**2 - 8*k. Let y = 18 + -11. Let z be m(y). Is 0 equal to z?
False
Let o(x) = x**3 - 2*x**2 + 1. Let l be o(2). Is l != -1/3?
True
Let k(f) = -4*f. Let u be k(-1). Let i be 1791/(-6)*u/(-15). Let p = i - 79. Is 0 greater than p?
False
Let z = -0.2 - -0.3. Let g(m) = -m**3 + 13*m**2 - 12*m + 2. Let f be g(12). Suppose 0 = -h + f - 3. Which is smaller: h or z?
h
Let d(k) = -k**3 - 8*k**2 - 6*k + 8. Let w be d(-7). Is w > 2/15?
True
Let u = 13 + -21. Let c = 8.2 + u. Is 0.2 greater than or equal to c?
True
Let g be 0/(3/((-3)/(-2))). Suppose g = 3*z - 4 + 7. Let t be 3/(-15)*2*z. Which is smaller: t or -1?
-1
Suppose d + 20 = 3*u, -4*d = -u + 6 - 3. Let j be (-116)/(-16) - 12/(-16). Which is smaller: j or u?
u
Let o(f) = f**2 + 7*f + 3. Let x be o(-7). Let l = x - 3. Are 0.3 and l equal?
False
Let k(x) = -x**3 + 9*x**2 - x + 8. Let c be k(9). Suppose v = f + 4*f - 17, 3 = f. Let m be 2/(-33)*(-5 - v). Is c <= m?
True
Let l(y) be the third derivative of -y**5/60 + y**4/8 + y**3/3 + 3*y**2. Let a be l(4). Is -3 > a?
False
Let i be 1/10 - (-12)/30. Which is smaller: i or 1?
i
Suppose 2 = 3*a - 4*k + 15, -9 = -a - 2*k. Let s = 2 - 2. Let z = 2 + s. Is z at most as big as a?
False
Suppose x - 3*k + 5 = 0, 5*x - 19 = -0*x + 4*k. Do 7 and x have the same value?
True
Let f be -1 + (90/(-3))/5. Is 0.2 at least f?
True
Let n(h) = -h**3 + h**2 + h - 12. Let z be n(0). Let p be (3/z)/(9/(-12)). Which is greater: p or 1?
1
Suppose 3*n = 2*k - 5, n - 3*k - 5 = k. Let g = n - -6. Which is greater: 2 or g?
g
Let a be 6/14 - 9/14. Which is smaller: a or -0.1?
a
Let r be -1*0/3 + 8. Is 3 smaller than r?
True
Let z(j) = -j**3 + 7*j**2 + j - 8. Let y be (-2)/4*(-9 - 5). Let d be z(y). Let u = 2 - d. Which is greater: 1 or u?
u
Let g be ((-1)/(-54))/(3/12). Which is smaller: 1 or g?
g
Let b = 1 - -3. Suppose 0 = -2*m + 7 + 3. Is m greater than b?
True
Let z = -47/975 - -5/39. Let x = -12.4 + 12.3. Which is smaller: z or x?
x
Suppose 0 = m - 2*m + 3. Let h(i) = 4*i**3 - 3*i**2 + 41*i - m*i**3 - 40*i. Let n be h(2). Which is smaller: -5/4 or n?
n
Let l be ((-51)/(-322))/(5/10). Let t = -4/23 + l. Let i = -20 - -19. Which is bigger: i or t?
t
Let n be 9/(-7) - ((-259)/49 + 5). Are n and 10 nonequal?
True
Let d = 11 - 11. Let i = -3 + d. Which is greater: i or -2/5?
-2/5
Suppose -3*w = 8 - 5. Let t be (-2 - 12/(-10))*5. Let o be t/(-20) - 22/10. Is o at most as big as w?
True
Suppose 7*c = 10*c + 54. Is -3/4 < c?
False
Let v be (-1)/6*-1*-4. Is v <=