pose k - 20 = 6*k. Suppose 0*l + 36 = 4*l. Suppose 4*v + l = -7. Is k equal to v?
True
Suppose -2*w + 20 + 0 = 2*f, 4*f - 5*w - 40 = 0. Let m be 15/f - (-2)/(-4). Is -3/7 greater than or equal to m?
False
Let y = -0.35 + 0.05. Let m be 85/(-100) - (-3)/5. Which is smaller: m or y?
y
Suppose -o - 4 = 2*o - 2*x, 5*o + 4*x - 8 = 0. Let j be ((-2)/(-4))/(4/(-8)). Which is bigger: o or j?
o
Let n be (0 + -4)*3/6. Let q be n/9 - (-7)/(-9). Is -2/19 at least q?
True
Let g = 8/1139 - 105967/5695. Are g and -18 equal?
False
Suppose -m - 4*w = -5*w - 6, 0 = 5*m - 3*w - 32. Suppose 2*g - 3*g - 21 = -2*f, -4*f - 2*g = -22. Which is bigger: f or m?
f
Let w(a) = 5*a**3 + 8*a**2 + a - 7. Let q(i) = -2*i**3 - 4*i**2 - i + 3. Let c(h) = 7*q(h) + 3*w(h). Let p be c(5). Is p >= 5?
True
Let o be 5 + 0 + (-1 - -1). Let z = -12 - -15. Is z at most o?
True
Let h(b) = 0*b**2 - 4*b - 3 + 2*b**2 - b**2. Let y be h(4). Let p = 0 + -4. Do y and p have different values?
True
Let d be ((-1)/24)/((-9)/(-90)). Which is bigger: d or -0.1?
-0.1
Suppose 4*x + 2*s - 3*s + 13 = 0, -2*s = -3*x - 16. Which is smaller: x or -8?
-8
Let k(r) = 5*r - 4*r + r**2 + 2*r. Let g be k(-2). Are g and -2 non-equal?
False
Suppose 0 = 28*n - 7*n - 147. Is n > 4?
True
Let l = -1 + 4. Let c(s) = -5*s**2 + 5*s**2 - 1 - s**l. Let h be c(-1). Are h and -1 unequal?
True
Let k(x) = 4*x - 7. Let l be k(5). Let b(v) = v - 15. Let a be b(l). Is a equal to -1/4?
False
Let v be 4*51/(-54) - -4. Which is smaller: v or 2/3?
v
Let h(g) = g**3 - 5*g**2 + 4*g + 4. Let v be h(5). Let s be 0 + -1 - (-2)/2. Let o be (-2 - s)/(v/(-9)). Which is bigger: o or 2?
2
Let c = -125 - -377/3. Which is smaller: c or -15?
-15
Let z be (482/(-4))/(1155/6). Let d = z + 2/77. Let s = -1 + 0. Is d >= s?
True
Let k = -158 + 153. Is -17/3 > k?
False
Suppose -x + 2*x = 0. Suppose x*f = f. Is 2/27 < f?
False
Let d be (-28)/(-45) + (-16)/40. Is d at least 0?
True
Suppose 2*n + 3 = 5*n. Let c be (-56)/(-66) + (-4)/6. Which is smaller: n or c?
c
Let a = 7.81 - -0.19. Let t = -7.9 + a. Let i = 3 + -1. Which is greater: t or i?
i
Let b = 39/2 - 277/14. Is b smaller than -71?
False
Let j = 0.19 - -14.81. Let h = j + -12. Are h and -1 non-equal?
True
Let r be (-2)/(-13 - -16 - (0 + 1)). Which is smaller: 2.4 or r?
r
Let d = -0.07 - -0.17. Which is smaller: d or -6?
-6
Let r = -2 + 3. Suppose -2*v = w - 9, 5*v - 2 - 15 = 3*w. Are w and r nonequal?
False
Let b be (-55)/(-20) + (-2)/(-8). Suppose 0 = -t + b*q + 14, 0 = t + 4*q + q + 18. Let j be -1 + ((-1)/t - 1). Which is smaller: -4 or j?
-4
Let x = 80 - 22. Suppose 0*u = 2*u - x. Suppose -5*z - u + 6 = 3*n, -9 = 5*n + z. Is n greater than or equal to -2/5?
False
Let m = -0.3 + 0.7. Let g = -43/5 + 311/35. Which is bigger: g or m?
m
Let w(g) = 19*g**2 + 4*g + 3. Let z be w(-3). Let y be 3/z*-2*-2. Which is bigger: 1 or y?
1
Let g = -27/38 - -1095/1862. Which is smaller: 0 or g?
g
Let d(x) = x**2 + x. Let b be d(-2). Let r(k) = -2*k - 3. Let g be r(-6). Let v be (6/4)/(g/12). Is v > b?
False
Let b be 2/(-9) + (-29)/(-9). Suppose -6*z + 20 = -2*z. Suppose s - 6 = -z*a, 4*s = -0*a - 4*a - 8. Which is smaller: a or b?
a
Let r = -13695/19 - -721. Is r > 0?
True
Suppose 62 = 27*p - 25*p. Is p <= 31?
True
Let l be (1/(-2))/((-8)/80). Let u(z) = z + 1. Let i be u(l). Is i < 5?
False
Let b = 2/89 + -184/267. Is b less than -1?
False
Suppose -2*w - 3*w + 25 = 0. Suppose 0 + w = h. Which is bigger: 4 or h?
h
Suppose -5*r + 7 = 22. Suppose 39 + 17 = 4*f. Suppose 3*t + 10 = q, q - 2*q - f = 3*t. Which is greater: t or r?
r
Let s = 46/9 - 487/90. Which is smaller: -1 or s?
-1
Let x(s) = s**2 + 10*s + 3. Let c be x(-10). Suppose 5*z - 2*z + c = 0. Is z not equal to -5/3?
True
Let s = 1 - -2. Let h be -2*19/(-6)*s. Suppose -u = 2*r - 7, -2*r + 3*u = h - 6. Is r equal to 3?
False
Suppose 0 = -5*j - 0*j + 35. Which is smaller: 8 or j?
j
Let q = -6.7 - -7. Let u = 0.5 - q. Which is greater: u or -2?
u
Let a be (1 + 6/(-4))*-2. Let w be (-5)/(-6)*(21/15 - 1). Which is smaller: w or a?
w
Let t = -5 - 76. Are -82 and t non-equal?
True
Suppose 4*m + 0*i + 20 = 4*i, m + 4*i = 20. Suppose p + 2 = -m. Suppose 0*n - 1 = n. Which is greater: p or n?
n
Let a = -13 - -15. Suppose -a*h + 4 = 2*h. Are h and -1 unequal?
True
Let g = -10/63 + 571/819. Let a = -51/143 + g. Which is greater: 1 or a?
1
Suppose -8 = -2*a + 6*a. Let m be a/(-6)*0 + -1. Let i = -1 - 1. Which is bigger: i or m?
m
Let v be (-8)/3 + (-6)/(-9). Let l(t) = -2*t + 0*t**2 + 2 + 3*t**2 - 4*t**2. Let c be l(-3). Which is smaller: c or v?
v
Let k = -2/3159 + 724/34749. Which is bigger: -1 or k?
k
Let t be 0/(2/2*1). Let r = -3/2 + 5/4. Which is smaller: t or r?
r
Suppose -14*b - 3 = -11*b. Which is bigger: b or 1?
1
Let x = 9 - 5. Is x greater than 2?
True
Suppose 7 - 30 = 3*t + k, -4*k + 4 = 0. Are 0 and t non-equal?
True
Let f(k) be the third derivative of -k**5/60 - k**4/24 - k**3/6 - 2*k**2. Let j be f(-1). Let t be (1 - 2) + -3 + 4. Which is smaller: j or t?
j
Let n(l) = -l + 0 + 4 + 7 - 4. Let f be n(5). Is 3 not equal to f?
True
Let a(j) = j**2 - 6*j - 6. Let q be a(7). Let f be (0 - (q + 1))*1. Let i be f/3 + 64/78. Is i greater than or equal to 0?
True
Suppose -2*x + 3*x = -4*q + 13, 2*x + 4*q - 14 = 0. Suppose 5*a = 5*b, -a = -2*b - 2 + x. Let r = -13 + 16. Is r <= b?
False
Let d = 55 - 43. Which is smaller: 11 or d?
11
Let f(k) = k**3 - 5*k**2 + 3*k - 10. Let l be f(5). Is l >= 5?
True
Let s be (4/(-3))/((-204)/(-36)). Is 0 greater than or equal to s?
True
Let k = 7 + -7.3. Let b = 72 + -76.3. Let v = b - k. Is 0 > v?
True
Let j = 0.11 + -0.13. Let q = -0.18 + j. Which is bigger: 1 or q?
1
Let h = 79 + -78. Which is smaller: h or 3/2?
h
Suppose 5*z - 126 = 14*z. Is z greater than 1/5?
False
Let q = 13/2 - 7. Suppose -s + 7 = 6. Which is bigger: s or q?
s
Let l be (-216)/40 - (-2)/1. Is -4 at least as big as l?
False
Suppose 0 = -3*g + 5 + 4. Let w = -1 + g. Let r be w + 3/(-4) - 1. Is r at most as big as 0?
False
Suppose 12 + 1 = -c. Are -13 and c non-equal?
False
Let i = 6 + -5. Suppose -3*p + 13 = i. Suppose -9 = -5*n - p. Which is smaller: 0 or n?
0
Let y(f) = f**3 - 12*f**2 + 22*f - 17. Let l be y(10). Which is greater: 5 or l?
5
Let k be (-1)/4 + (-3)/(-12). Let p = k - 1. Let v be 6/(-21) + 1 + p. Which is bigger: v or 0.5?
0.5
Let a(m) = -3*m - 6. Let c be a(-2). Suppose -2*h + 0 - 2 = c. Let p = -1 - -1. Does p = h?
False
Let a(n) = 2*n + 2*n - 2 + 2*n**2 - 4*n - n**3. Let z be a(2). Is -2 greater than z?
False
Let k = 130 + -129.9. Which is greater: k or 22?
22
Let h be 10/4 + (-3)/(-2). Let y = 8 + -8. Suppose h*v + 2*d + 14 = y, 0*d - 2*d - 4 = -v. Which is bigger: 1 or v?
1
Let z be -2 - -1 - (2 - 2). Let i be z/(-15) + 4/(-10). Let m(k) = -k**3 + 3*k**2 - 3*k + 3. Let l be m(2). Which is greater: i or l?
l
Let k be (2 + (-2)/1)/(-1). Let d be (1/3*k)/1. Are d and -6/5 equal?
False
Let v be (-4)/(-8)*(-3 + 1). Which is smaller: -68 or v?
-68
Let d(k) = k**2 - 3*k - 8. Let j be d(5). Suppose -t + 2*x = t, -4*t = -2*x - j. Which is bigger: 6/7 or t?
t
Let g = -0.009 - -6.009. Is -3/5 bigger than g?
False
Suppose 3*v - x - 5 + 3 = 0, 5 = 2*v + 3*x. Let j(o) = o - 1. Let g be j(3). Which is smaller: v or g?
v
Suppose 120*u - 139*u = -57. Let x be (1*-5)/(0 - 1). Is x at least u?
True
Let t = -404/1365 - -2/195. Which is bigger: 0.17 or t?
0.17
Suppose -32 = -2*l - 4. Let f be 4/l - (-4)/(-14). Let t be (0 - f) + 6/33. Which is smaller: t or 1?
t
Let p = 1170/53 + -110873/4876. Let z = 278/23 - 12. Let n = z - p. Which is smaller: n or -1/2?
-1/2
Let w = 25 + -24. Which is bigger: w or 1/13?
w
Let h(s) = -s**3 + s. Let y be h(-1). Is y greater than or equal to -5/8?
True
Let s = -3 + 0. Let z be ((-4)/2)/((-12)/(-6)). Which is smaller: z or s?
s
Let c = -81 - -93. Do c and 13 have different values?
True
Let j = 18 + -14. Are j and 12 unequal?
True
Suppose 2*l + 1 = l. Let a = 8 + -1. Let y be 8 - a - (l + -1). Is y > 0?
True
Suppose 2*z - 4*x = x + 17, 7 = -2*z - 3*x. Let f be 1 - 2/(-4)*-1. Which is greater: z or f?
z
Let b = -24/7 - -3. Let y(a) = -a**2 + 7*a + 2. Let w be y(7). Let u = w - 2. Is u smaller than b?
False
Let z = 2 - 5. Let w = 0 + z. Suppose -5*a - 12 = k, 5*a - k = 3*a - 9. Are a and w unequal?
False
Let c = 8.39 - 