8, -2*h + 2*i - 5*i = -32. Suppose 3*s = 4*q - 8, -2*q = q - 4*s - h. Suppose 2*u = -3*w - 2*u, 0 = u. Are q and w equal?
False
Let b(z) = 1 - 1 - 3 + 7*z - 2*z - z**2. Let h be b(5). Let q be (16/(-6) - h)*6. Is q not equal to 1?
True
Let v be 1 - -6 - 2/(-2). Suppose -4*s - 28 = -v*s. Which is smaller: 6 or s?
6
Let d be 10 + 6*(-6)/9. Which is smaller: d or 5?
5
Let w be ((-12)/9)/(92/(-6)). Let j be 3/12 - 1/4. Is j at most as big as w?
True
Let l = -12.3 - -12. Let r = 0 + 0.1. Which is bigger: l or r?
r
Suppose 2*r - 3*g = 12, -r - 7 - 5 = 3*g. Let p = -1/5 + r. Which is smaller: 0 or p?
p
Let r = 40.9 + -41. Is -7/5 greater than r?
False
Let g = 7 - 7. Suppose g = -3*s - 3 + 12. Which is bigger: 5 or s?
5
Let c(v) = -2*v - 3. Let l be c(10). Which is greater: l or -2/5?
-2/5
Let t(w) = w**3 + 7*w**2 + w + 9. Let g be t(-7). Suppose 0 = -g*x - 8, 0 = -0*q + q - 2*x + 2. Let n be (-9)/60 + (-4)/q. Which is bigger: n or -3?
n
Let c(w) = -w + 1. Let y(t) = -7*t + 8. Let a(j) = 4*c(j) - y(j). Let p be a(3). Suppose -2*k = -p*k. Are k and 2/5 non-equal?
True
Suppose 2*a - 3*o = 3, 3*a + 4*o = a + 10. Suppose -d - 2 = 2*f, 2*d + a*d + 10 = f. Is f equal to -2?
False
Let q be 4*(2 + (-5)/2). Let v = q - -3. Is 4/5 < v?
True
Let z(i) = -92*i**2 - 8*i - 7. Let y be z(-1). Is -90 smaller than y?
False
Let o = -7 + 6.7. Let j = -2.7 - -2.8. Does j = o?
False
Suppose -4*m = -2*m - 18. Suppose -2*u + 2*n = -15 - 1, -n + 8 = u. Is m less than or equal to u?
False
Let j = -19 - -15.6. Let b = 3 + j. Let s = 1 - 1. Which is bigger: b or s?
s
Let b(f) = 2*f**2 - 4*f - 6. Let l be b(5). Which is smaller: l or 23?
23
Let d(u) = 3*u + 7. Let m be d(-6). Let q = m - -233/21. Do -1 and q have different values?
True
Let r be (736/182)/(-2) - -2. Which is smaller: r or 0?
r
Let t = 0.36 + -0.26. Which is greater: 13 or t?
13
Let o be 33/5 + 2 + (-26)/10. Are o and 44/7 non-equal?
True
Let x be -1 - ((-5)/(-2) + 2). Is -5 greater than or equal to x?
True
Suppose 0 = h - 5*v - 12, v = 3*h - 4*v - 6. Let i be 24/(-26) - (-4 - h). Suppose 5*z - 17 - 8 = 5*k, -z + 4*k + 20 = 0. Is z >= i?
False
Suppose 0 = -v + 1 + 21. Suppose 4*m + 6 = -g - v, 2*g = -5*m - 38. Is m equal to -6?
True
Let h = 4738/15 + -316. Which is greater: h or 1?
1
Suppose -2*p = 3*p + 4*i - 10, 0 = 3*p - 4*i - 6. Let o be (2*1)/(2/6). Suppose -p*j - o = j. Do -2 and j have the same value?
True
Suppose -w + 52 = 3*w. Suppose -2*k - 5 + w = 0. Which is bigger: k or 6?
6
Let t = -246/7 + 4695/133. Is t <= 0?
False
Suppose -3*a = h + h + 17, -3*h = -a - 2. Do -3/31 and h have different values?
True
Let l = -5 + 7. Suppose -l*u = -7*u. Let k = -3.1 + 3. Do k and u have the same value?
False
Let g = -29 - -25. Which is smaller: g or 2?
g
Suppose -4*r + 8 = 4*k, -3*r - 4*k = -r - 2. Let u(y) = 9*y**2 - 3*y. Let b be u(r). Let f be ((-6)/b)/((-1)/3). Is f greater than or equal to -1?
True
Let w be 10 - (2 - (0 + -2)). Is w at least as big as 8?
False
Let c = 5417/15 + -361. Let k(y) = -2*y - 1. Let u be k(-1). Is c smaller than u?
True
Let n be 2/4 + (-4)/8. Let f be (-1 - n)/(1/(-4)). Which is bigger: 5 or f?
5
Let u be 0 + -1 - 176/(-12). Are 14 and u equal?
False
Suppose x + 2*o + 6 = -2, 5*o + 20 = 0. Which is greater: x or 2?
2
Let i(k) = -k**3 - 4*k**2. Let o be i(-4). Suppose o = 3*c - 2 - 7. Are 3 and c unequal?
False
Let f(h) = h**3 + 5*h**2 - 5*h + 3. Let l be f(-6). Let d be ((-57)/(-11) - 2) + l. Let g(y) = y**3 - y**2 - 2*y - 1. Let j be g(-1). Does j = d?
False
Let q(v) = 1 - 2*v - 2*v - 3 + 5*v. Let o be q(3). Do -2/9 and o have the same value?
False
Let z be -1 - (1 - 0) - -3. Suppose 0 = -w + 1 - 2, -z = d + w. Let a be (-1)/2*(0 - 2). Which is smaller: a or d?
d
Let i be (-2)/3*9/(-19). Let w = i - 67/152. Suppose h = t, -6*t - 9 = 4*h - t. Is w smaller than h?
False
Let n = 253/2 + -127. Which is smaller: n or 26/9?
n
Let i = 69 - 74. Is i <= -6?
False
Let b = 15 - 15.4. Let d = 2.6 - b. Is d != 0.1?
True
Let t(o) = o - 1. Let w be t(3). Suppose 0 = v + 2*x - w, -6*v = -4*v - 2*x + 14. Let d be (v/(-10))/((-39)/15). Is -2/3 at most as big as d?
True
Suppose 0*i = 2*i - 4. Let u = -4 - -5. Let n be (0*(-3)/(-6))/u. Is i less than n?
False
Suppose 2 = 2*b + 16. Let s be 0*(-1)/(-4)*2. Suppose 5*c + 2*z + 22 = s, -2*c - z + 3*z - 20 = 0. Which is bigger: c or b?
c
Let w(i) = -30*i - 3. Let l be w(2). Is l less than or equal to -63?
True
Let m = -7318/5967 + -2/459. Is 0 at least m?
True
Let w = 2.7 + -6.6. Let j = w - -4. Let x be ((-3)/(-3))/(3/9). Is j <= x?
True
Let s = 18 - 17.8. Which is greater: s or 6?
6
Suppose 2*o - 3*o + 8 = -5*s, -4*o + 5*s = -17. Let j = -8 + 13. Let y = o - j. Is y equal to -1?
False
Let l = -27667/9 - -3069. Let x = l - -95/18. Which is greater: 0 or x?
x
Let t be -2 - (-2 - (0 - -2)). Suppose 0 = 3*k - 14 + t. Which is bigger: k or -2?
k
Let b be (-7)/(-33) - 3/(-9). Let v = b - 23/22. Is -0.7 at most v?
True
Let p(r) = -r**2 - 8*r - 3. Let y be p(-7). Is y at least as big as 4?
True
Suppose -y + 0*y = 4*a + 24, -y = -2*a - 6. Are y and -1 non-equal?
True
Suppose 5*f - p - 10 = 4*p, 3*p = -12. Suppose 4*a - g = -0 + 3, a = -3*g + 17. Let q be a/(-6) + 2/(-3). Are f and q nonequal?
True
Suppose 0*c + c + 3 = 0. Let v = c + 0. Let i = v + 2. Which is smaller: -5/4 or i?
-5/4
Suppose 12 - 88 = -4*h. Let y be ((-2)/(-6))/((-40)/(-2280)). Is y at most h?
True
Suppose 2*v = 6*v - 8. Suppose 2 = -v*x - 8. Let f = 3/38 + -68/19. Is x bigger than f?
False
Let l = 21 + -18. Which is bigger: 6 or l?
6
Suppose 71 = 3*r - 37. Is 36 <= r?
True
Let s = -9.3 - -11.3. Let f = -0.3 - 0.7. Which is greater: f or s?
s
Let c(x) = -x. Let r be c(0). Suppose 4*l = 5*w - 5, -3*l = -0*w - 3*w. Let d be (-55)/(-253)*2/l. Which is bigger: r or d?
d
Let h(c) = -c**3 - 5*c**2 + 7*c + 2. Let b be h(-5). Let l = -15033/460 - 8/115. Let z = l - b. Do z and -2/3 have different values?
True
Let z = 9 + -2. Let y = z - 5. Suppose 2*w = -y*w - 8. Is -4 greater than w?
False
Let d = 21 + -20.95. Let m = 0.05 - d. Is m at most -13?
False
Let o = -53 - -54.98. Let f = 3 - 2.98. Let h = o + f. Is 2/7 at least h?
False
Let f be (1 - -8)/((-3)/2). Let l be (2/10)/(f/(-12)). Let z(h) = -h**3 + h**2 + 3*h - 3. Let v be z(2). Which is greater: l or v?
l
Let v be 84/63 + ((-2)/3)/1. Is v greater than 1?
False
Let w = 9 - 13. Let r = w + 8. Let f = -2 + r. Which is smaller: f or -3?
-3
Suppose 0*h - 3*h = -0*h. Are 3/25 and h nonequal?
True
Let q be (-1 - (-3 + 3))*1. Which is greater: q or -10/19?
-10/19
Let s = -3.7 + 2.6. Is -1/2 > s?
True
Let v(i) = 3*i - 19. Let k be v(5). Is -6 less than k?
True
Let s = -2 - -4. Let d = s - 2. Which is greater: d or -2?
d
Suppose 148 - 136 = 3*x. Are 25/6 and x non-equal?
True
Suppose -2*a = 3 - 9. Let d be a/9 - (0 - 0). Let k(f) = -f**2 - f + 5. Let m be k(-3). Which is greater: d or m?
d
Let k = 118 + -165. Is -47 at least as big as k?
True
Let o be 1/6 + 15/(-63). Suppose f + 4*u + 8 = 0, -2*f + 4 = -u + 2. Which is greater: o or f?
f
Suppose -3*z + 4*q + 16 = 0, -2*z + 5*q - 1 + 21 = 0. Suppose z = -5*h - 2*x + 54, -4*x - 22 = -2*h - h. Is h >= 10?
True
Let h be 3 + 6/(-3) + -2. Is h greater than 2/35?
False
Let y be (-1)/33*29 + 1 + 0. Is y != 0?
True
Let q = 1302/11 - 118. Suppose 0 = -t - t. Is t equal to q?
False
Let c = 658/5 - 132. Let r = 2 - 0. Which is smaller: r or c?
c
Let a(w) = w**3 - 15*w**2 + w - 34. Let l be a(15). Which is bigger: -20 or l?
l
Let p = 1.3 - 1.3. Let y be 2 + (1 - 54/20). Do p and y have the same value?
False
Let x = -2/5 - -4/35. Let a be (-4)/(-14) - 12/(-7). Let p = a + -2. Is x less than or equal to p?
True
Let y = -43 - -47. Is -3 at most y?
True
Let b(c) = c**2 - 9*c - 5. Let n(s) = s**3 + 4*s**2 - 6*s + 2. Let u be n(-5). Let q be b(u). Which is smaller: -20 or q?
-20
Let j = 18316/37 + -495. Is 0.1 <= j?
False
Suppose -2*n + 2*u + 10 = 0, -n = 3*u + 2 - 7. Let f(c) = c**2 - 6*c + 5. Let x be f(n). Let s = 13/37 - 2/111. Which is smaller: s or x?
x
Let w = -754/1295 - -2/185. Let h = w + -2/21. Suppose 4*s = -2*s + 6. Which is bigger: h or s?
s
Suppose 2*r + 2 = -0. Suppose 3*c + 2*c = 10. Let h be ((-50)/(-18) - c) + -1. Which is greater: r or h?
h
Suppose -3*s = -3*h - 3, -2*h = -0*s + 4*s + 2. Which is bigger: h