 be 1/(-2)*(3 - -1). Is o smaller than h?
True
Let p = 0 + -5. Let s be ((-6)/9)/(32/(-24)). Is p <= s?
True
Let c = 30 - 28.1. Let l = c + 0.1. Let f = 1.9 - l. Which is smaller: f or 0.2?
f
Suppose 0*f - 15 = -4*f - 3*i, 4*f = -5*i + 25. Suppose -5*q - 16 = -11. Which is bigger: q or f?
f
Let f = 0.7 - -0.3. Let l = -31 - -29.86. Let a = 0.14 + l. Is a bigger than f?
False
Let d be 8/(-12)*9*-1. Let b = d + -10. Suppose -8 - 4 = 4*x. Is b bigger than x?
False
Let n = 0 - -4. Suppose 3*x + 17 = c, -n*c + 5*x + 31 = -c. Suppose -8 = -c*f - 2*z, -f = -2*z - 3*z + 26. Is f at least as big as -1?
True
Let p(d) = 2*d**2 + 4*d - 1. Let g be p(-3). Suppose l = -4*l - g. Which is smaller: -2 or l?
-2
Let n(l) = l**2 - 6*l + 5. Let u be n(5). Suppose -2*c = 5*s - 3 - u, -18 = -2*s - 5*c. Is 4/9 equal to s?
False
Let x be 1/(-9)*-3*72/(-76). Which is smaller: x or 0?
x
Suppose 5*r = r + 12. Suppose 4*c + 12 = c - r*a, 6 = -2*c - a. Is 0 bigger than c?
True
Suppose -3 + 0 = -r. Suppose -r*s + 4 = s. Suppose -2*j - s = 1. Which is greater: 0 or j?
0
Let f(c) = 15*c - 1. Let a be f(2). Suppose a = -4*p - 35. Are p and -16 unequal?
False
Suppose 0 = -t + 6 - 2. Suppose -10 = -t*b + 2. Suppose -4*z = b + 1. Which is smaller: z or -2/11?
z
Suppose 2*t + 3*t - 5*b = 10, -3 = 3*b. Suppose -q + 4*d - t = 3, 2*d - 2 = 0. Is -3/11 bigger than q?
False
Let z = 1289192/245 + -5262. Does 1 = z?
False
Let j(h) = 7*h**2 + 14*h + 13. Let g = -4 + 9. Let x(l) = 4*l**2 + 7*l + 7. Let z(o) = g*x(o) - 3*j(o). Let f be z(-6). Which is greater: 1 or f?
f
Suppose 16 - 11 = 5*p. Which is greater: p or 1/29?
p
Let b = 1.1 + -0.4. Let f = b + -0.4. Let d = f + -0.3. Are 0.2 and d equal?
False
Let j = -9 + 14. Suppose j = 5*n, -2*d + 4*n = 2*n. Is -1/3 greater than or equal to d?
False
Let p be 1 + (3/(45/138) - 0). Is 10 != p?
True
Let k = 0 + 1. Let g = k + -4. Let t be (-5)/(-7) + g/3. Are t and -1 non-equal?
True
Let u = 3.1 - 6.1. Is u smaller than -7/3?
True
Suppose 4*p = -10 + 54. Is 10 at most p?
True
Let a be (-13)/(-4) + 2/(-8). Suppose -1 - a = -4*f. Let j be (-10)/(-55) + 10/(-55). Is f greater than or equal to j?
True
Let n(s) = -s**2. Let b be n(-1). Let x be b/((-1)/6*1). Let g = x - 8. Is g > -4?
True
Suppose 3*l - 9 - 15 = 0. Let x(w) be the first derivative of w**2/2 - 7*w + 2. Let b be x(l). Is 1/6 less than or equal to b?
True
Suppose 3*k + 4*f = 30, -6*f = -4*k - 2*f + 12. Suppose k*r - 3*r = 0. Which is greater: 2 or r?
2
Let w(g) = -g - 3. Let x be w(-3). Suppose x = 4*h + 20 + 16. Which is smaller: 0 or h?
h
Let a(t) = -t**3 - 7*t**2 - t - 8. Let h be a(-7). Let i be (-20)/(-27)*-3 + 2. Which is smaller: h or i?
h
Suppose -2*s - 3 = 3. Let j = -3 - s. Let w be 1 - (3 + (-4)/4). Which is bigger: w or j?
j
Let j be (-4 + 9)*(4/35)/(-2). Which is smaller: 0 or j?
j
Let h(b) = -b - 4. Let c(n) = n - 1. Let t be c(-3). Let z be h(t). Suppose -3*f + 7*f - 4 = 0. Which is bigger: z or f?
f
Let r = -112/3 - -275/6. Are r and 10 non-equal?
True
Suppose 0 = -8*z - 4 - 4. Which is greater: z or -25?
z
Let j be 1/2 + (-6)/(-4). Let n = -3 + j. Is -1 at least n?
True
Let c(g) = g - 1. Let i be c(-1). Let k be ((-4)/(-5))/(i/5). Are k and -4 equal?
False
Let h = -13 + 8. Let d = 11.1 - 11. Which is smaller: d or h?
h
Suppose -2*k = -5*q + 4*q - 45, -k - 4*q = -45. Is k > 101/4?
False
Let u = 7819/12 + -652. Is 0 not equal to u?
True
Suppose -y + 3 = 0, -2*v + 5*v - y = -12. Which is greater: v or 0?
0
Suppose -3*x + 0 + 3 = 0. Let m be (x + 0)/(2 - 1). Which is greater: m or -1/3?
m
Let a = -2.02 + 0.02. Let d = a - -1.8. Which is bigger: 3/4 or d?
3/4
Let n be 3 + 4/52*-38. Is n >= -1?
True
Suppose 15*b + 592 = -293. Is -59 greater than or equal to b?
True
Let w = 53.2 + -12.2. Which is greater: w or 0.2?
w
Let d be (1/(-3))/(170/360*6). Suppose 0 = -4*t - t. Let v = 0 + t. Is d less than v?
True
Let g = -619/58 - -5/29. Suppose -r = 7*r + 88. Which is smaller: g or r?
r
Let v be ((-8)/10)/2*-5. Is 3 greater than v?
True
Let a = -21 + 22. Which is smaller: -1/3 or a?
-1/3
Let w be -1*483/66 - -2. Let p = 11/2 + w. Which is smaller: 2/3 or p?
p
Let k(g) = g - 3. Let l be k(4). Suppose -5*h = -c + 23, 4*c = -2*h + 3 + l. Is h < -6?
False
Let c = -295 - -1187/4. Which is bigger: c or 1?
c
Let h be -1*(1*10)/2. Let q(n) = n + 5. Let m be q(h). Let v = -22 + 23. Which is bigger: m or v?
v
Let o = 1.7 - -0.3. Which is bigger: -3 or o?
o
Let n = 1 + -1. Suppose n*b = 2*b. Which is smaller: -2/13 or b?
-2/13
Suppose 36 = -6*x + 30. Is 6/29 greater than or equal to x?
True
Let p = 6 - 7. Which is bigger: -0.1 or p?
-0.1
Let p(a) = -a**2 + 9*a - 5. Let w be p(5). Let v be (-3)/(-2)*w/(-9). Let d = 3 + v. Which is bigger: d or 0?
d
Let s = -12 + 11.9. Let k = s - 0. Which is smaller: -0.07 or k?
k
Let w = -59 + 34. Let s = 33 + w. Which is bigger: 0 or s?
s
Let y = -1.047 - -0.047. Let f = -2.5 + 0.5. Are y and f equal?
False
Let w be (-2)/9 + 5936/63. Is 94 < w?
False
Let k = 40 - 34. Is k less than -2?
False
Let a = -0.17 + 2.17. Let r = 13.4 + -15. Let f = r - 0.4. Which is smaller: a or f?
f
Suppose -g - 5*d + 29 = 2, 4*g - 3 = d. Let n be (-1 + 1/2)/(-1). Is n less than g?
True
Let j be (2/(-4))/(1/20). Let w be (-2)/4 + 35/j. Is w <= -5/2?
True
Let w(a) = a + 7. Let m be w(-8). Let s be (-59)/(-3) + (-1)/(-3). Let l = s - 79/4. Does l = m?
False
Let p = -17087 + 1947953/114. Let t = 1/38 + p. Is 1 at most t?
False
Suppose -2*a + 3*y - 24 = 0, 5*y + 28 = -4*a + y. Let x(f) = -f**2 - 8*f + 8. Let j be x(a). Which is smaller: j or 0.1?
j
Let q be 11 - 13 - (-7 - 1). Which is smaller: 7 or q?
q
Let v be (-2 - -3)*(-1)/(-1). Is 7/3 > v?
True
Let r(x) = x**3 - 5*x**2 - 1. Let k = -1 + 1. Suppose k = -4*j + 5*t + 5, -3*t - 2*t + 40 = 5*j. Let h be r(j). Is 1/6 > h?
True
Suppose 10 = -3*z + 4*s - 3, -2*s + 10 = 2*z. Let j be 138/132 + 7/(-14). Which is bigger: z or j?
z
Let m = -153 + 923/6. Let u(g) = 2*g - 3. Let y be u(2). Which is bigger: y or m?
y
Suppose 6 = 3*z, 10 + 30 = -4*m - 2*z. Is -11 less than m?
False
Let z = 1/74 + 293/222. Which is smaller: z or 13?
z
Suppose 2*d + 3*d = -35. Let q(b) = -b - 9. Let j be q(d). Let r = j - -3. Is 2/3 at least as big as r?
False
Let l(t) = t**2 + 12*t - 1. Let z be l(-12). Let x = z + -10. Let q = 15 + x. Is q less than 3?
False
Let l(r) = r**2 - 13*r - 7. Let w be l(12). Is -19 != w?
False
Suppose 0 = 3*z + 2*v - 2, v = 2*z - 3*z. Which is smaller: z or 10?
z
Let z = 86075/26 + -3310. Let j = z + -11/26. Which is smaller: 0 or j?
0
Suppose -4*h - g + 53 = -2*g, -5*h - 3*g = -79. Is h greater than or equal to 15?
False
Let w be (-1)/2*2 - -1. Is 1 greater than w?
True
Let m = 1 + 7. Let p = -5 + m. Suppose -3*c + 19 = c + p*s, 4*c = 2*s - 6. Is 1/8 at least c?
False
Let o(y) be the third derivative of y**4/24 - 7*y**3/6 - y**2. Let t be o(8). Does t = 1?
True
Let b = 0.02 - -0.02. Let v = b + -0.04. Are v and 0 non-equal?
False
Let h = -25 + 41. Let a = 16.3 - h. Which is smaller: a or 4?
a
Suppose -3*r + 4*r = -o + 2, -3*o + 3*r = 6. Which is smaller: o or 2/75?
o
Let u = 48/11 - 46/11. Suppose 5*g = -15 - 0, 5*g + 15 = 5*j. Which is smaller: u or j?
j
Let q = 14.4 - 10.4. Suppose -5*s + 3*z + 15 = 0, s + 15 = -0*s - 3*z. Which is smaller: q or s?
s
Let v be (-12)/(381/48 - -3). Let z = -6/25 - v. Does z = 0?
False
Let p(r) be the second derivative of r**4/12 + 2*r**3/3 + 2*r**2 + 3*r. Let n be p(-3). Which is smaller: n or 0?
0
Let d be (-13)/105 + 11/(-77). Which is bigger: 0 or d?
0
Suppose -3*c = 12, -3*u - 5*c = 14 + 6. Suppose 4*x - 4*p - 300 = u, p - 15 = 6*p. Let q be x/(-42) - (-2 + 0). Which is bigger: -1 or q?
q
Suppose 16*q = 15*q + 1. Which is greater: q or -4/19?
q
Let j(x) = -x**2 - 6*x. Let o be j(-6). Are o and -8/9 equal?
False
Let x = 4 + -3.1. Let r = -0.1 - x. Which is smaller: r or 1/2?
r
Suppose 2*n + 43 - 109 = 0. Which is bigger: 34 or n?
34
Let m be (-4)/18 - 261/(-81). Is 4 > m?
True
Suppose -3*r + v = -2*v - 33, -9 = r + 3*v. Suppose 5*y + 0 = 2*o - 1, -5*o + 25 = -5*y. Let k = r - o. Which is smaller: k or -1?
k
Let j(o) = 2*o - 7. Let z be j(5). Suppose -2*r - 4*q + 18 = -4*r, -z*r + 13 = 4*q. Is r >= 0.1?
False
Let j(s) = -s**2 - 7*s - 5. Let g be j(-6). Let t = 43 - 298/7. Which is bigger: g or t?