) = 1 - 5*i + 2*i - i. Let f be w(-2). Suppose 2*j = 4*d + d + 6, 0 = 2*d + 3*j - f. Is d at most as big as -1/4?
False
Suppose -5 - 7 = -4*a. Suppose 15 = 2*i + a*i. Suppose 5*p + 13 = -k + 2, -4*p - i*k = 11. Which is smaller: 1 or p?
p
Let v(z) = 31*z. Let t be v(1). Let d be -3 - t/(-20)*2. Do d and -1 have the same value?
False
Let l = -0.8 - -0.9. Which is bigger: l or 22?
22
Let p = -8846 - -168142/19. Let m = 1194/323 - p. Is m less than or equal to 1?
True
Let d = 120 + -125. Which is bigger: -4 or d?
-4
Let u = 1753 - 231395/132. Is u less than or equal to 0?
False
Let d = 13 - 10. Suppose -5*x = 8 - d. Suppose w + 4*o - 3 = 0, 4*w - o = -4*o - 1. Is w at least as big as x?
True
Let l = 8.3 + -0.5. Let a = -1.8 + l. Is a greater than or equal to -1?
True
Let t = -586 + 585. Let k be (-3)/9*(-3)/2. Which is smaller: k or t?
t
Suppose 22 = 4*w + 10. Which is greater: 12/5 or w?
w
Suppose 0*n = 3*n - 15, 0 = -4*z + 4*n + 4. Suppose -z = -4*a + 14. Are a and 4 equal?
False
Let d(b) = b**3 + 5*b**2 - b - 1. Let z be d(-5). Let p = z - 5. Is p not equal to 1/7?
True
Let w = -1 + 0. Let m = -4692/11 + 426. Is w < m?
True
Let y = -2339/19 - -123. Does y = 1?
False
Suppose -3*j = -8*j + 20. Let y(z) = -z**3 + 3*z**2 + 5*z - 4. Let c be y(j). Are c and 1/5 equal?
False
Suppose -3*l = -9*l. Is l not equal to -6/7?
True
Let k be ((-26)/1)/((-4)/3). Let d = -115/6 + k. Suppose -2*t = 5 - 1. Do t and d have the same value?
False
Let i be (-13)/(-5) - (-14)/35. Suppose 5*h = v + v + 268, 0 = i*h + 12. Let s = v - -1871/13. Is s less than or equal to -1?
False
Let m = -5 + 4.92. Let n = -0.22 + m. Let p = n - -0.4. Which is greater: -3 or p?
p
Let i = 18.9 - 19.3. Which is smaller: i or -2.3?
-2.3
Let o be 16/(2 + 0) - -3. Let t = -12 + o. Suppose -4*q = -2*q + 6. Do q and t have the same value?
False
Let c(b) = 2*b - 2. Let t be c(3). Let d = t + -3. Let s = 5 + d. Is s <= 6?
True
Suppose 0*v + 3 = -3*v. Let j(a) = 10*a - 51. Let g be j(5). Let p = v - g. Is p <= 5/6?
True
Suppose -3*x + 20 = -5*p, 2*p - 2*x + 7 + 1 = 0. Let l = -4 - p. Which is bigger: -3 or l?
l
Let b = 5 - -41. Is b smaller than 45?
False
Let n = 283/12 - 113/4. Is -6 > n?
False
Let f(m) = -m**3 + 8*m**2 - 8*m + 4. Let l be f(7). Is -0.02 >= l?
True
Let c be 1 - (-3 + 4 + -7). Let k = c + -8. Let p be 29/(-28) - 2/(-7). Which is smaller: p or k?
k
Suppose -h = -2*h. Let p be 1 - (2/(-1) - -3). Are p and h non-equal?
False
Let r = -0.8 + -0.2. Let n = 3 + r. Let p = 22/5 + -4. Which is greater: n or p?
n
Let i be (-57)/(-12) + (-8)/((-24)/(-9)). Which is smaller: 3 or i?
i
Let c(l) = l**3 + l**2 - 4*l - 3. Let i be c(-3). Is i at least as big as -7?
False
Let h be ((-40)/(-28))/(-5) - 648/(-14). Is h at least 47?
False
Suppose -2*a = -a + 4*k - 30, k = -a + 15. Let p = a - 5. Do p and -2 have different values?
True
Suppose 2*j + 30 = -3*j. Are -21/4 and j equal?
False
Let k = 23 - 17. Is 64/9 greater than or equal to k?
True
Let i(z) = 7*z**3 - 2*z + 1. Let g be i(1). Suppose -2*l = -g*l + 8. Is 2 at least as big as l?
True
Let i = -19.09 + 19. Let j = i + -0.01. Is 3 at most as big as j?
False
Let c(g) = g**3 + 8*g**2 + 7*g + 1. Let l be c(-7). Let s be -2 + -2 + 3/l. Which is smaller: s or 2/17?
s
Let g = -11 - -9. Is -2 >= g?
True
Let u = 372/11 - 19683/583. Is -1 greater than u?
False
Let l be -5 - 2697/(-897) - -2. Which is smaller: 0 or l?
0
Let d = -0.02 - -3.02. Let x = 0 + 0.09. Let k = x + -1.09. Are d and k nonequal?
True
Let g be ((-1)/(2/(-6)))/1. Does 3 = g?
True
Suppose -2*v - 2*v + 2*q - 42 = 0, -q - 5 = 0. Let p be (v/(-13))/(1/(-1)). Is 0 equal to p?
False
Let o be 2 + ((-2)/1 - -1). Let v = -1 - 1. Is o less than or equal to v?
False
Let l = 55 - 53. Is 25 less than or equal to l?
False
Suppose -2*q + 2*z + 24 = -0*z, -3*q + 5*z + 38 = 0. Let m = q - 11. Let g = -68/3 + 23. Is g > m?
True
Let h(m) = -m**2 - 9*m - 10. Let b be h(-9). Let l = b + 12. Which is bigger: l or 3?
3
Suppose 0*o - 4*o = -16, 5*i + 12 = 3*o. Is -1/14 at least as big as i?
False
Let k = -0.8 - -0.7. Let m = -10 - -20. Suppose -3*s + 2*j + m = 6*j, -5*j + 13 = 4*s. Which is bigger: s or k?
s
Let g = -4/31 - 515/93. Let q = g + 31/6. Let l = -5.13 + 0.13. Which is smaller: q or l?
l
Let t = -43 - -41.7. Does t = 1?
False
Let j = 1.8 + 0.4. Let k = -0.8 - j. Does k = -2/5?
False
Let c be (16/(-10))/(2/(-10)). Let m be 86/12*c/(-20). Let d = m + 8/3. Which is bigger: d or -1?
d
Let i = -29 + 173/6. Is 1 < i?
False
Let t(n) = -n**2 - n - 3. Let y be t(0). Which is smaller: y or 4?
y
Suppose 4 = j + 3*j + 2*i, 4*j - 10 = -5*i. Suppose 2*f = -j*f + 8. Is 5 greater than or equal to f?
True
Let v = 88.1 + -88. Let b = 311/44 + -29/4. Which is greater: v or b?
v
Let g = 137/11 - 1751/77. Is g at most -10?
True
Suppose 3*v - v + 14 = 0. Is v at least as big as -7?
True
Suppose 4*v + v = 2*a - 15, -5*v - 4*a = -15. Let l be (-3)/(-18) - (-1)/(-3). Is v greater than l?
False
Let h = 18 + -15. Let n = 8 - h. Is n less than or equal to 6?
True
Suppose 5*q + 3*a - 6 = 2*q, 0 = -4*q + 2*a + 20. Let c(t) = t**2 + 2*t - 2. Let y be c(2). Is q equal to y?
False
Let i be 0 - 2*1/19. Suppose -3*c - 100*v + 96*v = 9, -3*c + 2*v + 9 = 0. Is i less than or equal to c?
True
Suppose -133 = 4*y + 191. Let z = y + 565/7. Is z less than 0?
True
Let z(b) = -b**3 + b**2 + 1. Let m(o) = -5*o**3 - o**2 + 4. Let t(y) = m(y) - 6*z(y). Suppose -2*c = -3*c + 7. Let r be t(c). Is r less than -3?
False
Let z be (-9)/12 + 517/(-4). Let a = z - -652/5. Is -1 > a?
False
Let l = 87 + -86.8. Is -2.2 at most l?
True
Let d be (1 - 2) + (10 - 7). Suppose d = -r - r. Which is greater: 1/4 or r?
1/4
Let j be (-8)/28 + 267/(-21). Let x = j - -13. Let g(c) = -c**3 + 7*c**2 - 6*c + 1. Let k be g(6). Which is smaller: k or x?
x
Suppose -5*m = -2*m - 45. Let t = -77/5 + m. Which is smaller: t or -1?
-1
Let n = 11 - 5. Which is greater: n or 9/2?
n
Suppose -2*l - 5 = -3*l + 4*j, 5 = 2*l - 3*j. Let p = -294 - -9700/33. Do l and p have the same value?
False
Let s be 6/(-27) + 327/135. Is s at least 3?
False
Let m = 69/146 + 2/73. Which is bigger: m or 1?
1
Let p = 0 - -0.2. Let g = p - -2. Let d = 0.8 + g. Which is smaller: 0 or d?
0
Let i = 0.07 + 1.13. Is 0 smaller than i?
True
Let u = 8 + -14. Let k be 7 + u - 1/2. Is k not equal to -8?
True
Suppose 8 = -2*o, -3*a + 32 = -4*o + 7. Let u = 0 - a. Is -3 smaller than u?
False
Let s be (2 - (-2 - -2)) + 3. Suppose g + s = 6. Suppose 4*j - 20 = 0, -3*y + 5*j - 11 = j. Which is greater: y or g?
y
Suppose 0 = -3*j - 4*n + 98, 2*n - 25 = -j + 11. Are 26 and j non-equal?
False
Let f(m) = m**2 + m - 4. Let d be f(0). Let q be d - -4 - (0 - -1). Is q <= 0?
True
Let u be (2 - 2)/(-2) + -7. Let a(b) = -b**3 - 7*b**2 - 3*b - 6. Let q be a(u). Suppose 0 = -f + 5*s + q, -f = -0*f - 3*s - 9. Is f greater than 1?
False
Suppose -q + 20 = 3*q. Let g be 2 - q/((-15)/(-4)). Let d be 0 - (-3 - -2) - 1. Which is smaller: d or g?
d
Let v = 7.1 + -7. Which is smaller: 1/2 or v?
v
Suppose 0 = 4*j - 0*j - 12. Let s be 0 + 1*(j + -2). Which is bigger: -1/25 or s?
s
Let i = -3 - -7. Suppose 2*z - 25 = 7*z. Let y = i + z. Do y and -2 have the same value?
False
Let c be (-89)/(-3) + 6/18. Let m be c/(-7) - 2/(-7). Is -5 greater than or equal to m?
False
Let w = 14743/4 - 3712. Let u = w - -26. Is -2/7 at least u?
False
Let h be -3*4/9*3. Suppose 4*x - 5*l - 33 = 0, 4*x + 2*l + 2 = -0. Let o be -1 + (x - h/(-2)). Which is smaller: -2 or o?
-2
Let y(p) = -p**2 + 8*p + 9. Let z be y(7). Let n be z/(-24) - 23/(-3). Is 6 greater than n?
False
Let g be 6/(-4)*((-44)/12 + 5). Is -1 less than or equal to g?
False
Suppose 3*z - 8 = 1. Let v be (z + -3)/(-2)*-1. Suppose v = -3*y + 2*k + 2, -3*y + 2*k = 2*y + 2. Is y not equal to -1?
True
Suppose -3*k = 2*k + 5. Which is bigger: k or 3/7?
3/7
Let l = 593/1275 - 38/51. Let f = 6/193 + 3131/4825. Let a = l + f. Is 0 at least as big as a?
False
Suppose -3*s = -2*s - 4. Suppose 3*r - 6 = r. Is r at least s?
False
Suppose -4*t = -2 + 10. Are -2 and t equal?
True
Let g be (-26)/470 + (-2)/10. Let n = 38/517 + g. Do n and -0.1 have the same value?
False
Let n be 18/(30/5) - (-1 - -4). Suppose 2*l = -0*l + 18. Which is smaller: n or l?
n
Let l be 0/(1 + -2) - 2. Suppose -2*v - 6 = v. Are