: h or -1?
h
Suppose 9*a + 17 + 1 = 0. Let m = -3/17 - 59/51. Which is smaller: m or a?
a
Let t = -2 - -2.03. Let u = 0.73 - t. Is 0 greater than or equal to u?
False
Let l = -1 + 1. Let h be (-6)/4*(7 - 9). Suppose 0 = -h*u - 1 - 5. Is u <= l?
True
Suppose -a - 3 + 0 = 0. Which is smaller: a or -3/2?
a
Let w = -3.9 + -0.1. Let g = w - -3. Let s = g + 4. Is 2/9 <= s?
True
Let i(n) be the second derivative of n**3/3 - 13*n**2/2 - 10*n. Let u be i(5). Are u and -10/3 non-equal?
True
Suppose -1 - 9 = -w. Suppose y + 5*b - 10 = 0, 0*y - 5*b + w = 5*y. Which is greater: y or 1/3?
1/3
Suppose -y - 3*y = 4. Let d = 99 + -691/7. Which is greater: y or d?
d
Suppose 5*o - 3*o = -g - 5, g - 5*o = 2. Which is smaller: g or -0.1?
g
Let p be 1/4 - (-2718886)/(-2520). Let z = -9676/9 - p. Let k = -24/7 + z. Which is smaller: k or 1?
k
Suppose 3*l = 7*n - 3*n + 16, 3*l = -5*n + 7. Is -2/7 at least as big as n?
True
Let v = -0.6 + 1.1. Let r = v + -0.2. Which is bigger: r or -1/2?
r
Let n(r) = 5*r - 3. Let j be n(1). Which is greater: j or -13?
j
Let s = 44 - 31. Let x = -14 + s. Is -2/3 > x?
True
Let y be (-2)/6 + 13/(-15). Suppose -5*x + s - 15 = 0, 3*x = 4*x - 2*s + 12. Are y and x non-equal?
True
Let b be (-58)/29*35/2. Are -36 and b equal?
False
Let c(a) = a**3 + 8*a**2 - a + 1. Let t be c(-8). Are 8 and t equal?
False
Let n = 759 + -32635/43. Let k be 4*(-83)/(-258) + -1. Let p = k + n. Which is smaller: p or -1?
-1
Let x be 1/(-3)*(0 + 1). Let b = 139 + -139.3. Which is greater: x or b?
b
Let w(s) = s**3 + 2*s**2 + 6*s + 17. Let c be w(-2). Suppose 0 = -2*t + 7*t - q - 8, q + 4 = t. Are c and t non-equal?
True
Let k be 2/4 + (-52)/(-8). Suppose -4*d = -2*w + 8, -2*d - 5*w = -k*d - 20. Is d at least as big as -2?
True
Let m be 5/(-15) - (-20)/6. Let i = m - 1. Is 2/3 at most i?
True
Suppose 0 = -3*p - 3, 10 = 3*c - 5*p - 7. Let g be (-36)/15 + c/10. Let w = -1 + 0. Is g equal to w?
False
Let d = -194803/852435 - 126/4985. Let w = 3/95 + d. Which is smaller: w or 0?
w
Let i = 14 + -14.11. Let s = 0.21 + i. Which is smaller: s or -3?
-3
Let x = -36/11 + 213/55. Which is bigger: 1/3 or x?
x
Suppose 3*m + 12 = 5*m. Let y = 6 - m. Is y at most as big as -1/4?
False
Let j = -111 + 110. Which is greater: 6/19 or j?
6/19
Let v(z) = z**2 - 4*z - 2. Let f be v(5). Suppose -3*t - 7 = 4*x, -f*x = x + 4. Which is bigger: -3/4 or t?
-3/4
Let z(r) = -6 + 2 + 0 + 3*r - 4*r. Let q be z(4). Suppose -4*p + 0 = 36. Which is smaller: p or q?
p
Let r = -28 + 19. Let v = r - -12. Let s = -1.2 - -1. Which is smaller: s or v?
s
Let z = 5 + -75. Which is greater: 0 or z?
0
Suppose -3*k + 35 = 4*u, -2*u + 0*u + 20 = 2*k. Let g = -2 + u. Let o = -0.2 - -0.1. Which is greater: o or g?
g
Let z be 1/(-10) + (-48)/120. Let a = 67/236 - 2/59. Which is smaller: a or z?
z
Let b be 38/9 + (-2)/9. Is b not equal to 3?
True
Suppose -a = -6 - 4. Which is smaller: 11 or a?
a
Let a = 71/4 - 18. Let z = -0.79 - 0.21. Is z not equal to a?
True
Suppose 2*s - 8 = -2*s. Suppose h - s = -h. Let c be (-2 - (-3)/1)/h. Which is smaller: 1/5 or c?
1/5
Suppose -2*h + h + 11 = 2*x, -3*x = 2*h - 22. Let v = h - 11. Which is smaller: v or 5/7?
v
Let t be 724/21*15/(-10). Let k = t - -52. Which is smaller: k or 1?
k
Let a = -2 - -3. Let z = 13 - 8. Let v = -5.1 + z. Is a > v?
True
Let r(c) = c**3 - 7*c**2 + 7*c - 4. Let s be r(6). Let w be (24/(-20)*1)/2. Do s and w have the same value?
False
Let x = 2.3 + -1.4. Let z = 0.1 - x. Let r = 1 + z. Is r > -1?
True
Let m = -75 - -74.9. Is 11 <= m?
False
Let o = -3/91 - 1714/455. Let m = -8818/15 - -592. Let p = m + o. Is -1 <= p?
True
Let h(i) = -i**2 + i - 2. Let p be h(0). Let b = -0.07 + 0.07. Is b < p?
False
Let u = -20 + 40. Let i = 22 - u. Which is smaller: -1/4 or i?
-1/4
Let s = -0.082 + 0.282. Does -1 = s?
False
Let a = 0 - -15. Suppose -3*b + 9 = -0, -3*n + 4*b - a = 0. Is 1/4 >= n?
True
Let d = 16 + -10. Let n = d - 8. Which is greater: n or 0.2?
0.2
Suppose -1 = 6*z - z + s, 0 = -5*s - 5. Let c be (6/4)/(1/4). Suppose 2*d - 3*d - c = -k, -2*k = 4*d + 18. Which is smaller: k or z?
z
Let l be (2/9)/((-45)/(-54)). Which is smaller: l or 1?
l
Let c be -2*(-2)/4*-5. Let h be ((-3)/(-2))/((-2)/20). Let x be (-6)/c - (-3)/h. Is -2/13 less than or equal to x?
True
Suppose 3 = 4*n + 15, -3*n = -5*p + 14. Let d = 3.95 - 4. Let u = 0.05 - d. Which is bigger: u or p?
p
Let p = 2.1 - 2.11. Is p greater than 0.1?
False
Let f be 14 - -4*(-3)/6. Let r be f/7 - (-6)/(-8). Let o = -5/7 + r. Which is bigger: -1 or o?
o
Let i = -13793/31 - -445. Which is smaller: i or 0?
0
Let o be (1 + -1)*(-2)/4. Let c = 126 + -122. Is c greater than o?
True
Suppose 2*t = -t + 12. Suppose -4*z + 4*r = 2*r - 6, -5*z - 5*r = 0. Suppose -5 + z = t*p. Is 2/7 smaller than p?
False
Let d be ((-26)/6)/(30/45). Which is smaller: 1/3 or d?
d
Let h be 6/(-27) - 50/18. Let g be (1/h)/((-20)/36). Does 1 = g?
False
Let m be ((0/(-3))/(-3))/(-5 - -3). Is -1/31 >= m?
False
Let u(q) = q**3 + 6*q**2 - 2*q - 9. Let i be u(-6). Suppose -4*n = -i*v - 9, -3*n = 2*v + v + 9. Which is greater: n or -1/12?
n
Suppose 2*n + 6 = -5*g, -5*g + n + 3 = -g. Suppose 0 = -5*d + 2*o - 21, -5*d + 6 = 2*o + 15. Let t = d + g. Which is bigger: t or 0?
0
Let b = 3.1 - 1.9. Which is smaller: 1 or b?
1
Let p be 4/6 - (-6)/(-9). Suppose 0 = 5*s - p*s. Which is greater: s or -1?
s
Let v be (6 - 3)*4/(-6). Let x = v - -4. Suppose 0*k + 2*o + 6 = x*k, 0 = 4*o + 16. Is -2 less than or equal to k?
True
Let w = 4349/108 + 13/27. Let d = 41 - w. Let p = 8.3 - 8. Which is bigger: d or p?
p
Let w = -44 + 44.19. Let d = 0.01 + w. Is d less than -2?
False
Suppose -4*s = -n + 26, 3*n - 47 + 14 = 3*s. Which is smaller: 8 or n?
n
Let k be 6/27*51/6. Which is smaller: 3 or k?
k
Let n be (-2 - 0) + (-48)/(-22). Let s = -3 + 5. Suppose 1 + 22 = -s*g - 5*r, -3*g = 3*r + 12. Which is greater: g or n?
g
Let q be (-20)/130 + (-8)/(-26). Which is smaller: q or -2/5?
-2/5
Let o = -56.2 + 57. Which is greater: o or -0.3?
o
Suppose 0 = -z - 2*z + 60. Suppose b + 4*b - 7 = -3*p, 4*b + z = 4*p. Let a be (1 + -3 - b) + 2. Which is greater: -3/7 or a?
a
Suppose 8 = -h + 2. Let x be h/(-1)*(-3)/(-2). Is -2/3 bigger than x?
False
Suppose 2*h + 9 = 1. Are -5 and h non-equal?
True
Let d(u) = 2*u**3 + u**2 - 4*u - 3. Suppose -p + 5 = -3*s - 3, -s - 16 = -3*p. Suppose 4*y - y - p = -5*j, -3*y = j - 13. Let f be d(j). Is -5 at least f?
True
Let d(r) = -6 + 4 + r**2 - 2*r**2. Let w be d(-2). Let b(f) = f**3 + 7*f**2 + 5*f - 7. Let s be b(w). Are s and -3 equal?
False
Let g be (-3)/(189/(-114)) - 2. Which is bigger: 0 or g?
0
Suppose -15 - 13 = -2*c + 4*g, -4*c + 28 = -g. Let r = -10 + c. Let k = 7 + r. Which is smaller: k or 4?
k
Let q = -18 - -35/2. Is q less than -1/3?
True
Let u = 5 + -5.08. Let l = u - 0.02. Let t = -5.8 - -6. Which is smaller: l or t?
l
Suppose 4 = -39*h + 38*h. Is -4 > h?
False
Let x(f) = -15*f + 1. Let w be x(-3). Let h be (-3)/15 - w/(-130). Is h < 0?
False
Let q(b) = b**3 - 9*b**2 + 8*b. Let l be q(8). Is l smaller than 2/9?
True
Let n = -84 - -85. Is n at least -2/137?
True
Let s(y) = -y**2 + 5*y + 4. Let z be s(5). Suppose 4 = -z*a + 2*a. Let q be (2*(-2)/4)/1. Which is smaller: q or a?
a
Let c be (16/(-130))/((-14)/1135). Let g = 72/7 - c. Let x = -21/26 + g. Is -1 at least x?
False
Let a = -84.95 - -87. Let j = 0.05 - a. Let f = -1 + 0. Is j not equal to f?
True
Let s = -15942/7 - -2271. Let n = 47/7 + s. Is -1/4 not equal to n?
True
Let i = -1/17 - -25/136. Let d = -3 - -3. Which is smaller: i or d?
d
Let s = 75 - 75. Is s greater than or equal to 1?
False
Let x = -0.18 - 6.82. Let y = 1 + x. Which is smaller: y or 2/11?
y
Let i(a) = a - 1. Let r = 3 + -4. Let x be i(r). Let l be ((-1)/(-2))/(x/(-8)). Do 1/2 and l have the same value?
False
Let j = -13.19 + 13. Let y be (-3)/(-6) - 2/12. Is j > y?
False
Let p be 20 + -20 - (1 - 64/61). Is -0.1 less than p?
True
Let o(q) = -q**3 + 5*q**2 - 3*q - 1. Let x be o(3). Let a be (-2)/(-4) + 20/x. Suppose 16 = 5*u + n, 0 = -2*u + u - 2*n - 4. Which is smaller: a or u?
a
Let f be 51/(-17) + (1 - -6). Which is smaller: f or 5?
f
Suppose 4*r - 70 = -0*r + 5*m, 0 = r + m - 22. Let g be (304/(-24))/(r/(-6)). Is 4 greater than g?
True
Let j = 6 + -11. Let d(l) be the second derivative of -l**5