 Is -20 greater than or equal to n?
False
Suppose 3 = -0*n - 2*n - c, 4*c + 12 = -4*n. Suppose -2*b - h + 4 = n, 5*b + h + 0*h - 4 = 0. Let s = 5 + -3. Is s at least as big as b?
True
Let v = -13 + 13.04. Let n = -5.96 - v. Let z = 0 - -1. Is n less than or equal to z?
True
Let r(u) = 2 + 2*u - 3*u + 4. Let y be r(6). Which is smaller: y or -2/9?
-2/9
Let a = 2 - 3. Let w(y) = -y - 1. Let s be w(a). Which is bigger: s or 2?
2
Let i be 2/(-3) + (-32)/(-66). Suppose -4*u - 45 = -13. Let z = -8 - u. Which is bigger: i or z?
z
Suppose t = -2*t - 63. Let m be 6/t + -1 + 1. Is -1/2 smaller than m?
True
Let d be (-2)/((0 - 1)*-7). Suppose 4*s + 4*i + 127 = 139, 4*i = -2*s + 12. Which is greater: d or s?
s
Let o = -1.96 - -1.6. Is -3/4 at most as big as o?
True
Let f be 2 + 2 - (3 + -4). Which is bigger: f or 6?
6
Suppose -2*w + 32 = -3*q - 17, 3*w = q + 7. Let a = q - -20. Which is smaller: a or -1/7?
-1/7
Let o(r) = 10*r. Let m be o(1). Let f be m/(-8) - 2/(-8). Let c be -1 + 2 + -1 - 2. Which is greater: c or f?
f
Let z = -5 + 10. Suppose 14 = 5*j - 6*s + 3*s, 2*j + 5*s = 18. Is z > j?
True
Let w = -10 - -1. Let v = -3 - w. Suppose -35 = -2*q - 3*q. Which is bigger: q or v?
q
Suppose -2*d - 8 = -3*m, 5*m - 28 + 6 = -d. Let n be (-8)/(-32) + 118/8. Let b = n + -12. Which is smaller: b or m?
b
Let m(n) be the first derivative of n**4/4 + 5*n**3/3 - 2*n + 1. Suppose 2*d + 26 = -3*d + y, 5*d = -2*y - 23. Let h be m(d). Is -7/3 < h?
True
Let p be (-13)/52*0/1. Which is bigger: p or 1/147?
1/147
Let i = -1279 - -58839/46. Are i and -1 nonequal?
True
Let p = 0.1 + -0.16. Is p less than 1?
True
Let m = 13 - 9. Suppose -17 = -4*u + q, -2*u - q + m*q = -1. Suppose 0*s - 4*s + 20 = 0. Does u = s?
True
Suppose 3*t - t = -4*r + 16, -3*r + 2*t + 12 = 0. Let q = r + -4. Which is smaller: -1/7 or q?
-1/7
Let k = -8 + 7.9. Let u = -1131/5 + 227. Which is smaller: u or k?
k
Let t = -58 + 59. Is t less than or equal to 2/13?
False
Suppose l + 15 = 3*y, -2*y - l + 10 = l. Let b be 0/4 - (-1 + -4). Let q = b - y. Do 2/5 and q have the same value?
False
Let q = -3 - -3. Suppose 5*m = 4*h - 5, -3*h + 4*h = 3*m + 3. Is q less than h?
False
Suppose -5*a = -22 + 2. Suppose 42 = 5*f + 2*f. Which is smaller: f or a?
a
Suppose 5*g - 2 = 4*p + 4, -p - 2*g = -5. Suppose -f + 3*z - p = -3, -2*f = -z + 1. Is f bigger than 1/4?
False
Let l(a) = a**3 - 5*a**2 + 4*a + 3. Let u be l(4). Suppose -u*k = -0*k - 6. Suppose -k*c = -c. Which is smaller: -2/7 or c?
-2/7
Let y be (-10)/(-6)*(4/(-2) + -1). Is y <= -10?
False
Let y be (-4)/(1 - (5 + -2)). Let s(d) = 2*d**2 - 2*d - 1. Let p be s(y). Let k(o) = -o**2 + 10*o - 7. Let f be k(9). Is f equal to p?
False
Let s = -38300787/305 - -125576. Let u = s + -3/61. Which is smaller: u or -1?
-1
Let g(z) = z**2 + 4*z + 3. Let i be g(-4). Suppose -i*r = -2 - 10. Let o = r - 0. Is 4 equal to o?
True
Let p = 1 - 1. Let q(m) = m**3 + 4*m**2 - 6*m - 7. Let i be q(-5). Which is smaller: i or p?
i
Let o = 7 + -5. Let a = o - 1. Let k = a - 0.9. Is -1 equal to k?
False
Let g = 0.7 + 0.3. Let u = 16 - 16.5. Which is smaller: u or g?
u
Let o(k) = 5*k - 77. Let y be o(20). Is y != -0.1?
True
Suppose -3*k = -5*k + 12. Suppose -k = -2*h + z + 5, 13 = 4*h - 5*z. Suppose 2*n = h*n - 10. Are 2 and n non-equal?
False
Let a = -25 - -24. Let r(g) = g**3 + g**2 + 2*g + 1. Let x be r(a). Which is smaller: -1/17 or x?
x
Let j(k) = -k**2 + 2*k - 4. Let n be ((-6)/(-8))/((-4)/(-16)). Let l be j(n). Let w(h) = -h**3 + 9*h**2 - h + 1. Let s be w(9). Which is greater: l or s?
l
Suppose 0 = 3*r - 2*r - 4. Do 1 and r have different values?
True
Suppose -q + 5 = -35. Let w be 40/1 + 1/3. Let x = q - w. Which is bigger: x or 2?
2
Let d = 973 + -3873/4. Let s = d - 5. Which is greater: s or -1?
s
Suppose 0 = -0*f - 2*f + 10. Suppose -f*g = -g. Let w be g/((-4)/(-2) - 1). Is w less than or equal to -4/5?
False
Let k be (-82)/12 - (7 + -13). Which is bigger: k or -1/4?
-1/4
Suppose 4*h = 2*j - 6, 5*h = -3*j - 1 - 1. Is j greater than or equal to -3?
True
Let r be 4/12*222/(-14) - -4. Which is smaller: 0 or r?
r
Let v be 2/((-44)/(-36) + -1). Let r = v - 14. Which is greater: r or -4?
-4
Let p be (-4)/15*(-5)/2. Let m = 15 - 13. Suppose 0 = 30*i - 31*i + m. Is i < p?
False
Let l = -21 - -22. Is -1/9 at least as big as l?
False
Let r(z) = -z + 5. Let l be r(5). Let u = -2225/77 - -201/7. Does u = l?
False
Let z be -7*3/(-210)*4. Which is smaller: -8/5 or z?
-8/5
Suppose -5 = -3*p + 3*i - 35, 0 = 5*p - 2*i + 35. Let f be (-6 + 26/6)*3. Is f bigger than p?
False
Let f be -10 + 8 - 4/6. Let q = f - -3. Which is greater: -2/3 or q?
q
Suppose 5*i = 3*i. Let d(q) = -q**2 + 6*q + 1. Let u be d(6). Which is smaller: i or u?
i
Let q be (-3)/((24/22)/(-4)). Let o be -3 - q*2/(-6). Let h = 7.7 + -8. Which is greater: o or h?
o
Suppose -4*z + 3*y - 19 + 79 = 0, 2*z - y - 28 = 0. Suppose 3*t + z = t. Which is smaller: t or -7?
-7
Suppose 3*c + 2*c = 25, -4*b - 4*c - 4 = 0. Which is bigger: b or 0?
0
Let f = 110 + -105. Which is bigger: f or -7?
f
Let x = -4/15 + -2/5. Suppose -4*t = -2 + 10. Which is greater: x or t?
x
Let q be 1/(-4) - 11/4. Let c = -1 + -2. Do c and q have different values?
False
Let p = 61 + -62.99. Let y = 4.99 + -5. Let z = y + p. Is z at most as big as -0.1?
True
Let t be (-2)/3*(-6)/4. Let j be (-4)/(-14) + (-18)/14. Let o be 2 + -4 + 3 + j. Which is smaller: t or o?
o
Let t = -478 - -3833/8. Which is bigger: 1/4 or t?
t
Let r = -0.85 - -0.9. Let j = r - 0.35. Is 1/4 smaller than j?
False
Suppose -5*b + 3*s = -19, -2*b - 4*s = -b - 13. Let u be 3/b*(-3)/9. Suppose -2*m + m = 0. Is u at most as big as m?
True
Let x be (-3)/(-3) - (-8)/(-6). Suppose 5*a - a = 4. Suppose -4*i = 4*z - 4, -4*i - 1 - a = z. Which is smaller: i or x?
i
Suppose -2*x = -x - 5*s - 25, -3*s = -3*x + 15. Suppose 3*n = -x*n + 24. Let l be ((-6)/3 - 0) + n. Which is greater: 5 or l?
l
Let v = -3 - -23/2. Which is bigger: v or 10?
10
Let c = -120 - -119. Let n be 4/(-5)*1/(-6). Which is smaller: n or c?
c
Let v = -0.21 + 4.01. Let a = -0.2 - v. Is 0.3 != a?
True
Let n be 5 + -2 + 1 + 2. Suppose -2*r - 6 = m + 2*m, -n = -2*r + 3*m. Is -1/4 equal to r?
False
Suppose -54 = -3*f - s, 0 = -0*f + 5*f - 2*s - 90. Let c be (-60)/f + (-2)/3. Suppose 4*a + 25 = 5. Do c and a have the same value?
False
Let s = -39 - -58. Suppose -5*h = -3*w + 2*w, -4*h = 3*w + s. Let c = 0.02 + -2.02. Which is bigger: c or h?
h
Let j be (1 + -3 - -12) + 1. Let d = j - 7. Suppose -14 = -4*p - 2*c, -7*p + 20 = -3*p - d*c. Is 4 < p?
False
Let q be ((-14)/(-3))/(4/(-6)). Which is smaller: -6 or q?
q
Let y = 1 - 0. Let b = 539/6 + -90. Which is smaller: y or b?
b
Suppose 3*g = 2*g. Let f be 112/(-63) + (-4)/18. Let o be (-1)/f*(-3 - -3). Is o smaller than g?
False
Suppose -2*c + c = 0. Let u be -14*(3/18 - c). Let t = 1 - 3. Is u smaller than t?
True
Suppose -4*k + k = -2*q - 38, 4*q + 92 = 2*k. Let o be 4/6 - q/(-24). Suppose 4*l - 3*l = -1. Which is bigger: l or o?
o
Let w(m) = m**3 + 1 + 10*m**2 - 11*m - 1. Let n be w(-11). Let l = -3 - n. Is l less than -1?
True
Suppose -4*g - 6*g = -20. Is 41 less than or equal to g?
False
Let v = 21 - 11. Suppose -4*g - 20 = n, 3*n - g = g + v. Which is smaller: -1/6 or n?
-1/6
Let j(s) = s - 1. Let l be j(1). Does l = -2?
False
Let d = -1.1 + 10.1. Let j = -6 + d. Let z = j + -2. Which is smaller: -0.1 or z?
-0.1
Suppose v = 3*u + 6, -u + 12 = 2*v + 4*u. Let i(b) = v*b + b**2 - 8 - 2*b**2 + 3 + 0*b**2. Let z be i(5). Which is greater: -5 or z?
z
Let k = 0.34 + 3.56. Let x = k - 4. Let l = -0.4 - -0.5. Does x = l?
False
Let s be (-10)/(-15) - (-1850)/6. Let b = -1554/5 + s. Is -1 greater than or equal to b?
True
Let n be (-20)/(-35) + 40/28. Is 1 less than or equal to n?
True
Let c(s) = -s**2 - 5*s - 6. Let p be c(-4). Suppose 6 = -6*a - 12. Which is greater: a or p?
p
Let y = 548/5 - 110. Is 1 less than y?
False
Let m = -130 + 129. Which is greater: m or -4/9?
-4/9
Let v be ((-3)/(-2))/(1/2). Let u be 7/v*2/21. Is u > 1?
False
Suppose -4*n - g = 4*g - 6, g + 2 = 0. Let k be n/(-8)*1*2. Is k greater than 0.06?
False
Let a = -29277/4 - -12910981/1764. Let q = 6/49 - a. Are -0.2 and q equal?
False
Suppose 4*f = -2*p + 90, 25 = 3*f - p - 55. Suppose -3*n - 14 - 1 = 3*d, 0 = 4*n - 5*d - f. Sup