302381/119. Which is smaller: h or -1?
-1
Let q = 15 - 10. Let h = 0.05 + -7.05. Let c = h + q. Is -2 less than or equal to c?
True
Let y = -9 + 8.6. Let v = -0.2 - y. Which is bigger: v or -0.1?
v
Let n = 655 - 18993/29. Which is smaller: 1 or n?
n
Let r = -2/71 + -132/355. Let o(z) = z**2 + 4*z + 1. Let y be o(0). Which is smaller: y or r?
r
Let v = -105/4 - -1123/44. Which is smaller: 0.1 or v?
v
Let y = -1 - -8. Suppose -37 = -4*j + 19. Suppose 9*v - j*v = -40. Which is bigger: v or y?
v
Let d = -78 - -65. Which is bigger: d or -7?
-7
Let w(h) = -h**3 + 9*h**2 - 8*h - 3. Let a be w(8). Let s = a + 15. Is s at most 12?
True
Let u be 5/6*(-14)/(-10). Which is smaller: 2 or u?
u
Suppose -4*o = -2*o - 4*f - 6, 0 = 2*o + 2*f - 12. Let l(d) = d - 6. Let r be l(8). Suppose 0 = -5*i + r*t - o, i + 2*i + 5*t = -34. Which is smaller: -2 or i?
i
Suppose 7*k - 4*k - 15 = 0, 13 = -3*q + 5*k. Suppose q*t + 0 = -5*m + 6, -2*m + t + 5 = 0. Let d be (-1 - m)/3 - 0. Is 0 at most as big as d?
False
Let r = 46/5 + -9. Suppose -p - 3 + 5 = 3*a, -4*p = -a - 8. Which is smaller: a or r?
a
Let z = -0.26 - -5.26. Is 1/5 equal to z?
False
Suppose 2*n + 2*m - 6 = 0, -m - 3 = -7. Let t be (2/7308)/(112/41622). Let u = -3/464 + t. Which is greater: n or u?
u
Suppose -2*d - 2*i = 2*d - 6, -i = -5*d + 4. Which is smaller: d or -3/13?
-3/13
Let x = 21 - 22. Which is greater: 2/7 or x?
2/7
Let b(j) = -2*j**3 - 2*j**2 + 1. Let m be b(-1). Let c = -6 + m. Let x = -17 - -13. Which is bigger: c or x?
x
Let n(y) = y - 5. Let f be n(5). Suppose f = -5*l + 13 + 2. Let r = -2 + l. Which is smaller: r or 2/9?
2/9
Let z = -7.3 + 8. Is z > 0?
True
Let i be 18/(-12)*-2*1. Which is smaller: 19/8 or i?
19/8
Let r = 4 - -3. Let d = 3.4 - -0.6. Let q = r - d. Is 2/3 at most as big as q?
True
Suppose 0*v + 10 = -5*v - 2*q, v + q = -5. Let k = -5 + v. Suppose -d - 3*d = 12. Is d not equal to k?
True
Suppose 3*x - k - 3*k - 10 = 0, -x + 3*k + 10 = 0. Is 6 greater than or equal to x?
True
Let c = -6 + 18. Let l = c - 26. Let r = l + 29/2. Which is bigger: r or 1?
1
Let a(z) = -z - 3. Let r be a(-3). Suppose -3 = -3*f - r. Which is bigger: f or 3/4?
f
Let k = -32.7 - -33. Which is smaller: -1 or k?
-1
Let r = 0.3 + -0.2. Is r bigger than -0.4?
True
Let w = -19 - -21. Is -2/9 < w?
True
Let x(y) = 2*y**2 + 25*y - 10. Let k be x(-13). Suppose 0 = 4*z - 8*z + 12. Is k smaller than z?
False
Let j(h) = h - 7. Let v be j(5). Let p be 2 - 2 - v*7. Let q be ((-2)/p)/((-6)/6). Is 0 bigger than q?
False
Let y = 6.6 + -7. Which is bigger: -3/5 or y?
y
Let j = -3.9 + 4. Let p be (45/6)/(-3)*-2. Is j at most p?
True
Suppose 3*c - 15 = 3. Suppose -c*t + 6 = -9*t. Which is bigger: -3 or t?
t
Suppose -s + 86 = -3*s. Is -44 at least as big as s?
False
Suppose -f - 2*h = 6, -2*h + 18 = 5*f - 4*h. Let x be f/(-11) + (-4065)/(-9108). Let s = x + -1/69. Which is bigger: s or 0.1?
s
Let u be (18/15)/(-4 + (-37)/(-10)). Is u less than -0.08?
True
Let x = 10 - 2. Is x at least 0.1?
True
Let f = -47 - -52. Which is greater: f or 0.1?
f
Let r = 0.9 - -1.1. Let s = -2.4 + 0.4. Let x = r + s. Is x at most -0.1?
False
Let v(w) = -w**2 + w - 6. Let r be v(0). Let t = r - -5. Is t greater than -2/11?
False
Suppose -c + 0 = -1. Let u be 2219/(-35) - (-4)/10. Let v be u/(-60) + c/(-4). Do -0.1 and v have different values?
True
Let w(h) = -4*h - 4. Let v(i) = 7*i + 7. Let j(f) = 3*v(f) + 5*w(f). Let d be j(-5). Let o be 15/9 + d/6. Is o at least as big as 2/9?
True
Let b be 6 - (3 - 1 - 3). Suppose -3*y + 5 = 3*o - 2*o, y - b = -3*o. Let u be (-1 - (2 + -2))/(-1). Is u at least as big as y?
True
Suppose 4*l - 4 = 0, 3*b + 0*l = -4*l + 4. Is b <= -1?
False
Let g = -25 + 53. Do g and 29 have different values?
True
Let b = 97 + -87. Which is bigger: b or -2/5?
b
Suppose 5*w = 3*y - y + 1, -3*w - 2*y + 7 = 0. Suppose -3 = 2*u + w. Let t be u/8 + 51/108. Do 0 and t have different values?
True
Let j = 51/4 - 773/60. Is 0 at least as big as j?
True
Let q(c) = c**3 - c**2 - 5*c + 3. Let v be q(3). Let l = 117 - 110. Does v = l?
False
Let z = 13.6 + -15. Let f = z - -5.3. Let c = -4 + f. Is -1/6 at most c?
True
Suppose 4*h = 6*h - u - 3, -3*h - 4*u = 12. Suppose 3*r = 5*r - 8. Suppose -4*i = r - h. Which is smaller: i or -4/7?
i
Let y(h) be the second derivative of h**4/12 + 7*h**3/6 - h**2 + 5*h. Let t be y(-7). Which is bigger: -10/9 or t?
-10/9
Let m = 6 - 2. Suppose -3*c - 3 = -4*c. Which is smaller: m or c?
c
Let t = -17 + 17. Which is greater: -1 or t?
t
Let v be ((-80)/(-3))/(((-8)/(-12))/(-2)). Which is greater: -79 or v?
-79
Let s be ((-3)/9)/((-6)/(-18)). Let j = 205/4 - 51. Which is bigger: j or s?
j
Suppose -v = 3*y - 17, -4*y + 9 = -2*v - 7. Suppose 2*b - 4*b - 1 = -l, -v*l - 2*b - 10 = 0. Let m be (-7)/l - (1 + 1). Which is smaller: m or 1?
m
Let p = -1 + 3. Let a(h) = 2*h - 12. Let m be a(6). Let u be 1 + m + 3/(-7). Which is smaller: u or p?
u
Let s(b) be the second derivative of b**4/12 - 5*b**3/6 + 2*b**2 - 2*b. Let j be s(3). Is -1 <= j?
False
Let l = 20 + -10. Let o = -10 + l. Let p be 0 - (0 + 1)/(-1). Is p equal to o?
False
Let o = -0.08 - -0.08. Let v = -0.1 + 0.08. Is v at most o?
True
Let y(g) = g - 1. Let r be y(1). Suppose r = -0*s + 2*s. Which is smaller: -3/7 or s?
-3/7
Let b = 1.2 - 2.3. Let j = b + 0.1. Which is smaller: j or 1?
j
Let g = -0.4 + -0.6. Is g < 0.7?
True
Suppose 4*a - 3*b + 6*b + 6 = 0, -2*a - 5*b - 10 = 0. Suppose -5*h - f - 35 = -2*f, 5*h + f + 25 = a. Do h and -6 have the same value?
True
Suppose 4*c - 3*c = -2. Which is smaller: -1 or c?
c
Suppose -9 - 14 = -2*a - 3*w, -1 = -a - 5*w. Let m be (-28)/a - (-6)/8. Is 1 equal to m?
False
Let x be (-2)/7 - 38/14. Let v = -1 - -4. Let p = x + v. Is p smaller than -1?
False
Let v(d) = -5*d**2 + 9*d - 8. Let l be v(2). Do -11 and l have the same value?
False
Let y be (-108)/(-11) + (-12)/(-66). Which is smaller: 11 or y?
y
Let j(u) = -u**3 + 5*u**2 + u + 1. Let n be j(5). Suppose 0 = -3*z - 4*l + 7, -z - 3*l = 2*l - n. Let b be (z/3)/(3/(-18)). Is -1/2 bigger than b?
True
Suppose 2 = 3*v - 2*x + 3*x, -5*v - 4*x - 6 = 0. Is 0 bigger than v?
False
Let z be (-14)/(-8)*(-9)/(-21). Let d be (-4)/10 - 20/(-50). Which is greater: z or d?
z
Suppose 3*o = 6 + 18. Suppose 0 = -0*c + 4*c + o. Let h be 5 + -5 + c/(-6). Which is smaller: h or 0?
0
Let q(h) = -4*h**2 + h + 1. Let t be q(-1). Which is smaller: t or -5?
-5
Let m = 4 + -2. Suppose 26 = -0*h + 4*h - m*u, 5*u - 1 = -h. Suppose h*p = p. Is -2/17 at least p?
False
Suppose -3*d - 18 = -0*d. Let h(w) = w**3 + 7*w**2 + 3*w - 2. Let b be h(d). Are b and 15 unequal?
True
Let a be 0 - (0/(-2) + -1). Let x be (-1*(-2062)/14)/(-1). Let p = x + 147. Is p < a?
True
Let f be (-2)/4*(-1 + -6). Let p be (18/15)/((-2)/(-5)). Is p bigger than f?
False
Suppose 81 = -6*a + 5*a. Let h = 647/8 + a. Are h and 0 equal?
False
Let u = 6 - 11. Let h = 8 + u. Suppose 3*y + 3*k - 6 = -h, 2*y + k - 2 = 0. Which is greater: y or -1/4?
y
Let p = 13 - 21. Let l = 3 + p. Is l < -6?
False
Suppose -4*h - 3*z = 5, 2*h + 2*z = -2 - 2. Let r = -1 - h. Suppose 0 = 2*q + 2*k + 8, -5*k = 3*q + 3 + 13. Is r greater than or equal to q?
True
Let u = -1/63 - 17/1575. Is u bigger than 1?
False
Let g(y) = 5*y**2 + 6*y + 4. Let l be g(-4). Let b be 9/(-15) + (-4)/l. Is -1 < b?
True
Let r = 4 - 3. Let u be 1 - (-4)/(-2)*-12. Suppose 2*l + 16 = 5*f + 3, -5*l = -5*f + u. Is r bigger than f?
False
Let a be 0/2 + 6/8. Let y(m) = m**2 + m - 1. Let r be y(0). Let s = r - -3. Is a at least s?
False
Let y(f) = f**2 - f + 1. Suppose -4*z = -5 - 3. Let w be y(z). Suppose 6 = -p + 5*u + 18, 0 = w*p - 3*u - 12. Is p bigger than 2?
False
Let r(w) = w + w**2 - 1 + 0 - 2*w**2. Let u be r(2). Let z = 2 + u. Is z not equal to -1?
False
Suppose -a + 6 = 5*a. Is a less than or equal to 4/9?
False
Suppose -r - 6 = -1. Suppose -6 = -3*q - 21. Is q >= r?
True
Let c = -4/31 + -50/93. Is -1 less than c?
True
Let w = 9.12 + -1.42. Which is smaller: -1/3 or w?
-1/3
Suppose -2*g + 1 = -1. Suppose -5 - g = -f. Suppose -p + 0*i - 3*i = f, -2*p - 3*i = 3. Do p and 1 have the same value?
False
Suppose 4*j - 25 = -3*q - 2*q, q + 4*j = 5. Is q equal to 5?
True
Let l = -685.91 + 689. Let q = 0.09 - l. Which is greater: -1 or q?
-1
Suppose 4*m + 21 = -7. Let n = -1/34 - -9/17