e -5*n + 25 = 2*g, -32 = 2*n - 6*n - 4*g. Suppose 2*j + 2*t + 2 = 0, -3*j + t = n*t + 3. Which is smaller: -2/7 or j?
j
Let v = -2 - -1.6. Let c = v + 1.4. Let j = -20 + 19.95. Is c greater than or equal to j?
True
Let w be (1/1)/((-1)/(-3)). Suppose w + 5 = 2*k. Suppose k*z + z = 5. Which is smaller: z or -0.4?
-0.4
Let i(d) = d**3 + 4*d**2 - d - 7. Let w be i(-4). Is -3 > w?
False
Let v = -3/2 - -2. Which is smaller: v or -2?
-2
Let v(l) = -l - 9. Let x be v(-5). Which is smaller: -9 or x?
-9
Let x = 790669559/25075865 + -11/172937. Let w = x + -158/5. Is w at most as big as -1?
False
Let o = 259 + -261. Suppose 12 = -5*l + l. Let k be (2/6)/(1/l). Is o > k?
False
Suppose -4*a + 4*m = 8, 4*a - 20 = -3*m - 7. Let f be (-404)/(-56) + 2/7. Let n = -8 + f. Are n and a nonequal?
True
Let h be ((-10)/15 + -4)/((-2)/(-3)). Which is smaller: 0.3 or h?
h
Let w = 574/5 + -114. Let f = w - 29/30. Which is greater: 1 or f?
1
Let q = -0.56 + 0.93. Let p = q + -0.17. Which is greater: 4 or p?
4
Let i = -2 - -5. Suppose -15 = -l - 0*l + i*k, l = 5*k + 23. Let b(u) = u**3 + 10*u**2 + 9*u + 3. Let n be b(-9). Is n <= l?
True
Suppose -54 = 2*l + l. Let n = l - -13. Which is smaller: -4 or n?
n
Let p(i) = -i**2 + 5*i + 7. Suppose 2*b + 4 = -h, -3*h - 3*b - 2 = -5. Let w be p(h). Which is bigger: w or 2?
2
Let g be 6 + -5 - (-1 - -1). Let j = 33/322 + -4/23. Which is greater: j or g?
g
Let u = 69 + -109. Which is smaller: -38 or u?
u
Let m be (-38)/(-35) + (-16)/20. Which is smaller: m or -7?
-7
Let g be (-26)/(-4) + 4/40*5. Which is smaller: g or 1?
1
Let i = 10.2 + -10. Do i and 5 have the same value?
False
Let x(u) = 2*u - 4. Let l be x(2). Which is smaller: l or -3/20?
-3/20
Suppose -7*x + 6*x = 12. Is x at most -12?
True
Suppose -4*h + 59 = -45. Which is greater: h or 27?
27
Let l(g) = -g - 8. Let s be l(-7). Is s less than or equal to -7/6?
False
Let o = -6 - 2. Let b = o - -8. Which is smaller: b or -2/7?
-2/7
Let m be (8/(-5))/((-8)/(-20)). Is m smaller than -6?
False
Let f = -8.13 - -0.13. Let h = -38 + 38.1. Is f greater than h?
False
Let x(a) = -4*a + 16. Suppose -30 = -5*q - 0. Let y be x(q). Is -7 greater than y?
True
Suppose 25 = 5*o - 3*w, 6 - 23 = -4*o + 3*w. Suppose 0 = -3*d + 4*i - 11, 0 = -o*d + 4*d + i - 19. Is d at most -4?
True
Suppose -5*b + 5*q = 0, 0 = -2*b + 6*q - 2*q - 2. Let t be 1*(b - (-1 - -3)). Which is smaller: 0 or t?
t
Let f = 0 - -3/7. Let d be (0/2)/((-3)/3). Which is bigger: f or d?
f
Let j be 261/(-132) + 11 + -9. Which is smaller: j or 1?
j
Let c = 0.69 - 0.6. Let b = 69.9 + -70. Do c and b have different values?
True
Let l(c) = c**3 - 8*c**2 + 7*c + 1. Let y be l(7). Let u be (3 + -3)/(y - 0). Is 0 < u?
False
Suppose 3*i - 5*i = t, -3*i + 2*t = -14. Which is smaller: -1 or i?
-1
Let d be -1 + 2 - (7 + -10). Let c be 6/d - (2 - 0). Which is bigger: -1 or c?
c
Suppose -5*s + 3*s = -18. Suppose 0 = c + 3*c - 68. Let y = 26 - c. Is y equal to s?
True
Let u = 118 + -124. Which is greater: -23/4 or u?
-23/4
Let x = 0.8 - 0.4. Let b = 0.6 - x. Which is smaller: b or 3?
b
Let c = 23/130 + -1/10. Which is smaller: c or 1?
c
Let g = -27 + 41. Do 15 and g have the same value?
False
Let r(i) = -6*i - 3. Let o be r(-7). Suppose 0 = 5*p - 2*p + o. Do -12 and p have the same value?
False
Let g be 15/(-11)*(-32)/(-80). Which is greater: g or 1?
1
Let j be (-6)/21 - ((-4944)/14)/4. Which is bigger: 87 or j?
j
Let k = -9 - -4. Let n = 2 + -1. Which is smaller: n or k?
k
Let z be (51/68)/(18/16). Which is bigger: z or 1?
1
Let z be (-71)/5*2/22. Let s = z - -12/11. Let g(n) = -n**2 - 2*n - 1. Let f be g(-2). Which is smaller: f or s?
f
Let t(p) = -2*p**2 + 9*p - 4. Let s be t(4). Which is greater: -3/4 or s?
s
Let c = -7 - -10. Do c and 1 have the same value?
False
Suppose 3*j + 3 = -5*b - 9, -b = 4*j + 16. Suppose b*h = 5*h. Which is smaller: h or -2/15?
-2/15
Let p = 11/10 + -3/2. Let w = -0.8 + 0.5. Let v = -0.4 - w. Which is greater: v or p?
v
Let w(t) = -t**2 + 6*t + 8. Let x be (-2)/(-2*(-3)/(-21)). Let d be w(x). Which is greater: 2 or d?
2
Let s be (-1 - -1)/(4/(-2)). Suppose 2*k = -s*k + 12. Suppose -p - k = p. Is 0 smaller than p?
False
Let m = 9.9 + -10.9. Is -17.9 not equal to m?
True
Let n(t) = t**3 - 13*t**2 - 15*t + 12. Let g be n(14). Let p = -6 - -4. Are g and p non-equal?
False
Let i be (-2)/((24/(-10))/6). Let j be ((-16)/(-4) - 1) + i. Which is greater: j or 9?
9
Suppose 5*c = y + 6, -y + 3 = 4*c - 0*c. Which is smaller: y or 1/16?
y
Let d = -1.6 - -1.9. Are d and 6 equal?
False
Let y(w) = -w**3 - w**2 - 6. Let b be y(0). Let h(d) = d + 5. Let v be h(b). Is v at least -4?
True
Suppose 23 = -4*x + 55. Suppose -3*h + x = 2*r, 5*h + 2 = -2*r + 10. Are h and 0 non-equal?
False
Let h = 2 + -4. Is -0.3 != h?
True
Let i be 4/(-18)*(0 + 3). Let w = -16/15 - i. Which is smaller: -4 or w?
-4
Let m be 5 + -1 - (-6)/(-6). Which is greater: m or 1?
m
Let s = -1.8 - -4. Let g = 1.8 + s. Which is smaller: 1 or g?
1
Suppose 2*r - 28 = 4*q, -3*r + 8 = q + 1. Suppose 0*y + r*y + 2*m = -30, -17 = 3*y - 4*m. Which is smaller: -6 or y?
y
Let h = 15 + -7. Suppose f + 0*f + 20 = 0. Let m be (2/h)/(15/f). Is m >= -1/4?
False
Let c be ((-4)/(-6) + 0)*-20. Let z = -12 - c. Let h(i) = -i**3 + 7*i**2. Let x be h(7). Which is bigger: z or x?
z
Suppose 6 = -r - r. Let j = 10 + -12. Which is smaller: r or j?
r
Suppose 3*o - 7 + 19 = 0. Let u(j) = -j**2 - 5*j - 1. Let d be u(o). Let l = -8 + 11. Is d <= l?
True
Let z = -22 - -16. Let q(j) be the first derivative of -j**2 - 5*j - 3. Let d be q(0). Is z smaller than d?
True
Let y be (6/(-12)*-1)/(1/6). Suppose 4*l = -2*s - 0*s + 2, 2 = 2*s + 2*l. Which is smaller: s or y?
s
Suppose -y - 3*y = -j + 10, -5*j - 4*y + 2 = 0. Let s = -21 + 23. Let i = s - j. Is i > 3?
False
Let c = -0.088 - 0.012. Which is bigger: 0.037 or c?
0.037
Let u be 6/(-10)*40/328. Which is smaller: u or -1?
-1
Suppose -2*u = -4*u - 26. Is u >= -13?
True
Suppose 0*f = 3*f + 3. Let h be 1/f*5/(-4). Is h <= 2?
True
Let a = -112.09 - -112. Let d = 1.1 + -1. Is a equal to d?
False
Let n = -4.1 - -4.2. Let j = -0.2 + 0.3. Is n equal to j?
True
Let w(x) = -x - 2. Let g be w(-3). Is -1 less than or equal to g?
True
Suppose -4*i + 2*y = -24, -5*y = -4*i - y + 20. Which is bigger: 5 or i?
i
Let z(y) = -y**2 - 2*y + 4. Let v be z(-3). Suppose -m = -h + 5, -3*m - 10 = h + v. Suppose -3*s - 8 = 1. Which is greater: s or m?
s
Suppose 13 = 4*r - 3. Suppose r*x + 2*k = 8*x - 8, -4*k = -5*x + 16. Is x < 1/10?
True
Let j(c) = 3*c + 63. Let p be j(-21). Is -2/55 equal to p?
False
Let o = -283/10 - -55/2. Is o less than or equal to -1?
False
Let x = -4.79 - -4.4. Let a = 2.81 - x. Let k = a - 3. Is 0.2 at least k?
True
Let u(v) be the third derivative of -v**5/60 + 11*v**4/24 + 5*v**3/6 + 4*v**2. Let i be u(11). Let j be (-1)/3 + i/(-12). Is j greater than 0?
False
Let s = 8 - 6. Suppose 3*m = -5*q - 7, m + 2 = -s*q - 0. Are 2 and q unequal?
True
Let i be (-2)/(-4) + -5 + (-570)/(-132). Let s = 0.3 + -0.2. Is i equal to s?
False
Let m(q) = -2*q + 28. Let b be m(14). Let g = 2/387 + -49/1161. Which is smaller: g or b?
g
Let c = 10 + -5. Suppose c*q = -3 - 2. Is q >= -2?
True
Let l(b) = -b - 2. Let o be l(-4). Let y = 491/35 + -94/7. Is y less than or equal to o?
True
Let c(r) = -r + 7. Let u be c(6). Let b be (3 - u)/(-2) - 0. Are b and -1/2 nonequal?
True
Let q be 0 + -1 - 5/(-7). Let x = -133/2 + 66. Which is smaller: x or q?
x
Suppose 0 = -2*q + 9 - 1. Let x(z) = z + 1. Let n be x(1). Which is bigger: q or n?
q
Let n = -0.41 + 0.01. Let d = -0.3 - n. Let g be 2/5 + (-8)/(-30). Which is bigger: d or g?
g
Let o be (8/(-10))/(1 + 1). Let n = -13.1 + 10. Let l = n - -3. Is l <= o?
False
Let d = -2.8 + 2.9. Is d at most as big as -0.33?
False
Let c(s) = -s**2 + 3*s + 5. Let o be c(4). Let h be 6/15 + 114/15. Suppose -q + 7 = z, 2*q - 4 = -z + h. Which is greater: o or z?
z
Suppose -3*p + 2 = o, -18 = -p + 3*o - 4. Let f be (-1)/p + 4/24. Is 1 at least f?
True
Let u = -0.11 + 2.11. Is -1/2 less than or equal to u?
True
Let c = 4 - 4. Which is bigger: 3/14 or c?
3/14
Suppose -2 = -s + 2, -3*i = 3*s - 12. Suppose 3*x + x + 4 = i. Are 3 and x non-equal?
True
Let l be -7*(-6)/21 - 40. Is -36 less than or equal to l?
False
Let x(o) = -o**2 - 5*o - 3. Let q