16 = -4*b, -b = -4*g - 9 + 29. Suppose g*x + 0*c - 17 = c, -x = c - 8. Which is bigger: 7 or x?
7
Let v(t) = -t**2 - 6*t - 6. Let o be v(-4). Let q be o - -1 - (4 - 3). Is 7/4 <= q?
True
Suppose g - 4*j = -0*g + 1, -5*j + 15 = 2*g. Suppose 4*a = g*a + 5*z + 26, 5*a - 5*z = -40. Is -11 <= a?
True
Suppose -q - 2*q = -15. Suppose 0 = -i + 4*m + 10, 3*m = -q*i + 4 - 0. Let z(p) = p - 1. Let n be z(5). Which is smaller: n or i?
i
Suppose 2*x - 189 = -x. Let z be (x/12)/(-7)*-4. Which is greater: 6 or z?
6
Let r(x) = x. Let f be r(-5). Let w = f + 4. Let u = -0.2 + 0. Is u at least w?
True
Let g be 2/(-10)*(0 + -1). Let c be -1 + 12/4 - -3. Suppose -12 = 4*t - 2*l, 0*t - c*l = -3*t - 23. Is g less than t?
False
Let l = -7 + -5. Is l less than -14?
False
Let k be (-2 - -3)/(142/4 + -1). Is k greater than or equal to -1?
True
Let r be 2/(-2)*-1 - -3. Suppose 0 = r*k - 22 + 2. Suppose 5*s - 17 = k*q + 13, 5*q = -5*s. Is 3 at most s?
True
Let g = 0.07 + 3.93. Let k = 4.2 - g. Does 0.04 = k?
False
Suppose -2*r + 3*n + 19 = 0, r + n = 6*n - 1. Suppose r = q + 13. Suppose -5*i = -3*f - 5, f = -4*i + 3*f + 2. Is q smaller than i?
False
Suppose -y - 2*x + 3 = -0*y, 2*y + 2*x = 0. Let w be ((2 - 1)*4)/(-1). Are y and w non-equal?
True
Suppose -2*j + 7 = -25. Suppose -m - 4 = j. Let u be (-1)/(-5)*m/8. Which is greater: u or 1/4?
1/4
Let f = 1.8 + -0.8. Let n = 852/7 + -122. Is f at least as big as n?
True
Suppose 0 = -3*c - 5*m - 40, -3*c - 3*m = c + 35. Let b(z) = z + 5. Let h be b(c). Is 3/10 at least as big as h?
True
Suppose 2*q + 23 = 3. Suppose -3*g = 3*b + 13 + 11, -3*b + 6 = 0. Is g bigger than q?
False
Suppose 3*p + 9 = -0. Let w = p + 6. Suppose w*z = -8 - 7. Is z bigger than -5?
False
Let k be 1/((-1)/(-8)*2). Suppose 0 + 4 = -k*g. Let a be 6/(-9) + 1/(-3). Do a and g have different values?
False
Let g be 4/(-8) + 26/(-4). Let o(v) = -2*v + 1. Let s be o(g). Let k be s/18 - 1/(-6). Which is smaller: k or 0?
0
Let k = 152 + -89. Is 62 equal to k?
False
Suppose 0 = v + 2*v + 3*u + 3, 4*v - 3*u - 3 = 0. Which is smaller: v or -2/3?
-2/3
Suppose -2*x = 5*s, -4 = x - 2*s + 14. Let q be 4/x + (-26)/10. Let m(v) = -v**3 + 6*v**2 - 6*v + 1. Let n be m(5). Which is smaller: n or q?
n
Let o = -53/26 + 7/13. Let r(q) = -q**2 + 3*q - 5. Let n be r(2). Which is smaller: n or o?
n
Let m be 34/4 - -2 - 2/(-4). Is 10 > m?
False
Let p be (0 - -1)*0/(-1). Let l(x) = -x**3 + 10*x**2 - 9*x. Let r be l(9). Is r > p?
False
Suppose -2*f - 3*f = -b + 13, 3*f + 13 = -2*b. Let l = 0 - b. Is l bigger than 2?
False
Let m(n) = n**2 - 7*n + 2. Let s be m(7). Let y be 1*(1 + s) + -13. Let t be (-14)/y + (-1)/1. Is t at most 0?
False
Suppose h + 9 = 2*h. Suppose 6*y - 2*y = 64. Let t be 3/h*(-18)/y. Which is bigger: t or 0?
0
Suppose -3*f - 2 = -2*k, -4*f + 0*k - 12 = 2*k. Let w = -2 - 1. Let i = w + f. Which is smaller: -3 or i?
i
Suppose q = -4*q - 50. Let d be (-1)/1*(-1 - -7). Let v be (-4)/d*15/q. Do v and -1 have the same value?
True
Let i = -41/4 - -10. Is i <= 1?
True
Suppose 0 = -4*v - 2*u + 34, 2*u + 3*u - 25 = 0. Let k(n) = n**2 - 5*n - 6. Let f be k(v). Let x = -236/3 - -78. Do x and f have the same value?
False
Let j = 1.12 - 0.22. Let x = -0.75 + -0.05. Let n = x + j. Is n at least -0.1?
True
Let s be (-2)/(6/(-3)) - -3. Let r be s*(-1)/(-2) + 3. Which is smaller: r or 6?
r
Suppose 3*b = 3*l - 6, 4*l - b = 2*b + 4. Suppose 2*z + 3 = 1. Do z and l have different values?
True
Let l = 73/3 - 25. Let f = -10 + 2. Let t = f - -11. Is t not equal to l?
True
Let j = 1 + -1. Suppose j = 4*b + l + 1, 2*l - 7*l = 25. Is b at most as big as 3/7?
False
Let y be (-3)/138*-6 + 0. Is y smaller than -1?
False
Let y = 0.3 - 0.2. Suppose 4*a - 6 = a. Suppose -a*h = 2*h. Which is smaller: h or y?
h
Let y = -7589/30 - -253. Are y and -0.1 unequal?
True
Let k be -2 - 106/40 - -3. Let v = 5/4 + k. Do 0 and v have different values?
True
Let w = 0.06 + 1.94. Is w > 4/3?
True
Suppose 2 = -3*i - 4, 20 = 5*a - 5*i. Suppose 2*u + 2 = -a. Let o be 0/((0 + 1)*u). Which is smaller: o or -1?
-1
Let w(n) = 2*n**2 - 2*n. Let f be w(2). Let t be -1*(-3)/(3 - 2). Are f and t nonequal?
True
Let j be 14 + -10 - (-26)/(-4). Which is bigger: j or -3?
j
Let y = 1.8 + -3.8. Suppose -2*c + 0 = 4. Let v be c + 3 + 3/(-6). Which is greater: v or y?
v
Let s = -8/15 + -2/3. Let p(h) = -h**3 + 7*h**2 + h - 7. Let m be p(7). Are s and m equal?
False
Let h be 2/(-7) - (-132)/21. Let i = 4 - h. Let r = -4 - -3. Which is smaller: i or r?
i
Let q = 2.2 - 1.2. Is q at least 0.4?
True
Let d = -11/60 - 1/15. Let v = -7 + 12. Let i(a) = -a**3 + 5*a**2. Let l be i(v). Which is smaller: d or l?
d
Let s = 7.4 + 1.6. Let i = -9.06 + s. Let u = i + -0.04. Is 3/5 at least as big as u?
True
Let a be (1 + 3)*(-11)/44. Do 2/3 and a have the same value?
False
Let m = 7/33 + -6/11. Let b = m + 0. Is b at least 0?
False
Let i = -845 - -61683/73. Which is bigger: 0 or i?
0
Let n = -0.1 + 0.12. Let l = n + 2.98. Let s(u) = -u + 21. Let m be s(18). Is m bigger than l?
False
Let s be 2 - (-4)/(-12)*3. Let x be 384/186 + s*-2. Which is bigger: -1 or x?
x
Suppose y = -2 + 7. Suppose -y = 5*t - 0*t. Is 2/5 bigger than t?
True
Suppose 5*o - 10 = z, o + 0*z - 16 = 3*z. Suppose 3*d - 168 = -3*v, -4*v + 158 = -5*d - 21. Let t be (-6)/(-35) + v/(-85). Is t less than or equal to o?
True
Let s be ((-3)/9)/(2/(-6)). Let y = -6 - -4. Let m be -2 + (-3 - -1)*y. Is s != m?
True
Let z = 14694105/17 - 864786. Let o = z + 427. Which is smaller: o or -1?
-1
Let t(b) = b - 6. Let z be t(6). Suppose 2*w + 0*w - 8 = z. Which is smaller: w or 2/3?
2/3
Suppose -20 = 4*q - 4, -3*c + 2*q = -8. Which is bigger: c or 1/28?
1/28
Let c be (77/27 - 3)/((-6)/(-9)). Is c greater than or equal to 1?
False
Let q(l) = -15*l**2 - 26*l. Let c(k) = 5*k**2 + 9*k. Let a(p) = 17*c(p) + 6*q(p). Let g be a(-2). Let i be 21/g + (-7)/(-4). Which is smaller: 1 or i?
i
Suppose 3*t = 5 + 4. Let f be 1/(t/(-177)) - 2. Let a = f + 185/3. Is 1 at most a?
False
Suppose 4*b - 12 = -4*v, 0 = 7*b - 3*b + 2*v - 4. Let w = -309 - -308. Is b less than or equal to w?
True
Let g(w) = w + 32. Let k be g(0). Let y be (-2)/5 - k/(-5). Let h be (14/y - 0) + -2. Which is smaller: 1 or h?
h
Let k = 71 + -1351/19. Let p = 3 - 4. Which is greater: k or p?
k
Suppose 2*w - f + 3 = -1, 2*f - 8 = -3*w. Suppose 5*c + 3*x - 7 = w, 8*c - 3*c = 2*x - 13. Suppose 6*p - p = -5*y + 45, -y + 13 = 2*p. Is y < c?
False
Let d(z) = 2*z + z**2 - 15 - 2*z**2 + 10*z. Let c(s) = -s**2 - 9*s - 9. Let j be c(-5). Let g be d(j). Is -2 != g?
True
Let u(o) = 23 + o - 7 - 2*o - o**3 + 38. Let b be u(0). Let g be (-31)/b - (-5)/10. Which is bigger: g or 0?
0
Let u = -8 + 8. Suppose 3*m = u, 5*r + 5*m = 4*m. Which is bigger: -2/11 or r?
r
Let u = -17 + 16. Which is smaller: u or 3/50?
u
Let g be 48/(-27) + (-12)/54. Let s be (g - -1)/(2/(-6)). Which is smaller: -0.1 or s?
-0.1
Let m = -6 + 10. Suppose -m*k - 3*t - 4 = -5*t, -5*k + 2*t - 6 = 0. Is k less than or equal to -1?
True
Let r(u) = 2*u - 12. Let o be r(13). Which is greater: o or 12?
o
Let x(q) = -q - 5. Let j be x(-7). Let a = j - 2. Suppose a*y = -y. Is y != -1?
True
Suppose 0 = 2*t + 1 + 9. Let u = t + 10. Suppose -u*m - 2 = -4*q - 9, m = -3*q - 10. Is m at least 2/5?
False
Suppose 0 = -3*z + 3*w + 65 - 11, 5*z + 2*w = 125. Let c = z - 17. Which is smaller: c or 5?
5
Let j = -0.6 + -0.35. Let g = j + -0.05. Which is smaller: 1 or g?
g
Let g = 0.04 - -0.06. Let z be (-2)/(-4) - 146/156. Let o = z - -10/13. Does o = g?
False
Let f be 2/(-2) - (-5 + 0). Let h = f - 8. Is h bigger than -4?
False
Let y(a) = a + a**3 - 2*a**2 + 3*a**2 - 2*a + 13. Let z be y(0). Suppose -5*q + z = 3*i, 2*i = 2*q - 5*q + 8. Is -2/11 at least as big as i?
False
Let g be 2 + -4*(-2 - -1). Let u be g/((42/4)/1). Does u = 2?
False
Suppose 3*a - 5*q = 169, 2*a + q = 4*a - 101. Let r = 145/3 - a. Suppose -k + l + 0 = 4, 5*k + 3*l = 4. Which is bigger: k or r?
r
Let g = 182/15 + -12. Suppose -b - 4*b - 14 = 3*f, 5*f + 11 = 4*b. Which is smaller: b or g?
b
Let t(b) = 6*b - 7. Let d be t(2). Let i(u) = -13*u**2 + u - 21. Let q(y) = 7*y**2 + 11. Let n(k) = -6*i(k) - 11*q(k). Let a be n(d). Which is smaller: -2 or a?
-2
Suppose -2*a - 3*w + 4 + 5 = 0, -3*a = 2*w - 16. Suppose -5*t + a = -2*x - 1, -4*t