ch is smaller: k or x?
k
Let w = 6 - 13. Suppose 4*c - 5 + 2 = 3*m, 3 = 5*c - 4*m. Let u = 2 - c. Which is bigger: u or w?
u
Let l = 666/7 + -95. Is -2/17 at most as big as l?
True
Suppose -3*t = -2*t + 2. Let y(f) = -2*f - 3. Let z be y(t). Are -1 and z unequal?
True
Let p = -1 - -3. Suppose p = -3*w - 1. Let o be 1 + w - (-8)/(-20). Is -1 at least o?
False
Suppose -q + 1 = 5*o - 3, o + 4*q + 3 = 0. Let m(w) = w - 2. Let n be m(2). Which is greater: n or o?
o
Let u = 36.8 + 0.2. Is 2/11 > u?
False
Let p = 9 + 0. Is p smaller than 10?
True
Let f be ((-7)/14)/(26/4). Which is bigger: -1 or f?
f
Let y be (-6)/39 - (-60)/52. Which is smaller: y or -2/7?
-2/7
Let h = 15 - 15. Let v be (-70)/(-12)*(-1)/(-7). Which is bigger: v or h?
v
Let d(b) = -3*b - b**2 - 4 + 3*b + 6. Let c be d(2). Which is smaller: -5 or c?
-5
Suppose -5*n - 2 - 28 = 0. Let f be 2/n*6/4. Let j = -0.5 - -1. Which is smaller: j or f?
f
Suppose 5*g = -5 + 30. Suppose g - 4 = -q. Is 3/7 greater than or equal to q?
True
Suppose 23 = 2*n + 5*o - 0*o, -o + 2 = 3*n. Are n and -3/65 unequal?
True
Suppose 0 = 5*m - o - o - 102, -18 = -m - 2*o. Let i be (m/4)/(1 + 0). Let f(b) = b**2 - 5*b + 1. Let h be f(i). Which is smaller: h or 0.05?
0.05
Let z be 44/10 + 6/(-15). Suppose 4*l - 13 - 11 = -z*y, l + 5*y - 26 = 0. Let b = -3 + 3.2. Do b and l have the same value?
False
Let k be (-8)/(-4)*(0 + -1). Let j = -3 - k. Suppose 0 = -3*g + 4*n + 2 + 18, 25 = g - 5*n. Is j not equal to g?
True
Let n be -1 - 1 - 7/(-1). Let s be 1/((5/(-2))/n). Which is smaller: -3 or s?
-3
Suppose 0 = -9*p + 4*p - 15. Suppose 3*u = -17 + 8, -5*f + 4*u + 17 = 0. Is p > f?
False
Let m = 7 + -12. Let r(v) = v + 1. Let z be r(m). Is -2 bigger than z?
True
Let j = -15 + 13. Let x be 2/3 - (-10)/3. Which is smaller: x or j?
j
Suppose -m = 2*m + 21. Let g be (-24)/3*1*-1. Let o = g + m. Which is smaller: o or -2/7?
-2/7
Let n = 20.67 + 0.33. Let f = -20.9 + n. Which is greater: f or -0.12?
f
Suppose -5*i + 3*i + 6 = 0. Suppose -i = -3*z + 4*l, -3*z = 4*l - 2*l + 15. Is z > -4?
True
Suppose -3*x + 4 = -2*u + x, 0 = 2*u - 5*x + 8. Which is bigger: 7 or u?
7
Let v = -3 + 3.2. Let x be ((-2)/(-4))/(2/(-93)). Let w = -23 - x. Which is smaller: v or w?
v
Let s(w) = -w**2 - 8*w - 1. Let o be s(-7). Suppose -n = -o*n. Do n and 1/10 have the same value?
False
Suppose 6*i = 2*i. Let z(s) = 5*s - 2. Let h be z(2). Let p = h + -42/5. Is p > i?
False
Let u = 1928/7 + -276. Which is smaller: 0 or u?
u
Let a = -10 + 10.11. Let t = a - 0.01. Which is smaller: -6 or t?
-6
Let q = 147/290 + -1/145. Is q not equal to -4?
True
Let a = -13/305 + 6296/305. Which is greater: 20 or a?
a
Let g = 2/51 + -7/34. Which is bigger: 0 or g?
0
Let x(k) = -k**3 + k**2 + k + 2. Let a be x(2). Which is smaller: a or 1/24?
a
Suppose 3*z + 2*c - 4 = -z, 0 = -z - c + 3. Let w = 9/2 - 49/10. Which is smaller: z or w?
z
Suppose -5*v = -3*v - 8. Let a = v - 6. Let k be -6*((-141)/(-45) + -3). Are k and a non-equal?
True
Let c be -6*(-33)/12*2. Let r = c + -19. Suppose 0*g = -5*k + g + r, 0 = 2*k + 2*g + 4. Is k smaller than -1/4?
False
Let b = -1.7 - -10.7. Let o = -45 - -35. Let u = o + b. Is -0.2 greater than u?
True
Let s = 25 + -25. Is 4/7 equal to s?
False
Let u(x) = x**3 + 8*x**2 - 2*x - 16. Let w be u(-8). Which is smaller: w or -6/55?
-6/55
Let j = -3 + 5. Suppose 26*p - 2 = 24*p. Is j at most as big as p?
False
Suppose -3*r - 9 = -3*g, -g + 3 = r - 0. Let b be 3/12*6*2. Let w = g - b. Do w and 0 have different values?
False
Let d = -41/5 - -37/5. Is d less than or equal to -1?
False
Let t = 2 - 1. Let a be (1 + t)*2/(-32). Which is bigger: a or -0.1?
-0.1
Let x = -6 + 6. Let g be (4/14 + x)/1. Let q = 3 + -2. Is g > q?
False
Suppose -229 = -16*j + 12*j - b, -b = 2*j - 117. Which is bigger: j or 55?
j
Let b = 0.07 - -0.03. Which is smaller: b or 7?
b
Let f be (5/10)/(2/120*1). Is f not equal to 31?
True
Let h be 2/57*6/(-2). Let d be (0/2)/5*2/4. Is d at most as big as h?
False
Let r = 0.1 + 0. Let j(h) = h**3 - 5*h**2 + 2*h - 1. Let z(p) = p**2 + 1. Let m(c) = -j(c) - 2*z(c). Let o be m(2). Which is greater: r or o?
r
Suppose -2*u = -u + 10. Let p = u + 13. Suppose -3*w + 0*w + p = 0. Is 1 < w?
False
Suppose 0 = -z + 5*z + 4. Is -6/25 >= z?
True
Suppose 5*k + 2 - 31 = 4*y, -4*y - k = -1. Let o be (-3)/y*4/(-12). Are -1 and o equal?
True
Let a be (-2)/(-5) + 68340/(-170825). Let v = 539871/1093280 + a. Let b = -3/32 + v. Which is bigger: b or -1?
b
Let c = -15 - -18. Suppose -5*x = c*i - 11, -i = 4*i - 10. Is 4/19 at most x?
True
Let b(h) = -5*h - h**2 + 0*h**2 + 4 - 7 + h. Let x be b(-3). Which is smaller: 6/11 or x?
x
Let l = -25 - -24. Let d = -14.1 - -3.1. Which is smaller: d or l?
d
Let y(j) = 2*j - 4. Let c = 1 - -2. Let k be y(c). Let g be ((-6)/(-4))/(3/k). Do 1 and g have the same value?
True
Let w(j) = 3*j + 3. Suppose 0*r = 5*r + 10. Let i be w(r). Let q be 4 + i + (-2)/6. Is q greater than or equal to 0?
True
Let d(t) = -3*t - 4. Let x be d(-5). Suppose -4*q + 10 = a + a, 5*a = -3*q + x. Let f(p) = p**2 - 6*p + 5. Let w be f(5). Which is greater: a or w?
a
Let w = -2/110637 - 161419363/1106370. Let s = w + 146. Which is smaller: 1 or s?
s
Let a be (-2)/6*6/(-36). Is 1 greater than or equal to a?
True
Let q = 1 - 3. Suppose 4 = -3*d + 1. Is q > d?
False
Let y be (-3)/(5 + -2) + 8. Let w(f) = f**3 - 6*f**2 - 6*f + 7. Let q be w(y). Suppose -2*r - 4*m - q = -0*r, 5*r + 5*m = -10. Are 2 and r equal?
False
Suppose -3*o + 33 - 24 = 0. Let v be o/6*20/5. Which is smaller: 1 or v?
1
Let l be (-3)/24 + 1 + -1. Let b be (-72)/(-6)*1/2. Let n(z) = -z**2 + 6*z. Let a be n(b). Which is smaller: l or a?
l
Let v be -3*(-5 + 0 + 2). Suppose -2*r + 3*r = -v. Which is smaller: -8 or r?
r
Let t(h) = 2*h + 3*h**2 + 8 + 4*h**2 + 0*h**2 - 2*h**2 - h**3. Let w be t(6). Are w and -16 non-equal?
False
Let v = -178 - -1421/8. Which is smaller: v or 0?
v
Let r = 2 + -2.3. Let w = 48 - 54.8. Let q = w + 7. Which is smaller: r or q?
r
Let x = -1.7 - -1.7. Which is greater: 0.4 or x?
0.4
Let s = -2 - -4. Let z(u) = 2*u + 16. Let q be z(-6). Is s equal to q?
False
Let o = -14 + 14. Is o > 0?
False
Let v be 14*(1 - 2)/2. Let b(j) = -j - 9. Let z be b(v). Let q = 58 - 176/3. Which is bigger: q or z?
q
Let p = -1 + 2. Let r = 4 - 4. Suppose 0 = -r*i - 2*i. Which is smaller: p or i?
i
Let n be 3/(-12) - 68/(-16). Which is bigger: n or 3?
n
Let h = 19 - 15. Suppose -4*r - 4*i - 12 = 0, -h*r - r + 2*i - 1 = 0. Is -10/9 not equal to r?
True
Let b be 16/20 - (-9)/(-30). Is b bigger than 2?
False
Suppose q + 2 = -5. Which is bigger: q or -6?
-6
Let u be (6/(-3) - 14)/(-1). Is 16 at most u?
True
Let d = 0.04 - 6.04. Let o = d + 4. Let i = 2.2 + o. Is -0.1 bigger than i?
False
Suppose -18 - 6 = 3*j. Let m = 38 + -36.1. Let s = m - 1.8. Is j greater than s?
False
Suppose -3*s - 2 = 3*w + 4, 8 = 2*w - s. Let g be (0 + 1)*(-1)/w. Let u = -2 - -1. Which is smaller: u or g?
u
Let g = -5 - -4.97. Which is bigger: g or 1/2?
1/2
Let x be ((-3)/1)/(6/(-4)) - 2. Which is greater: x or -2/195?
x
Suppose 3*p + 4 = 5*p. Let m be 5/33 - p/(-11). Which is greater: m or 0?
m
Let i be ((-1)/(-2))/((-18)/(-8)). Let o be 274/(-28)*-5*4. Let g = o - 196. Which is smaller: g or i?
g
Let k be 18/210*7*(-5)/(-7). Which is bigger: k or 5?
5
Let u = -80 - -77. Let w(z) be the first derivative of z**4/4 + 7*z**3/3 + 3*z**2 - 3*z - 1. Let g be w(-6). Is g equal to u?
True
Let d = 1/20 + -1413/10. Let g = d + 142. Let l be (0 - 8/14)/2. Is g at least l?
True
Suppose 3*c + 2*i - 38 = -0*c, 3*c = -i + 43. Is c at most as big as 16?
True
Let n be (-35)/(-55) - 2/3. Is -1 != n?
True
Let i = -350 - -1737/5. Which is bigger: i or -1?
-1
Suppose -2*w - 9 = w. Let o = 2 + w. Let i = 2/3 - 4/3. Which is smaller: o or i?
o
Suppose 0 = -10*u + 14*u + 4. Let b be (3/(-6))/(1/2). Let j = 1 + b. Which is smaller: u or j?
u
Suppose -4*s - 5 - 27 = 0. Which is bigger: s or -28/3?
s
Let p = -65 + 65. Let k = 2 - 3. Is p <= k?
False
Let h = 0 - -15. Let m = -12 + h. Is m greater than 3?
False
Let b = 15 + -17.6. Let l = b + 0.6. Let z be (3 + -1)/(0 + -5). Is l greater than z?
False
Let t = 0.42 - 0.4. Let o = 0.12 - t. Which is smaller: o or 2?
o
Let o(z) = z**2 + 5*z + 1. Let w be o(-4). Let v = -6 + 4. Is v at least w