= h - 9. Which is bigger: u or 0?
u
Let o be ((-7)/(35/274))/2. Let s = o + 27. Let x be (-1)/(-2) + 11/(-14). Is s bigger than x?
False
Let o = 11 + -3. Which is bigger: o or -2?
o
Let d(j) = j**2 - 14*j - 2. Let i be d(14). Which is smaller: i or -1?
i
Let i be (5 - 5)*1/(-2). Which is bigger: 2/63 or i?
2/63
Let x = 18 + -10. Let r = 5 - x. Let d = 3.2 + r. Which is smaller: d or 1?
d
Suppose -t - 1 = 3*g - 11, 0 = 2*t + 3*g - 23. Are 12 and t equal?
False
Let j = -13 - -26. Let d(i) = i - 8. Let v be d(j). Suppose -4 = w - v. Which is greater: -2/9 or w?
w
Suppose -3*k = -3*x - 54, 0 = 2*k + 2*x + x - 41. Let s = 23 - k. Are s and 1/4 non-equal?
True
Suppose 5*p = -35 - 20. Which is smaller: p or -9?
p
Let z = -756 - -32511/43. Are z and 1 nonequal?
True
Suppose 1 = -o, g - 4*o = -4*g - 1. Suppose -5*y + 4*a = a + 13, 5*y - a = -11. Which is smaller: g or y?
y
Let a(s) = -s**3 + 7*s**2 + s - 4. Let k be a(6). Suppose -3*z = -5 + k. Is -12 less than z?
True
Let o = 0 + -3. Let k be 1/o - (-1)/(-3). Let p be (-4)/3*3/14. Which is smaller: k or p?
k
Let m = 1 + -0.98. Let f = 2.02 - 2.2. Let v = m - f. Are v and -2 non-equal?
True
Let b = -0.12 - -7.12. Let p = b + -7.1. Which is bigger: 10 or p?
10
Let r be 2/(-4) - 51/(-36). Let f = -41/36 + r. Let d(h) = h - 2. Let k be d(3). Is k at least f?
True
Suppose -3*p - 18*p = -21. Let a be 2/(-6) + 31/75. Which is smaller: a or p?
a
Suppose 3*h = -4*h. Which is smaller: h or -3/17?
-3/17
Let f = 67 + -102. Is -37 greater than f?
False
Let n(w) = w**2 + 6*w - 8. Let q be n(-7). Let v = -11 + 21. Let i be (-16)/v - 4/10. Which is greater: i or q?
q
Let w(m) be the first derivative of m**3/3 - 9*m**2/2 + 2*m + 1. Let k be w(8). Let d be (8/(-12))/(8/k). Which is smaller: d or 4?
d
Let s(u) = u - 2 - 4*u**2 - 2*u + 0*u**3 - 3 - u**3. Let o be s(-4). Is 3/8 > o?
True
Suppose 7*i = 14*i - 21. Let a = -279 - -844/3. Which is greater: a or i?
i
Let n(w) = 5*w - 3. Let a be n(3). Let l be 1/(-3) + a/117. Does l = -1?
False
Let l = 204/5 + -2642/65. Let q be 0/((-1 - -2)/1). Is l < q?
False
Let i be 0 + (4/10 - (-132)/(-5)). Do i and -26 have the same value?
True
Let x = 22 - 16. Let o be x/(-39) - 11/13. Is 3 at most o?
False
Suppose d + d + 4 = 0. Is -1 at least d?
True
Let r be (-1)/2 - (-5)/2. Suppose -r = -2*u - 10. Let s = u + 2. Are s and -2 nonequal?
False
Let l(o) = o**3 + 3*o**2 - 3*o + 4. Let i be l(-4). Let p be (4/(-6))/((-25)/(-3)). Which is bigger: i or p?
i
Let l = 18 + -11. Which is bigger: 29/5 or l?
l
Let d be (-32)/(-40)*(0 + -5). Let x = d + 2. Which is greater: x or -4?
x
Let a be 5/(-25) - 1/5. Let d = -1 - -6. Let t(h) = -h**2 + 6*h - 4. Let m be t(d). Which is bigger: m or a?
m
Let i(h) = 3*h. Let w be i(-3). Let x be -1 - ((-297)/30 + 4/10). Let m = w + x. Is -2 greater than or equal to m?
False
Suppose -5*u + 66 = a - 153, -2*a + 8 = 0. Let r = u - 25. Let i = -164/9 + r. Which is smaller: i or 1?
i
Let q(w) be the third derivative of -w**5/60 + w**4/2 + 5*w**3/3 + w**2. Let j be q(12). Suppose -3*r + 15 = -k, -4*k + j = -2*k + 2*r. Is k less than 1?
True
Let n = -4/155 - -354/1705. Which is smaller: n or 0?
0
Let q = -11 - -11.2. Let j = q - -0.1. Is j at least 1?
False
Let s(y) = -y**3 - 5*y**2 - 5*y - 2. Let u be s(-3). Let g(f) = -f - 4. Let z be g(u). Is 1 at least as big as z?
True
Let x(d) = d**3 - 8*d**2 - 9*d - 2. Let h(b) = b**2 + 4*b - 3. Let z be h(2). Let y be x(z). Are y and -3 non-equal?
True
Let p = 868 - 2632/3. Is -10 greater than or equal to p?
False
Let y = -3 + 4. Let n be 0 + y*(4 - 1). Suppose 4*l = -2*r + 2 - 6, 0 = n*r + 3*l + 3. Which is smaller: -1/4 or r?
-1/4
Let y be 1/(-2) + (-16665)/50. Let r = y + 335. Which is smaller: r or 2?
r
Let p = 47.1 + -50. Let h = -3 - p. Is 3 less than h?
False
Suppose 5*w + 3*n - 13 = 2*n, n - 5 = -w. Is 5/4 at least w?
False
Let q(m) = m. Let r be q(6). Is 4 less than or equal to r?
True
Let t(x) be the first derivative of -x**3/3 - 9*x**2/2 - 3*x - 2. Let c be t(-8). Suppose 3*f = 2*f - o, 0 = c*f + o - 12. Which is greater: 4 or f?
4
Let l = -3 - 1. Which is bigger: 0 or l?
0
Let i = 0.29 - 0.2. Let m = i - -0.51. Let t = m + -2.6. Is 0.1 at most as big as t?
False
Suppose 11 = s - 3*n, 2*s = -s + n + 9. Suppose 0 = 3*r + s*v + 9, -4*v = 2*r + 16 - 2. Let h = 513/8 + -64. Which is greater: h or r?
h
Let c = 0.4 - 0.35. Is c equal to -0.1?
False
Let d = -0.6 + -0.2. Let g = 16.2 - 20. Let c = d - g. Is 1/4 equal to c?
False
Let y = -11 + 1. Let v = y - -9.9. Is v greater than -2/5?
True
Let c = 14 - 17. Let m be (-2)/(-6) + 3 + c. Which is bigger: 0 or m?
m
Let x = 756 + -3003/4. Let w = 323/60 - x. Is -1 != w?
True
Suppose 5*t = 5*j - 90, -5*t + 2*t = -j + 14. Let z be (-2 + 1)/(j/8). Is 0 smaller than z?
False
Let s = 298 + -3276/11. Suppose 0 = 2*x + x. Which is smaller: x or s?
x
Suppose 3*c - 16 = 47. Which is smaller: 59/3 or c?
59/3
Let x be 64/(-114) - 22/(-33). Which is smaller: 0 or x?
0
Let m(n) = -n**2 - 5*n + 1. Let w be m(-5). Let k = 100/27 + -2053/27. Let y = k + 73. Are w and y nonequal?
True
Let t be 5/(-12) + (-1)/(-4). Suppose -5*u = -0*u - 30. Let z = u + -7. Is t smaller than z?
False
Suppose 3*q + 26 = 5*r - 13, r + 4*q = 17. Do r and 9 have the same value?
True
Let o(h) = h**2 + 7*h + 2. Let c be o(-6). Let u be 0/(0 - c/2). Is u greater than 1/8?
False
Let b be 12/36 + (-64)/3. Let z = 23 + b. Is z less than 7?
True
Let d(a) = -a**2 + 19*a - 19. Let j be d(18). Do j and -3/7 have the same value?
False
Let a = -5 - -10. Suppose -a*i - 5*h + 81 = -4, 0 = -4*i - 3*h + 63. Is 13 at least as big as i?
True
Let s = -6.09 + 0.09. Is s equal to 2?
False
Let c = 1984 + -196414/99. Let t = c + 188/495. Which is bigger: 0.1 or t?
t
Let j = 12 + -13. Which is smaller: j or 1/41?
j
Let m = -23 - -11. Suppose 0 = 5*j - 15*j - 130. Is j at most m?
True
Let t be (2/18)/((-3)/(-9)). Let i = -19 + 37/2. Do i and t have the same value?
False
Suppose 3*f + 4*p - 76 = 0, 4*f + 2*p = f + 74. Suppose 61 = 3*b + 5*s, -5*s + f + 1 = 0. Is 12 > b?
False
Let v(b) = -b**2 - 6*b + 9. Let w be v(-7). Suppose -6 = w*n - n - 3*s, -4*s + 9 = -n. Is 3 less than n?
False
Let x = 13 - 12. Which is bigger: x or -17?
x
Let x be (-1 + 3)*27/(-4). Let a = x - -11. Which is bigger: 2/7 or a?
2/7
Let t = -3 + 2. Is -11/6 greater than or equal to t?
False
Suppose -5*d + 2*r + 1 - 17 = 0, -4*r + 20 = -4*d. Let x be 0/3 + d/3. Do 1/3 and x have the same value?
False
Let n = 47/28 + -10/7. Which is greater: n or -2/9?
n
Let d be (-10)/70 - (-34)/(-7). Which is bigger: d or -4?
-4
Suppose 4*g - 118 = 3*f - 0*g, 5*g - 113 = 3*f. Let l be 19/f - 5/(-10). Which is smaller: 1 or l?
l
Let t be (-2)/(-10) - (-35)/75. Let m(x) = x**2 + 6*x - 6. Let y be m(-8). Suppose y = u + 4*u. Is u smaller than t?
False
Let v(k) = 2*k**2 - k**2 + 6*k - 4*k. Let b be v(-2). Suppose b + 1 = s. Is 0 > s?
False
Suppose -8*c = -4*c. Does c = 4/15?
False
Let w be 2/3*15 + 3. Suppose 2*q + 3 = w. Suppose -2*k + 10 = -0*k, -k - 10 = -q*j. Is j > 4?
False
Let p = 26 + -25. Which is smaller: -2 or p?
-2
Let b = 0.4 - -1.6. Let m = 3 - b. Let p = -8/11 - -2/33. Which is smaller: m or p?
p
Suppose -77 + 67 = -5*s. Is s less than or equal to 10/17?
False
Suppose -2*g - 8 = 4. Let r(u) = 2*u + 0 - u + 6. Let d be r(g). Which is bigger: d or 3?
3
Let f = 20.1 + -20. Let r = 0.4 - 2.4. Let n = r - -1. Which is smaller: f or n?
n
Let k = -37 - -26. Let i = -6 - k. Let u = 7 - i. Is u at least as big as 2?
True
Suppose 2*w = 4, -5*m - w - w + 4 = 0. Which is smaller: m or -6/17?
-6/17
Suppose 4*s + 0*s - 12 = 0. Suppose -i + 0 = -4. Which is bigger: s or i?
i
Let r be (1 + 14/(-8))/((-63)/(-15)). Which is smaller: 1 or r?
r
Let b be (-528)/126 - (0 - 1). Let x = b + 10/3. Which is smaller: 2/5 or x?
x
Suppose -5*f + 4*b + b - 5 = 0, -4*b - 16 = 0. Let c be 5/(f/(-9)) + -3. Let z be ((-2)/(-3))/(2/c). Which is bigger: -1 or z?
z
Let f = 12 - 3. Is 9 smaller than f?
False
Let m = -402 - -396.94. Let f = m + 0.06. Let y = f + 6. Which is greater: y or 0.1?
y
Let j = 86.965 - 87. Which is smaller: 0 or j?
j
Suppose 4*i = 6*i - 10. Suppose 0*y - 2*y + 10 = 0, -15 = i*o - y. Is 1 smaller than o?
False
Let z = 63 - 187/3. Suppose 2*s - 4 = -2*s. Is z not equal to s?
True
Suppos