-16)/(-12)*3/n. Let s = -1 + 1. Which is bigger: o or s?
o
Let n = -32 + 29. Is n <= 6?
True
Let m = -2 + 0. Suppose 5*a = -4*p + 4, p = 3*a + 22 - 4. Let l be 123/(-54) - p/27. Does l = m?
False
Suppose -5*h = -3*h + 4. Let m = 2 + h. Let j be 32/(-30) - (-12)/30. Which is greater: m or j?
m
Let k = 0.04 + -0.18. Let l = -0.06 + k. Let h = -65 + 193/3. Which is greater: h or l?
l
Let l = 69 + -484/7. Let y = 3 - 3. Which is greater: y or l?
y
Let u = -6 - -7. Is u greater than or equal to 2?
False
Let x(v) = -v**3 + 3*v**2 + v. Let h be x(2). Let k = h + -6. Which is greater: 2/5 or k?
2/5
Let x be (-5)/(15/2)*-3. Let z = 0 + -8. Let o = -6 - z. Is x equal to o?
True
Let h = 4.1 - 2.1. Which is bigger: 12/11 or h?
h
Let a = 2 - 7. Let u = a + 4.9. Let q = 14 - 27/2. Is u >= q?
False
Suppose -4*t + 7 = -25. Let v = -5 + t. Suppose 2*m - 4 + 0 = 0. Is v at least as big as m?
True
Let q = 14 + -10. Suppose 2*k = -5*o - 3*k - 15, q*o + 2*k + 4 = 0. Does o = -2/5?
False
Let b be 5/1 + 6/3. Let t = b + -4. Suppose -t - 1 = -4*x. Are x and -1 equal?
False
Let l = -11/42 - -1/3. Does l = 0?
False
Suppose m - 7 = 4*m - 2*f, -4*m - 1 = -f. Are m and 2/51 nonequal?
True
Let i be -5*(-3)/(-45) + 100/(-6). Which is bigger: -1 or i?
-1
Let x be (-3)/(-10)*(-20)/15. Is -6 less than x?
True
Let k = 5 + 13. Let t be (-4)/k - 4/(-18). Which is greater: t or 6/11?
6/11
Let x(t) = -t**2 - 3*t + 13. Let s be x(3). Suppose -2*a = u, 5*a - 3 = u - 5*u. Is s equal to a?
False
Let d = -3 - -4. Let s = d + -0.8. Let o = 0.8 + s. Which is smaller: 4 or o?
o
Let r = -51 - -53. Suppose k - 5*h + 7 = -1, 12 = 4*k + 2*h. Is k not equal to r?
False
Let o = -1 + 3. Suppose 5*r - 100 = 5*u, -u - 60 = -r - o*r. Let l be 6/(-15) - 22/r. Is -1 greater than or equal to l?
True
Let m = -0.18 + -7.82. Let v = m - -8.1. Is 1 <= v?
False
Let p = 11 - 23. Let i be p + 2*(4 - 3). Are -10 and i nonequal?
False
Let c be -1 - ((-36)/16 + 0). Does c = 1?
False
Let o = -6 + 3. Let l(x) = -x**3 - 4*x**2 - 4*x - 1. Let s be l(o). Let h be ((2 - s)/(-3))/(-1). Are 0 and h nonequal?
False
Suppose 12 = 4*a, -3*a - 31 = v + 3*v. Let t be 1/(-2)*v/5. Which is greater: -1 or t?
t
Let k(j) be the first derivative of -j**4/4 - j**3 - 2*j**2 - 3*j - 10. Suppose 0*b - 4*b - 8 = 0. Let q be k(b). Does q = 0?
False
Let h = 4.84 - 5. Let o = 2.16 + h. Is 2 at most o?
True
Suppose -4*o - 42 = 2*x + 3*x, -10 = 2*x + 5*o. Let q be (-1 + 0)*x/90. Which is smaller: -1 or q?
-1
Let i be ((-7)/(-7))/((-2)/(-58)). Is 28 at least as big as i?
False
Let o = -85 - -81. Is -3 at most as big as o?
False
Suppose 0 = -3*p - p - 108. Let l be p/(-6)*4/(-6). Let a be l/(1 - 2 - 0). Are a and 1 nonequal?
True
Suppose 6*m = 11*m - 20. Do m and 0 have different values?
True
Let r(o) = -o - 1. Let b be r(-1). Let j = -1565/861 - -260/41. Let l = 27/7 - j. Is b <= l?
False
Let b(r) = 9*r. Let h be b(-1). Let m be 2/h - (-382)/18. Let t be 6/m + (-18)/14. Is t equal to -3?
False
Let k be (-16)/(-96) - (-14)/(-12). Is k at most -1/16?
True
Let g = -14 + 23. Suppose -3*v + 0 = -g. Is -2 at most v?
True
Let a(d) = -d**3 - 17*d**2 - 31*d - 15. Let t be a(-15). Is t smaller than 1/17?
True
Let o(h) = h**2 + 7*h + 6. Let m be o(-7). Suppose m*u - 3*u - 16 = 4*l, 5*l + 20 = 2*u. Suppose 3*k + 3 = -u. Is k <= -2?
False
Let a be (-3)/6 + 13/2. Let b = 3 - -8. Let d = -6 + b. Is a less than or equal to d?
False
Let z(q) = -q**3 - q**2 - q. Let a be z(0). Suppose 4 = -4*s - a. Suppose 4 + 0 = -2*f. Which is smaller: f or s?
f
Let u = -1.78 + 1.88. Which is greater: 0.9 or u?
0.9
Let l = -3/97 - -106/291. Are l and -1.4 equal?
False
Let g be (1 - 3) + 2 - -1. Suppose q = 4*m - 7*m + 12, 2*m - 8 = 0. Which is bigger: g or q?
g
Suppose -4*q = -22 + 10. Let x be (0 + -2)*(-3)/2. Is q at most as big as x?
True
Let p be ((-1)/2*-4)/(-2). Let v = -511/6 - -85. Is v > p?
True
Let a be (-4)/(-1) + 1/(65/(-240)). Which is smaller: 0 or a?
0
Let z be (-39)/6*90/(-3801). Let k = z + -2/181. Let j = 0 + -1. Is k <= j?
False
Let q be ((-3)/(-6) - 0) + -2. Are -2/5 and q equal?
False
Let h = 39 - 35. Which is bigger: h or -0.3?
h
Let a be (-2)/16*(-3 - (-3)/(-3)). Is -3/2 at least a?
False
Let n(r) = -r**3 + 10*r**2 + 14*r - 13. Let h be n(11). Let k = 23 - h. Is k bigger than 3?
False
Let n(r) = r**2 - 6*r + 3. Let d be n(6). Suppose m + 2*m = -d. Is -2/11 > m?
True
Let d be (-18)/(-21)*(-42)/(-9). Let i be (-4)/(-1) + 5 + -4. Is i less than or equal to d?
False
Suppose 4*k + 0*k - 16 = 0, -2*k = x - 7. Which is greater: -1/42 or x?
-1/42
Suppose 3*f = -b - 4*b - 20, 2*b - 10 = 0. Let h = 13 - f. Suppose -2*o - 9 = 3*l, -o + 2*l + h = -3*l. Is o <= 3?
True
Let t be -2*(45/(-6))/3. Suppose 0*h + t = 5*h. Is h greater than or equal to 0?
True
Suppose o = 2*p - 14, 2*p - p - o - 7 = 0. Let u be ((-28)/(-40))/p*3. Is u less than 1?
True
Suppose -3*m + 12 = -3. Suppose 0 = -y - 2*t + 8, -2*t = -0*y - 2*y + 4. Let h be 4/((-2)/y*-4). Which is smaller: m or h?
h
Let n(u) = u + 2. Let f = -2 + -1. Let h be n(f). Let v be 200/(-390) - 2/13. Is v bigger than h?
True
Let f be ((-6)/(-4))/(848/(-64) - -14). Let g be ((-1)/(-2) - 1)*-2. Which is greater: g or f?
f
Let y = 1/450 - -7312/225. Let x = -18 + -14. Let q = x + y. Which is greater: -3/8 or q?
q
Let u = -0.33 + 0.17. Let l = 0.46 + u. Let z = -1 - -1. Which is bigger: z or l?
l
Let n be 0 - 3/((-3)/(-2)). Suppose -2 = -0*u - u. Suppose 0 = -u*o - 2 - 0. Is n < o?
True
Let n be ((-3)/54)/((-1)/2). Let d(k) = -k + 25. Let r be d(17). Let f = r + -7. Is f < n?
False
Let l = -1.4 - -0.4. Let y be (-3 - -1)/(-2 - -1). Suppose 19 = -y*m - 3*z, 2*m + 14 = -2*z - 0*z. Are m and l equal?
False
Let h = -10 - -9.99. Let y = h - -0.11. Is y < 14?
True
Let g(i) = 9*i - 8*i**2 - 3 + 2 + i**3 - 2*i. Let p be g(7). Which is greater: p or -12/7?
p
Let x be (-1)/((-214)/8 - 1/(-4)). Which is smaller: x or -1?
-1
Let l = 0.38 - 0.4. Let g = 1.98 - l. Let b = 4 - g. Which is bigger: b or 2/7?
b
Let l(b) = b**3 - b**2 + b + 3. Let o be l(0). Which is greater: o or 5?
5
Let b(f) = -f**3 + 11*f**2 - 3. Let x be b(11). Is x != 0.1?
True
Let g(o) = 1217*o**2 + 2*o - 2. Let z be g(-3). Let q = 656729/60 - z. Let i = -4/15 - q. Which is greater: -1 or i?
i
Suppose -4*l = -4 - 4. Which is smaller: l or 1?
1
Suppose 2*c - 27 = -c. Let z be 2 + ((-48)/c)/2. Is z > -0.07?
False
Suppose 5*s - p + 3*p = 47, 36 = 4*s + 2*p. Suppose n = -k, 0*n + 3*k = 5*n - 24. Suppose 0 = -h + n*y - s, y = -0 + 4. Is h at most as big as -2/15?
False
Let u = 12 + -21. Which is smaller: u or -10?
-10
Suppose 1 = 2*n + c, -2*c - 1 = n - 0*c. Let k = n - 1. Let p = -2/19 - -23/38. Is k smaller than p?
True
Let v be -1*(1 - 3/2). Let k(z) be the first derivative of -z**3/3 + 2*z**2 + 5*z - 2. Let b be k(5). Do b and v have the same value?
False
Let v = 6 + -3. Suppose -s + 2*d = 5, 2*s = -d - 13 + v. Are s and -6 nonequal?
True
Let c = 29 + -29. Which is smaller: c or -2/23?
-2/23
Suppose -3*p + 5*p = 8. Suppose 0 = -p*l + 10 + 6. Let d = 3 + 1. Is l <= d?
True
Let j = -108 - -974/9. Let i = 1459100/309 + -4722. Let c = i + -212/927. Does j = c?
False
Let w = 6 - 2. Suppose -2*n = -6*n. Suppose -2*f - 16 = -3*d - n*d, -4*d - f = -3. Which is bigger: w or d?
w
Suppose 0 = 2*o - 13 + 3. Let p be (30/(-25))/((-1)/5). Suppose u + p = o. Are -3 and u non-equal?
True
Suppose 2*a - 7 = -5. Which is smaller: a or 4?
a
Let n be (-18)/14 - (-2)/7. Let w = -23.1 + 23. Which is smaller: n or w?
n
Let u = -13 + 9. Are u and -0.1 unequal?
True
Let w = -1.6 + 1.3. Let u = -6 - -16. Let m be (1/u)/((-2)/5). Which is greater: m or w?
m
Let x(d) = d**2 + 4*d - 2. Let f be x(-6). Suppose 5 = 5*m - f. Are m and 0 equal?
False
Let b = -0.918 - 0.082. Which is bigger: b or -2?
b
Let m be (-4)/(-144) + (-4)/16. Let w = -6.1 - -6. Which is bigger: w or m?
w
Suppose -3*h = -2*h + 1. Suppose -2*z - 5 = -3. Is z <= h?
True
Let t = -19.5 - -0.5. Is -0.1 <= t?
False
Let b = -38 + 42. Which is greater: b or 5?
5
Let q = 27 + -28. Which is smaller: -0.8 or q?
q
Let o = 0.183 + -0.313. Let f = -1.3 + 0.3. Are f and o equal?
False
Suppose 6*t - 2*t = -4*f + 84, -t = -5*f - 15. Suppose -2*i + 4*s - 4 = -4*i, 5*s = 5*i + t. Let o = -3 - i. Which is greater: -3/5 or o?
-3/5
Suppose -m + 1 =