 h <= -0.19?
True
Suppose 13 + 5 = 6*m. Are m and 4 nonequal?
True
Let q(g) = g**2 - 9*g + 8. Let k be q(7). Let o = 6 + k. Which is greater: o or -5/7?
o
Let l = -37 - -38. Is 5/2 equal to l?
False
Suppose 3*x - 9 = -0. Let v = -1 + x. Suppose -1 + v = -f. Is -1/4 bigger than f?
True
Suppose 0 = -j + 4*j. Suppose 0 = -4*h - 12, 4*o + 2*h = -3*h - 395. Let y be 2/10 - o/(-225). Do j and y have different values?
True
Let n = 4 - 10. Let u be n/4*12/(-9). Is u != -1?
True
Let j = -15 - -14. Let x = -1132/7 - -162. Which is smaller: x or j?
j
Let j = -73 - -73.15. Which is smaller: j or -1/4?
-1/4
Let m be 1/((-6)/8)*(-18)/(-4). Which is bigger: m or -5?
-5
Let j be (2 + 284/12)*1. Let p = 26 - j. Is 1/3 smaller than p?
False
Let f = 0.3 - 0.5. Let d = -5.07 - -0.07. Let s = d - -4. Which is smaller: f or s?
s
Let b(u) be the first derivative of u**3/3 + 3*u**2 - 3. Let a be b(-6). Is a at most -1?
False
Suppose -u + 2*l + l = 3, -3*l = -5*u + 33. Suppose 0 = 4*j - u - 7. Which is greater: -2 or j?
j
Suppose 4*g = -16, 2*m - g - g - 6 = 0. Is 6/17 less than or equal to m?
False
Let k = -86 + 75. Which is smaller: -2/11 or k?
k
Suppose -11*c = -10*c + 6. Is c less than or equal to -6?
True
Let h be -80*(-12)/(-189) + 0. Let n = h + 34/7. Let y = 3 - 2. Which is smaller: y or n?
n
Suppose -o + 1 = -c, -c - o + 1 = -6*c. Let x(w) = w - 4. Let m be x(-3). Is c equal to m?
False
Suppose 0 = -3*y - 5*v + 20, y + 12 = 6*y + 3*v. Let c be 0/(3 + -2 + y). Let m be (-6)/50*(3 - (-8)/(-1)). Is c != m?
True
Let t = 26 - 19. Suppose t*a - 4*a + 3*q - 3 = 0, -q = -4*a + 4. Which is greater: a or 2?
2
Let p = 0.6 + -0.4. Let j = -0.3 - -0.3. Let c = j + p. Which is smaller: -2/3 or c?
-2/3
Let i = -1081/2870 - -4/205. Is i <= 0?
True
Let d be 3 - (2 + 4 + 1). Let n be 196/(-3)*2/d. Let o = n + -33. Do o and -1 have different values?
True
Let w = 0.04 + 1.56. Let a = 1 - w. Let n = a - 2.4. Which is bigger: 1 or n?
1
Suppose -24*r + 25*r = 2. Is 13/4 greater than or equal to r?
True
Let i = -3230/261 - -112/9. Suppose 1 = 3*j - 2. Is i < j?
True
Let n(l) be the third derivative of 3*l**4/8 + 4*l**2. Let d be n(-1). Is d < -9?
False
Let d = 0.5 + -0.2. Let x = 65 + -66. Are d and x unequal?
True
Suppose 0 = -o - 4*i + 12 + 9, o - 16 = -3*i. Let x = -35 + 141/4. Is x bigger than o?
False
Let r(l) = -37*l - 4. Let s be r(1). Which is smaller: s or -39?
s
Suppose 0 = -0*l - l. Suppose t + 292 = 3*o, -5 = -t - l. Let x be 51/o - 4/22. Is -1 less than x?
True
Let a = 10 + -11. Which is smaller: -2/23 or a?
a
Let y be (2 - (-3 + 5))/3. Is 8/9 < y?
False
Suppose s - 390 = -0*s. Let x = s - 12872/33. Let u = 3/11 - x. Is 0 greater than u?
False
Let m be -6 + 17/3 + (-3)/(-1). Which is bigger: m or 4?
4
Suppose -31 = -5*a - 1. Suppose -x + 0 = -3. Let b be x/(-9)*(-9)/a. Is b > 1?
False
Let d = -4622/23 + 201. Let k = d + 20/69. Which is bigger: 0 or k?
k
Let d = -9 + 12. Let a be (2*d)/((-110)/(-33)). Are a and 2 non-equal?
True
Let v = 7 - 5. Let f be 2/1 + (1 - v). Let r be f/4 + (-3 - -3). Is r greater than or equal to -0.1?
True
Let w(r) = r**2 + 3*r - 7. Let i be w(-5). Suppose -i*d = -4*d + 1. Which is bigger: 4/3 or d?
4/3
Let s = -51 + 47. Which is smaller: s or 1/4?
s
Let k = -18 + 13. Let l(y) = -y**2 + 3*y + 4. Let w be l(-3). Let x be (-2)/(-4)*(-8)/w. Is x bigger than k?
True
Let g be 20/30 + (-31)/(-3). Are 10 and g equal?
False
Let v = 183 + -184. Let x(w) = -5*w - w**2 + 4*w + 4 - 3. Let a be x(-2). Is v greater than a?
False
Let l = -118.1 + 123. Let b = 3 - 8. Let y = b + l. Is 2/3 less than y?
False
Let s = 2 + -3. Let f be s/(-2) + 3/2. Suppose 0 = 5*u - 0 - 5, -2*u + f = -2*p. Which is bigger: p or 3/5?
3/5
Let p(v) = -2*v**3 - 2*v**2 + v - 2. Suppose -2 = -4*y + 5*y. Let t be p(y). Suppose -3*i + 3*q - 14 = -q, t = -4*q. Is -6 < i?
False
Suppose 4*f + 0 = 8. Let t be ((0/(-3))/(-3))/f. Is 0 greater than or equal to t?
True
Let r be (-9)/(-6)*(-180)/243. Is r less than or equal to 0?
True
Let p be (-1*2)/(12/21). Suppose -4*d = -0*d + 3*s - 35, 3*s + 5 = 4*d. Suppose 3*i - 5*v - 16 = 0, -4 = d*i + 2*v + 21. Is i equal to p?
False
Suppose 4*u - 9 = 7*u. Let x = 1 - 2. Let o be ((-1)/(-2))/(x/4). Is u <= o?
True
Let z be ((-36)/27)/(1/9). Let u be -2 - (z/4 + 2). Is u less than or equal to -2/3?
True
Let i be (-3)/(3/6 + -2). Let u be (i/10)/((-6)/15). Are u and -1 nonequal?
True
Suppose -2*p - 12 = -4. Let r(y) = -y**3 + y**2 + 2*y - 2. Let t be r(2). Which is greater: p or t?
t
Let y = -40/19 + -53/38. Suppose 0*x = -2*x - 8. Which is smaller: y or x?
x
Let c = -5 - -9. Suppose -6*m + 2*m = -28. Let j = m - c. Which is smaller: 4 or j?
j
Let p(h) = -h**2 + 12*h - 6. Let j be p(5). Let i = j + -59/2. Suppose 2*b + 1 = b + a, a - 5 = 3*b. Which is smaller: i or b?
b
Let s = -0.002 - 0.898. Which is bigger: -1/7 or s?
-1/7
Let g(l) = 5*l. Let v be g(-1). Does v = -5?
True
Suppose -4*f - u + 59 = 18, 4*f + 3*u - 51 = 0. Let c be (-4525)/22 - f/(-6). Let m = c - -204. Is m bigger than -1?
True
Let s be 0 + (-119)/40 + (-20 - -23). Are s and -1 equal?
False
Suppose 426 + 229 = 5*c. Let w = c + -657/5. Is 4 greater than w?
True
Let a = 239/21 + -35/3. Is a at most -4?
False
Let s(q) = -q + 3. Let i be s(4). Let g be i/3 - (-4)/12. Let f = -1.16 + 0.16. Which is smaller: g or f?
f
Let k = -145 - -2756/19. Suppose 3*y - 2*y - 3 = 4*f, 4 = -4*f. Is y > k?
False
Let u = -3 + 5. Let p be 2/(-4) - (-17)/u. Suppose 0 = -5*f + 2*y + 4, -5*f - 3*y + 11 + p = 0. Is f at least 1?
True
Let b = -74.055 - -74. Does b = 0?
False
Let b = 893/2424 + 2/303. Let y(w) = w - 7. Let u be y(6). Is u smaller than b?
True
Suppose 0 + 9 = -a. Let z = -13 - a. Which is smaller: -3 or z?
z
Let m = 46 + -51. Are m and -4/5 non-equal?
True
Let s be -6 - -2 - 0/1. Let i be 1/s + (-99)/36. Let r be -3 + 3*(-4)/i. Which is greater: -1 or r?
r
Let l be (5 + -1)/(1*-1). Let z = -6 - l. Let i = -1044/5 - -208. Is z not equal to i?
True
Suppose 0 = -7*s + 5 - 5. Is 0.6 > s?
True
Let o = 20 + -19.75. Which is bigger: 1 or o?
1
Let w be 4 - (0 - -3 - 1). Suppose 0 = -w*z - 3*z - 25. Let i be 2*((-10)/4)/1. Is z smaller than i?
False
Suppose 0 = 2*p - 4*p + 4. Which is smaller: p or -0.04?
-0.04
Let d(g) = g**2 + 4*g - 1. Let y be d(-4). Which is smaller: y or 1/11?
y
Let g = 12 - 14. Is -4 greater than g?
False
Suppose p + 5 = r, 24 + 1 = -5*p. Suppose -5*j = -3*j - 6. Which is smaller: j or r?
r
Let a = -93 + 557/6. Let z = a + 0. Is z smaller than -1?
False
Let x be 0/11 - 0/(-2). Is 2/19 at least x?
True
Suppose -4*o + 18 = -3*o + 5*b, -2*o + 3 = -b. Suppose 5*a - 8 + 0 = -2*j, -a = o*j + 1. Let n(m) = -m**2 + 7*m - 5. Let x be n(6). Which is smaller: j or x?
j
Let a be -1*(-1 + (1 - 1)). Let w(u) = 0*u - u - a + 3 + 0*u. Let m be w(2). Which is greater: 3/4 or m?
3/4
Suppose 0 = 3*r - 5*g + 36, 4*r + g + 4*g + 48 = 0. Is -8 less than r?
False
Let f(y) be the third derivative of -y**6/120 - y**5/6 - 11*y**4/24 - 5*y**3/3 + 8*y**2. Let k be f(-9). Which is smaller: k or 9?
k
Suppose 4*p + 13 = 4*f - f, -5*p = -2*f - 3. Let i = -12 + f. Which is greater: i or 2/45?
2/45
Let x be ((-45)/30)/(2/(-40)). Is x < 30?
False
Suppose -3*i + 4*x + 21 = 0, -3*x = -i - i + 14. Which is smaller: 3 or i?
3
Suppose -44 = 2*n - n. Which is smaller: n or -43?
n
Let j be (-18)/30 + 26/(-10). Let b = 3 + j. Is -1 >= b?
False
Let h be -6*2/(-65)*70/4. Which is smaller: 2 or h?
2
Let c = -0.7 + -0.3. Let x be (-3)/(((-45)/(-12))/(-5)). Let f be -2*1*x/32. Which is bigger: c or f?
f
Suppose 3*t + 3*q - 12 = 0, 0*t + 30 = -5*t + 5*q. Let y be t*(-4 + -3 + 5). Let a = y + -3. Which is bigger: a or 1/2?
1/2
Let d = 103 - 107. Let y = 0.2 + 0.8. Is d > y?
False
Let z be 2*((-7)/((-84)/(-40)) - -2). Is z < -4?
False
Let x(i) be the third derivative of -i**5/60 - i**4/6 - i**3/6 - i**2. Let h be x(-2). Suppose 0*k + 4*a = 2*k + 4, -5*k - h = -3*a. Is k at most as big as 1/6?
True
Let z(s) = -s**2 - 4*s + 6. Let i be z(-5). Let f(j) = -2*j**2 + 7*j + 7. Let l be f(7). Let m = 127/3 + l. Which is greater: m or i?
i
Suppose -15*b = -16*b + 4. Suppose 1 = b*t - 3. Are 1 and t non-equal?
False
Suppose -2*o - o = 0, 3*s + 3*o = 6. Suppose -s*z + 2 = -z. Do z and 2 have different values?
False
Let r be (21/6)/((-2)/4). Let 