 j(0). Which is greater: u or o?
u
Let n = 2 - 2.1. Is 0.4 greater than n?
True
Let u be (-9)/(-27)*(-3)/(-1). Which is smaller: 3/5 or u?
3/5
Suppose 4*y + 10 = 2*g, 2*y + 20 = -0*y - 4*g. Let n be y + 0*2/(-4). Is -4 > n?
False
Let s = -97 - -473/5. Is -3 > s?
False
Let u(m) = 3*m - 3. Let k be u(5). Let a = 5 + -2. Suppose -a*j + 15 = -3*b, -2*b - k = -5*j + 7. Which is greater: j or 4?
4
Let i(z) = z**2 - 4*z**2 + 3*z**2 + z**3 - 2*z + 3*z**2 + 3. Let f be i(-3). Is f equal to 8?
False
Let l = 76/7 + -656/63. Which is greater: 0 or l?
l
Suppose 5*a = -0*a + 4*f - 1, 4*a = 3*f. Which is smaller: a or 5/2?
5/2
Let r(i) = i**2 - i. Let j be r(-2). Is j less than 7?
True
Let u = 5774/23 + -251. Let i = 108/161 + u. Which is bigger: i or 2?
2
Let j = -5 + 5.2. Is j not equal to 0?
True
Let w(p) = p**3 + 7*p**2 - 7*p + 7. Let i be w(-8). Is i smaller than -2/59?
True
Let c = 4/25 + 151/150. Which is smaller: c or 0?
0
Suppose -13 = -4*w + 11. Let z(d) = d**2 - 5*d - 6. Let u be z(w). Suppose u = 6*f - 2*f. Which is bigger: 2/11 or f?
2/11
Let n be (-133)/(-42)*(1 - -1). Let v = -7 + n. Which is bigger: 0 or v?
0
Let s(j) be the third derivative of j**4/24 + j**3/6 - 3*j**2. Let m be s(-2). Let p(w) = -w - 4. Let t be p(-4). Is m < t?
True
Let o be (0 - -1)/((-2)/(-18)). Which is greater: 6 or o?
o
Let j = 1014/2455 + -4206898/7308535. Let h be 1 + 1 + (-912)/458. Let c = j + h. Are c and -1 equal?
False
Let q(f) = f + 3. Let s(j) = 4. Let d(y) = -y. Let a(b) = -d(b) + s(b). Let t(k) = -3*a(k) + 2*q(k). Let x be t(-7). Do -1/9 and x have the same value?
False
Let n = 39 - 66. Let d be n/(-30) - (-6)/(-15). Is d > -5?
True
Let w = 1058/11 - 96. Let q = -1416918/77 - -18402. Let z = w - q. Which is greater: 1 or z?
1
Let l = 4.47 - 0.07. Let u = 0.4 - l. Which is bigger: 2/3 or u?
2/3
Suppose -7*o = -6*o + 1. Which is smaller: -2/5 or o?
o
Let g = -10 - -8. Suppose 2*d = -2*d - 56. Let o be (-10)/(-35) - (-18)/d. Which is bigger: g or o?
o
Let o = 2.81 + -4.8. Let a = o + -0.01. Is a at most as big as 1?
True
Let r = 29.2 - -6.8. Let w = 38.7 - r. Let y = 3 - w. Is -1 at most as big as y?
True
Let z(h) = -h**2 + h + 2. Let c be z(2). Which is bigger: -1 or c?
c
Let i(k) = -k**3 - 9*k**2 - 5*k + 27. Let x be i(-8). Is x greater than 13?
False
Let t = -4 - 0. Let y = -14 + 13. Let a be (6/t)/(y/(-2)). Is -1/2 at most a?
False
Let y = 118.4 - 118. Is 0 at least as big as y?
False
Let n = -923/18 + 103/2. Let j = 4 - -4. Let b be (2 - 1) + -10 + j. Which is smaller: n or b?
b
Let a = -27 - -50. Which is smaller: 21 or a?
21
Suppose -3 + 1 = -2*n. Let t be n + (-5)/3 - -1. Is 2 at most as big as t?
False
Let f(u) = u**2 - 6*u - 10. Let r be f(10). Suppose 2*j + r = -2*c, 5*c - 5*j = -j - 66. Let l be 18/c + (-4)/(-14). Which is smaller: -1/11 or l?
l
Let y(t) = -t**3 - 5*t**2 - t - 7. Let h be y(-5). Is h greater than or equal to -6?
True
Let y = -2 - -1. Let p = -12 + 18. Let x be p/(-12)*(-4)/(-1). Which is smaller: x or y?
x
Suppose 0*h - 18 = -4*o + h, -5 = -3*o + 5*h. Suppose x = o*x. Which is smaller: 6/13 or x?
x
Let y(z) = z**3 - 12*z**2 + 5. Let n be y(12). Suppose 2*i + 4 = 2*x, -2*x + 20 - 7 = -n*i. Is -1 smaller than x?
False
Let h be 21*((-10)/6 + 1). Is h <= -3?
True
Let s be (-132)/(-168) + (-4)/14. Are s and 0.053 non-equal?
True
Let z be (32/280)/((-2)/5). Do -7 and z have different values?
True
Let l = -7 + 7. Let m = 37 + -36. Is l greater than m?
False
Let k = -22 + 12. Which is greater: -11 or k?
k
Let v = -7 - -10. Is v >= 0.1?
True
Suppose -t - 3*t - 2*i - 8 = 0, 3*t = i - 1. Let z be (-2)/((-9)/(-3)*t). Is z at least 2?
False
Let p(b) = -b + 1. Let r be p(-2). Suppose -9 = -3*k - 0*k. Suppose -k*t + 3 + 6 = 0. Is t less than or equal to r?
True
Suppose -s + 16 = 3*s. Let x be (0 + (-2)/s)*-12. Let k be (-9)/(-6)*10/x. Which is greater: k or 4?
4
Let c(f) = -f - 14. Let d(g) = 1. Let w(i) = -c(i) - 6*d(i). Let m be w(-9). Is m at least -2/11?
False
Let d = 31 + -30. Is 1/40 less than d?
True
Let a = -0.15 + -6.05. Let r = 6 + a. Is -0.1 at least as big as r?
True
Let w = -22 - -16. Let q = w + 5.97. Which is smaller: q or 2/9?
q
Suppose 15 = 3*u - 6. Which is smaller: u or 5?
5
Let j = 9 + -6. Suppose 5*c = 2*m + 13, j*m - 4*m + 4*c - 11 = 0. Which is greater: -1 or m?
m
Let x be 1 + -10 + 1 + 2. Let y = x - -4. Let a = 6 + -8. Is y smaller than a?
False
Let v = 6 - -2. Suppose 4*c = 7*c + 5*d - 6, 2*c = 2*d - 12. Let a = c + v. Is a greater than 5?
False
Let n = -1730/9 + 192. Let c = 0.7 + -0.6. Which is bigger: c or n?
c
Let p = 7 - 0. Suppose 2 = 5*n + 2*l - 7, -2*l = 3*n - p. Is n at most as big as 2?
True
Let g = 27 + -33. Which is smaller: -3 or g?
g
Let n = -15 - -8. Let p = 11 + n. Suppose -8 = 3*s - 5*x, p*s = 3*x + 2*x - 9. Which is smaller: -3/5 or s?
s
Let x(g) = 2 - 3*g - g**2 + 2*g - 2*g**3 + g**3. Let f be x(0). Suppose 3*c = 3*y - f*c - 23, 4*c = 5*y - 21. Which is smaller: y or 2?
y
Let s = -106 - -105.9. Which is bigger: s or -0.5?
s
Let w = -0.3 + 0.3. Let j = 2 - w. Let s = j - 0. Is 1 at most s?
True
Suppose -3*d - d = 4. Let v be (2 - 1) + 0/(-3). Let y = d + v. Which is smaller: 1 or y?
y
Suppose -o = -1 - 4. Suppose 0 = 4*g + g - o. Which is bigger: g or 1/2?
g
Let j(p) = p**3 - 2*p**2 - 2*p + 3. Let a be j(3). Let k(q) = -q**3 + 5*q**2 + 3*q - 7. Let b be k(5). Let z be b/(-12)*a/(-4). Which is greater: -2/15 or z?
z
Let f = -6 - -5.96. Let o = f + 0.14. Which is smaller: o or -10?
-10
Let p be (5 - 4)*(-2)/(-19). Which is greater: -1/3 or p?
p
Let a = -187 + 3181/17. Let n be (9/6)/((-1)/2). Let v = -3 - n. Is a > v?
True
Suppose 5*x = 2 + 8. Suppose x*d = -2*d - 28. Which is smaller: -6 or d?
d
Let w(n) = -n**3 + 8*n**2 - 8*n + 6. Suppose 3*p + 15 = 36. Let r be w(p). Which is bigger: -2 or r?
r
Suppose -5*r = 1 - 16. Suppose 5*m - 4*n = -3, -r*m + 0*m + 5 = n. Are m and -1/11 unequal?
True
Let d = -0.11 - 8.89. Let a = d - -9. Let r = 0.06 - a. Which is greater: -1 or r?
r
Let x = -13 - -25. Let s be 4/1*x/(-16). Is 5 not equal to s?
True
Let w = -154 - -1076/7. Let g be (-35)/(-54) + (2 - 2). Let i = g - 4/27. Is i at most w?
False
Let j = 3.8 + -7. Let l = -0.8 + j. Let d = 3 + l. Which is smaller: -1/2 or d?
d
Suppose 8 = 2*f - 4*b, -10 - 2 = 2*f + b. Let h(g) = -4*g + 11. Let l be h(4). Is l < f?
True
Let w be ((-4)/(-6))/(22/(-3)). Which is smaller: w or -1?
-1
Let c = 4 + -3. Let l = 8 - 8. Let s = l + 3. Which is smaller: s or c?
c
Suppose x + 210 = -4*x - 3*v, -5*x + v - 230 = 0. Let h be 10/x - (-2)/(-72). Which is smaller: -1 or h?
-1
Let m = -10 + 6. Let o be m/10 + 4/35. Let n be (13/(-325))/((-4)/(18 + 2)). Is o < n?
True
Let k = -0.1 + -1.9. Let r = 0.39 - -0.01. Is k at least as big as r?
False
Let k(o) = -o + 1. Let g be k(3). Let d be (-1)/3 + 13/(-6). Which is bigger: g or d?
g
Let n = -166.1 - -166. Which is smaller: n or -11.1?
-11.1
Suppose -2*k = 2*l - k - 7, -3*l - 4*k - 2 = 0. Which is bigger: l or 5?
l
Let v = 0 - -5. Suppose -4*s = -2*w + 50, 4*s + 25 = v*w - 10. Let r be (2/s)/((-3)/9). Is 1 bigger than r?
True
Let p = -235359 - -8003681/34. Let o = 87/2 - p. Is o not equal to -1?
True
Let x(p) = p**3. Let u be x(0). Suppose -24 = 2*i - 4*n, u = 5*i - 3*n + 8*n - 15. Let d be i/3*18/30. Which is smaller: d or 0?
d
Let n be (259/14)/((-1)/(-2)). Is n greater than 37?
False
Let h = -49 + 53. Is 6 equal to h?
False
Let l = -488/15 + 34. Does 0 = l?
False
Suppose -2*i = -4*r + 4, -i - 4 = -5*r + i. Suppose r = -5*t - 20, -l - t = 4 + 2. Is l equal to -2/7?
False
Let z be 2/(108/29) + 4/(-8). Is 0 smaller than z?
True
Let o = 10 + -23. Is o less than or equal to -1?
True
Let g(w) = -w + 2. Let j be g(2). Let i be 3/3 - (j - 1). Is i bigger than 1?
True
Let k be (2/4)/((-6)/(-4)). Suppose -7 = 2*y - 5*w, -2*w - 1 + 8 = -5*y. Which is greater: k or y?
k
Let p(z) = -z**2 + z + 1. Let a be p(-1). Suppose -8 = -4*y + 3*y. Let x = y - 6. Which is greater: x or a?
x
Let f = 0.84 - 1.84. Is -17/3 <= f?
True
Let a(d) = -d**3 + 11*d**2 - 19*d + 15. Let i be a(9). Let w be 0 - (-10 + 0 + 0). Let g = i - w. Is g less than or equal to -1?
True
Suppose 2*c = 3 - 9. Suppose -a - 3*l = -17, 5*a - 8 - 7 = -l. Let u = a + c. Which is greater: u or -1/7?
-1/7
Suppose 1 + 9 = -5*h. Let r be (-9)