6. Do i and -1/4 have the same value?
False
Let n = -38 - 4. Are n and -41 non-equal?
True
Let u = 11 + -7. Let l be 1 + u - 12/4. Let h be (l - 4)*(-3)/72. Is 1 at least h?
True
Suppose -2*u + 4*a = 3*u - 22, 0 = -2*u - 3*a + 18. Which is smaller: u or 4?
4
Let v(b) = -b - 6. Let x be v(6). Let r(z) = 4*z - 27. Let g(i) = -i + 9. Let k(q) = 7*g(q) + 2*r(q). Let j be k(x). Which is smaller: j or -4?
-4
Suppose -2*w + 20 = -4*j, -26 = -4*w + 2*j - 4. Suppose 2*n - 7*n = -25. Suppose -2*u + n = -1. Which is smaller: w or u?
u
Let c be (24/60)/(6/295). Let d be -20 + 2 + 0 + -2. Let g = d + c. Is g <= 1?
True
Let a(z) = z - 3. Let i be a(-9). Which is smaller: i or -8?
i
Suppose -2*m = -4*m + 2. Let t be -3 + (-948)/(-471) + m. Let n = t - 324/785. Is 0 less than n?
False
Let v = 9 - 9. Are -5/7 and v equal?
False
Let t = -0.15 + -8.85. Let f = -16 - t. Which is greater: f or -1?
-1
Let t = -168 + 13271/79. Which is greater: 1 or t?
1
Suppose -12*u = 5*u - 1071. Is u < 65?
True
Let r = 53/165 + 2/165. Is r less than 0?
False
Let z(n) = n**3 + 6*n**2 + 6*n + 3. Let q be z(-5). Let c be (-6)/3 - (-5 - q). Let s be (-15)/(-21) - (2 - c). Is -1 bigger than s?
False
Suppose -x - 3 = -2. Let g = -0.3 + 3.3. Let p = 3.3 - g. Is x greater than or equal to p?
False
Let i(z) = -7*z. Let j be i(-1). Suppose -4*h - j = 1. Let x be h/4 + (-6)/(-12). Is -1 > x?
False
Let z be 0 + (-8)/(5/(75/6)). Which is bigger: -21 or z?
z
Let z be -3 + (4 - 2) + 6. Suppose -5*q = 3*o - 10, 4*o + o = z*q - 10. Which is smaller: q or 5?
q
Let n = 99 - 99.12. Which is greater: -3/5 or n?
n
Suppose -s = 5*v + 15, 5*v + 36 - 6 = 2*s. Is 8 not equal to s?
True
Suppose -i - 4 = -3*i. Suppose -l = -5*l + 5*j - 8, -17 = l - 5*j. Is i less than or equal to l?
True
Let d = -58/35 - 296/455. Is -1 >= d?
True
Let x = 4 - 4. Suppose -u + s + 8 = 0, 4*u - 3*s - 24 = -s. Let h be ((-4)/55)/(u/(-10)). Which is smaller: x or h?
x
Let v(b) = 4*b - 24. Let r be v(8). Does 8 = r?
True
Let r = 3 + -2. Let j = -20 + 64. Let v be (1/(-2))/((-11)/j). Which is bigger: v or r?
v
Let b = -1 - -3. Suppose 0 = -b*u - 5 + 1. Which is smaller: u or -2/3?
u
Let m(y) = -y + 2. Suppose 0 = 5*i - 17 - 3. Let j be m(i). Which is greater: 3/7 or j?
3/7
Let h be 1/(2*(-2)/4). Suppose 5*s + 533 = -307. Let n be 116/s + (-2)/12. Which is greater: h or n?
n
Let b be -2*(0 + (-3 - -1)). Suppose -b*w + 3*q - 27 = 0, 4*w + 2*q + 2 = -0*q. Let d = 3 + w. Is d less than 0?
False
Let h be (46 + 10/5)*(-2)/3. Is h greater than or equal to -32?
True
Let h = 6 + -9. Which is smaller: -0.2 or h?
h
Let i be ((-24)/(-15))/((-2)/(-10)). Which is smaller: i or 2?
2
Suppose 0 = 2*q - 7*q - 10. Suppose -3*r = 10 + 2. Which is smaller: r or q?
r
Let q be 8 + -8 - (1 - 1). Suppose a = -q*a + 2. Is a < -0.1?
False
Let a = 2 + 2. Suppose 0 = u + 1 - 4. Suppose -b + a = -u*b. Which is smaller: -3 or b?
-3
Let g = 42253/125 - 338. Is g <= 0?
False
Let s = -7 + 4. Let v = s + 3.5. Is 1 greater than v?
True
Let v(i) = -5*i + 67. Let z be v(13). Is z at least 0?
True
Let d(n) = n**3 - n**2 - 3*n + 2. Let r be d(2). Suppose -x - 3*b = 2*b + 5, 0 = 2*x + 2*b + 2. Suppose x = 3*o + 2*o - 15. Does o = r?
False
Let o be (-54)/(-84) + (-1)/1. Let h be (2/(-14))/(-1 + 2). Let k = o + h. Which is bigger: k or 0?
0
Let p = -0.18 - -0.12. Is p at least as big as 0?
False
Let r = -139/117 - -10/9. Is 0 greater than r?
True
Let r = -4911 + 957643/195. Do -1 and r have the same value?
False
Suppose -9 = -2*x - 3*a + 2, 0 = -2*x - 2*a + 8. Is 1/25 at most x?
True
Let g(p) = -5*p**3 - p**2 - p + 2. Let z be g(1). Which is smaller: z or -4?
z
Suppose -2*y + 30 - 6 = 0. Is y at most as big as 10?
False
Let p = -14 - -12. Which is bigger: p or -5/3?
-5/3
Suppose -2*h - h + 19 = 4*q, 24 = -q + 5*h. Which is greater: q or 15?
15
Let x be 162/15 - (-1)/5. Let w be (1 + x/4)*-4. Let u be 3/(-15) - 1/w. Is u != -1?
True
Let l = 0.033 - -0.067. Is -6 != l?
True
Let u(y) = y**2 + y - 3. Let w be u(-3). Suppose -2*s = -3 - w. Let o = s - 5. Is -2 less than o?
False
Let q = 24.1 + -24. Let c = -0.11 + -4.89. Is q less than c?
False
Let a be (0 - 103/(-18))*-3. Let s = a - -125/12. Let r = s - -15/2. Which is greater: r or 0?
r
Let r = -31 - -30. Let y = 44 + -351/8. Is y not equal to r?
True
Suppose 5*c = -5*f + 40, 2*c + 2*c = 5*f - 22. Which is smaller: f or -3?
-3
Suppose 0*p - 4*p - 20 = 0. Suppose -w + 1 = -6*w - 3*k, -3*w - 2*k = 0. Let x = p - w. Are x and -4 non-equal?
True
Let o = -3 + 2. Let y = -15 - -17.2. Let q = y + -0.2. Is o at most as big as q?
True
Let w = 2.7 - -2.3. Let n = -2 - -1.8. Let t = 0.2 + n. Is t greater than or equal to w?
False
Let r = -4 + 7. Let q be -3 - (-1)/(r/15). Are q and 2 nonequal?
False
Let j = -229 + 118. Let n = -101.8 - j. Let x = -9 + n. Is 0 less than x?
True
Let d = 1 - 1. Suppose -3*k - 7 - 10 = -4*w, -5*k - 2*w - 37 = d. Let a be 10/(-15) + k/3. Which is greater: -4 or a?
a
Let n = 131 + -389/3. Is 1 greater than n?
False
Let i(b) = 9*b**3 + b. Let m be i(1). Let v = 7 - m. Let n = -5 - v. Which is smaller: n or 1/2?
n
Suppose -2*o - 4*n + 26 = -0*o, -n - 43 = -4*o. Suppose 2*w - 13 = -o. Is 4/3 != w?
True
Let i = -6 + 10. Suppose 0 - 4 = -i*o. Is 2/11 less than o?
True
Let a(s) = s**3 + 8*s**2 - 9*s + 3. Let h be a(-9). Suppose -h*j = -6*j. Is j greater than -1/8?
True
Let s be (-6)/4*8/3. Let u = 56 - 60. Is s less than or equal to u?
True
Suppose 0*q - 5*q = 0. Suppose q = -v - 2*v. Is 0 bigger than v?
False
Let h(l) = -2*l**2 + 7*l. Let v be h(5). Let r be ((-8)/16)/(v/(-2)). Let m be (-1)/(2/(3 - 1)). Is r > m?
True
Let k = -3/31 + -47/155. Let d be (-1 + 2)/(3/(-33)). Let v = -10 - d. Is k at most v?
True
Let j be 0/(-3) + 2 + 5. Suppose -5*v + 5 = 2*d, -3*v - 5*d = j + 9. Suppose 5*w + 9 = -v*l + 2, 0 = 5*l - 5. Is -2 != w?
False
Let k = -24230 - -13103. Let s be ((-1)/3)/(7/k). Let j = -529 + s. Which is greater: j or 2?
2
Let n(y) = -4*y - 1. Let t be n(-1). Suppose -3*u + 6*u = 4*g - 20, 0 = 3*g - t*u - 18. Let p be 24/(-5)*-1 + -4. Are p and g nonequal?
True
Let x = -45 - -491/11. Which is smaller: 0 or x?
x
Let x = 13771/405592 - 3/3352. Which is bigger: -1 or x?
x
Let j = -9 - -8. Let z = -11 - -8. Let h = j - z. Are -2 and h equal?
False
Suppose -2*r - 5 = -1. Let g be (r - -1 - -2)*5. Suppose -5 + 0 = -g*l. Which is smaller: 2/5 or l?
2/5
Suppose 3 + 16 = l - 2*b, -4*b + 67 = 5*l. Is 15 equal to l?
True
Let o = 59 + -59. Which is greater: 0.03 or o?
0.03
Let q = 0.3 + 0.7. Let y = 0.9 - q. Let s = 3/46 + 33/23. Are s and y nonequal?
True
Suppose -2*j = 5*i + 18, 5*i + 0*j = 4*j - 24. Which is greater: i or -2?
-2
Suppose 3*d + 7 - 19 = 0. Let p = d - 0. Suppose 11 + 1 = p*j. Is j < 3?
False
Let s be -12*((-440)/(-108) - 4). Which is bigger: s or -1/2?
-1/2
Let r be 6/4*(-5)/(-15). Are r and -1 equal?
False
Let n = -0.07 + -3.93. Let f = 10 + n. Is 0 less than or equal to f?
True
Suppose -12 = 2*z + 2*z. Is z != 1/2?
True
Let h(n) = -11*n**2 - 3*n + 2. Let u be h(1). Is u not equal to -12?
False
Let h be ((-20)/(-8))/((-1)/(-6)). Which is smaller: h or 13?
13
Let l = 124 + -124. Is l at most 2/213?
True
Let x = -3/14 - 9/7. Suppose -4*t + 0*t = 12. Is t < x?
True
Let r(s) = -s - 48. Let o be r(-22). Which is smaller: o or -23?
o
Let l = -8 - -6. Suppose -3*w + 18 = -9. Let h = 7 - w. Are h and l nonequal?
False
Suppose l + 5 = -5*j, -4*l + 1 + 0 = -j. Is j < 0?
True
Suppose -3*o + 2*n + 156 = -n, 56 = o - 3*n. Suppose 0 = 4*a - 90 - o. Let j be 12/7 - (-10)/a. Is 2 at most j?
True
Let n = -2 + 3. Let k be 1 + n + 40/(-22). Is 0 at least k?
False
Suppose 4*j = -4*h - 36, 13 = -2*j - 3*h - 0*h. Let s be -10 - -10 - (-6)/j. Is s at most -1/2?
False
Suppose -2*y - s = y - 4, 4*y + 5*s = -2. Let m = -5 + 6. Which is smaller: y or m?
m
Let y = -0.1 - -0.05. Which is greater: 0.2 or y?
0.2
Let p = -8 - -5. Let k be (-3)/2 + (-469)/(-294). Let s = 11/42 - k. Which is smaller: s or p?
p
Let t = -0.05 - 0. Let z = -46 - -45. Is t at least z?
True
Let s = -4 - -3.9. Let f = s - 0.1. Let c = 88 + -618/7. Is f greater than c?
True
Let w = 146 - 121. Is w greater than or equal to 21?
True
Suppose -3 = v - 4*c - 17, -2*c - 22 = 2*v. Let g be (-58)/18 - v/27. Which is smaller: g or -5?
-5
Let w(z) = -2*z - 2. Let