 be 1/(-9)*79 - -3. Let y be 2930/(-504) + (-1)/4. Let s = y - l. Is -1 < s?
True
Suppose 4 = 3*a + 7. Which is bigger: a or -3/8?
-3/8
Let s = 0.8 - -0.2. Let j = s + -3.3. Let q = j + 0.3. Which is smaller: -1 or q?
q
Let w = 0 + -1. Let c be -2 + w/(1 + -2). Is 0 < c?
False
Let m be (-3)/(-8) + 129/(-216). Let z be 3/(-8 + 2)*2. Which is greater: z or m?
m
Let u = -103 - -85. Is u at most -1/2?
True
Let h = -7 - -9. Suppose 0 = 3*t + 4*o - 3, h*t - 5 = 3*o - 3. Is t greater than -3/7?
True
Let j be (18/12)/(3/(-4)). Let a(h) = -h**3 - 2*h**2 + 2*h + 1. Let m be a(j). Let d be ((-1)/((-4)/4))/(-1). Which is bigger: d or m?
d
Let a(g) = g**3 + g - 2. Let x be a(2). Let b be (-1)/(-1) - x/2. Let o be 1 + 2/b*3. Are o and 1/7 nonequal?
True
Suppose -3*v - 8 = l + 9, 0 = v - 5*l + 11. Let n(c) = -c**3 - 5*c**2 + 7*c + 6. Let s be n(v). Which is greater: 7/6 or s?
7/6
Let c be ((-22)/(-3) - 7)*4/(-10). Which is bigger: c or 0?
0
Let v = -3.2 + 3. Let s = -2 + 1. Which is smaller: v or s?
s
Let g = -3 - -4. Let u(x) = -2*x**2 - x. Let o be u(g). Suppose 3*k + 3*y - 4 = 2, 0 = -4*k + y - 12. Does k = o?
False
Suppose -11 = -4*b - d, -2*b - 4*d = -7*b + 40. Suppose -3*t = -b*t. Is t equal to 1?
False
Let j = 47657/2118 + -1/1059. Is j at least 24?
False
Let z = -4.74 + -0.26. Let x = 28 - 22.6. Let a = z + x. Which is bigger: -1 or a?
a
Let i be 1/(-9)*(0 - 2). Let y(b) be the second derivative of -b**3/6 - 5*b**2/2 + 4*b. Let v be y(-6). Which is smaller: i or v?
i
Let v be 4 + -6 + 0 + 1. Which is greater: 0 or v?
0
Let o be (-2)/(-8) + (-10)/8. Are -11/6 and o equal?
False
Let w = -55 + 57. Which is smaller: w or -2/23?
-2/23
Let h be (56/42)/((-2)/3). Which is bigger: 16 or h?
16
Let j(a) = 2*a + 2. Let s be j(2). Suppose -m + 2*x = -s, 3*x - 3 = -6. Suppose h = 3*z - z - 5, -4*z = m*h + 8. Which is smaller: z or -1?
-1
Let p = -10 - -7. Suppose 6*f = 10*f - 20. Let s = f + p. Is 3 less than s?
False
Let v be 9/(-36) + (-81)/(-52). Are 0 and v non-equal?
True
Suppose 0 = w, 30 = 5*p - 2*w - 2*w. Let l be (11 + -5)*(-4)/p. Which is bigger: -3 or l?
-3
Let o = 125 + -125. Is o less than or equal to 3/49?
True
Let q be (-20)/5 - 156/(-21). Is q at most 2?
False
Let h = 12 - 13. Let a be ((-9)/((-36)/16))/h. Is a >= -3?
False
Let q = 0.07 + -0.18. Let w = -0.21 - q. Is 1 less than w?
False
Let b be 1/3*(-27)/45. Suppose -9 - 33 = -3*j. Suppose -5*i = -3*h - j, -2*i + 4*h + 14 = -0*i. Is i greater than or equal to b?
True
Let j be 2/(-3) + (-13)/(234/(-672)). Is j at most as big as 37?
True
Let c be 8/(-11)*(-4 - (-17)/4). Which is smaller: c or -1/4?
-1/4
Let v(d) = d**3 + 9*d**2 + 1. Let k be v(-9). Is 1 greater than k?
False
Let w = -4/15 - 2/5. Let f = -5/44 - -4/11. Is f at least w?
True
Let m be 0 - 44/(-23) - 2. Is m at most as big as 1?
True
Let w = 1.08 - 0.18. Let i = w + -1.2. Which is greater: -1 or i?
i
Let c = 38 - 23. Let h = -16 + c. Which is bigger: -4/15 or h?
-4/15
Let v = -4 + 2. Let o = v + -12. Do o and 0 have the same value?
False
Let r(j) = 2*j**2 + j - 1. Let p be r(1). Suppose 1 = -3*z + p*t - 8, 4*z = t - 7. Suppose 0 = 4*m + i, i + 8 = -4*m + 2*i. Is z != m?
False
Let n(r) be the first derivative of r**4/4 + 10*r**3/3 - 2*r - 7. Let q be n(-10). Is -7/4 bigger than q?
True
Suppose 0 = 5*r + 3*h - 15, 20 = -5*r + 3*h + h. Suppose r = -i - 0*i + c + 10, -4*i = -5*c - 41. Let w be (-47)/i + 6/27. Is 0 > w?
True
Let x = 0.01 + -0.01. Do -2 and x have the same value?
False
Let w = 4 - -2. Let h = -6 + 4. Let s = h - -8. Is w >= s?
True
Let f(w) = w**3 - 5*w**2 + 5*w - 4. Let q be f(4). Is q at most as big as -8?
False
Suppose -4*a + 0*a = -3*t + 6, 0 = -2*t - 3*a + 4. Let p be (-1)/(-6)*3/t. Suppose -n = 3*n - 4. Which is smaller: n or p?
p
Let p(w) be the second derivative of -w**4/12 - 7*w**3/6 + w. Let j be p(-6). Suppose 3 = -b + 4*t, b = -b - 4*t - j. Is -4 at most as big as b?
True
Let a be 2/1324*(-1 - -5). Let k = 712/8275 - a. Is k less than or equal to 1?
True
Let g be -3 + ((-231)/12)/(-7). Which is smaller: g or 2/11?
g
Suppose 0 = -4*n + 8, -2*n + 5 + 4 = 5*c. Let r(b) = b**3 + 3*b**2 - b - 4. Let h be r(-3). Let d = h - -2. Is d at most as big as c?
True
Let z be 6/(-6) + 5 + -2. Which is greater: 3 or z?
3
Let j be ((-2)/4)/(1/2). Is j smaller than -2?
False
Let z be (3 - 204/64)/1. Is z bigger than 1?
False
Let c = -32 - -31. Is c bigger than 2/7?
False
Suppose 4 + 17 = -7*u. Let r be 1/2*6/(-2). Are u and r equal?
False
Suppose -2*w - 9 = -7*w + 3*s, w + 15 = -5*s. Suppose w = -3*o - 3*n, 4*o - 4*n = 6*o + 4. Is 3/5 bigger than o?
False
Let o = 1/24 + -3/8. Suppose 4 = -4*f + 3*q - 1, -3*q = -f - 8. Is f less than o?
False
Let w = 0.5 - 0.3. Which is smaller: 1/4 or w?
w
Let n(r) = -r**3 - r**2 + 6*r + 5. Let f be n(-4). Let z = 945/2 + -442. Let u = f - z. Is 0 > u?
True
Suppose 2*k = -3*j + 44, 2*j - 4*k + 3*k - 41 = 0. Do j and 18 have the same value?
True
Let p = 0.17 + 0.23. Do -2/27 and p have different values?
True
Let q = -10 + 15. Is 6 != q?
True
Let f = 11 + -11. Let z be -1*(1 + -7)*-1. Let n be ((-4)/z)/(4/6). Is n less than f?
False
Let l = -10.04 - -10. Let h = l + 3.04. Which is greater: -5 or h?
h
Suppose g + 10 - 5 = 0. Which is smaller: -19/5 or g?
g
Let w = 0.17 - 0.07. Is w < -9?
False
Let h be 1 + 0 - (-8)/4. Suppose 0 = -a + 1 + h. Suppose -k + 4 = -2*p + 2, -a*p - 4 = 5*k. Is k smaller than 3/4?
True
Let b = 0.2 - 0.2. Let w = b + 0. Do w and -6 have different values?
True
Let p = -0.2 + -0.8. Let l = -0.3 - 0.7. Let u = 0 + l. Is u != p?
False
Let l be (1 - 0)/(3 - 4). Let i = -1219/12 + 298/3. Let y = i - -2. Which is bigger: l or y?
y
Let o = -1 + 4.2. Let h = o + -3. Let a = h + -0.2. Is a > -3?
True
Let s = -11 - -28. Suppose 23 = 4*w - s. Let u = w - 12. Is u equal to -1?
False
Suppose -i + 5 + 3 = 0. Let x be ((-9)/(-6))/((-6)/i). Which is bigger: 0 or x?
0
Let q be 4/10 - 804/130. Let m be (-30)/165 + (-1592)/(-286). Let p = m + q. Are p and -0.2 equal?
False
Suppose -4*h = h + 5. Is -1/7 at least h?
True
Let j = -43/14 + -10/7. Let c = -5 - j. Which is smaller: c or -4?
-4
Suppose j - 6*j = -15. Suppose j = -y + 2*y. Let c = 44 + -41. Is y at least as big as c?
True
Let m = 0.1 - -4.9. Let g = -4 + m. Which is bigger: 2/5 or g?
g
Let f(n) = -2*n - 2. Let h be f(-2). Suppose -6*w + w - 24 = 2*c, h*c = 3*w + 8. Is w at most 2?
True
Let q be (-5)/(3 - (-28)/(-8)). Suppose -q*z + 11*z = -8. Is -8 less than z?
False
Let s = 48 - 42. Does 1 = s?
False
Suppose 2*v + 24 = -12. Let z = 11 + v. Is z at least as big as -7?
True
Let z = 2.92 + 0.08. Let w = -2 + z. Which is smaller: w or 0?
0
Let d be 3*(-8)/6*-8. Let a be ((-8)/48)/((-2)/d). Is -1 > a?
False
Let j = 5 - 9. Is -4 smaller than j?
False
Let w be (-48)/30*15/6. Is -4 at most w?
True
Suppose 4*d + 3*x - 20 = 0, 38 = 4*d + 4*x + 14. Which is greater: 19/8 or d?
19/8
Let j(g) = -2 + 2 + g**3 + g - 3*g**2. Let u be j(2). Which is bigger: -4 or u?
u
Let q = -2.054 + 0.054. Let c = 2.04 - 0.04. Which is smaller: c or q?
q
Suppose -5*g = -4*s + 2 - 14, 3*s = -9. Let m be ((-4)/(-20))/(-1)*(-6)/(-3). Which is greater: g or m?
g
Let i(w) = w + 4. Suppose 3*q = -4*k - 2*q + 5, 45 = -4*k + 5*q. Let u be i(k). Let j = u + -4. Is -5 > j?
False
Let l be 0 - (0/(-3) - -2). Which is smaller: l or -1?
l
Let q = -4.5 + 5. Let h = -0.5 + q. Let d = 3 + 3. Which is smaller: d or h?
h
Let o = -2 + 4. Let s = 4 - o. Let t be 5/7 + 2/7. Is t greater than s?
False
Let n = 2473/7 - 354. Let k = n - -33/56. Is k < -2/7?
False
Let n(u) = -u + 7. Let k be n(-8). Let m be 55/k - (-2)/6. Is m <= 5?
True
Suppose -2*k - 8 = n - 0*n, 0 = 5*n - 2*k - 20. Let z(m) = m + 2. Let u be z(n). Let q(b) = -6*b**3 + 2*b + 1. Let c be q(-1). Are c and u unequal?
True
Let k = -1 + 4. Let j be (k/5)/(2/(-10)). Let y = 0.25 + -0.05. Is j bigger than y?
False
Let w be 14*(0 + 1)*-1. Let l = 13 + w. Which is smaller: 1/6 or l?
l
Suppose 2*h - 9 + 5 = 0. Which is bigger: h or -9?
h
Suppose 470 = 4*b - 122. Suppose -t = -3*t + 3*c + 183, 2*t = -4*c + b. Let p be (-4)/t + 2/(-7). Which is smaller: p or -2?
-2
Let d = 28123/49 + -574. Do 0 and d have the same value?
False
Suppose -3*v - 17 + 0 = -2*u, -4*v + 54 = 5*u. Let s be (-1)/5 - 2/u. Which is greater: 0 or s?
0
Let u 