= 0. Which is greater: 5/13 or j?
5/13
Let f = 2 - -1. Which is bigger: 2/7 or f?
f
Let i = 18 - 22. Is i at least 1?
False
Let y be (-3 + 273/87)/(-2). Is 0 equal to y?
False
Suppose 2*v - 4*m - 16 = 0, 3*m + 18 = v - m. Let u be (v/(-3))/(14/6). Let f = -7 + 7. Which is smaller: f or u?
f
Let p = -36 - -36.5. Is p at least -3?
True
Let y(z) be the first derivative of -z**4/24 - 3*z**3/2 + z**2 - 2. Let s(t) be the second derivative of y(t). Let k be s(-7). Which is smaller: -3/5 or k?
k
Let c = -74097/260 - -1426/5. Let b = 6/13 - c. Which is smaller: b or 2/3?
b
Let w(o) = o - 10. Let m be w(7). Let j be -4*1/(-2) + -112. Let c = 772/7 + j. Is m at most as big as c?
True
Let z be 38/(-13) - 3/(-1). Suppose 4*v + 2*s = 0, -2*s + 3*s + 7 = 5*v. Is v smaller than z?
False
Let p(w) be the first derivative of w**4/4 - 2*w**3/3 + w**2/2 + 1. Let b be p(2). Suppose -2*f = -2 - 4. Is b not equal to f?
True
Suppose 9*b - 4 = 5*b. Which is smaller: b or 2/115?
2/115
Suppose -w - 4*w = 4*g + 52, -37 = 5*w - g. Let k = w - -7. Is k < -1/4?
True
Suppose a + 3 = -5*s + 14, -3*a = -3*s + 3. Which is smaller: -1/20 or a?
-1/20
Suppose 7*z = 2*z - 25. Let b = z - -2. Let p be 1/b*-1*-3. Is -2 >= p?
False
Suppose 0*d + 26 = -2*d - n, 0 = -5*n + 20. Is -14 greater than or equal to d?
True
Let l = 9.03 - 0.63. Let b = -9 + l. Let i = -1.6 - b. Is i at most as big as -6?
False
Suppose -5*y - 2*z - 13 = 0, -4*y + 0*z + 16 = -5*z. Suppose -3*r + 18 = -4*c, c = -5*r - 2*c + 1. Suppose -r*b - u = -4, -4*u = 2*b - 13 - 3. Is b at least y?
True
Let n be 9/((-405)/(-17556)) + -4. Let f = n + -386. Is f < 1?
True
Suppose -24*x = -10*x - 378. Which is smaller: 26 or x?
26
Let m = 55 + -56. Is m less than or equal to -2/5?
True
Suppose -4*y = -y + 18. Let k = y + 4. Suppose 5*v - 36 + 41 = 0. Which is greater: k or v?
v
Let s = -1 - 2. Let g be 49/14 + s/(-2). Is g greater than 5?
False
Let r(a) = a**3 - a**2. Let i be r(1). Which is greater: 4/7 or i?
4/7
Let l be (-3)/((-15)/(-6) + -1). Let y be l*(-4)/(16/6). Suppose -4*h - 1 = -y*h. Which is greater: h or 2/9?
2/9
Let u be (144/14)/(2/(-14)). Let h = u + 431/6. Which is smaller: h or 0?
h
Let t be 6*(2/(-6) - -1). Suppose -t*p = -3*p. Let o = -2.01 + 0.01. Which is greater: p or o?
p
Let i = -0.1 - -0.3. Let u = 16 + -28. Let g = u + 9. Which is smaller: g or i?
g
Let g = -12 + 8. Let p be 6/(-15) - g/10. Let q be (6/(-20))/(-2*(-1)/4). Does p = q?
False
Let n = -12 + 12. Suppose -3*s = 5*y + 2*s + 15, n = s - 5. Is -8 <= y?
True
Suppose 0 = q + j + 19, -2*j + 29 = -3*q - 8. Is q less than -1?
True
Let b(a) = -a**2 + 10*a - 9. Let z be b(9). Is 2 < z?
False
Let n = -139 - -135. Is n >= 14?
False
Suppose 5*h - 2*m = -0*m + 25, -2*h + 5*m + 10 = 0. Let t = 5 - h. Let n = 2673/7 - 381. Which is greater: n or t?
n
Let h be 2/(-9) - 260/(-36). Let q = 5 - h. Let g be q + (8/(-6) - -3). Is g smaller than 1/2?
True
Suppose m - 4*m - 4*t + 7 = 0, 0 = -m + 3*t + 11. Let u be -1 + -3 + 5 + m. Which is bigger: 5 or u?
u
Suppose 0*f + 4 = -5*f + h, 0 = 5*f + 5*h + 10. Let i = f + 1. Is -3/5 > i?
False
Let f(u) = 4*u + 1. Let p be f(3). Which is bigger: 14 or p?
14
Let i be 0*((-9)/(-6) + -2). Suppose i = 5*q - z, -2*q - q = 2*z. Suppose 2*p + 4*c = 22, q*c + 23 = -2*p + 5*c. Is 1 bigger than p?
False
Let k = -16 - -15.9. Which is smaller: k or 2/3?
k
Let y be (8/6)/(2/3). Suppose y*x = -2*x - 4. Let r = 2/223 + 209/1561. Is x > r?
False
Let x = -54 - -53.99. Is -2/5 at least x?
False
Suppose -2*l = -0 + 4. Let h be (6/2)/(1*-1). Is h at most l?
True
Let o = 24 - 5. Is 18 < o?
True
Let l be (-15)/(-18)*-2*54. Let s be (4/6)/((-12)/l). Is s greater than or equal to 5?
True
Let y = 1.2 + -0.2. Let u = y + -0.9. Let q = u - 0.1. Which is bigger: q or 2/5?
2/5
Let c = -6 - -3. Let i be 104/(-12) - (-1)/c. Let t be 3/i*(-3)/2. Is t bigger than 2?
False
Suppose -3 = -4*a - 3. Let n(d) = -d. Let o be n(-1). Is o at least as big as a?
True
Let m = -5 - 7. Let a = m - -12.2. Is -0.4 at least as big as a?
False
Let z be (-2)/4*(20 - 26). Suppose -1 - 3 = -r. Is z <= r?
True
Let y = -1/40 - 37/120. Let f = -1 + 2. Which is greater: y or f?
f
Let b = 47 + -471/10. Which is greater: b or -1?
b
Let w(b) = -b**2 + b - 4. Let g be w(0). Let s(c) = 4*c - 5*c + 0*c + 1. Let a be s(4). Which is bigger: g or a?
a
Let h = -2 - 2. Let r be (-1 + -1)/(-2) + h. Suppose -2*k = 4*i, i + 24 = -i + 5*k. Which is smaller: i or r?
r
Let c(o) = o**3 + 2*o**2 + 2*o. Let z be c(-2). Let i be ((-33)/9)/(-6 - -7). Which is bigger: z or i?
i
Suppose 4*h - a + 8 = 0, -4*h = 3*a - 6*a + 16. Suppose 0 = -2*o + 5*b + 6 + 5, -b = -o - 2. Let v be 16/(-42) + 2/o. Is v at least h?
True
Let x be 4*4/((-16)/3). Let l(c) = -3*c. Let q be l(2). Let g = q + 4. Which is smaller: x or g?
x
Let y = -3 + 2. Let n be 1 + (y - (2 + -3)). Let f = -2 + 3. Is n greater than f?
False
Suppose -15 = 3*r - 8*r. Suppose r*i = -1 - 2. Which is smaller: i or 4/13?
i
Let d = 2.6 + -2.34. Let k = d + -0.26. Is k at most as big as 0?
True
Let m = 9 + -9. Let l be (2/(-3))/(4/12). Let j be 0 + -1*l/(-9). Which is bigger: j or m?
m
Let o = 26 + -38. Let u = o + 11. Is -2/15 less than u?
False
Let j = -11/2 + 47/10. Which is smaller: j or 0?
j
Suppose -3*r + x - 2 - 1 = 0, 1 = -r - x. Suppose 3*a - 4*n = -3*n + 4, -4*a = n - 17. Let f be -3 + a + (-1)/(-6). Which is bigger: r or f?
f
Suppose -2 - 1 = -3*b. Suppose -3*w = -5*w. Suppose w = 2*a + 6, 0*a - 12 = -2*f + 4*a. Do f and b have the same value?
False
Suppose 7*m - 2*m + 10 = 0. Let x be -26 - (0 + m)/2. Let z = 123/5 + x. Is -1 > z?
False
Let g = 49/11 + -681/143. Is 1 not equal to g?
True
Let i = -105 + 1157/11. Let g = 0 + i. Let w = 19 - 19. Which is greater: g or w?
g
Let d(i) = 0*i**2 - i**2 + 0*i**2. Let q be d(-1). Let t(h) = -h**3 - 4*h**2 - h + 4. Let c be t(-3). Which is bigger: c or q?
q
Suppose m + 15 = 4*i, -4*m + 5 = 3*i + 8. Suppose o - i = -6. Let c(l) = l**2 + 5*l + 2. Let w be c(-3). Which is smaller: o or w?
w
Let z = -0.06 + -1.04. Let x = -1 - z. Let l = 3 - 2. Is x greater than l?
False
Let x = 20 - 17.9. Let s = -2.2 + x. Which is smaller: s or 7?
s
Let a = 660553/54 - 12231. Let y = 1/27 + a. Which is greater: y or 2?
2
Let i be (-3 + (-68)/(-24))/(-1)*4. Suppose 0 = a + 1 - 3. Is i < a?
True
Suppose -3*d = 2*r - 15, -3*r = d + 3*d - 20. Suppose 5*h - d*v = -v - 4, -4*h - 3 = -3*v. Which is smaller: 2 or h?
h
Let c = -45 - -47. Is 3/2 <= c?
True
Let o = 0 - -0.1. Let m = 11 - 7. Let j = -4.1 + m. Are j and o non-equal?
True
Let s(o) = -2 + 3*o**2 - 6*o**2 - o**2 - 3*o + 3*o**2. Let q be s(-2). Which is smaller: -2 or q?
-2
Let i be 11/3 - (-6)/18. Let r = -1 - -1. Which is smaller: r or i?
r
Let v be ((-6)/4)/(99/75). Let a = v - -40/11. Suppose -12 = -5*t + 3. Which is smaller: a or t?
a
Let s(r) be the first derivative of r**2/2 - 13*r - 4. Let x be s(10). Which is smaller: -1 or x?
x
Let n = 1.1 + -1.12. Are n and 1 non-equal?
True
Let k = 11 - 5. Let n be (12/48)/(1/28). Which is smaller: n or k?
k
Let l = -117 - -822/7. Let d = l + 1/14. Which is smaller: d or 1?
d
Let r be 8/(-2)*(-2)/8. Is 2/9 less than r?
True
Let n(r) = -r**3 - 6*r**2 - 5*r - 2. Let w be n(-4). Let t be w/35 + (-1 - -2). Which is bigger: 2 or t?
2
Let s = -115/3 + 38. Suppose -3*l + 25 = 2*l. Let a = -2 + l. Which is bigger: a or s?
a
Let p = -5 + 8. Suppose 5*y = 3*w - 16, -4*w + 5*y + 25 = 7. Suppose -5*o + w = -p. Which is bigger: o or 0?
o
Let t = 63199/45 - 1405. Let p = -7/9 - t. Which is greater: p or 1?
1
Let u = -29 - -28. Is -6/7 less than or equal to u?
False
Let t = -3 + 4. Let y be t/(0 + 7/2). Which is greater: 1 or y?
1
Let t = -19/4 + 5. Let v = 11/12 - t. Is v < 2?
True
Let o be 218/4*10/15. Let w = 37 - o. Which is smaller: 0.2 or w?
0.2
Let f = 8 + -9. Let o = 17/10 + -21/10. Are f and o unequal?
True
Let h(g) = g**3 - g**2 - 3*g + 4. Let m be h(2). Which is bigger: 5/7 or m?
m
Suppose -77*a + 82*a + 645 = 0. Which is bigger: -0.1 or a?
-0.1
Suppose 19 - 3 = 4*g. Suppose -3*v + g = 4*u, -7 = -5*v + 5*u + 23. Is 5 greater than or equal to v?
True
Let n = -26 - -18. Let r = n + 7.8. Which is bigger: 0 or r?
0
Let q = 101 - 101.24. Which is greater: -0.1 or q?
-0.1
Suppose -a - 9 = 2*r, -3*r - 15 = 2*r. Is 17 smaller than