h(9). Is 55 not equal to c?
True
Let o be (-1 - (-8)/11)/(18/12). Are 2/5 and o equal?
False
Let z = -0.236 + 0.136. Which is smaller: z or 1/6?
z
Suppose 0*u = 3*u - 9. Suppose 0 = -0*y + u*y. Suppose 0*m + 1 = -m. Which is smaller: m or y?
m
Suppose -4*p = -12 - 8. Is p bigger than 6?
False
Let r be 1/2 + 1/(-2). Suppose -5*v + r = 5. Let k be (-8)/13*v/(-4). Is -1 at most k?
True
Let f be ((-3)/12)/((-18)/(-24)). Is 0.07 not equal to f?
True
Let r = 19/21 + -11/7. Let b be (8/(-10))/((-4)/10). Suppose b*s = -s. Is r > s?
False
Let v be ((-4*1)/1)/1. Let i be (-70)/15 + 2/(-6). Which is smaller: v or i?
i
Let r(n) = -3*n**2 - n + 2. Let u be r(1). Let f be -3*1 + -2 + 2. Is f at most u?
True
Let h(b) = b**3 - b**2 + 1. Let t(k) = -k - 4. Let d be t(-4). Let x be h(d). Which is bigger: x or -2/11?
x
Let p be 2 - (-1 + 5 + 2 + -4). Is p greater than 0.4?
False
Let d be 0/(4/(8/(-6))). Suppose 0 = -2*q + 3*q - 4. Suppose y + y - q = d. Is 4 smaller than y?
False
Let x be (-6)/27 + 12/135. Which is bigger: 1 or x?
1
Let o(c) be the third derivative of c**6/120 + c**5/10 - 2*c**2. Let z be o(-6). Suppose 0 = n - 5*g - 10, 2*g + 1 = -n - 3. Is z at most n?
True
Let c be 1 - (-1 + (-277)/(-77)). Let i be 6*(-26)/44 - -5. Let a = c + i. Is 1 less than or equal to a?
False
Suppose 0 = 2*q + 10 - 10. Which is smaller: q or -2/23?
-2/23
Let y(m) = m**2 - 5*m - 1. Let f be y(4). Let t = f + 4. Let v(r) = -r - 1. Let k be v(t). Are k and -1 equal?
False
Let w = 0.9 - 4.9. Let a = w + 3.5. Let p = -0.5 + a. Is p at least -1?
True
Let c(i) = 2*i - 11. Let n be c(8). Let m be (n/(-3))/(1/3). Let b(t) = t - 6. Let g be b(2). Do g and m have different values?
True
Let q be (1 + -5 - -1) + 3. Let f = 0.2 + -0.1. Which is bigger: f or q?
f
Let x be (-23)/7 - 6/(-21). Let b be 8/(-3) - 2/(-3). Which is bigger: x or b?
b
Let y = 1.04 + -1. Let v = y - 0.04. Which is smaller: 4 or v?
v
Let j = -8054/19 + 424. Is j at most as big as 0?
False
Let i(r) = -r**2 + 11*r - 9. Let c be i(10). Suppose -u + 2*u - 3*v = c, 3*u = 2*v + 3. Is u less than or equal to -4/9?
False
Suppose 0 = 3*c - 2*c + 4986. Let h be (-8882)/c - 2*1. Let n = -1/277 + h. Is -1 > n?
False
Let h = -5 - -4. Let o = h + 0.9. Which is greater: 2 or o?
2
Let r(f) = f**3 + f**2 - 3*f + 1. Let u be r(-3). Let t be (-4758)/585 - 4/(-30). Is t bigger than u?
False
Let i = -11 + -6. Let j = i - -14. Suppose -g - 22 = 2*y + 3*g, 0 = 4*y - 3*g. Is y equal to j?
True
Let v(u) = -u + 6. Let i be v(5). Suppose 2*r - 1 = i. Does r = -2/5?
False
Let i(r) be the first derivative of r**3/3 - 3*r**2/2 + 2*r - 2. Let v be i(2). Which is greater: -1/13 or v?
v
Let l(r) = -8*r + 29. Let a be l(15). Are a and -91 equal?
True
Let x(d) = 2*d - 2. Let p be x(11). Suppose 4*u + 51 = 3*y, -4*y = -0*y - p. Is -9 bigger than u?
False
Let z be (-21)/9 + (-4)/6. Let v(o) = -o**3 - 3*o**2 + 2. Let b be v(z). Suppose -5*a = -y - 9, -b*a = -2*y + y - 3. Is y smaller than 2?
True
Let k(j) be the second derivative of j**5/20 + j**4/12 - j**3/3 + j**2/2 - j. Let s be k(1). Let n be ((-1)/(-1))/(7/(-2)). Which is greater: s or n?
s
Suppose -z - 5 = 0, -3*z - 2 = 3*y + 1. Suppose -2 = -f - y. Which is smaller: f or 0?
f
Let c be -2 - (10406/30 - 2). Let x = c - -347. Is -1/3 != x?
True
Let w = -14 + 15. Let d(i) = 60*i - 3. Let v be d(3). Let o = v + -1241/7. Is w equal to o?
False
Let h = 0.7 - 2.7. Is h equal to 0?
False
Suppose 10*y = 5*y. Let j = 218 + -553. Let b = j + 5697/17. Does y = b?
False
Let j be -3 - (3 + 3)*-1. Suppose j*u = o - 20, u = -u - 2*o. Does -5 = u?
True
Suppose 0 = -3*h - n - 2, 0 = -3*n - 1 + 4. Let d(v) = 3*v - 1. Let w be d(-1). Let l be (-6)/(-12)*w/(-10). Is h < l?
True
Let p = 8 - 7. Let w = 0.3 + -0.1. Which is smaller: w or p?
w
Let i(s) be the third derivative of -s**5/60 + s**4/6 - s**3/3 - 4*s**2. Let k be i(3). Which is bigger: k or -1/8?
k
Let n = 0.29 - 0.09. Let t = n - 0.3. Let d be (-12)/8*4/(-30). Is t greater than d?
False
Let z(t) = -t + 11. Let n be z(7). Let o = n + -4. Let y be (-6)/15 - (0 + -1). Which is smaller: y or o?
o
Let z be 1628/540 - (1 - 4/(-2)). Which is smaller: 1 or z?
z
Let l be (6/15 + (-13)/20)/1. Which is greater: l or -1/12?
-1/12
Let g = -18 + 12. Let d(v) = v - 4. Let z be d(4). Suppose 0 = m + 6 - z. Does g = m?
True
Let v = -44 - -20. Let j be (-40)/(-14) + 8/56. Let c be 2/v - j/(-9). Which is smaller: 0.3 or c?
c
Let f = -3 + 2. Let g be (0/2)/(1 - f). Are -0.6 and g equal?
False
Let k(d) = -d**2 - 7*d. Let x be k(-7). Suppose x = -5*c - 2*n + 5, 5*c - 5 = -3*n - 0. Let g be (1 - -3)*1 + -8 + 4. Do c and g have the same value?
False
Let h = 1.5 + -1.1. Let f = -552/5 + 110. Which is bigger: h or f?
h
Let a be 2/(-10) + 2/10. Let n be (1 + 0)/(40/8). Is a greater than n?
False
Suppose 3*f = -f - 12. Suppose -3*b - 3*i = 30, 3*b - i + 4 = -6. Is b at most f?
True
Let j = 5 - 2. Let n = -92/45 - -22/9. Which is smaller: j or n?
n
Let u = 12 + -12. Suppose u = -0*r - 4*r. Which is greater: -2/19 or r?
r
Let l be (-2 + -1 + 2)/(-5). Let w be (2 + -2)/(-3 + 1). Which is greater: w or l?
l
Suppose -3*u + 29 = -85. Which is greater: u or 39?
39
Let h be (-1)/2*(7 + -7). Which is bigger: -2/17 or h?
h
Let m(w) = -w - 6. Let r be m(-9). Let v be (3 - (2 - -1)) + r. Is v at most 5?
True
Let b = 2 - 0. Let v be 3/(-9) - (2 - b). Let z = 0.4 + -0.4. Which is greater: v or z?
z
Let l = 76 + -130. Let h = l - -380/7. Is 1/2 smaller than h?
False
Let n(g) = -g**3 - 14*g**2 - 9*g + 15. Let k be n(-13). Do -36 and k have the same value?
False
Suppose 0 = -2*o - 5*w + 15, 0 = o + 4*w - 0 - 9. Suppose -4*j = -o*u - 11, -4*u + j = 3*j - 12. Which is bigger: u or -1?
u
Suppose -5 = -j + 3*m, 2*j - 2*m - m + 5 = 0. Let x be 2/j - 32/(-10). Suppose -5*q = -3*q + 4*p - 16, -x*q + 20 = 5*p. Is q less than 0?
False
Let t be 1 + 2/((-4)/6). Let b be (2/4)/(5/t). Which is smaller: -1 or b?
-1
Let g(o) = -2*o + 2. Let l be g(3). Let h = -89 - -84. Which is smaller: l or h?
h
Let a = -0.35 + -0.65. Is 9 greater than a?
True
Let m = 2 + -2. Let x = -2 + 7. Let h be (-11)/7 + x + -3. Is m less than h?
True
Suppose -3*w = 2*w - 15, 0 = 4*j + w + 29. Let d(l) = l**2 + 9*l + 9. Let q be d(j). Let c(t) = t**2 - 6*t + 5. Let f be c(5). Is f at most q?
True
Suppose 5*i + 27 - 67 = 0. Suppose 4*f - 5*f + i = 0. Which is smaller: 9 or f?
f
Let a = 3.29 + -3. Let o = -0.01 - a. Let w = o - 0.7. Are w and 2/5 equal?
False
Suppose 0 = 2*f - m + 8, -m = -3*m. Let o = -89 + 84. Is o at most f?
True
Suppose 3*n = 2*x + 2, n + 3*n = 2*x + 4. Suppose g = -n*g + 18. Let p = g - 6. Do 1 and p have the same value?
False
Let x(k) = -k**2 + k - 1. Suppose -o = -f - 0*o - 5, 0 = -4*f - 4*o + 20. Let g be x(f). Let b = -70/9 + 8. Is b <= g?
False
Let b be 6 - -3*12/(-9). Is 1.2 less than b?
True
Let g be (-3)/(-2) - 1/(-2). Let m = 3 - g. Suppose -1 = 5*f - 6. Is m at least f?
True
Let v = 45.812 - -0.088. Let z = v - 43. Let o = -3 + z. Do o and -2 have the same value?
False
Let b = -14 - -14. Let d be ((-6)/9)/((-2)/36). Let i be 8/d*3/8. Are b and i unequal?
True
Suppose n + 27 = 3*a, 3*a - 4*n = a + 28. Let f be -1*(-4)/(a/10). Suppose -k = 4*k - f. Which is smaller: k or 1/8?
1/8
Suppose -4*b = -5*d + 2*d - 3, 2*b + 3*d = -3. Is b bigger than -16/17?
True
Suppose 0 = 3*d + 73 + 26. Let u = 100/3 + d. Which is smaller: u or -1?
-1
Suppose 3*c - 6 = 0, g - 5*c + 10 + 6 = 0. Let q = g + 4. Let k be (-2 + 3)*q - -2. Which is smaller: k or 1?
k
Let l = 4 + -3.9. Is l smaller than 20/13?
True
Let p be (3/4)/(21/(-12)). Suppose -2*h = 2*h. Is p at least h?
False
Let a = -5/6 + -3/2. Are 1/2 and a non-equal?
True
Let u = -3 - -2. Let y = 102 + -613/6. Is y at least u?
True
Suppose -g + 20 = 3*g. Suppose -5*s + g = -0*s. Which is smaller: s or 1/2?
1/2
Let y(m) = -m**2 - 1. Let w be y(1). Let t be w/7 - (-24)/(-14). Suppose 3*k + 0*u = -2*u + 2, 4*k = -5*u + 5. Do t and k have the same value?
False
Suppose -3*z = 5*m - 13, -3*m - 11 = -5*z - 6*m. Let t(a) = a**3 + 4*a**2 - 5*a - 7. Let o be t(-5). Let w be o/70*5/(-3). Is z > w?
True
Let p = 39 - 39. Are -0.6 and p equal?
False
Suppose 0 = 2*j - 7*j + 10. Suppose -3*q - 4 = j. Suppose 0 = -6*z + z. Is z at most as big as q?
False
Let w be (-3 - -2)/(3/(-27)). Which i