w(12). Which is greater: -1/39 or k?
-1/39
Let k = -11 + 10. Let h = 7/261 + -3209/2871. Which is smaller: h or k?
h
Let d be 18/(-4)*14/21. Let b be (14/4)/((-2)/4). Let r be 1 + (b - -1) - 0. Which is bigger: r or d?
d
Let q be 58/18 + (-2)/9. Suppose 17 = 4*v - 4*y - 15, -2*y = -5*v + 25. Suppose 3*j - q = v. Is -0.1 >= j?
False
Let r = -12.081 + 0.081. Is r < 4?
True
Let r be 4/(-1*2/(-6)). Do -2/7 and r have the same value?
False
Let l be (-612)/108 + 3*2. Let g = 350 + -5248/15. Which is greater: l or g?
l
Suppose c + 2*p - 11 = 4*c, 4*p - 16 = 4*c. Suppose -12*v - 12 = -9*v. Which is smaller: c or v?
v
Let m = -1.91 - -2. Which is bigger: -1 or m?
m
Suppose 0 = -c + 6*c - 5. Which is smaller: -0.3 or c?
-0.3
Let c = 15 - 29/2. Let p be 0/(2 - 1 - 0). Suppose 0 = -4*d - 2*l + 18, -2*d + 5*l - 2 - 19 = p. Which is smaller: c or d?
c
Let n = 381 + -6475/17. Which is bigger: -1.1 or n?
n
Suppose -16 - 4 = -4*m - 4*i, 3*m - 21 = -5*i. Suppose -m*o = -6*o + 204. Let f be -2 - o/(-9) - 3. Does f = 1?
False
Let t = -8 + 7. Let j be ((-27)/(-21) - 1)*t. Is j at most as big as 0?
True
Let x be 2 + ((-4)/2)/(-2). Suppose 3*s - 1 = 2*s. Let h be -7*s*(-6)/21. Is h greater than x?
False
Let u = 6 + -6. Suppose -10 = -3*n - 2*n. Suppose u = n*g - 5*g. Which is smaller: g or 2/5?
g
Suppose -3*q = c - 2*c - 13, -2*q + 7 = -c. Let n be 15/q - 1/(-2). Suppose -4*s + 1 = -n*s. Which is greater: 1/3 or s?
s
Let i = 250 - 250. Let z = 27/220 - 1/44. Is z at most as big as i?
False
Suppose -4*n - 3 + 23 = 0. Suppose -10 = -4*t - n*f, -f + 5*f - 7 = -3*t. Let q(u) = -u**3 + 6*u**2 - 5*u + 7. Let k be q(t). Is k < 7?
False
Let y = 130 + -100. Is -2 at most y?
True
Let d = 411 - 23429/57. Which is smaller: d or 1?
d
Let l(p) = -p**2 - 6*p - 1. Let b be l(-5). Suppose -5*o + 20 = -5*k, 3*o - k - 4 = o. Suppose -b = -2*r - o*r. Which is bigger: 2/3 or r?
r
Suppose 3*y - 49 = -5*d, 4*y = 4*d - 3*d + 73. Let s = y + -55/3. Which is smaller: -1 or s?
-1
Suppose 3*b = -5*q - 4, q + 0 = 4*b + 13. Let n be 0/(-2 - 0) + q. Let z be 15/8 - (2 + 0). Which is bigger: n or z?
n
Suppose 0 = -47*z + 39*z - 1104. Is z < -138?
False
Let a be (17 - -1) + 0*7/35. Is a >= 18?
True
Suppose 4*r - 6*r = -4. Suppose r = 2*n - 3*s, -4*n = -s + 3*s - 20. Suppose 3*x - u = -n, 3*u + 10 = 4*x - 6*x. Which is smaller: 0 or x?
x
Let n be 1/1 + (0 - 0). Let h = 129 + -131. Is n equal to h?
False
Let z = -0.13 + 0.23. Is 1/2 at least as big as z?
True
Let c = 12 - 5. Which is bigger: c or 2?
c
Let p be 8 + (2 - 8/2). Let m(t) = t**2 - 2*t - 4. Let x be m(4). Suppose 5*r - x = p*r. Is r at least as big as -4?
True
Let r = -0.01 - -0.04. Let m = r - -0.77. Let b = m - -0.2. Is b bigger than 1/7?
True
Let v = 24 - 31. Is -9 greater than v?
False
Let k be (-2)/(-8) - 21/4. Suppose 3*s - 30 = -3*v, 3*s = -4*v - 3 + 37. Suppose 0 = c - 2 + s. Are c and k nonequal?
True
Suppose -1 = -2*q + 3. Suppose 2*y = y - p + 5, 5*y = 4*p - q. Let h = -52 + 53. Which is smaller: h or y?
h
Let l = 399 + -756. Let z be 3/6 + l/30. Let b = z + 12. Are b and 0 unequal?
True
Let g be (-4)/6 - (-40)/24. Suppose 5*c + 0*n - 5 = 5*n, 0 = -5*c - n - g. Which is smaller: -3/4 or c?
-3/4
Suppose 2*z + 17 = 3*n, 0 = n + 5*z + 6 - 23. Let f = 11 - n. Suppose -m - 3*m + f = 0. Is 0 bigger than m?
False
Let h be -12*(1 + (-15)/9). Let a be 18/2 - (-2)/(-1). Is h at most as big as a?
False
Let g be ((-1)/(-14))/(19/(-76)). Is 0.3 < g?
False
Let z(m) = m**3 + m**2 - 3*m - 1. Let i be z(-2). Let g(b) = b + 2. Let h be g(i). Is h equal to 4?
False
Let i = 15 + -11. Let j = -2 + i. Let p be 2*(-2)/(-10) - (-30)/50. Is j at most as big as p?
False
Let i = -0.2 - -0.2. Let k = i - 5. Let o = 4.1 - 4. Do o and k have different values?
True
Let w = 15.02 - 0.02. Let z = w - 11. Which is smaller: z or -0.1?
-0.1
Let q = 0.24 - 0.18. Let p = 4.94 - 5. Let j = p + q. Which is smaller: j or 2/5?
j
Let r(z) = -z**2 + z + 3. Let d be r(0). Let k be ((-7)/d)/(1/3). Let a = -5 - k. Which is bigger: 1 or a?
a
Let f be (3 - 1)/(-2)*(-6)/(-15). Which is greater: f or -0.55?
f
Let a be 4/(-10) - (-396)/(-10). Let o be ((-4)/10)/(a/50). Which is smaller: o or 0?
0
Suppose 4*x + x + 15 = 0. Let o be -3*(-2 - 4/x). Suppose -1 + 5 = -o*b. Which is greater: b or -1/2?
-1/2
Let g = 67/285 + -2/57. Suppose 0*a - 3*a = 0. Suppose a*m - w = m + 4, 4*m + 3*w + 12 = 0. Which is smaller: g or m?
m
Suppose 0 = -2*k - k + z + 19, 0 = 3*k + 3*z - 27. Suppose -2*q + 16 = -0*q. Is q smaller than k?
False
Let o be (-140)/84*6/(-5). Let d(m) = m**2 - 4*m - 2. Let h be d(4). Let l be 5/(-2) - h/4. Which is bigger: o or l?
o
Let h = 8 - 5. Suppose -5*o - 2*p - 83 = 0, 2*o - h + 41 = 4*p. Let s = o - -52/3. Which is bigger: 1 or s?
1
Suppose -52*s = -51*s - 1. Is -1/5 equal to s?
False
Let o(v) = -v**3 - 12*v**2 - 13*v - 16. Let b be o(-11). Suppose 0 = -2*q + 3*d + 17, 3*q - 3 = -d + b. Which is smaller: 3 or q?
3
Let s(y) be the third derivative of y**5/60 - y**4/24 - y**3/2 - 3*y**2. Let v be s(2). Is -4/7 less than v?
False
Let h be 7/(-4)*12/(-3). Which is greater: 9 or h?
9
Suppose 2*l + c - 16 = 5*c, 4*l = 4*c + 24. Which is smaller: l or 0.3?
0.3
Suppose 0 = 2*x + 3 + 3. Is 7/3 < x?
False
Let t = 52 + -47. Is 7 greater than t?
True
Let u be 12/(-15)*(-15)/(-6). Let j(h) = -h**2 + h - 1. Let a be j(1). Which is smaller: u or a?
u
Let z(d) = -d**3 + 4*d**2 + d - 2. Let v be z(4). Suppose -2*b - v - 4 = 0. Let n be (-2)/b + (-8)/6. Is n != 1?
True
Suppose -d + 0 + 2 = 0. Let y(s) = s**2 - s + 1. Let u = 4 + -3. Let l be y(u). Which is smaller: l or d?
l
Suppose 0 = -g - 2*g + 2*a + 1, 13 = 4*g - 5*a. Let z(j) = j - 1. Let c be z(1). Suppose 3*t = -c*t + 3, 4*f - t = -21. Which is smaller: g or f?
f
Let m be (8 - 0)/4 - 1. Does 1/19 = m?
False
Suppose -18 = 5*v + 177. Does v = -38?
False
Let x(d) = d + 3. Let j be x(-4). Suppose 0 = 2*h + 4*h + 6. Are j and h equal?
True
Let h be (-1)/(-5)*15/9. Suppose -r + 4*r = -3*w + 3, 4*w = 3*r - 3. Which is greater: h or w?
h
Let g(u) = u**2 + u - 4. Let k be g(-3). Suppose -k*d + 3*d = -8. Let h be 2/d - 17/(-36). Which is smaller: 0 or h?
0
Suppose -5*m = 36 - 11. Let d be (-6)/(-8) - m/(-20). Which is smaller: 0.09 or d?
0.09
Let u(f) = -f**2 - 2*f - 6. Let o be u(-3). Is -9 != o?
False
Let i = 6 + 14. Suppose y + y = i. Are y and 9 unequal?
True
Let z = 33/10 + -77/90. Which is greater: 3 or z?
3
Let h = -2 + 1. Let b = 1.3 - 0.8. Which is smaller: h or b?
h
Suppose 3*j - 5*t + 5 = -13, 0 = 4*j - 3*t + 13. Suppose -7*k = -3*k. Let x = j + k. Is x < 0?
True
Let i = 31 + -31. Which is bigger: 13 or i?
13
Let y be -9 + (0 + 2 - 1). Let x = y + 8. Let g = 0.5 + 2.5. Is x bigger than g?
False
Let h be (4 - 328/80)*-16. Suppose -i - w + 2 = 0, -3*i + 1 - 2 = -4*w. Is i greater than or equal to h?
False
Let l = 1 - 1.03. Let n = -0.17 + l. Which is greater: -2/3 or n?
n
Let x = 17.8 - 11.7. Let t = -6 + x. Which is greater: t or 8?
8
Suppose -5*y + 6*y = r - 15, -4*r + 58 = -3*y. Which is smaller: r or 12?
12
Let d(s) = s**2 - s - 3. Let f(q) = q - 1. Let m(a) = -d(a) + 4*f(a). Let i be m(5). Is -2 greater than i?
False
Let t = -13 - -14.5. Let h = 1.6 - t. Which is bigger: h or 0.8?
0.8
Suppose -3*p + 58 = -527. Let i be (20/p)/((-4)/6). Are i and 1 equal?
False
Let l be 1 + -1 + -1 + 10 + -6. Is 0.3 >= l?
False
Let d(s) = s**3 + 3*s**2 + 2. Let g be d(-3). Suppose -2 = -g*m + 4*m. Which is greater: -2 or m?
m
Suppose 3*f - 3 = -0*f, 5 = -3*u + 5*f. Let i = -10 + 6. Let s be i/(-14) + (-4)/14. Is u smaller than s?
False
Suppose 0*c + 5*c + 19 = -4*y, 0 = -3*y + c. Let o = -1 - y. Let r be 1/3*6/(-4). Do o and r have different values?
True
Let y = -72 + 58. Is y > -14?
False
Let z be (-3)/(1/17*-1) + 0. Which is bigger: 53 or z?
53
Let x = 5 + -4. Let u be ((-2)/(-6))/(x/3). Let d(p) = -p**2 + 4*p + 7. Let j be d(5). Is u less than or equal to j?
True
Let x be 0/1 - (1 - 3). Is x greater than or equal to 4?
False
Let b = -4 + 5. Let z be 2/9 - (-36)/81. Is z not equal to b?
True
Let s = -7 - -8. Which is smaller: s or 14/9?
s
Suppose -3*z + 7*z = 12. Suppose 2*c + z = -5. Is 0.2 at least c?
True
Let k be 0 + 1 + 2/(-1). Is k > -1/6?
False
Suppose -14*f + 9*f + 5 = 0. Which is smaller: f or -5?
-5
Let y be (1 - 0)/(2/6). W