is smaller: k or u?
k
Let w = 16 - 11. Let z = w + -3. Suppose -8 = -p - p, 4*q + 4 = 4*p. Which is smaller: q or z?
z
Let y be (1/2 + 1)*-10. Let r be (-8)/(-20) - (-3)/y. Suppose -4*u = -0*u. Is r less than u?
False
Let n = -74.9 - -75. Which is smaller: 7 or n?
n
Let z be (-135)/(-42) + (-9)/(1 + 2). Which is greater: z or 1?
1
Let d be 42/18 - 2 - (-38)/3. Which is greater: 11 or d?
d
Let y = 8 + -4. Suppose -c + y*c = 0. Let x be -4 - 0/(c + -2). Is -3 at least x?
True
Let d = -1 - -0.8. Is d smaller than 11/5?
True
Let v = 3 - 9. Let y be 5/(-12) + 2/v. Are -2 and y nonequal?
True
Suppose -3 - 13 = -2*x - 4*u, 4*x = 5*u - 33. Let y be (-45)/(-12) + -1 + x. Are 0 and y equal?
False
Let l = -0.51 - -0.41. Let c = 12.2 - 6.6. Let g = 6 - c. Which is smaller: l or g?
l
Let g be ((-10)/(-8))/(4/16). Suppose 16 = -3*b - g*u, -3 = 2*b + u - 4. Let j = 15 - 11. Which is greater: j or b?
j
Suppose -5*h - 22 = v - 0, -4*h - 22 = 3*v. Let a = h + 4. Suppose -1 = -f - a*f. Which is greater: 1/4 or f?
f
Let q = -6 + 2. Let p = q - -4.4. Which is bigger: p or 2/7?
p
Let k = 61 + -80. Which is bigger: k or -17?
-17
Let g = -0.9 - -1. Let i = 9 - 7. Which is smaller: i or g?
g
Let m be -2 - (-2 + 6 + -6). Suppose -4*j + 2*w - 14 = m, -2*j - 50 = 3*j + 4*w. Is j greater than -4?
False
Let g = 10 + -2. Let q be (-3 + -1)*4/g. Is q not equal to -3?
True
Let m(n) = -11*n + 5. Let y be m(-7). Is y at most 80?
False
Let k = 64 + -62. Which is bigger: k or 5?
5
Suppose 3*x = 2*w + 16, -w + 0*w + 2 = x. Which is greater: w or -2/15?
-2/15
Let c = 1.03 - 1. Is c >= 1?
False
Let j(r) = r**3 - 5*r**2 - 6*r. Let t be j(6). Suppose 2*z + t = 6. Is 3 != z?
False
Let k = 17 + -13. Suppose 2*o = b - 1, b - k = o + 4*b. Which is smaller: o or -6?
-6
Let n(w) = -w**3 + 6*w**2 - 6*w. Let b be n(4). Is b smaller than 6?
False
Let s = -356092994/650484625 + -1/743411. Let u = -3/125 + s. Which is greater: u or -2?
u
Let b be 3/9 - (-88)/6. Suppose 3*l - b = -4*j, 2*j - j + 1 = 4*l. Do l and -1/12 have the same value?
False
Let r be ((-17)/(-2))/((-5)/10). Is -18 >= r?
False
Let q(s) = s**2 + 6*s - 8. Let x be q(-7). Let g be -2*(-5 - (x - 2)). Suppose 5*m - 3*m - 5*j - 21 = 0, 12 = g*m - 4*j. Is m bigger than -3?
True
Let r(c) = 5*c**2 + 21*c - 16. Let t(y) = -y**2 - 4*y + 3. Let p(q) = -2*r(q) - 11*t(q). Let j be p(-2). Which is smaller: j or -1/13?
j
Suppose -2 = 2*d - d - 3*y, -2 = -5*d + 3*y. Let k = -4.05 - -5. Let c = -1 + k. Which is smaller: c or d?
c
Let d = -1 - -9. Let y = 0 - -3. Suppose -d = 5*f - y. Which is bigger: 1/3 or f?
1/3
Let r be -1 - ((-6)/(-4))/((-88)/48). Let u(z) = -z + 1. Let k be u(0). Is k at least r?
True
Suppose 4 = -8*o + 4*o. Is -4 greater than or equal to o?
False
Let f(l) = -l**3 - 3*l**2 - 2*l + 1. Let u be f(-2). Let t = -2 + u. Suppose -2*b = 4*j + 18, 0*b = j + 4*b + 22. Which is smaller: t or j?
j
Let k = -13537/5 + 2760. Let q = k + -3409/65. Is q greater than 1?
False
Suppose -5*y + 2 = t - 2, 0 = 4*t - 16. Suppose 2*b - 8 = -y, -4*c + b + 1352 = 0. Let n = -1702/5 + c. Is -2 greater than n?
False
Suppose -3*l - 2*l + 65 = 0. Let o = -7 + l. Suppose 30 = 3*u - 4*i, -3*i + i - o = 0. Is u smaller than 6?
False
Let w = -37 - -11. Let k = w + 17. Are k and -9 equal?
True
Let z(u) = -u**3 - 2*u**2 + 11*u + 8. Let f be z(-4). Let c be ((-2)/(-4))/(1/2). Let h be (c + 3)/(-2) + -2. Is h greater than or equal to f?
True
Suppose -q + 20 = 4*q. Let d be 7/((-2)/q*-2). Which is smaller: 3 or d?
3
Let w = -11 + 10.8. Is 7 at least w?
True
Let y(g) = -g**3 + 9*g**2 - 5. Let w = 5 + 4. Let k be y(w). Is k smaller than -3?
True
Let p(s) = -s - 2. Let j be p(-6). Suppose x - 4*k + 2 = 0, -x = -5*k - 3 + 7. Suppose x*m - j = 2*m. Which is greater: m or 0?
m
Let p(k) = k**3 - 5*k**2 + k + 14. Let j be p(4). Which is smaller: 8 or j?
j
Let z be -6*(10/(-6))/5. Suppose 2 + 4 = -z*g. Is g at most as big as -2?
True
Suppose -3*k - 7 = -31. Let y be (4/k*12)/(-1). Is y less than -6?
False
Let l = 16.902 + 0.098. Which is bigger: l or -2/3?
l
Let j(s) be the second derivative of -s**5/20 + s**4/6 - s**3/6 - s**2 - 2*s. Let g be j(2). Let q be (-2)/6*36/g. Is 4 > q?
True
Let z = -85473/65 - -1315. Which is greater: z or 0?
z
Let k(c) = -c - 20. Let y be k(0). Let q be -1 - (1 - y/(-13)). Which is smaller: 0 or q?
q
Let w(p) = p**3 - 6*p**2 + 6*p - 4. Let t be w(5). Let a = -6 + 3. Let s = a + 4. Is s at least as big as t?
True
Let p be 30/50 - 78/5. Are -16 and p non-equal?
True
Let y = -4 - -6. Let o be -7*8/(-28)*1. Let c be (1/y)/((-1)/o). Which is greater: 1/3 or c?
1/3
Let d be (-40 + 13)*2/(-6). Is -2/7 < d?
True
Let f = 991/22 - 89/2. Let g = 6 - 4. Is f at least as big as g?
False
Let h be 2/(-2) + (4 - -2). Suppose -h*z + 12 = -z + 4*j, 2*j - 12 = z. Which is smaller: -1 or z?
z
Let d = 35 - 0. Is d not equal to 35?
False
Suppose 3*h - 4 = -1. Let y be (-34)/(-32) - (0 + h). Is y less than or equal to -1?
False
Let f = -26 + 25.9. Let u = 0 - 2. Let h be 16/(-6) - u - -1. Is f less than or equal to h?
True
Let d be (-10)/(-20)*(-288)/(-22). Is 8 > d?
True
Let w be 25/(-10)*8/50. Which is bigger: 30 or w?
30
Let g be (3328/(-36))/(3 - 1). Let t = -46 - g. Which is smaller: t or -1?
-1
Let c(f) = f**2 - 2*f + 3. Let v be c(3). Suppose v = -5*n - 4. Which is smaller: -1/2 or n?
n
Let q(k) = -k**2 - k + 3. Let r be q(0). Let w be 1/3*r + -1. Which is bigger: w or 1?
1
Let w(y) = y**2 - 10*y. Let i be w(9). Which is bigger: i or -5?
-5
Let y(p) = -10*p - 5. Let j be y(-1). Is j bigger than 24/5?
True
Let g be 21/(-3) + (-2)/(-1). Let v be (-8 - g) + 38/14. Which is bigger: v or -0.03?
-0.03
Let d = -0.19 + 0.29. Which is smaller: -18 or d?
-18
Let z(x) = -x. Let v be z(-6). Let k be (-2)/v*9/(-2). Is 1 > k?
False
Let j be (12/54)/((-5)/(-12)). Is 0 bigger than j?
False
Let z(j) = 19*j**3 - j**2 + j + 1. Let q be z(-1). Let h be ((-2)/3)/(q/6). Is 1 at least h?
True
Suppose -4*y = -2*p - 10, -y + 5*p + 5 = 4*p. Suppose 0 = 2*t - 6 - y. Are t and 2 non-equal?
True
Suppose -5*u + w - 9 = -24, 0 = 5*u - 4*w - 30. Suppose 0 = -4*d - 4*x - 16, 0 = -4*d + u*x + 8 + 6. Suppose 0 = -4*z + 5 - d. Which is greater: 0 or z?
z
Let j be 1140/45 - (-2)/3. Which is smaller: 27 or j?
j
Let b be (-2)/175*-5*-5. Which is smaller: 2 or b?
b
Let d be (3 + 30/(-8))/(30/16). Is d at most as big as -21?
False
Let p = -68 - -41. Let j(r) = -r**2 - 2*r - 3. Let x be j(-3). Let i be p/(-24) - x/(-4). Which is smaller: i or 2?
i
Suppose -3*m = -3*j + 60, m = -3*j - m + 55. Which is greater: j or 20?
20
Let k(j) = j**3 - 3*j - 2. Let u(x) = -2*x**3 + 5*x + 3. Let h(b) = -5*k(b) - 3*u(b). Let d be h(1). Suppose 0 = -2*r - d*r - 12. Is r <= -2?
True
Let z = -7 - -9. Let q be (-2 + 1 - -1)*-1. Suppose -z = -2*j - q. Is -1 greater than or equal to j?
False
Let i = -180 + 181.94. Let q = -0.06 - i. Are q and 0.1 unequal?
True
Suppose -3*n = -5*n + 6. Let i be (n - 0) + 3 + -6. Is i > 1?
False
Let q = -10 - -12. Let b(r) = -6*r**2 - 2*r - 1. Let a be b(-1). Let w be (-2)/a - 2/30. Which is smaller: w or q?
w
Suppose 0 = 2*i + 8 - 6. Which is smaller: -2/11 or i?
i
Suppose -9 = -3*r - 3. Is 0.7 != r?
True
Let h = 137 + -135. Which is greater: 8/9 or h?
h
Let l = 5.7 - 6. Let j = 1.964 - -0.036. Is j at least as big as l?
True
Let o = -117 - -703/6. Is -4 bigger than o?
False
Let y = -3 + 2.93. Which is smaller: y or 2?
y
Let t = -0.19 + 0.35. Let a = -0.26 + t. Which is smaller: -1/4 or a?
-1/4
Let g(l) = 2*l**3 + 2*l**2 - 2*l + 1. Let q be g(-2). Which is smaller: q or -7?
-7
Let l = 0.83 + 0.07. Let i = 0.1 + l. Which is bigger: i or 0.12?
i
Let r = 0.6 - -4.4. Let g = r - 4.9. Which is bigger: g or 2/7?
2/7
Let c(h) = -2*h**2 - h. Let f be c(-1). Do -4/3 and f have different values?
True
Let u = 4 + -6. Suppose c - 8 = -c. Suppose c*k = -20, 0*i - 3*k = 4*i + 27. Are i and u equal?
False
Let d = 25/2 + -49/4. Let v = -119 + 182. Let u be (-3)/v - (-2)/(-7). Is u bigger than d?
False
Let a = -5.1 - -5. Let f = a - 0.2. Let p = f - 3.7. Which is smaller: -0.2 or p?
p
Let f be (1/(-4))/(4/(-16)). Is f greater than -2/31?
True
Let k be ((-16)/(-12))/(2/(-3)). Which is greater: k or -16/5?
k
Let s be (-4)/(-20) - (-57)/15. Let v be (-2)/(-6)*21/(-14). Which is greater: v or s?
s
Let 