= 2 + -4. Are w and d nonequal?
True
Let j be -1*((-10)/(-4) + -2). Suppose x - 5 = 6*x. Let m be (1 + x/1)/1. Is j at least m?
False
Let s be 0/(-2*1/(-2)). Suppose 2*r = r - 2. Let b be r/(-2)*3*-1. Are b and s nonequal?
True
Let k be -13 - -9 - 2*-2. Is 2/43 at least k?
True
Let i(a) = a**2 - 6*a + 6. Let p be i(4). Let z = -643/5 + 126. Which is smaller: p or z?
z
Let c = 12 + -22. Let z(l) = -l**2 - 10*l - 1. Let v be z(c). Which is smaller: v or -1/3?
v
Let o = -0.85 - -0.75. Is 0.06 < o?
False
Let f = 2.8 - -3.6. Let v = -6 + f. Let b = v + -1.4. Is 0 less than b?
False
Let z(m) = 0*m + 1 + m**2 - m**3 - m + 2*m**3. Let u be z(0). Let b be (2/u)/(3 + -4). Are -2 and b unequal?
False
Let x be ((-2)/(-4))/((-1)/(-2)). Let t be 200/6 - (x + -2). Let g = 34 - t. Which is smaller: -1 or g?
-1
Let g = -0.51 - 0.09. Let r = -0.7 - g. Is r bigger than 2?
False
Let g = -8 - 1. Is -9 bigger than g?
False
Suppose 0 = 2*p + 2*m + 3*m + 18, -p + 3*m + 2 = 0. Let u be 24/(-10) + p + 7. Let o(t) = -t**3 + 4*t**2 + 6*t - 4. Let r be o(5). Which is smaller: r or u?
u
Let p be (1 - 1) + 3/(-12). Let y = -2 + 5. Suppose -2*t + y*v = -v + 10, -2*t = -5*v + 11. Is p at least t?
True
Suppose -4*n = 5*q - 33, 5*q - 26 = -1. Let u be (6/30)/(n/(-5)). Is u less than or equal to 0.3?
True
Let v(w) = -10 - w**2 + 17*w - 15 - 4*w. Let z be v(10). Is z <= 5?
True
Let w = 6 + -2. Let d = 2 - 2. Suppose d = w*a - 3*a. Which is greater: -2/5 or a?
a
Suppose 4 = -6*i + 2*i + 4*u, 3*i - 4*u = -4. Is -5/6 at least i?
False
Suppose 5*x = 10 + 5. Suppose x*k + 4*o - 10 = 0, -5*o + 2 - 3 = -3*k. Which is smaller: k or 3/5?
3/5
Let o be (-3)/(-2)*(-1)/6. Let c = 21 - 20. Which is bigger: c or o?
c
Let j be (-2)/(0 + -3 + 0). Which is greater: j or 53?
53
Let n = -0.07 - 0.07. Let h = n - -0.04. Let u = -5 - -7. Are h and u nonequal?
True
Let g be ((-4)/12)/((-1)/(-3)). Which is smaller: -4/3 or g?
-4/3
Let j(x) = -x**3 + 2*x**2 + 3*x - 1. Let l be j(3). Let z = 1 - l. Which is smaller: z or 3?
z
Let r = 24/23 - 625/92. Which is bigger: -5 or r?
-5
Let t = -62.1 - -62. Which is smaller: t or -1?
-1
Suppose 3*c = 7*c - 48. Which is greater: c or 34/3?
c
Suppose 3*d + 0*y + 6 = -y, 4*y = -d + 9. Let t = 7 - 3. Suppose -t*b + 4*p + 20 = 0, -2 + 0 = 2*b + p. Are d and b nonequal?
True
Let h = -9 - 28. Is h less than or equal to 0?
True
Let p(j) = -2*j - 44. Let h be p(-22). Is -1/14 less than or equal to h?
True
Suppose 9 = 3*x + 6. Let n(c) = -c**2 + 1. Let i be n(x). Is -2/25 at most as big as i?
True
Let a(z) = -z**3 - 6*z**2 + 2*z - 2. Let l be a(-6). Let b be 4/84 + (-4)/l. Is b != 1/2?
True
Let j(g) = g + 4. Let x be j(-3). Let r be (1/(-8))/(5/(-15)). Is x greater than or equal to r?
True
Let a = 10 - 12. Which is smaller: 3 or a?
a
Let w = 6 + -1. Let h be w/2*(-8)/15. Let p = -1 - h. Is -3 >= p?
False
Let r(h) = -3*h**2 + 5. Let i be r(-3). Does i = -22?
True
Let k(q) = -2*q**2 + 2*q + 7. Let l be k(3). Let f = 4 + l. Is -2/31 >= f?
True
Let q = 0.27 - 0.17. Which is bigger: -1/10 or q?
q
Let d = -0.15 + 0.05. Let o be -223 + -2 + -1 + 0. Let b = o + 2484/11. Which is smaller: d or b?
b
Suppose 0*d = -5*l - d + 120, 3*d = 3*l - 90. Suppose -l = -3*n + 8*n. Which is greater: n or -3?
-3
Let m be (-1)/(145/39) - 11/(-55). Which is smaller: m or 1?
m
Let j = 0.53 - 0.03. Is -1/4 less than or equal to j?
True
Let t = 2 + -3. Let f = 77/555 - 1/185. Let j = 3/10 - f. Is t >= j?
False
Let u(s) = -2*s - 5. Let w be u(-4). Suppose -k = -w*k. Let a be k/(2 + (1 - 2)). Which is smaller: 1 or a?
a
Let q(p) = -p**3 + p + 1. Let r be q(-1). Let v be (r/10)/((-1)/2). Let f = -0.5 + 0.5. Which is smaller: f or v?
v
Let a be 6/(-4) - (-18)/4. Suppose -a*f - c + 2 = -3, 9 = 5*f + 2*c. Let r = 1 - -2. Which is smaller: f or r?
f
Let p be (18/22 - 3) + 2. Which is smaller: p or -1?
-1
Let f(l) = l**2 - 8*l + 7. Let z be f(5). Let b(o) = -o**3 - 6*o**2 + o - 6. Let d be b(-6). Let k = z - d. Do k and 4 have the same value?
True
Let c = 5.6 - -1.4. Let k = c - 7. Is -3 < k?
True
Let l(s) = 3*s + 12. Let y be l(-4). Which is greater: -11/9 or y?
y
Let l = -8 + 18. Suppose j + 4*j + l = 0. Is -3 greater than j?
False
Let y = -11 - -11. Suppose -4*o + 4 + 0 = y. Is o greater than 1?
False
Let a = 28 + -82/3. Let v = a - 0. Let j = 5 + -4. Are j and v unequal?
True
Let j be 2/6 + (-142)/(-6). Let x = 95/4 - j. Let o = 7 - 8. Which is bigger: x or o?
x
Suppose 0 - 6 = -3*q. Suppose -2*m + 5*m = 5*s + 24, -5*s - 9 = 2*m. Which is smaller: q or m?
q
Let u be 6/(-52)*(1 + 1). Let s = 619 - 24106/39. Let m = u + s. Is m != 2/3?
False
Let r be (1*-1)/(-3 - -4). Let t be (3/(-27))/(1/(-2)). Is t >= r?
True
Let w be 4/(-35)*(-15)/6. Let b = -0.7 - -5.7. Which is smaller: w or b?
w
Let x = 0.3 - 0.2. Let o = 0.4 + -0.5. Let a = x + o. Which is bigger: a or -2?
a
Suppose 4*t + 13 = -3*s, -5*s + 4*t + 17 = t. Let m be 3 - s - 4/3. Let h be 0/(-4) + 1*2. Is m <= h?
True
Suppose a + 2*o + 2 = 5*o, 5*o = -3*a - 6. Let s be -3*a/(-8) - -3. Which is bigger: 2 or s?
s
Suppose 5*j + 3*m + 113 = 0, -3*j + 9*m = 12*m + 69. Is -20 not equal to j?
True
Let v = -69 - -69. Which is bigger: 1/14 or v?
1/14
Let z(x) = -16*x - 3. Let g be z(-2). Let t be g/(-4) - (-2)/8. Let c be 28/(-16)*2/t. Is 1 at least as big as c?
True
Suppose 0 = 69*h - 63*h - 456. Is 75 smaller than h?
True
Let p be (-64)/(-6) - (-2)/(-3). Suppose -5*r - p = n - 24, 2*n = 4*r - 14. Let h = -2 + 4. Which is bigger: n or h?
h
Suppose -2*h = 2*h + 3*k - 41, -5*k = 2*h - 17. Let q = -12 + h. Do -7 and q have different values?
True
Let f = -1 + 0. Let a = -91/291 + -2/97. Is f less than a?
True
Let c be -2*(-1)/4*0. Suppose 0*w - 5*w = c. Suppose 2*g + 4*i = i - 17, w = -5*i - 25. Which is smaller: g or 3/5?
g
Let l(r) = r**2 + 3*r - 7. Let o be l(-5). Suppose -3*y = 4*p + 19, 4*p - y + 12 = o*y. Suppose s + 2 = -0. Is p at most s?
True
Let n = 8 + 0. Let j(p) = p**2 - 8*p + 3. Let u be j(n). Let y(t) = t - 2. Let i be y(u). Is 1/7 greater than i?
False
Let a be (57/6)/((0 + 3)/18). Which is greater: a or 0?
a
Let g(c) = -3*c**2 - 5*c + 1. Let q be g(-2). Does q = 1/145?
False
Let h = 0.7 + -0.703. Is 1 less than or equal to h?
False
Let n = 3 - 1. Let b = -1 + n. Suppose -y = -6*y + 10. Which is smaller: y or b?
b
Let m(x) = 4*x - 53. Let n be m(13). Let i be 2/(-14) + (1 - 1). Is i equal to n?
False
Suppose 1 - 15 = n. Is n less than -13?
True
Suppose -3*w - 2*w + 6 = -3*y, 0 = 3*w + 5*y - 24. Let r = w - 2. Let p = -17 - -84/5. Is p greater than r?
False
Let v = -7 - -9. Let f = v + -5. Let q = f - -2. Is q > -1?
False
Let o(i) = i**2 - 8*i + 12. Let n be o(7). Suppose 52 = -n*y + q, 18 = -4*y + 5*q - 32. Which is smaller: y or -11?
-11
Let s = 29 + -31. Which is bigger: s or 8?
8
Suppose 5*h = 3*t - 0*t, -h = -4*t. Which is smaller: h or 2/37?
h
Let k = 46/3 + -140/9. Let j = -0.23 + 0.03. Are k and j nonequal?
True
Suppose 3*w - 13 = 2. Let y = -29 - -15. Let s = y + 14.1. Is s less than w?
True
Let x be (-397)/(-6) + (-1)/6. Let u be ((-6)/4)/(x/8). Which is smaller: u or 0?
u
Let g = 15.21 - 0.21. Let d = g - 20. Let m be (3 - 2)/(-6)*-3. Does d = m?
False
Let q(i) = -i**3 - 5*i**2 - 4*i. Let k be q(-4). Let r be (1 + k)/(1/2). Is 1 smaller than r?
True
Let h be (8/2)/(1 - 2). Suppose -d - 6 = -5*z + 16, 4 = -2*d. Let m be 2*2/z*-3. Which is smaller: m or h?
h
Let u(v) = 2*v + 12. Let r be u(0). Is r equal to 12?
True
Let i = -92 - -91.8. Are i and -14 equal?
False
Let m = 0.0261 - 0.0861. Let q = 0 - 0.1. Is q bigger than m?
False
Let s = -126 + 885/7. Which is smaller: s or -1?
-1
Let q = -2/423 - 2524/2961. Are 2/3 and q nonequal?
True
Suppose 3*n + 2*f - 13 = 0, 0 = -3*n + 7*n + f - 19. Suppose 2*y + y + 4*k = n, 0 = 2*y + 4*k - 6. Let a = 738/7 - 105. Which is bigger: y or a?
a
Let q = -2/661 - 2634/3305. Which is greater: q or -1?
q
Let v(s) = -s + 2. Let a be v(4). Is a at least -5/4?
False
Let r be (4/(-6))/((-4)/18). Suppose g + 9 = r. Which is smaller: g or -4?
g
Let v be -2 - (24/(-5))/3. Suppose 3*s - 21 = -4*s. Is v smaller than s?
True
Suppose 77 = i + 76. Let h = 4.4 + -0.3. Let t = 4 - h. Which is bigger: t or i?
i
Let h(w) = w**3 - 2*w**2 - 8*w - 14. Let i be h(6). Is 81 >= i?
False
Let d(s) = s**3 - 5*s**2 + 3*s + 1. Let a