-c**2 - 6*c - 5. Let t be i(-4). Which is smaller: 2 or t?
2
Suppose z = -3*z + 4. Suppose -2*n - z = 3. Let y be ((-18)/15 - n)*-5. Is y < -2?
True
Suppose 5*g - k + 0*k = 1, 3*k + 3 = -2*g. Let a = g - -3. Let q be (-3)/(-2)*(-2)/a. Which is greater: q or -2?
q
Let x be (3 + 0)*-2*1. Let l(c) = -7*c**3 - c**2 + 2*c - 1. Let r be l(1). Let g = x - r. Which is bigger: -2/7 or g?
g
Let o be (20 - 32)/((-2)/(-2)). Is -12 != o?
False
Let b be 2 - (3 - 2/2). Let m = 1754687/12 - 146389. Let z = 165 + m. Is b at most as big as z?
False
Suppose o = 6 + 2. Suppose 2*f = -2*n - 10, -o = 2*n - f + 2. Is n at least -5?
True
Let y(j) = -j**3 + 6*j**2 + 8*j - 8. Let b be y(7). Which is smaller: b or -1/4?
b
Let g be (-2)/1 + 319/159. Let o = 301/2703 + g. Suppose 4*f - r - 3*r = -16, -4*f - 5*r = -11. Which is greater: f or o?
o
Let w = 22/7 + -20/7. Let u = 34 - 34.6. Which is bigger: u or w?
w
Let u = -0.3 - -0.4. Let z = -3.1 - -2.7. Which is bigger: u or z?
u
Let a = -19 + 20. Is a at most -5/14?
False
Let n = -1 - -1. Let r = -199/3 - -65. Which is bigger: n or r?
n
Let r(s) = -s**3 + 6*s**2 + 7*s - 1. Let z be r(7). Let o = z + 5. Suppose -o*f + 1 = 5. Is f != 0.1?
True
Let v = 5.7 + -8.7. Which is smaller: v or -0.09?
v
Let l = 25 - 77/3. Which is greater: l or -4.8?
l
Let m(z) = -z**2 + 5*z - 5. Let u(n) = n**2 - 9*n + 4. Let v be u(9). Let o be m(v). Suppose -5*q = w - 17, 0 - 8 = -w - 2*q. Is o at least w?
False
Let v = 9 - 15. Let c = v - -8. Let z be c/8 + 9/12. Do z and 1/3 have the same value?
False
Let f = -30 + 30.1. Is f > 15?
False
Let x = -3 + 6. Let m = x - 0. Suppose -2 = -2*g - 6, 2*y = m*g + 4. Which is bigger: -2 or y?
y
Suppose -6 = 3*y, -c - 2*y = -5*y - 4. Suppose q - 1 - 6 = z, -z - 5*q = 1. Which is smaller: c or z?
z
Suppose 4*t = t - s - 2, 2*t - 12 = -4*s. Is -3 < t?
True
Let g be 4/(-18) - 14/(-630). Is g less than or equal to -9?
False
Let b be 742/588 - 4/3. Is 1 smaller than b?
False
Let y = -45 + 45.07. Is y equal to -0.2?
False
Let t be -3 + 1 + 0 + 3. Let c be ((1 - 7)/t)/(-2). Which is bigger: c or 2?
c
Let g = 23.057 - 0.157. Let h = g - 24. Let x = h + 1. Which is greater: 0 or x?
0
Let x be (-8)/(-32)*16/3. Do 2 and x have the same value?
False
Let o = -14 + 8. Suppose -u - 3 + 5 = 3*p, p = -3*u + 22. Let g be ((-28)/6)/(u/12). Is g bigger than o?
False
Let k be 1 + -1 - 231/(-2). Let m = 118 - k. Which is smaller: m or 4?
m
Let t(q) = 12*q + 4. Let l be t(3). Suppose -z + 4*f = -8, 4*f = -4*z + 7*z - l. Let v be 26/8 + (-4)/z. Is v greater than 3?
False
Let y(m) = 71*m + 3. Let t = -3 + 6. Let v be y(t). Let l be 0 + 2 + v/(-102). Which is greater: l or -1?
l
Suppose 3*x = -5*s + 2*x - 47, -4*x = -12. Let a be (-3)/s*(-8)/12. Is a at least -3?
True
Let g = 3.06 - -0.24. Let r = 7 - 4. Let j = r - g. Which is greater: 1/3 or j?
1/3
Let a(h) = h**3 + 3*h**2 + 2*h + 6. Let r be a(-4). Let w be (6/(-21))/(r/(-201)). Let i = w - -27/7. Which is bigger: i or 0?
i
Suppose 2*i - 20 = -3*t + 9, 0 = 5*i - 2*t - 63. Suppose 0 = -5*v + 18 - i. Let b be 22/21 - 1/3. Which is greater: b or v?
v
Let o be 10/(-25) + (-34)/(-35). Let a = 12 - 6. Let u = a + -5. Which is smaller: o or u?
o
Let b(s) = -s - 4. Suppose 3*p = -6 - 3. Let m be b(p). Is -1/5 at most m?
False
Let u = -111 - -105. Are -10 and u unequal?
True
Let w(a) = -2*a - 2. Let f be w(-3). Suppose -f*y - 5 = -4*v - 17, 2*v = -4*y + 12. Which is smaller: v or -1?
-1
Suppose -b - 15 = q, -3*q + 2*q = 4*b + 24. Let g be 11*(0 + 4/q). Is -3 not equal to g?
True
Suppose -3*h - 3*l - 18 = 0, 5*h + 7 = -3*l - 13. Is -2/29 greater than or equal to h?
True
Suppose 2*u + 36 = 3*j + 5*u, -2*j = 5*u - 18. Let o be (-13)/(-91) + 12/j. Let h = 0 + 0. Is h less than o?
True
Let l be (3 - 21/6)*(4 - 0). Is l > -10?
True
Let v = 62 - 64. Which is smaller: v or -12/19?
v
Let o = 68 - 67. Let r = -47 + 233/5. Let k = 4/35 + r. Which is smaller: o or k?
k
Suppose -a + 3*p + 16 = 0, -18 = -3*a + 2*p - 3*p. Which is smaller: 1 or a?
1
Suppose u - 5*u + 12 = 0. Suppose -4*b + u*g - 13 = 0, -2*g = g + 3. Let w(i) = -i**2 - 5*i - 4. Let l be w(-5). Is l greater than or equal to b?
True
Let w = -5 + 4.6. Let m = -8.5 + 8. Let c = w - m. Is c != -0.4?
True
Let w = 0.09 - -0.06. Let m = 0.05 + w. Does -0.1 = m?
False
Suppose y + 4*m = 14, 3*y + 4 = 2*y + 2*m. Suppose a = -4, u + y = -a - 1. Suppose -3*c = 2*c - 4*x - 15, c - 2*x - 9 = 0. Which is smaller: u or c?
c
Let t = -162/7 + 159/7. Let r = -221/4 - -56. Which is greater: r or t?
r
Let h = -78 - -78.13. Let l = -0.1 - 0. Is l < h?
True
Let v be (-4)/3 - 4/6. Let m = -18 + 20. Suppose -m*c - 12 = -6. Which is smaller: v or c?
c
Suppose 3*n = 5*s - 23, -3*s = 4*n - s + 74. Is n at least -17?
True
Suppose 2 = -w - 0*w. Let k be ((-6)/(-3))/(w/(-4)). Which is smaller: 6 or k?
k
Let z = -0.4 - 0.4. Let p = z + 0.9. Is -0.3 at most p?
True
Suppose 4*a + 21 - 5 = 0. Is -4 at least a?
True
Let u be 4/3*(-3)/5. Let r be -3*((-8)/(-3) - 2). Is u not equal to r?
True
Let y = -2 + 3. Let b = -2.82 - 0.18. Let n = b - y. Do n and -1 have different values?
True
Let b(q) = 73*q**2 + 2*q - 1. Let m be b(1). Let n = -145/2 + m. Which is greater: n or 1?
n
Let q be 15/10*(0 - 2). Let s(i) = -i**3 + 10*i**2 - 9*i - 4. Let p be s(9). Is q less than p?
False
Let a be (-4)/(-10) + (-1265)/(-25). Is a bigger than 52?
False
Let u = 2336 - 4158. Let c be (u/3)/(14*1). Let x = c + 131/3. Do x and 1/3 have the same value?
False
Let c(i) = 2*i + 9. Let w be c(-10). Let p = 12 + w. Let j = -321/5 + 64. Which is bigger: j or p?
p
Let r be (40/10)/((-2)/(-1)). Let h = r + -2. Is -2 != h?
True
Let k = -8 + 12. Suppose 3*t + 5*r - 32 = -9, -5*t - 15 = -5*r. Is k at least t?
True
Let h = -4.016 - -0.016. Which is greater: h or 2?
2
Let h(y) = y**2 - 3*y - 5. Let w = 3 + 0. Suppose -3*u + 19 = x + 3, 0 = 3*x - w*u. Let r be h(x). Is -2/5 at least as big as r?
True
Let h = 7 + 121. Let o = 2138/17 + -21638/85. Let n = o + h. Which is bigger: -2 or n?
n
Let u = -67 + 76. Is u less than 9?
False
Let r be -2 + -1 + (-51)/(-11). Is r >= 3?
False
Let x(m) = -m**2 + 7*m + 13. Let s be x(10). Let i = s + 4. Are -0.1 and i non-equal?
True
Let o be 1 - (-3)/(18/(-5)). Let k(d) = -d**3 - 7*d**2 + 7*d - 8. Let a = -14 + 6. Let l be k(a). Is o bigger than l?
True
Let y = 0.3 + -0.2. Suppose -2*n - 3*n = -5. Which is bigger: n or y?
n
Let h(l) = -4*l + 9. Let m be h(4). Let k be (-6)/9 + 42/9. Suppose -2*v = -2*a + 8 + 6, 0 = v - k*a + 10. Which is greater: v or m?
v
Suppose 3*u = 2*h + 1, u + h = 5*u - 3. Which is bigger: u or 1/10?
u
Let t(q) = 5*q**2 + 19*q + 3. Let u be t(-4). Let w be (-56)/(-9) - 6/27. Is u less than w?
False
Let k be (-3)/((-29)/2 - 2). Suppose -2*s - 34 + 0 = 0. Let n = -16 - s. Is k less than n?
True
Let j = 22/5 - 139/35. Which is bigger: -1 or j?
j
Let a = -6 - -3. Suppose 2*n = -4*w, 0 = 5*n - 3*w - 2*w - 15. Suppose 0 = n*v + 4*o - 6, -v - 2*v - 2*o - 3 = 0. Is v smaller than a?
False
Let w = -68 - -67. Which is bigger: w or 10?
10
Let o(r) = -r**2 - r + 1. Let j be o(0). Let x be 1 + -1 - j/1. Which is bigger: 0.1 or x?
0.1
Let q = -44/7 + 234/35. Let j be 2/(-40) + 2/(-10). Which is greater: q or j?
q
Let a = -22 + 25. Are 19/5 and a unequal?
True
Suppose 3*f + 5 = -5*z, -9*z - 2 = 5*f - 7*z. Is f greater than 2/45?
False
Suppose 4*t - 16 = 2*t. Which is smaller: -2 or t?
-2
Let m be 4/(-10) + 12/5. Let s(j) = j**2 + 3*j + 2. Let q be s(-3). Suppose b - m = q*b. Are 0 and b non-equal?
True
Let z = -18/35 + 8/21. Let n(q) = -q + 5. Let f be n(8). Let r be (f - (-15)/6)*2. Which is smaller: r or z?
r
Suppose -2*m + 1 = -3*y, -4*m + 3*y + 14 = y. Is 3 at least as big as m?
False
Let p = -13 - -11. Which is smaller: -0.1 or p?
p
Suppose -r - 4*r = -10. Suppose -y - r*y = 0. Let a = -13/2 - -7. Which is bigger: a or y?
a
Let k = -4.8 - 1.2. Which is bigger: -2 or k?
-2
Suppose -s = -5*s + 2*u + 26, 5*s = -5*u + 10. Let d = -48 - -46.95. Let h = -0.05 - d. Which is greater: h or s?
s
Let v be (-10)/15 + (-811)/(-15). Let j = v + -53. Let k be -1 - -2 - (-1)/(-1). Is j smaller than k?
False
Suppose -n + 281 - 278 = 0. Which is bigger: 38/9 or n?
38/9
Let q = -162/203 + 48/29. Is q >= 2?
False
Suppose 16 = 2*v - v - 5*p, 0 = -v - 2*p - 5. Let q be (-8)/(-6)