(l) = -l**2 + 6*l + 3. Let m be w(7). Let v be -6 + ((-2)/1 - m). Is v bigger than k?
False
Suppose 0 = 2*s - 3*s + 12. Let w = -13 + s. Which is greater: -2/7 or w?
-2/7
Let v(i) = i**3 + 3*i**2 + 3*i + 2. Let z be v(-2). Is -3/4 >= z?
False
Let h = -0.034 - -0.244. Let s = -0.79 - h. Is -0.6 >= s?
True
Suppose 1 = 4*d - w, -2*d + 5*w + 3 = 2*w. Let c be (-1)/(d - (-2)/6). Let q(t) = -t**3 + 4*t**2 - 5*t + 3. Let s be q(3). Are s and c nonequal?
False
Suppose 3*p - w + 5*w = 1, 5*p = -5*w + 5. Is 4 > p?
True
Let q = -1 - -9. Let s = -0.27 + 0.17. Which is smaller: q or s?
s
Let s be (-2)/(2/(4/(-5))). Let z(r) = r**3 - 4*r**2 + 2*r + 4. Let a be z(3). Which is smaller: a or s?
s
Suppose 3*o + 4 = 19. Suppose -24 = -s + o*s. Is -7 not equal to s?
True
Suppose -4*z + 16 = -2*g - g, 2*z = -4*g - 14. Let i = g + 8. Suppose -2*o + 3 = -o + 4*x, 5*o + 1 = -i*x. Which is greater: o or 1/4?
1/4
Suppose r + 26 = -5*k + 4, 0 = 5*k + 25. Suppose -2*f + i + 3*i + 26 = 0, r = -4*f - 3*i. Let j be (3 - (-34)/(-6)) + f. Which is smaller: 2 or j?
j
Suppose -84 = 6*z - 13*z. Which is smaller: 17 or z?
z
Let z = -4 + -8. Let k = z - -18. Let w = k - 8. Is w < 0?
True
Suppose 2*x - 2*g - 4 + 2 = 0, g = 2. Suppose -x = 4*l + 1. Is -3 <= l?
True
Let y = -3.083 - -0.083. Let i = 1 + -1. Which is bigger: y or i?
i
Suppose -5*m + 28 = 3. Let k be 2/m + (-6)/(-10). Does -1/4 = k?
False
Suppose x + 3*h = 46, 5*x - 163 = h + 131. Which is smaller: -1/4 or x?
-1/4
Let o = -8 + 3. Let b(j) = j**3 + 4*j**2 - 5*j + 1. Let x be b(o). Let v be (0 - -3) + -2 - x. Which is smaller: -1/15 or v?
-1/15
Suppose -2*d = -0*d + 16. Which is smaller: d or -7?
d
Let v be 1*(2 + -2)/1. Suppose 3*f = -u - v - 11, 4*u + 12 = 4*f. Is f equal to -1?
False
Suppose -s - s - p = 130, -5*s - 330 = 5*p. Let l = s - -449/7. Do 1 and l have the same value?
False
Suppose r = -5*l + 5, 0 = -0*r + 3*r - l + 1. Suppose r = 2*f + 3*f - 20. Let n be (4/(-88))/((-1)/f). Which is greater: n or 1/4?
1/4
Let f be 2/(-8) - (-2)/8. Which is smaller: 1/41 or f?
f
Let o = -6 - -10. Let a = o - 5. Suppose -2*j + 5*q = -13, -5*q = 3*j - j - 3. Is a at least j?
False
Suppose -2*k + 35 - 37 = 0. Is -2/35 equal to k?
False
Let h = -5 - -8. Let c(j) = j**3 - j + 3. Let p be c(0). Suppose 6 = z + p. Is h greater than or equal to z?
True
Suppose 3*a - a + 8 = 0. Let d = -5 - a. Which is greater: d or -5/3?
d
Let f be (-6)/(-10) + (-1007)/(-10). Let h = f - 101. Is h at most as big as -1?
False
Suppose -3*d - 2*b - 4 = 0, 2*d = 3*b + 12 + 7. Suppose -5*u = -d*u + 3. Which is smaller: u or 0?
u
Let s = -69573/55 - -1265. Which is smaller: -1 or s?
-1
Let x = 18 - 86/5. Is 2 at most as big as x?
False
Let c be (1/2)/(9/(-6)). Is -21/5 <= c?
True
Let q = -1 + 0. Let r(j) = j**2 + 5*j + 2. Let g be r(-2). Let f be (2/32)/(2/g). Is q smaller than f?
True
Let z = -0.02 + 4.62. Let n = -0.6 + z. Which is bigger: 0.1 or n?
n
Let f = 21 - 16. Is f greater than or equal to 5?
True
Let i(p) = -p + 1. Let n be i(1). Let h be (8 - 10)/(-21*1). Are h and n equal?
False
Let i = 0.4 + 0.6. Let g = -0.4 + 0.2. Is i at least as big as g?
True
Suppose 4*d - 31 - 53 = 0. Let h be (-7)/(d/(-6)) + 2. Is h equal to 6?
False
Let t = 162343/135270 - 593/334. Let l = t - 2/81. Let z be (-4)/(-10) - 12/5. Which is smaller: l or z?
z
Let l = -0.25 + 1.75. Let f = l + 2.5. Which is greater: f or 3?
f
Let g be (-1 - -2)/((-1)/(-5)). Let f be 1 - g - (10 + -20). Is f <= 13/2?
True
Let b(w) = -5 + 0*w - 2*w + 0*w. Let i be 1*(3 + -5) + -3. Let p be b(i). Do p and 4 have the same value?
False
Let x = -0.51 + 0.31. Let i = 1.63 - -0.17. Let m = i - x. Which is smaller: m or 0.1?
0.1
Suppose 3*l + 5*z - 7*z = 0, 17 = -l - 5*z. Let j be (-1 + 2)/(1 + l). Which is smaller: j or 1/4?
j
Suppose 5*i + p - 8 = 0, -4 = 6*i - i - 3*p. Suppose -6 + i = -5*j. Which is bigger: j or 4?
4
Let d(i) = -2*i + 13. Let l(b) = -b + 6. Let p(j) = 2*d(j) - 5*l(j). Let u be p(5). Is -3 at most u?
True
Let i = -56/153 + -4/51. Let q be (12/14)/(2/14). Let h be (2/(-6))/(2/q). Which is bigger: i or h?
i
Let p(o) = -o - 7. Let t be 2 - 0/(-2) - 7. Let k be p(t). Let b be k*(-3)/6 - 2. Which is greater: -2/7 or b?
-2/7
Suppose 5*y - 17 = -67. Let i be ((-4)/y)/((-6)/18). Is -0.1 at least as big as i?
True
Suppose p = 2*p - 2. Suppose -p*f = 0, -3*x + 5*f + 6 + 6 = 0. Let t be (-2)/x*(-4)/(-7). Do 1 and t have different values?
True
Let c = 0.5 + -0.6. Let r = 0.7 + 0.3. Let x = r - -4. Which is smaller: c or x?
c
Let b = 51 + -111. Is -59 bigger than b?
True
Let w = -1 + 2. Let i(z) = -3*z - 4. Let a be i(-3). Suppose r = a - w. Which is greater: 5 or r?
5
Let h(f) = -3*f - 49. Let u be h(-16). Is u >= -1/8?
False
Let q = 79.59 - 79. Is 1 not equal to q?
True
Let r = 207/91 - 37/13. Let l = r - -23/28. Is l smaller than 0?
False
Let k be 5/4 + (-3)/(-4). Let z = k + 3. Suppose -18 = -0*g + 2*g + z*o, -5*g + 5*o = -25. Which is smaller: g or 2?
g
Let o = 0.04 + -0.74. Let w = o - 0.3. Let m = 0.9 + w. Which is greater: m or 1?
1
Let n = 0.2 + 2.8. Let l = 88/259 + -2/37. Which is bigger: l or n?
n
Let i be 1*(-11 - (-1 + -2)). Let t = -11 - i. Suppose -2*l - 5 = n, -1 + 8 = -l - 2*n. Which is smaller: t or l?
t
Suppose -v = 3*v - 8. Suppose v*z - 60 = -2*z. Let k be 33/z + (0 - 2). Which is smaller: k or 1?
k
Let s be 4*2/12 - 28/42. Which is smaller: 2/13 or s?
s
Suppose -50 = -4*b - 78. Let n = 10 + -17. Is n greater than b?
False
Let n = 25 + -22. Which is smaller: n or 2?
2
Suppose 5*o + 42 = 2*b + 2, 4*o + 9 = -3*b. Do -5 and o have the same value?
False
Suppose -13 = -z - 2*h, -4*z - h + 22 = h. Is z bigger than 7?
False
Suppose -f + 0*b = -2*b - 2, 3*f = -2*b - 10. Let l be 0 + 3*f/(-27). Are 1 and l nonequal?
True
Let g = -125 + 89. Which is smaller: -35 or g?
g
Let j be 6/(-18) - (-74)/6. Let m = j + -8. Suppose 0 = 6*w - m*w. Which is smaller: -3/4 or w?
-3/4
Let d = -18 - -45. Do 27 and d have different values?
False
Let y = -0.03 - 2.97. Let t = y + 5. Do t and 0 have the same value?
False
Let p = -2300104/332241 + -2/25557. Which is smaller: -6 or p?
p
Let m(z) = z**3 + 6*z**2 + 3*z. Let l be m(-5). Let b = l - 8. Is 2 at least as big as b?
True
Let p = 0.03 + -0.04. Let q = p + 3.01. Let z = q + -2.9. Which is smaller: z or -1/5?
-1/5
Let b = -24 + 26. Let p = 86/3 - 424/15. Which is bigger: p or b?
b
Suppose 0 = 5*g - 4*o - o - 5, -3*g - 4*o - 4 = 0. Which is smaller: g or -35/3?
-35/3
Suppose -5*t + 10*b - 5*b - 5 = 0, -3*t - 4*b = 3. Is 1 > t?
True
Let k be 3 + 3*6/(-9). Suppose -h - k = 1. Let n be (-1 + 6/4)*h. Which is smaller: 3 or n?
n
Let c be (3 + -5)*(-2)/4. Is 3 at most c?
False
Let y(a) = -a**2 - 9*a - 18. Let j be y(-6). Is j smaller than -0.9?
False
Suppose -1 = a + 5*y - 15, 4*y = -5*a + 70. Suppose a = -p - 4*l + 3, -5*p - l + 40 = 0. Which is bigger: p or 8?
p
Let j(b) = 2*b**2 + 18*b + 24. Let m be j(-7). Which is bigger: -7 or m?
m
Suppose 5*v + 69 - 84 = 0. Is v smaller than 5?
True
Let t = -17.93 - -18. Let q = t + 0. Let y = -0.07 + q. Is y at most 2?
True
Let z = 2 + 0. Let s be 13/z - 3/(-6). Suppose 4*o + 1 = -3*i, i - 3*o + s = -o. Is -4 not equal to i?
True
Suppose 3*d + 10 = 4*h, -3*h + 8 + 6 = d. Let k be d + -5 - (-13)/5. Let z be (2/3)/(6/(-9)). Which is smaller: k or z?
z
Let h be (1*70/15)/(4/(-6)). Is h bigger than 5?
False
Let w be (9/(-6))/(9/(-12)). Let p be 1/(-4) + (-13)/(-4). Suppose t - w*t - p = 0. Are t and -3 non-equal?
False
Let y be 4*-1*21/(-7). Let a be (-10)/8 + 3/y. Let t be (a - 5)/(-3 + 1). Which is greater: 2 or t?
t
Let j be 12/(-5) - (2 + 1 - 1). Suppose 0*z + 4*z + 9 = 3*g, 4*g = z - 1. Which is smaller: z or j?
j
Suppose 3*n - z - 368 = 0, -z = -n + 2*z + 120. Is n < 124?
True
Let a be (1 + -1)*3/6. Suppose 0 = 2*q - 0*q. Let r = -1 + q. Which is smaller: r or a?
r
Let n be 54/10 - (-6)/(-15). Suppose 10*b - n*b + 10 = 0. Let l be b + 24/(-15)*-1. Is 1 greater than or equal to l?
True
Suppose t + 3*h = -6, -3*t = -4*h + 2*h - 4. Suppose 4*i = 4*a + 8*i, -5*i = -2*a + 7. Which is smaller: t or a?
t
Let m be (-186)/42 - -5 - (-34)/14. Are 39/14 and m nonequal?
True
Let v(g) = g + 1. Let x be v(-1). Let i be (-2)/(-3)*(-3)/(-10). Does x = i?
False
Let t = -8.04 - -7. Let s = 0.04 + t. Which is greater: 2/9 o