Which is bigger: -2/5 or k?
k
Let x be 2 - 3/((-3)/(-2)). Suppose -4*b - 3*d + 34 = b, 3*d = 9. Suppose x = b*c + v - 3*v - 20, -3*v - 25 = -5*c. Is 2 greater than or equal to c?
True
Let k = -130 + 213. Are k and 81 unequal?
True
Let o = 1742/2165 + -2/433. Suppose -5*f + g + 22 = -3*g, -2*f = -4*g - 16. Is o at least as big as f?
False
Let z(h) = -6*h**2 - h**2 + 3*h**2 + 6*h + 5*h**2 + 4. Let y be z(-6). Which is greater: 5 or y?
5
Let l = 1.8 + -1.06. Let t = l + -0.8. Let k = t - 0.14. Which is smaller: k or -1?
-1
Suppose 0 = 5*y - 2*b - 9, 2*y = 3*b + b - 6. Let a = -7 + y. Let w be a/(-3) + 1 - 2. Is w equal to -1?
False
Let p(f) = -f**2 - 6*f + 1. Let o be p(-6). Suppose 3*y + 10 = -4*a, 2*a + o = 5*a - 2*y. Let j be 1 + 1/(2/(-4)). Is j <= a?
True
Let v = 4.5 + -5.7. Which is smaller: 0.1 or v?
v
Let i = -21 + 21. Is i less than 0.06?
True
Let k = 28 - 21. Which is smaller: 8 or k?
k
Let y = 0.3 - 3.7. Let a = y + -0.6. Let h = 10 + -12. Is a < h?
True
Let v be (-14)/4 - (-2)/(-4). Let u = -1/675 + -10121/2700. Which is bigger: v or u?
u
Suppose -5*g + 15 + 376 = 2*q, 3 = q. Let h be g/(-14) + (0 - -1). Is -4 less than or equal to h?
False
Let w(l) = -l**3 + 2*l**2 + 4*l + 5. Let j be w(-5). Let m be 2/(-7) + j/(-126). Is -3 greater than m?
False
Let g = 1.012 - 0.112. Which is smaller: -7 or g?
-7
Suppose -25 = p + 2*s, 4*s = -2*p + s - 47. Let n = p + 33. Let v be ((-16)/n + 1)*4. Is v bigger than 0?
False
Let x = 6.9 - 7.9. Is x > -8?
True
Suppose m = -2*i - 115, 2*i - 6*m + 85 = -m. Is -55 > i?
False
Let n(h) = -h**3 + 13*h**2 + 30*h - 1. Let f be n(15). Are f and -2/243 unequal?
True
Let y = -23.4 - -24. Which is smaller: y or -0.2?
-0.2
Let l = -1 + 3. Suppose -l = 2*s - s. Which is smaller: -1 or s?
s
Let w be (2/4)/((-12)/8). Suppose 2*c - 9 = 5*c + 3*j, -4*c + 4*j = -12. Let o be c - 0 - (1 - 0). Which is smaller: o or w?
o
Let f(s) = -s**3 - 3*s**2 - s + 2. Let t be f(-3). Suppose 3*w = -4 - t. Are -3 and w non-equal?
False
Let z(q) = 2*q**2 + 10*q - 33. Let p be z(-7). Which is smaller: p or -8?
-8
Suppose -6 = 2*w - 4. Is -1/4 bigger than w?
True
Let i = 0.18 - 0.18. Does i = -0.6?
False
Suppose t - 5*a = 10, -3*t - a + 9 + 5 = 0. Suppose -2*y + 2*q = 14, 2 = t*y + 4*q - 8. Is -3/2 less than y?
False
Let a = -107 + 101.1. Which is greater: a or -2?
-2
Suppose 259 = 3*d - 4*r - 247, 0 = 2*d - 3*r - 338. Let f = -834/5 + d. Which is greater: f or -1?
f
Let x = -3 - -2.96. Which is bigger: x or -2?
x
Suppose l + 12 = 4*l. Let k(w) = -2*w - 9. Let p be k(-6). Is p less than l?
True
Suppose o - 3*z + 1 = 0, 21 = -0*o - o - 2*z. Which is smaller: o or -14?
-14
Let d(k) = -4*k - 1. Let b be d(0). Do b and -4 have the same value?
False
Let r be 1 + ((-544)/(-5))/(-4). Let d = -26 - r. Is 0.1 less than d?
True
Let j = 0 + -3. Let d = j - -3. Suppose d*z + 5*i = -4*z - 5, z + 2*i = -5. Is 4 greater than or equal to z?
False
Let f = 472/1701 - -2/243. Which is bigger: f or 0?
f
Let r be -4 + (-1)/(1/(-2)). Let s be 6/27 + 4516/90. Let u = -1784/35 + s. Are r and u non-equal?
True
Suppose -2*w - 3*u - 3 - 3 = 0, -w + 2*u = -4. Let s = -3 - -5. Let a = s + -3. Which is smaller: w or a?
a
Let q be (3 + (-15)/6)*10. Is -1 greater than q?
False
Let l = -14/13 - -69/52. Do l and 1 have the same value?
False
Let z(g) = 2*g**3 - g**2 + 5*g + 2. Let u(x) = x**3 + x. Let f(q) = 3*u(q) - z(q). Let k be f(-2). Are -0.1 and k non-equal?
True
Suppose -3*w + 12 = -3*j, 3*j + 2*w + 7 = -0*w. Which is bigger: -40/9 or j?
j
Let s = -3/305 - 9751/915. Is s smaller than -11?
False
Suppose -5*u - 24 + 4 = 0. Which is smaller: u or -2?
u
Let s(p) = 0*p + p + 3*p + 1 - 3*p. Let a be s(-1). Suppose 5*j + 15 = 0, -2*j + a - 2 = -2*x. Which is smaller: -3/4 or x?
x
Suppose -114 = 3*s - 24. Let y be 27/s + (-2)/(-4). Is -1 less than y?
True
Let a = -13026/43 + 303. Let y = -135/86 + a. Is -0.3 at least y?
True
Let n = -42 - 41. Is n at least -83?
True
Let f = -33519/37 - -906. Is f smaller than 1?
True
Let x(j) = -j**2 - 6*j - 4. Let g be x(-5). Which is smaller: g or 2/15?
2/15
Suppose -4*f = -2*f. Suppose -3*a - 6 = f, 0 = -o - 0*a - a + 1. Suppose n - 1 = 0, -o*n + 6 = -q - 0. Is -3 bigger than q?
False
Let x be 2 - 2/(20/5). Is 2 equal to x?
False
Suppose -3*t - 11 = -2*w, -5*t - 34 - 16 = 3*w. Which is smaller: t or -8?
-8
Let s = 74/5 + -2077/140. Which is bigger: s or 3?
3
Let t(p) = -p**2 - 3*p - 3. Let x(k) = k**2 + 3*k + 3. Let f(n) = 3*t(n) + 2*x(n). Let g be f(-2). Which is bigger: -5/3 or g?
g
Suppose 0 = 2*p + c - 12, -3*p + 2*c = -0*p - 18. Let r(y) = -y**2 - 9*y - 3. Let t be r(-6). Suppose w - 2*w - 4*v = t, -2*v - 10 = 0. Does w = p?
False
Suppose 3*o = b - 0 - 9, -2*o - 11 = b. Which is bigger: b or -1?
-1
Let a = -10 + 8. Let g = -1 - a. Which is bigger: 4/3 or g?
4/3
Suppose -4*a = o - 12 - 6, a + 4*o = -3. Suppose -7*r = -3*r - 2*h + 4, -a*h = 5*r - 10. Suppose r*t + 10 = 5*t. Is 1 > t?
False
Let u(o) be the second derivative of 1/3*o**3 + 0 + 9/2*o**2 - 2*o. Let p be u(-7). Which is smaller: p or -4?
p
Let l be (0 - 3) + 2 + 30/39. Are -1 and l non-equal?
True
Let n = -59 + 79. Is n bigger than 20?
False
Let n be (-336)/9 - 4/6. Let u be (-348)/9 + 3/9. Let i = n - u. Which is smaller: i or 0?
0
Let c = 13.966 - -0.034. Does -1/4 = c?
False
Suppose -v + 5*p = p - 17, -3*v - 2*p = 19. Which is bigger: v or 5?
5
Let a = 0.7 + -17.7. Let z = a + 14. Do -1/4 and z have different values?
True
Suppose -3*n = -5 + 41. Let d be (2 - 1)*72/n. Is -5 != d?
True
Let a = -12/19 - -74/57. Is -2/21 at most a?
True
Let x be (-12)/(-105) - (-2)/(-5). Let d(a) = a**2 - 5*a + 5. Suppose -4*i = -25 + 9. Let b be d(i). Which is smaller: x or b?
x
Let c(v) = -v - 2. Let u be c(-6). Suppose u*a - 2 = 2. Which is smaller: -2/11 or a?
-2/11
Let g(s) = 4*s**2 - s - 1. Let i be g(-1). Suppose -i*n - 2 = 2. Which is greater: -2/9 or n?
-2/9
Let d(o) = -o**3 + 5*o**2 - 5*o + 4. Let u be d(4). Let k(y) = y**3 + 4*y**2 + 2*y - 2. Let n be k(-2). Suppose -n*x - x = u. Is 0 at least as big as x?
True
Let o = -112.2 + 122. Let y = -10 + o. Which is smaller: y or 2?
y
Let z be -2*1 - (1 + 0). Let y be (-1)/(-4) - (1012/(-48))/(-11). Is z greater than y?
False
Let d = 5 - 5.3. Is 5 less than or equal to d?
False
Let a = -24 + 26. Which is bigger: a or -8?
a
Let n = -1.02 + 0.02. Let z = -6 - n. Is z >= 0.1?
False
Suppose 3*d = -5*n - 3 - 7, 3*d = n + 20. Which is bigger: d or 7/2?
d
Suppose 2*l + 3*l = 95. Suppose -4*y - 4*p = p + l, 0 = 4*y - 2*p - 2. Let d = 1/16 - 21/80. Is y smaller than d?
True
Let k be 0/(1/(2/4)). Let y be 2 + k + (-32)/12. Let c be 6/(-10) + 8/(-20). Do c and y have different values?
True
Let c be 5 - (-2 - (-265)/37). Is -1 not equal to c?
True
Suppose 3 = -2*c + 1. Let h be 33/(-6)*(-4)/7. Let u = 25/7 - h. Is c less than or equal to u?
True
Let s be (7/35)/(3/(-75)). Suppose 4*w - 4*k = -16, -3*w + 3*k = k + 8. Let h = -5 - w. Is h <= s?
True
Let x be (1 - 1) + 1 + 3. Let l be 2/4 - 2/x. Suppose l = 2*o + 8. Which is smaller: -3 or o?
o
Let s(o) = -4*o. Let a be s(-2). Let k be (4/16)/((-15)/a). Which is bigger: -1 or k?
k
Let h = -4 - -8. Which is smaller: h or 3?
3
Let z = 15 - 14. Is -1/3 less than z?
True
Suppose -4*d = -5*r - 150, -5*d + 2*d - 90 = 3*r. Let s = -42 - r. Which is smaller: -13 or s?
-13
Suppose 4*j + j = 0. Let s(q) = q. Let a be s(j). Let h be (-2)/(-6)*3*1. Which is bigger: h or a?
h
Let y be 12/2 - (5 - 3). Let j = 4 - y. Suppose -3*g = -j*g. Which is bigger: -2/9 or g?
g
Let j = -133 + 68. Does j = -65?
True
Suppose -7 = -2*u - i, -u + 0*i + 1 = 3*i. Suppose 4*o + 20 = -2*a, a = -u*o - 5 - 15. Let y be -1*2/(a - -2). Which is greater: 1/7 or y?
1/7
Let m be 2 - (195/6 - -2). Let f = 32 + m. Suppose 11*q - 7 = -29. Which is bigger: f or q?
f
Let j be 6/33 + (-1)/(-25). Let b = j - 1/25. Is b less than or equal to 0?
False
Let i = -18 - -557/31. Which is smaller: 0 or i?
i
Suppose -t - 12 = -4*t. Suppose -5*p - t - 5 = y, 4 = -y. Let i be (-2)/(p*10)*-1. Which is bigger: i or 1?
1
Let l = 0 + 0. Suppose -2*j = 3 + 1. Is l at least j?
True
Suppose -5 = -2*o + 3. Let m = -7 + o. Which is greater: 1 or m?
1
Let s(n) = -3*n**3 + n. Let g be s(1). Let i be (g - -3) + (-17)/15. Suppose 0 = -3*x - 2*x. Which is greater: i or