 = -u. Is w at least 11?
True
Let h = 947/2 - 457. Let z = -159/10 + h. Which is smaller: -2 or z?
-2
Let n = 107 - 427/4. Is 0.12 at most as big as n?
True
Let f(k) = -k**2 - 6*k - 9. Let d be f(-4). Which is smaller: -5/7 or d?
d
Let g = 23 + -23. Is g equal to 2?
False
Let i = 20 + -10. Let c = 0.7 + 0.3. Which is smaller: i or c?
c
Let p be 2/(3 + 2 + 6). Let d be 4*(-1 + 0/(-2)). Let n = -3 - d. Is n < p?
False
Let i be (-4)/(8/(-6)) + -6. Let a = -2 - i. Is a greater than or equal to 3/7?
True
Let n(w) = 24*w**2 + 1. Let d be n(-1). Suppose 5*h = -4*s + d, 2*s + 20 = 6*s. Which is bigger: h or 1/4?
h
Suppose 5*t = -0*t. Let h be 8/(-35) + 4/14. Which is smaller: t or h?
t
Suppose 0*d = 2*d - 2. Suppose 5*n + 9 = -d. Suppose -4*f + 0*f = 0. Which is smaller: f or n?
n
Suppose 0 = 2*q + 2*q. Are q and -4/3 nonequal?
True
Let f(c) = c - 23. Let z be f(24). Do z and 1/12 have the same value?
False
Let u = -3412/25 + 1506992/11025. Let i = 2/147 + u. Is 0.04 equal to i?
False
Suppose 3*d = -0*d + 4*n + 4, -2*d - 5*n - 5 = 0. Are 4 and d non-equal?
True
Let n(q) = -4*q**2 + 21*q - 8. Let y be n(4). Which is bigger: y or 17?
17
Let v(z) = z**2 - 5*z - 3. Let d be v(5). Let q(m) = 4*m + 14. Let a be q(-4). Is d greater than a?
False
Let u = -31 + 127/4. Let g be -1 - -1 - (-2 + 1). Which is bigger: u or g?
g
Suppose 2220 = -4*r - 644. Let t = r + 10748/15. Let z = -6/5 + t. Are -1 and z unequal?
True
Let j(k) = -k**3 - 11*k**2 - 24*k + 10. Let c be j(-8). Which is smaller: 18 or c?
c
Suppose u = -4*f - 20, f = 2*u - 6 + 1. Which is greater: u or -1/45?
u
Let y = 1.9 + -2. Suppose -a - 5*b + 2*b = 15, 3*a - 5*b - 11 = 0. Is a >= y?
False
Let k(i) = -i**3 - 6*i**2 + 3*i - 4. Let o be k(-7). Let a = o + -166/7. Which is smaller: a or 0?
0
Suppose 6*m - 4*m = -2. Which is smaller: -3/16 or m?
m
Let u be (1/2)/((-6)/12). Which is smaller: u or -8/9?
u
Suppose 2*p + 2*u + 4 = 0, 3*p + 7 - 25 = 3*u. Suppose 23 = 4*g - 6*y + y, 4 = -g - p*y. Let h = 0 + 2. Is h at most as big as g?
True
Let w(m) = -m**3 + 5*m**2 + m + 1. Let c be w(5). Which is greater: -1 or c?
c
Let i(h) = -h**3 - 5*h**2 - 2*h + 3. Let g(d) = -5*d**3 + 2*d - 1. Let w be g(1). Let r be i(w). Let y be 196/(-42) + 1*6/9. Which is greater: y or r?
y
Let z(y) = -y**3 + 3*y**2 + 5*y - 6. Let p be z(4). Let q = 10 - 6. Suppose 2*b - 7*b = -4*w + 21, -w = q*b + 21. Does w = p?
False
Let f = 76/7 - 394/35. Let u be 0*(-2 + 6/4). Is f less than or equal to u?
True
Let r be -1*(1 + 3/(-4)). Let a = 5.97 + 0.03. Let l = a - 5.9. Are r and l non-equal?
True
Suppose 3*o = -0*o. Let m = 131 - 131. Are m and o equal?
True
Let c be (32/(-30))/(210/(-63)). Is -1 at most c?
True
Let c = 5 + -1. Let s be (3 - (c + -3)) + 2. Which is bigger: 1/3 or s?
s
Suppose -u - 2 = -0. Let k be (u/(-6) - 1)*-3. Is 5 <= k?
False
Let p be (54/(-8))/((-4)/32). Let n be (-14)/(-18) - (-12)/p. Let c be 9/8 - (-2 - -3). Is n < c?
False
Suppose -3*y - 5*a = 16, 2*y + a + 8 = -y. Let s = -100 + 97. Which is smaller: y or s?
s
Let d = 338/539 + -4/49. Suppose 11*z = 1 - 1. Is z smaller than d?
True
Let y(v) = -v**3 + 6*v**2 - 4*v - 3. Let w be y(5). Let h be -2 + (-1 + 3)/w. Let n(l) = -l + 4. Let j be n(7). Is h greater than j?
True
Let p = -1583 - -1575.103. Let f = p - 0.003. Let s = f - -8. Which is smaller: s or -0.1?
-0.1
Let x = 1532/11 + -418/3. Let t(m) = m - 2. Let i be t(2). Is i greater than x?
True
Let p = 2.8 - 3. Suppose -3*f + f - 4*j = -6, 5*f - 5*j - 30 = 0. Let s(a) = a**3 - 5*a**2 + a - 5. Let g be s(f). Are g and p non-equal?
True
Suppose 2 - 6 = -2*u. Suppose 5*v = 3*v + u. Is 1/2 equal to v?
False
Let s = -1 - 1. Let f be -1*(1 - s - 2). Which is greater: 0 or f?
0
Suppose -15 = -0*j - 3*j. Suppose -2*r - j*a - 36 = -11, a = 3*r + 29. Is r not equal to -10?
False
Let o be -3 - (-3)/((-84)/(-1504)). Let z = o - 51. Is z at most 0?
True
Suppose g + 12 = 4*g. Suppose -y + 2*s = 3 - 0, 0 = -5*y + g*s - 3. Let a be ((-1)/(-1))/(-3 - -4). Are a and y nonequal?
False
Suppose 20 - 112 = -4*w. Are w and 25 non-equal?
True
Let u be 78/18 - (-4)/6. Is u less than 2?
False
Let z be (-5)/6*(19 - 21). Suppose 0*a - 40 = -4*a. Suppose 5*b - 25 = 3*i, 0*b = -5*i - 2*b + a. Which is smaller: z or i?
i
Let r(p) = -3*p - 5 - 3 - 3*p + 7*p. Let i be r(6). Which is smaller: 0 or i?
i
Let d = 0 + 2. Suppose -4*j = -6 + d. Let g = 1/8 - -11/8. Which is greater: g or j?
g
Let l = 154 - 154.38. Are -2/7 and l equal?
False
Let b = -16 - -11. Let h be (((-20)/6)/b)/(-1). Is -0.1 smaller than h?
False
Suppose -n + 4*n = 0. Let x = n + -6. Is -6 at least as big as x?
True
Let b(w) = -w**2 - 7*w - 3. Let j be b(-6). Let v be 14/(-21)*j/(-8). Which is bigger: v or 0.1?
v
Suppose -3*p - 2*o + 15 = 0, -p - 2*o - o + 12 = 0. Suppose 0*n = -p*n + 3. Suppose 4*d - 7 = n. Which is bigger: d or -0.1?
d
Let a = 2 + 0. Let v be ((-3)/a)/(24/(-16)). Let z be ((-16)/5)/v + 3. Is z greater than or equal to 0.3?
False
Suppose 5*j + 7 - 27 = 0. Let v = -3 + j. Let w be (v/(1 - 0))/3. Is w less than or equal to 0.2?
False
Let x = -3 + 2. Let h(v) = -6*v**3 + 9 - 9*v**2 + v**3 - v + 6*v**3. Let j be h(9). Which is greater: j or x?
j
Let g = -0.5 + 0.5. Let j = g + 0. Let m = 0.04 - 2.04. Which is smaller: j or m?
m
Let s be 10/12 + (-3)/2. Let r(w) = -w + 3. Let q be r(3). Suppose n + n + 4*j = q, j = 4*n. Is n less than or equal to s?
False
Let p be 30/7 + 4/(-14). Suppose 4*g - 2 = -z + 2, -2*z + p*g - 4 = 0. Which is greater: z or -1/3?
z
Let m(n) = -2*n - 3. Let y be m(-2). Let u = -11 - -56/5. Is u greater than or equal to y?
False
Let y = 1363/10 + -136. Let a = 5 - 3. Let r(j) = -2*j + 3. Let d be r(a). Which is greater: y or d?
y
Let w = -0.7 + 10.7. Which is smaller: -0.2 or w?
-0.2
Let t(h) = h**3 - h**2 - 2*h + 1. Let o be t(2). Let f be (-1 + o)*(-1)/(-1). Let d = -19/85 - -2/85. Which is bigger: d or f?
f
Let f(a) = -a - 7. Let x be f(8). Are x and -16 non-equal?
True
Suppose 2*w = 3 + 1, 2*v - 4*w = 0. Let i be (-5)/v*6/15. Is -2 != i?
True
Let b = -4 + 5. Suppose -5*o + 4*y = -9, -2*o + 4*y + 0 = -6. Is o less than b?
False
Let s = 0.08 + 0.11. Which is smaller: -1 or s?
-1
Suppose -4*n - 2*q + 62 = 0, 4*q + 5 = 3*q. Is n at most as big as 17?
False
Let o = 0.29 - 0.24. Let n = 0.15 - o. Is n bigger than -4?
True
Let i be 26/(-39)*(-14)/(-4). Does -2 = i?
False
Let h(t) = -t - 4. Let y be h(-7). Suppose 0 = -d + 4*p - 2 + 20, d - 6 = p. Which is bigger: d or y?
y
Suppose -z - 26 = -4*n, -3*z + 4*n = -0*z + 38. Let h be z/2 + 0 + 4. Which is greater: h or 2/19?
h
Let u(f) = -f**2 - 5*f + 4. Let h be u(-5). Suppose -4*y - h*x - 4 = y, -4 = 4*y + 4*x. Is y at most as big as -2?
False
Suppose 0 = -4*v - 1 - 3. Which is greater: -3/13 or v?
-3/13
Let d = -47 - -79. Which is smaller: 31 or d?
31
Let c = 7 - 12. Let l be (-2)/(c/(30/(-4))). Is -3 at most l?
True
Let z = 7.7 - 12.6. Let v = z + 5. Let m = 0.14 + -0.2. Is v less than or equal to m?
False
Let b = -0.11 + 0.21. Let i = 0.12 - b. Let r = i - -2.98. Is r less than or equal to 1/2?
False
Let w be 10/(-4)*10/65. Is w at most 0?
True
Suppose 5*s - 3*n - 1 = 0, -5*n + 3*n - 7 = 3*s. Which is bigger: s or -12/31?
-12/31
Let v(y) = y + 5. Let c be v(-3). Suppose -4*b = -c*m + 14, 0 = 2*b - 3*m + 5. Are -4 and b equal?
True
Let g = -1.3 + -2.7. Which is smaller: -1 or g?
g
Suppose -t - 3*t = -20. Suppose 2*h + 3*i - 29 = 0, 3*h - 62 = -h - 2*i. Suppose 4*u + h = -2*v + 6, -5 = -2*v - u. Is t > v?
False
Suppose 2*z + 5 = 13. Let a = 3 - z. Which is smaller: -2/5 or a?
a
Let i = 13.04 - 13. Let w = 0.24 - 0.3. Let b = i - w. Which is bigger: b or -3?
b
Let l = 5 + -3.7. Let u = -0.35 - -0.05. Let i = u + l. Is 1 bigger than i?
False
Let n = -1 - 8. Let p be 4/(-6)*n/(-6). Let c be p - (1 - 3)*1. Does 2/5 = c?
False
Let a = 140 + -120. Is a at least 0.4?
True
Let w = -2.1 - -2. Let p = -3.6 + 3.5. Is w bigger than p?
False
Let k(y) = -y - 1. Let m(o) = -4*o - 6. Let i(s) = 11*k(s) - 2*m(s). Let z be i(1). Suppose 5*w - 10 = 5*l, 5*w - 3*w - 16 = 5*l. Are z and l unequal?
True
Let h(k) = -k**2 + 11*k - 5. Let p be h(11). Let z(y) = -6*y**3 - y**2 + y. Let j be z(1). Is p equal to j?
False
Let q = -188 - -188.02. Which is bigger: q or 5?
5
Suppose 8 = -4*p - 0*p. Let a be (10/(-110))/(p/