d be s(-9). Suppose 7 - 2 = 5*h. Let k be 1/(-3) + h/(-15). Is d greater than k?
False
Let l(s) = -s**3 + 3. Let v be l(0). Suppose -6*u + v = -3*u. Which is smaller: u or 1/3?
1/3
Let n = -29.8 - -34. Let z = n - 4. Which is smaller: z or 2/7?
z
Let l(j) = -j - 4. Let m be l(-6). Let q = 36 + -36. Which is smaller: m or q?
q
Let v = 3 - 4. Suppose s + 7 = z, -4*z - 6*s - 17 = -s. Let t be -5 + z + 34/10. Is v smaller than t?
True
Let f(s) = 3*s**3 + 6*s**2 - 4*s - 8. Let o(h) = -8*h**3 - 18*h**2 + 12*h + 23. Let l(z) = 11*f(z) + 4*o(z). Let c be l(5). Which is greater: c or 2/17?
2/17
Let q = -2/125 + -236/875. Let d be (-2)/6 - (-4)/3. Which is smaller: d or q?
q
Let c = -12 - 1. Let n = c - -13. Suppose h + 0*h + y - 7 = 0, -4*y = 5*h - 30. Which is greater: h or n?
h
Let c be ((-24)/9)/(-4) + 368/24. Which is bigger: 11 or c?
c
Let o be 0 - 0 - 1 - -2. Which is bigger: o or -1?
o
Suppose -9*b - 12 = -7*b. Do -3 and b have different values?
True
Let w be 2/(-10) + (-1)/(-5). Let b be (-5 - -7) + 2 + w. Let n be (-3 - 0)/(5 - b). Which is smaller: -0.1 or n?
n
Let m(c) = c**2 - 6*c + 5. Let h be m(9). Let k be (3/(-2))/(1/2). Let s be k/9 - h/(-6). Is s at least 2?
True
Let j = -4.7 + 5. Let r = 5 + -4.7. Let k = j - r. Is 3/5 greater than or equal to k?
True
Let j be (25/10)/((-2)/(-4)). Suppose m = -0*m - 2*t - 2, 5 = j*t. Which is smaller: m or -2?
m
Suppose 0 = -0*v - 3*v - 6. Let b(a) = -13*a + 1. Let i be b(v). Let q be ((-12)/i)/(30/(-9)). Which is greater: q or -1?
q
Suppose -w = -5*n - 10, 5*n + 36 = 4*w - 34. Suppose 0 = -4*g + 4*h + w, 13 = 5*g - 0*g - h. Let l = 12/7 - g. Which is smaller: l or 1?
l
Suppose -24 = -2*v - 2. Does 11 = v?
True
Let i = 0.04 - 1.24. Let l = 1.26 + i. Is l <= 1/4?
True
Let k = -2 - -3. Let y = -53 - -56. Are k and y equal?
False
Let d(t) = -2*t + 3. Let y be d(2). Let i be ((-9)/(-12))/((-2)/32). Let s be (-1)/i*2*-3. Is s >= y?
True
Let h be (-2)/9 + 58/18. Suppose -2*n = -8, -2*n = 5*b - h*n - 16. Suppose 0 = -3*g - b + 7. Are 1 and g equal?
True
Let j = 1/86 + -23/129. Suppose -5*s - 4 = -9*s. Are s and j equal?
False
Let u = 8 + -4. Suppose -20 = u*g + 8. Let i(c) = -c**3 - 7*c**2 + c + 8. Let b be i(g). Is 1 > b?
False
Let y(o) = -o + 10. Let m be y(6). Let x = 0 + m. Suppose 0 = x*w + 8 + 4. Is w > -4?
True
Let q = 169.7 - 158. Let o = -1.3 - q. Is o not equal to 0.1?
True
Let q = 3.04 + -3. Let i = q - 2.04. Let g = -2 - i. Is 1 <= g?
False
Let l = -34 + 72. Let a = l + -8. Let p = 61/2 - a. Do p and 1/5 have the same value?
False
Suppose -4*i = -3*z - 7 + 4, 0 = -2*i + 5*z - 9. Let r(c) = c**2 - 4*c + 2. Let f(d) = -d**3 - 6*d**2 - 7*d - 6. Let v be f(-5). Let s be r(v). Is i <= s?
False
Let u(b) = -b**3 + 3*b**2 - b + 4. Let t be u(3). Suppose -270 = -k - 4*h, 4*k + 7*h = 2*h + 1047. Let r = k + -3352/13. Which is smaller: r or t?
r
Let n be 0 + (40/(-34) - -1). Is n at most as big as -1?
False
Let q = 186 + -193. Let y = -1 + 1. Is y less than or equal to q?
False
Let g be 5 + -1 - (-1)/(-1). Suppose 0*w - g*w = 3. Which is greater: -0.6 or w?
-0.6
Let q = -215/4 - -56. Is 3 bigger than q?
True
Let l be (2 + 1 + 0)/1. Let x(h) = -h - 3. Let b(f) = -f - 2. Let y(o) = -7*b(o) + 6*x(o). Let q be y(l). Is q less than -2/5?
True
Let i = 52/7 - 48/7. Let s = 3 + -1. Which is smaller: i or s?
i
Suppose -4*i + 24 = 4*l, 0*l + 2*l = 3*i - 13. Is -1 equal to l?
False
Let m(a) = -a + 6. Let i be m(5). Let d be i*2 - 24/14. Which is smaller: -2 or d?
-2
Let o = 152 + -151.9. Let y = 0 - 0. Which is smaller: o or y?
y
Let s = -15 + 48. Let u = s - 33.1. Let b be (-29)/33 + 1/3. Are b and u equal?
False
Let k be ((-20)/(-175))/((-4)/34). Let b = k + 4/7. Let s be (-2)/3*(-3)/(-5). Is s at least b?
True
Let b be (-3*4/24)/(1/8). Are b and -4 unequal?
False
Let a be (1/(-1)*1)/(-52). Which is smaller: a or 0?
0
Let b = -60 + 59. Which is smaller: -6/19 or b?
b
Let u = 1.073 + -0.073. Which is bigger: u or 29?
29
Let o = 0 - 1. Let q be ((-27)/(-30))/((-3)/2). Which is smaller: o or q?
o
Let d(y) = -y**3 + 6*y**2 - 6*y + 5. Let r be d(5). Suppose r*s - 4*s = 4. Is s bigger than 1/4?
False
Suppose 2*j = 6*j - 116. Is j greater than or equal to 29?
True
Suppose 0 = -0*z + 4*z - 12. Let x be (0 + 1)/(2/(-6)). Let b be z/(x/(-6) - 2). Is b >= -1?
False
Let t = -125 - -503/4. Which is smaller: t or 1?
t
Let x = -15 - -17. Let i(g) = g**3 - g**2 - 3*g - 4. Let b be i(3). Suppose -x*z - b = 3*z. Which is greater: -2/13 or z?
-2/13
Let i be 5/(-5) - -1*2. Let o = i - -4. Which is smaller: 4 or o?
4
Let u = -6.27 - -2.31. Let i = 4 + u. Let l = i - -0.06. Is l greater than or equal to 2?
False
Suppose d = -g + 4 - 1, -4*g + d - 3 = 0. Suppose 0 = f - g*f - p - 2, -f - 2*p - 10 = 0. Is -4 at most as big as f?
True
Let n = 2.96 - 0.06. Let x = n + -3. Let g = 21 - 22. Is x at least g?
True
Suppose 3*v + 12 = 2*b, -b - 20 = 3*b + 5*v. Let f(h) = -h**3 + 3*h**2 - 4. Let q be f(3). Let j(c) = -c - 2. Let d be j(q). Which is smaller: b or d?
b
Let c = 0.06 - 2.06. Let g = -7.9 + 10. Let w = c + g. Is 2/3 at most w?
False
Let k = -4 + 4.3. Let g = 0.02 + -1.02. Is k less than g?
False
Let v(d) = -d + 2. Let x be v(-4). Suppose x*j + 3 = 3*j. Let y be 4/6 + (-1)/(-3). Is j bigger than y?
False
Suppose 0 = -4*a - 2*u - 146, 4 = a + 5*u + 36. Is -36 greater than or equal to a?
True
Let f = -0.8 + 2.2. Let y = -1.1 + f. Are y and 0 non-equal?
True
Let d = -3438927 - -3683091130/1071. Let c = d + -1/153. Suppose 0 = 3*q - 5*q - 3*o - 14, -4*q + 16 = -5*o. Do q and c have different values?
True
Let a be 1/(-3) + 3901/156. Let m = a - 99/4. Suppose 4 = -o + 2*y, 2*o = y - 1 - 1. Which is smaller: o or m?
m
Let v(r) = r**3 + 4*r**2 - 2*r - 4. Let j be v(-4). Which is greater: 1 or j?
j
Let r = 0.13 + 7.87. Let p = -7.99 + r. Is p at most as big as 1?
True
Let j = -9 + 11. Let u be ((-21)/(-9) + -3)/j. Which is smaller: u or -0.1?
u
Let o(n) = n - 5. Let g be o(7). Let x(l) = l + 11. Let h be x(-8). Is g not equal to h?
True
Suppose -d + 42 = 3*m - 52, -4*m + 122 = -2*d. Which is bigger: 32 or m?
32
Suppose 5*u - 1 + 5 = 2*r, 0 = 5*u - 5*r + 10. Let h be 7 + -5 - (-27)/(-12). Which is smaller: u or h?
h
Let t be (-8)/(-232)*4306/259. Let s = t + -2/1073. Is 2 greater than s?
True
Let k = -254.88 - -243. Let w = k - 0.12. Let l = w - -18. Is -2/5 equal to l?
False
Let q = -0.12 + -9.88. Let w = q + 12. Which is smaller: w or -6?
-6
Let c = -5.93 - -6. Let m = 0.07 - c. Are 1 and m unequal?
True
Let o = -2 + 6. Let q = -143 + 59. Let s = q - -422/5. Is s greater than or equal to o?
False
Let i = -2/281 - -291/1405. Suppose 0 = -0*d + 2*d - 4. Suppose 0 = -3*c - d*c + 5. Is i greater than c?
False
Let m = -4.4 - -4. Let g = m - -0.5. Which is bigger: 1 or g?
1
Suppose 3*h = -3*s - 12, -h + 3 = -4*s - 8. Let b be -1*(h - 1)*1. Suppose 2*f - b = -z - 1, -4*f = -5*z + 19. Is -3/5 equal to f?
False
Let b(k) = 12*k + 9. Let f be b(-2). Which is smaller: f or -41/3?
f
Let a = -36 + -7. Which is smaller: a or -44?
-44
Let v be -2 - -4 - (11 + -4). Let g = 8 - 14. Is g less than or equal to v?
True
Let o be (0 + -3 + 4)*8. Suppose o = -3*l - 7. Is l smaller than -5?
False
Let a(m) = m**2 + 4*m + 3. Let v(g) = 9*g**2 - g**3 - g + 2*g**3 - 4*g**2 - 7. Let j be v(-5). Let p be a(j). Which is bigger: 1/5 or p?
1/5
Let p be (-3)/9 - (-10)/(-6). Let f = 0 - p. Suppose -24 = f*b - 5*q + 7, -2*q = -4*b - 22. Which is smaller: -5/3 or b?
b
Suppose w = 4*m + 15, 3*m = 2*w - w - 13. Let v(y) = y - 8. Let b be v(w). Let z be (-16)/(-10) + (-4)/2. Which is bigger: z or b?
z
Suppose 0*c = -c + 7. Let z(q) = q - 7. Let m be z(c). Suppose m = 4*v - 0*v + y, -4*v - 4 = 2*y. Is -1 <= v?
True
Let r = 1/64 + 121/448. Is 2 != r?
True
Suppose 17 + 3 = 2*r - 2*y, 3*r - 37 = -4*y. Is 12 less than r?
False
Suppose -7 = 2*y - 17. Suppose 2*c = 2*m, 5*m - 49 = -y*c - 9. Is 4 < m?
False
Let i = -0.018 - 0.082. Let s = -3 + 2. Is s bigger than i?
False
Let i be (-4)/(-18) - (-453)/27. Suppose -3*f = x + 2*f + i, 3 = -3*x + f. Let g be ((3 + -4)*-2)/x. Which is bigger: g or -0.5?
-0.5
Let m = 2 - 4. Let v be (-3)/(-2)*4/m. Which is bigger: v or -1?
-1
Let l be 9/6*(-4)/6. Suppose -2*k + 8 = -6*k. Let b be ((-3)/(-30))/(k/(-4)). Is b equal to l?
False
Let k(t) = -t**2 +