t p be 242/462 + (-3)/7. Is p less than or equal to i?
True
Suppose -2*f + 5 = -f. Suppose 5*o = 2*r + 12, -f*r = -3*o - r - 4. Is o < 0?
False
Let f = -38 - -12. Which is bigger: f or -24?
-24
Let d(q) be the third derivative of -1/8*q**4 + 1/6*q**3 + 1/120*q**6 + 3*q**2 + 1/30*q**5 + 0*q + 0. Let h be d(-3). Which is bigger: h or -2/5?
h
Let i = 77.1 - 81. Is i <= 1?
True
Let h(j) = -j**3 + 9*j**2 - 18*j + 24. Let r be h(7). Which is bigger: -9 or r?
r
Let f = 5 - 1. Suppose -4*d + f*n = -9*d + 1, 2*n + 4 = 2*d. Which is smaller: d or -0.3?
-0.3
Suppose 4*p - 14 = 14. Let q be ((-2)/p)/((-10)/15). Is -1 >= q?
False
Let v be -3 - (-3 - 82/130). Let d = v + -3/13. Let u be (-1 + -1 + 2)*-1. Are u and d non-equal?
True
Suppose 5*a - 13 = 4*h, 5*a - 7 = 2*a + 2*h. Let g(l) = -2*l**2 + l - 1. Let r be g(a). Which is smaller: -7/5 or r?
r
Suppose 0 = -5*q - 3 + 38. Suppose 0 = -4*l + q + 1. Suppose -3*j = -5*r - 18, l*j - 4*j = -3*r - 11. Is -3 > r?
False
Let i be (-4)/(-8) - (-442)/(-4). Let u be 2/(-4) - 85/i. Suppose -g + 15 = -4*g, -5*f - 4*g - 20 = 0. Which is greater: f or u?
u
Let k be (9 - -3)*(-2)/6*14. Which is bigger: k or -57?
k
Let p be (-10)/(4/(-6)*-3). Which is smaller: p or 0.2?
p
Let t be 26/91 - (-10)/14. Is t > 2/29?
True
Let o = 26 - 18. Suppose -4*v - j = 7, -v = -0*j - j + o. Is v bigger than -3?
False
Suppose -r + 5*r = -2*g + 20, 3 = -3*r + 3*g. Let h be 2/6 + r/(-9). Is h less than -1?
False
Suppose 5*l + 0*l = 3*n + 2, -3*n + 4*l - 1 = 0. Let c = 246/5 + -49. Which is bigger: n or c?
n
Suppose -3*r = a + a - 28, -3*r = a - 14. Is 13 > a?
False
Let x = 1.1 + 4.9. Let v = -5.86 + x. Let p = v + 0.06. Is -1 <= p?
True
Let h(d) = -d**3 + 5*d**2 - d + 6. Let x be h(5). Let a be (-3)/12 - (-1)/4. Suppose -2*q + 4*q - 6 = a. Which is smaller: x or q?
x
Let t be 1 + -3 + (2 - 0). Let p = -3.2 - -3. Which is smaller: t or p?
p
Let s = 4 - 3. Let i = s + 0. Is i less than 2/15?
False
Let m = -469577/183 + 2566. Let u = 371/915 - m. Suppose 5*i = -7*i + 12. Are u and i unequal?
True
Suppose -3*v = -v - 4. Let h(f) = -1 - 3*f**2 + v*f**2 + 12*f + 2*f**2. Let p be h(-12). Which is smaller: -2/21 or p?
p
Let q = 13 - -3. Are 15 and q non-equal?
True
Let m = -1.06 - -0.06. Do -4 and m have the same value?
False
Let j = -19 + 21.3. Let x = 2 - j. Is x at least -0.1?
False
Suppose -5*t + 11 = -14. Suppose t*m = -2*z - 0*m - 22, -4*z = -5*m - 16. Are z and 2/11 equal?
False
Let g be (-6)/(-8) + (-62)/8. Let f = g - -8. Which is smaller: f or 2/3?
2/3
Let q(b) be the third derivative of -b**4/24 + 11*b**3/6 + 5*b**2. Let g be q(9). Which is bigger: g or 4?
4
Let s = -11 + 1. Which is greater: s or -11?
s
Let l = -790.0774 - -6.1874. Let f = -780 - l. Let d = -0.11 - f. Which is greater: d or 1?
1
Let t(l) = -l**2 + 4*l. Let g(b) = -2*b**2 + 9*b. Let x(m) = -4*g(m) + 9*t(m). Let u be x(-1). Is -1 at least as big as u?
True
Suppose 0 = 5*m + 3*n - 6, 3*m - 3*n = m - 6. Suppose m = k - 13 + 8. Is 5 less than k?
False
Let j(f) = f**2 + 2*f + 2. Let m be j(-2). Let b = m - -5. Let o be 2/b - (-60)/(-112). Which is smaller: -1 or o?
-1
Let q be 12/60*(0 + 7). Is 0 greater than or equal to q?
False
Let l = -41 + 14. Let q be (2/l)/((-52)/(-294)). Let a = q + 4/13. Are a and -1 non-equal?
True
Let o = 208/11 + -3089/22. Let k = o - -118. Which is bigger: k or -3?
-3
Let r = 0.5 - 2. Let h = r + 0.5. Is -2 at most h?
True
Suppose 42 = -3*v - 0*v. Is -13 greater than v?
True
Let g = 2 - 4. Is -3 at most as big as g?
True
Let z(h) = -h**3 - 3*h**2 - 4*h - 2. Let m be z(-4). Let k be (m/80)/(18/40). Which is greater: 1 or k?
1
Let h = 0.01 - 3.01. Let a = 3 + h. Which is bigger: -1/2 or a?
a
Let p(j) = -j**2. Let f be p(0). Is f at least 7/19?
False
Let x = -8.58 - -0.28. Let j = x - -1.4. Let p = 7 + j. Which is smaller: p or 0.3?
p
Let q = 0.05 + -0.12. Let r = -0.27 - q. Let n be (9/(-6))/((-1)/(-2)). Which is smaller: r or n?
n
Let y = -76/35 + 13/5. Which is smaller: 0 or y?
0
Suppose 22 = -2*j + 3*u, j - 2*u = 2*u - 11. Which is smaller: j or -2?
j
Let w = 0.11 + -1.31. Let a = -3 - -4. Let l = w + a. Is -2 >= l?
False
Let q = -16 + 26. Let n be -1 - -3 - (-80)/(-50). Is n >= q?
False
Suppose 16*w - 95 = 17. Is w >= 7?
True
Let r = 127.89 - 129. Let g = r + 0.11. Is g <= 0.06?
True
Let j(h) = -h + 5. Suppose -2*r = r - 21. Let q be j(r). Which is greater: q or -11/6?
-11/6
Let w be (13 + -3)*2/65. Which is smaller: -1 or w?
-1
Let a = 9.94 + 0.96. Let f = 5 - -6. Let j = f - a. Is j != 6?
True
Let p = 3.4 + -3.6. Let n = 0 - 0.1. Let j = n + 1.1. Which is smaller: p or j?
p
Let c = -2/2289 + 116743/4578. Which is greater: 26 or c?
26
Let w = -242/9 - -27. Which is smaller: w or 0?
0
Let t = 12 - 10. Which is greater: -3/14 or t?
t
Suppose 3 = y - 1. Let d(i) = 1 + 3*i - 1 - 3. Let v be d(2). Is y bigger than v?
True
Let f(y) be the first derivative of -y**3/3 + 9*y**2/2 + 12*y + 2. Let l be f(10). Suppose l*z = -0*z. Are 4 and z unequal?
True
Let h = 0.57 + -0.67. Which is smaller: h or 3/8?
h
Let c = -1 - -2. Let m(o) = 20*o - 17. Let z be m(13). Let j be 1 + (z/75)/(-3). Which is smaller: c or j?
j
Suppose -o - h = h, 0 = 4*h + 4. Suppose -o*k + 5*n = -0*k + 25, -10 = 4*k - 2*n. Let d be 0 + -1 + k/3. Is -1 at most d?
True
Let j(x) = x**2 + 8*x - 22. Let d be j(-12). Which is bigger: d or 27?
27
Suppose 0*z + 30 = 3*z. Suppose -z - 2 = 3*x. Let w(y) = y**3 + 3*y**2 - 4*y. Let d be w(x). Is 2 less than d?
False
Let w = -0.4 + -0.6. Which is bigger: 0 or w?
0
Let z(q) = 0*q**2 + 3*q**2 - q + 0*q**2 - 1. Let h be z(-1). Let d be (12/9)/(2/h). Which is greater: 3/5 or d?
d
Let t(c) = 5*c**2 - 2*c. Let h be t(2). Is h bigger than 1?
True
Let x = 27 + -12. Is x greater than 16?
False
Let c = 29/12 + -7/4. Is 0.04 equal to c?
False
Suppose 0 = 2*a - 3*k + 25, 3*k - 1 = 3*a + 29. Let w(p) = p**2 + 3*p + 1. Let o be w(-2). Let s be (1/5)/(o/a). Does s = 0?
False
Let w be -1 + (1 - (0 - 0)). Suppose -7*v + 3*v = w. Suppose 0 = s - v*s + 3. Is -1 less than s?
False
Let i be (183/12)/(27/(-6)). Let o = i + 19/6. Which is bigger: o or 4?
4
Let m = -11.4 - -11.43. Which is smaller: m or -3?
-3
Let d = -23 + 14. Is d greater than or equal to -9?
True
Let d = 516 + -364. Is 0 != d?
True
Let s be -4 + -14 - -1*2. Let v be (-6)/(-27) + s/(-9). Suppose 14 = 2*g + 4*c, -2*g - c + v + 3 = 0. Is g greater than or equal to -1?
True
Let q = 107.02 + -106. Let a = 0 - -1. Let n = a - q. Which is greater: 1/4 or n?
1/4
Let b be 2/(-140)*16/(-4). Is 0 less than or equal to b?
True
Let y = -12 - -1. Let f = y - -13. Let p = 1.9 - f. Which is bigger: 4 or p?
4
Let j = 3 + -7. Let q = j + 4.1. Is q smaller than -1?
False
Let y = 4/9 - 17/18. Let o be -3 - 1/(6/(-21)). Is o greater than or equal to y?
True
Let i = 18.33 - 0.33. Let t = i + -17. Is 1/17 >= t?
False
Let g = -1409/13 - -542/5. Which is greater: 1 or g?
1
Suppose -3*n + 5*b = -n + 17, 3*n - 3*b = -12. Let z be n/15 + (-2)/(-6). Let x = z - 22/45. Which is smaller: x or -1?
-1
Let t be (6/(-4))/(6/8). Let d = t + 6. Suppose -d*v - 4 = 0, 0*v - 5*v - 5 = c. Is c equal to 1/8?
False
Suppose -4*l - 3*a + 3 = -6, -a = -4*l + 13. Let f be 8/6 - (-6)/9. Let h be 0/(-3) + f + 1. Is l equal to h?
True
Let g = 4.98 - 5. Let n = 0.02 + g. Let b = -1 + n. Are -1/2 and b nonequal?
True
Let p = 1 + -0.98. Let c = -8.98 - p. Is -0.1 > c?
True
Let n be ((-2)/4)/((-1)/2). Suppose 10 = 2*k + 4*c, 5 + 6 = -5*k + 2*c. Let t = k + n. Which is smaller: 1 or t?
t
Let z = 7 + -6. Let a = z - 0.8. Let s = 2 + 0. Is a at most as big as s?
True
Let z be (-24)/10*170/(-51). Which is smaller: 7 or z?
7
Let a = 27 - 23. Suppose 0 = -l - v + a, -l + 5*v - 20 = 0. Is l > -3/7?
True
Let a be 30/35*(3 - 24). Which is greater: -17 or a?
-17
Let z(m) = -3*m + 3*m + 0 - m - 1. Let o be z(-1). Does 0 = o?
True
Let i be -8 + (1/(-1))/(-1). Let y = i - -7. Is y bigger than 1/3?
False
Let n = 8 + -7. Suppose -r = 2*r. Suppose 4*l + 9 = 5*i, r = 2*l + 6*i - i - 3. Do n and l have different values?
True
Suppose -n = 2*n + 6. Let b be ((-5)/6)/((-3)/(-6)). Which is smaller: n or b?
n
Let s be (10/6)/((-2)/(-6)). Is 5 at most as big as s?
True
Suppose -2*r - 27 = -5*r. Let y be 6/r*(-3)/(-2). Which is greater: y or 3?
3
Let c = 0.2 - 0.2. Let d = -4 