. Let t = 21.94 - b. Which is greater: t or 0?
0
Let u = -21 - -14. Which is smaller: u or -1?
u
Let w = -54 + 53. Which is smaller: w or -3/5?
w
Let n = 1/257 - -239/4626. Suppose -4*h = 4*x + 12, -9 - 3 = 3*h. Are x and n nonequal?
True
Let y = 25 - 23. Suppose y*w = -w. Which is smaller: 6/5 or w?
w
Let b be 0/1*(-2)/4. Suppose b*l = -2*l. Let s be 0 - (2 - (4 - 1)). Is l less than s?
True
Let l = 5900/3 - 1938. Are 28 and l unequal?
True
Let g = -0.63 + 0.6. Let k = g + -1.97. Let s = 0.139 - 0.039. Is k less than s?
True
Let z = -3 + 3.02. Let v = z - 1.02. Let h = -0.9 - v. Is 2/3 at most h?
False
Let b be 30/56 + (-4)/16. Let x be (-18)/(-8) - (-1)/(-4). Suppose g = 1 - x. Is g > b?
False
Let l = 0.37 - 0.4. Let m = -4 - -6. Is m greater than or equal to l?
True
Suppose 5*q = -2*h + 4*q - 17, -39 = 4*h + 3*q. Let s be (-9)/(h/4 + 1). Let r be (-6)/21 - s/(-14). Which is smaller: -2/7 or r?
-2/7
Let l be (-2)/(-5) - (-166)/60. Let t = l - 5/2. Which is bigger: t or 1?
1
Suppose d - 3*l = 11, 5*l + 7 = 4*d - 2. Let p = -3 - d. Let v be (p + (-2 - 0))*2. Which is bigger: v or 0?
0
Let y = 38 - 37.9. Which is greater: -2 or y?
y
Suppose b - 3 = -2. Suppose 0 = h + 3*h - 264. Let m be 2/(h/(-9))*-2. Does b = m?
False
Let n(v) = -v + 4. Let t be n(10). Let d = t + 7. Is d > 2/37?
True
Suppose 0 = 3*p + 80 + 4. Which is greater: p or -27?
-27
Let k = 545/2992 + -1/176. Is k at most as big as -5?
False
Let m = 8 + -7.96. Let f = m - 0.14. Is f bigger than 2?
False
Let k(a) = a - 3. Let x be k(5). Let s = 8 + -6. Suppose -c = -s*c + 2. Is c >= x?
True
Let n be 0/((-2 + 0)*-1). Let b be -1 - n - (-12)/8. Is b less than 1?
True
Suppose 2*d - 4 = -42. Let x(c) = -c**3 - 11*c**2 - 6*c + 22. Let z be x(-10). Is d smaller than z?
True
Let b = 63/155 - 1/155. Is b > 5?
False
Suppose -3*j + 14 - 11 = 0. Let p(k) = k**2 - k + 1. Let x be p(j). Is 1/6 at least x?
False
Suppose n = -n. Let g be -18 + 2 + -4 + -3. Let i = 67/3 + g. Which is smaller: n or i?
i
Let r be (-4)/1 + 1 + -2. Do r and -5 have different values?
False
Suppose 3*u - 6 = 2*u. Suppose -2*d - d - 2*p = 24, 4*p + u = d. Let z be (12/(-18))/((-4)/d). Are -1/6 and z unequal?
True
Let p be (-2)/(-1) - (-2 - -28). Let z be (4/p)/((-10)/(-8)). Do 0 and z have the same value?
False
Suppose 0 = 2*d - 8 + 2. Let q = d + -2. Let o = -21 - -20. Is q not equal to o?
True
Let f = 0 + 1. Let t = 11044/21 - 526. Which is smaller: t or f?
t
Suppose 0 = -3*j - 8 + 20, -3*j = r - 14. Let a = 4 - r. Suppose 4*h = q + a*q, 0 = 3*h + 2*q. Are h and -1/2 unequal?
True
Suppose 0 = a - 1 - 1. Let j be 14/(-8)*2/(-7). Do a and j have the same value?
False
Suppose -7*a - 3*a + 3*a = 0. Which is bigger: a or -2/113?
a
Suppose t - 9 = -5*k - t, -2*k - 3*t + 8 = 0. Let b = 3.1 + -3. Let i = 0.1 + b. Is i < k?
True
Suppose -z + 3*n + 5 = 0, -z + 5*z + 4*n - 4 = 0. Let j = 9 - 6. Which is bigger: z or j?
j
Let m be 10/(-26)*36/(-420). Is m smaller than 0?
False
Suppose 0 = 3*c - c. Suppose -r = -c*r - 1. Is r bigger than 4/9?
True
Let p be 6*-1*2/(-4). Let w be (-52)/39*p/2. Which is greater: w or -3?
w
Let s = -960/13 - -74. Suppose 0 = 2*v - 11 - 9. Let d = -10 + v. Which is smaller: d or s?
d
Let c = 2.8 + -3. Let b = 3.5 + -4.5. Is c smaller than b?
False
Let a = -12.3 - -8.94. Let h = a - 2.52. Let q = h - 0.12. Which is bigger: q or 2/7?
2/7
Suppose -3 - 3 = p. Let q(z) = 3*z + 14. Let x be q(p). Which is greater: -6 or x?
x
Let n(m) = -m**3 - 5*m**2 - 6*m - 5. Let k be n(-4). Suppose k*d = 3*v - 6, 2*d - 4*v = -v - 6. Is d < 3/8?
True
Suppose 0 = 5*r + p + 25, 4*r = -p + 5*p + 4. Is -4 at most as big as r?
True
Let n be 1/((-1)/(-14)) - 2. Suppose -5*v + 32 = 2*s + 9, -3*v + 2*s + 17 = 0. Suppose -4*m + 2*q = q + 15, m = -v*q + n. Is -4 > m?
False
Let j be ((-4)/(-10))/(8/40). Suppose -j*r = -5*w + 27, 2*w - 3*w + 5 = 0. Which is smaller: r or -2/11?
r
Let q = -57 + 52. Is 5 >= q?
True
Suppose r + 2 = 12. Is r equal to 10?
True
Let h = -32 - -31. Let z = 3 + -1. Suppose 0 = -2*o + z. Is h < o?
True
Suppose -2*z + 27 = -5*z. Let m be (z/(-5))/1 - 2. Let w = -0.2 - -0.3. Which is greater: m or w?
w
Let m = -7 + 7.27. Which is bigger: m or 0?
m
Let s be 4/(-30)*(-3)/(-1). Let y be (-1)/3 - 22/6. Let h be y/(-2) - (-2)/(-1). Which is smaller: h or s?
s
Let c be (-1)/1 - (-726)/729. Let l = 7535/486 + c. Let r = l - 399/26. Is 0 > r?
False
Suppose 0 = 12*p - 9*p + 6. Is 1 <= p?
False
Suppose 2*v + 4*p - 22 = 0, -5*v + 3*p + 25 = -2*p. Let x(h) = h - 6. Let t be x(v). Is -1/8 < t?
True
Let v(z) = 3*z**3 + z**2 + z - 1. Let w be v(1). Suppose -w*o = -6*o - 4. Let i be (-3 - o)*1 - -1. Which is smaller: 2 or i?
i
Suppose 2*b - 3 = -i + 2, b = 0. Which is bigger: 8 or i?
8
Suppose 4*y - 29 = 19. Let r = y - 17. Which is smaller: r or -3?
r
Let y be (0 - 5)*(-4)/10. Suppose -2*i = -y*f + 6, -f - 2 = 2*i + 1. Do -3/2 and i have the same value?
False
Suppose h = -4*t - 4, 7 = -3*h - 5. Is 2/75 < t?
False
Suppose 4*u - 2*u = 0. Let k(h) = h + 7. Let z be k(-6). Let a = z - 1. Is a <= u?
True
Let p(m) = -2*m**2 + 5*m + 6. Suppose o + 4*o + 25 = 0. Let a(t) = t**2 + t + 1. Let r(h) = o*a(h) + p(h). Let c be r(-1). Does c = -7?
False
Suppose 0 = 4*p - 2*w - 6, -14 = -p - 0*p + 3*w. Is p less than -1?
False
Let b = -8 + -32. Let v = 37.7 + b. Let f = 0.7 - v. Which is smaller: f or -2/3?
-2/3
Let m = -22 - -22. Do -9/8 and m have different values?
True
Suppose 12*f = 9*f. Let d = -0.3 + 0.2. Let h = d - 0. Is h <= f?
True
Let g = -13 + 9. Let s = 4 + g. Let o = -3 - -2. Are o and s unequal?
True
Let y(f) = f**2 - 4. Let s be y(3). Suppose 0 = 5*p + 6*k - k - 25, s*p = k + 13. Suppose 4*q - 6*q + 4 = 0. Which is greater: q or p?
p
Suppose -3*g + 12 = -2*j, 0 = 3*j + g - 4*g + 12. Suppose -h + 6 = -4*h. Let r be (h/(-9))/((-5)/(-3)). Which is greater: j or r?
r
Let l = -9 - -12. Which is greater: l or 5?
5
Suppose 35 = -5*j - 3*q, j - 3*q = -5*q - 7. Let h = 0.027 + 0.073. Is j less than or equal to h?
True
Let k(w) = w**2 + 5*w - 1. Let h be k(-5). Suppose 2*m - 4*t - 27 = t, 4*m = 3*t + 19. Let z be (-1 + m)/(-1 + h). Are -1 and z non-equal?
True
Let g = -45 + 44. Which is smaller: g or -9/8?
-9/8
Suppose -5*b = -2 - 8. Is b smaller than 17?
True
Let g = -12 + 15. Let n = -1 + g. Which is smaller: 3 or n?
n
Let g be 0 - 4 - 250/(-65). Is g equal to 0?
False
Let u(f) = 3*f + 4. Let v be u(-1). Is -3/46 equal to v?
False
Let x = -6 - -5. Which is bigger: x or -30?
x
Suppose 4*i = z + 6, -3 = -2*i - 1. Let r be 116/(-96) + 40/30. Which is smaller: r or z?
z
Let z(o) = -o**3 + 5*o**2 - 7*o + 12. Let f be z(4). Which is smaller: f or -10/17?
-10/17
Let o = -51 + 50.9. Is 7/6 <= o?
False
Let j = -49 + 28. Let y be (-6)/j + (-9)/7. Does y = 0?
False
Let d = -65/7 + 235/14. Let u = 49/6 - d. Which is bigger: u or 1?
1
Suppose 4*v - 2*l - 6 = 10, 3*l + 15 = 3*v. Suppose -3*c + 2*k = 7, 0 = -v*c - 3*k - 0*k - 12. Let i = -40 - -37. Is c at least as big as i?
True
Let y be 2/(-6)*-4*4/(-24). Suppose 5 = 5*m - u, 2*u = 2*m - 14 + 4. Which is smaller: m or y?
y
Suppose -3*v - 4*x + 45 = 0, -4*v + 29 = -x - 4*x. Let f = 5 - v. Suppose 0 = n - 4*j + 2*j - 6, -2*n + 7 = -3*j. Which is greater: f or n?
n
Let p be (-28)/(-24) - 5/10. Which is smaller: p or 3/4?
p
Let l be 102/(-36) + 3 - (-29)/(-102). Suppose -5*s = 3*p - 0*s, 0 = -p + 3*s. Is p <= l?
False
Let q be (2/1)/((-6)/(-147)). Suppose -p + 47 = 3*c - 0*c, 0 = 3*c - p - q. Let o be -1*-2*2/c. Is 0 not equal to o?
True
Suppose -4*v = -z - 23, -3*v - 2 = -3*z - 26. Suppose 3*s = 2*a - 10 + 31, v*a = -s - 44. Are a and -7 non-equal?
True
Let c be 136/(-530) + 11/55. Is -1 greater than c?
False
Let z be (1/(-3 + 1))/(6/(-124)). Is z greater than 10?
True
Let v = 30 + -21. Suppose -5*n = -2*p - 1, -4*n + 3 + v = 4*p. Which is smaller: n or 2/9?
2/9
Let r = 76 - 90. Which is greater: r or -44/3?
r
Let p be ((-5)/3 - -2) + (-12)/(-45). Which is bigger: -0.3 or p?
p
Let a = 80 + -75. Let w(m) = -m**2 + 3*m - 2. Let q be w(2). Which is smaller: q or a?
q
Suppose 0 = -5*z - 4*f + 9, 2*z + 3*f = 4*z + 1. Let d = 5 + -3. Which is smaller: z or d?
z
Let c = -1 - -7. Let v be (1/3)/(2/c). Let u be 1 - (1 - (-1)/v). Is u > 2/5?
False
Suppose 0*n - 2*n = -8. Let k = n + -4. Suppose k*p - 5*p = 0. 