11/4 or k?
k
Let c be 64/40*(-5)/(-2). Suppose -53 + 8 = 3*h + 3*s, -2*h - c*s = 38. Is -12 at most h?
True
Let l = 77 + -386/5. Let c(o) = -o - 8. Let b be c(-10). Let k be (b/14)/((-2)/(-4)). Is l <= k?
True
Let q = -0.106 + -9.794. Let u = q - -10. Let k be 2/(-30) - (-4)/10. Which is bigger: u or k?
k
Let w be 6/21 - (-72)/(-154). Let v be (6/(-4))/(9/(-24)). Suppose v*m = -m. Which is smaller: m or w?
w
Let b = 0.01 - 0.01. Let z = 0.5 + b. Which is smaller: -2/5 or z?
-2/5
Let z = -14 + 15. Is z less than or equal to 1?
True
Let f(c) = -c**2 + 5*c + 5. Let o be f(5). Suppose -4*k - k - 22 = 2*b, -5*b + o*k + 15 = 0. Let v be 0 - b - 4/(-4). Is v > 2?
False
Let g be ((-108)/16)/(156/64). Which is bigger: g or -2?
-2
Let u = -3.01 - -0.01. Let t = -3.2 - u. Let l be (-156)/42 + 4/1. Are l and t equal?
False
Let a(p) = -p**3 + 4*p**2 + 4*p + 4. Let l be a(5). Let b = 161/5 + -32. Let o = b - 9/20. Is o not equal to l?
True
Let p = 22 + -11. Let q = -6 + p. Is q < 4?
False
Let c = -1289 - -3967/3. Let w = -34 + c. Is -3 greater than or equal to w?
False
Suppose -x - 2 = 2. Let k be ((-3)/x)/((-12)/8). Let n(j) = -j + 6. Let g be n(6). Is g >= k?
True
Let u be -11 + 1 + 2/1. Let b(h) = h**3 + 8*h**2 + h + 7. Let n be b(u). Let i = 52/5 - 10. Which is bigger: i or n?
i
Let u = 18 + -18. Is 1 at least as big as u?
True
Let h = 0.5 + -0.3. Let d = 0.1 + -0.2. Let c = d + h. Is -1/4 > c?
False
Let i = -0.25 + -0.05. Let v = -1 - -1. Is i equal to v?
False
Suppose 4*l + 3*i = 51, 5*l + 5*i = i + 64. Suppose l*o + 5 = 7*o. Is -9/4 <= o?
True
Suppose 4*i + i + 4*d = -25, -4*i = -3*d - 11. Is 1/9 < i?
False
Suppose -6 = 4*z - 5*z. Let b be (z/4)/(1/(-2)). Suppose -4*g = -6*x + 3*x, -3*x = 4*g + 24. Which is bigger: b or x?
b
Let d be 37/(-2) - (-13)/(-26). Are 0.1 and d non-equal?
True
Let s(j) = j - 6. Let c be s(7). Suppose -d = 3*r + 99, 4*r - 5*d + 3*d = -132. Let f be ((-3)/r)/(1/2). Are f and c equal?
False
Let u = 26 - 6. Are u and 19 unequal?
True
Let j = 2351/16 - 147. Is 1 at least as big as j?
True
Let y(l) = l**2 + 7*l. Let o be y(-7). Let r be ((-44)/25)/(21/10). Let c = r - -6/35. Is c >= o?
False
Let v(f) = 103*f**2 - 1. Let m be v(1). Let q be m/180 + (-1)/6. Which is smaller: q or 1?
q
Let c = 6.19 - 0.19. Let w = 25.8 - 32. Let l = c + w. Are 0.1 and l unequal?
True
Let t be (1 + -1)/((-2)/2). Suppose t = 2*m + 6, q - 19 = -3*q + 5*m. Let r be (0 - q) + 8/(-12). Which is bigger: r or -1?
-1
Let q = -8 - 6. Let n be ((-6)/(-4))/((-35)/q). Which is greater: 0 or n?
n
Let w = -1337 - -9358/7. Suppose 0 = o + 2*o. Suppose g = -o*g. Which is smaller: w or g?
w
Let a be 1*((-1 - -20) + 1). Which is bigger: 18 or a?
a
Suppose 8 = -p - 3*p, 4*w - 22 = -3*p. Which is bigger: 10 or w?
10
Suppose k = -8*j + 3*j - 27, -2*j - 2*k - 6 = 0. Let y be (j/(-12))/(2/(-4)). Which is greater: y or 0?
0
Suppose -1 - 15 = -x - 5*g, 0 = -x - 4*g + 13. Is x != -8?
True
Let h = -13 - -20. Let p be (1/(-4))/(h/65). Let f = p + 7/4. Which is smaller: -2 or f?
-2
Let c = -3 - -2. Let z = -2/5 - 0. Is z less than c?
False
Suppose 3*y - 2*a - 1 + 0 = 0, 3*a = 3*y - 3. Which is bigger: 2/83 or y?
2/83
Let x be (94/3)/((-154)/21) + 4. Let o = -1 - -1. Which is greater: o or x?
o
Suppose 2*u - 9 = -2*g + 1, -u = -4*g + 20. Is u bigger than -1/2?
True
Let b = 6 - 3. Suppose 0 = -b*q - q + 4. Which is smaller: 2/15 or q?
2/15
Let j = 1843/9 + -205. Are j and -1 unequal?
True
Let i be 6/15 - (-8)/5. Let u be (-1 + (-1)/(-2))*0. Suppose u = 5*n - 12 - 8. Which is smaller: n or i?
i
Let l = -0.4 + -1.6. Let x = l + 3. Let h = x + -1.1. Is -0.1 greater than or equal to h?
True
Let p be (8/16)/(2/20). Which is smaller: p or 6?
p
Let i = 10 + -25. Is -14 less than i?
False
Let p(o) be the third derivative of -o**4/8 - o**3/6 - 3*o**2. Let l be p(-2). Is l >= 5?
True
Let s(d) = 2*d - 5. Let m be s(7). Let r be (-2)/(-1) - (m - 1). Let c be -1 - (2 - (-21)/r). Which is smaller: 0 or c?
0
Let v(i) = -i**2 - 5*i - 1. Let a be 2/(-6)*4*-12. Suppose -3*q = q + a. Let l be v(q). Is l at most as big as 3/2?
False
Let t = -0.009 - -1.049. Let w = t - 0.04. Do 0 and w have the same value?
False
Let v(g) = -10*g. Let z be v(-9). Let d be -6*(-2)/z*3. Do d and -2/3 have the same value?
False
Suppose 4*l + 0*x - 20 = -4*x, -5 = -x. Let a be (26 - 27)*(-1)/(1 - 0). Is a at least l?
True
Let z be (-3170)/(-26) + -1 + 1. Let r = z + -122. Is r equal to 1?
False
Let a be ((-662)/7)/(50/(-15)). Let c = 144/5 - a. Is 1 at least c?
True
Let q = -1 + -1. Let w = -0.2 + 0.2. Is q bigger than w?
False
Let n = -1171/11 + 107. Is -2/23 less than or equal to n?
True
Let z = 4 + -6. Let n = 564 - 1089/2. Let m = n + -20. Do m and z have the same value?
False
Let f = 100 + -90. Is f greater than or equal to 0.2?
True
Let a(i) = -1 - 3*i + 8*i - i - 2 - i**2. Let x be a(2). Let v be (-1)/6*3/(-1). Is x at least v?
True
Let o = -77962/9 - -8672. Let b = 28/3 - o. Which is smaller: b or 0?
b
Let w(k) = -k**3 - 5*k**2 - 6*k - 2. Let l be w(-2). Suppose 0 = -3*o + 4*o, -a - 1 = -5*o. Is l greater than a?
False
Let g = 20 + -24. Is -2 < g?
False
Let j(u) be the second derivative of -u**4/12 + 5*u**3/6 - u**2 - 2*u. Let v be j(2). Suppose 4*l - 12 - 4 = 0. Do v and l have the same value?
True
Let x = 0.5 + -0.8. Suppose -f = -0*f. Let n = f + -1. Does n = x?
False
Let k(p) = 2*p - 8. Let v be k(7). Let u = 3 - v. Let t = 2 + u. Is t at most as big as -1/2?
True
Suppose 4*a = 4*i - 24, 3*i - 12 = 4*a + 11. Suppose -3*d - 4 + i = 0. Let l be d/2*2/4. Is l at least 0?
False
Let h(x) = -x - 1. Let i be h(-4). Suppose 0 = f - i*f + 24. Suppose -5*w + 5 = -3*y + f, -2*w - 6 = -2*y. Which is bigger: w or 2?
2
Let y = 3296 + -3365214/1021. Let f = 149056/5105 + y. Let x = 29 - f. Which is greater: x or -1?
x
Let d = 1 + -2. Let p be (-14)/12*d/7. Suppose -28*w - 6 = -22*w. Which is smaller: p or w?
w
Let f be (-2)/(-30) + (-2)/(-6). Let x = -0.8 - -0.4. Let q = x - -0.4. Is f > q?
True
Let s = 793/5835 - 1/389. Let h = -14/15 + s. Are h and -2 equal?
False
Let v = 6 + -12. Suppose 3*w + 15 = 9*c - 5*c, 5*c - 5 = w. Are v and c nonequal?
True
Let l(c) = -c**3 + 12*c**2 + c - 10. Let t be l(12). Let b be (2/(-28))/(t/4). Do b and 1 have the same value?
False
Suppose 3*q - 2*r - 35 = -7, -r - 34 = -4*q. Suppose 4*n - 24 = q*n. Which is greater: n or -4?
-4
Let z = 22 + -10. Let p = 9 - z. Which is smaller: -5 or p?
-5
Let b be 134/(-44) + 0 - (-59 - -56). Is -1 != b?
True
Suppose -5*z + 8 = -2*i, 2*z - 5*z + 4*i = -2. Is -23 greater than or equal to z?
False
Let c be 6/(-9) - 2/(-3). Suppose c = -2*l + 3 - 1. Do -1/7 and l have different values?
True
Let m be (-1)/((5/4)/5). Let s = m + 4. Let h be (s - -1)/(6/(-6)). Is -1 less than h?
False
Suppose -f = 5*k + f - 17, 3*k - 6 = 3*f. Suppose k = -5*z + 18. Do z and 4 have the same value?
False
Let t be (4/8*2)/(-3). Which is bigger: -1 or t?
t
Suppose 2*k - 4*y = 10, 5*k + 6 = -2*y + 31. Suppose m - k = 5*o, m + 10 = 2*o + 3*m. Suppose -2*q + 6 = -0*q + t, -9 = -q - 2*t. Is q greater than o?
True
Suppose -4*g - 43 = -9*g - f, 5*g - 2*f = 34. Let p be 3*(2/g - 0). Which is smaller: p or -0.1?
-0.1
Let c = -0.3 - 0.7. Let x = -2 + c. Is x at most -0.1?
True
Suppose -2*z - 3 = -v - 0, 2*v = -4*z - 10. Which is greater: v or -2?
v
Suppose 0 = p + 3*a - 7, 4*p - 5*a - 4 = -10. Let w = -1 + p. Suppose 5*c = -0*c - 5*z + 5, 4*c - 5 = -3*z. Are c and w equal?
False
Suppose -2 = 17*p - 18*p. Suppose -65 = -4*k - 3*r, k = -k - 2*r + 30. Suppose c = q + 2*q - 2, -k = -5*c. Is q greater than p?
False
Let p = 9 + -8.6. Let h = p + -0.3. Which is bigger: -0.2 or h?
h
Let j be (14/(-4))/(-5 + 27/6). Is j at least 13/2?
True
Let y be 96/9 - (-2)/6. Which is smaller: 12 or y?
y
Suppose 5*q - 4 - 1 = 0. Let j = q + 4. Let k = -4 + j. Which is greater: k or -1?
k
Let s = 2.07 - 0.07. Is -4 >= s?
False
Suppose 6*a + 6 = -0*a. Is -4/15 bigger than a?
True
Let r be 0 - (1 - 0) - 0. Suppose -k - k = 6, -2*i - 5*k - 41 = 0. Let u(c) = c + 11. Let q be u(i). Which is greater: q or r?
r
Suppose -5*h + 14 = f - 5, 5*f - 26 = -2*h. Suppose -4*k - 8 = 0, j = -j - 4*k. Suppose 0*w + 2*w = j. Which is bigger: w or h?
h
Suppose -4*f - 3 = t, 2*f - f + 2 = t. Which is smaller: f or -1/2?
f
Let p =