 k or 1?
k
Let q = -0.85 + 0.05. Let m = q + 7.8. Is m > -2/7?
True
Let a = -45 - -46. Which is greater: 12 or a?
12
Let w = -0.77 + 0.07. Let d = 0.6 + w. Is d greater than -2/7?
True
Let q be 48/400*(-2)/3. Suppose 2*b + 3 = -b. Is b less than or equal to q?
True
Let u = -13 + 5. Let d = u + 13. Let s = -8 + d. Which is smaller: s or -4?
-4
Suppose 5*q + 3*r + 6 = 0, q + 2*r + 4 = -2*q. Which is greater: 2/23 or q?
2/23
Let q = -3 + 1. Let m = q - -1. Are m and -1/3 equal?
False
Let i be 22/(-165) - 29/(-105). Are i and -1 unequal?
True
Suppose -2*u - 5 + 3 = 0. Are u and -2/43 equal?
False
Let y = 15 - 7. Suppose -6*u = -2*u + y. Let g(q) = q**3 + 2*q**2 - q - 2. Let t be g(u). Which is smaller: 0.1 or t?
t
Let r(j) = -3*j - 60. Let c(k) = -13*k - 240. Let s(m) = 2*c(m) - 9*r(m). Let n be s(0). Let a be (-4)/(-6) - 64/n. Is 1 at least a?
True
Suppose 3*p + 2*l = -5, 0 = 3*p + p + l + 10. Suppose -14*v = -22*v - 16. Is v smaller than p?
False
Let p = -2 - -3. Is p at least as big as 2/11?
True
Let i(a) = -4*a**2 + 4*a - 4. Let p(c) = c**2 - c. Let d(n) = i(n) + 5*p(n). Let z be d(3). Let t be (-4)/(1 + (-1 - 2)). Is z > t?
False
Let i = -0.03 - -0.13. Which is smaller: -0.06 or i?
-0.06
Let i = -52/389 - -267659/3112. Let x = 86 - i. Which is smaller: x or -1?
-1
Let o(g) = -32*g. Let p be o(-4). Let f be (26/(-9))/(p/24). Let t = f - -55/72. Is t not equal to 1?
True
Let w(m) be the third derivative of 1/24*m**4 + 2/3*m**3 + 0 + 2*m**2 + 0*m. Let d be w(-7). Which is smaller: d or -2?
d
Suppose 4*w + 3*l - 11 = 2*l, -l - 3 = -3*w. Suppose -1 - w = -3*y. Is y bigger than 2/7?
True
Let y be (-2)/13 + (-14)/(-91). Let r be (-1)/4 + 13/4. Is y <= r?
True
Let l(v) = -3*v + 5. Let x be l(13). Is -34 at least x?
True
Let t be (-2)/2 + 6/5. Let p = 12 - 12. Suppose p = q - 5*q + 8. Is t less than q?
True
Let g = -6 - -11. Suppose l = g*l - 4*j + 4, -3*l + 5*j = 7. Let b = 2/59 + 49/295. Do l and b have different values?
True
Let d(p) = -p**2 + p + 2. Let h be d(-1). Are -4/13 and h unequal?
True
Suppose -z = -3*z. Suppose z = -2*o - 2*v + 8, -4*v + 8 + 17 = -5*o. Let n = -224/15 - -46/3. Is o >= n?
False
Suppose 3*i = 5*x - 23, 0*x + x + 1 = 2*i. Let m = 2 + x. Let v = 21/2 - m. Are 3 and v equal?
False
Let i be ((-1)/2)/(3/12). Suppose 5*v = l - 8, -3*l - 2*v = -l + 8. Is i > l?
False
Let n = -5 - -9. Suppose n*i - 6*i = 18. Are i and -10 non-equal?
True
Let o = 98 - 98. Which is greater: 2/227 or o?
2/227
Let z be (-1)/((-1)/(-4)) + (-10 - -12). Is 0 < z?
False
Let r = 307/3 + -103. Let d(j) = -j**2 + 2*j - 1. Let z be d(1). Which is smaller: z or r?
r
Let g = -0.23 - 0.07. Let m = g - -0.4. Is m at least -0.2?
True
Let f = 5.1 - 1.1. Let z = f + -4.06. Which is smaller: 1 or z?
z
Let b be (-4)/14 + (-100)/(-154). Let f be (-2)/(-9) + (750/594)/(-5). Let h = b + f. Which is smaller: -0.2 or h?
-0.2
Let f(k) = 15 - 4 + k - 2*k. Let n be f(11). Which is greater: n or -1/2?
n
Let j = -182/5 - -36. Are 1 and j non-equal?
True
Suppose 3*s - 41 = 4*p + 11, s = -p - 20. Let o = -569 - -553. Is p greater than o?
False
Let o be 3/(-2*6/(-8)). Suppose o*q + q = 0. Let y be (q + 1)/1 + 2. Which is smaller: 1 or y?
1
Let f = 1.5 - -0.5. Let w = f - 2. Do w and -1/4 have different values?
True
Let s be (-1 - -6) + -2 - 4. Is s less than 8?
True
Suppose 5*r = -j + 3*r - 5, -3*j + 3 = -3*r. Suppose 4*k + 2 + 6 = 0. Is j at least as big as k?
True
Suppose 4*g - 1 + 13 = 0. Let a = -3 - g. Let y = -1368/7 + 196. Which is smaller: y or a?
a
Let k = 2/625 + 1056/60625. Is k >= 0?
True
Suppose 5*m - 74 - 131 = 0. Let f = m - 11. Let h = -89/3 + f. Which is bigger: h or -0.1?
h
Let c(m) be the second derivative of m**5/20 + m**4/6 - 5*m**3/6 - m**2 + m. Let g be c(-3). Suppose 5 = -g*l + 3*l. Is l greater than -4?
False
Let m = -57 - -59. Is m at least -4?
True
Let k = 0.44 - 4.04. Let u = k - -1.6. Is u greater than or equal to -2?
True
Suppose i - 5 = -2*o, -3*i - 4 = -o - 5*i. Let r = o + -2. Suppose 4*h = 0, -2*x - h - 4 = -2. Which is bigger: r or x?
r
Suppose 0 = 3*y + y - 8. Suppose -y*f - 3*f - 425 = 0. Let c = -592/7 - f. Which is greater: -1 or c?
c
Let d(m) = m**2 + 9*m + 20. Let z be d(-4). Suppose 2*x = -l - 3 + 45, 5*l = 4*x + 210. Let q = -167/4 + l. Is z less than or equal to q?
True
Let f = -3 - -3. Let i(p) = p - 11. Let b be i(f). Is b equal to -10?
False
Let n be -2*(-1)/(-3)*(-11 + 8). Is -2.6 less than n?
True
Let l = -5.1 + -0.9. Let f = l + 5.8. Which is smaller: f or 3?
f
Suppose 0*o + 12 = 2*o. Suppose -2 = -5*h - 3*b, 0 = -5*h - 5*b + 4*b - o. Let a = h + 4. Is a at most 3?
True
Let y = -21 - -22. Is y smaller than -0.4?
False
Let d be ((-3)/27)/(-2 - (-123)/72). Is 0 bigger than d?
False
Suppose 2*b + 2*b = -12. Let w(i) = -i**2 - 4*i + 1. Let q be w(b). Is 3 < q?
True
Let t = -30 - -32. Is t equal to 5?
False
Let j be 0/(-3*(-6)/9). Suppose -4*t - 31 = 5*s + 10, 4*s + 20 = j. Which is smaller: t or -3?
t
Let s be -1 + 1 + (-4)/(-42). Let v be ((-16)/10)/(10/(-25)). Let w = v + -4. Is w at least s?
False
Let q be 11 + (-3)/((-6)/(-4)). Let a be -2 + (0 - (-19)/q). Is 0 less than or equal to a?
True
Let y = 19 + -16. Suppose -7*o = -y*o - 4. Let j be (16/(-30))/((-12)/10). Is j less than or equal to o?
True
Suppose 0 = -2*y - 4*i - 0*i - 16, 2*y + 5*i = -11. Is y equal to -17?
False
Let g be ((-6)/(-4))/((-5)/(-210)). Let t = -129/2 + g. Is -3 less than t?
True
Let f(n) = -n**3 - 11*n**2 - 6*n - 29. Let z be f(-11). Which is greater: 38 or z?
38
Let d be (12/(-10))/((-34)/5 - -7). Is d greater than or equal to 1?
False
Let m = 1.9 + -2. Let h = 44.6 + -45. Is h <= m?
True
Let l = 0.2 + 0. Let w = l + 0.2. Let d = w - 0.4. Is d less than -1/4?
False
Let z be -1 - (-1 + 1)*(-1)/(-3). Which is smaller: 2/115 or z?
z
Suppose c = 4*k - 4, 0 = 3*c - 0*c + 4*k - 20. Let s(o) = o**3 - 4*o**2 - o + 4. Let j be s(c). Let f be 6/(-4) - (j - 1). Which is bigger: 0 or f?
0
Let c = 46 - 47. Which is bigger: -2/521 or c?
-2/521
Let j = -0.9 - -0.9. Is 0 at least j?
True
Let q be 12/(-6)*1/2. Let k be ((-1126)/68)/(2/4). Let y = 33 + k. Is q at most y?
True
Let o be 1 - (0 + 4)/(-4). Let d be (7 + (-1 - o))/2. Is d != 1?
True
Suppose 0 = -0*u + u + 1, -2*z - 5*u = 17. Let n be 6/(-9)*z/4. Which is greater: n or -1/3?
n
Suppose -u = -2*u + 9. Let a = -23 - -68. Suppose 8*p - 3*p - a = 0. Is u smaller than p?
False
Let p = 40 - 37.3. Let r = -0.7 + p. Which is bigger: -2 or r?
r
Suppose -3*z + 14 = -2*u, -5*u + 3*u = z + 6. Which is greater: 0.1 or u?
0.1
Suppose 2*d = 4*p + 26, -5*d + p + 13 = -7. Suppose 17 = -2*l - 5*w, d*l + 5*w + 22 + 1 = 0. Do -6 and l have the same value?
True
Let w = -0.25 - -0.26. Is 1/4 greater than w?
True
Suppose -2 - 1 = m. Which is smaller: -2 or m?
m
Suppose -4*p + 0*p = -2*v + 38, 0 = 4*v - 20. Are -25/3 and p non-equal?
True
Suppose -2*u + 18 = -5*w, -2 = -4*u + 3*w + 6. Let z be 14/36*(-1 - 2). Which is smaller: u or z?
z
Let r be 4/(-16)*(-4)/3. Let o = 0.4 + -0.5. Which is smaller: o or r?
o
Let k(p) be the first derivative of p**4/4 + 10*p**3/3 - 3*p + 5. Let y be k(-10). Which is smaller: y or -5?
-5
Let r = -32 + 35. Suppose -3*n - 2*n + 15 = 0. Let s be -4*n/(-6) + -2. Which is bigger: r or s?
r
Suppose -23*r = -19*r. Is 12/23 at least as big as r?
True
Let w be ((-6)/(-369))/(6/3). Is 0 bigger than w?
False
Let n(w) = -w**2 + 7*w. Let l be n(6). Suppose -3*z + 9 = -l. Let x be z/(-5)*1/1. Which is bigger: -2/11 or x?
-2/11
Let c(t) = -t**2 + 7*t - 6. Let d be c(5). Suppose 0 = -4*r - d*z, 10 = -5*r - 3*z + 2. Let v(h) = -h**2 + h + 39. Let q be v(-6). Which is bigger: r or q?
q
Suppose 3*w = 3*h + 15, -2*h - h = 4*w - 13. Let f be 33/35 + (-3)/(-3 + 6). Which is greater: h or f?
f
Let s be 3 + (0 - 1) + -1. Which is bigger: 10/7 or s?
10/7
Suppose s = 16 - 7. Is s at least 1?
True
Let i = -1 + 0. Let b be (-24)/10 - (-4)/10. Which is greater: b or i?
i
Let i be ((-3)/(-2))/((-3)/4). Let b = -3 - i. Let h be -3 + (0 - 2 - (-44)/9). Is h bigger than b?
True
Let r(i) be the first derivative of i**2 - 8*i - 1. Let c be r(6). Suppose 3*z + 5*q + 17 - c = 0, -2*z = -3*q - 4. Is -1 greater than z?
False
Let b(d) = d + 2. Let h be b(-16). Is h at most as big as -14?
True
Let n = -0.8 + 1. Let a = 0 - n. Let p = -0.1 - a