 h?
False
Let g be (-49)/(-28) + (-3)/4. Suppose 4*s = 3*s - g. Is -1/11 less than s?
False
Let w = -17 + 18.1. Let d = 0.1 - w. Let o = -74 + 75. Is d at most as big as o?
True
Let x(f) = 2*f**3 + 5*f**2 + 5*f + 4. Let b be x(-3). Which is greater: -21 or b?
b
Suppose 0 = w - s - 2, s - 14 = -3*w - 4*s. Is w at least as big as 7?
False
Let b(n) be the first derivative of n**4/4 + 8*n**3/3 + 7*n**2/2 + 2*n + 2. Let w be b(-7). Which is bigger: 9/4 or w?
9/4
Let d(p) be the second derivative of -2*p**3/3 - p**2/2 - p. Let r be d(2). Which is smaller: -10 or r?
-10
Let f = 0.1 + 0.1. Let g = -0.5 - -0.8. Let m = g - f. Which is smaller: m or 2/5?
m
Let l = -7 - -3. Let b be -1*2 + 10/2. Let q be b*2/(-3) + -2. Is l at most as big as q?
True
Let w = -0.3 - 0.1. Let s = w + 0.5. Suppose 1 - 5 = -2*g. Is g not equal to s?
True
Let b = 3/125 + 869/250. Is 4 != b?
True
Let k be ((-1)/(-3))/(3/18) + 0. Is 2 at least as big as k?
True
Let t(l) be the third derivative of l**7/5040 + l**6/144 - l**5/20 - l**2. Let m(u) be the third derivative of t(u). Let c be m(-4). Is 4/5 at least c?
False
Let v = 3 + -3.5. Which is smaller: v or -0.1?
v
Let z = -50099/2733 + -2/911. Let f = -19 - z. Which is greater: f or 0?
0
Let k(f) = 2*f + 6. Let m be k(-4). Let r be 4 + m - (-36)/(-15). Is r smaller than -1?
False
Let x = 2 + 2. Suppose -5 - x = -3*k. Let z be 2/3*k/(-2). Which is smaller: -3 or z?
-3
Let q = -86/7 + 12. Are 0 and q non-equal?
True
Let o = 5 - 10. Let j be (-4)/32 - (-39)/(-8). Let f(m) = m**3 + 5*m**2 + 2*m + 6. Let a be f(j). Is o smaller than a?
True
Let p(n) = -n**3 - 11*n**2 - 10*n - 14. Let r be p(-10). Is -14 bigger than r?
False
Let w = 2 - 1.95. Let t = -0.25 + w. Which is bigger: 1 or t?
1
Let z(k) = -k**3 + 3*k**2 + 4*k - 2. Let g be z(4). Let j be ((-3)/(-9))/(g/6). Do 2/9 and j have different values?
True
Let j = 0.1 - -0.9. Let a(h) = h**3 + 4*h**2 - 1. Let p be a(-4). Is j greater than or equal to p?
True
Let n = -0.3 - -0.4. Let a = 0.2 - n. Let i = 0.1 - a. Is -3 <= i?
True
Let r be ((-12)/16)/((-94)/32 - -3). Is -12 bigger than r?
False
Let o be 1 + (-37)/(-7) + (-40)/140. Are -2 and o non-equal?
True
Let v be 6/(-27) + (-16)/9. Let m be (4/10)/(v/(-10)). Let g = m + -2. Which is bigger: -1/4 or g?
g
Let c = 1.8 - 1.87. Let r = -0.517 + -2.553. Let p = r - c. Which is smaller: p or 0.1?
p
Let q be ((-106)/159)/((-2)/(-6)). Let l = -0.02 - -3.02. Is q < l?
True
Let c = 2/289 + -307/2601. Suppose 9 = 4*g + 13. Is g at most as big as c?
True
Suppose 4*q + 22 = -y, -5*y - 10 = -4*q + 4. Let v = -6 - y. Is -0.1 at most v?
True
Suppose q = 3*q - 30. Let j be (-6)/(-9)*(-9)/q. Is 1 at most j?
False
Let v = 3.7 + -5.4. Is 2/3 <= v?
False
Let u = -8 - -6. Let p = 2.1 + u. Is p > -3?
True
Let z be -1*3/((-9)/(-3)). Which is smaller: -2 or z?
-2
Let r(d) = d + 3. Let x be r(-3). Is x greater than 5?
False
Let m be ((-9)/27)/(5/6)*-5. Which is smaller: -4/13 or m?
-4/13
Let m be 4 - (-2 + 0 - -6). Is -2/3 > m?
False
Let z be ((-1)/2)/(1/38). Let b = z - -93/5. Is 0 >= b?
True
Let f(l) = 2*l - 1. Let j be f(2). Suppose -2*w - 1 - j = 0. Suppose 0 = -2*x + 3*k - 6 - 4, 0 = -x - k. Is w less than x?
False
Let y = 0 - 1. Let i be (-4)/(-12)*(y - -1). Which is smaller: i or 1/4?
i
Let k = -75 - -60. Is -15 bigger than k?
False
Let j be (16/(-64))/(23*2). Which is bigger: -1 or j?
j
Let y = 6 + -2. Suppose -16 = -5*s - y*u, -3*s = -2*s - 4*u - 8. Is 5 bigger than s?
True
Suppose 226 = 5*t - 304. Suppose -2*n - t = -0*n. Let m = n + 157/3. Are m and -1 unequal?
True
Suppose -26 = -l - 4*p, -3*l + 4*p = -2*l + 14. Is l at most as big as 32/5?
True
Let d(b) = b**3 - 9*b**2 - b + 11. Let n be d(9). Let m be 34/(-24) - n/8. Which is smaller: -2 or m?
-2
Let g = 11 - 6. Suppose 3*d = -g*a + 2, d + 8 = -3*d + 4*a. Let v be ((-4 - d) + 8)*-1. Which is smaller: -4 or v?
v
Suppose 1 + 23 = 3*c. Let x = -14 - -15. Is c < x?
False
Let m = -792/425 - -46/25. Which is smaller: -1 or m?
-1
Suppose 0*k = k - 6. Suppose k = 2*l + 2. Let w be (0 - 2/6)*-3. Which is greater: w or l?
l
Suppose 17 = -2*z + 3*v, -3*z - 2*v + 0*v - 19 = 0. Let b(m) = m + 5. Let o be b(z). Let c = 3 + -5. Do o and c have the same value?
True
Suppose 0 = 4*d - 0*d. Let j be (-9)/(-18)*d/1. Is 1/4 at least j?
True
Suppose -4*y + 0 = -2*l + 12, -12 = l + 4*y. Let s = 1 + l. Let p be (-10)/8*(-4)/10. Is p at most as big as s?
True
Suppose 2*r + 3*r = 3*i - 24, -2*i = -5*r - 26. Is -5 at least as big as r?
True
Let y = -2 + 2. Let n = -201 - -2615/13. Do y and n have the same value?
False
Let a(q) = -q - 1. Let i be a(-6). Suppose 0 = -n + i*u - 6, -4*u + 7*u = -n + 10. Is n < 6?
True
Let n = 6.3 + -5.3. Do n and 2/143 have different values?
True
Let t = 5/68 - -3/17. Let p be 3 + 3*3/9. Let i be (1 - -1) + (3 - p). Does i = t?
False
Suppose 2*r + 1 + 3 = 0. Let h(o) = -o**3 - 3*o**2 + 4*o + 5. Let j be h(-4). Suppose 2*b = j*b + 6. Is r <= b?
True
Let r = 3/11 + 13/33. Which is smaller: r or 0?
0
Suppose 0 = -2*v + 7 - 1. Suppose v*q + 4 = q. Let y be q/(-5)*45/(-12). Which is bigger: -2 or y?
y
Let n(s) = 7*s - 1. Let i be n(1). Is 6 at most as big as i?
True
Suppose -3*d + 1 = 5*h, -3 = -h + 2*h - d. Let m be ((-2 - -2)/(-3))/h. Suppose m = -2*a + 4*r - 12, 3*a + 5*r = 4*r + 10. Is a < 2?
False
Let o = -95/4 - -24. Are o and -1 unequal?
True
Let h(m) = m**2 + 10*m + 10. Let y be h(-9). Are -5 and y non-equal?
True
Let t be 6/5*10/(-3). Let k = 3 + t. Which is smaller: 0 or k?
k
Suppose 3*y + 2 + 4 = 0. Suppose -4*m + v = -10, 2*v = 5*v + 6. Let l = -3 + m. Which is bigger: l or y?
l
Let x be -14 - 0 - (-1 + -1). Let m be (2/(-1))/(x/(-6)). Suppose 3*v + 1 = w, 4*v + w + 8 = -5. Is v less than m?
True
Suppose -r + 62 + 38 = 0. Let f be -1 - (r/(-28) + 3). Which is smaller: f or 1?
f
Let h = -36 - -34. Let c be 3*(-3 - (-8)/3). Do h and c have different values?
True
Suppose -p - 3*w = 11, -3*w = 5*p - w + 29. Let t be (-2)/p - 14/35. Which is smaller: t or -2/19?
-2/19
Let y = -0.3 + -5.5. Let g = y - -5. Let u = g - -0.9. Do 0.3 and u have different values?
True
Let c = 8.87 - -0.13. Let a = c + -6. Is a at least as big as -1?
True
Let o be ((-9)/2)/((-9)/12). Suppose 3*n + 0*n - o = 0. Let f be 2/(-4) - 1/n. Is f < -2/3?
True
Let b(w) = -w**2 - 14*w + 10. Let i be b(-14). Is 2 less than i?
True
Suppose -12 = -2*w + 4. Is w less than 9?
True
Let u(p) = p - 7. Suppose b - 5*b = -40. Let v be u(b). Which is smaller: v or 2?
2
Let y be ((-2 - 4)*1)/(-2). Suppose 0 = y*x + 6. Suppose -5*m + 5*j + 21 = -m, 2*m - j = 3. Does x = m?
False
Let h be ((-4)/(-6))/(-1)*(-9)/(-51). Is h >= 0?
False
Let c = -19 + 25. Let o = c - -3. Is 10 smaller than o?
False
Let d = -8.5 + 2. Let n = d - 1.5. Let c = -8 - n. Is c at most as big as 0?
True
Suppose -2*b - t = -18, -5*t + 34 = b + b. Is b > 7?
False
Let f(d) = 2*d - 2. Let z be f(3). Let m be (-4)/24*(-3)/z. Which is bigger: -1 or m?
m
Suppose 4*d - 3*u = 91, 3*d - 3*u = 2*d + 25. Suppose -d*r - 4 = -18*r. Is 2 smaller than r?
False
Let b = 4 - 34. Let z be (b/(-135))/(-1 + 4). Are z and 1 equal?
False
Let u = -255 + 2037/8. Which is bigger: u or -1?
u
Let l be 1 - (-1 - (2 + -5)). Let p = -5 - l. Let t be (-8)/(-14)*(-2)/p. Is 2/7 greater than or equal to t?
True
Suppose -7*q - 7 + 0 = 0. Is q less than 2/5?
True
Suppose 3*k + 4 + 11 = 0, -35 = -5*j + 3*k. Suppose -15 = 5*d, 3*b + j*d + 9 = -d. Let m = -6 - -7. Is m less than b?
True
Let x(s) be the second derivative of s**3 - s**2/2 - s. Let w be x(1). Suppose 1 = 5*g - d, w*d = -3*g - 5 + 28. Is -1 equal to g?
False
Let n be -5 - 0 - -3 - -4. Which is smaller: n or 7?
n
Let h be (0 + (-1)/1)/(-1). Let u = 4 + h. Is u greater than or equal to -1?
True
Let t = -2.1 - 0. Are -1 and t unequal?
True
Let y be 2/(-5)*(1 - 6). Let i(h) = -3 + 0*h**y + 2*h - h**2 + 4*h. Let d be i(5). Which is smaller: 1 or d?
1
Let u be ((-16)/(-110))/((-84)/35 + 2). Let i be 2/4*0 - 0. Which is bigger: i or u?
i
Suppose 4 = -k + 17. Let p = -12 + k. Is 0 < p?
True
Suppose 2 = -3*j + 11. Suppose -4*u + 3*h + 2 = 0, 0 = 5*u - 4*h - 0*h - j. Let i be (-39)/33 - (u + 0). Is i not equal to 1?
True
Let q = 1 + 0. Let v(y) = 5*y**2 - 1. Let n be v(q). Suppose -4*w + 15 = b, -n*b + 2*w - w = 8. Which is greater: -2/7 or b?
-2/7